From d9e6b29f46e0e608e97274a7c6c29d54405064ae Mon Sep 17 00:00:00 2001
From: Anton Khirnov <anton@khirnov.net>
Date: Fri, 26 Feb 2016 16:29:02 +0100
Subject: Add 5th order Largrange tensor product interpolation.

Changes to other coeffs as well due to a different Maple version used.
---
 .../3d.cube.order4.smooth0/coeffs-dzz.compute.c    | 4120 +++++++++-----------
 1 file changed, 1779 insertions(+), 2341 deletions(-)

(limited to 'src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dzz.compute.c')

diff --git a/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dzz.compute.c b/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dzz.compute.c
index d9422aa..50cd603 100644
--- a/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dzz.compute.c
+++ b/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dzz.compute.c
@@ -1,2341 +1,1779 @@
-fp t30715;
-fp t30750;
-fp t30779;
-fp t31096;
-fp t31648;
-fp t30693;
-fp t30692;
-fp t31208;
-fp t30778;
-fp t30780;
-fp t30782;
-fp t31072;
-fp t31647;
-fp t30781;
-fp t30783;
-fp t31094;
-fp t31259;
-fp t30321;
-fp t31646;
-fp t30706;
-fp t30675;
-fp t31056;
-fp t31645;
-fp t31172;
-fp t31147;
-fp t31644;
-fp t30684;
-fp t31065;
-fp t30899;
-fp t30663;
-fp t31643;
-fp t30657;
-fp t31642;
-fp t30734;
-fp t30602;
-fp t30695;
-fp t31095;
-fp t30907;
-fp t31641;
-fp t31246;
-fp t31197;
-fp t31144;
-fp t30890;
-fp t31640;
-fp t30223;
-fp t31639;
-fp t31021;
-fp t30658;
-fp t31064;
-fp t31638;
-fp t30784;
-fp t30245;
-fp t31086;
-fp t31637;
-fp t31164;
-fp t31008;
-fp t31043;
-fp t31636;
-fp t30711;
-fp t30718;
-fp t31635;
-fp t30689;
-fp t30688;
-fp t30592;
-fp t30968;
-fp t31634;
-fp t31139;
-fp t31059;
-fp t31633;
-fp t30698;
-fp t31632;
-fp t30768;
-fp t30637;
-fp t30776;
-fp t31066;
-fp t31631;
-fp t30758;
-fp t30639;
-fp t31630;
-fp t30703;
-fp t31225;
-fp t31629;
-fp t30704;
-fp t31146;
-fp t31628;
-fp t30707;
-fp t30661;
-fp t31082;
-fp t31627;
-fp t30660;
-fp t31128;
-fp t31083;
-fp t30650;
-fp t31626;
-fp t30678;
-fp t30716;
-fp t31625;
-fp t31102;
-fp t31624;
-fp t30747;
-fp t31060;
-fp t30543;
-fp t30745;
-fp t31191;
-fp t30544;
-fp t31623;
-fp t31216;
-fp t31206;
-fp t30552;
-fp t31622;
-fp t31222;
-fp t31209;
-fp t30541;
-fp t31621;
-fp t31097;
-fp t30547;
-fp t31192;
-fp t30546;
-fp t31620;
-fp t30759;
-fp t30730;
-fp t31619;
-fp t30710;
-fp t31145;
-fp t30457;
-fp t30765;
-fp t31214;
-fp t31618;
-fp t31167;
-fp t30762;
-fp t30553;
-fp t31617;
-fp t30667;
-fp t30687;
-fp t31616;
-fp t30729;
-fp t31177;
-fp t30731;
-fp t31160;
-fp t30406;
-fp t31615;
-fp t31614;
-fp t30690;
-fp t30721;
-fp t31125;
-fp t31613;
-fp t31105;
-fp t30527;
-fp t30761;
-fp t31188;
-fp t31612;
-fp t31093;
-fp t31611;
-fp t31260;
-fp t31610;
-fp t31254;
-fp t30719;
-fp t30998;
-fp t31219;
-fp t31609;
-fp t31263;
-fp t31608;
-fp t30739;
-fp t30737;
-fp t31607;
-fp t30720;
-fp t31264;
-fp t31606;
-fp t31223;
-fp t30991;
-fp t31217;
-fp t31045;
-fp t31605;
-fp t30702;
-fp t31604;
-fp t30924;
-fp t31077;
-fp t31024;
-fp t31603;
-fp t30741;
-fp t31114;
-fp t30915;
-fp t31602;
-fp t31002;
-fp t30733;
-fp t31111;
-fp t31031;
-fp t31601;
-fp t30913;
-fp t30958;
-fp t31600;
-fp t31266;
-fp t29631;
-fp t31109;
-fp t31003;
-fp t31599;
-fp t31181;
-fp t30686;
-fp t31100;
-fp t31027;
-fp t30239;
-fp t31458;
-fp t31598;
-fp t30619;
-fp t31041;
-fp t31050;
-fp t30604;
-fp t31036;
-fp t31442;
-fp t31597;
-fp t30571;
-fp t31596;
-fp t31595;
-fp t31148;
-fp t29895;
-fp t31594;
-fp t31123;
-fp t30598;
-fp t31014;
-fp t29588;
-fp t31593;
-fp t31238;
-fp t30348;
-fp t30972;
-fp t31592;
-fp t30894;
-fp t31591;
-fp t30618;
-fp t31049;
-fp t30953;
-fp t31461;
-fp t31252;
-fp t31199;
-fp t31590;
-fp t30471;
-fp t30590;
-fp t31012;
-fp t31589;
-fp t30593;
-fp t31023;
-fp t30222;
-fp t31476;
-fp t31235;
-fp t31200;
-fp t31588;
-fp t31190;
-fp t31040;
-fp t30502;
-fp t31587;
-fp t30255;
-fp t31486;
-fp t31265;
-fp t31586;
-fp t31016;
-fp t30904;
-fp t31585;
-fp t31202;
-fp t30600;
-fp t31005;
-fp t29552;
-fp t31584;
-fp t30664;
-fp t31101;
-fp t30986;
-fp t31583;
-fp t31149;
-fp t31038;
-fp t29956;
-fp t30606;
-fp t31006;
-fp t31582;
-fp t30601;
-fp t31044;
-fp t31581;
-fp t31124;
-fp t31011;
-fp t31580;
-fp t31015;
-fp t31579;
-fp t30621;
-fp t31052;
-fp t31099;
-fp t29886;
-fp t31578;
-fp t30603;
-fp t31462;
-fp t31577;
-fp t30596;
-fp t29510;
-fp t31203;
-fp t31576;
-fp t30495;
-fp t31575;
-fp t30911;
-fp t31574;
-fp t30287;
-fp t30599;
-fp t31009;
-fp t31441;
-fp t31573;
-fp t31091;
-fp t31071;
-fp t30954;
-fp t31572;
-fp t30922;
-fp t31463;
-fp t31112;
-fp t31571;
-fp t31570;
-fp t30754;
-fp t30751;
-fp t31569;
-fp t30757;
-fp t30760;
-fp t31568;
-fp t31162;
-fp t29658;
-fp t31567;
-fp t31033;
-fp t31566;
-fp t31565;
-fp t30981;
-fp t30714;
-fp t30725;
-fp t30610;
-fp t30888;
-fp t31156;
-fp t30740;
-fp t31119;
-fp t30722;
-fp t31564;
-fp t31563;
-fp t31230;
-fp t31010;
-fp t30616;
-fp t31022;
-fp t31562;
-fp t31079;
-fp t30622;
-fp t31001;
-fp t31561;
-fp t31113;
-fp t31560;
-fp t31211;
-fp t31201;
-fp t31559;
-fp t31204;
-fp t31558;
-fp t31557;
-fp t29887;
-fp t31556;
-fp t31267;
-fp t29628;
-fp t31555;
-fp t30595;
-fp t31554;
-fp t29621;
-fp t31553;
-fp t31140;
-fp t31034;
-fp t31552;
-fp t29946;
-fp t31551;
-fp t31017;
-fp t30608;
-fp t30385;
-fp t30971;
-fp t31550;
-fp t31549;
-fp t30993;
-fp t31168;
-fp t31032;
-fp t31548;
-fp t31547;
-fp t30163;
-fp t30164;
-fp t30170;
-fp t31546;
-fp t31545;
-fp t31187;
-fp t31048;
-fp t31205;
-fp t31544;
-fp t30674;
-fp t31179;
-fp t30892;
-fp t30709;
-fp t31244;
-fp t30931;
-fp t31543;
-fp t31542;
-fp t31039;
-fp t31541;
-fp t30679;
-fp t30662;
-fp t31058;
-fp t30928;
-fp t31540;
-fp t30994;
-fp t30665;
-fp t31258;
-fp t30694;
-fp t31169;
-fp t31539;
-fp t30951;
-fp t31142;
-fp t30896;
-fp t31538;
-fp t30440;
-fp t30771;
-fp t31026;
-fp t31537;
-fp t31262;
-fp t31536;
-fp t30999;
-fp t31535;
-fp t30777;
-fp t30749;
-fp t31019;
-fp t30506;
-fp t30996;
-fp t31534;
-fp t30258;
-fp t31030;
-fp t31533;
-fp t31532;
-fp t30388;
-fp t31531;
-fp t31530;
-fp t31198;
-fp t30626;
-fp t30625;
-fp t31529;
-fp t31092;
-fp t31037;
-fp t31528;
-fp t30919;
-fp t31070;
-fp t31251;
-fp t31018;
-fp t31527;
-fp t30933;
-fp t31526;
-fp t30937;
-fp t31249;
-fp t31184;
-fp t31053;
-fp t31525;
-fp t31524;
-fp t31523;
-fp t30397;
-fp t31522;
-fp t30648;
-fp t30646;
-fp t31521;
-fp t31218;
-fp t31120;
-fp t30939;
-fp t31482;
-fp t31256;
-fp t30985;
-fp t31468;
-fp t31242;
-fp t30629;
-fp t31054;
-fp t31165;
-fp t31349;
-fp t29943;
-fp t31520;
-fp t31474;
-fp t30982;
-fp t31448;
-fp t31122;
-fp t30857;
-fp t31250;
-fp t31519;
-fp t31232;
-fp t30955;
-fp t31439;
-fp t31410;
-fp t30861;
-fp t31518;
-fp t30859;
-fp t31517;
-fp t31152;
-fp t30855;
-fp t30944;
-fp t31224;
-fp t29958;
-fp t31516;
-fp t31515;
-fp t31143;
-fp t30973;
-fp t31514;
-fp t31080;
-fp t30921;
-fp t31513;
-fp t30967;
-fp t31233;
-fp t31078;
-fp t30950;
-fp t31171;
-fp t31512;
-fp t31511;
-fp t30952;
-fp t31510;
-fp t31158;
-fp t30362;
-fp t30942;
-fp t31509;
-fp t30654;
-fp t31196;
-fp t31257;
-fp t31508;
-fp t31157;
-fp t30979;
-fp t30925;
-fp t31076;
-fp t31507;
-fp t30656;
-fp t31234;
-fp t31506;
-fp t31505;
-fp t31241;
-fp t30977;
-fp t31504;
-fp t30539;
-fp t31129;
-fp t30887;
-fp t30959;
-fp t31503;
-fp t30623;
-fp t30469;
-fp t30964;
-fp t31502;
-fp t31501;
-fp t30763;
-fp t31243;
-fp t31500;
-fp t31108;
-fp t31499;
-fp t31047;
-fp t31498;
-fp t30437;
-fp t31497;
-fp t31496;
-fp t31495;
-fp t31494;
-fp t31493;
-fp t30708;
-fp t31492;
-fp t30752;
-fp t30897;
-fp t31491;
-fp t30717;
-fp t31490;
-fp t31067;
-fp t30938;
-fp t31488;
-fp t31110;
-fp t30918;
-fp t31487;
-fp t30284;
-fp t31485;
-fp t30726;
-fp t31175;
-fp t30949;
-fp t31484;
-fp t31483;
-fp t31253;
-fp t30485;
-fp t30727;
-fp t31084;
-fp t30995;
-fp t31481;
-fp t30331;
-fp t30735;
-fp t31090;
-fp t31480;
-fp t31479;
-fp t31478;
-fp t30683;
-fp t30975;
-fp t30680;
-fp t30980;
-fp t31477;
-fp t31475;
-fp t31473;
-fp t30390;
-fp t30769;
-fp t31472;
-fp t30742;
-fp t30932;
-fp t31471;
-fp t31470;
-fp t30609;
-fp t31469;
-fp t30677;
-fp t30275;
-fp t30682;
-fp t30997;
-fp t31467;
-fp t31004;
-fp t31466;
-fp t31464;
-fp t31180;
-fp t30914;
-fp t31460;
-fp t31459;
-fp t31457;
-fp t31456;
-fp t30614;
-fp t31455;
-fp t31261;
-fp t30427;
-fp t30767;
-fp t31454;
-fp t31453;
-fp t30659;
-fp t31452;
-fp t30770;
-fp t30671;
-fp t31126;
-fp t31451;
-fp t31450;
-fp t30988;
-fp t30748;
-fp t30723;
-fp t31449;
-fp t30992;
-fp t31446;
-fp t30655;
-fp t30884;
-fp t31445;
-fp t31443;
-fp t30713;
-fp t31440;
-fp t31073;
-fp t30499;
-fp t31438;
-fp t31227;
-fp t31155;
-fp t30936;
-fp t31436;
-fp t30613;
-fp t30379;
-fp t31221;
-fp t30965;
-fp t31435;
-fp t30519;
-fp t31434;
-fp t30893;
-fp t30934;
-fp t31433;
-fp t31432;
-fp t31431;
-fp t31154;
-fp t30901;
-fp t30691;
-fp t31430;
-fp t30738;
-fp t31141;
-fp t30728;
-fp t31183;
-fp t31429;
-fp t31428;
-fp t30926;
-fp t31427;
-fp t31426;
-fp t30487;
-fp t31161;
-fp t31425;
-fp t30423;
-fp t31178;
-fp t30930;
-fp t31248;
-fp t31424;
-fp t31231;
-fp t31423;
-fp t31422;
-fp t31421;
-fp t30666;
-fp t31063;
-fp t31240;
-fp t31420;
-fp t31419;
-fp t30517;
-fp t30895;
-fp t31418;
-fp t31417;
-fp t30681;
-fp t31115;
-fp t31226;
-fp t31416;
-fp t31415;
-fp t31414;
-fp t30746;
-fp t30775;
-fp t31106;
-fp t31413;
-fp t30176;
-fp t30756;
-fp t31121;
-fp t30605;
-fp t30705;
-fp t31412;
-fp t31411;
-fp t30491;
-fp t31130;
-fp t30912;
-fp t31409;
-fp t31408;
-fp t30566;
-fp t31407;
-fp t31406;
-fp t31405;
-fp t30442;
-fp t29927;
-fp t30987;
-fp t31404;
-fp t30905;
-fp t31403;
-fp t30467;
-fp t29810;
-fp t30970;
-fp t31402;
-fp t30736;
-fp t31401;
-fp t31400;
-fp t29806;
-fp t31399;
-fp t30990;
-fp t31398;
-fp t29931;
-fp t30957;
-fp t31397;
-fp t31020;
-fp t30886;
-fp t31396;
-fp t31395;
-fp t31104;
-fp t31394;
-fp t30493;
-fp t29911;
-fp t30962;
-fp t31393;
-fp t31392;
-fp t30267;
-fp t31391;
-fp t31193;
-fp t31228;
-fp t30482;
-fp t31390;
-fp t31207;
-fp t31098;
-fp t31195;
-fp t31055;
-fp t31389;
-fp t31388;
-fp t30507;
-fp t30607;
-fp t31387;
-fp t30989;
-fp t31386;
-fp t31170;
-fp t31385;
-fp t31384;
-fp t31229;
-fp t31383;
-fp t30351;
-fp t31382;
-fp t31173;
-fp t30488;
-fp t31255;
-fp t31381;
-fp t31380;
-fp t31379;
-fp t31378;
-fp t31189;
-fp t30927;
-fp t31377;
-fp t31376;
-fp t31057;
-fp t30732;
-fp t30961;
-fp t31375;
-fp t30563;
-fp t31374;
-fp t31373;
-fp t31134;
-fp t31372;
-fp t31151;
-fp t31371;
-fp t31370;
-fp t31369;
-fp t31150;
-fp t30945;
-fp t31368;
-fp t31367;
-fp t30542;
-fp t31366;
-fp t31365;
-fp t30984;
-fp t31364;
-fp t31363;
-fp t31132;
-fp t31362;
-fp t31035;
-fp t31361;
-fp t31360;
-fp t31359;
-fp t31358;
-fp t31357;
-fp t31356;
-fp t30908;
-fp t31355;
-fp t31354;
-fp t31353;
-fp t31352;
-fp t31351;
-fp t31350;
-fp t31348;
-fp t31347;
-fp t30416;
-fp t30496;
-fp t30872;
-fp t31346;
-fp t31194;
-fp t30574;
-fp t31345;
-fp t30354;
-fp t31344;
-fp t31343;
-fp t31342;
-fp t31341;
-fp t31340;
-fp t31339;
-fp t30929;
-fp t31338;
-fp t31337;
-fp t31336;
-fp t31335;
-fp t31136;
-fp t31334;
-fp t30946;
-fp t30943;
-fp t31333;
-fp t31332;
-fp t31153;
-fp t30438;
-fp t30572;
-fp t31331;
-fp t31330;
-fp t31329;
-fp t31215;
-fp t31328;
-fp t30940;
-fp t31327;
-fp t30916;
-fp t31326;
-fp t31325;
-fp t31068;
-fp t30492;
-fp t31324;
-fp t31323;
-fp t31322;
-fp t31321;
-fp t31320;
-fp t31319;
-fp t31318;
-fp t31317;
-fp t31316;
-fp t30456;
-fp t30589;
-fp t31315;
-fp t31314;
-fp t31061;
-fp t31182;
-fp t31313;
-fp t31312;
-fp t31311;
-fp t31310;
-fp t31127;
-fp t31309;
-fp t31308;
-fp t31307;
-fp t31306;
-fp t31305;
-fp t31304;
-fp t31303;
-fp t30537;
-fp t31116;
-fp t31302;
-fp t31301;
-fp t31300;
-fp t31212;
-fp t30560;
-fp t31299;
-fp t31298;
-fp t30966;
-fp t30645;
-fp t31297;
-fp t31296;
-fp t31295;
-fp t31294;
-fp t31293;
-fp t31292;
-fp t31291;
-fp t31290;
-fp t31289;
-fp t31288;
-fp t31287;
-fp t31286;
-fp t31285;
-fp t31284;
-fp t30525;
-fp t30638;
-fp t30534;
-fp t31283;
-fp t29870;
-fp t31282;
-fp t30516;
-fp t31281;
-fp t30858;
-fp t31280;
-fp t31279;
-fp t31075;
-fp t31278;
-fp t31277;
-fp t31276;
-fp t31275;
-fp t31117;
-fp t31274;
-fp t30956;
-fp t31273;
-fp t31272;
-fp t31176;
-fp t31138;
-fp t31271;
-fp t30522;
-fp t31270;
-fp t31269;
-fp t31268;
-fp t31239;
-fp t30612;
-fp t30617;
-fp t30764;
-fp t31159;
-fp t30611;
-fp t30615;
-fp t31137;
-fp t31135;
-fp t31133;
-fp t31103;
-fp t31081;
-fp t31069;
-fp t31046;
-fp t30983;
-fp t30976;
-fp t30974;
-fp t30383;
-fp t30969;
-fp t30947;
-fp t30910;
-fp t30900;
-fp t30889;
-fp t30883;
-fp t30881;
-fp t30880;
-fp t30696;
-fp t30753;
-fp t30697;
-fp t30877;
-fp t30724;
-fp t30766;
-fp t30712;
-fp t30876;
-fp t30875;
-fp t30874;
-fp t30670;
-fp t30873;
-fp t30871;
-fp t30869;
-fp t30868;
-fp t30867;
-fp t30866;
-fp t30864;
-fp t30863;
-fp t30862;
-fp t30860;
-fp t30856;
-fp t30672;
-fp t30854;
-fp t30651;
-fp t30699;
-fp t30853;
-fp t30852;
-fp t30851;
-fp t30676;
-fp t30850;
-fp t30849;
-fp t30685;
-fp t30848;
-fp t30847;
-fp t30846;
-fp t30845;
-fp t30844;
-fp t30843;
-fp t30842;
-fp t30841;
-fp t30840;
-fp t30839;
-fp t30838;
-fp t30837;
-fp t30836;
-fp t30835;
-fp t30834;
-fp t30833;
-fp t30832;
-fp t30831;
-fp t30830;
-fp t30829;
-fp t30828;
-fp t30827;
-fp t30826;
-fp t30825;
-fp t30824;
-fp t30823;
-fp t30822;
-fp t30821;
-fp t30820;
-fp t30819;
-fp t30818;
-fp t30817;
-fp t30816;
-fp t30815;
-fp t30814;
-fp t30813;
-fp t30812;
-fp t30811;
-fp t30810;
-fp t30809;
-fp t30808;
-fp t30807;
-fp t30806;
-fp t30805;
-fp t30804;
-fp t30803;
-fp t30802;
-fp t30801;
-fp t30800;
-fp t30799;
-fp t30798;
-fp t30797;
-fp t30796;
-fp t30795;
-fp t30794;
-fp t30793;
-fp t30792;
-fp t30791;
-fp t30790;
-fp t30789;
-fp t30774;
-fp t30744;
-fp t30743;
-fp t30701;
-fp t30700;
-fp t30673;
-fp t30669;
-fp t30668;
-      t30715 = RATIONAL(-2.0,27.0);
-      t30750 = RATIONAL(1.0,9.0);
-      t30779 = z*z;
-      t31096 = t30750*t30779;
-      t31648 = t30715+t31096;
-      t30693 = RATIONAL(1.0,576.0);
-      t30692 = RATIONAL(-1.0,576.0);
-      t31208 = y*t30692;
-      t30778 = x*x;
-      t30780 = y*y;
-      t30782 = t30780*y;
-      t31072 = t30778*t30782;
-      t31647 = t30778*t31208+t30693*t31072;
-      t30781 = x*t30778;
-      t30783 = t30780*t30780;
-      t31094 = t30781*t30783;
-      t31259 = x*t30783;
-      t30321 = t30692*t31259;
-      t31646 = t30693*t31094+t30321;
-      t30706 = RATIONAL(1.0,27.0);
-      t30675 = RATIONAL(-1.0,108.0);
-      t31056 = t30675*t30781;
-      t31645 = x*t30706+t31056;
-      t31172 = t30780*t30779;
-      t31147 = t30693*t30779;
-      t31644 = t30692*t31172+t30783*t31147;
-      t30684 = RATIONAL(1.0,288.0);
-      t31065 = t30782*t30684;
-      t30899 = t30779*t31065;
-      t30663 = RATIONAL(1.0,432.0);
-      t31643 = t30899+y*t30663;
-      t30657 = RATIONAL(-1.0,3456.0);
-      t31642 = (t31147+t30657)*t30780;
-      t30734 = RATIONAL(1.0,18.0);
-      t30602 = t30734*x;
-      t30695 = RATIONAL(-1.0,72.0);
-      t31095 = t30695*t30779;
-      t30907 = t30781*t31095;
-      t31641 = t30907+t30779*t30602;
-      t31246 = x*t30779;
-      t31197 = y*t31246;
-      t31144 = t30782*t30779;
-      t30890 = t30781*t31144;
-      t31640 = t30890+t31197;
-      t30223 = t30692*t31094;
-      t31639 = t30223+t30693*t31259;
-      t31021 = x*t31095;
-      t30658 = RATIONAL(-1.0,1728.0);
-      t31064 = t30658*t30781;
-      t31638 = t31064+t31021;
-      t30784 = t30778*t30778;
-      t30245 = t30784*t31208;
-      t31086 = t30784*t30693;
-      t31637 = t30782*t31086+t30245;
-      t31164 = t30781*t30779;
-      t31008 = y*t31164;
-      t31043 = x*t31144;
-      t31636 = t31043+t31008;
-      t30711 = RATIONAL(-1.0,54.0);
-      t30718 = RATIONAL(2.0,27.0);
-      t31635 = t30711*t30783+t30780*t30718;
-      t30689 = RATIONAL(-1.0,144.0);
-      t30688 = RATIONAL(1.0,144.0);
-      t30592 = t30688*t30781;
-      t30968 = t30779*t30592;
-      t31634 = t30689*t31246+t30968;
-      t31139 = t30778*t30783;
-      t31059 = t30784*t30780;
-      t31633 = t31139+t31059;
-      t30698 = RATIONAL(1.0,54.0);
-      t31632 = t30784*t30698+t30778*t31096;
-      t30768 = RATIONAL(-8.0,9.0);
-      t30637 = t30768*y;
-      t30776 = RATIONAL(2.0,9.0);
-      t31066 = t30779*t30776;
-      t31631 = t30782*t31066+t30779*t30637;
-      t30758 = RATIONAL(-2.0,9.0);
-      t30639 = t30758*t30783;
-      t31630 = t30734*t31094+x*t30639;
-      t30703 = RATIONAL(-1.0,18.0);
-      t31225 = x*t30776;
-      t31629 = t30703*t31094+t30783*t31225;
-      t30704 = RATIONAL(-1.0,36.0);
-      t31146 = t30704*t30779;
-      t31628 = t30783*t31146+t31648*t30780;
-      t30707 = RATIONAL(4.0,27.0);
-      t30661 = RATIONAL(-16.0,27.0);
-      t31082 = t30779*t30758;
-      t31627 = x*t30661+(t31082+t30707)*t30781;
-      t30660 = RATIONAL(1.0,1152.0);
-      t31128 = t30780*t30778;
-      t31083 = t30660*t30783;
-      t30650 = RATIONAL(-1.0,1152.0);
-      t31626 = t30650*t31059+t30660*t31128+t30784*t31083;
-      t30678 = RATIONAL(16.0,27.0);
-      t30716 = RATIONAL(-4.0,27.0);
-      t31625 = x*t30678+(t31066+t30716)*t30781;
-      t31102 = t30692*t30782;
-      t31624 = y*t31147+t30779*t31102;
-      t30747 = RATIONAL(1.0,6.0);
-      t31060 = t30782*t30747;
-      t30543 = t30779*t31060;
-      t30745 = RATIONAL(-1.0,6.0);
-      t31191 = t30745*t30779;
-      t30544 = y*t31191;
-      t31623 = t30544+t30543;
-      t31216 = z*RATIONAL(2.0,3.0);
-      t31206 = z*t30747;
-      t30552 = t30783*t31206;
-      t31622 = t30552+t31216;
-      t31222 = z*RATIONAL(-2.0,3.0);
-      t31209 = z*t30745;
-      t30541 = t30783*t31209;
-      t31621 = t30541+t31222;
-      t31097 = t30745*t30782;
-      t30547 = t30779*t31097;
-      t31192 = t30747*t30779;
-      t30546 = y*t31192;
-      t31620 = t30547+t30546;
-      t30759 = RATIONAL(-5.0,3.0);
-      t30730 = RATIONAL(-5.0,12.0);
-      t31619 = t30730*t30783+t30759;
-      t30710 = RATIONAL(-1.0,12.0);
-      t31145 = t30710*t30783;
-      t30457 = z*t31145;
-      t30765 = RATIONAL(-1.0,3.0);
-      t31214 = z*t30765;
-      t31618 = t31214+t30457;
-      t31167 = t30779*RATIONAL(-4.0,3.0);
-      t30762 = RATIONAL(1.0,3.0);
-      t30553 = t30762*t31164;
-      t31617 = t30553+x*t31167;
-      t30667 = RATIONAL(5.0,288.0);
-      t30687 = RATIONAL(-5.0,288.0);
-      t31616 = y*t30687+t30667*t30782;
-      t30729 = RATIONAL(-1.0,24.0);
-      t31177 = t30729*t30779;
-      t30731 = RATIONAL(1.0,24.0);
-      t31160 = t30731*t30779;
-      t30406 = t30781*t31160;
-      t31615 = x*t31177+t30406;
-      t31614 = t31648*x;
-      t30690 = RATIONAL(-5.0,576.0);
-      t30721 = RATIONAL(-1.0,96.0);
-      t31125 = t30721*t30779;
-      t31613 = t30690*t30783+t30780*t31125;
-      t31105 = t30779*t30765;
-      t30527 = t30782*t31105;
-      t30761 = RATIONAL(4.0,3.0);
-      t31188 = t30761*t30779;
-      t31612 = t30527+y*t31188;
-      t31093 = t30721*t30783;
-      t31611 = t30780*t30690+t30779*t31093;
-      t31260 = t30784*y;
-      t31610 = t31072+t31260;
-      t31254 = t30784*z;
-      t30719 = RATIONAL(1.0,96.0);
-      t30998 = t30719*t31254;
-      t31219 = z*t30731;
-      t31609 = t30998+t31219;
-      t31263 = z*t30783;
-      t31608 = t30719*t31263+t31219;
-      t30739 = RATIONAL(-5.0,18.0);
-      t30737 = RATIONAL(10.0,9.0);
-      t31607 = t30781*t30739+x*t30737;
-      t30720 = RATIONAL(-5.0,96.0);
-      t31264 = z*t30780;
-      t31606 = t30720*t31264+t31608;
-      t31223 = z*t30704;
-      t30991 = t30780*t31223;
-      t31217 = z*t30689;
-      t31045 = t30783*t31217;
-      t31605 = t30781*t30991+x*t31045;
-      t30702 = RATIONAL(1.0,12.0);
-      t31604 = x*t31105+t30702*t31164;
-      t30924 = t30689*t31072;
-      t31077 = t30784*t30704;
-      t31024 = z*t31077;
-      t31603 = y*t31024+z*t30924;
-      t30741 = RATIONAL(1.0,72.0);
-      t31114 = t30780*t30741;
-      t30915 = t30779*t31114;
-      t31602 = t30658*t31139+t30784*t30915;
-      t31002 = z*t31059;
-      t30733 = RATIONAL(1.0,36.0);
-      t31111 = t30688*t30783;
-      t31031 = z*t31111;
-      t31601 = t30778*t31031+t30733*t31002;
-      t30913 = t30741*t31139;
-      t30958 = t30684*t31059;
-      t31600 = (t30958+t30913)*z;
-      t31266 = y*z;
-      t29631 = t30592*t31266;
-      t31109 = t30782*t30733;
-      t31003 = z*t31109;
-      t31599 = x*t31003+t29631;
-      t31181 = t30778*t30741;
-      t30686 = RATIONAL(-1.0,288.0);
-      t31100 = t30686*t30782;
-      t31027 = z*t31100;
-      t30239 = t30784*t31065;
-      t31458 = t30778*t31027+z*t30239;
-      t31598 = t31181*t31266+t31458;
-      t30619 = t30703*t30778;
-      t31041 = z*t30619;
-      t31050 = z*t31072;
-      t30604 = t30695*t30782;
-      t31036 = z*t30604;
-      t31442 = t30734*t31050+t30784*t31036;
-      t31597 = y*t31041+t31442;
-      t30571 = t30781*t31105;
-      t31596 = t30571+x*t31188;
-      t31595 = t30779*t30913+t30658*t31059;
-      t31148 = t30703*t30781;
-      t29895 = t31148*t31266;
-      t31594 = x*t31036+t29895;
-      t31123 = t30781*t30704;
-      t30598 = t30689*t30782;
-      t31014 = z*t30598;
-      t29588 = x*t31014;
-      t31593 = t31123*t31266+t29588;
-      t31238 = y*t30733;
-      t30348 = t30784*t31238;
-      t30972 = t30688*t31072;
-      t31592 = (t30972+t30348)*z;
-      t30894 = t30784*t31095;
-      t31591 = t30706*t31139+t30780*t30894;
-      t30618 = t30741*t30781;
-      t31049 = z*t30618;
-      t30953 = t30780*t31148;
-      t31461 = z*t30953+t30783*t31049;
-      t31252 = x*t30780;
-      t31199 = z*t31252;
-      t31590 = t31461+t30734*t31199;
-      t30471 = t30695*t31059;
-      t30590 = t30686*t30783;
-      t31012 = z*t30590;
-      t31589 = z*t30471+t30778*t31012;
-      t30593 = t30684*t30778;
-      t31023 = z*t30593;
-      t30222 = t30784*t31100;
-      t31476 = z*t30222+t30782*t31023;
-      t31235 = z*t30778;
-      t31200 = y*t31235;
-      t31588 = t31476+t30695*t31200;
-      t31190 = t30780*t30781;
-      t31040 = z*t31190;
-      t30502 = t30704*t31259;
-      t31587 = t30689*t31040+z*t30502;
-      t30255 = t30684*t31094;
-      t31486 = z*t30255+t30686*t31040;
-      t31265 = x*z;
-      t31586 = t31486+t31114*t31265;
-      t31016 = t30784*t31217;
-      t30904 = t30704*t31072;
-      t31585 = y*t31016+z*t30904;
-      t31202 = z*t31238;
-      t30600 = t30688*t30782;
-      t31005 = z*t30600;
-      t29552 = x*t31005;
-      t31584 = t30781*t31202+t29552;
-      t30664 = RATIONAL(-1.0,432.0);
-      t31101 = t30784*t30664;
-      t30986 = t30778*t31066;
-      t31583 = t30780*t30986+t30783*t31101;
-      t31149 = t30781*t30734;
-      t31038 = z*t31149;
-      t29956 = y*t31038;
-      t30606 = t30741*t30782;
-      t31006 = z*t30606;
-      t31582 = t29956+x*t31006;
-      t30601 = t30688*y;
-      t31044 = t30784*t30601;
-      t31581 = z*t31044+t30778*t31003;
-      t31124 = t30733*t30783;
-      t31011 = z*t31124;
-      t31580 = x*t31011+t30688*t31040;
-      t31015 = x*t31111;
-      t31579 = t30733*t31040+z*t31015;
-      t30621 = t30695*t30781;
-      t31052 = z*t30621;
-      t31099 = t30703*t30782;
-      t29886 = t31099*t31265;
-      t31578 = y*t31052+t29886;
-      t30603 = t30703*t30780;
-      t31462 = t30780*t31038+t30783*t31052;
-      t31577 = t30603*t31265+t31462;
-      t30596 = t30689*t30781;
-      t29510 = t30596*t31266;
-      t31203 = x*t31223;
-      t31576 = t29510+t30782*t31203;
-      t30495 = t30695*t31139;
-      t31575 = t30686*t31002+z*t30495;
-      t30911 = t30783*t30593;
-      t31574 = z*t30911+t30741*t31002;
-      t30287 = t30686*t31094;
-      t30599 = t30684*t30780;
-      t31009 = z*t30599;
-      t31441 = z*t30287+t30781*t31009;
-      t31573 = t31441+t30695*t31199;
-      t31091 = t30663*t30783;
-      t31071 = t30686*t30780;
-      t30954 = t30779*t31071;
-      t31572 = t30778*t30954+t30784*t31091;
-      t30922 = t30784*t30606;
-      t31463 = t30782*t31041+z*t30922;
-      t31112 = t30778*t30734;
-      t31571 = t31463+t31112*t31266;
-      t31570 = t30706*t31059+t30779*t30495;
-      t30754 = RATIONAL(1.0,2.0);
-      t30751 = RATIONAL(-5.0,8.0);
-      t31569 = t30751*t30778+t30754;
-      t30757 = RATIONAL(5.0,2.0);
-      t30760 = RATIONAL(-2.0,1.0);
-      t31568 = t30757*t30778+t30760;
-      t31162 = t30782*t30734;
-      t29658 = t31162*t31265;
-      t31567 = y*t31049+t29658;
-      t31033 = z*t31139;
-      t31566 = t30784*t30991+t30689*t31033;
-      t31565 = t30704*t31033+t30689*t31002;
-      t30981 = t30779*t31059;
-      t30714 = RATIONAL(5.0,72.0);
-      t30725 = RATIONAL(-1.0,48.0);
-      t30610 = t30725*t30783;
-      t30888 = t30784*t30610;
-      t31156 = t30714*t31128+t30779*t30888;
-      t30740 = RATIONAL(-5.0,72.0);
-      t31119 = t30740*t30783;
-      t30722 = RATIONAL(1.0,48.0);
-      t31564 = t31156+t30722*t30981+t30778*t31119;
-      t31563 = t30688*t31002+t30778*t31011;
-      t31230 = x*t30758;
-      t31010 = t30780*t31230;
-      t30616 = t30734*t30783;
-      t31022 = z*t30616;
-      t31562 = x*t31022+t31462+z*t31010;
-      t31079 = t30778*t30758;
-      t30622 = t30734*t30784;
-      t31001 = y*t30622;
-      t31561 = t31079*t31266+z*t31001+t31442;
-      t31113 = t30784*t30684;
-      t31560 = t31476+t30686*t31200+t31113*t31266;
-      t31211 = z*t30684;
-      t31201 = x*t31211;
-      t31559 = t31441+t31071*t31265+t30783*t31201;
-      t31204 = y*t31254;
-      t31558 = t31463+t30703*t31204+t30776*t31200;
-      t31557 = t31486+(t31009+t31012)*x;
-      t29887 = t30781*t31006;
-      t31556 = t31225*t31266+t29887+t29895+t29886;
-      t31267 = y*x;
-      t29628 = t30781*t31014;
-      t31555 = t29631+t29628+t29552+t31217*t31267;
-      t30595 = t30686*t30784;
-      t31554 = t31458+t30595*t31266+y*t31023;
-      t29621 = t30781*t31005;
-      t31553 = t29588+t29510+t29621+t30601*t31265;
-      t31140 = t30703*t30783;
-      t31034 = t30780*t31225;
-      t31552 = z*t31034+t31461+t31140*t31265;
-      t29946 = t30781*t31036;
-      t31551 = t29956+t29946+t29658+t31230*t31266;
-      t31017 = z*t31128;
-      t30608 = t30741*t30783;
-      t30385 = t30784*t30608;
-      t30971 = t30703*t31059;
-      t31550 = t30703*t31033+t30776*t31017+(t30971+t30385)*z;
-      t31549 = t31641*t30783+t31645*t30780;
-      t30993 = t30693*t31235;
-      t31168 = t30784*t30783;
-      t31032 = z*t31168;
-      t31548 = t30783*t30993+t30693*t31002+(t31032+t31017)*t30692;
-      t31547 = t30758*t31017+t30695*t31032+t30734*t31002+t30778*t31022;
-      t30163 = t30650*t31168;
-      t30164 = t30660*t31059;
-      t30170 = t30778*t31083;
-      t31546 = t30650*t31017+(t30163+t30164+t30170)*z;
-      t31545 = t31645*t30783+t31641*t30780;
-      t31187 = t30781*t30782;
-      t31048 = z*t31187;
-      t31205 = t30686*t31266;
-      t31544 = x*t31027+y*t31201+t30684*t31048+t30781*t31205;
-      t30674 = RATIONAL(1.0,108.0);
-      t31179 = t30674*t30781;
-      t30892 = t30741*t31164;
-      t30709 = RATIONAL(-1.0,27.0);
-      t31244 = x*t30709;
-      t30931 = t30779*t31140;
-      t31543 = t30783*t30892+x*t30931+(t31179+t31244)*t30780;
-      t31542 = y*t30993+t30692*t31050+t31637*z;
-      t31039 = t30692*t31264;
-      t31541 = t30781*t31039+t30693*t31199+t31646*z;
-      t30679 = RATIONAL(-1.0,216.0);
-      t30662 = RATIONAL(1.0,216.0);
-      t31058 = t30778*t30662;
-      t30928 = t30689*t31144;
-      t31540 = t30679*t31072+t30784*t30928+y*t31058+t30779*t31044;
-      t30994 = t30778*t31238;
-      t30665 = RATIONAL(1.0,864.0);
-      t31258 = y*t30665;
-      t30694 = RATIONAL(-1.0,864.0);
-      t31169 = t30694*t30782;
-      t31539 = (t30994+t30904)*t30779+(t31169+t31258)*t30784;
-      t30951 = t30779*t31123;
-      t31142 = t30780*t30733;
-      t30896 = t30779*t31142;
-      t31538 = t30665*t31259+t30694*t31094+t30780*t30951+x*t30896;
-      t30440 = t30704*t31094;
-      t30771 = RATIONAL(-4.0,9.0);
-      t31026 = t30750*t31263;
-      t31537 = x*t31026+t30771*t31199+t30750*t31040+z*t30440;
-      t31262 = y*t30781;
-      t31536 = t30781*t31027+t31211*t31262+t31065*t31265+x*t31205;
-      t30999 = t30750*t31254;
-      t31535 = t30778*t31026+t30771*t31017+t30780*t30999+t30783*t31024;
-      t30777 = RATIONAL(4.0,9.0);
-      t30749 = RATIONAL(-1.0,9.0);
-      t31019 = t30749*t31263;
-      t30506 = t30733*t31094;
-      t30996 = t30749*t31264;
-      t31534 = t30781*t30996+x*t31019+z*t30506+t30777*t31199;
-      t30258 = t30784*t31102;
-      t31030 = z*t31086;
-      t31533 = y*t31030+(t30258+t31647)*z;
-      t31532 = t30780*t30993+t30783*t31030+(t31033+t31002)*t30692;
-      t30388 = t30784*t31109;
-      t31531 = t30777*t31200+z*t30388+(t31204+t31050)*t30749;
-      t31530 = x*t31039+t30693*t31040+t31639*z;
-      t31198 = t30771*t31266;
-      t30626 = t30750*t30782;
-      t30625 = t30750*t30781;
-      t31529 = x*t31198+t30704*t31048+t30626*t31265+t30625*t31266;
-      t31092 = t30674*t30783;
-      t31037 = x*t31172;
-      t31528 = t30781*t31092+t30783*t31244+t30703*t31037+t30780*t30892;
-      t30919 = t30779*t31109;
-      t31070 = t30665*t30782;
-      t31251 = y*t30778;
-      t31018 = t30704*t31251;
-      t31527 = t30694*t31260+t30779*t31018+t30784*t31070+t30778*t30919;
-      t30933 = t30779*t30596;
-      t31526 = t30688*t31037+t30662*t31259+t30679*t31094+t30780*t30933;
-      t30937 = t30784*t31144;
-      t31249 = t30679*y;
-      t31184 = t30784*t30779;
-      t31053 = y*t31184;
-      t31525 = t30782*t31058+t30688*t30937+t30778*t31249+t30689*t31053;
-      t31524 = t30778*t31019+t30777*t31017+(t30996+t31011)*t30784;
-      t31523 = t30650*t31033+t31626*z;
-      t30397 = t30782*t31077;
-      t31522 = t30750*t31050+t30778*t31198+y*t30999+z*t30397;
-      t30648 = t30749*t30781;
-      t30646 = t30749*t30782;
-      t31521 = t30648*t31266+t30781*t31003+(t30646+t30777*y)*t31265;
-      t31218 = y*t30715;
-      t31120 = t30778*t30709;
-      t30939 = t30779*t30608;
-      t31482 = t30784*t30939+t30780*t31120;
-      t31256 = x*t30782;
-      t30985 = t30779*t31112;
-      t31468 = t30675*t31168+t30780*t30985;
-      t31242 = x*t30718;
-      t30629 = t30749*y;
-      t31054 = t30779*t30629;
-      t31165 = t30781*t30698;
-      t31349 = x*t31054+t30782*t31165+y*t31242+t30704*t30890+t31468;
-      t29943 = x*t30919;
-      t31520 = t30750*t31008+t31349+t31482+t30781*t31218+t29943+t30711*t31256;
-      t31474 = t30664*t31059+t30779*t30911;
-      t30982 = t30779*t31168;
-      t31448 = t30663*t31128+t30686*t30982;
-      t31122 = t30679*t30781;
-      t30857 = t30783*t30933+t30662*t31252+t30780*t31122+t30779*t31015+t31448+
-t31474;
-      t31250 = x*t30679;
-      t31519 = t30662*t31094+t30783*t31250+t30857+t31634*t30780;
-      t31232 = x*t30675;
-      t30955 = t30779*t31149;
-      t31439 = t30674*t31059+t30778*t30931;
-      t31410 = t31439+t31482;
-      t30861 = t31410+t31549;
-      t31518 = t30779*t31010+t30781*t31091+t30780*t30955+t30861+t30783*t31232;
-      t30859 = t31410+t31543;
-      t31517 = x*t31092+t30859+t30664*t31094+(t30953+t31034)*t30779;
-      t31152 = t30781*t30711;
-      t30855 = t31468+t30782*t31152+t30733*t30890+t31482+t31614*y;
-      t30944 = t30779*t30648;
-      t31224 = x*t30698;
-      t29958 = t30704*t31043;
-      t31516 = t30782*t31224+y*t30944+t30855+t29958+t30718*t31262;
-      t31515 = t30781*t30896+t30857+t30665*t31094+t30704*t31037+t30694*t31259;
-      t31143 = t30674*t30782;
-      t30973 = t30741*t30890+y*t31179+x*t31143;
-      t31514 = t30973+t30741*t31197+(t31021+t31056)*t30782+(t31232+t30907)*y;
-      t31080 = t30664*t30782;
-      t30921 = t30779*t31099;
-      t31513 = t31066*t31267+t30781*t31080+t30703*t31008+t30973+y*t31244+x*
-t30921;
-      t30967 = t30734*t31144;
-      t31233 = y*t30706;
-      t31078 = t30675*t30782;
-      t30950 = y*t31056+x*t31078+t30695*t30890;
-      t31171 = t30782*t30663;
-      t31512 = t30950+t31082*t31267+y*t30955+t30781*t31171+(t30967+t31233)*x;
-      t31511 = t30950+t30781*t31143+t30741*t31043+t30674*t31267+(t30892+t31021)
-*y;
-      t30952 = t30779*t31139;
-      t31510 = t30650*t30952+(t31128+t31168)*RATIONAL(-1.0,6912.0)+t31633*
-RATIONAL(1.0,6912.0)+t31626*t30779;
-      t31158 = t30784*t30711;
-      t30362 = y*t31077;
-      t30942 = t30749*t31144;
-      t31509 = t30718*t31072+t30784*t30919+t30782*t31158+t30779*t30362+(t31218+
-t30942)*t30778+t31632*y;
-      t30654 = RATIONAL(1.0,1728.0);
-      t31196 = t30654*t30782;
-      t31257 = y*t30654;
-      t31508 = t30782*t31064+t30658*t31267+x*t31196+t30781*t31257+t31640*t30684
-+t31636*t30686;
-      t31157 = t30658*t30782;
-      t30979 = t30779*t31072;
-      t30925 = t30779*t31181;
-      t31076 = t30664*t30778;
-      t31507 = t30686*t30979+t30654*t31072+(t31076+t30925+t30894)*y+(t31157+
-t31643)*t30784;
-      t30656 = RATIONAL(1.0,3456.0);
-      t31234 = x*t30656;
-      t31506 = t30656*t31190+t30779*t30321+t30657*t31094+t30783*t31234+t31644*
-t30781+t31642*x;
-      t31505 = t30780*t30944+t30783*t31224+t30779*t30506+t31635*t30781+t31628*x
-;
-      t31241 = x*t30664;
-      t30977 = t30684*t31164;
-      t31504 = t30779*t30287+t30663*t31252+t30654*t31094+t30783*t31241+x*t30939
-+(t30977+t31638)*t30780;
-      t30539 = t30776*t31139;
-      t31129 = t30784*t30706;
-      t30887 = t30784*t31066;
-      t30959 = t30768*t31172;
-      t31503 = t30779*t30539+t30778*t30959+t30783*t31129+t30678*t31128+t30780*
-t30887+t30784*t30931+t31633*t30716;
-      t30623 = t30741*t30784;
-      t30469 = y*t30623;
-      t30964 = t30778*t31095;
-      t31502 = t30784*t31196+t30686*t30937+t30658*t31072+t30779*t30469+t31643*
-t30778+(t31101+t30964)*y;
-      t31501 = t30654*t31190+t30780*t31241+t30781*t30954+t30779*t30255+t31638*
-t30783+(t30915+t31091)*x;
-      t30763 = RATIONAL(8.0,9.0);
-      t31243 = x*t30707;
-      t31500 = t30763*t31037+t30783*t31243+t30709*t31094+t31630*t30779+t31627*
-t30780;
-      t31108 = t30706*t30782;
-      t31499 = t30716*t31256+t30781*t31108+t30703*t30890+t31631*x+t31625*y;
-      t31047 = t30779*t31238;
-      t31498 = t30715*t31072+t30784*t31047+t30704*t30937+t30718*t31251+t30778*
-t31054+y*t31158+t31632*t30782;
-      t30437 = x*t31124;
-      t31497 = t30698*t31094+t30749*t31037+t30779*t30437+t31635*x+t31628*t30781
-;
-      t31496 = t30656*t31094+t30780*t31234+t30779*t30223+t30657*t31259+t31642*
-t30781+t31644*x;
-      t31495 = x*t30959+t30716*t31259+t30706*t31094+t31629*t30779+t31625*t30780
-;
-      t31494 = t30758*t31043+t30763*t31197+t30709*t31187+t30734*t30890+t30782*
-t31243+t31627*y;
-      t31493 = t30654*t31187+t31640*t30686+(t31064+t30977)*y+(t31157+t31257+
-t30899)*x;
-      t30708 = RATIONAL(1.0,32.0);
-      t31492 = t30708*t30982+RATIONAL(-25.0,192.0)*t31128;
-      t30752 = RATIONAL(5.0,3.0);
-      t30897 = t30752*t31172;
-      t31491 = t30784*t31140+t30778*t30897;
-      t30717 = RATIONAL(5.0,96.0);
-      t31490 = t30783*t30998+t30717*t31017;
-      t31067 = t30784*t30667;
-      t30938 = t30710*t31172;
-      t31488 = t30783*t31067+t30778*t30938;
-      t31110 = t30702*t30783;
-      t30918 = t30778*t31110;
-      t31487 = t30687*t31059+t30779*t30918;
-      t30284 = t30783*t31113;
-      t31485 = t30741*t31017+z*t30284;
-      t30726 = RATIONAL(-5.0,48.0);
-      t31175 = t30778*t30726;
-      t30949 = t30779*t31175;
-      t31484 = t30780*t30949+t30385;
-      t31483 = t30783*t31076+t30779*t30958;
-      t31253 = z*t30722;
-      t30485 = t30783*t31253;
-      t30727 = RATIONAL(5.0,12.0);
-      t31084 = t30780*t30727;
-      t30995 = z*t31084;
-      t31481 = t30784*t30485+t30778*t30995;
-      t30331 = t30784*t31110;
-      t30735 = RATIONAL(-10.0,9.0);
-      t31090 = t30735*t30780;
-      t31480 = t30778*t31090+t30779*t30331;
-      t31479 = x*t30991+t30781*t31045;
-      t31478 = t30695*t31017+t30784*t31012;
-      t30683 = RATIONAL(1.0,192.0);
-      t30975 = t30683*t31168;
-      t30680 = RATIONAL(5.0,192.0);
-      t30980 = t30680*t31128;
-      t31477 = (t30975+t30980)*z;
-      t31475 = t30784*t31031+t30733*t31017;
-      t31473 = t30654*t31168+t30780*t30964;
-      t30390 = t30783*t31219;
-      t30769 = RATIONAL(5.0,6.0);
-      t31472 = t30769*t31017+t30784*t30390;
-      t30742 = RATIONAL(5.0,18.0);
-      t30932 = t30784*t31105;
-      t31471 = t30780*t30932+t30742*t31139;
-      t31470 = t29621+x*t31202;
-      t30609 = t30734*y;
-      t31469 = t30609*t31265+t29887;
-      t30677 = RATIONAL(-1.0,192.0);
-      t30275 = t30677*t31168;
-      t30682 = RATIONAL(-5.0,192.0);
-      t30997 = t30682*t31235;
-      t31467 = z*t30275+t30780*t30997;
-      t31004 = t30721*t31254;
-      t31466 = t30720*t31017+t30783*t31004;
-      t31464 = t30778*t30991+t30783*t31016;
-      t31180 = t30778*t30730;
-      t30914 = t30779*t31180;
-      t31460 = t30284+t30780*t30914;
-      t31459 = y*t31203+t29628;
-      t31457 = t30784*t31005+z*t30994;
-      t31456 = t30781*t31031+t31142*t31265;
-      t30614 = t30703*y;
-      t31455 = t30614*t31265+t29946;
-      t31261 = z*t30729;
-      t30427 = t30783*t31261;
-      t30767 = RATIONAL(-5.0,6.0);
-      t31454 = t30784*t30427+t30767*t31017;
-      t31453 = t30163+t30779*t30980;
-      t30659 = RATIONAL(-5.0,1152.0);
-      t31452 = t30779*t30975+t30659*t31128;
-      t30770 = RATIONAL(-1.0,8.0);
-      t30671 = RATIONAL(25.0,12.0);
-      t31126 = t30671*t30778;
-      t31451 = t30780*t31126+t30770*t30982;
-      t31450 = t30784*t31014+z*t31018;
-      t30988 = t30779*t31128;
-      t30748 = RATIONAL(-5.0,2.0);
-      t30723 = RATIONAL(5.0,48.0);
-      t31449 = t30748*t30988+t30723*t31168;
-      t30992 = t30730*t31264;
-      t31446 = z*t30888+t30778*t30992;
-      t30655 = RATIONAL(5.0,1152.0);
-      t30884 = t30677*t31139;
-      t31445 = t30655*t31059+t30779*t30884;
-      t31443 = t30779*t30971+t30778*t31092;
-      t30713 = RATIONAL(5.0,32.0);
-      t31440 = t30713*t30988+t30682*t31168;
-      t31073 = t30722*t30779;
-      t30499 = t30783*t31073;
-      t31438 = t30740*t31059+t30778*t30499;
-      t31227 = z*t30781;
-      t31155 = t30780*t30726;
-      t30936 = t30781*t31155;
-      t31436 = t30702*t31227+t30781*t30485+z*t30936;
-      t30613 = t30725*t30784;
-      t30379 = z*t30613;
-      t31221 = z*t30782;
-      t30965 = t30723*t31072;
-      t31435 = t30710*t31221+t30782*t30379+z*t30965;
-      t30519 = t30784*t31253;
-      t31434 = t30782*t30519+t30702*t31221+t30726*t31050;
-      t30893 = t30725*t31094;
-      t30934 = t30723*t31190;
-      t31433 = t30710*t31227+(t30934+t30893)*z;
-      t31432 = t31455+t31475;
-      t31431 = t31470+t31478;
-      t31154 = t30719*t30779;
-      t30901 = t30783*t31154;
-      t30691 = RATIONAL(5.0,576.0);
-      t31430 = t30691*t31252+x*t30901+t31611*t30781;
-      t30738 = RATIONAL(-5.0,36.0);
-      t31141 = t30780*t30738;
-      t30728 = RATIONAL(5.0,36.0);
-      t31183 = t30728*t30780;
-      t31429 = t30781*t31183+x*t31141+t31615*t30783;
-      t31428 = t31470+t31485;
-      t30926 = t30778*t31188;
-      t31427 = t30780*t30926+t30784*t31119+t31471;
-      t31426 = t31438+t31488;
-      t30487 = t30779*t31145;
-      t31161 = t30667*t30781;
-      t31425 = t30740*t31252+x*t30487+t30780*t31161+t30781*t30499;
-      t30423 = y*t31177;
-      t31178 = t30731*t30782;
-      t30930 = t30784*t31178;
-      t31248 = y*t30738;
-      t31424 = t30728*t31072+t30778*t31248+t30779*t30930+t30784*t30423;
-      t31231 = y*t30735;
-      t31423 = y*t30932+t30778*t31231+t30702*t30937+t30742*t31072;
-      t31422 = t31110*t31246+t30687*t31190+t30714*t31252+t30779*t30893;
-      t31421 = t31464+t31469;
-      t30666 = RATIONAL(-5.0,144.0);
-      t31063 = t30781*t30666;
-      t31240 = x*t30738;
-      t31420 = x*t30546+t30782*t31063+t30731*t30890+y*t31240;
-      t31419 = t31469+t31475;
-      t30517 = x*t31160;
-      t30895 = t30729*t31094;
-      t31418 = t30783*t30517+x*t31183+t30781*t31141+t30779*t30895;
-      t31417 = t31455+t31464;
-      t30681 = RATIONAL(5.0,144.0);
-      t31115 = t30681*t30782;
-      t31226 = y*t30728;
-      t31416 = t30781*t31115+t30729*t30890+(t31226+t30544)*x;
-      t31415 = t30659*t31168+t30683*t30988+t31445;
-      t31414 = t31459+t31478;
-      t30746 = RATIONAL(5.0,8.0);
-      t30775 = RATIONAL(-1.0,2.0);
-      t31106 = t30775*t30784;
-      t31413 = t30746*t30981+t30779*t31106+t31619*t30778;
-      t30176 = t30680*t31139;
-      t30756 = RATIONAL(1.0,8.0);
-      t31121 = t30756*t30779;
-      t30605 = t30723*t30778;
-      t30705 = RATIONAL(-5.0,32.0);
-      t31412 = t30784*t31121+t30176+t30605+t30705*t30981;
-      t31411 = t30781*t30901+t30691*t31190+t31611*x;
-      t30491 = y*t31160;
-      t31130 = t30729*t30782;
-      t30912 = t30784*t31130;
-      t31409 = t30778*t31226+t30784*t30491+t30738*t31072+t30779*t30912;
-      t31408 = t30471+t30603+t30487+t30723*t30952;
-      t30566 = t30762*t31184;
-      t31407 = t30737*t31251+t30739*t31072+y*t30566+t30710*t30937;
-      t31406 = t31459+t31485;
-      t31405 = t31487+t31488+t31564;
-      t30442 = t30695*t31259;
-      t29927 = z*t30442;
-      t30987 = t29927+t31450;
-      t31404 = t30987+t31581+t31586;
-      t30905 = t29927+t31457;
-      t31403 = t30905+t31585+t31586;
-      t30467 = t30695*t31260;
-      t29810 = z*t30467;
-      t30970 = t29810+t31456;
-      t31402 = t30970+t31571+t31587;
-      t30736 = RATIONAL(5.0,24.0);
-      t31401 = t30736*t31033+t30747*t31002+t30780*t31216+t30541+t31454;
-      t31400 = t30970+t31598+t31605;
-      t29806 = t30733*t31008;
-      t31399 = y*t31122+x*t31169+t29806+t30688*t31043+t31602;
-      t30990 = t29810+t31479;
-      t31398 = t30990+t31579+t31598;
-      t29931 = z*t30469;
-      t30957 = t29931+t31479;
-      t31397 = t30957+t31579+t31588;
-      t31020 = z*t31093;
-      t30886 = t30717*t31190;
-      t31396 = z*t30886+t30729*t31227+t30781*t31020+t31606*x;
-      t31395 = t30721*t31002+t30390+t30780*t31261+t30720*t31033+t31490;
-      t31104 = t30781*t30662;
-      t31394 = t31474+t31634*t30783+(t31104+t31250)*t30780;
-      t30493 = x*t30608;
-      t29911 = z*t30493;
-      t30962 = t29911+t31450;
-      t31393 = t30962+t31573+t31581;
-      t31392 = t30782*t30998+t30720*t31050+t30717*t31200+z*t31178+(t31004+
-t31261)*y;
-      t30267 = t30680*t31059;
-      t31391 = t30722*t31235+t30379+t30683*t31033+z*t30267+t31467;
-      t31193 = t30778*t30727;
-      t31228 = z*t30710;
-      t30482 = t30784*t31228;
-      t31390 = t31193*t31266+t31434+(t31214+t30482)*y;
-      t31207 = y*t30662;
-      t31098 = t30784*t30679;
-      t31195 = t30778*t30779;
-      t31055 = y*t31195;
-      t31389 = t30779*t30924+t30688*t31055+t30782*t31098+t30784*t31207+t31572;
-      t31388 = t31483+t31540;
-      t30507 = z*t30610;
-      t30607 = t30723*t30780;
-      t31387 = t30607*t31265+t31436+(t31228+t30507)*x;
-      t30989 = t29931+t31456;
-      t31386 = t30989+t31587+t31597;
-      t31170 = t30780*t30725;
-      t31385 = z*t31170+t30677*t31002+t30485+t30783*t30997+t31477;
-      t31384 = t31436+(t30995+t31618)*x;
-      t31229 = z*t30702;
-      t31383 = t31175*t31266+t31435+(t31229+t30519)*y;
-      t30351 = z*t31110;
-      t31382 = t30351+t30780*t31214+t30710*t31002+t30726*t31033+t31481;
-      t31173 = t30784*t30702;
-      t30488 = z*t31173;
-      t31255 = z*t30762;
-      t31381 = t31180*t31266+t31435+(t30488+t31255)*y;
-      t31380 = t30488+t30726*t31002+t31481+t31618*t30778;
-      t31379 = t30778*t31233+t30675*t31072+t30779*t31001+t30782*t30894+t31443;
-      t31378 = t30962+t31577+t31592;
-      t31189 = t30720*t30778;
-      t30927 = t30717*t31072;
-      t31377 = t30782*t31004+t31189*t31266+(t31130+t30927)*z+t31609*y;
-      t31376 = t30729*t31235+t30720*t31002+t30784*t31219+t30778*t31020+t31490;
-      t31057 = t30781*t30747;
-      t30732 = RATIONAL(-5.0,24.0);
-      t30961 = t30732*t31190;
-      t31375 = t30769*t31199+t30781*t30390+(t30961+t31057)*z+t31621*x;
-      t30563 = t30784*t31206;
-      t31374 = t31472+t30563+t30732*t31002+t31621*t30778;
-      t31373 = t30507+t30780*t31253+z*t30176+t30683*t31002+t31467;
-      t31134 = t30781*t30694;
-      t31372 = t30782*t31134+t30688*t30890+t31473+(t31047+t31249)*x;
-      t31151 = t30778*t30725;
-      t31371 = t30519+t30682*t31002+t31477+(t31151+t30884)*z;
-      t31370 = t30717*t31199+(t31020+t31261)*x+t31606*t30781;
-      t31369 = t31483+t31525;
-      t31150 = t30745*t30781;
-      t30945 = t30736*t31190;
-      t31368 = t30767*t31199+t31622*x+(t31150+t30945+t30895)*z;
-      t31367 = t31466+t30427+t30717*t31033+t31609*t30780;
-      t30542 = t30784*t31209;
-      t31366 = t30542+t30736*t31002+t31454+t31622*t30778;
-      t31365 = t30905+t31590+t31603;
-      t30984 = t29911+t31457;
-      t31364 = t30984+t31577+t31603;
-      t31363 = t31146*t31267+t30689*t30890+x*t31207+t30781*t31070+t31473;
-      t31132 = t30780*t30762;
-      t31362 = z*t31132+t30702*t31002+t30457+t30723*t31033+t31446;
-      t31035 = t30779*t30614;
-      t31361 = t30779*t30922+y*t31120+t30674*t31072+t30784*t31035+t31443;
-      t31360 = t31466+t30729*t31254+t30717*t31002+t31608*t30778;
-      t31359 = t30987+t31590+t31592;
-      t31358 = t30605*t31266+t31434+(t31228+t30379)*y;
-      t31357 = t30957+t31580+t31597;
-      t31356 = t30984+t31573+t31585;
-      t30908 = t30723*t31059;
-      t31355 = t30762*t31235+t30482+t31446+(t30918+t30908)*z;
-      t31354 = t30745*t31002+t30732*t31033+t30552+t30780*t31222+t31472;
-      t31353 = t31155*t31265+t31433+(t30485+t31229)*x;
-      t31352 = t31433+(t30992+t31255+t30351)*x;
-      t31351 = t30990+t31571+t31580;
-      t31350 = t30769*t31200+t30732*t31050+(t30930+t31060)*z+(t30542+t31222)*y;
-      t31348 = t30767*t31200+t30736*t31050+(t30912+t31097)*z+(t30563+t31216)*y;
-      t31347 = t30989+t31588+t31605;
-      t30416 = t30702*t31195;
-      t30496 = t30710*t31184;
-      t30872 = t30495+t30619+t30779*t30908+t30496+t31156;
-      t31346 = t30416+t30872+t30622+t31438+t31484;
-      t31194 = t30779*t30762;
-      t30574 = t30778*t31194;
-      t31345 = t30623+t30872+t30574+t31460+t31487;
-      t30354 = t30702*t31172;
-      t31344 = t31408+t30354+t30616+t31484+t31564;
-      t31343 = t31431+t31574+t31593;
-      t31342 = t31428+t31575+t31576;
-      t31341 = t31548+t31553;
-      t31340 = t31548+t31555;
-      t31339 = t31522+t31524;
-      t30929 = t30780*t31154;
-      t31338 = t30691*t31094+t30781*t30929+t31430+t31613*x;
-      t31337 = t31431+t31576+t31600;
-      t31336 = t31554+t31559;
-      t31335 = t31521+t31537;
-      t31136 = t30687*t30782;
-      t31334 = t30781*t31136+t31073*t31267+y*t31161+t30722*t30890+t31636*t30725
-+t31616*x;
-      t30946 = t30745*t31172;
-      t30943 = t30747*t31172;
-      t31333 = t30781*t30946+x*t30943+t30783*t31063+t30681*t31259+t31429;
-      t31332 = t31414+t31599+t31600;
-      t31153 = t30666*t30782;
-      t30438 = t30731*t31144;
-      t30572 = t30779*t31057;
-      t31331 = t31416+t30781*t31248+y*t30572+(t30438+t31153)*x;
-      t31330 = t31406+t31575+t31599;
-      t31329 = t31432+t31566+t31582;
-      t31215 = y*t30681;
-      t31328 = t31424+t31620*t30778+(t31215+t31153)*t30784;
-      t30940 = t30781*t31073;
-      t31327 = t30780*t30940+t30667*t31094+t31422+(t30938+t31119)*x;
-      t30916 = t30782*t31073;
-      t31326 = t30667*t31267+y*t30940+t31640*t30725+t31616*t30781+(t31136+
-t30916)*x;
-      t31325 = t30691*t31259+x*t30929+t31411+t31613*t30781;
-      t31068 = t30714*t30783;
-      t30492 = t30779*t31170;
-      t31324 = t30781*t30492+t30687*t31094+t31425+(t30354+t31068)*x;
-      t31323 = t30784*t31115+t30666*t31260+t31409+t31623*t30778;
-      t31322 = t31521+t31534;
-      t31321 = t31428+t31589+t31593;
-      t31320 = t31532+t31555;
-      t31319 = t31557+t31560;
-      t31318 = t31524+t31531;
-      t31317 = t31421+t31594+t31601;
-      t31316 = t31558+t31562;
-      t30456 = t30779*t31130;
-      t30589 = t30779*t31150;
-      t31315 = t30781*t31226+y*t30589+t31420+(t30456+t31115)*x;
-      t31314 = t30599+t30499+t30164+t30492+t30682*t30952+t30590+t31453;
-      t31061 = t30781*t30740;
-      t31182 = t30742*t30781;
-      t31313 = t30782*t31061+t30742*t31256+t30702*t30890+(t30571+t31182)*y+(
-t31231+t31612)*x;
-      t31312 = t31421+t31563+t31578;
-      t31311 = t31417+t31563+t31567;
-      t31310 = t31419+t31565+t31578;
-      t31127 = t30784*t30740;
-      t31309 = t30778*t30527+t30782*t31127+y*t30926+t30742*t31260+t31423;
-      t31308 = t31559+t31560;
-      t31307 = t31417+t31582+t31601;
-      t31306 = t30681*t31094+x*t30946+t30666*t31259+t30781*t30943+t31418;
-      t31305 = t31414+t31574+t31584;
-      t31304 = t31406+t31584+t31589;
-      t31303 = t31522+t31535;
-      t30537 = t30778*t31167;
-      t31116 = t30714*t30782;
-      t31302 = y*t30537+t30784*t31116+t30739*t31260+t30782*t30574+t31407;
-      t31301 = t31529+t31537;
-      t31300 = t31550+t31556;
-      t31212 = x*t30739;
-      t30560 = t30762*t31144;
-      t31299 = t30781*t31116+x*t30560+t30710*t30890+t30782*t31212+(t31607+
-t31617)*y;
-      t31298 = t31544+t31546;
-      t30966 = t30730*t31172;
-      t30645 = t30758*t30784;
-      t31297 = t30539+t30645+t30537+t30763*t30778+t30566+t30784*t30966+t31491;
-      t31296 = t31547+t31556;
-      t31295 = t31533+t31536;
-      t31294 = t31551+t31552;
-      t31293 = t31523+t31541;
-      t31292 = t30608+t30779*t31132+t31408+t31460;
-      t31291 = t31529+t31534;
-      t31290 = t31554+t31557;
-      t31289 = t31530+t31542;
-      t31288 = t31532+t31553;
-      t31287 = t31531+t31535;
-      t31286 = t31432+t31565+t31567;
-      t31285 = t31561+t31562;
-      t31284 = t31419+t31566+t31594;
-      t30525 = t30780*t31167;
-      t30638 = t30762*t30783;
-      t30534 = t30779*t30638;
-      t31283 = t30639+t30763*t30780+t30525+t30783*t30914+t30776*t31059+t31480+
-t31491+t30534+t31471;
-      t29870 = y*t30951;
-      t31282 = t30782*t31242+t29870+x*t30942+t30855+y*t31165+t31439+t31591;
-      t30516 = t30779*t31151;
-      t31281 = t30682*t30981+t30595+t30170+t30593+t30516+t30784*t31073+t31445+
-t31452+t31453;
-      t30858 = t31363+t31448;
-      t31280 = t30858+t30782*t31250+t31595+t29943+t31483+(t31134+t30968)*y;
-      t31279 = t31361+t31570+t30784*t31078+t30782*t30964+(t31129+t30985)*y;
-      t31075 = t30662*t30782;
-      t31278 = t30689*t31055+t30784*t31075+t30779*t30972+y*t31098+t31388+t31572
-;
-      t31277 = t30784*t31080+t30778*t30921+t30674*t31260+y*t30986+t31361+t31583
-;
-      t31276 = t31372+y*t31104+t29870+t31602+(t30928+t31070)*x;
-      t31275 = t30781*t31258+x*t31075+y*t30933+t29958+t31372+t31595;
-      t31117 = t30784*t30709;
-      t31274 = t30778*t31035+t30784*t31143+t30782*t30925+y*t31117+t31379+t31570
-;
-      t30956 = t30779*t31079;
-      t31273 = t30675*t31260+t30784*t31171+t30778*t30967+y*t30956+t31379+t31583
-;
-      t31272 = y*t31152+t29806+t31349+t31591+t31614*t30782;
-      t31176 = t30784*t30657;
-      t31138 = t30784*t30656;
-      t31271 = y*t31176+t30656*t31251+t31510+t30782*t31138+t30657*t31072+t31647
-*t30779+t31624*t30784;
-      t30522 = y*t30645;
-      t31270 = t30763*t31055+t30734*t30937+t30779*t30522+t30661*t31251+t31503+(
-t30956+t31117)*t30782+t31610*t30707;
-      t31269 = y*t30887+t31503+t30678*t31251+t31610*t30716+t31631*t30778+(
-t31108+t30921)*t30784;
-      t31268 = t30656*t31072+t30693*t30937+t30779*t30245+t31510+t30782*t31176+y
-*t31138+t30657*t31251+t31624*t30778;
-      t31239 = y*t30690;
-      t30612 = t30726*t30784;
-      t30617 = t30727*t30784;
-      t30764 = RATIONAL(2.0,1.0);
-      t31159 = t30764*t30779;
-      t30611 = t30726*t30783;
-      t30615 = t30727*t30783;
-      t31137 = t30775*t30783;
-      t31135 = t30751*t30780;
-      t31133 = t30757*t30780;
-      t31103 = t30784*t30691;
-      t31081 = t30770*t30779;
-      t31069 = t30690*t30782;
-      t31046 = y*t31154;
-      t30983 = t30779*t31084;
-      t30976 = t30732*t31195;
-      t30974 = t30779*t31173;
-      t30383 = t30729*t31164;
-      t30969 = t30720*t31172;
-      t30947 = t30779*t31189;
-      t30910 = t30778*t31125;
-      t30900 = t30779*t31193;
-      t30889 = t30719*t31144;
-      t30883 = t30742*t31059+t30765*t30952+t31480;
-      t30881 = t30655*t31139+t30677*t30981+t31452;
-      t30880 = t30687*t31139+t30780*t30974+t31156;
-      t30696 = RATIONAL(1.0,16.0);
-      t30753 = RATIONAL(1.0,4.0);
-      t30697 = RATIONAL(-5.0,16.0);
-      t30877 = t30753+t30697*t30780+t30696*t30783;
-      t30724 = RATIONAL(-1.0,16.0);
-      t30766 = RATIONAL(-1.0,4.0);
-      t30712 = RATIONAL(5.0,16.0);
-      t30876 = t30724*t30783+t30766+t30712*t30780;
-      t30875 = t30754+t31135+t30756*t30783;
-      t30874 = t30775+t30746*t30780+t30770*t30783;
-      t30670 = RATIONAL(25.0,32.0);
-      t30873 = t30670*t30780+t30705*t30783+t30751;
-      t30871 = t30607+t30267+t30783*t31121+t30705*t30952+t31492;
-      t30869 = t30730*t31059+t30779*t31137+t30746*t30952+t30759*t30780+t31451;
-      t30868 = t30691*t31251+t30721*t30937+t30778*t31069+t30784*t31046+t30881;
-      t30867 = x*t30534+t30781*t30487+t30883+t31607*t30780;
-      t30866 = t30778*t31239+t30691*t31072+t30721*t31053+t30784*t30889+t30881;
-      t30864 = t31394+t31448;
-      t30863 = t31369+t31448;
-      t30862 = t30714*t31251+t30687*t31072+y*t30974+t30725*t30937+t30880;
-      t30860 = y*t30496+t30740*t31251+t30667*t31072+t30784*t30916+t30880;
-      t30856 = x*t31090+t30780*t31182+t30883+t31604*t30783;
-      t30672 = RATIONAL(-25.0,48.0);
-      t30854 = t30754*t30981+t30615+t30672*t31139+t30780*t31159+t30869+t31449;
-      t30651 = RATIONAL(25.0,192.0);
-      t30699 = RATIONAL(-1.0,32.0);
-      t30853 = t30651*t31059+t30699*t30952+t30612+t30778*t31081+t31412+t31440+
-t31492;
-      t30852 = t30754*t30952+t30617+t30672*t31059+t30778*t31159+t31413+t31449+
-t31451;
-      t30851 = t30651*t31139+t30611+t30780*t31081+t30699*t30981+t30871+t31440;
-      t30676 = RATIONAL(-25.0,96.0);
-      t30850 = t30676*t30780+t30736+t30717*t30783+t30876*t30779;
-      t30849 = t30736+t30717*t30784+t30676*t30778+(t30712*t30778+t30724*t30784+
-t30766)*t30779;
-      t30685 = RATIONAL(25.0,96.0);
-      t30848 = t30720*t30784+t30732+t30685*t30778+(t30696*t30784+t30697*t30778+
-t30753)*t30779;
-      t30847 = t30685*t30780+t30732+t30720*t30783+t30877*t30779;
-      t30846 = x*t30547+y*t30383+t30781*t31215+t30728*t31256+t31405+t31420;
-      t30845 = x*t30525+t30783*t31212+t30781*t31068+t30780*t30553+t30867+t31427
-;
-      t30844 = t30782*t31103+y*t30910+t30784*t31239+t30868+t30778*t30889+t31415
-;
-      t30843 = t30782*t31067+t30862+t30778*t30916+t30710*t31055+y*t31127+t31426
-;
-      t30842 = t30784*t31136+t30714*t31260+t30860+t30782*t30516+y*t30416+t31426
-;
-      t30841 = t30778*t31046+t30784*t31069+t30866+t30782*t30910+y*t31103+t31415
-;
-      t30840 = t31405+t30782*t31240+x*t30543+t31416+(t30406+t31063)*y;
-      t30839 = t30742*t31259+t31427+t30856+t30783*t31061+t31596*t30780;
-      t30838 = t30275+t30710+t30610+t30613+t30871+t30670*t30988+t31412+(t31135+
-t31569)*t30779;
-      t30837 = t30331+t31413+RATIONAL(-25.0,8.0)*t30988+t30869+t30761+t30762*
-t30784+t30638+(t31133+t31568)*t30779;
-      t30836 = t30440+t30736*t31037+t30779*t30961+t30648+t31346+t30437+t30572+
-t31429+(t31191+t30750)*x;
-      t30835 = t30388+t30736*t30979+y*t30976+t31344+t30629+t30626+t30362+t31409
-+t31620;
-      t30834 = t30258+t30866+t30423+y*t31086+t30601+t30782*t30947+t30598+t31314
-+t30438+t30717*t31055;
-      t30833 = t30784*t31099+t30776*t31260+t30560+t31283+t30752*t31055+t31423+(
-t30758+t30914)*t30782+(t31167+t30763)*y;
-      t30832 = t30862+t30467+t31292+t30614+t30239+t30606+t30710*t31144+t30779*
-t30965+(t31194+t30914)*y;
-      t30831 = t30348+t30750*y+t31344+t30397+t30782*t30976+t30736*t31055+t30646
-+t31424+t31623;
-      t30830 = t30625+t31346+t30589+t30779*t30945+t30502+t31418+t30732*t31037+
-t30506+(t30749+t31192)*x;
-      t30829 = t30287+t31345+x*t30983+t30621+t30779*t30936+t30493+t30602+t31425
-+t31604;
-      t30828 = t30781*t30969+t30717*t31037+t31281+t30688*x+t30596+t31411+t31615
-+t31639;
-      t30827 = t30456+t30491+t30779*t30927+t30868+t31314+t30600+(t30689+t30947)
-*y+t31637;
-      t30826 = t30637+t30759*t31055+t31283+t30784*t31162+t30522+t31407+(t30776+
-t30900)*t30782+t31612;
-      t30825 = t30255+t31345+t30710*t31164+t30442+t30779*t30934+t30618+t31422+(
-t30703+t31194+t30966)*x;
-      t30824 = t31297+t30856+(t30758+t30966)*t30781+(t30897+t30763)*x+t31617+
-t31629;
-      t30823 = t30702*t31144+t30609+t30782*t30949+t30469+t30860+t31292+t30604+
-t30222+(t30900+t31105)*y;
-      t30822 = t31281+t30383+t30517+t30779*t30886+t30592+t31430+(t30969+t30689)
-*x+t31646;
-      t30821 = t31297+t30759*t31037+t30867+t30768*x+(t30983+t30776)*t30781+
-t31596+t31630;
-      t30820 = t31276+t31507+t31515;
-      t30819 = t31389+t31369+t31514+t31519;
-      t30818 = t31278+t30864+t31514+t31526;
-      t30817 = t31506+t31268+t31508;
-      t30816 = t31363+t31399+t31502+t31515;
-      t30815 = t31493+t31271+t31506;
-      t30814 = t31494+t31269+t31500;
-      t30813 = t31399+t31394+t30858+t31507+t31538;
-      t30812 = t31279+t31505+t31516;
-      t30811 = t31277+t31513+t31517;
-      t30810 = t31272+t30859+t31498+t31545;
-      t30809 = t31389+t30863+t31394+t31511+t31526;
-      t30808 = t31494+t31270+t31495;
-      t30807 = t31499+t31270+t31500;
-      t30806 = t31504+t31280+t31527+t31540;
-      t30805 = t31501+t31280+t31525+t31539;
-      t30804 = t31273+t31513+t31518;
-      t30803 = t31282+t31498+t31528+t31549;
-      t30802 = t31273+t31512+t31517;
-      t30801 = t31496+t31271+t31508;
-      t30800 = t31272+t30861+t31509+t31528;
-      t30799 = t31388+t31275+t31448+t31501+t31527;
-      t30798 = t31282+t31509+t31543+t31545;
-      t30797 = t31277+t31512+t31518;
-      t30796 = t31493+t31268+t31496;
-      t30795 = t31269+t31495+t31499;
-      t30794 = t31275+t30863+t31504+t31539;
-      t30793 = t31279+t31497+t31520;
-      t30792 = t31276+t30864+t31502+t31538;
-      t30791 = t31274+t31497+t31516;
-      t30790 = t31278+t31511+t31519;
-      t30789 = t31274+t31505+t31520;
-      t30774 = RATIONAL(5.0,4.0);
-      t30744 = RATIONAL(3.0,4.0);
-      t30743 = RATIONAL(-5.0,4.0);
-      t30701 = RATIONAL(-15.0,4.0);
-      t30700 = RATIONAL(25.0,8.0);
-      t30673 = RATIONAL(25.0,48.0);
-      t30669 = RATIONAL(-25.0,12.0);
-      t30668 = RATIONAL(-15.0,16.0);
-      coeffs_dzz->coeff_m2_m2_m2 = t30801+t31536+t31541+t31542+t31546;
-      coeffs_dzz->coeff_m1_m2_m2 = t30805+t31342+t31393;
-      coeffs_dzz->coeff_0_m2_m2 = t30827+t31373+t31392;
-      coeffs_dzz->coeff_p1_m2_m2 = t30794+t31330+t31404;
-      coeffs_dzz->coeff_p2_m2_m2 = t31289+t30815+t31298;
-      coeffs_dzz->coeff_m2_m1_m2 = t30813+t31321+t31397;
-      coeffs_dzz->coeff_m1_m1_m2 = t30804+t31294+t31547+t31558;
-      coeffs_dzz->coeff_0_m1_m2 = t30823+t31381+t31382;
-      coeffs_dzz->coeff_p1_m1_m2 = t31296+t30802+t31316;
-      coeffs_dzz->coeff_p2_m1_m2 = t30820+t31304+t31347;
-      coeffs_dzz->coeff_m2_0_m2 = t30822+t31370+t31391;
-      coeffs_dzz->coeff_m1_0_m2 = t30829+t31352+t31380;
-      coeffs_dzz->coeff_0_0_m2 = ((RATIONAL(-25.0,32.0)*t30780+t30746+t30713*
-t30783)*t30778+(t30770+t30699*t30783+t30713*t30780)*t30784+t30874)*z+t30838;
-      coeffs_dzz->coeff_p1_0_m2 = t30825+t31380+t31384;
-      coeffs_dzz->coeff_p2_0_m2 = t30828+t31391+t31396;
-      coeffs_dzz->coeff_m2_p1_m2 = t30792+t31304+t31398;
-      coeffs_dzz->coeff_m1_p1_m2 = t30797+t31296+t31552+t31561;
-      coeffs_dzz->coeff_0_p1_m2 = t30832+t31382+t31390;
-      coeffs_dzz->coeff_p1_p1_m2 = t30811+t31285+t31547+t31551;
-      coeffs_dzz->coeff_p2_p1_m2 = t30816+t31321+t31400;
-      coeffs_dzz->coeff_m2_p2_m2 = t30796+t31298+t31533+t31541;
-      coeffs_dzz->coeff_m1_p2_m2 = t30799+t31330+t31356;
-      coeffs_dzz->coeff_0_p2_m2 = t30834+t31373+t31377;
-      coeffs_dzz->coeff_p1_p2_m2 = t30806+t31342+t31403;
-      coeffs_dzz->coeff_p2_p2_m2 = t30817+t31295+t31530+t31546;
-      coeffs_dzz->coeff_m2_m2_m1 = t30809+t31288+t31308;
-      coeffs_dzz->coeff_m1_m2_m1 = t30803+t31311+t31402;
-      coeffs_dzz->coeff_0_m2_m1 = t30831+t31383+t31395;
-      coeffs_dzz->coeff_p1_m2_m1 = t30810+t31312+t31351;
-      coeffs_dzz->coeff_p2_m2_m1 = t31319+t30819+t31320;
-      coeffs_dzz->coeff_m2_m1_m1 = t30791+t31307+t31365;
-      coeffs_dzz->coeff_m1_m1_m1 = t30807+t31335+t31339;
-      coeffs_dzz->coeff_0_m1_m1 = t30826+t31350+t31401;
-      coeffs_dzz->coeff_p1_m1_m1 = t30808+t31291+t31339;
-      coeffs_dzz->coeff_p2_m1_m1 = t30789+t31317+t31364;
-      coeffs_dzz->coeff_m2_0_m1 = t30836+t31353+t31376;
-      coeffs_dzz->coeff_m1_0_m1 = t30821+t31366+t31375;
-      coeffs_dzz->coeff_0_0_m1 = (t30753*t30783+1.0+t30743*t30780+(RATIONAL(
-25.0,16.0)*t30780+t30743+t30697*t30783)*t30778+t30877*t30784)*z+t30837;
-      coeffs_dzz->coeff_p1_0_m1 = t30824+t31366+t31368;
-      coeffs_dzz->coeff_p2_0_m1 = t30830+t31376+t31387;
-      coeffs_dzz->coeff_m2_p1_m1 = t30793+t31317+t31359;
-      coeffs_dzz->coeff_m1_p1_m1 = t31301+t30814+t31318;
-      coeffs_dzz->coeff_0_p1_m1 = t30833+t31348+t31401;
-      coeffs_dzz->coeff_p1_p1_m1 = t30795+t31318+t31322;
-      coeffs_dzz->coeff_p2_p1_m1 = t30812+t31307+t31378;
-      coeffs_dzz->coeff_m2_p2_m1 = t30818+t31320+t31336;
-      coeffs_dzz->coeff_m1_p2_m1 = t30800+t31312+t31386;
-      coeffs_dzz->coeff_0_p2_m1 = t30835+t31358+t31395;
-      coeffs_dzz->coeff_p1_p2_m1 = t30798+t31311+t31357;
-      coeffs_dzz->coeff_p2_p2_m1 = t31288+t30790+t31290;
-      coeffs_dzz->coeff_m2_m2_0 = t31334+t30844+t31338;
-      coeffs_dzz->coeff_m1_m2_0 = t31324+t30840+t31328;
-      coeffs_dzz->coeff_0_m2_0 = t30849*t30782+t30851+t30848*y;
-      coeffs_dzz->coeff_p1_m2_0 = t31327+t30846+t31328;
-      coeffs_dzz->coeff_p2_m2_0 = t31325+t30844+t31326;
-      coeffs_dzz->coeff_m2_m1_0 = t31331+t30842+t31333;
-      coeffs_dzz->coeff_m1_m1_0 = t30845+t31302+t31313;
-      coeffs_dzz->coeff_0_m1_0 = t30854+(t30730+t30612+t30673*t30778+(t30756*
-t30784+t31569)*t30779)*t30782+(t30617+t30752+t30669*t30778+(t31106+t31568)*
-t30779)*y;
-      coeffs_dzz->coeff_p1_m1_0 = t31299+t30839+t31302;
-      coeffs_dzz->coeff_p2_m1_0 = t31306+t30842+t31315;
-      coeffs_dzz->coeff_m2_0_0 = t30853+t30847*x+t30850*t30781;
-      coeffs_dzz->coeff_m1_0_0 = (t30730+t30611+t30673*t30780+t30875*t30779)*
-t30781+(t30615+t30752+t30669*t30780+(t31133+t31137+t30760)*t30779)*x+t30852;
-      coeffs_dzz->coeff_0_0_0 = t30751*t30783+t30748+t30700*t30780+(t30700+
-RATIONAL(-125.0,32.0)*t30780+t30670*t30783)*t30778+t30873*t30784+(t30701*t30780
-+t30744*t30783+RATIONAL(3.0,1.0)+(t30701+t30668*t30783+RATIONAL(75.0,16.0)*
-t30780)*t30778+(t30668*t30780+RATIONAL(3.0,16.0)*t30783+t30744)*t30784)*t30779;
-      coeffs_dzz->coeff_p1_0_0 = (t30672*t30780+t30727+t30723*t30783+t30874*
-t30779)*t30781+(t30671*t30780+(t30764+t30754*t30783+t30748*t30780)*t30779+
-t31619)*x+t30852;
-      coeffs_dzz->coeff_p2_0_0 = t30853+t30847*t30781+t30850*x;
-      coeffs_dzz->coeff_m2_p1_0 = t30843+t31315+t31333;
-      coeffs_dzz->coeff_m1_p1_0 = t31299+t30845+t31309;
-      coeffs_dzz->coeff_0_p1_0 = (t30672*t30778+t30723*t30784+t30727+(t30770*
-t30784+t30775+t30746*t30778)*t30779)*t30782+(t31126+t30759+t30730*t30784+(
-t30754*t30784+t30748*t30778+t30764)*t30779)*y+t30854;
-      coeffs_dzz->coeff_p1_p1_0 = t30839+t31309+t31313;
-      coeffs_dzz->coeff_p2_p1_0 = t30843+t31306+t31331;
-      coeffs_dzz->coeff_m2_p2_0 = t31326+t30841+t31338;
-      coeffs_dzz->coeff_m1_p2_0 = t31323+t30846+t31324;
-      coeffs_dzz->coeff_0_p2_0 = t30851+t30848*t30782+t30849*y;
-      coeffs_dzz->coeff_p1_p2_0 = t31323+t30840+t31327;
-      coeffs_dzz->coeff_p2_p2_0 = t30841+t31325+t31334;
-      coeffs_dzz->coeff_m2_m2_p1 = t31290+t30809+t31340;
-      coeffs_dzz->coeff_m1_m2_p1 = t30803+t31310+t31357;
-      coeffs_dzz->coeff_0_m2_p1 = t30831+t31358+t31367;
-      coeffs_dzz->coeff_p1_m2_p1 = t30810+t31286+t31386;
-      coeffs_dzz->coeff_p2_m2_p1 = t31336+t30819+t31341;
-      coeffs_dzz->coeff_m2_m1_p1 = t30791+t31284+t31378;
-      coeffs_dzz->coeff_m1_m1_p1 = t30807+t31287+t31291;
-      coeffs_dzz->coeff_0_m1_p1 = t30826+t31348+t31354;
-      coeffs_dzz->coeff_p1_m1_p1 = t30808+t31287+t31335;
-      coeffs_dzz->coeff_p2_m1_p1 = t30789+t31329+t31359;
-      coeffs_dzz->coeff_m2_0_p1 = t30836+t31360+t31387;
-      coeffs_dzz->coeff_m1_0_p1 = t30821+t31368+t31374;
-      coeffs_dzz->coeff_0_0_p1 = t30837+(-1.0+t30766*t30783+t30774*t30780+(
-RATIONAL(-25.0,16.0)*t30780+t30712*t30783+t30774)*t30778+t30876*t30784)*z;
-      coeffs_dzz->coeff_p1_0_p1 = t30824+t31374+t31375;
-      coeffs_dzz->coeff_p2_0_p1 = t30830+t31353+t31360;
-      coeffs_dzz->coeff_m2_p1_p1 = t30793+t31329+t31364;
-      coeffs_dzz->coeff_m1_p1_p1 = t30814+t31303+t31322;
-      coeffs_dzz->coeff_0_p1_p1 = t30833+t31350+t31354;
-      coeffs_dzz->coeff_p1_p1_p1 = t30795+t31301+t31303;
-      coeffs_dzz->coeff_p2_p1_p1 = t30812+t31284+t31365;
-      coeffs_dzz->coeff_m2_p2_p1 = t30818+t31319+t31341;
-      coeffs_dzz->coeff_m1_p2_p1 = t30800+t31286+t31351;
-      coeffs_dzz->coeff_0_p2_p1 = t30835+t31367+t31383;
-      coeffs_dzz->coeff_p1_p2_p1 = t30798+t31310+t31402;
-      coeffs_dzz->coeff_p2_p2_p1 = t31308+t30790+t31340;
-      coeffs_dzz->coeff_m2_m2_p2 = t30801+t31523+t31530+t31533+t31544;
-      coeffs_dzz->coeff_m1_m2_p2 = t30805+t31332+t31403;
-      coeffs_dzz->coeff_0_m2_p2 = t30827+t31377+t31385;
-      coeffs_dzz->coeff_p1_m2_p2 = t30794+t31337+t31356;
-      coeffs_dzz->coeff_p2_m2_p2 = t31293+t30815+t31295;
-      coeffs_dzz->coeff_m2_m1_p2 = t30813+t31305+t31400;
-      coeffs_dzz->coeff_m1_m1_p2 = t30804+t31285+t31300;
-      coeffs_dzz->coeff_0_m1_p2 = t30823+t31362+t31390;
-      coeffs_dzz->coeff_p1_m1_p2 = t31294+t30802+t31550+t31561;
-      coeffs_dzz->coeff_p2_m1_p2 = t30820+t31343+t31398;
-      coeffs_dzz->coeff_m2_0_p2 = t30822+t31371+t31396;
-      coeffs_dzz->coeff_m1_0_p2 = t30829+t31355+t31384;
-      coeffs_dzz->coeff_0_0_p2 = (t30873*t30778+(t30705*t30780+t30756+t30708*
-t30783)*t30784+t30875)*z+t30838;
-      coeffs_dzz->coeff_p1_0_p2 = t30825+t31352+t31355;
-      coeffs_dzz->coeff_p2_0_p2 = t30828+t31370+t31371;
-      coeffs_dzz->coeff_m2_p1_p2 = t30792+t31343+t31347;
-      coeffs_dzz->coeff_m1_p1_p2 = t31316+t30797+t31550+t31551;
-      coeffs_dzz->coeff_0_p1_p2 = t30832+t31362+t31381;
-      coeffs_dzz->coeff_p1_p1_p2 = t30811+t31300+t31552+t31558;
-      coeffs_dzz->coeff_p2_p1_p2 = t30816+t31305+t31397;
-      coeffs_dzz->coeff_m2_p2_p2 = t30796+t31289+t31523+t31536;
-      coeffs_dzz->coeff_m1_p2_p2 = t30799+t31337+t31404;
-      coeffs_dzz->coeff_0_p2_p2 = t30834+t31385+t31392;
-      coeffs_dzz->coeff_p1_p2_p2 = t30806+t31332+t31393;
-      coeffs_dzz->coeff_p2_p2_p2 = t30817+t31293+t31542+t31544;
+fp t28025;
+fp t28033;
+fp t28135;
+fp t28134;
+fp t28138;
+fp t28136;
+fp t28279;
+fp t28305;
+fp t28693;
+fp t28692;
+fp t28133;
+fp t28137;
+fp t28280;
+fp t28311;
+fp t28691;
+fp t28690;
+fp t28027;
+fp t28035;
+fp t28689;
+fp t28688;
+fp t28132;
+fp t28270;
+fp t28245;
+fp t28272;
+fp t28246;
+fp t28687;
+fp t28275;
+fp t28248;
+fp t28282;
+fp t28268;
+fp t28686;
+fp t28273;
+fp t28251;
+fp t28271;
+fp t28263;
+fp t28685;
+fp t28252;
+fp t28276;
+fp t28266;
+fp t28684;
+fp t28254;
+fp t28255;
+fp t28683;
+fp t28257;
+fp t28310;
+fp t28298;
+fp t28682;
+fp t28278;
+fp t28259;
+fp t28321;
+fp t28320;
+fp t28681;
+fp t28274;
+fp t28256;
+fp t28281;
+fp t28262;
+fp t28680;
+fp t28283;
+fp t28264;
+fp t28284;
+fp t28267;
+fp t28631;
+fp t28249;
+fp t28265;
+fp t28679;
+fp t28678;
+fp t28677;
+fp t28323;
+fp t28629;
+fp t28301;
+fp t28676;
+fp t28307;
+fp t28675;
+fp t28302;
+fp t28294;
+fp t28308;
+fp t28297;
+fp t28674;
+fp t28277;
+fp t28258;
+fp t28304;
+fp t28295;
+fp t28673;
+fp t28672;
+fp t28250;
+fp t28299;
+fp t28628;
+fp t28303;
+fp t28309;
+fp t28627;
+fp t28063;
+fp t28671;
+fp t28670;
+fp t28030;
+fp t28066;
+fp t28669;
+fp t28668;
+fp t27740;
+fp t28667;
+fp t27948;
+fp t26908;
+fp t28666;
+fp t28665;
+fp t27738;
+fp t28664;
+fp t28663;
+fp t27946;
+fp t28322;
+fp t26916;
+fp t28662;
+fp t28074;
+fp t27779;
+fp t28661;
+fp t27777;
+fp t28660;
+fp t28026;
+fp t28247;
+fp t28659;
+fp t28038;
+fp t28077;
+fp t28658;
+fp t28657;
+fp t27797;
+fp t28656;
+fp t27954;
+fp t26982;
+fp t28655;
+fp t28654;
+fp t27795;
+fp t28653;
+fp t28652;
+fp t27952;
+fp t26990;
+fp t28651;
+fp t28012;
+fp t28650;
+fp t28070;
+fp t27151;
+fp t27963;
+fp t28649;
+fp t28648;
+fp t28300;
+fp t28293;
+fp t27579;
+fp t28553;
+fp t28647;
+fp t27141;
+fp t27961;
+fp t28646;
+fp t28306;
+fp t28296;
+fp t27580;
+fp t28551;
+fp t28645;
+fp t28081;
+fp t28260;
+fp t28528;
+fp t28644;
+fp t28261;
+fp t28527;
+fp t28643;
+fp t28068;
+fp t28642;
+fp t27287;
+fp t27969;
+fp t28641;
+fp t28640;
+fp t27625;
+fp t28548;
+fp t28639;
+fp t27277;
+fp t27968;
+fp t28638;
+fp t27626;
+fp t28550;
+fp t28637;
+fp t27974;
+fp t28519;
+fp t28636;
+fp t27972;
+fp t28520;
+fp t28635;
+fp t28034;
+fp t28106;
+fp t28634;
+fp t28119;
+fp t28104;
+fp t28290;
+fp t28633;
+fp t28113;
+fp t28125;
+fp t28285;
+fp t28632;
+fp t28630;
+fp t28626;
+fp t28625;
+fp t28624;
+fp t28623;
+fp t26978;
+fp t27953;
+fp t28622;
+fp t26904;
+fp t27947;
+fp t28621;
+fp t27966;
+fp t28121;
+fp t28620;
+fp t27194;
+fp t28619;
+fp t27964;
+fp t28618;
+fp t28617;
+fp t27061;
+fp t28616;
+fp t28615;
+fp t28009;
+fp t28013;
+fp t28614;
+fp t27501;
+fp t27502;
+fp t27523;
+fp t28613;
+fp t28612;
+fp t28611;
+fp t28610;
+fp t28609;
+fp t28608;
+fp t28607;
+fp t28606;
+fp t28605;
+fp t27721;
+fp t28604;
+fp t28031;
+fp t28079;
+fp t28603;
+fp t28602;
+fp t28103;
+fp t28115;
+fp t28601;
+fp t27737;
+fp t28600;
+fp t27739;
+fp t28599;
+fp t28075;
+fp t28084;
+fp t28109;
+fp t28598;
+fp t27991;
+fp t27993;
+fp t28597;
+fp t27105;
+fp t28596;
+fp t28595;
+fp t28039;
+fp t28594;
+fp t28593;
+fp t28592;
+fp t28124;
+fp t28591;
+fp t27794;
+fp t28590;
+fp t27796;
+fp t28589;
+fp t28061;
+fp t28064;
+fp t28588;
+fp t27984;
+fp t27986;
+fp t28587;
+fp t27238;
+fp t28586;
+fp t27248;
+fp t28585;
+fp t28584;
+fp t28028;
+fp t28036;
+fp t28549;
+fp t28453;
+fp t28253;
+fp t28540;
+fp t28583;
+fp t27115;
+fp t28032;
+fp t28024;
+fp t28008;
+fp t28492;
+fp t28211;
+fp t28582;
+fp t28581;
+fp t28454;
+fp t28580;
+fp t28212;
+fp t28579;
+fp t28578;
+fp t28518;
+fp t28529;
+fp t28208;
+fp t28577;
+fp t28235;
+fp t28576;
+fp t28236;
+fp t28575;
+fp t28574;
+fp t28573;
+fp t28572;
+fp t28007;
+fp t28011;
+fp t28571;
+fp t28570;
+fp t28569;
+fp t28568;
+fp t28567;
+fp t28566;
+fp t28565;
+fp t28564;
+fp t28563;
+fp t28562;
+fp t28045;
+fp t28060;
+fp t28097;
+fp t28561;
+fp t28560;
+fp t28019;
+fp t28085;
+fp t28131;
+fp t28559;
+fp t28558;
+fp t28557;
+fp t28022;
+fp t28556;
+fp t28029;
+fp t28555;
+fp t27578;
+fp t28554;
+fp t28552;
+fp t28014;
+fp t28547;
+fp t28546;
+fp t28545;
+fp t28544;
+fp t28542;
+fp t28539;
+fp t28037;
+fp t27638;
+fp t28042;
+fp t28538;
+fp t28005;
+fp t28537;
+fp t28536;
+fp t28535;
+fp t28534;
+fp t28533;
+fp t28051;
+fp t28062;
+fp t28532;
+fp t28055;
+fp t28531;
+fp t28059;
+fp t28065;
+fp t28530;
+fp t27965;
+fp t28526;
+fp t28087;
+fp t28524;
+fp t28523;
+fp t28067;
+fp t28522;
+fp t28069;
+fp t28099;
+fp t28521;
+fp t28072;
+fp t28095;
+fp t28516;
+fp t28041;
+fp t28515;
+fp t28514;
+fp t28073;
+fp t28086;
+fp t28513;
+fp t27973;
+fp t28512;
+fp t28076;
+fp t28094;
+fp t28511;
+fp t28080;
+fp t28127;
+fp t28510;
+fp t28509;
+fp t28508;
+fp t28088;
+fp t28507;
+fp t28506;
+fp t28101;
+fp t28505;
+fp t28018;
+fp t28116;
+fp t28504;
+fp t28057;
+fp t28503;
+fp t28053;
+fp t28130;
+fp t28502;
+fp t28083;
+fp t28501;
+fp t28500;
+fp t28499;
+fp t28498;
+fp t28497;
+fp t28496;
+fp t28495;
+fp t28494;
+fp t28493;
+fp t28491;
+fp t28490;
+fp t28489;
+fp t28020;
+fp t28040;
+fp t28488;
+fp t28487;
+fp t28486;
+fp t28485;
+fp t27827;
+fp t28021;
+fp t28484;
+fp t28483;
+fp t27822;
+fp t28482;
+fp t28481;
+fp t28054;
+fp t28089;
+fp t28480;
+fp t28479;
+fp t28478;
+fp t28477;
+fp t28476;
+fp t28052;
+fp t28475;
+fp t28474;
+fp t28473;
+fp t27906;
+fp t28050;
+fp t28092;
+fp t28472;
+fp t27900;
+fp t28471;
+fp t27550;
+fp t27957;
+fp t28090;
+fp t28110;
+fp t28470;
+fp t28098;
+fp t28120;
+fp t28129;
+fp t28469;
+fp t28233;
+fp t28468;
+fp t28231;
+fp t28467;
+fp t27549;
+fp t27971;
+fp t27791;
+fp t28466;
+fp t27970;
+fp t27788;
+fp t28465;
+fp t27732;
+fp t28464;
+fp t27735;
+fp t28463;
+fp t27778;
+fp t27190;
+fp t28237;
+fp t28462;
+fp t28241;
+fp t28461;
+fp t28460;
+fp t28459;
+fp t27780;
+fp t27206;
+fp t28239;
+fp t28458;
+fp t28243;
+fp t28457;
+fp t27960;
+fp t27723;
+fp t27072;
+fp t28240;
+fp t28456;
+fp t28244;
+fp t28455;
+fp t27962;
+fp t27722;
+fp t27057;
+fp t28238;
+fp t28452;
+fp t28242;
+fp t28451;
+fp t28450;
+fp t28449;
+fp t28448;
+fp t28447;
+fp t28446;
+fp t28445;
+fp t28444;
+fp t28443;
+fp t28442;
+fp t28319;
+fp t28441;
+fp t28440;
+fp t28439;
+fp t28438;
+fp t28437;
+fp t28317;
+fp t28436;
+fp t28435;
+fp t27828;
+fp t28434;
+fp t28318;
+fp t28433;
+fp t27766;
+fp t28314;
+fp t28432;
+fp t27823;
+fp t28431;
+fp t28430;
+fp t27771;
+fp t28429;
+fp t28316;
+fp t28428;
+fp t27956;
+fp t28427;
+fp t28117;
+fp t27918;
+fp t28056;
+fp t28107;
+fp t28111;
+fp t28426;
+fp t27892;
+fp t28315;
+fp t28425;
+fp t27914;
+fp t28424;
+fp t27896;
+fp t28423;
+fp t28422;
+fp t28421;
+fp t28313;
+fp t28420;
+fp t28419;
+fp t28418;
+fp t28417;
+fp t28416;
+fp t28091;
+fp t28122;
+fp t28415;
+fp t28414;
+fp t28312;
+fp t28413;
+fp t28412;
+fp t27769;
+fp t28269;
+fp t28217;
+fp t28411;
+fp t27775;
+fp t28218;
+fp t28410;
+fp t28409;
+fp t28408;
+fp t28407;
+fp t28406;
+fp t28405;
+fp t28404;
+fp t28403;
+fp t28402;
+fp t28401;
+fp t28400;
+fp t28399;
+fp t28398;
+fp t28397;
+fp t28396;
+fp t28395;
+fp t28394;
+fp t28393;
+fp t28392;
+fp t28391;
+fp t28390;
+fp t28389;
+fp t28388;
+fp t28387;
+fp t28386;
+fp t28385;
+fp t28384;
+fp t28383;
+fp t28382;
+fp t28381;
+fp t28380;
+fp t28379;
+fp t28378;
+fp t28377;
+fp t28376;
+fp t28375;
+fp t28374;
+fp t28373;
+fp t28372;
+fp t28371;
+fp t28370;
+fp t28369;
+fp t28368;
+fp t28367;
+fp t28366;
+fp t28365;
+fp t28364;
+fp t28363;
+fp t28362;
+fp t28361;
+fp t28360;
+fp t28359;
+fp t28358;
+fp t28357;
+fp t28356;
+fp t28023;
+fp t28043;
+fp t28355;
+fp t28354;
+fp t28353;
+fp t28352;
+fp t28351;
+fp t28350;
+fp t28349;
+fp t28348;
+fp t28347;
+fp t28346;
+fp t27940;
+fp t28345;
+fp t27938;
+fp t28344;
+fp t28343;
+fp t28342;
+fp t28207;
+fp t28341;
+fp t28340;
+fp t27997;
+fp t28339;
+fp t27995;
+fp t28338;
+fp t28337;
+fp t28336;
+fp t28335;
+fp t28334;
+fp t28333;
+fp t28332;
+fp t28331;
+fp t28330;
+fp t28329;
+fp t28328;
+fp t28327;
+fp t28326;
+fp t28325;
+fp t28324;
+fp t27958;
+fp t27959;
+fp t28292;
+fp t28291;
+fp t27976;
+fp t27977;
+fp t28289;
+fp t28288;
+fp t28287;
+fp t28286;
+fp t27895;
+fp t27917;
+fp t27753;
+fp t27759;
+fp t27808;
+fp t27814;
+fp t27893;
+fp t27897;
+fp t27907;
+fp t27915;
+fp t27919;
+fp t27926;
+fp t28230;
+fp t28015;
+fp t28229;
+fp t28228;
+fp t28114;
+fp t28126;
+fp t28227;
+fp t28046;
+fp t28226;
+fp t28225;
+fp t28058;
+fp t28082;
+fp t28118;
+fp t28224;
+fp t28071;
+fp t28093;
+fp t28112;
+fp t28223;
+fp t28222;
+fp t28017;
+fp t28221;
+fp t28220;
+fp t28219;
+fp t28216;
+fp t28215;
+fp t28210;
+fp t28209;
+fp t28206;
+fp t28205;
+fp t28004;
+fp t28078;
+fp t28204;
+fp t28203;
+fp t28047;
+fp t28108;
+fp t28202;
+fp t28201;
+fp t28200;
+fp t28199;
+fp t28198;
+fp t28197;
+fp t28196;
+fp t28195;
+fp t28194;
+fp t28193;
+fp t28192;
+fp t28102;
+fp t28123;
+fp t28191;
+fp t28190;
+fp t28189;
+fp t28188;
+fp t28187;
+fp t28186;
+fp t28185;
+fp t28184;
+fp t28183;
+fp t28182;
+fp t28181;
+fp t28180;
+fp t28179;
+fp t28178;
+fp t28177;
+fp t28176;
+fp t28175;
+fp t28174;
+fp t28173;
+fp t28172;
+fp t28171;
+fp t28170;
+fp t28169;
+fp t28168;
+fp t28167;
+fp t28166;
+fp t28165;
+fp t28164;
+fp t28163;
+fp t28162;
+fp t28161;
+fp t28160;
+fp t28159;
+fp t28158;
+fp t28157;
+fp t28156;
+fp t28155;
+fp t28154;
+fp t28153;
+fp t28152;
+fp t28151;
+fp t28150;
+fp t28149;
+fp t28148;
+fp t28147;
+fp t28146;
+fp t28145;
+fp t28144;
+fp t28143;
+fp t28128;
+fp t28105;
+fp t28100;
+fp t28096;
+fp t28049;
+fp t28048;
+fp t28044;
+fp t28016;
+      t28025 = RATIONAL(1.0,576.0);
+      t28033 = RATIONAL(-1.0,576.0);
+      t28135 = y*y;
+      t28134 = y*t28135;
+      t28138 = x*x;
+      t28136 = t28138*t28138;
+      t28279 = t28134*t28136;
+      t28305 = t28136*y;
+      t28693 = t28025*t28279+t28033*t28305;
+      t28692 = t28025*t28305+t28033*t28279;
+      t28133 = t28135*t28135;
+      t28137 = x*t28138;
+      t28280 = t28133*t28137;
+      t28311 = t28133*x;
+      t28691 = t28025*t28280+t28033*t28311;
+      t28690 = t28025*t28311+t28033*t28280;
+      t28027 = RATIONAL(1.0,288.0);
+      t28035 = RATIONAL(-1.0,288.0);
+      t28689 = t28027*t28135+t28035*t28133;
+      t28688 = t28027*t28138+t28035*t28136;
+      t28132 = z*z;
+      t28270 = t28138*t28133;
+      t28245 = t28132*t28270;
+      t28272 = t28136*t28135;
+      t28246 = t28132*t28272;
+      t28687 = t28246+t28245;
+      t28275 = t28135*t28137;
+      t28248 = t28132*t28275;
+      t28282 = t28133*t28132;
+      t28268 = x*t28282;
+      t28686 = t28248+t28268;
+      t28273 = t28136*t28132;
+      t28251 = t28134*t28273;
+      t28271 = t28138*t28132;
+      t28263 = y*t28271;
+      t28685 = t28251+t28263;
+      t28252 = t28132*t28280;
+      t28276 = t28135*t28132;
+      t28266 = x*t28276;
+      t28684 = t28252+t28266;
+      t28254 = z*t28270;
+      t28255 = z*t28272;
+      t28683 = t28255+t28254;
+      t28257 = z*t28275;
+      t28310 = t28133*z;
+      t28298 = x*t28310;
+      t28682 = t28257+t28298;
+      t28278 = t28134*t28137;
+      t28259 = z*t28278;
+      t28321 = y*z;
+      t28320 = x*t28321;
+      t28681 = t28259+t28320;
+      t28274 = t28135*t28138;
+      t28256 = z*t28274;
+      t28281 = t28133*t28136;
+      t28262 = z*t28281;
+      t28680 = t28262+t28256;
+      t28283 = t28132*t28137;
+      t28264 = y*t28283;
+      t28284 = t28132*t28134;
+      t28267 = x*t28284;
+      t28631 = t28264+t28267;
+      t28249 = t28134*t28271;
+      t28265 = y*t28273;
+      t28679 = t28265+t28249;
+      t28678 = t28272+t28270;
+      t28677 = t28275+t28311;
+      t28323 = x*y;
+      t28629 = t28278+t28323;
+      t28301 = t28138*y;
+      t28676 = t28279+t28301;
+      t28307 = t28135*x;
+      t28675 = t28280+t28307;
+      t28302 = t28137*z;
+      t28294 = y*t28302;
+      t28308 = t28134*z;
+      t28297 = x*t28308;
+      t28674 = t28294+t28297;
+      t28277 = t28134*t28138;
+      t28258 = z*t28277;
+      t28304 = t28136*z;
+      t28295 = y*t28304;
+      t28673 = t28295+t28258;
+      t28672 = t28305+t28277;
+      t28250 = t28132*t28278;
+      t28299 = t28132*t28323;
+      t28628 = t28299+t28250;
+      t28303 = t28137*y;
+      t28309 = t28134*x;
+      t28627 = t28303+t28309;
+      t28063 = RATIONAL(1.0,72.0);
+      t28671 = t28027*t28255+t28063*t28254;
+      t28670 = t28027*t28254+t28063*t28255;
+      t28030 = RATIONAL(1.0,144.0);
+      t28066 = RATIONAL(1.0,36.0);
+      t28669 = t28030*t28255+t28066*t28254;
+      t28668 = t28030*t28295+t28066*t28258;
+      t27740 = t28066*t28311;
+      t28667 = t28030*t28257+z*t27740;
+      t27948 = t28030*t28137;
+      t26908 = t27948*t28321;
+      t28666 = t26908+t28066*t28297;
+      t28665 = t28030*t28254+t28066*t28255;
+      t27738 = t28066*t28305;
+      t28664 = t28030*t28258+z*t27738;
+      t28663 = t28030*t28298+t28066*t28257;
+      t27946 = t28030*t28134;
+      t28322 = x*z;
+      t26916 = t27946*t28322;
+      t28662 = t26916+t28066*t28294;
+      t28074 = RATIONAL(-1.0,72.0);
+      t27779 = t28074*t28270;
+      t28661 = t28035*t28255+z*t27779;
+      t27777 = t28074*t28272;
+      t28660 = t28035*t28254+z*t27777;
+      t28026 = RATIONAL(1.0,432.0);
+      t28247 = t28135*t28271;
+      t28659 = t28035*t28247+t28026*t28281;
+      t28038 = RATIONAL(-1.0,144.0);
+      t28077 = RATIONAL(-1.0,36.0);
+      t28658 = t28038*t28255+t28077*t28254;
+      t28657 = t28038*t28295+t28077*t28258;
+      t27797 = t28077*t28311;
+      t28656 = t28038*t28257+z*t27797;
+      t27954 = t28038*t28137;
+      t26982 = t27954*t28321;
+      t28655 = t26982+t28077*t28297;
+      t28654 = t28038*t28254+t28077*t28255;
+      t27795 = t28077*t28305;
+      t28653 = t28038*t28258+z*t27795;
+      t28652 = t28038*t28298+t28077*t28257;
+      t27952 = t28038*t28134;
+      t26990 = t27952*t28322;
+      t28651 = t26990+t28077*t28294;
+      t28012 = RATIONAL(-1.0,1728.0);
+      t28650 = t28063*t28246+t28012*t28270;
+      t28070 = RATIONAL(1.0,18.0);
+      t27151 = t28070*t28297;
+      t27963 = t28063*t28137;
+      t28649 = t27963*t28321+t27151;
+      t28648 = t28063*t28245+t28012*t28272;
+      t28300 = t28138*z;
+      t28293 = y*t28300;
+      t27579 = t28027*t28279;
+      t28553 = z*t27579+t28035*t28258;
+      t28647 = t28063*t28293+t28553;
+      t27141 = t28070*t28294;
+      t27961 = t28063*t28134;
+      t28646 = t27961*t28322+t27141;
+      t28306 = t28135*z;
+      t28296 = x*t28306;
+      t27580 = t28027*t28280;
+      t28551 = z*t27580+t28035*t28257;
+      t28645 = t28063*t28296+t28551;
+      t28081 = RATIONAL(-1.0,18.0);
+      t28260 = z*t28279;
+      t28528 = t28063*t28260+t28081*t28258;
+      t28644 = t28070*t28293+t28528;
+      t28261 = z*t28280;
+      t28527 = t28063*t28261+t28081*t28257;
+      t28643 = t28070*t28296+t28527;
+      t28068 = RATIONAL(1.0,27.0);
+      t28642 = t28074*t28246+t28068*t28270;
+      t27287 = t28081*t28297;
+      t27969 = t28074*t28137;
+      t28641 = t27969*t28321+t27287;
+      t28640 = t28074*t28245+t28068*t28272;
+      t27625 = t28035*t28279;
+      t28548 = t28027*t28258+z*t27625;
+      t28639 = t28074*t28293+t28548;
+      t27277 = t28081*t28294;
+      t27968 = t28074*t28134;
+      t28638 = t27968*t28322+t27277;
+      t27626 = t28035*t28280;
+      t28550 = t28027*t28257+z*t27626;
+      t28637 = t28074*t28296+t28550;
+      t27974 = t28081*t28138;
+      t28519 = t28070*t28258+t28074*t28260;
+      t28636 = t27974*t28321+t28519;
+      t27972 = t28081*t28135;
+      t28520 = t28070*t28257+t28074*t28261;
+      t28635 = t27972*t28322+t28520;
+      t28034 = RATIONAL(-1.0,432.0);
+      t28106 = RATIONAL(2.0,9.0);
+      t28634 = t28106*t28247+t28034*t28281;
+      t28119 = RATIONAL(-1.0,3.0);
+      t28104 = RATIONAL(4.0,3.0);
+      t28290 = t28104*t28132;
+      t28633 = y*t28290+t28119*t28284;
+      t28113 = RATIONAL(1.0,3.0);
+      t28125 = RATIONAL(-4.0,3.0);
+      t28285 = t28125*t28132;
+      t28632 = t28113*t28284+y*t28285;
+      t28630 = t28276+t28271;
+      t28626 = t28027*t28295+t28035*t28293+t28548;
+      t28625 = t28553+t28688*t28321;
+      t28624 = t28027*t28298+t28035*t28296+t28550;
+      t28623 = t28551+t28689*t28322;
+      t26978 = t28038*t28259;
+      t27953 = t28038*y;
+      t28622 = t26908+t27953*t28322+t26916+t26978;
+      t26904 = t28030*t28259;
+      t27947 = t28030*y;
+      t28621 = t27947*t28322+t26982+t26904+t26990;
+      t27966 = t28070*t28136;
+      t28121 = RATIONAL(-2.0,9.0);
+      t28620 = t27966*t28321+t28121*t28293+t28519;
+      t27194 = t28074*t28259;
+      t28619 = t27141+t28121*t28320+t27151+t27194;
+      t27964 = t28070*t28133;
+      t28618 = t27964*t28322+t28121*t28296+t28520;
+      t28617 = t28081*t28295+t28106*t28293+t28528;
+      t27061 = t28063*t28259;
+      t28616 = t27277+t28106*t28320+t27061+t27287;
+      t28615 = t28081*t28298+t28106*t28296+t28527;
+      t28009 = RATIONAL(1.0,1152.0);
+      t28013 = RATIONAL(-1.0,1152.0);
+      t28614 = t28683*t28013+t28680*t28009;
+      t27501 = t28009*t28272;
+      t27502 = t28009*t28270;
+      t27523 = t28013*t28281;
+      t28613 = t28013*t28256+(t27501+t27502+t27523)*z;
+      t28612 = t28683*t28033+t28680*t28025;
+      t28611 = t28025*t28293+t28033*t28258+t28693*z;
+      t28610 = t28680*t28033+t28683*t28025;
+      t28609 = t28025*t28258+t28033*t28293+t28692*z;
+      t28608 = t28025*t28296+t28033*t28257+t28691*z;
+      t28607 = t28025*t28257+t28033*t28296+t28690*z;
+      t28606 = t28674*t28035+t28681*t28027;
+      t28605 = t28681*t28035+t28674*t28027;
+      t27721 = t28063*t28281;
+      t28604 = z*t27721+t28106*t28256+t28683*t28081;
+      t28031 = RATIONAL(1.0,108.0);
+      t28079 = RATIONAL(-1.0,27.0);
+      t28603 = t28063*t28251+t28081*t28265+t28031*t28277+t28079*t28301;
+      t28602 = t28063*t28249+t28081*t28263+t28031*t28279+t28079*t28305;
+      t28103 = RATIONAL(4.0,9.0);
+      t28115 = RATIONAL(-1.0,9.0);
+      t28601 = t28066*t28262+t28103*t28256+t28683*t28115;
+      t27737 = t28066*t28279;
+      t28600 = z*t27737+t28103*t28293+t28673*t28115;
+      t27739 = t28066*t28280;
+      t28599 = z*t27739+t28103*t28296+t28682*t28115;
+      t28075 = RATIONAL(-1.0,54.0);
+      t28084 = RATIONAL(-2.0,27.0);
+      t28109 = RATIONAL(1.0,9.0);
+      t28598 = t28066*t28250+t28109*t28299+t28075*t28278+t28084*t28323;
+      t27991 = t28115*t28134;
+      t27993 = t28115*t28137;
+      t28597 = t28066*t28259+t28103*t28320+t27993*t28321+t27991*t28322;
+      t27105 = t28066*t28264;
+      t28596 = t27105+t28109*t28267+t28075*t28303+t28084*t28309;
+      t28595 = t28074*t28262+t28121*t28256+t28683*t28070;
+      t28039 = RATIONAL(-1.0,108.0);
+      t28594 = t28070*t28265+t28074*t28251+t28039*t28277+t28068*t28301;
+      t28593 = t28070*t28249+t28121*t28263+t28026*t28279+t28039*t28305;
+      t28592 = t28070*t28263+t28074*t28249+t28039*t28279+t28068*t28305;
+      t28124 = RATIONAL(-4.0,9.0);
+      t28591 = t28077*t28262+t28124*t28256+t28683*t28109;
+      t27794 = t28077*t28279;
+      t28590 = z*t27794+t28124*t28293+t28673*t28109;
+      t27796 = t28077*t28280;
+      t28589 = z*t27796+t28124*t28296+t28682*t28109;
+      t28061 = RATIONAL(2.0,27.0);
+      t28064 = RATIONAL(1.0,54.0);
+      t28588 = t28077*t28250+t28115*t28299+t28061*t28323+t28064*t28278;
+      t27984 = t28109*t28134;
+      t27986 = t28109*t28137;
+      t28587 = t28077*t28259+t27986*t28321+t27984*t28322+t28124*t28320;
+      t27238 = t28077*t28264;
+      t28586 = t27238+t28115*t28267+t28061*t28309+t28064*t28303;
+      t27248 = t28077*t28267;
+      t28585 = t27248+t28115*t28264+t28061*t28303+t28064*t28309;
+      t28584 = t28081*t28249+t28106*t28263+t28031*t28305+t28034*t28279;
+      t28028 = RATIONAL(1.0,216.0);
+      t28036 = RATIONAL(-1.0,216.0);
+      t28549 = t28027*t28245+t28034*t28272;
+      t28453 = t28030*t28268+t28038*t28252+t28028*t28307+t28036*t28275+t28549;
+      t28253 = t28133*t28273;
+      t28540 = t28035*t28253+t28026*t28274;
+      t28583 = t28030*t28248+t28038*t28266+t28028*t28280+t28036*t28311+t28453+
+t28540;
+      t27115 = t28066*t28267;
+      t28032 = RATIONAL(-1.0,864.0);
+      t28024 = RATIONAL(1.0,864.0);
+      t28008 = RATIONAL(1.0,1728.0);
+      t28492 = t28074*t28247+t28008*t28281+t28540;
+      t28211 = t28038*t28250+t28077*t28299+t28024*t28278+t28028*t28323+t28492;
+      t28582 = t28030*t28264+t27115+t28032*t28303+t28036*t28309+t28211;
+      t28581 = t28030*t28267+t27105+t28032*t28309+t28036*t28303+t28211;
+      t28454 = t28030*t28252+t28038*t28268+t28028*t28275+t28036*t28307+t28549;
+      t28580 = t28030*t28266+t28038*t28248+t28028*t28311+t28036*t28280+t28454+
+t28540;
+      t28212 = t28030*t28250+t28066*t28299+t28032*t28278+t28036*t28323+t28492;
+      t28579 = t28038*t28264+t27248+t28024*t28303+t28028*t28309+t28212;
+      t28578 = t28038*t28267+t27238+t28024*t28309+t28028*t28303+t28212;
+      t28518 = t28070*t28247+t28039*t28281;
+      t28529 = t28063*t28253+t28079*t28274;
+      t28208 = t28518+t28529+t28588;
+      t28577 = t27115+t28109*t28264+t28075*t28309+t28084*t28303+t28208;
+      t28235 = t28074*t28250+t28627*t28039;
+      t28576 = t28074*t28299+t28235+t28631*t28063+t28629*t28031;
+      t28236 = t28063*t28250+t28627*t28031;
+      t28575 = t28063*t28299+t28236+t28631*t28074+t28629*t28039;
+      t28574 = t28068*t28323+t28235+t28121*t28299+t28026*t28278+t28631*t28070;
+      t28573 = t28079*t28323+t28236+t28106*t28299+t28034*t28278+t28631*t28081;
+      t28572 = t28687*t28013+(t28281+t28274)*RATIONAL(-1.0,6912.0)+(t28253+
+t28247)*t28009+t28678*RATIONAL(1.0,6912.0);
+      t28007 = RATIONAL(1.0,3456.0);
+      t28011 = RATIONAL(-1.0,3456.0);
+      t28571 = t28679*t28033+t28685*t28025+t28676*t28011+t28672*t28007;
+      t28570 = t28685*t28033+t28679*t28025+t28672*t28011+t28676*t28007;
+      t28569 = t28686*t28033+t28684*t28025+t28675*t28011+t28677*t28007;
+      t28568 = t28684*t28033+t28686*t28025+t28677*t28011+t28675*t28007;
+      t28567 = t28027*t28251+t28035*t28249+t28063*t28263+t28074*t28265+t28008*
+t28277+t28012*t28279+t28026*t28305+t28034*t28301;
+      t28566 = t28027*t28252+t28035*t28248+t28063*t28266+t28074*t28268+t28008*
+t28275+t28012*t28280+t28026*t28311+t28034*t28307;
+      t28565 = t28027*t28248+t28035*t28252+t28063*t28268+t28074*t28266+t28008*
+t28280+t28012*t28275+t28026*t28307+t28034*t28311;
+      t28564 = t28027*t28249+t28035*t28251+t28063*t28265+t28074*t28263+t28008*
+t28279+t28012*t28277+t28026*t28301+t28034*t28305;
+      t28563 = t28066*t28251+t28077*t28265+t28109*t28263+t28115*t28249+t28061*
+t28277+t28064*t28305+t28075*t28279+t28084*t28301;
+      t28562 = t28066*t28265+t28077*t28251+t28109*t28249+t28115*t28263+t28061*
+t28301+t28064*t28279+t28075*t28305+t28084*t28277;
+      t28045 = RATIONAL(-16.0,27.0);
+      t28060 = RATIONAL(4.0,27.0);
+      t28097 = RATIONAL(8.0,9.0);
+      t28561 = t28070*t28251+t28097*t28263+t28045*t28301+t28079*t28279+t28679*
+t28121+t28672*t28060;
+      t28560 = t28070*t28252+t28097*t28266+t28045*t28307+t28079*t28280+t28686*
+t28121+t28677*t28060;
+      t28019 = RATIONAL(16.0,27.0);
+      t28085 = RATIONAL(-4.0,27.0);
+      t28131 = RATIONAL(-8.0,9.0);
+      t28559 = t28081*t28253+t28068*t28281+t28131*t28247+t28019*t28274+t28687*
+t28106+t28678*t28085;
+      t28558 = t28081*t28251+t28068*t28279+t28131*t28263+t28019*t28301+t28679*
+t28106+t28672*t28085;
+      t28557 = t28081*t28252+t28068*t28280+t28131*t28266+t28019*t28307+t28686*
+t28106+t28677*t28085;
+      t28022 = RATIONAL(5.0,192.0);
+      t28556 = t28022*t28247+t27523;
+      t28029 = RATIONAL(1.0,192.0);
+      t28555 = t28022*t28256+t28029*t28262;
+      t27578 = t28027*t28281;
+      t28554 = z*t27578+t28063*t28256;
+      t28552 = t28027*t28246+t28034*t28270;
+      t28014 = RATIONAL(-5.0,1152.0);
+      t28547 = t28029*t28253+t28014*t28274;
+      t28546 = t28030*t28262+t28066*t28256;
+      t28545 = t28030*t28260+t28066*t28293;
+      t28544 = t28030*t28261+t28066*t28296;
+      t28542 = t26904+t28066*t28320;
+      t28539 = t28035*t28262+t28074*t28256;
+      t28037 = RATIONAL(-1.0,192.0);
+      t27638 = t28037*t28281;
+      t28042 = RATIONAL(-5.0,192.0);
+      t28538 = z*t27638+t28042*t28256;
+      t28005 = RATIONAL(5.0,1152.0);
+      t28537 = t28037*t28246+t28005*t28270;
+      t28536 = t28038*t28262+t28077*t28256;
+      t28535 = t28038*t28260+t28077*t28293;
+      t28534 = t28038*t28261+t28077*t28296;
+      t28533 = t26978+t28077*t28320;
+      t28051 = RATIONAL(5.0,96.0);
+      t28062 = RATIONAL(1.0,96.0);
+      t28532 = t28051*t28256+t28062*t28262;
+      t28055 = RATIONAL(5.0,32.0);
+      t28531 = t28055*t28247+t28042*t28281;
+      t28059 = RATIONAL(5.0,12.0);
+      t28065 = RATIONAL(1.0,48.0);
+      t28530 = t28059*t28256+t28065*t28262;
+      t27965 = t28070*y;
+      t28526 = t27061+t27965*t28322;
+      t28087 = RATIONAL(-5.0,72.0);
+      t28524 = t28065*t28246+t28087*t28270;
+      t28523 = t28065*t28245+t28087*t28272;
+      t28067 = RATIONAL(1.0,32.0);
+      t28522 = t28067*t28253+RATIONAL(-25.0,192.0)*t28274;
+      t28069 = RATIONAL(1.0,24.0);
+      t28099 = RATIONAL(5.0,6.0);
+      t28521 = t28069*t28262+t28099*t28256;
+      t28072 = RATIONAL(1.0,12.0);
+      t28095 = RATIONAL(-10.0,9.0);
+      t28516 = t28072*t28253+t28095*t28274;
+      t28041 = RATIONAL(-5.0,288.0);
+      t28515 = t28072*t28246+t28041*t28270;
+      t28514 = t28072*t28245+t28041*t28272;
+      t28073 = RATIONAL(-1.0,96.0);
+      t28086 = RATIONAL(-5.0,96.0);
+      t28513 = t28073*t28262+t28086*t28256;
+      t27973 = t28081*y;
+      t28512 = t27194+t27973*t28322;
+      t28076 = RATIONAL(-1.0,48.0);
+      t28094 = RATIONAL(-5.0,12.0);
+      t28511 = t28076*t28262+t28094*t28256;
+      t28080 = RATIONAL(-1.0,24.0);
+      t28127 = RATIONAL(-5.0,6.0);
+      t28510 = t28080*t28262+t28127*t28256;
+      t28509 = t28081*t28246+t28031*t28270;
+      t28508 = t28081*t28245+t28031*t28272;
+      t28088 = RATIONAL(-5.0,48.0);
+      t28507 = t28088*t28247+t27721;
+      t28506 = t28094*t28247+t27578;
+      t28101 = RATIONAL(5.0,3.0);
+      t28505 = t28101*t28247+t28081*t28281;
+      t28018 = RATIONAL(25.0,12.0);
+      t28116 = RATIONAL(-1.0,8.0);
+      t28504 = t28116*t28253+t28018*t28274;
+      t28057 = RATIONAL(5.0,18.0);
+      t28503 = t28119*t28246+t28057*t28270;
+      t28053 = RATIONAL(5.0,48.0);
+      t28130 = RATIONAL(-5.0,2.0);
+      t28502 = t28130*t28247+t28053*t28281;
+      t28083 = RATIONAL(-1.0,12.0);
+      t28501 = t28053*t28257+t28076*t28261+t28083*t28302;
+      t28500 = t28053*t28258+t28076*t28260+t28083*t28308;
+      t28499 = t28065*t28260+t28088*t28258+t28072*t28308;
+      t28498 = t28065*t28261+t28088*t28257+t28072*t28302;
+      t28497 = t28542+t28554;
+      t28496 = t28533+t28554;
+      t28495 = t28526+t28546;
+      t28494 = t28512+t28546;
+      t28493 = t28539+t28542;
+      t28491 = t28533+t28539;
+      t28490 = t28526+t28536;
+      t28489 = t28512+t28536;
+      t28020 = RATIONAL(5.0,576.0);
+      t28040 = RATIONAL(-5.0,576.0);
+      t28488 = t28062*t28251+t28073*t28265+t28020*t28277+t28040*t28301;
+      t28487 = t28062*t28265+t28073*t28251+t28020*t28301+t28040*t28277;
+      t28486 = t28062*t28252+t28073*t28268+t28020*t28275+t28040*t28307;
+      t28485 = t28062*t28268+t28073*t28252+t28020*t28307+t28040*t28275;
+      t27827 = t28083*t28273;
+      t28021 = RATIONAL(5.0,288.0);
+      t28484 = t28065*t28251+y*t27827+t28021*t28277+t28087*t28301;
+      t28483 = t28514+t28524;
+      t27822 = t28083*t28282;
+      t28482 = t28065*t28252+x*t27822+t28021*t28275+t28087*t28307;
+      t28481 = t28515+t28523;
+      t28054 = RATIONAL(5.0,36.0);
+      t28089 = RATIONAL(-5.0,36.0);
+      t28480 = t28069*t28251+t28080*t28265+t28054*t28277+t28089*t28301;
+      t28479 = t28069*t28265+t28080*t28251+t28054*t28301+t28089*t28277;
+      t28478 = t28069*t28252+t28080*t28268+t28054*t28275+t28089*t28307;
+      t28477 = t28069*t28268+t28080*t28252+t28054*t28307+t28089*t28275;
+      t28476 = t28072*t28251+t28119*t28265+t28057*t28277+t28095*t28301;
+      t28052 = RATIONAL(5.0,72.0);
+      t28475 = t28072*t28265+t28076*t28251+t28041*t28277+t28052*t28301;
+      t28474 = t28072*t28252+t28119*t28268+t28057*t28275+t28095*t28307;
+      t28473 = t28072*t28268+t28076*t28252+t28041*t28275+t28052*t28307;
+      t27906 = t28113*t28273;
+      t28050 = RATIONAL(10.0,9.0);
+      t28092 = RATIONAL(-5.0,18.0);
+      t28472 = t28083*t28251+y*t27906+t28050*t28301+t28092*t28277;
+      t27900 = t28113*t28282;
+      t28471 = t28083*t28252+x*t27900+t28050*t28307+t28092*t28275;
+      t27550 = t28022*t28270;
+      t27957 = t28053*t28138;
+      t28090 = RATIONAL(-5.0,32.0);
+      t28110 = RATIONAL(1.0,8.0);
+      t28470 = t28090*t28246+t27550+t28110*t28273+t27957;
+      t28098 = RATIONAL(5.0,8.0);
+      t28120 = RATIONAL(-1.0,2.0);
+      t28129 = RATIONAL(-5.0,3.0);
+      t28469 = t28098*t28246+t28094*t28270+t28120*t28273+t28129*t28138;
+      t28233 = t28037*t28245+t28005*t28272+t28547;
+      t28468 = t28029*t28247+t28014*t28281+t28233+t28537;
+      t28231 = t28119*t28245+t28057*t28272+t28516;
+      t28467 = t28104*t28247+t28087*t28281+t28231+t28503;
+      t27549 = t28022*t28272;
+      t27971 = t28076*t28136;
+      t27791 = z*t27971;
+      t28466 = z*t27549+t28029*t28254+t28065*t28300+t27791+t28538;
+      t27970 = t28076*t28133;
+      t27788 = z*t27970;
+      t28465 = z*t27550+t28029*t28255+t28065*t28306+t27788+t28538;
+      t27732 = t28065*t28310;
+      t28464 = t28037*t28255+t28042*t28254+t27732+t28076*t28306+t28555;
+      t27735 = t28065*t28304;
+      t28463 = t28037*t28254+t28042*t28255+t27735+t28076*t28300+t28555;
+      t27778 = t28074*t28305;
+      t27190 = z*t27778;
+      t28237 = t27190+t28534;
+      t28462 = t28237+t28647+t28663;
+      t28241 = t27190+t28544;
+      t28461 = t28241+t28647+t28652;
+      t28460 = t28030*t28251+t28038*t28265+t28028*t28277+t28036*t28301+t28552;
+      t28459 = t28030*t28265+t28038*t28251+t28028*t28301+t28036*t28277+t28552;
+      t27780 = t28074*t28311;
+      t27206 = z*t27780;
+      t28239 = t27206+t28535;
+      t28458 = t28239+t28645+t28668;
+      t28243 = t27206+t28545;
+      t28457 = t28243+t28645+t28657;
+      t27960 = t28063*t28133;
+      t27723 = x*t27960;
+      t27072 = z*t27723;
+      t28240 = t27072+t28535;
+      t28456 = t28240+t28637+t28668;
+      t28244 = t27072+t28545;
+      t28455 = t28244+t28637+t28657;
+      t27962 = t28063*t28136;
+      t27722 = y*t27962;
+      t27057 = z*t27722;
+      t28238 = t27057+t28534;
+      t28452 = t28238+t28639+t28663;
+      t28242 = t27057+t28544;
+      t28451 = t28242+t28639+t28652;
+      t28450 = t28237+t28644+t28667;
+      t28449 = t28238+t28636+t28667;
+      t28448 = t28239+t28643+t28664;
+      t28447 = t28240+t28635+t28664;
+      t28446 = t28241+t28644+t28656;
+      t28445 = t28242+t28636+t28656;
+      t28444 = t28243+t28643+t28653;
+      t28443 = t28244+t28635+t28653;
+      t28442 = t28051*t28255+t28062*t28254+t28069*t28300+t28080*t28304+t28513;
+      t28319 = t28069*z;
+      t28441 = t28051*t28257+t28062*t28298+t28073*t28261+t28086*t28296+x*t28319
++t28080*t28302;
+      t28440 = t28051*t28254+t28062*t28255+t28069*t28306+t28080*t28310+t28513;
+      t28439 = t28051*t28258+t28062*t28295+t28073*t28260+t28086*t28293+y*t28319
++t28080*t28308;
+      t28438 = t28073*t28255+t28086*t28254+t28069*t28310+t28080*t28306+t28532;
+      t28437 = t28073*t28254+t28086*t28255+t28069*t28304+t28080*t28300+t28532;
+      t28317 = t28080*z;
+      t28436 = t28051*t28293+t28062*t28260+t28073*t28295+t28086*t28258+t28069*
+t28308+y*t28317;
+      t28435 = t28051*t28296+t28062*t28261+t28073*t28298+t28086*t28257+t28069*
+t28302+x*t28317;
+      t27828 = t28083*t28304;
+      t28434 = t28053*t28255+t28072*t28254+t27828+t28113*t28300+t28511;
+      t28318 = t28072*z;
+      t28433 = t28088*t28296+t28501+(t27732+t28318)*x;
+      t27766 = t28072*t28310;
+      t28314 = t28113*z;
+      t28432 = t28094*t28296+t28501+(t27766+t28314)*x;
+      t27823 = t28083*t28310;
+      t28431 = t28053*t28254+t28072*t28255+t27823+t28113*t28306+t28511;
+      t28430 = t28088*t28293+t28500+(t27735+t28318)*y;
+      t27771 = t28072*t28304;
+      t28429 = t28094*t28293+t28500+(t27771+t28314)*y;
+      t28316 = t28083*z;
+      t28428 = t27957*t28321+t28499+(t27791+t28316)*y;
+      t27956 = t28053*t28135;
+      t28427 = t27956*t28322+t28498+(t27788+t28316)*x;
+      t28117 = RATIONAL(-1.0,6.0);
+      t27918 = t28117*t28304;
+      t28056 = RATIONAL(5.0,24.0);
+      t28107 = RATIONAL(2.0,3.0);
+      t28111 = RATIONAL(1.0,6.0);
+      t28426 = t28056*t28255+t28111*t28254+t28107*t28300+t27918+t28510;
+      t27892 = t28111*t28310;
+      t28315 = t28107*z;
+      t28425 = t28056*t28257+t28080*t28261+t28127*t28296+t28117*t28302+(t27892+
+t28315)*x;
+      t27914 = t28117*t28310;
+      t28424 = t28056*t28254+t28111*t28255+t28107*t28306+t27914+t28510;
+      t27896 = t28111*t28304;
+      t28423 = t28056*t28258+t28080*t28260+t28127*t28293+t28117*t28308+(t27896+
+t28315)*y;
+      t28422 = t28083*t28255+t28088*t28254+t27766+t28119*t28306+t28530;
+      t28421 = t28083*t28254+t28088*t28255+t27771+t28119*t28300+t28530;
+      t28313 = t28119*z;
+      t28420 = t28059*t28293+t28499+(t27828+t28313)*y;
+      t28419 = t28059*t28296+t28498+(t27823+t28313)*x;
+      t28418 = t28509+t28603;
+      t28417 = t28063*t28252+t28081*t28268+t28031*t28275+t28079*t28307+t28508;
+      t28416 = t28518+t28598;
+      t28091 = RATIONAL(-5.0,24.0);
+      t28122 = RATIONAL(-2.0,3.0);
+      t28415 = t28091*t28255+t28117*t28254+t27896+t28122*t28300+t28521;
+      t28414 = t28091*t28254+t28117*t28255+t27892+t28122*t28306+t28521;
+      t28312 = t28122*z;
+      t28413 = t28069*t28260+t28091*t28258+t28099*t28293+t28111*t28308+(t27918+
+t28312)*y;
+      t28412 = t28069*t28261+t28091*t28257+t28099*t28296+t28111*t28302+(t27914+
+t28312)*x;
+      t27769 = t28072*t28276;
+      t28269 = t28076*t28253+t28052*t28274;
+      t28217 = t28053*t28245+t27777+t27822+t27972+t28269;
+      t28411 = t27769+t27964+t28217+t28507+t28524;
+      t27775 = t28072*t28271;
+      t28218 = t28053*t28246+t27779+t27827+t27974+t28269;
+      t28410 = t27775+t27966+t28218+t28507+t28523;
+      t28409 = t28113*t28276+t27960+t28217+t28506+t28515;
+      t28408 = t28113*t28271+t27962+t28218+t28506+t28514;
+      t28407 = t28611+t28614;
+      t28406 = t28609+t28614;
+      t28405 = t28611+t28613;
+      t28404 = t28609+t28613;
+      t28403 = t28612+t28625;
+      t28402 = t28612+t28626;
+      t28401 = t28610+t28625;
+      t28400 = t28610+t28626;
+      t28399 = t28606+t28608;
+      t28398 = t28605+t28608;
+      t28397 = t28606+t28607;
+      t28396 = t28605+t28607;
+      t28395 = t28497+t28655+t28661;
+      t28394 = t28497+t28651+t28660;
+      t28393 = t28496+t28661+t28666;
+      t28392 = t28496+t28660+t28662;
+      t28391 = t28493+t28655+t28671;
+      t28390 = t28491+t28666+t28671;
+      t28389 = t28621+t28623;
+      t28388 = t28622+t28623;
+      t28387 = t28621+t28624;
+      t28386 = t28622+t28624;
+      t28385 = t28493+t28651+t28670;
+      t28384 = t28491+t28662+t28670;
+      t28383 = t28495+t28641+t28658;
+      t28382 = t28494+t28649+t28658;
+      t28381 = t28495+t28638+t28654;
+      t28380 = t28494+t28646+t28654;
+      t28379 = t28490+t28641+t28669;
+      t28378 = t28489+t28649+t28669;
+      t28377 = t28490+t28638+t28665;
+      t28376 = t28489+t28646+t28665;
+      t28375 = t28062*t28263+t28073*t28249+t28020*t28305+t28040*t28279+t28488;
+      t28374 = t28062*t28249+t28073*t28263+t28020*t28279+t28040*t28305+t28487;
+      t28373 = t28062*t28266+t28073*t28248+t28020*t28311+t28040*t28280+t28486;
+      t28372 = t28062*t28248+t28073*t28266+t28020*t28280+t28040*t28311+t28485;
+      t28371 = t28604+t28617;
+      t28370 = t28604+t28620;
+      t28369 = t28595+t28617;
+      t28368 = t28615+t28616;
+      t28367 = t28615+t28619;
+      t28366 = t28616+t28618;
+      t28365 = y*t27775+t28076*t28249+t28041*t28279+t28052*t28305+t28484;
+      t28364 = x*t27769+t28076*t28248+t28041*t28280+t28052*t28311+t28482;
+      t28363 = t28065*t28248+t28083*t28266+t28021*t28280+t28087*t28311+t28473;
+      t28362 = t28065*t28249+t28083*t28263+t28021*t28279+t28087*t28305+t28475;
+      t28361 = t28600+t28601;
+      t28360 = t28590+t28601;
+      t28359 = t28591+t28600;
+      t28358 = t28597+t28599;
+      t28357 = t28587+t28599;
+      t28356 = t28589+t28597;
+      t28023 = RATIONAL(5.0,144.0);
+      t28043 = RATIONAL(-5.0,144.0);
+      t28355 = t28111*t28263+t28117*t28249+t28023*t28305+t28043*t28279+t28480;
+      t28354 = t28111*t28249+t28117*t28263+t28023*t28279+t28043*t28305+t28479;
+      t28353 = t28111*t28266+t28117*t28248+t28023*t28311+t28043*t28280+t28478;
+      t28352 = t28111*t28248+t28117*t28266+t28023*t28280+t28043*t28311+t28477;
+      t28351 = t28595+t28620;
+      t28350 = t28618+t28619;
+      t28349 = t28104*t28263+t28119*t28249+t28057*t28305+t28087*t28279+t28476;
+      t28348 = t28104*t28266+t28119*t28248+t28057*t28311+t28087*t28280+t28474;
+      t28347 = t28590+t28591;
+      t28346 = t28587+t28589;
+      t27940 = t28125*t28271;
+      t28345 = t28113*t28249+y*t27940+t28052*t28279+t28092*t28305+t28472;
+      t27938 = t28125*t28276;
+      t28344 = t28113*t28248+x*t27938+t28052*t28280+t28092*t28311+t28471;
+      t28343 = t28042*t28246+t27502+t28065*t28273+t28076*t28271+t28233+t28556+
+t28688;
+      t28342 = t28042*t28245+t27501+t28065*t28282+t28076*t28276+t28537+t28547+
+t28556+t28689;
+      t28207 = t28070*t28268+t28074*t28252+t28039*t28275+t28068*t28307+t28508+
+t28529;
+      t28341 = t28063*t28248+t28081*t28266+t28031*t28280+t28079*t28311+t28207+
+t28518+t28642;
+      t28340 = t28070*t28248+t28121*t28266+t28026*t28280+t28039*t28311+t28207+
+t28509+t28634;
+      t27997 = t28121*t28136;
+      t28339 = t28094*t28246+t28106*t28270+t27906+t27940+t28097*t28138+t27997+
+t28231+t28505;
+      t27995 = t28121*t28133;
+      t28338 = t28094*t28245+t28106*t28272+t27900+t27938+t28097*t28135+t27995+
+t28503+t28516+t28505;
+      t28337 = t28066*t28268+t28077*t28252+t28109*t28248+t28115*t28266+t28061*
+t28307+t28064*t28280+t28075*t28311+t28084*t28275+t28640;
+      t28336 = t28030*t28263+t28038*t28249+t28028*t28305+t28036*t28279+t28460+
+t28659;
+      t28335 = t28066*t28263+t28077*t28249+t28024*t28305+t28032*t28279+t28460+
+t28648;
+      t28334 = t28030*t28249+t28038*t28263+t28028*t28279+t28036*t28305+t28459+
+t28659;
+      t28333 = t28066*t28249+t28077*t28263+t28024*t28279+t28032*t28305+t28459+
+t28648;
+      t28332 = t28066*t28266+t28077*t28248+t28024*t28311+t28032*t28280+t28454+
+t28650;
+      t28331 = t28066*t28248+t28077*t28266+t28024*t28280+t28032*t28311+t28453+
+t28650;
+      t28330 = t28070*t28266+t28074*t28248+t28039*t28280+t28068*t28311+t28417+
+t28642;
+      t28329 = t28081*t28248+t28106*t28266+t28031*t28311+t28034*t28280+t28417+
+t28634;
+      t28328 = t28066*t28252+t28077*t28268+t28109*t28266+t28115*t28248+t28061*
+t28275+t28064*t28311+t28075*t28280+t28084*t28307+t28509+t28640;
+      t28327 = t28572+t28631*t28035+t28628*t28027+t28629*t28012+t28627*t28008;
+      t28326 = t28572+t28628*t28035+t28631*t28027+t28627*t28012+t28629*t28008;
+      t28325 = t28079*t28278+t28559+t28070*t28250+t28097*t28299+t28045*t28323+
+t28631*t28121+t28627*t28060;
+      t28324 = t28019*t28323+t28559+t28081*t28250+t28068*t28278+t28131*t28299+
+t28631*t28106+t28627*t28085;
+      t27958 = t28059*t28133;
+      t27959 = t28059*t28136;
+      t28292 = t28069*t28132;
+      t28291 = t28080*t28132;
+      t27976 = t28088*t28133;
+      t27977 = t28088*t28136;
+      t28289 = t28111*t28132;
+      t28288 = t28113*t28132;
+      t28287 = t28117*t28132;
+      t28286 = t28119*t28132;
+      t27895 = y*t28289;
+      t27917 = y*t28287;
+      t27753 = t28069*t28284;
+      t27759 = t28069*t28283;
+      t27808 = t28080*t28284;
+      t27814 = t28080*t28283;
+      t27893 = t28111*t28284;
+      t27897 = t28111*t28283;
+      t27907 = t28113*t28283;
+      t27915 = t28117*t28284;
+      t27919 = t28117*t28283;
+      t27926 = t28119*t28283;
+      t28230 = t28083*t28247+t28021*t28281+t28269;
+      t28015 = RATIONAL(25.0,96.0);
+      t28229 = t28091+t28015*t28135+t28086*t28133;
+      t28228 = t28091+t28015*t28138+t28086*t28136;
+      t28114 = RATIONAL(1.0,2.0);
+      t28126 = RATIONAL(-5.0,8.0);
+      t28227 = t28114+t28110*t28136+t28126*t28138;
+      t28046 = RATIONAL(-25.0,96.0);
+      t28226 = t28051*t28133+t28046*t28135+t28056;
+      t28225 = t28051*t28136+t28056+t28046*t28138;
+      t28058 = RATIONAL(5.0,16.0);
+      t28082 = RATIONAL(-1.0,16.0);
+      t28118 = RATIONAL(-1.0,4.0);
+      t28224 = t28058*t28138+t28118+t28082*t28136;
+      t28071 = RATIONAL(1.0,16.0);
+      t28093 = RATIONAL(-5.0,16.0);
+      t28112 = RATIONAL(1.0,4.0);
+      t28223 = t28071*t28133+t28093*t28135+t28112;
+      t28222 = t28082*t28133+t28058*t28135+t28118;
+      t28017 = RATIONAL(25.0,32.0);
+      t28221 = t28090*t28136+t28017*t28138+t28126;
+      t28220 = t28093*t28138+t28112+t28071*t28136;
+      t28219 = t28116*t28136+t28120+t28098*t28138;
+      t28216 = t28090*t28245+t27549+t28110*t28282+t27956+t28522;
+      t28215 = t28098*t28245+t28094*t28272+t28120*t28282+t28129*t28135+t28504;
+      t28210 = t28416+t28529;
+      t28209 = t28509+t28529+t28594;
+      t28206 = t28069*t28250+x*t27895+t28043*t28278+t28089*t28323+t28230;
+      t28205 = t28080*t28250+x*t27917+t28023*t28278+t28054*t28323+t28230;
+      t28004 = RATIONAL(25.0,192.0);
+      t28078 = RATIONAL(-1.0,32.0);
+      t28204 = t28078*t28246+t28004*t28270+t28116*t28276+t27976+t28216+t28531;
+      t28203 = t28078*t28245+t28004*t28272+t28116*t28271+t27977+t28470+t28522+
+t28531;
+      t28047 = RATIONAL(-25.0,48.0);
+      t28108 = RATIONAL(2.0,1.0);
+      t28202 = t28114*t28245+t28047*t28272+t28108*t28271+t27959+t28469+t28502+
+t28504;
+      t28201 = t28114*t28246+t28047*t28270+t28108*t28276+t27958+t28215+t28502;
+      t28200 = t28468+t28631*t28076+t28628*t28065+t28629*t28041+t28627*t28021;
+      t28199 = t28468+t28628*t28076+t28631*t28065+t28627*t28041+t28629*t28021;
+      t28198 = t28206+t28054*t28309+y*t27814+x*t27915+t28023*t28303+t28483;
+      t28197 = t28043*t28303+x*t27893+y*t27759+t28205+t28089*t28309+t28483;
+      t28196 = x*t27808+t28206+t28023*t28309+y*t27919+t28054*t28303+t28481;
+      t28195 = y*t27897+t28089*t28303+t28043*t28309+t28205+x*t27753+t28481;
+      t28194 = t28072*t28250+t28087*t28278+y*t27926+t28467+t28095*t28323+t28633
+*x+t28627*t28057;
+      t28193 = t28083*t28250+y*t27907+t28467+t28050*t28323+t28052*t28278+t28632
+*x+t28627*t28092;
+      t28192 = t27638+t27970+t28114*t28132+t28017*t28247+t28216+t27971+t28083+
+t28470+t28630*t28126;
+      t28102 = RATIONAL(5.0,2.0);
+      t28123 = RATIONAL(-2.0,1.0);
+      t28191 = t28215+t28469+t28104+t28072*t28281+RATIONAL(-25.0,8.0)*t28247+
+t28123*t28132+(t28133+t28136)*t28113+t28630*t28102;
+      t28190 = y*t28292+t27953+t28051*t28249+t28086*t28263+t27946+t27808+t28342
++t28487+t28693;
+      t28189 = t28086*t28249+t27952+t27947+t28051*t28263+t27753+y*t28291+t28342
++t28488+t28692;
+      t28188 = t27814+t27948+t28343+t28051*t28248+t28086*t28266+t28485+(t28292+
+t28038)*x+t28691;
+      t28187 = t28086*t28248+t27954+t27759+t28051*t28266+t28343+t28486+(t28030+
+t28291)*x+t28690;
+      t28186 = t28094*t28266+t28053*t28248+t27963+t28408+t28083*t28283+t28473+
+t27780+t27580+(t28288+t28081)*x;
+      t28185 = t27919+t28410+t28056*t28248+t27739+t28091*t28266+t27797+t27986+
+t28477+(t28289+t28115)*x;
+      t28184 = t28410+t28478+t27897+t27796+t27993+t28056*t28266+t28091*t28248+
+t27740+(t28109+t28287)*x;
+      t28183 = t27626+t28088*t28248+t27969+t28408+t28059*t28266+t28482+t28072*
+t28283+t27723+(t28070+t28286)*x;
+      t28182 = y*t28288+t27973+t28053*t28249+t27961+t27778+t28409+t28094*t28263
++t28083*t28284+t27579+t28475;
+      t28181 = t28115*y+t27915+t27895+t27984+t28411+t27795+t27737+t28091*t28263
++t28056*t28249+t28479;
+      t28180 = t28109*y+t28091*t28249+t28411+t28056*t28263+t27738+t27991+t27893
++t27917+t27794+t28480;
+      t28179 = t28072*t28284+t28059*t28263+t28088*t28249+y*t28286+t27968+t27722
++t27625+t28409+t27965+t28484;
+      t28178 = t28129*t28266+t28070*t28280+t28059*t28248+t28339+t27926+t28471+
+t28106*t28137+(t27995+t28290+t28131)*x;
+      t28177 = t28070*t28279+t28059*t28249+t28106*t28134+t28338+t28129*t28263+
+t28472+(t27997+t28131)*y+t28633;
+      t28176 = t28106*t28305+t28081*t28279+t28094*t28249+t28121*t28134+t28101*
+t28263+t28097*y+t28338+t28476+t28632;
+      t28175 = t28106*t28311+t27907+t28339+t28101*t28266+t28094*t28248+t28474+
+t28081*t28280+t28121*t28137+(t28285+t28097)*x;
+      t28174 = t28326+t28568+t28571;
+      t28173 = t28326+t28569+t28570;
+      t28172 = t28327+t28569+t28571;
+      t28171 = t28327+t28568+t28570;
+      t28170 = t28334+t28575+t28580;
+      t28169 = t28336+t28576+t28580;
+      t28168 = t28334+t28576+t28583;
+      t28167 = t28329+t28418+t28529+t28573+t28584;
+      t28166 = t28336+t28575+t28583;
+      t28165 = t28341+t28562+t28586+t28598;
+      t28164 = t28331+t28564+t28581;
+      t28163 = t28330+t28210+t28563+t28586;
+      t28162 = t28557+t28325+t28561;
+      t28161 = t28341+t28563+t28588+t28596;
+      t28160 = t28208+t28330+t28562+t28596;
+      t28159 = t28328+t28577+t28594+t28602;
+      t28158 = t28210+t28328+t28585+t28592+t28603;
+      t28157 = t28340+t28574+t28584+t28603;
+      t28156 = t28329+t28209+t28574+t28593;
+      t28155 = t28324+t28557+t28558;
+      t28154 = t28324+t28560+t28561;
+      t28153 = t28333+t28565+t28582;
+      t28152 = t28335+t28565+t28579;
+      t28151 = t28333+t28566+t28579;
+      t28150 = t28335+t28566+t28582;
+      t28149 = t28331+t28567+t28578;
+      t28148 = t28332+t28567+t28581;
+      t28147 = t28332+t28564+t28578;
+      t28146 = t28340+t28573+t28593+t28594;
+      t28145 = t28558+t28325+t28560;
+      t28144 = t28337+t28418+t28577+t28592;
+      t28143 = t28337+t28209+t28416+t28585+t28602;
+      t28128 = RATIONAL(-5.0,4.0);
+      t28105 = RATIONAL(3.0,4.0);
+      t28100 = RATIONAL(5.0,4.0);
+      t28096 = RATIONAL(-15.0,4.0);
+      t28049 = RATIONAL(25.0,8.0);
+      t28048 = RATIONAL(-25.0,12.0);
+      t28044 = RATIONAL(-15.0,16.0);
+      t28016 = RATIONAL(25.0,48.0);
+      coeffs_dzz->coeff_m2_m2_m2 = t28398+t28171+t28405;
+      coeffs_dzz->coeff_m1_m2_m2 = t28150+t28395+t28456;
+      coeffs_dzz->coeff_0_m2_m2 = t28190+t28436+t28465;
+      coeffs_dzz->coeff_p1_m2_m2 = t28152+t28393+t28458;
+      coeffs_dzz->coeff_p2_m2_m2 = t28173+t28397+t28405;
+      coeffs_dzz->coeff_m2_m1_m2 = t28148+t28394+t28452;
+      coeffs_dzz->coeff_m1_m1_m2 = t28367+t28146+t28369;
+      coeffs_dzz->coeff_0_m1_m2 = t28179+t28422+t28429;
+      coeffs_dzz->coeff_p1_m1_m2 = t28366+t28156+t28369;
+      coeffs_dzz->coeff_p2_m1_m2 = t28149+t28392+t28451;
+      coeffs_dzz->coeff_m2_0_m2 = t28188+t28435+t28466;
+      coeffs_dzz->coeff_m1_0_m2 = t28183+t28421+t28432;
+      coeffs_dzz->coeff_0_0_m2 = ((t28055*t28136+RATIONAL(-25.0,32.0)*t28138+
+t28098)*t28135+(t28055*t28138+t28078*t28136+t28116)*t28133+t28219)*z+t28192;
+      coeffs_dzz->coeff_p1_0_m2 = t28186+t28419+t28421;
+      coeffs_dzz->coeff_p2_0_m2 = t28187+t28441+t28466;
+      coeffs_dzz->coeff_m2_p1_m2 = t28147+t28392+t28462;
+      coeffs_dzz->coeff_m1_p1_m2 = t28351+t28157+t28368;
+      coeffs_dzz->coeff_0_p1_m2 = t28182+t28420+t28422;
+      coeffs_dzz->coeff_p1_p1_m2 = t28350+t28167+t28351;
+      coeffs_dzz->coeff_p2_p1_m2 = t28164+t28394+t28461;
+      coeffs_dzz->coeff_m2_p2_m2 = t28174+t28399+t28404;
+      coeffs_dzz->coeff_m1_p2_m2 = t28151+t28393+t28455;
+      coeffs_dzz->coeff_0_p2_m2 = t28189+t28439+t28465;
+      coeffs_dzz->coeff_p1_p2_m2 = t28153+t28395+t28457;
+      coeffs_dzz->coeff_p2_p2_m2 = t28172+t28396+t28404;
+      coeffs_dzz->coeff_m2_m2_m1 = t28169+t28387+t28402;
+      coeffs_dzz->coeff_m1_m2_m1 = t28165+t28378+t28446;
+      coeffs_dzz->coeff_0_m2_m1 = t28180+t28430+t28438;
+      coeffs_dzz->coeff_p1_m2_m1 = t28160+t28379+t28450;
+      coeffs_dzz->coeff_p2_m2_m1 = t28166+t28388+t28402;
+      coeffs_dzz->coeff_m2_m1_m1 = t28143+t28376+t28444;
+      coeffs_dzz->coeff_m1_m1_m1 = t28356+t28154+t28360;
+      coeffs_dzz->coeff_0_m1_m1 = t28177+t28413+t28424;
+      coeffs_dzz->coeff_p1_m1_m1 = t28162+t28357+t28360;
+      coeffs_dzz->coeff_p2_m1_m1 = t28159+t28377+t28443;
+      coeffs_dzz->coeff_m2_0_m1 = t28184+t28433+t28437;
+      coeffs_dzz->coeff_m1_0_m1 = t28178+t28412+t28426;
+      coeffs_dzz->coeff_0_0_m1 = t28191+(1.0+t28128*t28138+t28112*t28136+(
+t28128+RATIONAL(25.0,16.0)*t28138+t28093*t28136)*t28135+t28220*t28133)*z;
+      coeffs_dzz->coeff_p1_0_m1 = t28175+t28425+t28426;
+      coeffs_dzz->coeff_p2_0_m1 = t28185+t28427+t28437;
+      coeffs_dzz->coeff_m2_p1_m1 = t28144+t28377+t28448;
+      coeffs_dzz->coeff_m1_p1_m1 = t28346+t28145+t28361;
+      coeffs_dzz->coeff_0_p1_m1 = t28176+t28423+t28424;
+      coeffs_dzz->coeff_p1_p1_m1 = t28358+t28155+t28361;
+      coeffs_dzz->coeff_p2_p1_m1 = t28158+t28376+t28447;
+      coeffs_dzz->coeff_m2_p2_m1 = t28170+t28386+t28403;
+      coeffs_dzz->coeff_m1_p2_m1 = t28161+t28379+t28445;
+      coeffs_dzz->coeff_0_p2_m1 = t28181+t28428+t28438;
+      coeffs_dzz->coeff_p1_p2_m1 = t28163+t28378+t28449;
+      coeffs_dzz->coeff_p2_p2_m1 = t28168+t28389+t28403;
+      coeffs_dzz->coeff_m2_m2_0 = t28372+t28200+t28374;
+      coeffs_dzz->coeff_m1_m2_0 = t28197+t28355+t28364;
+      coeffs_dzz->coeff_0_m2_0 = t28204+(t28220*y+t28224*t28134)*t28132+t28228*
+y+t28225*t28134;
+      coeffs_dzz->coeff_p1_m2_0 = t28198+t28355+t28363;
+      coeffs_dzz->coeff_p2_m2_0 = t28373+t28199+t28374;
+      coeffs_dzz->coeff_m2_m1_0 = t28353+t28195+t28365;
+      coeffs_dzz->coeff_m1_m1_0 = t28194+t28344+t28345;
+      coeffs_dzz->coeff_0_m1_0 = (t28016*t28138+t28094+t27977)*t28134+((t28123+
+t28102*t28138+t28120*t28136)*y+t28227*t28134)*t28132+(t27959+t28048*t28138+
+t28101)*y+t28201;
+      coeffs_dzz->coeff_p1_m1_0 = t28193+t28345+t28348;
+      coeffs_dzz->coeff_p2_m1_0 = t28196+t28352+t28365;
+      coeffs_dzz->coeff_m2_0_0 = t28203+t28229*x+t28226*t28137+(t28223*x+t28222
+*t28137)*t28132;
+      coeffs_dzz->coeff_m1_0_0 = ((t28102*t28135+t28123+t28120*t28133)*x+(
+t28126*t28135+t28114+t28110*t28133)*t28137)*t28132+(t27958+t28101+t28048*t28135
+)*x+(t28016*t28135+t28094+t27976)*t28137+t28202;
+      coeffs_dzz->coeff_0_0_0 = t28130+t28126*t28136+t28049*t28138+(RATIONAL(
+-125.0,32.0)*t28138+t28049+t28017*t28136)*t28135+t28221*t28133+(t28105*t28136+
+RATIONAL(3.0,1.0)+t28096*t28138+(RATIONAL(75.0,16.0)*t28138+t28044*t28136+
+t28096)*t28135+(t28044*t28138+t28105+RATIONAL(3.0,16.0)*t28136)*t28133)*t28132;
+      coeffs_dzz->coeff_p1_0_0 = (t28047*t28135+t28059+t28053*t28133)*t28137+(
+t28018*t28135+t28129+t28094*t28133)*x+((t28114*t28133+t28130*t28135+t28108)*x+(
+t28116*t28133+t28098*t28135+t28120)*t28137)*t28132+t28202;
+      coeffs_dzz->coeff_p2_0_0 = t28203+t28226*x+t28229*t28137+(t28222*x+t28223
+*t28137)*t28132;
+      coeffs_dzz->coeff_m2_p1_0 = t28353+t28196+t28362;
+      coeffs_dzz->coeff_m1_p1_0 = t28344+t28193+t28349;
+      coeffs_dzz->coeff_0_p1_0 = (t28059+t28053*t28136+t28047*t28138)*t28134+(
+t28129+t28094*t28136+t28018*t28138)*y+((t28108+t28130*t28138+t28114*t28136)*y+
+t28219*t28134)*t28132+t28201;
+      coeffs_dzz->coeff_p1_p1_0 = t28194+t28348+t28349;
+      coeffs_dzz->coeff_p2_p1_0 = t28352+t28195+t28362;
+      coeffs_dzz->coeff_m2_p2_0 = t28199+t28372+t28375;
+      coeffs_dzz->coeff_m1_p2_0 = t28354+t28198+t28364;
+      coeffs_dzz->coeff_0_p2_0 = t28228*t28134+t28204+t28225*y+(t28224*y+t28220
+*t28134)*t28132;
+      coeffs_dzz->coeff_p1_p2_0 = t28354+t28197+t28363;
+      coeffs_dzz->coeff_p2_p2_0 = t28373+t28200+t28375;
+      coeffs_dzz->coeff_m2_m2_p1 = t28169+t28388+t28401;
+      coeffs_dzz->coeff_m1_m2_p1 = t28165+t28383+t28449;
+      coeffs_dzz->coeff_0_m2_p1 = t28180+t28428+t28440;
+      coeffs_dzz->coeff_p1_m2_p1 = t28160+t28382+t28445;
+      coeffs_dzz->coeff_p2_m2_p1 = t28166+t28387+t28401;
+      coeffs_dzz->coeff_m2_m1_p1 = t28143+t28381+t28447;
+      coeffs_dzz->coeff_m1_m1_p1 = t28154+t28357+t28359;
+      coeffs_dzz->coeff_0_m1_p1 = t28177+t28414+t28423;
+      coeffs_dzz->coeff_p1_m1_p1 = t28162+t28356+t28359;
+      coeffs_dzz->coeff_p2_m1_p1 = t28159+t28380+t28448;
+      coeffs_dzz->coeff_m2_0_p1 = t28184+t28427+t28442;
+      coeffs_dzz->coeff_m1_0_p1 = t28178+t28415+t28425;
+      coeffs_dzz->coeff_0_0_p1 = t28191+(t28118*t28136+t28100*t28138-1.0+(
+t28100+RATIONAL(-25.0,16.0)*t28138+t28058*t28136)*t28135+t28224*t28133)*z;
+      coeffs_dzz->coeff_p1_0_p1 = t28175+t28412+t28415;
+      coeffs_dzz->coeff_p2_0_p1 = t28185+t28433+t28442;
+      coeffs_dzz->coeff_m2_p1_p1 = t28144+t28380+t28443;
+      coeffs_dzz->coeff_m1_p1_p1 = t28145+t28347+t28358;
+      coeffs_dzz->coeff_0_p1_p1 = t28176+t28413+t28414;
+      coeffs_dzz->coeff_p1_p1_p1 = t28346+t28155+t28347;
+      coeffs_dzz->coeff_p2_p1_p1 = t28158+t28381+t28444;
+      coeffs_dzz->coeff_m2_p2_p1 = t28170+t28389+t28400;
+      coeffs_dzz->coeff_m1_p2_p1 = t28161+t28382+t28450;
+      coeffs_dzz->coeff_0_p2_p1 = t28181+t28430+t28440;
+      coeffs_dzz->coeff_p1_p2_p1 = t28163+t28383+t28446;
+      coeffs_dzz->coeff_p2_p2_p1 = t28386+t28168+t28400;
+      coeffs_dzz->coeff_m2_m2_p2 = t28171+t28397+t28406;
+      coeffs_dzz->coeff_m1_m2_p2 = t28150+t28390+t28457;
+      coeffs_dzz->coeff_0_m2_p2 = t28190+t28439+t28464;
+      coeffs_dzz->coeff_p1_m2_p2 = t28152+t28391+t28455;
+      coeffs_dzz->coeff_p2_m2_p2 = t28398+t28173+t28406;
+      coeffs_dzz->coeff_m2_m1_p2 = t28148+t28384+t28461;
+      coeffs_dzz->coeff_m1_m1_p2 = t28366+t28146+t28370;
+      coeffs_dzz->coeff_0_m1_p2 = t28179+t28420+t28431;
+      coeffs_dzz->coeff_p1_m1_p2 = t28367+t28156+t28370;
+      coeffs_dzz->coeff_p2_m1_p2 = t28149+t28385+t28462;
+      coeffs_dzz->coeff_m2_0_p2 = t28188+t28441+t28463;
+      coeffs_dzz->coeff_m1_0_p2 = t28183+t28419+t28434;
+      coeffs_dzz->coeff_0_0_p2 = t28192+(t28221*t28135+(t28110+t28090*t28138+
+t28067*t28136)*t28133+t28227)*z;
+      coeffs_dzz->coeff_p1_0_p2 = t28186+t28432+t28434;
+      coeffs_dzz->coeff_p2_0_p2 = t28187+t28435+t28463;
+      coeffs_dzz->coeff_m2_p1_p2 = t28147+t28385+t28451;
+      coeffs_dzz->coeff_m1_p1_p2 = t28350+t28157+t28371;
+      coeffs_dzz->coeff_0_p1_p2 = t28182+t28429+t28431;
+      coeffs_dzz->coeff_p1_p1_p2 = t28167+t28368+t28371;
+      coeffs_dzz->coeff_p2_p1_p2 = t28164+t28384+t28452;
+      coeffs_dzz->coeff_m2_p2_p2 = t28174+t28396+t28407;
+      coeffs_dzz->coeff_m1_p2_p2 = t28151+t28391+t28458;
+      coeffs_dzz->coeff_0_p2_p2 = t28189+t28436+t28464;
+      coeffs_dzz->coeff_p1_p2_p2 = t28153+t28390+t28456;
+      coeffs_dzz->coeff_p2_p2_p2 = t28399+t28172+t28407;
-- 
cgit v1.2.3