aboutsummaryrefslogtreecommitdiff
path: root/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dy.compute.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dy.compute.c')
-rw-r--r--src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dy.compute.c4705
1 files changed, 2012 insertions, 2693 deletions
diff --git a/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dy.compute.c b/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dy.compute.c
index aede0f2..243a1f7 100644
--- a/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dy.compute.c
+++ b/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dy.compute.c
@@ -1,2721 +1,2040 @@
-fp t14452;
-fp t14523;
-fp t14525;
-fp t14424;
-fp t15465;
-fp t14469;
-fp t14913;
-fp t14462;
-fp t14522;
-fp t14526;
-fp t14949;
-fp t15464;
-fp t14521;
-fp t14528;
-fp t15028;
-fp t14410;
-fp t14054;
-fp t14411;
-fp t15017;
-fp t14029;
-fp t15463;
-fp t14396;
-fp t14870;
-fp t13886;
-fp t14399;
-fp t14882;
-fp t15462;
-fp t14460;
-fp t15018;
-fp t14449;
-fp t14524;
-fp t14907;
-fp t14527;
-fp t14187;
-fp t15461;
-fp t15006;
-fp t14204;
-fp t14915;
-fp t14222;
-fp t15460;
-fp t14916;
-fp t14712;
-fp t14466;
-fp t14997;
-fp t14784;
-fp t15459;
-fp t14901;
-fp t14848;
-fp t15429;
-fp t14911;
-fp t13963;
-fp t15458;
-fp t15012;
-fp t14090;
-fp t15457;
-fp t14420;
-fp t14929;
-fp t13920;
-fp t14459;
-fp t14914;
-fp t15456;
-fp t14899;
-fp t14937;
-fp t14454;
-fp t14519;
-fp t15455;
-fp t14873;
-fp t13853;
-fp t15454;
-fp t14646;
-fp t14457;
-fp t14989;
-fp t14790;
-fp t15453;
-fp t14723;
-fp t14749;
-fp t15452;
-fp t14983;
-fp t15004;
-fp t14984;
-fp t15451;
-fp t14947;
-fp t15450;
-fp t14467;
-fp t15010;
-fp t15449;
-fp t14458;
-fp t15032;
-fp t14408;
-fp t14878;
-fp t15008;
-fp t15448;
-fp t14515;
-fp t14507;
-fp t15447;
-fp t14446;
-fp t14928;
-fp t14439;
-fp t15446;
-fp t14442;
-fp t14441;
-fp t15025;
-fp t14918;
-fp t15445;
-fp t14888;
-fp t14426;
-fp t14665;
-fp t14423;
-fp t14932;
-fp t15444;
-fp t14437;
-fp t14345;
-fp t14010;
-fp t15443;
-fp t14499;
-fp t14382;
-fp t14520;
-fp t14845;
-fp t15442;
-fp t14425;
-fp t14857;
-fp t13923;
-fp t14891;
-fp t14136;
-fp t15441;
-fp t14097;
-fp t15440;
-fp t14461;
-fp t14096;
-fp t14500;
-fp t15439;
-fp t14351;
-fp t14147;
-fp t15438;
-fp t14509;
-fp t15437;
-fp t14440;
-fp t14493;
-fp t15436;
-fp t14936;
-fp t15435;
-fp t14924;
-fp t14954;
-fp t14031;
-fp t15434;
-fp t14360;
-fp t14435;
-fp t14333;
-fp t13959;
-fp t15433;
-fp t14474;
-fp t15432;
-fp t14455;
-fp t14389;
-fp t14883;
-fp t15431;
-fp t14964;
-fp t15015;
-fp t15430;
-fp t14421;
-fp t14930;
-fp t14688;
-fp t14990;
-fp t14782;
-fp t15428;
-fp t14412;
-fp t14876;
-fp t14445;
-fp t15427;
-fp t13895;
-fp t15426;
-fp t13988;
-fp t15425;
-fp t14923;
-fp t14902;
-fp t15424;
-fp t15423;
-fp t14363;
-fp t15422;
-fp t14468;
-fp t14481;
-fp t14963;
-fp t15421;
-fp t13986;
-fp t15420;
-fp t14854;
-fp t14922;
-fp t15419;
-fp t15418;
-fp t14477;
-fp t14898;
-fp t14122;
-fp t14485;
-fp t14355;
-fp t15417;
-fp t14453;
-fp t15416;
-fp t15415;
-fp t13922;
-fp t14350;
-fp t15414;
-fp t13919;
-fp t15413;
-fp t14394;
-fp t14406;
-fp t14645;
-fp t15412;
-fp t14855;
-fp t15411;
-fp t14863;
-fp t13904;
-fp t15410;
-fp t15409;
-fp t15408;
-fp t14342;
-fp t14443;
-fp t15013;
-fp t14444;
-fp t15407;
-fp t14919;
-fp t13984;
-fp t15406;
-fp t13917;
-fp t15405;
-fp t14880;
-fp t13857;
-fp t14340;
-fp t15404;
-fp t13949;
-fp t15403;
-fp t15402;
-fp t14868;
-fp t15024;
-fp t15401;
-fp t14397;
-fp t14398;
-fp t15026;
-fp t14896;
-fp t15400;
-fp t14402;
-fp t14395;
-fp t14973;
-fp t14841;
-fp t14910;
-fp t15399;
-fp t15398;
-fp t14912;
-fp t15005;
-fp t15397;
-fp t15396;
-fp t15030;
-fp t15395;
-fp t14388;
+fp t13460;
+fp t13458;
+fp t13465;
+fp t13623;
+fp t13463;
+fp t13626;
fp t14070;
-fp t15394;
-fp t14934;
-fp t15393;
-fp t15392;
-fp t15001;
-fp t14192;
-fp t14655;
-fp t15391;
-fp t14931;
-fp t14797;
-fp t15002;
-fp t13976;
-fp t15390;
-fp t13952;
-fp t14102;
-fp t14667;
-fp t14948;
-fp t14008;
-fp t14697;
-fp t15260;
-fp t14652;
-fp t13048;
-fp t14877;
-fp t14809;
-fp t15389;
-fp t14038;
-fp t15388;
-fp t15021;
-fp t14157;
-fp t14747;
-fp t15387;
-fp t14967;
-fp t14957;
-fp t15386;
-fp t14240;
-fp t15385;
-fp t15384;
-fp t14904;
+fp t13464;
+fp t13634;
+fp t13685;
+fp t14118;
+fp t13459;
+fp t13636;
+fp t13692;
fp t14117;
-fp t15383;
-fp t14414;
-fp t14792;
-fp t14858;
-fp t13910;
-fp t14465;
-fp t14925;
+fp t13637;
+fp t13676;
+fp t14116;
+fp t13640;
+fp t13682;
+fp t14115;
+fp t13633;
+fp t13641;
+fp t14106;
+fp t13678;
+fp t13684;
+fp t14114;
+fp t13635;
+fp t13680;
+fp t14113;
+fp t13336;
+fp t13341;
+fp t14112;
+fp t14111;
+fp t13357;
+fp t13366;
+fp t14110;
+fp t14109;
+fp t13355;
+fp t13364;
+fp t14108;
+fp t14107;
+fp t13462;
+fp t13621;
+fp t13581;
+fp t13624;
+fp t13583;
+fp t14084;
+fp t13585;
+fp t13596;
+fp t14076;
+fp t13461;
+fp t13630;
+fp t13605;
+fp t13639;
+fp t13615;
+fp t14035;
+fp t14105;
+fp t14104;
+fp t13350;
+fp t13373;
+fp t14103;
+fp t14102;
+fp t14101;
+fp t14100;
+fp t14099;
+fp t14098;
+fp t13359;
+fp t13399;
+fp t14097;
+fp t14096;
+fp t14095;
+fp t14094;
+fp t13368;
+fp t13409;
+fp t14093;
+fp t14092;
+fp t13397;
+fp t13410;
+fp t14091;
+fp t14090;
+fp t13285;
+fp t13405;
+fp t14089;
+fp t13400;
+fp t13418;
+fp t14088;
+fp t14087;
+fp t13299;
+fp t13415;
+fp t14086;
+fp t13297;
+fp t14085;
+fp t13622;
+fp t13582;
+fp t13625;
+fp t13584;
+fp t14083;
+fp t13627;
+fp t13586;
+fp t13629;
+fp t13618;
+fp t14082;
+fp t13588;
+fp t13632;
+fp t13619;
+fp t14081;
+fp t13590;
+fp t13669;
+fp t14080;
+fp t13591;
+fp t13601;
+fp t14079;
+fp t13594;
+fp t13604;
+fp t14078;
+fp t13595;
+fp t13628;
+fp t13609;
+fp t14077;
+fp t13597;
+fp t13631;
+fp t13610;
+fp t14075;
+fp t13602;
+fp t13638;
+fp t13614;
+fp t14074;
+fp t13589;
+fp t13603;
+fp t14073;
+fp t13592;
+fp t13606;
+fp t14072;
+fp t13608;
+fp t13675;
+fp t13673;
+fp t14071;
+fp t13667;
+fp t13683;
+fp t13672;
+fp t14033;
+fp t13611;
+fp t13668;
+fp t14069;
+fp t13593;
+fp t13670;
+fp t14032;
+fp t13337;
+fp t14068;
+fp t14067;
+fp t13333;
+fp t13338;
+fp t14066;
+fp t13334;
+fp t13339;
+fp t14065;
+fp t14064;
+fp t14063;
+fp t14062;
+fp t14061;
+fp t14060;
+fp t13356;
+fp t13362;
+fp t13365;
+fp t13371;
fp t14059;
-fp t14900;
-fp t14354;
-fp t14748;
-fp t15382;
-fp t13931;
-fp t14691;
-fp t15381;
-fp t13902;
-fp t14409;
-fp t13975;
-fp t15380;
-fp t14041;
-fp t13129;
+fp t14058;
fp t14057;
-fp t14962;
-fp t14232;
-fp t15217;
-fp t15379;
-fp t14020;
-fp t15378;
-fp t14498;
-fp t14484;
-fp t15377;
-fp t14037;
-fp t15019;
-fp t14802;
-fp t15376;
-fp t14513;
-fp t14516;
-fp t15375;
+fp t14056;
+fp t12867;
+fp t13587;
+fp t14055;
+fp t13369;
+fp t12961;
+fp t14054;
+fp t13413;
+fp t14053;
+fp t13360;
+fp t12895;
fp t14052;
-fp t14966;
-fp t14791;
-fp t15374;
-fp t14367;
-fp t14243;
-fp t14413;
-fp t14842;
-fp t13993;
-fp t15373;
-fp t14960;
-fp t14668;
-fp t15372;
-fp t14996;
-fp t13916;
-fp t14759;
-fp t15318;
-fp t13990;
-fp t15371;
-fp t14998;
-fp t14778;
-fp t14940;
-fp t13925;
-fp t14941;
-fp t14745;
-fp t15306;
-fp t15370;
-fp t14105;
-fp t13998;
-fp t15289;
-fp t14647;
-fp t15369;
-fp t14016;
-fp t15368;
-fp t14906;
-fp t14789;
-fp t14210;
-fp t14718;
-fp t14851;
-fp t14769;
-fp t15220;
-fp t15367;
-fp t15366;
-fp t13908;
-fp t14862;
-fp t14757;
-fp t13855;
-fp t15309;
+fp t13372;
+fp t12979;
+fp t13402;
+fp t14051;
+fp t13440;
+fp t14050;
+fp t13407;
+fp t13445;
+fp t14049;
+fp t14048;
+fp t14047;
+fp t14046;
+fp t13412;
+fp t14045;
+fp t13417;
+fp t14044;
fp t14043;
-fp t15302;
+fp t13437;
+fp t13649;
+fp t14042;
+fp t13451;
+fp t13642;
+fp t14041;
+fp t14040;
+fp t14039;
+fp t13411;
+fp t14038;
+fp t13448;
+fp t14037;
+fp t13444;
fp t14036;
-fp t13933;
-fp t15291;
-fp t14601;
-fp t15365;
-fp t13974;
-fp t14368;
-fp t14804;
-fp t14892;
-fp t14225;
-fp t14024;
-fp t15311;
-fp t13926;
-fp t14170;
-fp t15299;
-fp t15252;
-fp t14738;
-fp t15364;
-fp t14875;
-fp t14681;
-fp t14946;
-fp t14053;
+fp t14034;
+fp t13612;
+fp t13691;
+fp t13690;
+fp t14031;
+fp t12826;
+fp t12876;
+fp t13598;
+fp t13996;
+fp t12798;
+fp t14001;
+fp t14030;
+fp t13617;
fp t13983;
-fp t14704;
-fp t14720;
-fp t14145;
-fp t15277;
-fp t15363;
+fp t13139;
+fp t13993;
+fp t13936;
+fp t13403;
+fp t13600;
+fp t13363;
+fp t12914;
+fp t13988;
+fp t14029;
+fp t12831;
+fp t14028;
+fp t13947;
+fp t14027;
+fp t13946;
+fp t14026;
+fp t12928;
+fp t12957;
+fp t12897;
+fp t13987;
+fp t13938;
+fp t12935;
+fp t13949;
+fp t12857;
+fp t13971;
+fp t14025;
+fp t12862;
+fp t12891;
+fp t12963;
+fp t13994;
+fp t13939;
+fp t12923;
+fp t13975;
+fp t14024;
+fp t12896;
+fp t12956;
+fp t13941;
+fp t14023;
+fp t12890;
+fp t12962;
+fp t13943;
+fp t14022;
+fp t12251;
+fp t13942;
+fp t14021;
+fp t12868;
+fp t14020;
+fp t12934;
+fp t14019;
+fp t12888;
+fp t14018;
+fp t12886;
+fp t12894;
+fp t12959;
+fp t13944;
+fp t14017;
+fp t12952;
+fp t12893;
+fp t12960;
+fp t13945;
+fp t14016;
+fp t12086;
+fp t13950;
fp t14015;
-fp t14943;
-fp t14206;
-fp t14709;
-fp t15250;
-fp t15362;
-fp t14837;
-fp t15361;
-fp t14971;
-fp t14822;
-fp t14887;
-fp t14708;
-fp t14828;
-fp t15243;
-fp t15360;
-fp t14093;
-fp t15003;
-fp t15235;
-fp t14119;
-fp t14727;
-fp t15359;
-fp t14730;
-fp t13978;
-fp t14807;
-fp t15358;
-fp t14781;
-fp t13909;
-fp t15213;
-fp t15357;
-fp t14056;
-fp t14945;
-fp t14743;
-fp t15356;
-fp t14866;
-fp t13991;
-fp t15355;
-fp t13970;
-fp t14806;
-fp t15354;
-fp t14092;
-fp t14908;
-fp t14230;
-fp t14677;
-fp t13930;
-fp t15272;
-fp t14773;
-fp t15214;
-fp t14605;
-fp t15353;
-fp t13905;
+fp t12954;
+fp t14014;
+fp t14013;
+fp t14012;
+fp t14011;
+fp t14010;
+fp t12911;
+fp t12983;
+fp t13963;
+fp t14009;
+fp t12977;
+fp t12913;
+fp t12917;
+fp t13966;
+fp t14008;
+fp t14007;
+fp t14006;
+fp t13342;
fp t14005;
-fp t14353;
-fp t14795;
-fp t14827;
-fp t15352;
-fp t14814;
-fp t14042;
+fp t14004;
+fp t13332;
+fp t12783;
+fp t14003;
+fp t12784;
+fp t14002;
+fp t13343;
+fp t12840;
+fp t14000;
+fp t13344;
+fp t13398;
+fp t13607;
+fp t13999;
+fp t13348;
+fp t13414;
+fp t13998;
+fp t12940;
+fp t13997;
+fp t12881;
+fp t13424;
+fp t13995;
+fp t13421;
+fp t13599;
+fp t13992;
+fp t13143;
+fp t13991;
+fp t13990;
+fp t12908;
+fp t13989;
+fp t13986;
+fp t13071;
+fp t13984;
+fp t13375;
+fp t12988;
+fp t13982;
+fp t12990;
+fp t13981;
+fp t13376;
+fp t13386;
+fp t13980;
+fp t13377;
fp t13979;
-fp t14921;
-fp t14780;
+fp t13389;
+fp t13454;
+fp t13978;
+fp t13393;
+fp t13977;
+fp t13976;
+fp t13431;
+fp t13974;
+fp t13973;
fp t13972;
-fp t15225;
-fp t15351;
-fp t14044;
-fp t13239;
-fp t15000;
-fp t14007;
-fp t14011;
-fp t14706;
-fp t15273;
-fp t15350;
-fp t14707;
-fp t15254;
-fp t15349;
-fp t14872;
-fp t14680;
-fp t14740;
-fp t14871;
-fp t14649;
-fp t15227;
-fp t13927;
-fp t15348;
-fp t14986;
-fp t15347;
-fp t13950;
-fp t14009;
-fp t14657;
-fp t15248;
-fp t14869;
-fp t14831;
-fp t14763;
-fp t15346;
-fp t15345;
-fp t14755;
-fp t14717;
-fp t15251;
-fp t15344;
+fp t13970;
+fp t13969;
+fp t13968;
+fp t13967;
+fp t13965;
+fp t13964;
+fp t13015;
+fp t13962;
+fp t13167;
+fp t13961;
+fp t13959;
+fp t13958;
+fp t13957;
+fp t13956;
+fp t12835;
+fp t13351;
+fp t13358;
+fp t13955;
+fp t13352;
+fp t12846;
+fp t13129;
+fp t13176;
+fp t13954;
+fp t12848;
+fp t13133;
+fp t13175;
+fp t13953;
+fp t13353;
+fp t13404;
+fp t13420;
+fp t13665;
+fp t13952;
+fp t13361;
+fp t13951;
+fp t13948;
+fp t13940;
fp t13937;
-fp t14909;
-fp t14673;
-fp t15241;
-fp t14608;
-fp t15343;
-fp t14654;
-fp t15226;
-fp t14682;
-fp t15342;
-fp t15231;
-fp t15341;
-fp t14035;
-fp t14905;
-fp t14751;
-fp t14045;
-fp t15265;
-fp t15340;
-fp t14249;
-fp t14032;
-fp t15287;
-fp t15339;
-fp t14776;
-fp t14221;
-fp t14191;
-fp t13946;
-fp t15284;
-fp t15338;
+fp t12915;
+fp t13140;
+fp t13935;
+fp t12912;
+fp t13142;
fp t13934;
-fp t14700;
-fp t14689;
-fp t15337;
-fp t14959;
-fp t14788;
-fp t14683;
-fp t15336;
-fp t15014;
-fp t14151;
-fp t14172;
-fp t15335;
-fp t14803;
-fp t14808;
-fp t15334;
-fp t14838;
-fp t14897;
-fp t14735;
-fp t15333;
-fp t14999;
-fp t14229;
-fp t15332;
-fp t14812;
-fp t15331;
-fp t14977;
-fp t14799;
-fp t15330;
-fp t14884;
-fp t14829;
-fp t14669;
-fp t14656;
-fp t15329;
-fp t14662;
-fp t15328;
-fp t14505;
-fp t14771;
-fp t14933;
-fp t14216;
-fp t14486;
-fp t14658;
-fp t14767;
-fp t14725;
-fp t15327;
-fp t14648;
-fp t15326;
-fp t14073;
-fp t15325;
-fp t14356;
-fp t14698;
-fp t14956;
-fp t14152;
-fp t15324;
-fp t14752;
-fp t14787;
-fp t15323;
-fp t15322;
-fp t15016;
-fp t14976;
-fp t14813;
-fp t14981;
-fp t14794;
-fp t15321;
-fp t15320;
-fp t15319;
-fp t13997;
-fp t14716;
-fp t15317;
-fp t14492;
-fp t14801;
-fp t13948;
-fp t15316;
-fp t14783;
-fp t14518;
-fp t14968;
-fp t14256;
-fp t15315;
-fp t14826;
-fp t14431;
-fp t14765;
-fp t15314;
+fp t13933;
+fp t12909;
+fp t13932;
+fp t12916;
+fp t13931;
+fp t13930;
fp t13929;
-fp t14768;
-fp t15313;
-fp t14475;
-fp t14510;
-fp t15312;
-fp t14860;
-fp t13967;
-fp t15310;
-fp t14696;
-fp t14993;
-fp t14815;
-fp t15307;
-fp t14438;
-fp t13992;
-fp t15305;
-fp t13955;
-fp t15303;
-fp t13911;
-fp t15301;
-fp t15300;
+fp t13928;
+fp t13113;
+fp t13927;
+fp t13171;
+fp t13926;
+fp t12933;
+fp t13925;
+fp t13924;
+fp t13367;
+fp t13374;
+fp t13923;
+fp t13922;
+fp t12981;
+fp t13068;
+fp t13921;
+fp t13920;
+fp t12978;
+fp t13070;
+fp t13919;
+fp t13354;
+fp t13370;
+fp t13918;
+fp t12991;
+fp t13387;
+fp t13002;
+fp t13917;
+fp t12975;
+fp t13916;
+fp t12989;
+fp t13003;
+fp t13915;
+fp t12982;
fp t13914;
-fp t14033;
-fp t15298;
-fp t14404;
+fp t13913;
+fp t13912;
+fp t13911;
+fp t13043;
+fp t13910;
+fp t13019;
+fp t13909;
+fp t13212;
+fp t13384;
+fp t13427;
+fp t13666;
+fp t13908;
+fp t13204;
+fp t13674;
+fp t13671;
+fp t13907;
+fp t13390;
+fp t13007;
+fp t13906;
+fp t13009;
+fp t13905;
+fp t13182;
+fp t13904;
+fp t13180;
+fp t13903;
+fp t13392;
+fp t13429;
+fp t13447;
+fp t13456;
+fp t13677;
+fp t13902;
+fp t13901;
+fp t13900;
+fp t13899;
+fp t13395;
+fp t13401;
+fp t13452;
+fp t13898;
+fp t12872;
+fp t13897;
+fp t13001;
+fp t13408;
+fp t13426;
+fp t13896;
+fp t13433;
+fp t13895;
+fp t12938;
+fp t13894;
+fp t13893;
+fp t13892;
+fp t13117;
+fp t13891;
+fp t13111;
+fp t13890;
+fp t13889;
+fp t13047;
+fp t13888;
+fp t13041;
+fp t13887;
+fp t13886;
+fp t13885;
+fp t13884;
+fp t13883;
+fp t13882;
+fp t13881;
+fp t13283;
+fp t13296;
+fp t13880;
+fp t12924;
+fp t13879;
+fp t12858;
+fp t13878;
+fp t13620;
+fp t13549;
fp t13877;
-fp t14674;
-fp t15297;
-fp t14405;
+fp t13026;
+fp t13548;
+fp t13876;
+fp t13058;
+fp t13875;
+fp t12973;
+fp t13874;
+fp t13063;
+fp t13681;
+fp t13873;
+fp t12907;
fp t13872;
-fp t14762;
-fp t15296;
-fp t13953;
-fp t15295;
-fp t14417;
-fp t14836;
-fp t15294;
+fp t13871;
+fp t13870;
+fp t13869;
+fp t13868;
+fp t13867;
+fp t13335;
+fp t13340;
fp t13866;
-fp t14758;
-fp t15293;
-fp t14401;
-fp t14470;
-fp t14894;
-fp t14670;
-fp t15292;
-fp t13899;
-fp t15290;
-fp t14281;
-fp t14494;
-fp t14834;
-fp t15288;
-fp t13968;
-fp t15286;
-fp t14034;
-fp t15285;
-fp t15283;
-fp t15282;
-fp t15281;
-fp t14785;
-fp t15280;
-fp t14679;
-fp t15279;
-fp t14991;
-fp t14770;
-fp t14687;
-fp t15278;
-fp t14650;
-fp t14733;
-fp t14490;
-fp t14886;
-fp t14480;
-fp t14082;
-fp t15031;
-fp t15275;
-fp t14491;
-fp t14489;
-fp t14988;
-fp t14262;
-fp t15274;
-fp t13889;
-fp t14428;
-fp t14692;
-fp t14430;
-fp t14715;
-fp t15271;
-fp t14980;
-fp t14644;
-fp t14429;
-fp t14850;
-fp t14238;
-fp t15270;
-fp t15269;
-fp t14433;
-fp t14849;
-fp t14737;
-fp t15268;
-fp t13973;
-fp t14659;
-fp t15267;
-fp t14793;
-fp t14672;
-fp t15266;
-fp t14741;
-fp t15264;
-fp t14482;
-fp t14661;
-fp t15263;
-fp t14950;
-fp t14246;
-fp t14811;
-fp t14978;
-fp t15262;
-fp t14874;
-fp t14110;
-fp t14927;
-fp t14651;
-fp t15261;
-fp t14987;
-fp t15259;
-fp t15258;
-fp t14137;
-fp t14935;
-fp t14744;
-fp t14885;
-fp t13945;
-fp t15257;
-fp t15256;
-fp t14483;
-fp t14903;
-fp t14471;
-fp t14844;
-fp t15255;
-fp t13999;
-fp t15253;
-fp t14512;
-fp t14939;
-fp t14861;
-fp t14174;
-fp t14479;
-fp t14695;
-fp t15249;
-fp t14000;
-fp t15247;
-fp t15246;
-fp t15245;
-fp t14893;
-fp t14211;
-fp t15244;
-fp t15242;
-fp t14427;
-fp t14702;
-fp t14434;
-fp t15240;
-fp t15239;
-fp t14244;
-fp t15238;
-fp t14711;
-fp t15237;
-fp t15236;
-fp t15234;
-fp t14879;
-fp t13913;
-fp t14113;
-fp t14942;
-fp t14133;
-fp t15233;
-fp t15232;
-fp t14488;
-fp t14496;
-fp t14852;
-fp t14840;
-fp t14506;
-fp t15011;
-fp t15230;
-fp t14719;
-fp t15229;
-fp t14047;
-fp t14830;
-fp t15228;
-fp t15224;
-fp t14663;
-fp t14185;
-fp t15222;
-fp t14856;
-fp t13996;
-fp t14223;
-fp t15221;
-fp t13918;
-fp t15219;
-fp t15218;
-fp t14722;
-fp t15216;
-fp t14881;
-fp t14048;
-fp t14212;
-fp t14684;
-fp t15215;
-fp t15212;
-fp t15211;
-fp t15210;
-fp t13957;
-fp t15209;
-fp t15208;
-fp t15207;
-fp t14796;
-fp t14779;
-fp t15206;
-fp t14140;
-fp t14671;
-fp t15205;
-fp t15204;
-fp t15203;
-fp t14731;
-fp t14364;
-fp t15202;
-fp t14160;
-fp t15201;
-fp t15200;
-fp t14473;
-fp t14118;
-fp t15199;
-fp t15198;
-fp t15197;
-fp t15196;
-fp t15195;
-fp t15194;
-fp t15193;
-fp t14224;
-fp t14995;
-fp t14199;
-fp t15192;
-fp t14171;
-fp t14068;
-fp t15191;
-fp t13938;
-fp t15190;
-fp t15188;
-fp t15186;
-fp t14764;
-fp t15185;
-fp t14675;
-fp t15184;
-fp t14195;
-fp t14186;
-fp t15183;
-fp t14165;
-fp t14226;
-fp t15182;
-fp t14994;
-fp t14261;
-fp t14074;
-fp t14508;
-fp t15023;
-fp t14259;
-fp t15181;
-fp t14678;
-fp t14969;
-fp t14833;
-fp t15180;
-fp t15179;
-fp t14742;
-fp t15178;
-fp t14772;
-fp t14750;
-fp t15177;
-fp t15176;
-fp t14101;
-fp t14134;
-fp t15175;
-fp t15174;
-fp t15173;
-fp t14336;
-fp t14982;
-fp t14805;
-fp t15172;
-fp t14326;
-fp t14786;
-fp t15171;
-fp t14756;
-fp t14775;
-fp t15170;
-fp t13343;
-fp t15169;
-fp t14760;
-fp t14766;
-fp t15168;
-fp t13262;
-fp t15167;
-fp t14690;
-fp t15166;
-fp t14754;
-fp t14685;
-fp t15165;
-fp t15164;
-fp t15163;
-fp t14798;
-fp t15162;
-fp t15161;
-fp t14003;
-fp t15160;
-fp t14821;
-fp t15159;
-fp t15158;
-fp t15157;
-fp t14703;
-fp t15156;
-fp t14264;
-fp t15155;
-fp t14666;
-fp t15154;
-fp t15153;
-fp t15152;
-fp t14729;
-fp t14824;
-fp t15151;
-fp t15150;
fp t13865;
+fp t13864;
+fp t13863;
+fp t13862;
+fp t13861;
+fp t13860;
+fp t13859;
+fp t13858;
+fp t13857;
+fp t13349;
+fp t13419;
+fp t13430;
+fp t13856;
+fp t13613;
+fp t13855;
+fp t13616;
+fp t13854;
+fp t13853;
+fp t13852;
+fp t13851;
+fp t13850;
+fp t13849;
+fp t13848;
+fp t13847;
fp t13846;
-fp t14736;
-fp t15149;
-fp t14126;
-fp t15148;
-fp t14267;
-fp t15020;
-fp t14774;
-fp t14979;
-fp t15147;
-fp t15146;
-fp t15145;
-fp t15144;
-fp t15143;
-fp t15142;
-fp t15141;
-fp t14818;
-fp t14084;
-fp t14065;
-fp t15140;
-fp t15139;
-fp t14407;
-fp t14403;
-fp t14714;
-fp t15138;
-fp t15137;
-fp t15136;
-fp t14701;
-fp t15135;
-fp t15134;
-fp t15133;
-fp t15132;
-fp t15131;
-fp t15130;
-fp t15129;
-fp t15128;
-fp t15127;
-fp t14636;
-fp t15126;
-fp t15125;
-fp t14132;
-fp t14777;
-fp t14270;
-fp t14287;
-fp t14271;
-fp t15124;
-fp t14710;
-fp t15123;
-fp t15122;
-fp t15121;
-fp t14664;
-fp t14705;
-fp t15120;
-fp t15119;
-fp t15022;
-fp t15118;
-fp t14066;
-fp t14972;
-fp t15117;
-fp t14839;
-fp t15116;
-fp t14182;
-fp t14938;
-fp t15115;
-fp t15114;
-fp t15113;
-fp t14846;
-fp t14724;
-fp t15112;
-fp t14131;
-fp t15111;
-fp t15110;
-fp t14189;
-fp t15109;
-fp t15108;
-fp t15107;
-fp t14325;
-fp t15106;
-fp t15105;
-fp t15104;
-fp t14859;
-fp t15103;
-fp t14067;
-fp t15102;
-fp t15029;
-fp t15101;
-fp t14478;
-fp t15100;
-fp t15099;
-fp t15098;
-fp t15097;
-fp t14176;
-fp t15096;
-fp t14761;
-fp t15095;
-fp t14952;
-fp t14236;
-fp t14739;
-fp t15094;
-fp t14676;
-fp t15093;
-fp t14992;
-fp t15092;
-fp t14106;
-fp t15091;
-fp t14304;
-fp t15090;
-fp t15089;
-fp t15088;
-fp t14694;
-fp t15087;
-fp t14890;
-fp t14114;
-fp t15086;
-fp t15085;
-fp t15084;
-fp t15083;
-fp t15082;
-fp t13101;
-fp t14643;
-fp t15081;
-fp t14631;
-fp t15080;
-fp t15079;
-fp t13276;
-fp t14847;
-fp t15078;
-fp t15077;
-fp t13309;
-fp t14944;
-fp t15076;
-fp t14953;
-fp t15075;
-fp t15074;
-fp t15073;
-fp t15072;
-fp t15071;
-fp t15070;
-fp t15069;
-fp t15068;
-fp t15067;
-fp t15066;
-fp t15065;
-fp t15064;
-fp t15063;
-fp t15062;
-fp t15061;
-fp t15060;
-fp t15059;
-fp t15058;
-fp t15057;
-fp t15056;
-fp t15055;
-fp t15054;
-fp t15053;
-fp t15052;
-fp t15051;
-fp t15050;
-fp t15049;
-fp t15048;
-fp t15047;
-fp t15046;
-fp t15045;
-fp t15044;
-fp t15043;
-fp t15042;
-fp t15041;
-fp t15040;
-fp t14819;
-fp t15039;
-fp t15038;
-fp t15037;
-fp t15036;
-fp t15035;
-fp t15034;
-fp t15033;
-fp t14975;
-fp t14970;
-fp t14958;
-fp t14955;
-fp t14373;
-fp t14926;
-fp t14920;
-fp t14889;
-fp t14865;
-fp t14864;
-fp t14843;
-fp t14835;
-fp t14283;
-fp t14825;
-fp t14820;
-fp t14810;
-fp t14746;
-fp t14699;
-fp t14653;
-fp t14642;
-fp t14641;
-fp t14635;
-fp t14629;
-fp t14628;
-fp t14627;
-fp t14626;
-fp t14625;
-fp t14456;
-fp t14416;
-fp t14501;
-fp t14624;
-fp t14623;
-fp t14447;
-fp t14448;
-fp t14503;
-fp t14622;
-fp t14621;
-fp t14436;
-fp t14620;
-fp t14517;
-fp t14619;
-fp t14422;
-fp t14618;
-fp t14617;
-fp t14616;
-fp t14614;
-fp t14613;
-fp t14610;
-fp t14609;
-fp t14607;
-fp t14606;
-fp t14604;
-fp t14603;
-fp t14599;
-fp t14598;
-fp t14400;
-fp t14597;
-fp t14596;
-fp t14418;
-fp t14595;
-fp t14594;
-fp t14593;
-fp t14592;
-fp t14591;
-fp t14590;
-fp t14589;
-fp t14588;
-fp t14587;
-fp t14586;
-fp t14585;
-fp t14584;
-fp t14432;
-fp t14583;
-fp t14582;
-fp t14581;
-fp t14580;
-fp t14579;
-fp t14578;
-fp t14577;
-fp t14576;
-fp t14575;
-fp t14574;
-fp t14573;
-fp t14572;
-fp t14571;
-fp t14570;
-fp t14569;
-fp t14568;
-fp t14567;
-fp t14566;
-fp t14565;
-fp t14564;
-fp t14563;
-fp t14562;
-fp t14561;
-fp t14560;
-fp t14559;
-fp t14558;
-fp t14557;
-fp t14556;
-fp t14555;
-fp t14554;
-fp t14553;
-fp t14552;
-fp t14551;
-fp t14550;
-fp t14549;
-fp t14548;
-fp t14547;
-fp t14546;
-fp t14545;
-fp t14544;
-fp t14543;
-fp t14542;
-fp t14541;
-fp t14540;
-fp t14539;
-fp t14538;
-fp t14537;
-fp t14536;
-fp t14535;
-fp t14534;
-fp t14514;
-fp t14504;
-fp t14502;
-fp t14497;
-fp t14495;
-fp t14476;
-fp t14472;
-fp t14464;
-fp t14463;
-fp t14451;
-fp t14450;
-fp t14419;
-fp t14415;
- t14452 = RATIONAL(-8.0,27.0);
- t14523 = y*y;
- t14525 = t14523*y;
- t14424 = RATIONAL(16.0,27.0);
- t15465 = t14452*t14525+y*t14424;
- t14469 = RATIONAL(2.0,27.0);
- t14913 = t14525*t14469;
- t14462 = RATIONAL(-1.0,54.0);
- t14522 = z*z;
- t14526 = t14522*z;
- t14949 = t14462*t14526;
- t15464 = z*t14913+t14525*t14949;
- t14521 = x*x;
- t14528 = t14521*t14521;
- t15028 = z*t14528;
- t14410 = RATIONAL(1.0,432.0);
- t14054 = t14410*t15028;
- t14411 = RATIONAL(-1.0,432.0);
- t15017 = z*t14411;
- t14029 = t14521*t15017;
- t15463 = t14054+t14029;
- t14396 = RATIONAL(1.0,1728.0);
- t14870 = t14526*t14396;
- t13886 = t14528*t14870;
- t14399 = RATIONAL(-1.0,1728.0);
- t14882 = t14526*t14399;
- t15462 = t13886+t14521*t14882;
- t14460 = RATIONAL(8.0,27.0);
- t15018 = x*t14460;
- t14449 = RATIONAL(1.0,54.0);
- t14524 = x*t14521;
- t14907 = t14449*t14524;
- t14527 = t14522*t14522;
- t14187 = t14527*t14907;
- t15461 = t14187+t14522*t15018;
- t15006 = x*t14469;
- t14204 = t14526*t15006;
- t14915 = t14469*t14524;
- t14222 = z*t14915;
- t15460 = t14204+t14222;
- t14916 = t14526*t14449;
- t14712 = t14525*t14916;
- t14466 = RATIONAL(-2.0,27.0);
- t14997 = z*t14466;
- t14784 = t14525*t14997;
- t15459 = t14712+t14784;
- t14901 = t14527*t14521;
- t14848 = t14528*t14522;
- t15429 = t14848+t14901;
- t14911 = t14410*t14521;
- t13963 = z*t14911;
- t15458 = t14528*t15017+t13963;
- t15012 = x*t14526;
- t14090 = t14466*t15012;
- t15457 = t14090+z*t15018;
- t14420 = RATIONAL(1.0,108.0);
- t14929 = t14420*t14524;
- t13920 = t14527*t14929;
- t14459 = RATIONAL(-1.0,27.0);
- t14914 = t14459*t14524;
- t15456 = t14522*t14914+t13920;
- t14899 = t14523*t14521;
- t14937 = t14528*t14523;
- t14454 = RATIONAL(-1.0,18.0);
- t14519 = RATIONAL(2.0,9.0);
- t15455 = t14519*t14899+t14454*t14937;
- t14873 = t14528*t14399;
- t13853 = t14526*t14873;
- t15454 = t13853+t14521*t14870;
- t14646 = t14521*t14913;
- t14457 = RATIONAL(1.0,27.0);
- t14989 = y*t14528;
- t14790 = t14457*t14989;
- t15453 = t14790+t14646;
- t14723 = t14527*t14899;
- t14749 = t14523*t14848;
- t15452 = t14749+t14723;
- t14983 = y*t15012;
- t15004 = z*t14524;
- t14984 = y*t15004;
- t15451 = t14984+t14983;
- t14947 = t14524*t14527;
- t15450 = t14522*t14915+t14462*t14947;
- t14467 = RATIONAL(-4.0,27.0);
- t15010 = y*t14527;
- t15449 = t14467*t15010+t15465*t14522;
- t14458 = RATIONAL(4.0,27.0);
- t15032 = y*x;
- t14408 = RATIONAL(-16.0,27.0);
- t14878 = t14466*t14524;
- t15008 = y*t14524;
- t15448 = t14525*t14878+t14408*t15032+t14458*t15008;
- t14515 = RATIONAL(-4.0,9.0);
- t14507 = RATIONAL(1.0,3.0);
- t15447 = t14523*t14507+t14515;
- t14446 = RATIONAL(-1.0,72.0);
- t14928 = t14525*t14446;
- t14439 = RATIONAL(1.0,144.0);
- t15446 = y*t14439+t14928;
- t14442 = RATIONAL(5.0,576.0);
- t14441 = RATIONAL(-5.0,576.0);
- t15025 = z*t14521;
- t14918 = t14526*t14521;
- t15445 = t14441*t14918+t14442*t15025;
- t14888 = t14523*t14522;
- t14426 = RATIONAL(5.0,192.0);
- t14665 = t14426*t14888;
- t14423 = RATIONAL(-1.0,192.0);
- t14932 = t14523*t14527;
- t15444 = t14423*t14932+t14665;
- t14437 = RATIONAL(-1.0,288.0);
- t14345 = t14437*t14527;
- t14010 = t14524*t14345;
- t15443 = t14010+t14446*t14524;
- t14499 = RATIONAL(-1.0,9.0);
- t14382 = t14499*t14524;
- t14520 = RATIONAL(4.0,9.0);
- t14845 = t14525*t14520;
- t15442 = x*t14845+t14525*t14382;
- t14425 = RATIONAL(-1.0,216.0);
- t14857 = t14425*t14526;
- t13923 = t14528*t14857;
- t14891 = t14528*t14449;
- t14136 = z*t14891;
- t15441 = t13923+t14136;
- t14097 = t14446*t14848;
- t15440 = t14454*t14522+t14097;
- t14461 = RATIONAL(-1.0,12.0);
- t14096 = t14461*t14937;
- t14500 = RATIONAL(1.0,9.0);
- t15439 = t14096+t14500*t14528;
- t14351 = t14446*t14527;
- t14147 = x*t14351;
- t15438 = t14147+t14454*x;
- t14509 = RATIONAL(-1.0,3.0);
- t15437 = t14520+t14523*t14509;
- t14440 = RATIONAL(-1.0,144.0);
- t14493 = RATIONAL(1.0,72.0);
- t15436 = y*t14440+t14525*t14493;
- t14936 = t14522*t14524;
- t15435 = t14396*t14947+t14399*t14936;
- t14924 = t14410*t14527;
- t14954 = t14522*t14411;
- t14031 = x*t14954;
- t15434 = x*t14924+t14031;
- t14360 = t14493*t14524;
- t14435 = RATIONAL(1.0,288.0);
- t14333 = t14435*t14527;
- t13959 = t14524*t14333;
- t15433 = t14360+t13959;
- t14474 = RATIONAL(1.0,48.0);
- t15432 = t14440+t14523*t14474;
- t14455 = RATIONAL(-1.0,36.0);
- t14389 = t14499*t14526;
- t14883 = t14528*t14526;
- t15431 = t14389+t14455*t14883;
- t14964 = t14410*t14522;
- t15015 = x*t14527;
- t15430 = x*t14964+t14411*t15015;
- t14421 = RATIONAL(-1.0,108.0);
- t14930 = t14525*t14421;
- t14688 = t14526*t14930;
- t14990 = z*t14420;
- t14782 = t14525*t14990;
- t15428 = t14782+t14688;
- t14412 = RATIONAL(1.0,864.0);
- t14876 = t14412*t14528;
- t14445 = RATIONAL(-1.0,864.0);
- t15427 = z*t14876+t14445*t14883;
- t13895 = t14396*t14936;
- t15426 = t13895+t14399*t14947;
- t13988 = t14526*t14876;
- t15425 = t14445*t15028+t13988;
- t14923 = t14522*t14441;
- t14902 = t14442*t14522;
- t15424 = t14524*t14923+x*t14902;
- t15423 = t14462*t14883+t14469*t14918;
- t14363 = t14446*t14528;
- t15422 = (t14363+t14454)*z;
- t14468 = RATIONAL(5.0,96.0);
- t14481 = RATIONAL(-1.0,24.0);
- t14963 = t14523*t14481;
- t15421 = t14963+t14468*t14899;
- t13986 = t14412*t14947;
- t15420 = t13986+t14445*t15015;
- t14854 = t14525*t14515;
- t14922 = t14525*t14500;
- t15419 = x*t14854+t14524*t14922;
- t15418 = (t14454+t14351)*t14521;
- t14477 = RATIONAL(-1.0,48.0);
- t14898 = t14477*t14527;
- t14122 = t14523*t14898;
- t14485 = RATIONAL(1.0,36.0);
- t14355 = t14485*t14527;
- t15417 = t14355+t14122;
- t14453 = RATIONAL(1.0,12.0);
- t15416 = t14499*t14528+t14453*t14937;
- t15415 = x*t14923+t14524*t14902;
- t13922 = t14435*t14883;
- t14350 = t14493*t14526;
- t15414 = t13922+t14350;
- t13919 = t14437*t14883;
- t15413 = t14446*t14526+t13919;
- t14394 = RATIONAL(-1.0,1152.0);
- t14406 = RATIONAL(1.0,1152.0);
- t14645 = t14406*t14937;
- t15412 = t14394*t14899+t14645;
- t14855 = t14466*t14521;
- t15411 = t14526*t14855+t14449*t14883;
- t14863 = t14445*t14524;
- t13904 = t14527*t14863;
- t15410 = t14412*t15015+t13904;
- t15409 = t14485*t14883+t14500*t14526;
- t15408 = t14442*t14918+t14441*t15025;
- t14342 = t14439*t14526;
- t14443 = RATIONAL(-1.0,576.0);
- t15013 = z*t14443;
- t14444 = RATIONAL(1.0,576.0);
- t15407 = t14444*t14883+t14528*t15013+t14342;
- t14919 = t14444*t14527;
- t13984 = t14443*t15015;
- t15406 = t13984+(t14439+t14919)*t14524;
- t13917 = t14444*t15028;
- t15405 = t14443*t14883+t13917+t14440*t14526;
- t14880 = t14406*t14527;
- t13857 = t14521*t14880;
- t14340 = t14437*t14528;
- t15404 = t14435*t14521+t13857+t14340;
- t13949 = t14443*t14947;
- t15403 = t13949+t14440*t14524+x*t14919;
- t15402 = t14345+t14435*t14522+t14406*t14848;
- t14868 = t14526*t14524;
- t15024 = z*t14396;
- t15401 = t14396*t14868+t14399*t15004+(t15024+t14882)*x;
- t14397 = RATIONAL(1.0,3456.0);
- t14398 = RATIONAL(-1.0,3456.0);
- t15026 = x*t14522;
- t14896 = t14397*t14524;
- t15400 = t14527*t14896+t14397*t15026+(t15015+t14936)*t14398;
- t14402 = RATIONAL(-1.0,6912.0);
- t14395 = RATIONAL(1.0,6912.0);
- t14973 = t14522*t14521;
- t14841 = t14395*t14527;
- t14910 = t14528*t14527;
- t15399 = t14395*t14848+t14521*t14841+(t14910+t14973)*t14402;
- t15398 = t14397*t15015+t14522*t14896+(t15026+t14947)*t14398;
- t14912 = t14398*t14521;
- t15005 = z*t14397;
- t15397 = t14398*t15028+t14397*t14883+t14521*t15005+t14526*t14912;
- t15396 = t14528*t15005+z*t14912+t14398*t14883+t14397*t14918;
- t15030 = x*z;
- t15395 = x*t14870+t14396*t15004+(t14868+t15030)*t14399;
- t14388 = t14500*t14527;
- t14070 = t14461*t14932;
- t15394 = t14388+t14070;
- t14934 = t14525*t14521;
- t15393 = t14435*t14934+t14442*t14989;
- t15392 = (t14500+t14355)*t14524;
- t15001 = z*t14457;
- t14192 = x*t15001;
- t14655 = t14440*t14868;
- t15391 = t14192+t14523*t14655;
- t14931 = t14523*t14524;
- t14797 = z*t14931;
- t15002 = x*t14421;
- t13976 = t14526*t15002;
- t15390 = t13976+t14485*t14797;
- t13952 = t14420*t14883;
- t14102 = t14521*t15001;
- t14667 = t14440*t14937;
- t14948 = t14528*t14421;
- t14008 = z*t14948;
- t14697 = t14485*t14899;
- t15260 = t14102+t14008+(t14697+t14667)*t14526;
- t14652 = t14439*t14937;
- t13048 = z*t14652;
- t14877 = t14523*t14455;
- t14809 = z*t14877;
- t15389 = t13048+t14521*t14809+t13952+t14459*t14918+t15260;
- t14038 = t14420*t14868;
- t15388 = x*t14809+t14038;
- t15021 = x*t14459;
- t14157 = z*t15021;
- t14747 = t14523*t14342;
- t15387 = t14524*t14747+t14157;
- t14967 = t14525*t14485;
- t14957 = t14525*t14499;
- t15386 = t14526*t14967+z*t14957;
- t14240 = t14453*t14932;
- t15385 = t14240+t14499*t14527;
- t15384 = t14461+t14898;
- t14904 = t14455*t14524;
- t14117 = t14527*t14904;
- t15383 = t14117+t14382;
- t14414 = RATIONAL(5.0,288.0);
- t14792 = t14414*t14989;
- t14858 = t14440*t14527;
- t13910 = t14528*t14858;
- t14465 = RATIONAL(5.0,72.0);
- t14925 = t14465*t14521;
- t14059 = t14522*t14925;
- t14900 = y*t14059+t14525*t13910;
- t14354 = t14455*t14522;
- t14748 = t14525*t14354;
- t15382 = t14900+t14527*t14792+t14521*t14748;
- t13931 = z*t14929;
- t14691 = t14526*t14877;
- t15381 = x*t14691+t13931;
- t13902 = t14399*t14901;
- t14409 = RATIONAL(1.0,216.0);
- t13975 = t14409*t14848;
- t15380 = y*t13902+t14525*t13975;
- t14041 = t14421*t14883;
- t13129 = z*t14667;
- t14057 = t14528*t14990;
- t14962 = t14459*t14521;
- t14232 = z*t14962;
- t15217 = t14057+t14521*t14691+t14526*t14652+t14232;
- t15379 = t14041+t14457*t14918+z*t14697+t15217+t13129;
- t14020 = t14420*t15012;
- t15378 = t14455*t14797+t14020;
- t14498 = RATIONAL(1.0,6.0);
- t14484 = RATIONAL(-5.0,24.0);
- t15377 = t14484*t14522+t14498;
- t14037 = t14412*t14868;
- t15019 = z*t14523;
- t14802 = t14446*t15019;
- t15376 = t14037+x*t14802;
- t14513 = RATIONAL(5.0,6.0);
- t14516 = RATIONAL(-2.0,3.0);
- t15375 = t14513*t14521+t14516;
- t14052 = z*t14863;
- t14966 = t14523*t14526;
- t14791 = x*t14966;
- t15374 = t14493*t14791+t14052;
- t14367 = t14493*t14527;
- t14243 = y*t14367;
- t14413 = RATIONAL(-5.0,144.0);
- t14842 = t14413*t14521;
- t13993 = t14522*t14842;
- t15373 = t14900+t14528*t14243+t14525*t13993;
- t14960 = t14477*t14523;
- t14668 = t14423*t14937;
- t15372 = t14668+t14426*t14899+t14960;
- t14996 = z*t14409;
- t13916 = t14524*t14996;
- t14759 = t14437*t14966;
- t15318 = t13916+x*t14759;
- t13990 = t14412*t15012;
- t15371 = t15318+t14446*t14797+t13990;
- t14998 = x*t14523;
- t14778 = t14437*t14998;
- t14940 = t14425*t14524;
- t13925 = z*t14940;
- t14941 = t14523*t14435;
- t14745 = t14526*t14941;
- t15306 = t13925+x*t14745;
- t15370 = t14409*t14868+z*t14778+t15306;
- t14105 = t14462*t14848;
- t13998 = t14420*t14901;
- t15289 = t14525*t14105+y*t13998;
- t14647 = t14425*t14934;
- t15369 = t14522*t14790+t15289+t14527*t14647;
- t14016 = t14411*t14910;
- t15368 = t14522*t14646+y*t14016+t15289;
- t14906 = t14525*t14459;
- t14789 = z*t14906;
- t14210 = t14462*t14868;
- t14718 = t14525*t14868;
- t14851 = t14457*t14525;
- t14769 = x*t14851;
- t15220 = t14420*t14718+z*t14769+y*t14210+t14997*t15032;
- t15367 = t14524*t14789+y*t14222+t14916*t15032+t15220;
- t15366 = t15374+t15376;
- t13908 = t14445*t15012;
- t14862 = t14523*t14493;
- t14757 = t14524*t14862;
- t13855 = t14396*t14910;
- t15309 = t14522*t14647+y*t13855;
- t14043 = x*t14996;
- t15302 = t14524*t14759+t14043;
- t14036 = t14522*t14911;
- t13933 = t14445*t14910;
- t15291 = t14525*t13933+y*t14036;
- t14601 = t15291+t15302+t15309+t15376;
- t15365 = t13908+z*t14757+t14601+t15306;
- t13974 = t14420*t14918;
- t14368 = t14455*t14528;
- t14804 = z*t14368;
- t14892 = t14462*t14521;
- t14225 = t14527*t14892;
- t14024 = t14420*t14848;
- t15311 = y*t14024+t14525*t14225;
- t13926 = t14409*t14910;
- t14170 = t14522*t14962;
- t15299 = y*t14170+t14525*t13926;
- t15252 = t15299+t15311;
- t14738 = t14500*t14899;
- t15364 = t15217+t15252+t13974+t14523*t14804+z*t14738;
- t14875 = t14457*t14524;
- t14681 = t14485*t14888;
- t14946 = t14421*t14527;
- t14053 = t14524*t14946;
- t13983 = t14420*t15015;
- t14704 = t14439*t14932;
- t14720 = t14522*t14877;
- t14145 = t14522*t15021;
- t15277 = t13983+t14145+(t14720+t14704)*t14524;
- t15363 = t14522*t14875+x*t14681+t14053+t15277;
- t14015 = x*t14946;
- t14943 = t14457*t14522;
- t14206 = x*t14943;
- t14709 = t14523*t14858;
- t15250 = t14015+t14206+(t14709+t14681)*t14524;
- t15362 = t15250+x*t14720+t15456;
- t14837 = z*t14899;
- t15361 = t14439*t14837+t13129+t15454;
- t14971 = t14525*t14526;
- t14822 = x*t14971;
- t14887 = t14525*t14411;
- t14708 = t14526*t14887;
- t14828 = z*t14930;
- t15243 = x*t14828+t14524*t14708+(t14037+t14043)*y;
- t15360 = t14410*t14822+t15243+(t13908+t13925)*y;
- t14093 = t14449*t14868;
- t15003 = z*t14469;
- t15235 = x*t14789+t15003*t15032+t14524*t14688+y*t14093;
- t14119 = z*t14878;
- t14727 = t14524*t14851;
- t15359 = z*t14727+t15235+y*t14119+t14949*t15032;
- t14730 = t14524*t14888;
- t13978 = t14409*t15026;
- t14807 = x*t14932;
- t15358 = t14493*t14730+t14435*t14807+t13978+t15420;
- t14781 = t14485*t14998;
- t13909 = t14421*t14868;
- t15213 = z*t14781+t13909+t15387;
- t15357 = t14440*t14791+z*t14875+t15213+t15378;
- t14056 = t14411*t14868;
- t14945 = t14525*t14524;
- t14743 = t14462*t14945;
- t15356 = z*t14743+(t14056+t14157)*y+t15464*x;
- t14866 = t14425*t14522;
- t13991 = x*t14866;
- t15355 = t14446*t14730+t13991+t14527*t14778+t15410;
- t13970 = t14410*t14868;
- t14806 = z*t14907;
- t15354 = t14525*t14806+(t14192+t13970)*y+t15459*x;
- t14092 = t14493*t14848;
- t14908 = t14449*t14521;
- t14230 = t14522*t14908;
- t14677 = t14446*t14899;
- t13930 = t14528*t14345;
- t15272 = t13926+t14522*t14677+t14523*t13930+t14230;
- t14773 = y*t14948;
- t15214 = t14527*t14773+t14525*t14230+t15299;
- t14605 = t15214+t15272;
- t15353 = t14105+t14425*t14901+t14523*t14092+t14435*t14723+t14605;
- t13905 = t14410*t14883;
- t14005 = t14421*t14918;
- t14353 = t14485*t14528;
- t14795 = z*t14353;
- t14827 = t14499*t15019;
- t15352 = t15252+t15260+t13905+t14521*t14827+t14523*t14795+t14005;
- t14814 = t14522*t15006;
- t14042 = t14411*t14947;
- t13979 = t14409*t14947;
- t14921 = t14525*t14527;
- t14780 = x*t14921;
- t13972 = t14522*t14929;
- t15225 = t14525*t13979+t14462*t14780+(t14145+t13972)*y;
- t15351 = t15225+t14522*t14743+t14525*t14814+(t13983+t14042)*y;
- t14044 = t14421*t15004;
- t13239 = t14525*t14044;
- t15000 = x*t14425;
- t14007 = z*t15000;
- t14011 = t14526*t14863;
- t14706 = t14410*t14945;
- t15273 = t14526*t14706+x*t14782+(t14011+t14007)*y;
- t15350 = t15273+t13239+x*t14708+(t13990+t13916)*y;
- t14707 = t14525*t14918;
- t15254 = t15441*t14525+(t14102+t14005)*y;
- t15349 = y*t13905+t14521*t14784+t14449*t14707+z*t14773+t15254;
- t14872 = t14523*t14444;
- t14680 = t14527*t14872;
- t14740 = t14523*t14910;
- t14871 = t14440*t14522;
- t14649 = t14523*t14871;
- t15227 = t14036+t13855+t14521*t14649+t14443*t14740;
- t13927 = t14411*t14848;
- t15348 = t13902+t15227+t14521*t14680+t13927+t14522*t14652;
- t14986 = z*t14998;
- t15347 = t14056+t14500*t14986+t15381+t15387+t15378;
- t13950 = t14524*t14924;
- t14009 = t14421*t14936;
- t14657 = t14525*t14940;
- t15248 = t14527*t14657+t14449*t14780+(t14206+t14009)*y;
- t14869 = t14522*t14466;
- t14831 = x*t14869;
- t14763 = t14525*t14936;
- t15346 = t15248+t14449*t14763+t14525*t14831+(t13950+t14015)*y;
- t15345 = x*t14747+t15388+t15391+z*t14914+t15390;
- t14755 = t14526*t14899;
- t14717 = t14443*t14966;
- t15251 = t14444*t14755+t14528*t14717+t15458;
- t15344 = t14440*t14837+t15251+t13048+t15462;
- t13937 = t14528*t14333;
- t14909 = t14528*t14425;
- t14673 = t14521*t14862;
- t15241 = t14527*t14909+t14523*t13937+(t14673+t14892)*t14522;
- t14608 = t15214+t15241;
- t15343 = t14523*t14097+t14409*t14901+t14437*t14723+t14608+t14449*t14848;
- t14654 = t14439*t14888;
- t15226 = t14528*t14680+t14527*t14873+(t14954+t14654)*t14521;
- t14682 = t14443*t14899;
- t15342 = t14527*t14682+t14410*t14848+t14396*t14901+t15226+t14528*t14649;
- t15231 = t14526*t14781+t14044+t15391;
- t15341 = t13970+x*t14827+t15231+t15390;
- t14035 = t14411*t14883;
- t14905 = t14528*t14525;
- t14751 = t14462*t14905;
- t14045 = t14409*t14883;
- t15265 = t14525*t14045+z*t14751+(t14232+t13974)*y;
- t15340 = t14462*t14707+z*t14646+t15265+(t14035+t14057)*y;
- t14249 = z*t14892;
- t14032 = t14409*t14918;
- t15287 = t14523*t13922+z*t14673+t14032;
- t15339 = t14437*t14755+t14249+t15287+t14528*t14802+t15441;
- t14776 = z*t14862;
- t14221 = t14462*t15028;
- t14191 = z*t14908;
- t13946 = t14521*t14857;
- t15284 = t14523*t13919+t13946+z*t14677;
- t15338 = t14528*t14776+t14045+t14221+t14191+t14521*t14745+t15284;
- t13934 = t14410*t14910;
- t14700 = t14499*t14888;
- t14689 = t14521*t14355;
- t15337 = t14528*t14681+t14523*t14689+t13934+t14527*t14667+(t14700+t14943)
-*t14521+t15429*t14421;
- t14959 = t14525*t14425;
- t14788 = z*t14959;
- t14683 = t14409*t14934;
- t15336 = t14445*t14707+t14525*t13988+t14528*t14788+z*t14683+(t15454+
-t15463)*y;
- t15014 = x*t14462;
- t14151 = t14527*t15014;
- t14172 = t14524*t14869;
- t15335 = t14420*t14780+t14522*t14727+(t14145+t14053)*t14525+(t14814+
-t14172+t14187+t14151)*y;
- t14803 = y*t14936;
- t14808 = y*t14947;
- t15334 = t14469*t14780+t14467*t14803+t14457*t14808+t15450*t14525+t15449*x
-;
- t14838 = t14528*t14996;
- t14897 = t14525*t14445;
- t14735 = t14526*t14897;
- t15333 = z*t14647+t14525*t14838+t14528*t14735+t14412*t14707+(t15458+
-t15462)*y;
- t14999 = x*t14449;
- t14229 = t14527*t14999;
- t15332 = t14522*t14769+t14421*t14780+t15456*t14525+(t14831+t14229+t15450)
-*y;
- t14812 = y*t14868;
- t15331 = t14458*t14983+t14459*t14812+t14524*t14712+t15457*t14525+t15448*z
-;
- t14977 = x*t15010;
- t14799 = t14459*t15010;
- t15330 = t14524*t14799+t14458*t14977+t14466*t14780+t15461*t14525+t15448*
-t14522;
- t14884 = t14469*t14527;
- t14829 = x*t14888;
- t14669 = t14454*t14936;
- t14656 = t14527*t14862;
- t15329 = t14454*t14807+t14524*t14656+t14523*t14669+t14452*t15026+t14519*
-t14829+x*t14884+t15450;
- t14662 = t14527*t14877;
- t15328 = t14521*t14662+t14016+t14528*t14720+t13998+t14522*t14738+t14024+
-t14170+t14527*t14652;
- t14505 = RATIONAL(-2.0,9.0);
- t14771 = t14505*t15019;
- t14933 = t14460*t14521;
- t14216 = z*t14933;
- t14486 = RATIONAL(1.0,18.0);
- t14658 = t14486*t14918;
- t14767 = t14486*t15019;
- t14725 = t14523*t14883;
- t15327 = t14446*t14725+t14521*t14771+t14216+t14523*t14658+t15411+(t14767+
-t14997)*t14528;
- t14648 = t14505*t14888;
- t15326 = t14446*t14740+t14466*t14848+t14521*t14648+t14522*t14933+(t14891+
-t14855)*t14527+t15452*t14486;
- t14073 = t14524*t14351;
- t15325 = x*t14648+t14523*t14073+t14466*t15015+t14172+(t14730+t14807)*
-t14486+t15461;
- t14356 = t14454*t14526;
- t14698 = t14523*t14356;
- t14956 = t14452*t14521;
- t14152 = z*t14956;
- t15324 = t14521*t14698+t14528*t15003+t14152+t14493*t14725+t15423+t15455*z
-;
- t14752 = t14525*t14848;
- t14787 = t14467*t14989;
- t15323 = t14522*t14787+t14469*t14752+t15449*t14521+(t14751+t15453)*t14527
-;
- t15322 = t14457*t14812+t14462*t14718+t15460*t14525+t15465*t15030+t15451*
-t14467;
- t15016 = y*t14521;
- t14976 = z*t15016;
- t14813 = y*t14918;
- t14981 = z*t14989;
- t14794 = t14459*t14989;
- t15321 = t14466*t14707+t14526*t14794+t14408*t14976+t14525*t14216+(t14813+
-t14981)*t14458+t15459*t14528;
- t15320 = t14462*t14910+t14469*t14848+t14521*t14884+t14454*t14723+t14528*
-t14656+(t14956+t15455)*t14522;
- t15319 = z*t14787+t14525*t14152+t14424*t14976+t14467*t14813+t15453*t14526
-+t15464*t14528;
- t13997 = x*t14857;
- t14716 = t14435*t14931;
- t15317 = t13997+z*t14716;
- t14492 = RATIONAL(-5.0,72.0);
- t14801 = t14492*t14989;
- t13948 = t14439*t14921;
- t15316 = t14521*t13948+t14522*t14801;
- t14783 = t14454*t15010;
- t14518 = RATIONAL(5.0,9.0);
- t14968 = t14518*t14522;
- t14256 = t14521*t14968;
- t15315 = t14528*t14783+t14525*t14256;
- t14826 = y*t14910;
- t14431 = RATIONAL(-5.0,192.0);
- t14765 = t14522*t14934;
- t15314 = t14468*t14765+t14431*t14826;
- t13929 = t14439*t14905;
- t14768 = t14492*t15010;
- t15313 = t14521*t14768+t14522*t13929;
- t14475 = RATIONAL(5.0,48.0);
- t14510 = RATIONAL(-5.0,6.0);
- t15312 = t14510*t14765+t14475*t14826;
- t14860 = t14412*t14521;
- t13967 = t14527*t14860;
- t15310 = y*t13927+t14525*t13967;
- t14696 = t14525*t14355;
- t14993 = y*RATIONAL(-10.0,9.0);
- t14815 = t14521*t14993;
- t15307 = t14522*t14815+t14528*t14696;
- t14438 = RATIONAL(-5.0,288.0);
- t13992 = t14438*t14848;
- t15305 = t14525*t14689+y*t13992;
- t13955 = t14445*t14973;
- t15303 = y*t13934+t14525*t13955;
- t13911 = t14438*t14901;
- t15301 = y*t13911+t14485*t14752;
- t15300 = t14007+t14526*t14716;
- t13914 = t14412*t14848;
- t14033 = t14411*t14901;
- t15298 = y*t14033+t14525*t13914;
- t14404 = RATIONAL(5.0,1152.0);
- t13877 = t14404*t14901;
- t14674 = t14443*t14848;
- t15297 = t14525*t14674+y*t13877;
- t14405 = RATIONAL(-5.0,1152.0);
- t13872 = t14405*t14973;
- t14762 = t14527*t14905;
- t15296 = y*t13872+t14444*t14762;
- t13953 = t14409*t15012;
- t15295 = t14437*t14797+t13953;
- t14417 = RATIONAL(25.0,12.0);
- t14836 = y*t14973;
- t15294 = t14417*t14836+t14481*t14762;
- t13866 = t14404*t14848;
- t14758 = t14525*t14901;
- t15293 = y*t13866+t14443*t14758;
- t14401 = RATIONAL(-25.0,192.0);
- t14470 = RATIONAL(1.0,96.0);
- t14894 = t14528*t14470;
- t14670 = t14527*t14894;
- t15292 = t14401*t14836+t14525*t14670;
- t13899 = t14399*t14848;
- t15290 = t14527*t14683+y*t13899;
- t14281 = t14499*t14901;
- t14494 = RATIONAL(5.0,18.0);
- t14834 = y*t14848;
- t15288 = t14525*t14281+t14494*t14834;
- t13968 = t14524*t14866;
- t15286 = t13968+t14446*t14829+t14523*t14010;
- t14034 = t14409*t14936;
- t15285 = t14523*t13959+t14034+t14493*t14829;
- t15283 = t14526*t14657+(t13976+t14044)*y;
- t15282 = t14409*t14718+(t14020+t13931)*y;
- t15281 = x*t14654+t15426;
- t14785 = t14523*t15013;
- t15280 = t14528*t14785+t14444*t14837+t14526*t14911;
- t14679 = t14522*t14872;
- t15279 = t14410*t14936+x*t14679+t14523*t13984;
- t14991 = x*t14525;
- t14770 = t14435*t14991;
- t14687 = t14525*t14345;
- t15278 = t14527*t14770+t14524*t14687+t15424*y;
- t14650 = t14493*t14905;
- t14733 = t14446*t14905;
- t14490 = RATIONAL(-5.0,36.0);
- t14886 = t14490*t14521;
- t14480 = RATIONAL(5.0,36.0);
- t14082 = t14480*t14918;
- t15031 = y*z;
- t15275 = y*t14082+t14886*t15031+z*t14733+t14526*t14650;
- t14491 = RATIONAL(-5.0,18.0);
- t14489 = RATIONAL(10.0,9.0);
- t14988 = t14489*t15032;
- t14262 = t14525*t14388;
- t15274 = x*t14262+t14525*t14117+t14491*t14803+t14522*t14988;
- t13889 = t14394*t14910;
- t14428 = RATIONAL(5.0,384.0);
- t14692 = t14428*t14899;
- t14430 = RATIONAL(1.0,384.0);
- t14715 = t14430*t14937;
- t15271 = t13889+t13872+t14527*t14715+t14522*t14692;
- t14980 = t14480*t15031;
- t14644 = t14446*t14868;
- t14429 = RATIONAL(5.0,144.0);
- t14850 = t14525*t14454;
- t14238 = z*t14850;
- t15270 = t14525*t14644+t14429*t14812+(t14238+t14980)*x;
- t15269 = t15291+t15298;
- t14433 = RATIONAL(1.0,192.0);
- t14849 = t14523*t14433;
- t14737 = t14527*t14849;
- t15268 = t13910+t14528*t14737+t14521*t14665+t13993;
- t13973 = t14521*t14996;
- t14659 = t14528*t14887;
- t15267 = t14525*t14054+t14526*t14659+(t13946+t13973)*y;
- t14793 = z*t14340;
- t14672 = t14435*t14905;
- t15266 = t14525*t14793+t14526*t14672+t15408*y;
- t14741 = t14521*t14888;
- t15264 = t14431*t14741+t14429*t14973+t14439*t14910+t14527*t14668;
- t14482 = RATIONAL(-5.0,12.0);
- t14661 = t14482*t14899;
- t15263 = t14522*t14661+t14256+t15417*t14528;
- t14950 = t14525*t14486;
- t14246 = z*t14950;
- t14811 = t14413*t15008;
- t14978 = t14490*t15032;
- t15262 = t14493*t14718+z*t14978+x*t14246+t14526*t14811;
- t14874 = t14480*t14522;
- t14110 = t14524*t14874;
- t14927 = t14490*t14522;
- t14651 = t14493*t14921;
- t15261 = y*t14110+t14927*t15032+t14524*t14651+t14446*t14780;
- t14987 = x*t14993;
- t15259 = t14494*t14803+t14499*t14780+t14522*t14987+t14524*t14696;
- t15258 = x*t14776+t14011+t15300;
- t14137 = t14465*t15026;
- t14935 = t14525*t14440;
- t14744 = t14524*t14935;
- t14885 = t14438*t14522;
- t13945 = t14524*t14885;
- t15257 = x*t14696+t14527*t14744+(t14137+t13945)*y;
- t15256 = t14525*t14042+t14410*t14780+(t13978+t13968)*y;
- t14483 = RATIONAL(1.0,24.0);
- t14903 = t14483*t14527;
- t14471 = RATIONAL(-5.0,96.0);
- t14844 = t14475*t14522;
- t15255 = t14471*t14758+y*t14844+t14426*t14834+t14525*t14903;
- t13999 = t14425*t15025;
- t15253 = t14525*t13905+z*t14659+(t14032+t13999)*y;
- t14512 = RATIONAL(-5.0,9.0);
- t14939 = t14512*t14521;
- t14861 = t14474*t14527;
- t14174 = t14523*t14861;
- t14479 = RATIONAL(5.0,12.0);
- t14695 = t14479*t14899;
- t15249 = t14528*t14174+t14455*t14910+(t14939+t14695)*t14522;
- t14000 = t14412*t15004;
- t15247 = t14000+t14446*t14791+t15295;
- t15246 = z*t14672+t14525*t13919+t15445*y;
- t15245 = x*t14687+t14525*t13959+t15415*y;
- t14893 = t14490*t14524;
- t14211 = t14522*t14893;
- t15244 = y*t14211+x*t14651+t14874*t15032+t14525*t14073;
- t15242 = t14523*t13949+t14524*t14679+t15430;
- t14427 = RATIONAL(-1.0,384.0);
- t14702 = t14427*t14932;
- t14434 = RATIONAL(-5.0,384.0);
- t15240 = t14404*t14973+t14434*t14741+(t14702+t14880)*t14528;
- t15239 = t15290+t15309;
- t14244 = t14526*t14886;
- t15238 = y*t14244+t14526*t14733+z*t14650+t14480*t14976;
- t14711 = t14522*t14845;
- t15237 = t14528*t14768+t14521*t14711+t15288;
- t15236 = t15290+t15298;
- t15234 = t14411*t14780+t14527*t14706+(t14034+t13991)*y;
- t14879 = t14526*t14414;
- t13913 = t14521*t14879;
- t14113 = t14455*t14905;
- t14942 = t14492*t14521;
- t14133 = z*t14942;
- t15233 = t14526*t13929+z*t14113+(t14133+t13913)*y;
- t15232 = t14526*t14682+t14444*t14725+t15463;
- t14488 = RATIONAL(5.0,24.0);
- t14496 = RATIONAL(-1.0,6.0);
- t14852 = t14496*t14528;
- t14840 = y*t14901;
- t14506 = RATIONAL(-5.0,3.0);
- t15011 = y*t14506;
- t15230 = t14525*t14852+t14482*t14840+t14521*t15011+t14488*t14752;
- t14719 = t14437*t14888;
- t15229 = t14527*t14677+t14449*t14901+t14528*t14719+t13975;
- t14047 = t14425*t14848;
- t14830 = t14457*t15010;
- t15228 = t14525*t14047+t14521*t14830+t15311;
- t15224 = t14225+t14521*t14656+t14047+t14435*t14749;
- t14663 = t14429*t14934;
- t14185 = t14455*t14921;
- t15222 = t14527*t14663+t14185+t15440*y;
- t14856 = t14522*t14414;
- t13996 = t14524*t14856;
- t14223 = t14492*t15026;
- t15221 = x*t14185+t14524*t13948+(t13996+t14223)*y;
- t13918 = t14429*t14848;
- t15219 = t14113+t14525*t13918+t15418*y;
- t15218 = t15302+t15317;
- t14722 = t14443*t14931;
- t15216 = t14522*t14722+t14524*t14680+t15434;
- t14881 = t14438*t14526;
- t14048 = t14521*t14881;
- t14212 = z*t14925;
- t14684 = t14526*t14935;
- t15215 = t14525*t14795+t14528*t14684+(t14212+t14048)*y;
- t15212 = t14525*t13963+t14411*t14707+(t13923+t14838)*y;
- t15211 = t15303+t15310;
- t15210 = t15428*t14521+t15427*y;
- t13957 = t14527*t14940;
- t15209 = t14524*t14719+t14523*t14147+t14522*t15014+t13957+t14229;
- t15208 = t15293+t15296+t14405*t14826+t14444*t14765+t15297;
- t15207 = t15301+t15316+t15382;
- t14796 = x*t14959;
- t14779 = t14409*t14991;
- t15206 = t15002*t15031+y*t13909+t14526*t14796+(t14779+t14657)*z;
- t14140 = t14522*t14999;
- t14671 = t14435*t14936;
- t15205 = t13979+t14140+x*t14656+t14523*t14671+t14151;
- t15204 = x*t14788+y*t14038+t14990*t15032+t14526*t14779+t14525*t13916;
- t15203 = t15313+t15305+t15382;
- t14731 = t14471*t14899;
- t14364 = t14493*t14528;
- t15202 = t14470*t14725+t14526*t14731+t14483*t14966+t14133+(t14486+t14364)
-*z;
- t14160 = t14470*t14932;
- t15201 = t14471*t14730+t14524*t14160+t14483*t14931+t14223+(t14486+t14367)
-*x;
- t15200 = t15258+t15309;
- t14473 = RATIONAL(-1.0,96.0);
- t14118 = t14473*t14932;
- t15199 = t14481*t14931+t14468*t14730+t14524*t14118+t14137+t15438;
- t15198 = t14212+t14473*t14725+t15421*t14526+t15422;
- t15197 = t15216+t15279;
- t15196 = t15232+t15280;
- t15195 = z*t14706+t15243+(t14052+t13997)*y;
- t15194 = x*t14649+t15242+t15435;
- t15193 = t14887*t15004+t15273+(t14000+t13953)*y;
- t14224 = t14522*t14967;
- t14995 = y*t14486;
- t14199 = t14527*t14995;
- t15192 = t15222+t14224+t14199+t15313+t15373;
- t14171 = t14486*t14989;
- t14068 = t14485*t14934;
- t15191 = t14171+t15219+t14068+t15316+t15373;
- t13938 = t14411*t14936;
- t15190 = t13938+x*t14680+t14443*t14829+t15242;
- t15188 = t15216+t15281;
- t15186 = t14526*t14769+t14462*t14984+t15214+t15235+y*t14090+t15228;
- t14764 = t14524*t14872;
- t15185 = x*t14785+t14524*t14717+z*t14764+t14444*t14791+t15401;
- t14675 = t14521*t14851;
- t15184 = t14469*t14976+t14525*t14232+t14526*t14675+t15428*t14528+(t14221+
-t15411)*y;
- t14195 = t14526*t14950;
- t14186 = t14493*t14945;
- t15183 = t15270+t14526*t14978+x*t14195+(t14811+t14186)*z;
- t14165 = t14524*t14928;
- t14226 = t14526*t14850;
- t15182 = x*t14226+z*t14165+t14480*t14983+t14429*t14984+t15262;
- t14994 = y*t14505;
- t14261 = t14527*t14994;
- t14074 = t14527*t14886;
- t14508 = RATIONAL(8.0,9.0);
- t15023 = y*t14508;
- t14259 = t14522*t14854;
- t15181 = t14261+t14525*t14074+t14522*t15023+t14519*t14834+t14262+t14259+
-t15315;
- t14678 = t14522*t14950;
- t14969 = t14525*t14522;
- t14833 = x*t14969;
- t15180 = t14454*t14833+t14524*t14678+t14413*t14977+t14429*t14808+t15244;
- t15179 = t14872*t15030+x*t14717+t14526*t14764+z*t14722+t15395;
- t14742 = t14439*t14945;
- t15178 = t15257+t14522*t14742+t14414*t14808+(t14748+t14768)*x;
- t14772 = t14409*t15015;
- t14750 = t14412*t14945;
- t15177 = (t14796+t14750)*t14522+(t13904+t14772)*t14525+(t15430+t15435)*y;
- t15176 = t14521*t14828+t14420*t14707+t15267+t15425*y;
- t14101 = t14524*t14850;
- t14134 = t14526*t14928;
- t15175 = t14429*t14983+z*t14101+t14524*t14980+x*t14134+t15262;
- t15174 = t15247+t15258;
- t15173 = t14525*t14140+x*t14830+y*t14053+t14522*t14657+t15225;
- t14336 = t14439*z;
- t14982 = t14414*t15031;
- t14805 = y*t14879;
- t15172 = t14524*t14982+z*t14744+t14439*t14718+t14991*t14336+(y*t15030+
-t14812)*t14438+(t14805+t14684)*x;
- t14326 = t14522*t14922;
- t14786 = t14465*t15008;
- t15171 = t14527*t14786+t14491*t14977+t14524*t14326+x*t14259+t15274;
- t14756 = t14525*t14863;
- t14775 = t14527*t15000;
- t15170 = (t14779+t14756)*t14522+(t13986+t14775)*t14525+(t15426+t15434)*y;
- t13343 = x*t14704;
- t15169 = t13343+t15194;
- t14760 = t14437*t14969;
- t14766 = t14442*t15010;
- t15168 = x*t14760+t14441*t14977+t14524*t14766+t14525*t14671+t15278;
- t13262 = x*t14688;
- t15167 = t13262+t15193;
- t14690 = t14525*t14964;
- t15166 = t15256+t14524*t14690+t14525*t14031+(t13979+t14775)*y;
- t14754 = t14523*t14880;
- t14685 = t14394*t14931;
- t15165 = t14527*t14685+t14394*t14829+x*t14754+t14406*t14730+t15400;
- t15164 = t14243+t14326+t15222+t15301;
- t15163 = t14528*t14679+t13899+t14033+t14521*t14704+t15227;
- t14798 = t14412*t14991;
- t15162 = t14445*t14718+t14526*t14798+t14897*t15030+z*t14750+t15401*y;
- t15161 = t14439*t14797+t14459*t15012+t15231+t15388;
- t14003 = t14521*t14858;
- t15160 = t15226+t14410*t14901+t14396*t14848+(t14003+t14674)*t14523;
- t14821 = z*t14941;
- t15159 = t14524*t14857+x*t14821+t15295+t15300+t15318;
- t15158 = t14440*t14797+t14457*t15012+t15213+t15381;
- t15157 = t14526*t14673+t13973+t14528*t14821+t15284+t15425;
- t14703 = t14394*t14937;
- t15156 = t14406*t14837+z*t14703+t15412*t14526+t15396;
- t14264 = t14525*t14389;
- t15155 = x*t14264+t14485*t14718+t14492*t14812+t15451*t14494+(t14987+
-t15442)*z;
- t14666 = t14399*t14921;
- t15154 = t14524*t14666+t14396*t14780+t14525*t13895+t14399*t14833+t15400*y
+fp t13845;
+fp t13844;
+fp t13843;
+fp t13842;
+fp t13841;
+fp t13840;
+fp t13839;
+fp t13838;
+fp t13837;
+fp t13836;
+fp t12871;
+fp t13835;
+fp t13834;
+fp t13833;
+fp t13832;
+fp t13831;
+fp t13830;
+fp t13829;
+fp t13828;
+fp t13827;
+fp t13826;
+fp t13825;
+fp t12937;
+fp t13824;
+fp t12976;
+fp t13823;
+fp t13822;
+fp t12910;
+fp t13821;
+fp t13820;
+fp t12226;
+fp t13819;
+fp t13818;
+fp t13817;
+fp t13816;
+fp t13815;
+fp t13814;
+fp t13813;
+fp t13812;
+fp t13811;
+fp t13810;
+fp t13809;
+fp t13808;
+fp t13807;
+fp t13806;
+fp t13805;
+fp t13378;
+fp t13385;
+fp t13396;
+fp t13804;
+fp t13803;
+fp t13802;
+fp t13258;
+fp t13801;
+fp t13256;
+fp t13800;
+fp t13799;
+fp t13798;
+fp t13438;
+fp t13797;
+fp t13796;
+fp t13795;
+fp t13794;
+fp t13449;
+fp t13793;
+fp t13792;
+fp t13791;
+fp t13790;
+fp t13579;
+fp t13789;
+fp t13788;
+fp t12075;
+fp t13787;
+fp t12240;
+fp t13786;
+fp t13785;
+fp t13254;
+fp t13432;
+fp t13564;
+fp t13784;
+fp t13252;
+fp t13783;
+fp t13782;
+fp t13781;
+fp t13033;
+fp t13657;
+fp t13780;
+fp t13024;
+fp t13779;
+fp t13096;
+fp t13661;
+fp t13778;
+fp t13103;
+fp t13777;
+fp t13094;
+fp t13776;
+fp t13092;
+fp t13775;
+fp t13020;
+fp t13774;
+fp t13022;
+fp t13773;
+fp t13645;
+fp t13772;
+fp t13771;
+fp t13289;
+fp t13770;
+fp t13287;
+fp t13769;
+fp t13301;
+fp t13768;
+fp t13303;
+fp t13767;
+fp t13648;
+fp t13766;
+fp t13765;
+fp t13764;
+fp t13763;
+fp t13762;
+fp t13761;
+fp t13230;
+fp t13686;
+fp t13760;
+fp t13679;
+fp t13759;
+fp t13148;
+fp t13442;
+fp t13758;
+fp t13659;
+fp t13757;
+fp t13145;
+fp t13756;
+fp t13755;
+fp t13653;
+fp t13754;
+fp t13753;
+fp t13752;
+fp t13751;
+fp t13073;
+fp t13750;
+fp t13077;
+fp t13749;
+fp t13689;
+fp t13748;
+fp t13205;
+fp t13747;
+fp t13423;
+fp t13746;
+fp t13745;
+fp t12096;
+fp t13570;
+fp t13744;
+fp t12260;
+fp t13576;
+fp t13743;
+fp t13742;
+fp t13741;
+fp t13568;
+fp t13740;
+fp t13739;
+fp t13738;
+fp t13737;
+fp t12060;
+fp t13571;
+fp t13736;
+fp t13575;
+fp t13735;
+fp t13569;
+fp t13734;
+fp t13577;
+fp t13733;
+fp t13732;
+fp t13731;
+fp t13730;
+fp t13729;
+fp t13728;
+fp t13727;
+fp t13726;
+fp t13725;
+fp t13724;
+fp t13723;
+fp t13722;
+fp t13721;
+fp t13720;
+fp t13719;
+fp t13718;
+fp t13717;
+fp t13716;
+fp t13715;
+fp t13714;
+fp t13713;
+fp t13712;
+fp t13711;
+fp t13710;
+fp t13709;
+fp t13708;
+fp t13707;
+fp t13706;
+fp t13705;
+fp t13704;
+fp t13703;
+fp t13702;
+fp t13701;
+fp t13700;
+fp t13699;
+fp t13698;
+fp t13697;
+fp t13696;
+fp t13695;
+fp t13694;
+fp t13693;
+fp t13688;
+fp t13687;
+fp t13664;
+fp t13663;
+fp t13662;
+fp t13660;
+fp t13658;
+fp t13655;
+fp t13654;
+fp t13652;
+fp t13651;
+fp t13650;
+fp t13647;
+fp t13644;
+fp t13086;
+fp t13158;
+fp t13080;
+fp t13085;
+fp t13152;
+fp t13156;
+fp t13578;
+fp t13563;
+fp t13562;
+fp t13439;
+fp t13561;
+fp t13406;
+fp t13428;
+fp t13443;
+fp t13560;
+fp t13559;
+fp t13435;
+fp t13450;
+fp t13558;
+fp t13347;
+fp t13425;
+fp t13453;
+fp t13557;
+fp t13379;
+fp t13556;
+fp t13555;
+fp t13345;
+fp t13554;
+fp t13553;
+fp t13552;
+fp t13551;
+fp t13550;
+fp t13547;
+fp t13546;
+fp t13539;
+fp t13538;
+fp t13537;
+fp t13535;
+fp t13331;
+fp t13534;
+fp t13533;
+fp t13380;
+fp t13532;
+fp t13531;
+fp t13530;
+fp t13529;
+fp t13528;
+fp t13527;
+fp t13526;
+fp t13525;
+fp t13524;
+fp t13523;
+fp t13522;
+fp t13521;
+fp t13520;
+fp t13381;
+fp t13519;
+fp t13518;
+fp t13517;
+fp t13516;
+fp t13515;
+fp t13514;
+fp t13513;
+fp t13512;
+fp t13511;
+fp t13510;
+fp t13509;
+fp t13508;
+fp t13507;
+fp t13506;
+fp t13505;
+fp t13504;
+fp t13503;
+fp t13502;
+fp t13501;
+fp t13500;
+fp t13499;
+fp t13498;
+fp t13497;
+fp t13496;
+fp t13495;
+fp t13494;
+fp t13493;
+fp t13492;
+fp t13491;
+fp t13490;
+fp t13489;
+fp t13488;
+fp t13487;
+fp t13486;
+fp t13485;
+fp t13484;
+fp t13483;
+fp t13482;
+fp t13481;
+fp t13480;
+fp t13479;
+fp t13478;
+fp t13477;
+fp t13476;
+fp t13475;
+fp t13474;
+fp t13473;
+fp t13472;
+fp t13471;
+fp t13455;
+fp t13446;
+fp t13441;
+fp t13436;
+fp t13434;
+fp t13422;
+fp t13416;
+fp t13394;
+fp t13391;
+fp t13388;
+fp t13383;
+fp t13382;
+fp t13346;
+ t13460 = z*z;
+ t13458 = t13460*t13460;
+ t13465 = x*x;
+ t13623 = t13465*t13458;
+ t13463 = t13465*t13465;
+ t13626 = t13463*t13460;
+ t14070 = t13626+t13623;
+ t13464 = x*t13465;
+ t13634 = t13460*t13464;
+ t13685 = t13458*x;
+ t14118 = t13634+t13685;
+ t13459 = z*t13460;
+ t13636 = t13459*t13464;
+ t13692 = x*z;
+ t14117 = t13636+t13692;
+ t13637 = t13459*t13463;
+ t13676 = t13465*z;
+ t14116 = t13637+t13676;
+ t13640 = t13458*t13464;
+ t13682 = t13460*x;
+ t14115 = t13640+t13682;
+ t13633 = t13460*t13465;
+ t13641 = t13458*t13463;
+ t14106 = t13641+t13633;
+ t13678 = t13464*z;
+ t13684 = t13459*x;
+ t14114 = t13678+t13684;
+ t13635 = t13459*t13465;
+ t13680 = t13463*z;
+ t14113 = t13680+t13635;
+ t13336 = RATIONAL(1.0,1728.0);
+ t13341 = RATIONAL(-1.0,1728.0);
+ t14112 = t13336*t13637+t13341*t13635;
+ t14111 = t13336*t13635+t13341*t13637;
+ t13357 = RATIONAL(1.0,432.0);
+ t13366 = RATIONAL(-1.0,432.0);
+ t14110 = t13357*t13680+t13366*t13676;
+ t14109 = t13357*t13676+t13366*t13680;
+ t13355 = RATIONAL(1.0,864.0);
+ t13364 = RATIONAL(-1.0,864.0);
+ t14108 = t13364*t13640+t13355*t13685;
+ t14107 = t13364*t13685+t13355*t13640;
+ t13462 = y*y;
+ t13621 = t13465*t13462;
+ t13581 = t13458*t13621;
+ t13624 = t13463*t13462;
+ t13583 = t13460*t13624;
+ t14084 = t13583+t13581;
+ t13585 = t13460*t13621;
+ t13596 = t13458*t13624;
+ t14076 = t13596+t13585;
+ t13461 = y*t13462;
+ t13630 = t13461*t13464;
+ t13605 = z*t13630;
+ t13639 = t13459*t13461;
+ t13615 = x*t13639;
+ t14035 = t13605+t13615;
+ t14105 = t13336*t13640+t13341*t13634;
+ t14104 = t13336*t13634+t13341*t13640;
+ t13350 = RATIONAL(5.0,576.0);
+ t13373 = RATIONAL(-5.0,576.0);
+ t14103 = t13350*t13634+t13373*t13682;
+ t14102 = t13350*t13635+t13373*t13676;
+ t14101 = t13350*t13676+t13373*t13635;
+ t14100 = t13350*t13682+t13373*t13634;
+ t14099 = t13357*t13685+t13366*t13682;
+ t14098 = t13357*t13682+t13366*t13685;
+ t13359 = RATIONAL(1.0,288.0);
+ t13399 = RATIONAL(1.0,72.0);
+ t14097 = t13359*t13637+t13399*t13459;
+ t14096 = t13359*t13640+t13399*t13464;
+ t14095 = t13364*t13637+t13355*t13680;
+ t14094 = t13364*t13680+t13355*t13637;
+ t13368 = RATIONAL(-1.0,288.0);
+ t13409 = RATIONAL(-1.0,72.0);
+ t14093 = t13368*t13637+t13409*t13459;
+ t14092 = t13368*t13640+t13409*t13464;
+ t13397 = RATIONAL(2.0,27.0);
+ t13410 = RATIONAL(-1.0,54.0);
+ t14091 = t13397*t13634+t13410*t13640;
+ t14090 = t13397*t13635+t13410*t13637;
+ t13285 = t13399*t13463;
+ t13405 = RATIONAL(1.0,18.0);
+ t14089 = (t13285+t13405)*z;
+ t13400 = RATIONAL(1.0,54.0);
+ t13418 = RATIONAL(-2.0,27.0);
+ t14088 = t13400*t13637+t13418*t13635;
+ t14087 = t13400*t13640+t13418*t13634;
+ t13299 = t13409*t13463;
+ t13415 = RATIONAL(-1.0,18.0);
+ t14086 = (t13299+t13415)*z;
+ t13297 = t13409*t13458;
+ t14085 = (t13297+t13415)*x;
+ t13622 = t13465*t13461;
+ t13582 = t13458*t13622;
+ t13625 = t13463*t13461;
+ t13584 = t13460*t13625;
+ t14083 = t13584+t13582;
+ t13627 = t13462*t13464;
+ t13586 = t13460*t13627;
+ t13629 = t13462*t13458;
+ t13618 = x*t13629;
+ t14082 = t13586+t13618;
+ t13588 = t13460*t13630;
+ t13632 = t13461*t13458;
+ t13619 = x*t13632;
+ t14081 = t13588+t13619;
+ t13590 = t13459*t13627;
+ t13669 = t13462*t13692;
+ t14080 = t13590+t13669;
+ t13591 = t13459*t13624;
+ t13601 = z*t13621;
+ t14079 = t13591+t13601;
+ t13594 = t13459*t13625;
+ t13604 = z*t13622;
+ t14078 = t13594+t13604;
+ t13595 = t13458*t13627;
+ t13628 = t13462*t13460;
+ t13609 = x*t13628;
+ t14077 = t13595+t13609;
+ t13597 = t13458*t13630;
+ t13631 = t13461*t13460;
+ t13610 = x*t13631;
+ t14075 = t13597+t13610;
+ t13602 = z*t13627;
+ t13638 = t13459*t13462;
+ t13614 = x*t13638;
+ t14074 = t13602+t13614;
+ t13589 = t13459*t13621;
+ t13603 = z*t13624;
+ t14073 = t13603+t13589;
+ t13592 = t13459*t13622;
+ t13606 = z*t13625;
+ t14072 = t13606+t13592;
+ t13608 = y*t13634;
+ t13675 = y*t13458;
+ t13673 = x*t13675;
+ t14071 = t13608+t13673;
+ t13667 = y*t13678;
+ t13683 = t13459*y;
+ t13672 = x*t13683;
+ t14033 = t13667+t13672;
+ t13611 = y*t13635;
+ t13668 = y*t13680;
+ t14069 = t13668+t13611;
+ t13593 = t13459*t13630;
+ t13670 = t13461*t13692;
+ t14032 = t13670+t13593;
+ t13337 = RATIONAL(1.0,1152.0);
+ t14068 = t13337*t13626+t13368*t13458+t13359*t13460;
+ t14067 = t13337*t13623+t13368*t13463+t13359*t13465;
+ t13333 = RATIONAL(1.0,6912.0);
+ t13338 = RATIONAL(-1.0,6912.0);
+ t14066 = t14106*t13338+t14070*t13333;
+ t13334 = RATIONAL(1.0,3456.0);
+ t13339 = RATIONAL(-1.0,3456.0);
+ t14065 = t14113*t13339+t14116*t13334;
+ t14064 = t14116*t13339+t14113*t13334;
+ t14063 = t14118*t13339+t14115*t13334;
+ t14062 = t14115*t13339+t14118*t13334;
+ t14061 = t14114*t13341+t14117*t13336;
+ t14060 = t14117*t13341+t14114*t13336;
+ t13356 = RATIONAL(1.0,576.0);
+ t13362 = RATIONAL(1.0,144.0);
+ t13365 = RATIONAL(-1.0,576.0);
+ t13371 = RATIONAL(-1.0,144.0);
+ t14059 = t13356*t13637+t13371*z+t13365*t13680+t13362*t13459;
+ t14058 = t13356*t13680+t13371*t13459+t13365*t13637+t13362*z;
+ t14057 = t13356*t13640+t13371*x+t13365*t13685+t13362*t13464;
+ t14056 = t13356*t13685+t13371*t13464+t13365*t13640+t13362*x;
+ t12867 = t13357*t13641;
+ t13587 = t13460*t13622;
+ t14055 = y*t12867+t13364*t13587;
+ t13369 = RATIONAL(-1.0,216.0);
+ t12961 = t13369*t13684;
+ t14054 = t13359*t13602+t12961;
+ t13413 = RATIONAL(-1.0,27.0);
+ t14053 = t13362*t13602+t13413*t13684;
+ t13360 = RATIONAL(1.0,216.0);
+ t12895 = t13360*t13684;
+ t14052 = t13368*t13602+t12895;
+ t13372 = RATIONAL(-1.0,108.0);
+ t12979 = t13372*t13678;
+ t13402 = RATIONAL(1.0,36.0);
+ t14051 = t13402*t13614+t12979;
+ t13440 = RATIONAL(1.0,9.0);
+ t14050 = t13402*t13640+t13440*t13464;
+ t13407 = RATIONAL(1.0,12.0);
+ t13445 = RATIONAL(-1.0,9.0);
+ t14049 = t13407*t13629+t13445*t13458;
+ t14048 = t13407*t13624+t13445*t13463;
+ t14047 = t13409*t13626+t13415*t13460;
+ t14046 = t13409*t13623+t13415*t13465;
+ t13412 = RATIONAL(-1.0,36.0);
+ t14045 = t13412*t13637+t13445*t13459;
+ t13417 = RATIONAL(-1.0,12.0);
+ t14044 = t13417*t13629+t13440*t13458;
+ t14043 = t13417*t13624+t13440*t13463;
+ t13437 = RATIONAL(4.0,9.0);
+ t13649 = t13437*t13461;
+ t14042 = x*t13649+t13445*t13630;
+ t13451 = RATIONAL(-4.0,9.0);
+ t13642 = t13451*t13461;
+ t14041 = t13440*t13630+x*t13642;
+ t14040 = t13440*t13459+t13402*t13637;
+ t14039 = t13445*t13464+t13412*t13640;
+ t13411 = RATIONAL(-1.0,48.0);
+ t14038 = t13417+t13411*t13458;
+ t13448 = RATIONAL(-1.0,3.0);
+ t14037 = t13437+t13448*t13462;
+ t13444 = RATIONAL(1.0,3.0);
+ t14036 = t13451+t13444*t13462;
+ t14034 = t13631+t13622;
+ t13612 = y*t13636;
+ t13691 = y*z;
+ t13690 = x*t13691;
+ t14031 = t13690+t13612;
+ t12826 = t13341*t13626;
+ t12876 = t13357*t13633;
+ t13598 = t13458*t13625;
+ t13996 = y*t12876+t13364*t13598;
+ t12798 = t13336*t13641;
+ t14001 = y*t12798+t13369*t13587;
+ t14030 = y*t12826+t13360*t13582+t14001+t13996;
+ t13617 = y*t13641;
+ t13983 = t13372*t13617+t13400*t13587;
+ t13139 = t13413*t13633;
+ t13993 = t13360*t13598+y*t13139;
+ t13936 = t13983+t13993;
+ t13403 = RATIONAL(1.0,27.0);
+ t13600 = y*t13626;
+ t13363 = RATIONAL(1.0,108.0);
+ t12914 = t13363*t13623;
+ t13988 = y*t12914+t13410*t13584;
+ t14029 = t13369*t13582+t13403*t13600+t13988;
+ t12831 = t13341*t13623;
+ t14028 = y*t12831+t13360*t13584+t14001;
+ t13947 = t13356*t13591+t13365*t13589+t14110;
+ t14027 = t13362*t13601+t13947+t14111;
+ t13946 = t13356*t13589+t13365*t13591+t14109;
+ t14026 = t13371*t13601+t13946+t14112;
+ t12928 = t13364*t13684;
+ t12957 = t13369*t13678;
+ t12897 = t13360*t13692;
+ t13987 = t13368*t13590+t12897;
+ t13938 = t13359*t13614+t12957+t13987;
+ t12935 = t13366*t13626;
+ t13949 = t13355*t13582+y*t12935+t13996;
+ t12857 = t13355*t13636;
+ t13971 = t13409*t13669+t12857;
+ t14025 = t13399*t13602+t12928+t13938+t13949+t13971;
+ t12862 = t13355*t13684;
+ t12891 = t13360*t13678;
+ t12963 = t13369*t13692;
+ t13994 = t13359*t13590+t12963;
+ t13939 = t13368*t13614+t12891+t13994;
+ t12923 = t13364*t13636;
+ t13975 = t13399*t13669+t12923;
+ t14024 = t13409*t13602+t12862+t13939+t13949+t13975;
+ t12896 = t13360*t13682;
+ t12956 = t13369*t13634;
+ t13941 = t13357*t13619+t13366*t13597+(t12896+t12956)*y;
+ t14023 = t13941+t13363*t13588+t13372*t13610+t14107*y;
+ t12890 = t13360*t13634;
+ t12962 = t13369*t13682;
+ t13943 = t13357*t13597+t13366*t13619+(t12890+t12962)*y;
+ t14022 = t13943+t13363*t13610+t13372*t13588+t14108*y;
+ t12251 = t13372*t13605;
+ t13942 = t13357*t13593+t13363*t13670+(t12923+t12963)*y;
+ t14021 = t13942+t13366*t13615+t12251+(t12891+t12862)*y;
+ t12868 = t13357*t13637;
+ t14020 = t13356*t13603+t13365*t13601+t12868+t13366*t13635+t13946;
+ t12934 = t13366*t13637;
+ t14019 = t13356*t13601+t13365*t13603+t13357*t13635+t12934+t13947;
+ t12888 = t13360*t13640;
+ t14018 = t13357*t13588+y*t12888+t13366*t13610+t13369*t13673+t13941+t13949
;
- t15153 = t15218+t15370;
- t15152 = t15218+t15253;
- t14729 = t14522*t14957;
- t14824 = t14494*t15010;
- t15151 = t15259+(t14729+t14768)*t14524+(t14711+t14824)*x;
- t15150 = t14525*t13938+x*t14690+t15234+(t13957+t14772)*y;
- t13865 = t14394*t14901;
- t13846 = t14394*t14848;
- t14736 = t14406*t14888;
- t15149 = t14527*t14645+t13914+t13933+t14521*t14736+t13955+t13967+(t13846+
-t13865)*t14523;
- t14126 = y*t14364;
- t15148 = t14126+t14521*t14922+t15219+t15305;
- t14267 = t14526*t14922;
- t15020 = y*t14526;
- t14774 = t14491*t15020;
- t14979 = t14491*t15031;
- t15147 = t14455*t14718+t14524*t14979+t14526*t14786+(t14774+t14267)*x+(
-t14988+t15419)*z;
- t15146 = t14412*t14718+x*t14735+(t14756+t14798)*z+t15395*y;
- t15145 = x*t14736+t14522*t14685+t14524*t14754+t14394*t14807+t15398;
- t15144 = (t14752+t14758)*t14398+(t14762+t14765)*t14397+t15399*y;
- t15143 = x*t14666+t14396*t14833+t15435*t14525+t15398*y;
- t15142 = t13950+t15190;
- t15141 = t14438*t14808+t14522*t14744+x*t14224+t14465*t14977+t15221;
- t14818 = t14413*t15020;
- t14084 = t14525*t14350;
- t14065 = t14486*t14945;
- t15140 = z*t14065+t14893*t15031+t15270+(t14084+t14818)*x;
- t15139 = t14525*t14029+t14410*t14707+t14909*t15031+y*t14045+t15267;
- t14407 = RATIONAL(1.0,2304.0);
- t14403 = RATIONAL(-1.0,2304.0);
- t14714 = t14407*t14888;
- t15138 = t14407*t14723+t14395*t14973+(t14741+t14740)*t14403+(t14841+
-t14714)*t14528+t15429*t14402;
- t15137 = t14413*t14808+x*t14678+t14525*t14669+t14429*t14977+t15261;
- t15136 = t14407*t14740+t14521*t14714+t15452*t14403+t15399;
- t14701 = t14526*t14906;
- t15135 = t14521*t14701+t14855*t15031+z*t14675+(t13952+t14008)*t14525+(
-t14136+t15423)*y;
- t15134 = t14523*t13857+(t14876+t14703)*t14527+t15429*t14445+(t14860+
-t15412)*t14522;
- t15133 = t15206+t15282;
- t15132 = t14438*t14984+t14881*t15032+t14935*t15030+t14525*t14655+z*t14742
-+x*t14982+t14439*t14822+t14524*t14805;
- t15131 = t14406*t14755+t14526*t14703+t15412*z+t15397;
- t15130 = t14526*t14677+t13999+t14523*t14793+t15287+t15427;
- t15129 = t14462*t14833+t14525*t14034+y*t13920+x*t14799+t15248;
- t15128 = t14524*t14760+t14522*t14770+x*t14766+t14441*t14808+t15245;
- t15127 = t14411*t14918+t13905+t14523*t13917+z*t14682+t15251;
- t14636 = y*t13889+t14442*t14765+t15296;
- t15126 = t14440*t14934+t13929+t15293+t14636+t14441*t14752+t15404*y;
- t15125 = t14441*t14758+t14525*t14871+t13948+t14636+t15297+t15402*y;
- t14132 = t14490*t14848;
- t14777 = t14519*t15010;
- t14270 = t14505*t14989;
- t14287 = t14521*t14854;
- t14271 = t14500*t14905;
- t15124 = t15288+t15307+t14525*t14132+t14270+t14287+t14508*t15016+t14521*
-t14777+t14271+t15315;
- t14710 = t14522*t14930;
- t15123 = x*t14710+t14525*t13972+t15256+t15380+t15420*y;
- t15122 = x*t14700+t14009+t14527*t14781+t15250+t15368;
- t15121 = t14500*t14829+x*t14662+t13972+t15277+t15368;
- t14664 = t14525*t14856;
- t14705 = t14525*t14885;
- t15120 = t15245+t14524*t14705+t14186+t15403*y+(t14664+t15446)*x;
- t15119 = t14477*t14931+t14431*t14829+t15444*t14524+(t14737+t15432)*x+
-t15406+t15424;
- t15022 = y*t14500;
- t15118 = t14525*t14212+t14195+t14492*t14707+t14238+t15275+z*t15022+(
-t14795+t15431)*y;
- t14066 = t14523*t14894;
- t14972 = t14483*t14523;
- t15117 = t14492*t14918+t14486*t14526+t14493*t14883+t15198+(t14972+t14731+
-t14066)*z;
- t14839 = z*t14934;
- t15116 = t15266+t14414*t14839+t14084+t14438*t14707+t15446*z+t15405*y;
- t14182 = t14481*t14932;
- t14938 = t14523*t14496;
- t15115 = t13996+t14488*t14829+t15201+(t14938+t14182)*x+t15443;
- t15114 = t14470*t14888+t14333+t14405*t14901+t14118+t13846+t14527*t14692+
-t15240+(t14437+t14715)*t14522;
- t15113 = t13877+t14434*t14723+t14473*t14888+t14427*t14749+t14160+t15271+
-t15402;
- t14846 = t14525*t14480;
- t14724 = t14522*t14846;
- t15112 = t14413*t14763+t14485*t14945+t15221+t15443*y+(t14995+t14957+
-t14243+t14724)*x;
- t14131 = t14481*t14937;
- t15111 = t13913+t15202+t14488*t14837+(t14131+t14938)*z+t15413;
- t15110 = t15246+t14438*t14839+t14414*t14707+t14134+t15436*z+t15407*y;
- t14189 = t14455*t14971;
- t15109 = t14490*t14839+t14526*t14663+z*t14922+t14189+t15215+(t15414+
-t15422)*y;
- t15108 = t14475*t14749+t14132+t15263+t14281+(t14240+t15447)*t14521+t15439
+ t12886 = t13360*t13637;
+ t12894 = t13360*t13676;
+ t12959 = t13369*t13635;
+ t13944 = t13357*t13606+t13366*t13594+(t12894+t12959)*y;
+ t14017 = t13357*t13592+y*t12886+t13366*t13604+t13369*t13668+t13944;
+ t12952 = t13369*t13637;
+ t12893 = t13360*t13635;
+ t12960 = t13369*t13676;
+ t13945 = t13357*t13594+t13366*t13606+(t12893+t12960)*y;
+ t14016 = t13357*t13604+t13360*t13668+t13366*t13592+y*t12952+t13945;
+ t12086 = t13363*t13605;
+ t13950 = t13366*t13593+t13372*t13670+(t12857+t12897)*y;
+ t14015 = t13357*t13615+t12086+t13950+(t12928+t12957)*y;
+ t12954 = t13369*t13640;
+ t14014 = t13357*t13610+t13360*t13673+t13366*t13588+y*t12954+t13943+t13949
;
- t15107 = t14518*t14833+t14525*t14211+t15259+(t14994+t14783)*t14524+(
-t14777+t15023)*x+t15419;
- t14325 = t14518*t15025;
- t15106 = t14475*t14755+t14461*t14966+t14477*t14725+t14244+t14325+(t14661+
-t15416+t15447)*z+t15409;
- t15105 = z*t14794+t14526*t14683+y*t13952+t14525*t14249+t15254+t15369;
- t15104 = t14524*t14664+t15278+t14165+t15406*y+(t14705+t15436)*x;
- t14859 = t14474*t14528;
- t15103 = t14439*t14901+t14423*t14723+t14485*t14521+t14368+t13918+t14431*
-t14749+t14477*t14899+t14523*t14859+t15268;
- t14067 = t14465*t14936;
- t15102 = t14067+t14073+t14468*t14829+t14454*t14524+t15201+(t14118+t14963)
-*x;
- t15029 = y*RATIONAL(-8.0,9.0);
- t15101 = t14512*t14833+t14519*t15008+t15274+(t14724+t14199)*t14524+(
-t15029+t14261)*x+t15442;
- t14478 = RATIONAL(-5.0,48.0);
- t15100 = t14480*t14848+t14509*t14899+t14500*t14901+t14478*t14749+t15249+(
-t14070+t14520)*t14521+t15416;
- t15099 = t15234+t14420*t14833+t15380+t14524*t14710+t15310+t15410*y;
- t15098 = x*t14701+t13239+t15220+t15228+(t14204+t14806)*y;
- t15097 = t14433*t14723+t14003+t14413*t14848+t14353+t14528*t14665+t14455*
-t14521+t14474*t14899+t14477*t14937+t15264;
- t14176 = t14492*t14936;
- t15096 = t14176+t14486*t14524+t14471*t14829+t14527*t14360+t15199+(t14160+
-t14972)*x;
- t14761 = t14525*t14927;
- t15095 = t15257+t14525*t14904+t14429*t14763+(t14922+t14761)*x+(t15433+
-t15438)*y;
- t14952 = t14523*t14498;
- t14236 = t14523*t14903;
- t14739 = t14484*t14888;
- t15094 = t15199+t13945+(t14952+t14236+t14739)*x+t15433;
- t14676 = t14478*t14899;
- t15093 = t14480*t14901+t14500*t14848+t15249+t14509*t14888+t14527*t14676+
-t15385+(t14096+t14520)*t14522;
- t14992 = y*t14499;
- t15092 = t14246+z*t14992+t14465*t14707+t14525*t14133+t14226+t15238+(
-t14804+t15409)*y;
- t14106 = t14473*t14937;
- t15091 = t14356+t14446*t14883+t14465*t14918+t15202+(t14106+t15421)*z;
- t14304 = z*t14939;
- t15090 = t14304+t14453*t14966+t14526*t14676+t14474*t14725+t14082+(t14695+
-t15437+t15439)*z+t15431;
- t15089 = t14524*t14737+t14474*t14931+t14431*t14730+(t14960+t14439+t15444)
-*x+t15403+t15415;
- t15088 = t14453*t14749+t14475*t14723+t15263+t15394+t14499*t14848+t14074+
-t15447*t14522;
- t14694 = t14521*t14846;
- t15087 = t14413*t14707+t15386+t15233+t15413*y+(t14126+t14995+t14694)*z;
- t14890 = t14483*t14528;
- t14114 = t14523*t14890;
- t15086 = t14484*t14837+t14048+t15198+(t14114+t14952)*z+t15414;
- t15085 = t14525*t14191+t14526*t14647+z*t14790+y*t14041+t15265+t15369;
- t15084 = t15285+t15209+t15379;
- t15083 = t15286+t15350+t15358;
- t15082 = t15286+t15205+t15389;
- t13101 = t14524*t14782;
- t14643 = t13101+t15286;
- t15081 = t14643+t15358+t15360;
- t14631 = t13101+t15285;
- t15080 = t14631+t15355+t15360;
- t15079 = t15285+t15350+t15355;
- t13276 = x*t14709;
- t14847 = t13276+t13262;
- t15078 = t14847+t15363+t15367;
- t15077 = t13343+t13262+t15362+t15367;
- t13309 = t14525*t14020;
- t14944 = t13276+t13309;
- t15076 = t14944+t15359+t15363;
- t14953 = t13343+t13309;
- t15075 = t14953+t15359+t15362;
- t15074 = t15165+t15185;
- t15073 = t15341+t15349;
- t15072 = t15333+t15342;
- t15071 = t15336+t15348;
- t15070 = t15158+t15224+t15272;
- t15069 = t15173+t15184;
- t15068 = t15347+t15349;
- t15067 = t15335+t15357;
- t15066 = t15332+t15345;
- t15065 = t15154+t15162;
- t15064 = t15319+t15334;
- t15063 = t15336+t15342;
- t15062 = t14093+t14523*t14644+t14119+t14524*t14767+x*t14771+t14486*t14791
-+t15323+t15457;
- t15061 = t15319+t15330;
- t15060 = t15337+t15351;
- t15059 = t15143+t15162;
- t15058 = t15138+t15156;
- t15057 = t15161+t15229+t15241;
- t15056 = t15129+t15135;
- t15055 = t15327+t15329;
- t15054 = t15135+t15173;
- t15053 = t15340+t15347;
- t15052 = t15324+t15329;
- t15051 = t15328+t15351;
- t15050 = t15146+t15154;
- t15049 = t14210+t14519*t14986+t14526*t14757+x*t14698+t14452*t15030+t15323
-+t14454*t14797+t15460;
- t15048 = t15131+t15136;
- t15047 = t15332+t15357;
- t15046 = t15337+t15346;
- t15045 = t15324+t15325;
- t15044 = t15333+t15348;
- t15043 = t15328+t15346;
- t15042 = t15129+t15184;
- t15041 = t15321+t15334;
- t15040 = t15325+t15327;
- t14819 = t14525*t15024;
- t15039 = t15144+t14396*t14707+t14525*t13853+t14399*t14839+t14528*t14819+
-t15397*y;
- t15038 = t15144+t14399*t14707+t14521*t14819+(z*t14873+t13886)*t14525+
-t15396*y;
- t15037 = t15143+t15146;
- t15036 = t15145+t15179;
- t15035 = t15335+t15345;
- t15034 = t15321+t15330;
- t15033 = t15340+t15341;
- t14975 = t14478*t14528;
- t14970 = t14478*t14527;
- t14958 = t14479*t14527;
- t14955 = t14477*t14528;
- t14373 = t14455*t14527;
- t14926 = t14525*t14481;
- t14920 = t14479*t14528;
- t14889 = t14484*t14521;
- t14865 = t14496*t14527;
- t14864 = t14475*t14521;
- t14843 = t14513*t14522;
- t14835 = y*t14883;
- t14283 = z*t14845;
- t14825 = t14465*t14989;
- t14820 = t14441*t14989;
- t14810 = t14429*t14989;
- t14746 = t14431*t14899;
- t14699 = t14471*t14848;
- t14653 = t14426*t14901;
- t14642 = t14521*t14761+y*t13937+t14900;
- t14641 = t14035+t15283;
- t14635 = t13950+t15282;
- t14629 = t14042+t15283;
- t14628 = t14521*t14824+t14528*t14729+t15307;
- t14627 = t14453+t14859+t14478*t14521;
- t14626 = t14461+t14955+t14864;
- t14625 = t14481*t14527+t14496+t14488*t14522;
- t14456 = RATIONAL(-5.0,32.0);
- t14416 = RATIONAL(25.0,32.0);
- t14501 = RATIONAL(-5.0,8.0);
- t14624 = t14501+t14416*t14522+t14456*t14527;
- t14623 = t14844+t15384;
- t14447 = RATIONAL(1.0,16.0);
- t14448 = RATIONAL(-5.0,16.0);
- t14503 = RATIONAL(1.0,4.0);
- t14622 = t14448*t14522+t14447*t14527+t14503;
- t14621 = t14861+t14453+t14478*t14522;
- t14436 = RATIONAL(25.0,96.0);
- t14620 = t14484+t14436*t14521+t14471*t14528;
- t14517 = RATIONAL(2.0,3.0);
- t14619 = t14510*t14522+t14517+t14498*t14527;
- t14422 = RATIONAL(-25.0,96.0);
- t14618 = t14468*t14528+t14422*t14521+t14488;
- t14617 = t14903+t15377;
- t14616 = t14865+t14843+t14516;
- t14614 = t14482*t14834+t14525*t14865+t14522*t15011+t14488*t14758+t15294;
- t14613 = t15292+(t14890+t14699)*t14525+(t14864+t14653)*y;
- t14610 = t14521*t14739+t13937+t14528*t14118+t14059+t14642;
- t14609 = t15216+t15269;
- t14607 = t15200+t15291;
- t14606 = t14521*t14774+z*t14271+t14489*t14976+t14528*t14189+t14628;
- t14604 = z*t14815+t14494*t14813+t14628+t15386*t14528;
- t14603 = t15232+t15291+t15310;
- t14599 = t14488*t14741+t13930+t14522*t14942+t14523*t14670+t14642;
- t14598 = t15253+t15269;
- t14400 = RATIONAL(25.0,192.0);
- t14597 = y*t14975+t14400*t14834+t14473*t14758+t14521*t14926+t14613+t15314
+ t14013 = t13368*t13669+t13360*t13636+t13938+t14054;
+ t14012 = t13359*t13618+t13399*t13586+t12896+t14107;
+ t14011 = t13359*t13669+t13369*t13636+t13939+t14052;
+ t14010 = t13368*t13618+t13409*t13586+t12962+t14108;
+ t12911 = t13363*t13636;
+ t12983 = t13372*t13684;
+ t13963 = t13369*t13593+(t12979+t12983)*y;
+ t14009 = t13369*t13670+t13963+y*t12911+t13363*t13690+t14035*t13360;
+ t12977 = t13372*t13636;
+ t12913 = t13363*t13678;
+ t12917 = t13363*t13684;
+ t13966 = t13360*t13593+(t12913+t12917)*y;
+ t14008 = t13360*t13670+t13966+y*t12977+t13372*t13690+t14035*t13369;
+ t14007 = t13360*t13606+t13364*t13594+t13355*t13592+t13369*t13604+(t14109+
+t14112)*y;
+ t14006 = t13360*t13604+t13364*t13592+t13355*t13594+t13369*t13606+(t14110+
+t14111)*y;
+ t13342 = RATIONAL(-1.0,1152.0);
+ t14005 = t14106*t13364+t14070*t13355+t14084*t13342+t14076*t13337;
+ t14004 = t14070*t13364+t14106*t13355+t14076*t13342+t14084*t13337;
+ t13332 = RATIONAL(5.0,1152.0);
+ t12783 = t13332*t13626;
+ t14003 = y*t12783+t13365*t13582;
+ t12784 = t13332*t13623;
+ t14002 = y*t12784+t13365*t13584;
+ t13343 = RATIONAL(-5.0,1152.0);
+ t12840 = t13343*t13633;
+ t14000 = y*t12840+t13356*t13598;
+ t13344 = RATIONAL(-25.0,192.0);
+ t13398 = RATIONAL(1.0,96.0);
+ t13607 = y*t13633;
+ t13999 = t13344*t13607+t13398*t13598;
+ t13348 = RATIONAL(25.0,12.0);
+ t13414 = RATIONAL(-1.0,24.0);
+ t13998 = t13348*t13607+t13414*t13598;
+ t12940 = t13366*t13623;
+ t13997 = t13355*t13584+y*t12940;
+ t12881 = t13359*t13641;
+ t13424 = RATIONAL(-5.0,36.0);
+ t13995 = y*t12881+t13424*t13587;
+ t13421 = RATIONAL(-5.0,72.0);
+ t13599 = y*t13623;
+ t13992 = t13362*t13584+t13421*t13599;
+ t13143 = t13413*t13692;
+ t13991 = t13362*t13590+t13143;
+ t13990 = t13362*t13582+t13421*t13600;
+ t12908 = t13363*t13626;
+ t13989 = y*t12908+t13410*t13582;
+ t13986 = t13369*t13584+t13403*t13599;
+ t13071 = t13403*t13692;
+ t13984 = t13371*t13590+t13071;
+ t13375 = RATIONAL(-5.0,288.0);
+ t12988 = t13375*t13626;
+ t13982 = y*t12988+t13402*t13582;
+ t12990 = t13375*t13623;
+ t13981 = y*t12990+t13402*t13584;
+ t13376 = RATIONAL(-5.0,192.0);
+ t13386 = RATIONAL(5.0,96.0);
+ t13980 = t13376*t13617+t13386*t13587;
+ t13377 = RATIONAL(-5.0,144.0);
+ t13979 = t13377*t13587+t13399*t13617;
+ t13389 = RATIONAL(5.0,48.0);
+ t13454 = RATIONAL(-5.0,6.0);
+ t13978 = t13389*t13617+t13454*t13587;
+ t13393 = RATIONAL(5.0,18.0);
+ t13977 = t13393*t13600+t13445*t13582;
+ t13976 = t13393*t13599+t13445*t13584;
+ t13431 = RATIONAL(-10.0,9.0);
+ t13974 = t13402*t13598+t13431*t13607;
+ t13973 = t13402*t13602+t12983;
+ t13972 = t13402*t13669+t12977;
+ t13970 = t13412*t13602+t12917;
+ t13969 = t13412*t13669+t12911;
+ t13968 = t13359*t13591+t13399*t13601+t12893;
+ t13967 = t13359*t13595+t13399*t13609+t12890;
+ t13965 = t13368*t13591+t13409*t13601+t12959;
+ t13964 = t13368*t13595+t13409*t13609+t12956;
+ t13015 = t13397*t13678;
+ t13962 = y*t13015+t13400*t13672+t13413*t13605;
+ t13167 = t13418*t13678;
+ t13961 = t13403*t13605+t13410*t13672+y*t13167;
+ t13959 = t13359*t13597+t13368*t13619+t14103*y;
+ t13958 = t13359*t13594+t13368*t13606+t14102*y;
+ t13957 = t13359*t13606+t13368*t13594+t14101*y;
+ t13956 = t13359*t13619+t13368*t13597+t14100*y;
+ t12835 = t13342*t13641;
+ t13351 = RATIONAL(5.0,384.0);
+ t13358 = RATIONAL(1.0,384.0);
+ t13955 = t13351*t13585+t13358*t13596+t12835+t12840;
+ t13352 = RATIONAL(5.0,288.0);
+ t12846 = t13352*t13634;
+ t13129 = t13412*t13632;
+ t13176 = t13421*t13682;
+ t13954 = t13362*t13597+x*t13129+(t12846+t13176)*y;
+ t12848 = t13352*t13635;
+ t13133 = t13412*t13625;
+ t13175 = t13421*t13676;
+ t13953 = t13362*t13594+z*t13133+(t12848+t13175)*y;
+ t13353 = RATIONAL(5.0,192.0);
+ t13404 = RATIONAL(1.0,24.0);
+ t13420 = RATIONAL(-5.0,96.0);
+ t13665 = t13389*t13460;
+ t13952 = t13353*t13600+t13420*t13582+y*t13665+t13404*t13632;
+ t13361 = RATIONAL(1.0,192.0);
+ t13951 = t13353*t13585+t13361*t13596+t13371*t13641+t13377*t13633;
+ t13948 = t13356*t13596+t13362*t13585+t13341*t13641+t13366*t13633;
+ t13940 = t13359*t13596+t13399*t13585+t13369*t13641+t13410*t13633;
+ t13937 = t13989+t13993;
+ t12915 = t13363*t13635;
+ t13140 = t13413*t13676;
+ t13935 = t13360*t13594+t13410*t13606+(t12915+t13140)*y;
+ t12912 = t13363*t13634;
+ t13142 = t13413*t13682;
+ t13934 = t13360*t13597+t13410*t13619+(t12912+t13142)*y;
+ t13933 = t13982+t13992;
+ t12909 = t13363*t13680;
+ t13932 = t13362*t13591+t13412*t13589+t12909+t13140;
+ t12916 = t13363*t13685;
+ t13931 = t13362*t13595+t13412*t13586+t12916+t13142;
+ t13930 = t13412*t13614+t12913+t13991;
+ t13929 = t13981+t13990;
+ t13928 = t13986+t13989;
+ t13113 = t13410*t13636;
+ t13927 = t13363*t13593+t13403*t13670+y*t13113+t13418*t13690;
+ t13171 = t13418*t13684;
+ t13926 = t12086+t13403*t13615+t13410*t13667+y*t13171;
+ t12933 = t13366*t13641;
+ t13925 = y*t12933+t13397*t13587+t13988;
+ t13924 = t13365*t13596+t13371*t13585+t12798+t12876;
+ t13367 = RATIONAL(-1.0,384.0);
+ t13374 = RATIONAL(-5.0,384.0);
+ t13923 = t13367*t13596+t13374*t13585+t13332*t13633+t13337*t13641;
+ t13922 = t13368*t13596+t13409*t13585+t13360*t13641+t13400*t13633;
+ t12981 = t13372*t13635;
+ t13068 = t13403*t13676;
+ t13921 = t13369*t13594+t13400*t13606+(t12981+t13068)*y;
+ t13920 = t13983+t13986;
+ t12978 = t13372*t13634;
+ t13070 = t13403*t13682;
+ t13919 = t13369*t13597+t13400*t13619+(t12978+t13070)*y;
+ t13354 = RATIONAL(5.0,144.0);
+ t13370 = RATIONAL(-1.0,192.0);
+ t13918 = t13370*t13596+t13376*t13585+t13354*t13633+t13362*t13641;
+ t12991 = t13375*t13635;
+ t13387 = RATIONAL(5.0,72.0);
+ t13002 = t13387*t13676;
+ t13917 = t13371*t13594+t13402*t13606+(t12991+t13002)*y;
+ t12975 = t13372*t13680;
+ t13916 = t13371*t13591+t13402*t13589+t12975+t13068;
+ t12989 = t13375*t13634;
+ t13003 = t13387*t13682;
+ t13915 = t13371*t13597+t13402*t13619+(t12989+t13003)*y;
+ t12982 = t13372*t13685;
+ t13914 = t13371*t13595+t13402*t13586+t12982+t13070;
+ t13913 = t13984+t14051;
+ t13912 = t13969+t13984;
+ t13911 = t13371*t13602+t13403*t13684+t13972;
+ t13043 = t13400*t13636;
+ t13910 = t13372*t13593+t13397*t13690+y*t13043+t13413*t13670;
+ t13019 = t13397*t13684;
+ t13909 = t12251+y*t13019+t13400*t13667+t13413*t13615;
+ t13212 = t13440*t13625;
+ t13384 = RATIONAL(10.0,9.0);
+ t13427 = RATIONAL(-5.0,18.0);
+ t13666 = y*t13676;
+ t13908 = t13384*t13666+t13412*t13594+t13427*t13611+z*t13212;
+ t13204 = t13440*t13632;
+ t13674 = y*t13460;
+ t13671 = x*t13674;
+ t13907 = t13384*t13671+t13412*t13597+t13427*t13608+x*t13204;
+ t13390 = RATIONAL(5.0,36.0);
+ t13007 = t13390*t13634;
+ t13906 = y*t13007+t13399*t13597+t13409*t13619+t13424*t13671;
+ t13009 = t13390*t13635;
+ t13905 = y*t13009+t13399*t13594+t13409*t13606+t13424*t13666;
+ t13182 = t13424*t13635;
+ t13904 = t13390*t13666+t13399*t13606+t13409*t13594+y*t13182;
+ t13180 = t13424*t13634;
+ t13903 = t13390*t13671+t13399*t13619+t13409*t13597+y*t13180;
+ t13392 = RATIONAL(5.0,24.0);
+ t13429 = RATIONAL(-5.0,12.0);
+ t13447 = RATIONAL(-1.0,6.0);
+ t13456 = RATIONAL(-5.0,3.0);
+ t13677 = t13465*y;
+ t13902 = t13392*t13584+t13429*t13599+t13447*t13625+t13456*t13677;
+ t13901 = t13392*t13585+t13398*t13596+t13368*t13641+t13421*t13633;
+ t13900 = t13393*t13608+t13402*t13597+t13431*t13671+t13445*t13619;
+ t13899 = t13393*t13611+t13402*t13594+t13431*t13666+t13445*t13606;
+ t13395 = RATIONAL(5.0,12.0);
+ t13401 = RATIONAL(1.0,48.0);
+ t13452 = RATIONAL(-5.0,9.0);
+ t13898 = t13395*t13585+t13401*t13596+t13412*t13641+t13452*t13633;
+ t12872 = t13357*t13636;
+ t13897 = t13445*t13669+t12872+t13973;
+ t13001 = t13387*t13633;
+ t13408 = RATIONAL(-1.0,96.0);
+ t13426 = RATIONAL(-5.0,24.0);
+ t13896 = t13408*t13596+t13426*t13585+t12881+t13001;
+ t13433 = RATIONAL(5.0,9.0);
+ t13895 = t13411*t13596+t13429*t13585+t13402*t13641+t13433*t13633;
+ t12938 = t13366*t13636;
+ t13894 = t13440*t13669+t12938+t13970;
+ t13893 = t13343*t13617+t13356*t13587+t14000+t14002+t14003;
+ t13892 = t13359*t13603+t13399*t13589+t12894+t14094;
+ t13117 = t13410*t13685;
+ t13891 = t13359*t13586+t13399*t13618+t12888+t13400*t13682+t13117;
+ t13111 = t13410*t13680;
+ t13890 = t13359*t13589+t13399*t13603+t12886+t13400*t13676+t13111;
+ t13889 = t13368*t13603+t13409*t13589+t12960+t14095;
+ t13047 = t13400*t13685;
+ t13888 = t13368*t13586+t13409*t13618+t12954+t13047+t13410*t13682;
+ t13041 = t13400*t13680;
+ t13887 = t13368*t13589+t13409*t13603+t12952+t13041+t13410*t13676;
+ t13886 = t13421*t13617+t13437*t13587+t13974+t13976+t13977;
+ t13885 = t13356*t13595+t13365*t13586+t13997+t14099;
+ t13884 = t13356*t13586+t13365*t13595+t13997+t14098;
+ t13883 = t13386*t13586+t13408*t13595+t13003+t13414*t13627+t14085;
+ t13882 = t13386*t13589+t13408*t13591+t13002+t13414*t13638+t14086;
+ t13881 = t13398*t13591+t13420*t13589+t13404*t13638+t13175+t14089;
+ t13283 = t13399*t13458;
+ t13296 = t13405*x;
+ t13880 = t13398*t13595+t13420*t13586+x*t13283+t13404*t13627+t13176+t13296
;
- t14596 = t14473*t14752+t14522*t14926+t14400*t14840+y*t14970+t15255+t15292
-+t15314;
- t14418 = RATIONAL(-25.0,48.0);
- t14595 = y*t14920+t14498*t14758+t14418*t14834+t14517*t14934+t15230+t15294
-+t15312;
- t14594 = t14517*t14969+t14498*t14752+t14418*t14840+y*t14958+t14614+t15312
+ t12924 = t13364*t13678;
+ t13879 = t13357*t13605+t13950+(t12924+t12961)*y;
+ t12858 = t13355*t13678;
+ t13878 = t13366*t13605+t13942+(t12858+t12895)*y;
+ t13620 = t13371*t13598+y*t13001;
+ t13549 = t13354*t13584+t13133+t13620+t14046*y;
+ t13877 = y*t13285+t13440*t13622+t13549+t13982+t13995;
+ t13026 = y*t13283;
+ t13548 = t13354*t13582+t13129+t13620+t14047*y;
+ t13876 = t13026+t13440*t13631+t13548+t13981+t13995;
+ t13058 = t13402*t13631;
+ t13875 = t13058+t13405*t13675+t13548+t13979+t13992;
+ t12973 = t13372*t13637;
+ t13874 = t13402*t13601+t12973+t13403*t13635+t13932;
+ t13063 = t13402*t13622;
+ t13681 = t13463*y;
+ t13873 = t13063+t13405*t13681+t13549+t13979+t13990;
+ t12907 = t13363*t13637;
+ t13872 = t13412*t13601+t12907+t13413*t13635+t13916;
+ t13871 = t14083*t13339+(t13598+t13587)*t13334+t14066*y;
+ t13870 = t14078*t13341+t14072*t13336+t14065*y;
+ t13869 = t14072*t13341+t14078*t13336+t14064*y;
+ t13868 = t14075*t13341+t14081*t13336+t14063*y;
+ t13867 = t14081*t13341+t14075*t13336+t14062*y;
+ t13335 = RATIONAL(1.0,2304.0);
+ t13340 = RATIONAL(-1.0,2304.0);
+ t13866 = t14084*t13340+t14076*t13335+t14066;
+ t13865 = t14076*t13340+t14070*t13338+t14084*t13335+t14106*t13333;
+ t13864 = t13360*t13619+t13364*t13597+t13355*t13588+t13369*t13610+(t14098+
+t14105)*y;
+ t13863 = t14032*t13364+t14035*t13355+t14061*y;
+ t13862 = t13360*t13610+t13364*t13588+t13355*t13597+t13369*t13619+(t14099+
+t14104)*y;
+ t13861 = t14035*t13364+t14032*t13355+t14060*y;
+ t13860 = t14073*t13342+t14079*t13337+t14064;
+ t13859 = t14079*t13342+t14073*t13337+t14065;
+ t13858 = t14082*t13342+t14077*t13337+t14062;
+ t13857 = t14077*t13342+t14082*t13337+t14063;
+ t13349 = RATIONAL(16.0,27.0);
+ t13419 = RATIONAL(-4.0,27.0);
+ t13430 = RATIONAL(-8.0,27.0);
+ t13856 = t13349*t13607+t13430*t13587+t13403*t13617+t13410*t13598+(t13600+
+t13599)*t13419+t14083*t13397;
+ t13613 = y*t13637;
+ t13855 = t13349*t13666+t13430*t13604+t13403*t13613+t13410*t13594+t14069*
+t13419+t14072*t13397;
+ t13616 = y*t13640;
+ t13854 = t13349*t13671+t13430*t13610+t13403*t13616+t13410*t13597+t14071*
+t13419+t14081*t13397;
+ t13853 = t13349*t13690+t13430*t13670+t13403*t13612+t13410*t13593+t14033*
+t13419+t14035*t13397;
+ t13852 = t13350*t13613+t13359*t13592+t13368*t13604+t13373*t13668+t13957;
+ t13851 = t13350*t13668+t13359*t13604+t13368*t13592+t13373*t13613+t13958;
+ t13850 = t13350*t13616+t13359*t13588+t13368*t13610+t13373*t13673+t13956;
+ t13849 = t13350*t13673+t13359*t13610+t13368*t13588+t13373*t13616+t13959;
+ t13848 = t13352*t13613+t13362*t13592+t13412*t13604+t13421*t13668+t13917;
+ t13847 = t13352*t13616+t13362*t13588+t13412*t13610+t13421*t13673+t13915;
+ t13846 = t13371*t13588+t13375*t13616+t13387*t13673+x*t13058+t13954;
+ t13845 = t13371*t13592+t13375*t13613+t13387*t13668+z*t13063+t13953;
+ t13844 = t13354*t13613+t13377*t13668+t13405*t13592+t13415*t13604+t13904;
+ t13843 = t13354*t13668+t13377*t13613+t13405*t13604+t13415*t13592+t13905;
+ t13842 = t13354*t13616+t13377*t13673+t13405*t13588+t13415*t13610+t13903;
+ t13841 = t13354*t13673+t13377*t13616+t13405*t13610+t13415*t13588+t13906;
+ t13840 = t13944+t13363*t13592+t13372*t13604+t14094*y;
+ t13839 = t13945+t13363*t13604+t13372*t13592+t14095*y;
+ t13838 = t13365*t13583+t13371*t13581+t13336*t13626+t13357*t13623+t13948;
+ t13837 = t13356*t13583+t13362*t13581+t12826+t12940+t13924;
+ t13836 = t13921+t13400*t13592+t13418*t13604+(t12975+t12868)*y;
+ t12871 = t13357*t13640;
+ t13835 = t13919+t13400*t13588+t13418*t13610+(t12982+t12871)*y;
+ t13834 = t13963+t13418*t13670+(t13071+t12872)*y+t14035*t13400;
+ t13833 = t13368*t13583+t13409*t13581+t13360*t13626+t13400*t13623+t13940;
+ t13832 = t13368*t13581+t13409*t13583+t13360*t13623+t13400*t13626+t13940;
+ t13831 = t13359*t13583+t13399*t13581+t13369*t13626+t13410*t13623+t13922;
+ t13830 = t13888+t13967;
+ t13829 = t13409*t13614+t12858+t13975+t13994+t14052;
+ t13828 = t13399*t13614+t12924+t13971+t13987+t14054;
+ t13827 = t13359*t13581+t13399*t13583+t13369*t13623+t13410*t13626+t13922;
+ t13826 = t13935+t13397*t13604+t13410*t13592+(t12934+t12909)*y;
+ t13825 = t13369*t13592+y*t12973+t13400*t13604+t13403*t13668+t13935;
+ t12937 = t13366*t13640;
+ t13824 = t13934+t13397*t13610+t13410*t13588+(t12937+t12916)*y;
+ t12976 = t13372*t13640;
+ t13823 = t13369*t13588+y*t12976+t13400*t13610+t13403*t13673+t13934;
+ t13822 = t13397*t13670+t13966+(t12938+t13143)*y+t14035*t13410;
+ t12910 = t13363*t13640;
+ t13821 = t13360*t13588+y*t12910+t13410*t13610+t13413*t13673+t13919;
+ t13820 = t13360*t13592+y*t12907+t13410*t13604+t13413*t13668+t13921;
+ t12226 = t13371*t13603;
+ t13819 = t12226+t13874;
+ t13818 = t13412*t13603+t13440*t13601+t12915+t12934+t13932;
+ t13817 = t13412*t13618+t13440*t13609+t12912+t12937+t13931;
+ t13816 = t13911+t13930;
+ t13815 = t13371*t13614+t13403*t13678+t13970+t13972+t13991;
+ t13814 = t13912+t14051+t14053;
+ t13813 = t13362*t13614+t13413*t13678+t13912+t13973;
+ t13812 = t13363*t13594+t13372*t13606+t13413*t13592+t13418*t13666+t13403*
+t13604+(t13041+t14090)*y;
+ t13811 = t13363*t13606+t13372*t13594+t13397*t13666+t13403*t13592+t13413*
+t13604+(t13111+t14088)*y;
+ t13810 = t13363*t13597+t13372*t13619+t13413*t13588+t13418*t13671+t13403*
+t13610+(t13047+t14091)*y;
+ t13809 = t13909+t13927;
+ t13808 = t13910+t13926;
+ t13807 = t13363*t13619+t13372*t13597+t13397*t13671+t13403*t13588+t13413*
+t13610+(t13117+t14087)*y;
+ t13806 = t13402*t13603+t13445*t13601+t12868+t12981+t13916;
+ t13805 = t13402*t13618+t13445*t13609+t12871+t12978+t13914;
+ t13378 = RATIONAL(-16.0,27.0);
+ t13385 = RATIONAL(8.0,27.0);
+ t13396 = RATIONAL(4.0,27.0);
+ t13804 = t13378*t13666+t13385*t13604+t13400*t13594+t13413*t13613+t14072*
+t13418+t14069*t13396;
+ t13803 = t13378*t13671+t13385*t13610+t13400*t13597+t13413*t13616+t14081*
+t13418+t14071*t13396;
+ t13802 = t13378*t13690+t13385*t13670+t13400*t13593+t13413*t13612+t14035*
+t13418+t14033*t13396;
+ t13258 = t13451*t13622;
+ t13801 = t13387*t13613+t13427*t13668+t13440*t13592+z*t13258+t13908;
+ t13256 = t13451*t13631;
+ t13800 = t13387*t13616+t13427*t13673+t13440*t13588+x*t13256+t13907;
+ t13799 = t13393*t13668+t13421*t13613+t13437*t13604+t13445*t13592+t13899;
+ t13798 = t13393*t13673+t13421*t13616+t13437*t13610+t13445*t13588+t13900;
+ t13438 = RATIONAL(2.0,9.0);
+ t13797 = t13399*t13596+t13430*t13633+t13438*t13585+t13410*t13641+t14084*
+t13415+t14070*t13397;
+ t13796 = t13399*t13591+t13438*t13601+t13397*t13680+t13430*t13676+t14073*
+t13415+t14090;
+ t13795 = t13399*t13595+t13397*t13685+t13438*t13609+t13430*t13682+t14082*
+t13415+t14091;
+ t13794 = t13399*t13590+t13019+t13113+t13438*t13669+t13015+t13430*t13692+
+t14074*t13415;
+ t13449 = RATIONAL(-2.0,9.0);
+ t13793 = t13385*t13633+t13400*t13641+t13409*t13596+t13449*t13585+t14070*
+t13418+t14084*t13405;
+ t13792 = t13385*t13676+t13409*t13591+t13449*t13601+t13418*t13680+t14073*
+t13405+t14088;
+ t13791 = t13385*t13682+t13409*t13595+t13449*t13609+t13418*t13685+t14082*
+t13405+t14087;
+ t13790 = t13385*t13692+t13043+t13409*t13590+t13449*t13669+t13167+t13171+
+t14074*t13405;
+ t13579 = y*t12835+t13350*t13587+t14000;
+ t13789 = t13373*t13584+t13579+t13362*t13625+t13371*t13622+t14003+t14067*y
;
- t14593 = t14623*t14525+(t14422*t14522+t14468*t14527+t14488)*y;
- t14592 = t14621*t14525+(t14471*t14527+t14484+t14436*t14522)*y;
- t14591 = t14525*t14658+t14526*t14810+t14413*t14981+t14521*t14238+t15203+
-t15238;
- t14590 = t14454*t14707+t14521*t14246+t14528*t14818+z*t14810+t15203+t15275
+ t13788 = t13373*t13582+t13579+t13362*t13632+t13371*t13631+t14002+t14068*y
;
- t14589 = t14526*t14792+t14455*t14839+t14439*t14707+z*t14801+t15207+t15215
+ t12075 = t13362*t13618;
+ t13787 = t12075+t13371*t13609+t13884+t14030+t14105;
+ t12240 = t13371*t13618;
+ t13786 = t13362*t13609+t12240+t13885+t14030+t14104;
+ t13785 = t12075+t13412*t13609+t12910+t13413*t13634+t13914+t14029+t13936;
+ t13254 = t13449*t13681;
+ t13432 = RATIONAL(8.0,9.0);
+ t13564 = t13415*t13617+t13433*t13587+t13974;
+ t13784 = t13424*t13584+t13438*t13599+t13432*t13677+t13212+t13254+t13258+
+t13564+t13977;
+ t13252 = t13449*t13675;
+ t13783 = t13424*t13582+t13438*t13600+t13432*t13674+t13204+t13252+t13256+
+t13564+t13976;
+ t13782 = t13365*t13581+t13371*t13583+t13336*t13623+t13357*t13626+t13948+
+t14028;
+ t13781 = t13356*t13581+t13362*t13583+t12831+t12935+t13924+t14028;
+ t13033 = t13399*t13630;
+ t13657 = t13409*t13461;
+ t13780 = t13352*t13610+t13033+t13375*t13588+t13959+x*t13657+t14056*y;
+ t13024 = t13399*t13639;
+ t13779 = t13352*t13604+t13024+t13375*t13592+t13958+z*t13657+t14058*y;
+ t13096 = t13409*t13639;
+ t13661 = t13399*t13461;
+ t13778 = t13352*t13592+z*t13661+t13375*t13604+t13957+t13096+t14059*y;
+ t13103 = t13409*t13630;
+ t13777 = t13352*t13588+x*t13661+t13375*t13610+t13956+t13103+t14057*y;
+ t13094 = t13408*t13624;
+ t13776 = t13351*t13583+t13358*t13581+t13342*t13623+t13343*t13626+t13398*
+t13621+t13094+t13359*t13463+t13368*t13465+t13923;
+ t13092 = t13408*t13629;
+ t13775 = t13351*t13581+t13358*t13583+t13342*t13626+t13343*t13623+t13398*
+t13628+t13092+t13359*t13458+t13368*t13460+t13923;
+ t13020 = t13398*t13629;
+ t13774 = t13367*t13583+t13374*t13581+t12784+t13020+t13408*t13628+t13955+
+t14068;
+ t13022 = t13398*t13624;
+ t13773 = t13367*t13581+t13374*t13583+t12783+t13022+t13408*t13621+t13955+
+t14067;
+ t13645 = t13445*t13461;
+ t13772 = t13402*t13630+t13377*t13588+t13390*t13610+t13954+(t13026+t13645)
+*x+(t13296+t14092)*y;
+ t13771 = t13402*t13639+t13377*t13592+t13390*t13604+z*t13645+t13953+(
+t14089+t14093)*y;
+ t13289 = t13402*t13463;
+ t13770 = t13353*t13583+t13361*t13581+t13371*t13623+t13377*t13626+t13401*
+t13621+t13411*t13624+t13289+t13412*t13465+t13918;
+ t13287 = t13402*t13458;
+ t13769 = t13353*t13581+t13361*t13583+t13371*t13626+t13377*t13623+t13401*
+t13628+t13411*t13629+t13287+t13412*t13460+t13918;
+ t13301 = t13412*t13458;
+ t13768 = t13370*t13583+t13376*t13581+t13354*t13623+t13362*t13626+t13401*
+t13629+t13411*t13628+t13402*t13460+t13301+t13951;
+ t13303 = t13412*t13463;
+ t13767 = t13370*t13581+t13376*t13583+t13354*t13626+t13362*t13623+t13401*
+t13624+t13411*t13621+t13402*t13465+t13303+t13951;
+ t13648 = t13440*t13461;
+ t13766 = t13354*t13588+t13412*t13630+t13424*t13610+t13915+x*t13648+(
+t14085+t14096)*y;
+ t13765 = t13354*t13592+t13412*t13639+t13424*t13604+t13917+z*t13648+(
+t14086+t14097)*y;
+ t13764 = t13356*t13609+t13365*t13618+t13357*t13634+t12937+t13885+t14055;
+ t13763 = t13356*t13618+t13365*t13609+t12871+t13366*t13634+t13884+t14055;
+ t13762 = t13362*t13596+t12914+t12933+t13440*t13585+t12908+t13139+t13925+
+t14084*t13412;
+ t13761 = t12240+t13402*t13609+t12976+t13403*t13634+t13931+t14029;
+ t13230 = t13445*t13639;
+ t13686 = RATIONAL(-8.0,9.0)*y;
+ t13760 = t13390*t13592+t13405*t13613+t13230+t13452*t13604+t13908+t13438*
+t13683+(t13254+t13686+t13649)*z;
+ t13679 = t13464*y;
+ t13759 = t13390*t13588+t13405*t13616+t13907+t13452*t13610+t13438*t13679+
+t14042+(t13686+t13252)*x;
+ t13148 = t13414*t13624;
+ t13442 = RATIONAL(1.0,6.0);
+ t13758 = t13386*t13583+t13404*t13581+t12988+t13148+t13442*t13621+t13285+
+t13896+t14046;
+ t13659 = t13404*t13462;
+ t13757 = t13421*t13634+t13420*t13609+t13399*t13640+t13405*t13464+t13883+(
+t13659+t13020)*x;
+ t13145 = t13414*t13629;
+ t13756 = t13386*t13581+t13404*t13583+t12990+t13145+t13442*t13628+t13283+
+t13896+t14047;
+ t13755 = t13421*t13635+t13420*t13601+t13399*t13637+t13405*t13459+t13882+(
+t13659+t13022)*z;
+ t13653 = t13414*t13462;
+ t13754 = t13386*t13601+t13415*t13459+t13387*t13635+t13409*t13637+t13881+(
+t13653+t13094)*z;
+ t13753 = t13386*t13609+t13415*t13464+t13387*t13634+t13409*t13640+t13880+(
+t13653+t13092)*x;
+ t13752 = t13389*t13583+t13407*t13581+t13424*t13626+t13444*t13621+t13445*
+t13623+t13451*t13465+t13895+t14043;
+ t13751 = t13389*t13581+t13407*t13583+t13424*t13623+t13444*t13628+t13445*
+t13626+t13451*t13460+t13895+t14044;
+ t13073 = t13404*t13629;
+ t13750 = t13414*t13583+t13420*t13581+t13352*t13623+t13399*t13626+t13073+
+t13447*t13628+t13405*t13460+t13297+t13901;
+ t13077 = t13404*t13624;
+ t13749 = t13414*t13581+t13420*t13583+t13352*t13626+t13399*t13623+t13077+
+t13447*t13621+t13405*t13465+t13299+t13901;
+ t13689 = t13432*y;
+ t13748 = t13415*t13616+t13424*t13588+t13433*t13610+t13438*t13673+x*t13689
++t13449*t13679+t13900+t14041;
+ t13205 = t13440*t13639;
+ t13747 = t13415*t13613+t13424*t13592+t13433*t13604+t13438*t13668+t13899+
+t13205+t13449*t13683+(t13642+t13689)*z;
+ t13423 = RATIONAL(-5.0,48.0);
+ t13746 = t13417*t13583+t13423*t13581+t13390*t13623+t13440*t13626+t13448*
+t13628+t13437*t13460+t13898+t14049;
+ t13745 = t13417*t13581+t13423*t13583+t13390*t13626+t13440*t13623+t13448*
+t13621+t13437*t13465+t13898+t14048;
+ t12096 = t13363*t13615;
+ t13570 = t12096+t13965;
+ t13744 = t13570+t13879+t13892;
+ t12260 = t13372*t13615;
+ t13576 = t12260+t13968;
+ t13743 = t13576+t13878+t13889;
+ t13742 = t14009+t14019;
+ t13741 = t14008+t14019;
+ t13568 = t12226+t13964;
+ t13740 = t13568+t14012+t14027;
+ t13739 = t12226+t13967+t14010+t14027;
+ t13738 = t14009+t14020;
+ t13737 = t14008+t14020;
+ t12060 = t13362*t13603;
+ t13571 = t12060+t13964;
+ t13736 = t13571+t14012+t14026;
+ t13575 = t12060+t13967;
+ t13735 = t13575+t14010+t14026;
+ t13569 = t12260+t13965;
+ t13734 = t13569+t13890+t13927+t13962;
+ t13577 = t12096+t13968;
+ t13733 = t13577+t13887+t13910+t13961;
+ t13732 = t13871+t14074*t13365+t14080*t13356+t14060;
+ t13731 = t13871+t14080*t13365+t14074*t13356+t14061;
+ t13730 = t13857+t13870;
+ t13729 = t13858+t13869;
+ t13728 = t13860+t13868;
+ t13727 = t13859+t13867;
+ t13726 = t13863+t13866;
+ t13725 = t13861+t13866;
+ t13724 = t13863+t13865;
+ t13723 = t13861+t13865;
+ t13722 = t14007+t14023;
+ t13721 = t14007+t14022;
+ t13720 = t13838+t13864;
+ t13719 = t13837+t13864;
+ t13718 = t13838+t13862;
+ t13717 = t13837+t13862;
+ t13716 = t14006+t14023;
+ t13715 = t14006+t14022;
+ t13714 = t13829+t13840;
+ t13713 = t13828+t13839;
+ t13712 = t14011+t14016;
+ t13711 = t14013+t14016;
+ t13710 = t14011+t14017;
+ t13709 = t14013+t14017;
+ t13708 = t13806+t13836;
+ t13707 = t13817+t13835;
+ t13706 = t13805+t13835;
+ t13705 = t13834+t13894+t13930;
+ t13704 = t13810+t13832;
+ t13703 = t13807+t13827;
+ t13702 = t13371*t13596+t13937+t13403*t13633+t13445*t13585+t12867+t13925+
+t14084*t13402+t14070*t13372;
+ t13701 = t13818+t13826;
+ t13700 = t13815+t13825;
+ t13699 = t13813+t13825;
+ t13698 = t13817+t13824;
+ t13697 = t13805+t13824;
+ t13696 = t13822+t13897+t13913;
+ t13695 = t13815+t13820;
+ t13694 = t13813+t13820;
+ t13693 = x*y;
+ t13688 = t13440*y;
+ t13687 = t13445*y;
+ t13664 = t13389*t13465;
+ t13663 = t13395*t13458;
+ t13662 = t13395*t13463;
+ t13660 = t13401*t13462;
+ t13658 = t13405*t13461;
+ t13655 = t13411*t13462;
+ t13654 = t13411*t13463;
+ t13652 = t13415*t13461;
+ t13651 = t13423*t13458;
+ t13650 = t13423*t13463;
+ t13647 = t13442*t13462;
+ t13644 = t13447*t13462;
+ t13086 = x*t13658;
+ t13158 = x*t13652;
+ t13080 = t13405*t13639;
+ t13085 = t13405*t13630;
+ t13152 = t13415*t13639;
+ t13156 = t13415*t13630;
+ t13578 = t13352*t13617+t13412*t13587+t13620;
+ t13563 = t13407+t13401*t13458+t13423*t13460;
+ t13562 = t13665+t14038;
+ t13439 = RATIONAL(2.0,3.0);
+ t13561 = t13439+t13454*t13465+t13442*t13463;
+ t13406 = RATIONAL(1.0,16.0);
+ t13428 = RATIONAL(-5.0,16.0);
+ t13443 = RATIONAL(1.0,4.0);
+ t13560 = t13443+t13406*t13463+t13428*t13465;
+ t13559 = t13447+t13414*t13463+t13392*t13465;
+ t13435 = RATIONAL(5.0,6.0);
+ t13450 = RATIONAL(-2.0,3.0);
+ t13558 = t13450+t13447*t13463+t13435*t13465;
+ t13347 = RATIONAL(25.0,32.0);
+ t13425 = RATIONAL(-5.0,32.0);
+ t13453 = RATIONAL(-5.0,8.0);
+ t13557 = t13453+t13425*t13463+t13347*t13465;
+ t13379 = RATIONAL(-25.0,96.0);
+ t13556 = t13379*t13460+t13386*t13458+t13392;
+ t13555 = t13654+t13664+t13417;
+ t13345 = RATIONAL(25.0,96.0);
+ t13554 = t13420*t13458+t13345*t13460+t13426;
+ t13553 = t13423*t13465+t13407+t13401*t13463;
+ t13552 = t13426*t13465+t13404*t13463+t13442;
+ t13551 = t13353*t13599+t13420*t13584+y*t13664+t13404*t13625+t13999;
+ t13550 = t13392*t13582+t13429*t13600+t13447*t13632+t13456*t13674+t13998;
+ t13547 = t13354*t13612+t13390*t13690+t13409*t13593+z*t13158+t13578;
+ t13546 = t13377*t13612+t13399*t13593+z*t13086+t13424*t13690+t13578;
+ t13539 = t13930+t13937;
+ t13538 = t13913+t13937;
+ t13537 = t13927+t13936;
+ t13535 = t13910+t13936;
+ t13331 = RATIONAL(25.0,192.0);
+ t13534 = t13331*t13600+t13408*t13582+t13414*t13622+y*t13650+t13551+t13980
;
- t14588 = t15208+t14437*t14839+z*t14820+t15246+t15393*t14526;
- t14587 = t14521*t14283+t14604+t14494*t14981+t14499*t14707+t14526*t14801+
-t15237;
- t14586 = t14438*t14835+t15233+t14521*t14684+t15207+(t14825+t14068)*z;
- t14585 = t14526*t14820+t15266+t14437*t14707+t15208+t15393*z;
- t14584 = t14500*t14707+t14526*t14825+z*t14287+t14528*t14979+t14606+t15237
+ t13533 = t13331*t13599+t13408*t13584+t13414*t13631+y*t13651+t13952+t13980
++t13999;
+ t13380 = RATIONAL(-25.0,48.0);
+ t13532 = t13380*t13600+t13442*t13582+y*t13662+t13439*t13622+t13902+t13978
++t13998;
+ t13531 = t13380*t13599+t13442*t13584+y*t13663+t13439*t13631+t13550+t13978
;
- t14432 = RATIONAL(-25.0,24.0);
- t14583 = RATIONAL(4.0,3.0)*y+t14614+t14432*t14765+t14453*t14826+t15230+(
-t15010+t14989)*t14507+(t14843+t15375)*t14525;
- t14582 = t14613+t14423*t14826+t14436*t14765+t15255+(t14889+t15377)*t14525
-+(t14955+t15384)*y;
- t14581 = t13865+t14405*t14848+t14437*t14521+t14106+t14435*t14528+t15126+
-t14430*t14723+t14470*t14899+t14428*t14749+t15240;
- t14580 = t15124+t14211+t14524*t14122+t14475*t14730+t14461*t14931+t14482*
-t14829+(t14968+t15385+t15447)*x+t15392;
- t14579 = t14468*t14723+t13911+t15164+t14610+t14182+t14367+t14522*t14114+
-t14498*t14888+t15440;
- t14578 = t14336+t14433*t14725+t14526*t14746+t14474*t14966+t15125+t15372*z
-+t15405+t15408;
- t14577 = t14477*t14888+t14429*t14901+t14174+t14439*t14848+t14373+t15268+
-t14431*t14723+t15192+(t14668+t14485)*t14522;
- t14576 = t14599+t15148+t14114+t14363+t14493*t14901+t14496*t14899+t14523*
-t14699+t14414*t14848+(t14486+t14182)*t14521;
- t14575 = t15181+t14264+t14283+t14525*t14304+t14606+t14519*t15020+(t14694+
-t14171)*t14526+(t14270+t15029)*z;
- t14574 = t14492*t14833+t15244+t15191+t14101+t14373*t15032+t14525*t14067+
-t15392*y+(t14992+t14950)*x;
- t14573 = t14066+t14434*t14749+t13866+t15126+t14521*t14702+t14473*t14899+
-t15271+t15404;
- t14572 = t14355*t15032+t15191+t14065+t15261+(t14137+t14176)*t14525+t15383
-*y+(t14850+t15022)*x;
- t14571 = t15148+t13992+t14131+t14610+t14521*t14236+t14364+t14468*t14749+
-t14498*t14899+t15418;
- t14570 = t14849*t15028+t15125+t15372*t14526+(t14746+t15432)*z+t15407+
-t15445;
- t14569 = t14354+t14527*t14842+t14433*t14749+t14523*t14653+t14474*t14888+
-t15192+t14440*t14848+t15264+t15417;
- t14568 = t14599+t14414*t14901+t14351+t14092+t14236+t14496*t14888+t15164+
-t14471*t14723+(t14486+t14131)*t14522;
- t14567 = t15124+t14524*t14174+t14512*t15026+t14479*t14829+t14110+t14478*
-t14730+t14453*t14931+(t15394+t15437)*x+t15383;
- t14566 = t15181+t14267+t14519*t14981+t14604+t14526*t14994+t14525*t14325+
-t14490*t14707+t14454*t14835+(t14854+t15023)*z;
- t14565 = t14603+t15123+t15200+t15361+t15371;
- t14564 = t15105+t15339+t15353;
- t14563 = t15133+t14598+t15166+t15211+t15212;
- t14562 = t14042+t15121+t14035+t15282+t15356+t15364;
- t14561 = t14643+t15186+t15205+t15379;
- t14560 = t13950+t14641+t15122+t15354+t15364;
- t14559 = t15049+t15320+t15322;
- t14558 = t15098+t14608+t15158+t15229;
- t14557 = t15062+t15322+t15326;
- t14556 = t14598+t15167+t15177+t15210+t15239;
- t14555 = t15145+t15039+t15185;
- t14554 = t14607+t15099+t15344+t15371;
- t14553 = t15099+t15232+t15361+t15365;
- t14552 = t15122+t14635+t15352+t15356;
- t14551 = t15176+t15169+t14601+t15236+t15317+t15374;
- t14550 = t15136+t15038+t15156;
- t14549 = t15326+t15049+t15331;
- t14548 = t14603+t15149+t15139+t14035+t15280+t15298+t15303;
- t14547 = t15062+t15320+t15331;
- t14546 = t15121+t14629+t15352+t15354;
- t14545 = t15105+t15338+t15343;
- t14544 = t14607+t15157+t15170+t15236+t15247;
- t14543 = t15098+t14605+t15161+t15224;
- t14542 = t15131+t15038+t15138;
- t14541 = t15123+t15310+t15344+t15365;
- t14540 = t15130+t14944+t15195+t14609+t15239+t15281;
- t14539 = t15085+t15339+t15343;
- t14538 = t15186+t14631+t15209+t15389;
- t14537 = t15085+t15338+t15353;
- t14536 = t15127+t15142+t15204+t15211+t15269+t15283;
- t14535 = t14042+t15134+t14609+t15150+t15211+t15279;
- t14534 = t15165+t15039+t15179;
- t14514 = RATIONAL(-1.0,8.0);
- t14504 = RATIONAL(1.0,8.0);
- t14502 = RATIONAL(5.0,3.0);
- t14497 = RATIONAL(5.0,8.0);
- t14495 = RATIONAL(-5.0,4.0);
- t14476 = RATIONAL(-1.0,16.0);
- t14472 = RATIONAL(5.0,64.0);
- t14464 = RATIONAL(5.0,32.0);
- t14463 = RATIONAL(5.0,16.0);
- t14451 = RATIONAL(-5.0,64.0);
- t14450 = RATIONAL(25.0,8.0);
- t14419 = RATIONAL(25.0,48.0);
- t14415 = RATIONAL(-25.0,12.0);
- coeffs_dy->coeff_m2_m2_m2 = t14555+t15058+t15050;
- coeffs_dy->coeff_m1_m2_m2 = t14544+t15195+t15160+t15194+t14953+t15210+
-t15253;
- coeffs_dy->coeff_0_m2_m2 = t15114+t15110+t14578;
- coeffs_dy->coeff_p1_m2_m2 = t13276+t15188+t15160+t14556+t15157+t15218+
-t15366;
- coeffs_dy->coeff_p2_m2_m2 = t15058+t15059+t14534;
- coeffs_dy->coeff_m2_m1_m2 = t14536+t15159+t15149+t15150+t15212+t15253;
- coeffs_dy->coeff_m1_m1_m2 = t14543+t15084+t15042;
- coeffs_dy->coeff_0_m1_m2 = t15117+t14577+t15118;
- coeffs_dy->coeff_p1_m1_m2 = t14561+t15069+t15070;
- coeffs_dy->coeff_p2_m1_m2 = t14042+t15127+t15149+t14563+t15153+t15197;
- coeffs_dy->coeff_m2_0_m2 = t14588+t15168+t15172;
- coeffs_dy->coeff_m1_0_m2 = t14590+t15141+t15183;
- coeffs_dy->coeff_0_0_m2 = (t14626*t14526+t14627*z)*t14525+(t14618*t14526+
-t14620*z)*y+t14596;
- coeffs_dy->coeff_p1_0_m2 = t14590+t15178+t15182;
- coeffs_dy->coeff_p2_0_m2 = t15128+t14588+t15132;
- coeffs_dy->coeff_m2_p1_m2 = t15196+t15152+t14641+t14535+t15204+t15212+
-t15370;
- coeffs_dy->coeff_m1_p1_m2 = t14558+t15042+t15082;
- coeffs_dy->coeff_0_p1_m2 = t15091+t15118+t14569;
- coeffs_dy->coeff_p1_p1_m2 = t14538+t15069+t15057;
- coeffs_dy->coeff_p2_p1_m2 = t15134+t15159+t14563+t14035+t15142+t15196;
- coeffs_dy->coeff_m2_p2_m2 = t15048+t14534+t15050;
- coeffs_dy->coeff_m1_p2_m2 = t15152+t15163+t14540+t15170+t15210+t15366;
- coeffs_dy->coeff_0_p2_m2 = t15113+t14570+t15110;
- coeffs_dy->coeff_p1_p2_m2 = t15130+t15169+t14556+t15163+t15174;
- coeffs_dy->coeff_p2_p2_m2 = t14555+t15048+t15059;
- coeffs_dy->coeff_m2_m2_m1 = t14554+t15063+t15081;
- coeffs_dy->coeff_m1_m2_m1 = t14562+t15073+t15046;
- coeffs_dy->coeff_0_m2_m1 = t14568+t15087+t15086;
- coeffs_dy->coeff_p1_m2_m1 = t15060+t14560+t15068;
- coeffs_dy->coeff_p2_m2_m1 = t15079+t14541+t15063;
- coeffs_dy->coeff_m2_m1_m1 = t14564+t15035+t15078;
- coeffs_dy->coeff_m1_m1_m1 = t14559+t15040+t15034;
- coeffs_dy->coeff_0_m1_m1 = t14575+t15088+t15090;
- coeffs_dy->coeff_p1_m1_m1 = t14547+t15055+t15041;
- coeffs_dy->coeff_p2_m1_m1 = t15047+t15075+t14564;
- coeffs_dy->coeff_m2_0_m1 = t15137+t14586+t15140;
- coeffs_dy->coeff_m1_0_m1 = t14584+t15155+t15171;
- coeffs_dy->coeff_0_0_m1 = t14594+((t14419*t14521+t14975+t14482)*t14526+(
-t14920+t14415*t14521+t14502)*z)*y+((t14498+t14889+t14890)*t14526+(t14852+t15375
-)*z)*t14525;
- coeffs_dy->coeff_p1_0_m1 = t14584+t15147+t15151;
- coeffs_dy->coeff_p2_0_m1 = t15175+t14586+t15180;
- coeffs_dy->coeff_m2_p1_m1 = t14545+t15067+t15077;
- coeffs_dy->coeff_m1_p1_m1 = t14557+t15034+t15052;
- coeffs_dy->coeff_0_p1_m1 = t15093+t15106+t14575;
- coeffs_dy->coeff_p1_p1_m1 = t15045+t14549+t15041;
- coeffs_dy->coeff_p2_p1_m1 = t14545+t15066+t15076;
- coeffs_dy->coeff_m2_p2_m1 = t15071+t15080+t14553;
- coeffs_dy->coeff_m1_p2_m1 = t15043+t14552+t15068;
- coeffs_dy->coeff_0_p2_m1 = t14579+t15087+t15111;
- coeffs_dy->coeff_p1_p2_m1 = t14546+t15073+t15051;
- coeffs_dy->coeff_p2_p2_m1 = t14565+t15083+t15071;
- coeffs_dy->coeff_m2_m2_0 = t15089+t14581+t15104;
- coeffs_dy->coeff_m1_m2_0 = t14576+t15094+t15112;
- coeffs_dy->coeff_0_m2_0 = (t14476*t14527+RATIONAL(-1.0,4.0)+t14463*t14522
-+(t14463+t14472*t14527+RATIONAL(-25.0,64.0)*t14522)*t14521+(RATIONAL(-1.0,64.0)
-*t14527+t14476+t14472*t14522)*t14528)*t14523+(t14400*t14522+t14478+t14431*
-t14527)*t14521+(t14433*t14527+t14431*t14522+t14474)*t14528+t14582+t14621;
- coeffs_dy->coeff_p1_m2_0 = t15115+t14576+t15095;
- coeffs_dy->coeff_p2_m2_0 = t15119+t14581+t15120;
- coeffs_dy->coeff_m2_m1_0 = t15103+t14572+t15096;
- coeffs_dy->coeff_m1_m1_0 = t15101+t14567+t15108;
- coeffs_dy->coeff_0_m1_0 = t14625*t14528+t14583+(t14488*t14527+t14513+
-t14432*t14522)*t14521+(RATIONAL(1.0,2.0)+t14501*t14522+t14504*t14527+t14624*
-t14521+(t14456*t14522+RATIONAL(1.0,32.0)*t14527+t14504)*t14528)*t14523+t14616;
- coeffs_dy->coeff_p1_m1_0 = t14580+t15108+t15107;
- coeffs_dy->coeff_p2_m1_0 = t14574+t15103+t15102;
- coeffs_dy->coeff_m2_0_0 = t14592*x+t14597+t14593*t14524;
- coeffs_dy->coeff_m1_0_0 = (t14617*t14525+(t14970+t14482+t14419*t14522)*y)
-*t14524+(t14616*t14525+(t14502+t14958+t14415*t14522)*y)*x+t14595;
- coeffs_dy->coeff_0_0_0 = (t14503*t14527+t14495*t14522+1.0+(t14448*t14527+
-t14495+RATIONAL(25.0,16.0)*t14522)*t14521+t14622*t14528)*t14525+(t14501*t14527+
-RATIONAL(-5.0,2.0)+t14450*t14522+(t14416*t14527+RATIONAL(-125.0,32.0)*t14522+
-t14450)*t14521+t14624*t14528)*y;
- coeffs_dy->coeff_p1_0_0 = (t14625*t14525+(t14418*t14522+t14479+t14475*
-t14527)*y)*t14524+t14595+(t14619*t14525+(t14417*t14522+t14506+t14482*t14527)*y)
-*x;
- coeffs_dy->coeff_p2_0_0 = t14592*t14524+t14597+t14593*x;
- coeffs_dy->coeff_m2_p1_0 = t15097+t15102+t14572;
- coeffs_dy->coeff_m1_p1_0 = t15101+t14580+t15100;
- coeffs_dy->coeff_0_p1_0 = t14583+t14617*t14528+(t14514*t14527+t14497*
-t14522+RATIONAL(-1.0,2.0)+(RATIONAL(-25.0,32.0)*t14522+t14497+t14464*t14527)*
-t14521+(t14464*t14522+RATIONAL(-1.0,32.0)*t14527+t14514)*t14528)*t14523+(
-RATIONAL(25.0,24.0)*t14522+t14484*t14527+t14510)*t14521+t14619;
- coeffs_dy->coeff_p1_p1_0 = t14567+t15100+t15107;
- coeffs_dy->coeff_p2_p1_0 = t15097+t14574+t15096;
- coeffs_dy->coeff_m2_p2_0 = t15119+t15104+t14573;
- coeffs_dy->coeff_m1_p2_0 = t14571+t15115+t15112;
- coeffs_dy->coeff_0_p2_0 = (t14475+t14401*t14522+t14426*t14527)*t14521+((
-RATIONAL(25.0,64.0)*t14522+t14451*t14527+t14448)*t14521+(t14447+t14451*t14522+
-RATIONAL(1.0,64.0)*t14527)*t14528+t14622)*t14523+(t14423*t14527+t14426*t14522+
-t14477)*t14528+t14582+t14623;
- coeffs_dy->coeff_p1_p2_0 = t14571+t15095+t15094;
- coeffs_dy->coeff_p2_p2_0 = t15089+t15120+t14573;
- coeffs_dy->coeff_m2_m2_p1 = t15072+t15083+t14553;
- coeffs_dy->coeff_m1_m2_p1 = t14546+t15046+t15053;
- coeffs_dy->coeff_0_m2_p1 = t15109+t14568+t15111;
- coeffs_dy->coeff_p1_m2_p1 = t14552+t15060+t15033;
- coeffs_dy->coeff_p2_m2_p1 = t15072+t14565+t15080;
- coeffs_dy->coeff_m2_m1_p1 = t14537+t15067+t15076;
- coeffs_dy->coeff_m1_m1_p1 = t14547+t15045+t15061;
- coeffs_dy->coeff_0_m1_p1 = t15106+t15088+t14566;
- coeffs_dy->coeff_p1_m1_p1 = t14559+t15052+t15064;
- coeffs_dy->coeff_p2_m1_p1 = t14537+t15077+t15066;
- coeffs_dy->coeff_m2_0_p1 = t14589+t15137+t15175;
- coeffs_dy->coeff_m1_0_p1 = t14587+t15147+t15171;
- coeffs_dy->coeff_0_0_p1 = t14594+((t14475*t14528+t14418*t14521+t14479)*
-t14526+(t14506+t14482*t14528+t14417*t14521)*z)*y+((t14481*t14528+t14496+t14488*
-t14521)*t14526+(t14510*t14521+t14498*t14528+t14517)*z)*t14525;
- coeffs_dy->coeff_p1_0_p1 = t15151+t14587+t15155;
- coeffs_dy->coeff_p2_0_p1 = t15140+t14589+t15180;
- coeffs_dy->coeff_m2_p1_p1 = t14539+t15075+t15035;
- coeffs_dy->coeff_m1_p1_p1 = t15055+t14549+t15061;
- coeffs_dy->coeff_0_p1_p1 = t15093+t15090+t14566;
- coeffs_dy->coeff_p1_p1_p1 = t14557+t15040+t15064;
- coeffs_dy->coeff_p2_p1_p1 = t15047+t14539+t15078;
- coeffs_dy->coeff_m2_p2_p1 = t15079+t14554+t15044;
- coeffs_dy->coeff_m1_p2_p1 = t15043+t14560+t15033;
- coeffs_dy->coeff_0_p2_p1 = t15109+t14579+t15086;
- coeffs_dy->coeff_p1_p2_p1 = t14562+t15051+t15053;
- coeffs_dy->coeff_p2_p2_p1 = t14541+t15044+t15081;
- coeffs_dy->coeff_m2_m2_p2 = t15036+t14542+t15065;
- coeffs_dy->coeff_m1_m2_p2 = t15130+t14551+t15160+t15167+t15170;
- coeffs_dy->coeff_0_m2_p2 = t14570+t15114+t15116;
- coeffs_dy->coeff_p1_m2_p2 = t15174+t15176+t15160+t14540+t15177;
- coeffs_dy->coeff_p2_m2_p2 = t14542+t15037+t15074;
- coeffs_dy->coeff_m2_m1_p2 = t14548+t15150+t14635+t15153+t15190+t15206;
- coeffs_dy->coeff_m1_m1_p2 = t14538+t15056+t15070;
- coeffs_dy->coeff_0_m1_p2 = t14577+t15091+t15092;
- coeffs_dy->coeff_p1_m1_p2 = t15054+t14543+t15082;
- coeffs_dy->coeff_p2_m1_p2 = t14629+t14548+t15159+t15166+t15197+t15204;
- coeffs_dy->coeff_m2_0_p2 = t15132+t14585+t15168;
- coeffs_dy->coeff_m1_0_p2 = t15141+t14591+t15182;
- coeffs_dy->coeff_0_0_p2 = (t14627*t14526+t14626*z)*t14525+(t14620*t14526+
-t14618*z)*y+t14596;
- coeffs_dy->coeff_p1_0_p2 = t14591+t15178+t15183;
- coeffs_dy->coeff_p2_0_p2 = t15128+t14585+t15172;
- coeffs_dy->coeff_m2_p1_p2 = t15133+t15127+t15139+t14535+t15159;
- coeffs_dy->coeff_m1_p1_p2 = t14561+t15056+t15057;
- coeffs_dy->coeff_0_p1_p2 = t15117+t14569+t15092;
- coeffs_dy->coeff_p1_p1_p2 = t15054+t15084+t14558;
- coeffs_dy->coeff_p2_p1_p2 = t14536+t15134+t15139+t15153+t15166;
- coeffs_dy->coeff_m2_p2_p2 = t15065+t14550+t15074;
- coeffs_dy->coeff_m1_p2_p2 = t15176+t14544+t14847+t15188+t15163+t15193;
- coeffs_dy->coeff_0_p2_p2 = t15113+t14578+t15116;
- coeffs_dy->coeff_p1_p2_p2 = t14551+t15163+t15157+t13309+t15177+t15195;
- coeffs_dy->coeff_p2_p2_p2 = t15036+t15037+t14550;
+ t13530 = (t13386*t13463+t13379*t13465+t13392)*y+t13555*t13461;
+ t13529 = (t13420*t13463+t13426+t13345*t13465)*y+t13553*t13461;
+ t13528 = t13893+t14033*t13375+t14032*t13371+t14035*t13362+t14031*t13352;
+ t13527 = t13893+t14031*t13375+t14035*t13371+t14032*t13362+t14033*t13352;
+ t13526 = t13424*t13672+t13547+x*t13080+z*t13033+t13377*t13667+t13933;
+ t13525 = t13377*t13672+t13547+x*t13024+z*t13085+t13424*t13667+t13929;
+ t13524 = t13354*t13667+t13546+x*t13152+z*t13103+t13390*t13672+t13933;
+ t13523 = t13390*t13667+z*t13156+t13546+x*t13096+t13354*t13672+t13929;
+ t13522 = t13384*t13690+t13387*t13612+t13412*t13593+t13886+x*t13205+t14041
+*z+t14033*t13427;
+ t13521 = t13431*t13690+t13402*t13593+t13421*t13612+t13886+x*t13230+t14042
+*z+t14033*t13393;
+ t13520 = t13370*t13617+t13442*t13461+t13551+t13345*t13587+t13952+t14034*
+t13426+(t13654+t14038)*y;
+ t13381 = RATIONAL(-25.0,24.0);
+ t13519 = t13550+t13381*t13587+t13450*t13461+t13407*t13617+RATIONAL(4.0,
+3.0)*y+t13902+(t13675+t13681)*t13444+t14034*t13435;
+ t13518 = x*t13660+t13370*t13595+t13376*t13609+t13789+t13353*t13586+t13411
+*t13627+t13361*t13618+t14057+t14100;
+ t13517 = t13789+x*t13655+t13361*t13595+t13376*t13586+t13401*t13627+t13370
+*t13618+t13353*t13609+t14056+t14103;
+ t13516 = z*t13660+t13411*t13638+t13788+t13376*t13601+t13353*t13589+t13361
+*t13603+t13370*t13591+t14059+t14101;
+ t13515 = t13361*t13591+t13788+z*t13655+t13353*t13601+t13401*t13638+t13370
+*t13603+t13376*t13589+t14058+t14102;
+ t13514 = t13877+t13426*t13609+t12989+t13883+(t13647+t13073)*x+t14096;
+ t13513 = t13877+t13392*t13609+t12846+t13880+(t13145+t13644)*x+t14092;
+ t13512 = t13086+t13156+t13421*t13610+t13387*t13588+x*t13687+t13903+t13301
+*t13693+t13873+t14050*y;
+ t13511 = x*t13688+t13873+t13421*t13588+t13387*t13610+t13287*t13693+t13906
++t13158+t13085+t14039*y;
+ t13510 = t13876+t13426*t13601+t12991+t13882+(t13647+t13077)*z+t14097;
+ t13509 = t12848+t13881+t13392*t13601+t13876+(t13148+t13644)*z+t14093;
+ t13508 = t13421*t13604+t13387*t13592+t13152+t13303*t13691+t13875+t13904+(
+t13687+t13658)*z+t14040*y;
+ t13507 = t13421*t13592+t13289*t13691+t13387*t13604+t13080+t13875+t13905+(
+t13688+t13652)*z+t14045*y;
+ t13506 = t13784+t13389*t13586+t13411*t13595+t13433*t13682+t13429*t13609+
+t13417*t13627+t13180+(t14036+t14049)*x+t14050;
+ t13505 = t13389*t13589+t13429*t13601+t13783+t13411*t13591+t13433*t13676+
+t13417*t13638+t13182+(t14036+t14048)*z+t14040;
+ t13504 = t13784+t13007+t13401*t13595+t13395*t13609+t13452*t13682+t13407*
+t13627+t13423*t13586+(t14037+t14044)*x+t14039;
+ t13503 = t13009+t13783+t13395*t13601+t13407*t13638+t13452*t13676+t13401*
+t13591+t13423*t13589+(t14037+t14043)*z+t14045;
+ t13502 = t13859+t13732+t13868;
+ t13501 = t13860+t13732+t13867;
+ t13500 = t13781+t14015+t14025;
+ t13499 = t13781+t14021+t14024;
+ t13498 = t13782+t14015+t14024;
+ t13497 = t13782+t14021+t14025;
+ t13496 = t13872+t13537+t13571+t13891+t13909+t13928;
+ t13495 = t13810+t13785+t13827;
+ t13494 = t13576+t13537+t13761+t13887+t13962;
+ t13493 = t13538+t13762+t13834+t13897;
+ t13492 = t13539+t13762+t13822+t13894;
+ t13491 = t13785+t13807+t13832;
+ t13490 = t13570+t13535+t13761+t13890+t13961;
+ t13489 = t13702+t13806+t13826;
+ t13488 = t13702+t13818+t13836;
+ t13487 = t13858+t13731+t13870;
+ t13486 = t13857+t13731+t13869;
+ t13485 = t13763+t14005+t14014;
+ t13484 = t13764+t14005+t14018;
+ t13483 = t13786+t13577+t13879+t13889;
+ t13482 = t13786+t13569+t13878+t13892;
+ t13481 = t13764+t14004+t14014;
+ t13480 = t13763+t14004+t14018;
+ t13479 = t13853+t13803+t13804+t13856;
+ t13478 = t13538+t13821+t13819+t13920+t13969+t14053;
+ t13477 = t13811+t13823+t13535+t13926+t13928;
+ t13476 = t13792+t13802+t13795+t13856;
+ t13475 = t13787+t13828+t13840;
+ t13474 = t13787+t13829+t13839;
+ t13473 = t13790+t13855+t13791+t13856;
+ t13472 = t13539+t13830+t13812+t13911+t13920;
+ t13471 = t13854+t13796+t13794+t13856;
+ t13455 = RATIONAL(-5.0,4.0);
+ t13446 = RATIONAL(-1.0,8.0);
+ t13441 = RATIONAL(1.0,8.0);
+ t13436 = RATIONAL(5.0,3.0);
+ t13434 = RATIONAL(5.0,8.0);
+ t13422 = RATIONAL(-5.0,64.0);
+ t13416 = RATIONAL(-1.0,16.0);
+ t13394 = RATIONAL(5.0,16.0);
+ t13391 = RATIONAL(5.0,32.0);
+ t13388 = RATIONAL(5.0,64.0);
+ t13383 = RATIONAL(25.0,8.0);
+ t13382 = RATIONAL(-25.0,12.0);
+ t13346 = RATIONAL(25.0,48.0);
+ coeffs_dy->coeff_m2_m2_m2 = t13728+t13487+t13723;
+ coeffs_dy->coeff_m1_m2_m2 = t13718+t13744+t13474;
+ coeffs_dy->coeff_0_m2_m2 = t13775+t13515+t13778;
+ coeffs_dy->coeff_p1_m2_m2 = t13720+t13482+t13713;
+ coeffs_dy->coeff_p2_m2_m2 = t13724+t13501+t13730;
+ coeffs_dy->coeff_m2_m1_m2 = t13485+t13738+t13712;
+ coeffs_dy->coeff_m1_m1_m2 = t13809+t13811+t13478+t13830+t13831;
+ coeffs_dy->coeff_0_m1_m2 = t13507+t13755+t13768;
+ coeffs_dy->coeff_p1_m1_m2 = t13816+t13831+t13568+t13477+t13874+t13891;
+ coeffs_dy->coeff_p2_m1_m2 = t13711+t13484+t13737;
+ coeffs_dy->coeff_m2_0_m2 = t13850+t13527+t13852;
+ coeffs_dy->coeff_m1_0_m2 = t13526+t13843+t13846;
+ coeffs_dy->coeff_0_0_m2 = t13530*t13459+t13533+t13529*z;
+ coeffs_dy->coeff_p1_0_m2 = t13843+t13524+t13847;
+ coeffs_dy->coeff_p2_0_m2 = t13528+t13849+t13852;
+ coeffs_dy->coeff_m2_p1_m2 = t13711+t13742+t13481;
+ coeffs_dy->coeff_m1_p1_m2 = t13816+t13811+t13496+t13821+t13833;
+ coeffs_dy->coeff_0_p1_m2 = t13507+t13754+t13769;
+ coeffs_dy->coeff_p1_p1_m2 = t13833+t13814+t13575+t13477+t13872+t13888;
+ coeffs_dy->coeff_p2_p1_m2 = t13480+t13741+t13712;
+ coeffs_dy->coeff_m2_p2_m2 = t13502+t13730+t13725;
+ coeffs_dy->coeff_m1_p2_m2 = t13717+t13483+t13713;
+ coeffs_dy->coeff_0_p2_m2 = t13774+t13516+t13778;
+ coeffs_dy->coeff_p1_p2_m2 = t13719+t13743+t13474;
+ coeffs_dy->coeff_p2_p2_m2 = t13487+t13727+t13726;
+ coeffs_dy->coeff_m2_m2_m1 = t13715+t13736+t13498;
+ coeffs_dy->coeff_m1_m2_m1 = t13488+t13696+t13707;
+ coeffs_dy->coeff_0_m2_m1 = t13771+t13510+t13750;
+ coeffs_dy->coeff_p1_m2_m1 = t13705+t13488+t13697;
+ coeffs_dy->coeff_p2_m2_m1 = t13497+t13716+t13735;
+ coeffs_dy->coeff_m2_m1_m1 = t13703+t13694+t13494;
+ coeffs_dy->coeff_m1_m1_m1 = t13794+t13792+t13479+t13791+t13797;
+ coeffs_dy->coeff_0_m1_m1 = t13503+t13751+t13760;
+ coeffs_dy->coeff_p1_m1_m1 = t13797+t13790+t13476+t13804+t13854;
+ coeffs_dy->coeff_p2_m1_m1 = t13695+t13733+t13495;
+ coeffs_dy->coeff_m2_0_m1 = t13841+t13525+t13845;
+ coeffs_dy->coeff_m1_0_m1 = t13521+t13800+t13801;
+ coeffs_dy->coeff_0_0_m1 = t13531+((t13662+t13382*t13465+t13436)*y+t13558*
+t13461)*z+((t13346*t13465+t13429+t13650)*y+t13552*t13461)*t13459;
+ coeffs_dy->coeff_p1_0_m1 = t13798+t13522+t13801;
+ coeffs_dy->coeff_p2_0_m1 = t13523+t13842+t13845;
+ coeffs_dy->coeff_m2_p1_m1 = t13695+t13734+t13491;
+ coeffs_dy->coeff_m1_p1_m1 = t13790+t13479+t13793+t13795+t13796;
+ coeffs_dy->coeff_0_p1_m1 = t13746+t13505+t13760;
+ coeffs_dy->coeff_p1_p1_m1 = t13793+t13471+t13791+t13802+t13804;
+ coeffs_dy->coeff_p2_p1_m1 = t13704+t13490+t13694;
+ coeffs_dy->coeff_m2_p2_m1 = t13500+t13715+t13739;
+ coeffs_dy->coeff_m1_p2_m1 = t13708+t13492+t13706;
+ coeffs_dy->coeff_0_p2_m1 = t13771+t13509+t13756;
+ coeffs_dy->coeff_p1_p2_m1 = t13493+t13708+t13698;
+ coeffs_dy->coeff_p2_p2_m1 = t13716+t13740+t13499;
+ coeffs_dy->coeff_m2_m2_0 = t13517+t13776+t13777;
+ coeffs_dy->coeff_m1_m2_0 = t13772+t13514+t13749;
+ coeffs_dy->coeff_0_m2_0 = (t13376*t13465+t13401+t13361*t13463)*t13458+
+t13520+(t13394*t13465+RATIONAL(-1.0,4.0)+t13416*t13463+(RATIONAL(-25.0,64.0)*
+t13465+t13394+t13388*t13463)*t13460+(t13388*t13465+RATIONAL(-1.0,64.0)*t13463+
+t13416)*t13458)*t13462+(t13376*t13463+t13423+t13331*t13465)*t13460+t13553;
+ coeffs_dy->coeff_p1_m2_0 = t13766+t13749+t13513;
+ coeffs_dy->coeff_p2_m2_0 = t13776+t13518+t13780;
+ coeffs_dy->coeff_m2_m1_0 = t13757+t13767+t13511;
+ coeffs_dy->coeff_m1_m1_0 = t13759+t13504+t13752;
+ coeffs_dy->coeff_0_m1_0 = t13559*t13458+(t13453*t13465+t13441*t13463+
+RATIONAL(1.0,2.0)+t13557*t13460+(RATIONAL(1.0,32.0)*t13463+t13441+t13425*t13465
+)*t13458)*t13462+t13519+(t13381*t13465+t13392*t13463+t13435)*t13460+t13558;
+ coeffs_dy->coeff_p1_m1_0 = t13506+t13752+t13748;
+ coeffs_dy->coeff_p2_m1_0 = t13753+t13767+t13512;
+ coeffs_dy->coeff_m2_0_0 = (t13554*x+t13556*t13464)*y+(t13563*x+t13562*
+t13464)*t13461+t13534;
+ coeffs_dy->coeff_m1_0_0 = ((t13663+t13436+t13382*t13460)*x+(t13346*t13460
++t13429+t13651)*t13464)*y+((t13447*t13458+t13450+t13435*t13460)*x+(t13442+
+t13426*t13460+t13404*t13458)*t13464)*t13461+t13532;
+ coeffs_dy->coeff_0_0_0 = (1.0+t13443*t13463+t13455*t13465+(t13455+
+RATIONAL(25.0,16.0)*t13465+t13428*t13463)*t13460+t13560*t13458)*t13461+(
+RATIONAL(-5.0,2.0)+t13383*t13465+t13453*t13463+(t13347*t13463+RATIONAL(-125.0,
+32.0)*t13465+t13383)*t13460+t13557*t13458)*y;
+ coeffs_dy->coeff_p1_0_0 = ((t13348*t13460+t13456+t13429*t13458)*x+(t13389
+*t13458+t13395+t13380*t13460)*t13464)*y+((t13454*t13460+t13442*t13458+t13439)*x
++(t13414*t13458+t13447+t13392*t13460)*t13464)*t13461+t13532;
+ coeffs_dy->coeff_p2_0_0 = (t13556*x+t13554*t13464)*y+(t13562*x+t13563*
+t13464)*t13461+t13534;
+ coeffs_dy->coeff_m2_p1_0 = t13753+t13770+t13511;
+ coeffs_dy->coeff_m1_p1_0 = t13506+t13759+t13745;
+ coeffs_dy->coeff_0_p1_0 = (t13434*t13465+t13446*t13463+RATIONAL(-1.0,2.0)
++(t13434+t13391*t13463+RATIONAL(-25.0,32.0)*t13465)*t13460+(t13446+RATIONAL(
+-1.0,32.0)*t13463+t13391*t13465)*t13458)*t13462+t13519+t13552*t13458+(t13426*
+t13463+RATIONAL(25.0,24.0)*t13465+t13454)*t13460+t13561;
+ coeffs_dy->coeff_p1_p1_0 = t13745+t13504+t13748;
+ coeffs_dy->coeff_p2_p1_0 = t13757+t13512+t13770;
+ coeffs_dy->coeff_m2_p2_0 = t13518+t13777+t13773;
+ coeffs_dy->coeff_m1_p2_0 = t13758+t13772+t13513;
+ coeffs_dy->coeff_0_p2_0 = t13520+(t13389+t13344*t13465+t13353*t13463)*
+t13460+((t13422*t13463+RATIONAL(25.0,64.0)*t13465+t13428)*t13460+(t13422*t13465
++RATIONAL(1.0,64.0)*t13463+t13406)*t13458+t13560)*t13462+(t13411+t13353*t13465+
+t13370*t13463)*t13458+t13555;
+ coeffs_dy->coeff_p1_p2_0 = t13758+t13766+t13514;
+ coeffs_dy->coeff_p2_p2_0 = t13517+t13780+t13773;
+ coeffs_dy->coeff_m2_m2_p1 = t13497+t13740+t13721;
+ coeffs_dy->coeff_m1_m2_p1 = t13705+t13489+t13707;
+ coeffs_dy->coeff_0_m2_p1 = t13509+t13765+t13750;
+ coeffs_dy->coeff_p1_m2_p1 = t13489+t13697+t13696;
+ coeffs_dy->coeff_p2_m2_p1 = t13722+t13739+t13498;
+ coeffs_dy->coeff_m2_m1_p1 = t13490+t13703+t13700;
+ coeffs_dy->coeff_m1_m1_p1 = t13797+t13473+t13796+t13802+t13803;
+ coeffs_dy->coeff_0_m1_p1 = t13505+t13747+t13751;
+ coeffs_dy->coeff_p1_m1_p1 = t13797+t13853+t13471+t13795+t13855;
+ coeffs_dy->coeff_p2_m1_p1 = t13699+t13734+t13495;
+ coeffs_dy->coeff_m2_0_p1 = t13841+t13523+t13848;
+ coeffs_dy->coeff_m1_0_p1 = t13799+t13522+t13800;
+ coeffs_dy->coeff_0_0_p1 = t13531+((t13348*t13465+t13456+t13429*t13463)*y+
+t13561*t13461)*z+((t13380*t13465+t13395+t13389*t13463)*y+t13559*t13461)*t13459;
+ coeffs_dy->coeff_p1_0_p1 = t13798+t13521+t13799;
+ coeffs_dy->coeff_p2_0_p1 = t13525+t13842+t13848;
+ coeffs_dy->coeff_m2_p1_p1 = t13699+t13733+t13491;
+ coeffs_dy->coeff_m1_p1_p1 = t13476+t13794+t13793+t13803+t13855;
+ coeffs_dy->coeff_0_p1_p1 = t13746+t13503+t13747;
+ coeffs_dy->coeff_p1_p1_p1 = t13473+t13853+t13792+t13793+t13854;
+ coeffs_dy->coeff_p2_p1_p1 = t13704+t13700+t13494;
+ coeffs_dy->coeff_m2_p2_p1 = t13735+t13721+t13499;
+ coeffs_dy->coeff_m1_p2_p1 = t13701+t13493+t13706;
+ coeffs_dy->coeff_0_p2_p1 = t13510+t13765+t13756;
+ coeffs_dy->coeff_p1_p2_p1 = t13701+t13492+t13698;
+ coeffs_dy->coeff_p2_p2_p1 = t13722+t13500+t13736;
+ coeffs_dy->coeff_m2_m2_p2 = t13724+t13502+t13729;
+ coeffs_dy->coeff_m1_m2_p2 = t13743+t13718+t13475;
+ coeffs_dy->coeff_0_m2_p2 = t13775+t13516+t13779;
+ coeffs_dy->coeff_p1_m2_p2 = t13720+t13714+t13483;
+ coeffs_dy->coeff_p2_m2_p2 = t13723+t13727+t13486;
+ coeffs_dy->coeff_m2_m1_p2 = t13709+t13741+t13485;
+ coeffs_dy->coeff_m1_m1_p2 = t13472+t13831+t13821+t13808+t12060+t13872;
+ coeffs_dy->coeff_0_m1_p2 = t13508+t13754+t13768;
+ coeffs_dy->coeff_p1_m1_p2 = t13814+t13496+t13823+t13812+t13831;
+ coeffs_dy->coeff_p2_m1_p2 = t13484+t13742+t13710;
+ coeffs_dy->coeff_m2_0_p2 = t13528+t13850+t13851;
+ coeffs_dy->coeff_m1_0_p2 = t13844+t13524+t13846;
+ coeffs_dy->coeff_0_0_p2 = t13529*t13459+t13533+t13530*z;
+ coeffs_dy->coeff_p1_0_p2 = t13526+t13844+t13847;
+ coeffs_dy->coeff_p2_0_p2 = t13849+t13527+t13851;
+ coeffs_dy->coeff_m2_p1_p2 = t13481+t13710+t13737;
+ coeffs_dy->coeff_m1_p1_p2 = t13833+t13478+t13808+t13812+t13891+t13964;
+ coeffs_dy->coeff_0_p1_p2 = t13508+t13755+t13769;
+ coeffs_dy->coeff_p1_p1_p2 = t13472+t13809+t13823+t13819+t13833;
+ coeffs_dy->coeff_p2_p1_p2 = t13709+t13480+t13738;
+ coeffs_dy->coeff_m2_p2_p2 = t13728+t13726+t13486;
+ coeffs_dy->coeff_m1_p2_p2 = t13717+t13714+t13482;
+ coeffs_dy->coeff_0_p2_p2 = t13774+t13515+t13779;
+ coeffs_dy->coeff_p1_p2_p2 = t13719+t13744+t13475;
+ coeffs_dy->coeff_p2_p2_p2 = t13729+t13501+t13725;
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-17 09:55:23 +0000