aboutsummaryrefslogtreecommitdiff
path: root/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-dy.compute.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-dy.compute.c')
-rw-r--r--src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-dy.compute.c4239
1 files changed, 4239 insertions, 0 deletions
diff --git a/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-dy.compute.c b/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-dy.compute.c
new file mode 100644
index 0000000..c3df51b
--- /dev/null
+++ b/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-dy.compute.c
@@ -0,0 +1,4239 @@
+fp t14403;
+fp t14996;
+fp t14405;
+fp t14401;
+fp t14992;
+fp t15314;
+fp t14402;
+fp t14999;
+fp t14808;
+fp t14752;
+fp t14966;
+fp t14961;
+fp t15315;
+fp t14785;
+fp t14221;
+fp t14376;
+fp t14073;
+fp t15313;
+fp t14328;
+fp t14357;
+fp t14068;
+fp t14838;
+fp t15312;
+fp t14102;
+fp t14832;
+fp t13657;
+fp t14246;
+fp t14049;
+fp t14729;
+fp t15311;
+fp t14234;
+fp t13780;
+fp t14315;
+fp t14404;
+fp t14825;
+fp t14527;
+fp t13145;
+fp t15310;
+fp t14256;
+fp t14398;
+fp t14074;
+fp t15309;
+fp t14142;
+fp t14868;
+fp t13643;
+fp t14321;
+fp t13872;
+fp t15308;
+fp t14153;
+fp t14326;
+fp t14944;
+fp t14854;
+fp t14781;
+fp t15307;
+fp t15001;
+fp t15000;
+fp t14988;
+fp t14400;
+fp t14700;
+fp t13610;
+fp t14261;
+fp t15306;
+fp t14363;
+fp t14877;
+fp t14542;
+fp t14372;
+fp t15305;
+fp t14233;
+fp t14806;
+fp t14714;
+fp t14678;
+fp t13472;
+fp t15304;
+fp t14823;
+fp t14782;
+fp t13600;
+fp t14300;
+fp t14798;
+fp t14581;
+fp t15303;
+fp t14241;
+fp t14057;
+fp t14145;
+fp t14797;
+fp t13647;
+fp t15003;
+fp t15302;
+fp t14783;
+fp t14331;
+fp t14257;
+fp t14705;
+fp t13140;
+fp t15301;
+fp t14394;
+fp t14294;
+fp t14778;
+fp t15300;
+fp t14172;
+fp t14370;
+fp t14786;
+fp t15299;
+fp t14361;
+fp t14836;
+fp t14618;
+fp t15298;
+fp t14236;
+fp t14809;
+fp t13737;
+fp t12982;
+fp t14266;
+fp t13466;
+fp t15297;
+fp t14055;
+fp t13668;
+fp t15296;
+fp t14388;
+fp t13418;
+fp t15295;
+fp t14990;
+fp t13659;
+fp t15294;
+fp t14565;
+fp t14181;
+fp t12832;
+fp t14892;
+fp t14717;
+fp t15293;
+fp t14240;
+fp t14913;
+fp t14683;
+fp t12804;
+fp t14217;
+fp t15292;
+fp t14247;
+fp t14918;
+fp t14709;
+fp t12898;
+fp t14292;
+fp t14528;
+fp t15291;
+fp t14178;
+fp t14964;
+fp t14901;
+fp t14696;
+fp t13430;
+fp t15290;
+fp t14900;
+fp t14780;
+fp t14115;
+fp t13632;
+fp t15289;
+fp t14295;
+fp t14677;
+fp t13304;
+fp t15288;
+fp t14253;
+fp t14959;
+fp t14842;
+fp t13915;
+fp t15287;
+fp t14320;
+fp t14310;
+fp t14894;
+fp t14774;
+fp t13325;
+fp t14541;
+fp t15286;
+fp t14169;
+fp t14994;
+fp t13792;
+fp t15285;
+fp t14373;
+fp t14369;
+fp t13517;
+fp t15284;
+fp t14235;
+fp t14975;
+fp t13656;
+fp t15283;
+fp t14085;
+fp t14818;
+fp t15282;
+fp t14330;
+fp t14337;
+fp t14804;
+fp t13936;
+fp t15281;
+fp t14170;
+fp t14993;
+fp t14779;
+fp t13158;
+fp t15280;
+fp t14381;
+fp t14800;
+fp t14557;
+fp t13480;
+fp t15279;
+fp t14312;
+fp t13222;
+fp t15278;
+fp t14965;
+fp t14263;
+fp t13901;
+fp t15277;
+fp t14805;
+fp t14549;
+fp t15276;
+fp t14307;
+fp t14276;
+fp t13376;
+fp t15275;
+fp t14204;
+fp t13682;
+fp t15274;
+fp t14232;
+fp t14852;
+fp t13750;
+fp t13028;
+fp t15273;
+fp t14298;
+fp t13122;
+fp t15272;
+fp t14248;
+fp t14350;
+fp t15271;
+fp t14264;
+fp t13803;
+fp t15270;
+fp t14605;
+fp t13335;
+fp t15269;
+fp t14318;
+fp t14314;
+fp t14962;
+fp t13231;
+fp t15268;
+fp t14305;
+fp t14942;
+fp t13944;
+fp t14983;
+fp t14316;
+fp t15267;
+fp t14273;
+fp t14354;
+fp t13208;
+fp t15266;
+fp t14646;
+fp t12913;
+fp t14619;
+fp t15265;
+fp t14336;
+fp t14871;
+fp t14126;
+fp t15264;
+fp t14132;
+fp t14630;
+fp t12721;
+fp t14222;
+fp t14650;
+fp t15263;
+fp t14285;
+fp t14826;
+fp t13855;
+fp t14159;
+fp t14833;
+fp t13689;
+fp t15262;
+fp t14220;
+fp t14690;
+fp t14862;
+fp t13822;
+fp t15261;
+fp t14391;
+fp t13591;
+fp t15260;
+fp t14304;
+fp t14768;
+fp t13556;
+fp t15259;
+fp t14209;
+fp t14553;
+fp t13495;
+fp t15258;
+fp t12709;
+fp t14803;
+fp t14540;
+fp t15257;
+fp t14183;
+fp t14097;
+fp t14848;
+fp t13635;
+fp t15256;
+fp t14156;
+fp t14981;
+fp t14698;
+fp t14201;
+fp t13078;
+fp t15255;
+fp t15254;
+fp t14995;
+fp t14991;
+fp t13660;
+fp t14171;
+fp t15253;
+fp t14110;
+fp t12657;
+fp t14104;
+fp t14544;
+fp t15252;
+fp t14299;
+fp t14385;
+fp t15251;
+fp t14214;
+fp t14853;
+fp t14216;
+fp t14820;
+fp t13768;
+fp t15250;
+fp t14329;
+fp t14860;
+fp t13911;
+fp t14265;
+fp t14970;
+fp t14708;
+fp t15249;
+fp t14061;
+fp t14345;
+fp t13500;
+fp t15248;
+fp t15247;
+fp t14340;
+fp t14356;
+fp t14771;
+fp t13152;
+fp t15246;
+fp t14358;
+fp t14830;
+fp t13978;
+fp t15245;
+fp t14185;
+fp t14190;
+fp t13840;
+fp t15244;
+fp t14206;
+fp t14796;
+fp t14680;
+fp t15243;
+fp t14084;
+fp t14998;
+fp t14747;
+fp t13553;
+fp t15242;
+fp t14788;
+fp t13785;
+fp t12915;
+fp t15241;
+fp t14543;
+fp t12677;
+fp t14202;
+fp t15240;
+fp t15239;
+fp t14371;
+fp t14972;
+fp t13857;
+fp t15238;
+fp t13724;
+fp t15237;
+fp t14243;
+fp t12827;
+fp t14090;
+fp t15236;
+fp t14566;
+fp t15235;
+fp t15234;
+fp t13094;
+fp t14161;
+fp t14613;
+fp t15233;
+fp t14179;
+fp t14368;
+fp t14079;
+fp t15232;
+fp t14199;
+fp t12814;
+fp t15231;
+fp t14389;
+fp t15230;
+fp t14051;
+fp t12669;
+fp t15002;
+fp t15229;
+fp t14882;
+fp t13950;
+fp t14971;
+fp t14954;
+fp t15228;
+fp t15227;
+fp t14141;
+fp t13569;
+fp t15226;
+fp t14152;
+fp t15225;
+fp t14324;
+fp t13955;
+fp t15224;
+fp t14150;
+fp t15223;
+fp t14343;
+fp t14898;
+fp t14026;
+fp t15222;
+fp t13695;
+fp t15221;
+fp t14267;
+fp t15220;
+fp t14066;
+fp t15219;
+fp t14827;
+fp t14934;
+fp t13965;
+fp t15218;
+fp t13558;
+fp t14355;
+fp t14814;
+fp t14586;
+fp t15217;
+fp t12984;
+fp t14231;
+fp t14812;
+fp t13741;
+fp t15216;
+fp t14348;
+fp t14399;
+fp t14861;
+fp t15215;
+fp t14218;
+fp t14069;
+fp t15214;
+fp t14821;
+fp t14001;
+fp t13616;
+fp t15213;
+fp t15212;
+fp t14335;
+fp t14902;
+fp t15211;
+fp t14338;
+fp t14973;
+fp t14699;
+fp t13460;
+fp t14953;
+fp t15210;
+fp t13838;
+fp t12871;
+fp t15209;
+fp t14333;
+fp t14789;
+fp t13956;
+fp t15208;
+fp t14175;
+fp t14837;
+fp t13717;
+fp t12767;
+fp t15207;
+fp t14062;
+fp t14740;
+fp t13509;
+fp t15206;
+fp t14020;
+fp t14754;
+fp t13622;
+fp t15205;
+fp t13730;
+fp t13361;
+fp t15204;
+fp t14224;
+fp t14725;
+fp t14787;
+fp t14530;
+fp t15203;
+fp t14317;
+fp t12720;
+fp t15202;
+fp t14979;
+fp t14710;
+fp t13424;
+fp t15201;
+fp t14053;
+fp t14177;
+fp t13705;
+fp t15200;
+fp t14922;
+fp t14776;
+fp t12893;
+fp t14223;
+fp t15199;
+fp t14058;
+fp t14701;
+fp t14105;
+fp t14840;
+fp t13671;
+fp t15198;
+fp t14342;
+fp t13198;
+fp t15197;
+fp t14194;
+fp t12907;
+fp t15196;
+fp t15195;
+fp t14987;
+fp t13701;
+fp t15194;
+fp t14148;
+fp t13765;
+fp t14648;
+fp t13484;
+fp t15193;
+fp t13128;
+fp t15192;
+fp t14275;
+fp t14773;
+fp t13491;
+fp t15191;
+fp t14322;
+fp t15190;
+fp t14193;
+fp t12842;
+fp t14176;
+fp t15189;
+fp t14166;
+fp t12810;
+fp t15188;
+fp t14885;
+fp t13986;
+fp t15187;
+fp t14075;
+fp t14742;
+fp t14158;
+fp t14794;
+fp t13776;
+fp t15186;
+fp t14131;
+fp t14719;
+fp t13723;
+fp t15185;
+fp t14859;
+fp t14685;
+fp t13362;
+fp t15184;
+fp t14532;
+fp t15183;
+fp t14191;
+fp t15182;
+fp t14375;
+fp t15181;
+fp t15180;
+fp t14200;
+fp t14888;
+fp t14734;
+fp t12971;
+fp t15179;
+fp t14270;
+fp t13191;
+fp t15178;
+fp t13559;
+fp t15177;
+fp t14144;
+fp t14845;
+fp t13662;
+fp t12701;
+fp t15176;
+fp t14302;
+fp t14688;
+fp t15175;
+fp t14531;
+fp t15174;
+fp t15173;
+fp t14362;
+fp t14083;
+fp t15172;
+fp t14122;
+fp t14694;
+fp t15171;
+fp t14249;
+fp t12839;
+fp t15170;
+fp t14016;
+fp t15169;
+fp t14251;
+fp t15168;
+fp t14365;
+fp t14946;
+fp t14174;
+fp t15167;
+fp t15166;
+fp t14344;
+fp t15165;
+fp t14163;
+fp t13639;
+fp t15164;
+fp t13621;
+fp t15163;
+fp t13680;
+fp t15162;
+fp t14210;
+fp t15161;
+fp t14539;
+fp t14203;
+fp t14846;
+fp t14686;
+fp t15160;
+fp t14205;
+fp t14537;
+fp t12826;
+fp t15159;
+fp t14741;
+fp t13631;
+fp t15158;
+fp t13770;
+fp t15157;
+fp t14080;
+fp t15156;
+fp t14989;
+fp t13942;
+fp t15155;
+fp t14736;
+fp t15154;
+fp t14237;
+fp t14878;
+fp t14612;
+fp t13438;
+fp t15153;
+fp t14311;
+fp t14969;
+fp t13893;
+fp t15152;
+fp t14196;
+fp t13623;
+fp t15151;
+fp t15150;
+fp t13773;
+fp t14535;
+fp t13204;
+fp t15149;
+fp t14282;
+fp t14720;
+fp t13261;
+fp t15148;
+fp t14118;
+fp t14562;
+fp t12646;
+fp t14306;
+fp t14874;
+fp t13429;
+fp t15147;
+fp t14397;
+fp t14213;
+fp t14968;
+fp t13743;
+fp t15146;
+fp t12831;
+fp t15145;
+fp t14955;
+fp t14280;
+fp t14290;
+fp t13197;
+fp t15144;
+fp t14094;
+fp t14250;
+fp t14147;
+fp t15143;
+fp t14841;
+fp t13789;
+fp t15142;
+fp t14726;
+fp t13203;
+fp t15141;
+fp t14839;
+fp t12729;
+fp t14346;
+fp t15140;
+fp t14757;
+fp t13937;
+fp t13487;
+fp t15139;
+fp t13561;
+fp t15138;
+fp t14529;
+fp t14272;
+fp t14870;
+fp t14716;
+fp t15137;
+fp t14146;
+fp t14225;
+fp t13263;
+fp t15136;
+fp t14184;
+fp t15135;
+fp t14160;
+fp t13808;
+fp t15134;
+fp t14111;
+fp t13597;
+fp t15133;
+fp t14101;
+fp t14100;
+fp t14291;
+fp t15132;
+fp t14283;
+fp t13644;
+fp t15131;
+fp t13778;
+fp t13756;
+fp t14925;
+fp t13988;
+fp t15130;
+fp t13314;
+fp t15129;
+fp t14287;
+fp t14215;
+fp t12781;
+fp t15128;
+fp t14978;
+fp t15127;
+fp t14750;
+fp t13149;
+fp t12681;
+fp t15126;
+fp t13485;
+fp t15125;
+fp t13818;
+fp t14879;
+fp t15124;
+fp t14239;
+fp t14801;
+fp t13749;
+fp t13454;
+fp t15123;
+fp t13525;
+fp t15122;
+fp t14078;
+fp t14759;
+fp t13586;
+fp t13762;
+fp t15121;
+fp t14679;
+fp t15120;
+fp t13896;
+fp t14149;
+fp t14762;
+fp t12895;
+fp t15119;
+fp t14682;
+fp t13918;
+fp t13190;
+fp t15118;
+fp t14192;
+fp t14985;
+fp t14732;
+fp t15117;
+fp t14976;
+fp t13979;
+fp t14242;
+fp t14533;
+fp t13356;
+fp t15116;
+fp t14884;
+fp t13602;
+fp t15115;
+fp t13544;
+fp t15114;
+fp t13590;
+fp t14718;
+fp t15113;
+fp t14138;
+fp t15112;
+fp t14327;
+fp t14819;
+fp t13930;
+fp t12715;
+fp t15111;
+fp t15110;
+fp t13522;
+fp t15109;
+fp t14982;
+fp t14704;
+fp t15108;
+fp t13574;
+fp t15107;
+fp t14134;
+fp t14139;
+fp t14351;
+fp t15106;
+fp t14157;
+fp t13693;
+fp t13501;
+fp t15105;
+fp t13718;
+fp t14850;
+fp t13719;
+fp t14916;
+fp t13860;
+fp t15104;
+fp t12833;
+fp t15103;
+fp t14117;
+fp t15102;
+fp t14558;
+fp t14872;
+fp t12725;
+fp t15101;
+fp t14799;
+fp t14570;
+fp t13251;
+fp t15100;
+fp t14583;
+fp t15099;
+fp t14230;
+fp t12778;
+fp t14198;
+fp t15098;
+fp t14093;
+fp t13459;
+fp t15097;
+fp t14189;
+fp t14844;
+fp t14319;
+fp t14767;
+fp t15096;
+fp t14197;
+fp t14772;
+fp t12918;
+fp t14303;
+fp t14869;
+fp t15095;
+fp t13761;
+fp t15094;
+fp t13207;
+fp t14286;
+fp t14689;
+fp t15093;
+fp t14748;
+fp t13947;
+fp t15092;
+fp t14281;
+fp t12939;
+fp t15091;
+fp t14744;
+fp t15090;
+fp t14737;
+fp t15089;
+fp t12834;
+fp t14130;
+fp t15088;
+fp t14822;
+fp t13777;
+fp t15087;
+fp t14963;
+fp t15086;
+fp t12873;
+fp t14347;
+fp t15085;
+fp t14697;
+fp t12716;
+fp t15084;
+fp t14695;
+fp t15083;
+fp t14647;
+fp t13014;
+fp t14707;
+fp t15082;
+fp t14724;
+fp t14127;
+fp t12689;
+fp t14341;
+fp t14997;
+fp t14949;
+fp t13161;
+fp t15081;
+fp t14792;
+fp t13810;
+fp t15080;
+fp t14112;
+fp t15079;
+fp t14730;
+fp t15078;
+fp t15077;
+fp t14967;
+fp t15076;
+fp t15075;
+fp t14125;
+fp t14723;
+fp t12719;
+fp t14865;
+fp t13751;
+fp t14297;
+fp t14867;
+fp t13980;
+fp t15074;
+fp t13873;
+fp t15073;
+fp t15072;
+fp t12888;
+fp t15071;
+fp t13694;
+fp t15070;
+fp t14758;
+fp t15069;
+fp t15068;
+fp t14843;
+fp t14751;
+fp t13949;
+fp t15067;
+fp t14684;
+fp t14211;
+fp t14791;
+fp t14636;
+fp t12675;
+fp t15066;
+fp t15065;
+fp t14703;
+fp t15064;
+fp t13420;
+fp t15063;
+fp t12648;
+fp t13868;
+fp t13894;
+fp t15062;
+fp t14777;
+fp t15061;
+fp t14957;
+fp t13490;
+fp t15060;
+fp t15059;
+fp t14728;
+fp t14252;
+fp t15058;
+fp t14173;
+fp t14858;
+fp t13881;
+fp t14260;
+fp t14687;
+fp t15057;
+fp t14054;
+fp t14052;
+fp t14769;
+fp t12936;
+fp t15056;
+fp t14890;
+fp t15055;
+fp t13982;
+fp t15054;
+fp t15053;
+fp t14753;
+fp t15052;
+fp t15051;
+fp t15050;
+fp t14715;
+fp t13279;
+fp t15049;
+fp t14545;
+fp t12651;
+fp t13348;
+fp t14880;
+fp t14763;
+fp t15048;
+fp t15047;
+fp t13946;
+fp t15046;
+fp t15045;
+fp t14746;
+fp t15044;
+fp t14749;
+fp t13478;
+fp t13876;
+fp t15043;
+fp t15042;
+fp t13721;
+fp t15041;
+fp t15040;
+fp t13090;
+fp t15039;
+fp t15038;
+fp t14334;
+fp t14229;
+fp t14129;
+fp t15037;
+fp t13882;
+fp t14099;
+fp t14765;
+fp t12695;
+fp t15036;
+fp t14086;
+fp t14829;
+fp t13983;
+fp t13827;
+fp t15035;
+fp t15034;
+fp t14072;
+fp t13375;
+fp t15033;
+fp t13831;
+fp t15032;
+fp t14956;
+fp t15031;
+fp t14098;
+fp t14030;
+fp t15030;
+fp t14113;
+fp t13213;
+fp t15029;
+fp t14393;
+fp t14364;
+fp t14087;
+fp t15028;
+fp t14727;
+fp t15027;
+fp t14745;
+fp t15026;
+fp t15025;
+fp t14681;
+fp t13247;
+fp t15024;
+fp t14154;
+fp t14986;
+fp t13786;
+fp t15023;
+fp t13711;
+fp t14738;
+fp t15022;
+fp t15021;
+fp t15020;
+fp t15019;
+fp t13891;
+fp t15018;
+fp t15017;
+fp t14847;
+fp t14735;
+fp t13087;
+fp t15016;
+fp t13805;
+fp t15015;
+fp t13760;
+fp t13370;
+fp t15014;
+fp t14722;
+fp t14984;
+fp t13759;
+fp t13214;
+fp t15013;
+fp t13625;
+fp t15012;
+fp t13929;
+fp t14887;
+fp t15011;
+fp t13904;
+fp t13200;
+fp t15010;
+fp t14939;
+fp t13243;
+fp t15009;
+fp t14168;
+fp t14268;
+fp t14301;
+fp t13758;
+fp t15008;
+fp t14309;
+fp t15007;
+fp t14289;
+fp t14790;
+fp t14271;
+fp t14743;
+fp t15006;
+fp t13691;
+fp t14881;
+fp t15005;
+fp t15004;
+fp t14081;
+fp t14980;
+fp t14977;
+fp t14974;
+fp t14960;
+fp t14958;
+fp t14952;
+fp t14951;
+fp t14950;
+fp t13442;
+fp t14948;
+fp t14947;
+fp t14164;
+fp t14945;
+fp t14943;
+fp t13748;
+fp t13795;
+fp t14941;
+fp t14676;
+fp t13002;
+fp t14940;
+fp t14938;
+fp t14238;
+fp t14937;
+fp t13799;
+fp t14936;
+fp t14279;
+fp t14935;
+fp t13493;
+fp t14933;
+fp t13897;
+fp t14932;
+fp t13182;
+fp t14931;
+fp t14076;
+fp t14930;
+fp t13344;
+fp t14929;
+fp t12761;
+fp t14928;
+fp t13467;
+fp t14927;
+fp t13381;
+fp t14926;
+fp t13135;
+fp t14924;
+fp t14914;
+fp t13583;
+fp t14923;
+fp t14921;
+fp t14713;
+fp t13131;
+fp t14920;
+fp t14919;
+fp t14538;
+fp t13130;
+fp t14917;
+fp t14162;
+fp t14915;
+fp t14912;
+fp t13505;
+fp t14911;
+fp t13791;
+fp t13021;
+fp t13350;
+fp t14910;
+fp t14909;
+fp t14060;
+fp t14712;
+fp t13302;
+fp t14908;
+fp t14907;
+fp t14906;
+fp t14905;
+fp t14070;
+fp t14067;
+fp t14063;
+fp t13366;
+fp t14904;
+fp t14693;
+fp t14903;
+fp t14071;
+fp t14592;
+fp t14574;
+fp t12904;
+fp t14899;
+fp t13288;
+fp t14897;
+fp t14891;
+fp t13977;
+fp t14896;
+fp t14895;
+fp t14893;
+fp t14889;
+fp t14366;
+fp t14886;
+fp t14883;
+fp t14876;
+fp t13048;
+fp t14875;
+fp t14873;
+fp t14866;
+fp t14834;
+fp t14691;
+fp t14864;
+fp t14863;
+fp t13821;
+fp t12905;
+fp t14857;
+fp t14856;
+fp t13506;
+fp t14855;
+fp t13654;
+fp t14851;
+fp t14849;
+fp t14151;
+fp t14835;
+fp t14831;
+fp t14828;
+fp t14824;
+fp t13038;
+fp t14817;
+fp t14816;
+fp t14815;
+fp t13685;
+fp t13720;
+fp t14813;
+fp t14811;
+fp t14810;
+fp t13426;
+fp t13360;
+fp t14807;
+fp t14802;
+fp t14255;
+fp t14795;
+fp t14793;
+fp t14784;
+fp t13813;
+fp t14775;
+fp t14770;
+fp t14761;
+fp t14756;
+fp t14755;
+fp t14021;
+fp t13998;
+fp t14392;
+fp t14002;
+fp t14262;
+fp t14733;
+fp t13839;
+fp t14274;
+fp t14731;
+fp t14711;
+fp t14706;
+fp t14702;
+fp t14692;
+fp t14675;
+fp t14674;
+fp t14673;
+fp t14672;
+fp t13985;
+fp t14671;
+fp t14670;
+fp t14669;
+fp t14668;
+fp t14600;
+fp t13534;
+fp t14667;
+fp t14167;
+fp t14666;
+fp t14665;
+fp t14664;
+fp t14663;
+fp t14662;
+fp t14661;
+fp t14660;
+fp t14659;
+fp t13709;
+fp t14658;
+fp t14657;
+fp t13802;
+fp t13346;
+fp t14656;
+fp t14655;
+fp t14654;
+fp t14653;
+fp t14652;
+fp t12851;
+fp t14651;
+fp t14649;
+fp t14645;
+fp t14644;
+fp t14643;
+fp t14642;
+fp t14641;
+fp t12903;
+fp t14640;
+fp t14639;
+fp t14092;
+fp t13714;
+fp t14638;
+fp t14637;
+fp t14269;
+fp t14635;
+fp t14634;
+fp t14633;
+fp t14632;
+fp t14631;
+fp t14629;
+fp t13726;
+fp t14628;
+fp t14627;
+fp t14626;
+fp t14625;
+fp t14624;
+fp t14254;
+fp t14623;
+fp t14622;
+fp t14621;
+fp t14620;
+fp t13772;
+fp t14617;
+fp t12595;
+fp t14616;
+fp t14615;
+fp t14614;
+fp t14245;
+fp t14611;
+fp t14610;
+fp t14609;
+fp t14608;
+fp t14607;
+fp t14606;
+fp t14284;
+fp t14604;
+fp t14352;
+fp t14536;
+fp t14603;
+fp t13219;
+fp t14602;
+fp t14601;
+fp t14599;
+fp t14598;
+fp t14597;
+fp t14596;
+fp t14595;
+fp t13673;
+fp t14594;
+fp t14593;
+fp t13436;
+fp t14591;
+fp t14590;
+fp t14589;
+fp t14588;
+fp t14587;
+fp t14585;
+fp t14584;
+fp t14212;
+fp t12805;
+fp t14582;
+fp t13678;
+fp t14580;
+fp t14579;
+fp t14578;
+fp t14577;
+fp t14576;
+fp t13160;
+fp t14575;
+fp t13993;
+fp t14573;
+fp t14572;
+fp t14571;
+fp t12596;
+fp t12633;
+fp t14569;
+fp t14568;
+fp t14567;
+fp t13887;
+fp t13850;
+fp t14564;
+fp t12791;
+fp t14563;
+fp t14561;
+fp t14560;
+fp t14559;
+fp t13699;
+fp t13706;
+fp t14556;
+fp t13715;
+fp t14182;
+fp t13858;
+fp t14296;
+fp t13225;
+fp t14555;
+fp t14554;
+fp t14552;
+fp t14551;
+fp t14550;
+fp t14548;
+fp t13898;
+fp t14547;
+fp t14258;
+fp t13482;
+fp t14546;
+fp t12838;
+fp t14534;
+fp t14526;
+fp t14525;
+fp t14524;
+fp t14523;
+fp t14522;
+fp t14521;
+fp t14520;
+fp t14519;
+fp t14518;
+fp t14517;
+fp t14516;
+fp t14515;
+fp t14514;
+fp t14513;
+fp t14512;
+fp t14511;
+fp t14510;
+fp t14332;
+fp t14509;
+fp t14508;
+fp t14507;
+fp t14506;
+fp t14505;
+fp t14504;
+fp t14503;
+fp t14502;
+fp t14501;
+fp t14378;
+fp t14499;
+fp t14498;
+fp t14497;
+fp t14496;
+fp t13099;
+fp t14495;
+fp t14494;
+fp t13009;
+fp t12966;
+fp t14493;
+fp t14492;
+fp t14491;
+fp t12882;
+fp t14490;
+fp t14489;
+fp t13319;
+fp t14488;
+fp t14487;
+fp t13076;
+fp t14486;
+fp t14485;
+fp t14484;
+fp t14483;
+fp t13046;
+fp t14482;
+fp t14481;
+fp t12641;
+fp t14480;
+fp t14479;
+fp t12974;
+fp t14478;
+fp t13050;
+fp t14477;
+fp t14476;
+fp t14475;
+fp t13154;
+fp t14474;
+fp t14473;
+fp t12611;
+fp t14472;
+fp t13352;
+fp t14471;
+fp t12630;
+fp t14470;
+fp t13117;
+fp t14469;
+fp t12713;
+fp t14468;
+fp t14467;
+fp t14466;
+fp t14465;
+fp t12762;
+fp t14464;
+fp t14463;
+fp t13414;
+fp t14462;
+fp t14461;
+fp t13435;
+fp t14460;
+fp t14459;
+fp t14458;
+fp t14457;
+fp t14456;
+fp t14455;
+fp t14454;
+fp t14453;
+fp t14452;
+fp t12627;
+fp t14451;
+fp t14165;
+fp t13042;
+fp t14450;
+fp t14449;
+fp t14448;
+fp t14447;
+fp t14446;
+fp t14445;
+fp t14444;
+fp t14443;
+fp t14442;
+fp t14441;
+fp t14440;
+fp t14439;
+fp t14438;
+fp t14437;
+fp t14096;
+fp t14436;
+fp t14435;
+fp t14293;
+fp t14339;
+fp t14434;
+fp t13455;
+fp t14433;
+fp t14432;
+fp t14431;
+fp t14228;
+fp t14088;
+fp t14386;
+fp t14430;
+fp t14429;
+fp t13322;
+fp t14428;
+fp t14427;
+fp t14377;
+fp t14426;
+fp t14208;
+fp t14425;
+fp t14424;
+fp t14423;
+fp t14422;
+fp t14421;
+fp t13291;
+fp t14420;
+fp t14419;
+fp t14418;
+fp t14417;
+fp t14416;
+fp t14415;
+fp t14414;
+fp t14413;
+fp t14412;
+fp t14411;
+fp t14410;
+fp t14409;
+fp t14408;
+fp t14396;
+fp t14390;
+fp t14384;
+fp t14380;
+fp t14379;
+fp t14374;
+fp t14367;
+fp t14360;
+fp t14353;
+fp t14349;
+fp t14325;
+fp t14308;
+fp t14288;
+fp t14277;
+fp t14244;
+fp t14227;
+fp t14207;
+fp t14188;
+fp t14186;
+fp t14143;
+fp t14140;
+fp t14137;
+fp t14136;
+fp t14135;
+fp t14133;
+fp t14128;
+fp t14124;
+fp t14123;
+fp t14121;
+fp t14120;
+fp t14119;
+fp t14116;
+fp t14114;
+fp t14109;
+fp t14108;
+fp t14107;
+fp t14106;
+fp t14103;
+fp t14095;
+fp t14091;
+fp t14089;
+fp t14038;
+fp t14034;
+fp t14028;
+fp t14000;
+fp t13991;
+fp t13984;
+fp t13981;
+fp t13972;
+fp t13969;
+fp t13967;
+fp t13960;
+fp t13953;
+fp t13945;
+fp t13939;
+fp t13938;
+fp t13935;
+fp t13934;
+fp t13931;
+fp t13926;
+fp t13923;
+fp t13922;
+fp t13914;
+fp t13910;
+fp t13909;
+fp t13907;
+fp t13899;
+fp t13888;
+fp t13886;
+fp t13883;
+fp t13874;
+fp t13871;
+fp t13867;
+fp t13866;
+fp t13862;
+fp t13859;
+fp t13854;
+fp t13851;
+fp t13849;
+fp t13845;
+fp t13843;
+fp t13836;
+fp t13830;
+fp t13829;
+fp t13828;
+fp t13823;
+fp t13816;
+fp t13812;
+fp t13806;
+fp t13800;
+fp t13797;
+fp t13794;
+fp t13793;
+fp t13787;
+fp t13783;
+fp t13774;
+fp t13769;
+fp t13767;
+fp t13766;
+fp t13764;
+fp t13755;
+fp t13746;
+fp t13742;
+fp t13736;
+fp t13728;
+fp t13713;
+fp t13703;
+fp t13696;
+fp t13684;
+fp t13676;
+fp t13675;
+fp t13674;
+fp t13672;
+fp t13670;
+fp t13669;
+fp t13667;
+fp t13665;
+fp t13664;
+fp t13663;
+fp t13658;
+fp t13655;
+fp t13653;
+fp t13652;
+fp t13651;
+fp t13640;
+fp t13637;
+fp t13627;
+fp t13626;
+fp t13620;
+fp t13618;
+fp t13615;
+fp t13612;
+fp t13611;
+fp t13606;
+fp t13603;
+fp t13595;
+fp t13592;
+fp t13585;
+fp t13584;
+fp t13580;
+fp t13575;
+fp t13571;
+fp t13567;
+fp t13562;
+fp t13550;
+fp t13545;
+fp t13542;
+fp t13541;
+fp t13538;
+fp t13537;
+fp t13531;
+fp t13530;
+fp t13526;
+fp t13523;
+fp t13515;
+fp t13511;
+fp t13503;
+fp t13499;
+fp t13492;
+fp t13486;
+fp t13481;
+fp t13475;
+fp t13473;
+fp t13471;
+fp t13470;
+fp t13463;
+fp t13457;
+fp t13453;
+fp t13452;
+fp t13449;
+fp t13446;
+fp t13439;
+fp t13433;
+fp t13427;
+fp t13406;
+fp t13405;
+fp t13402;
+fp t13399;
+fp t13393;
+fp t13392;
+fp t13389;
+fp t13388;
+fp t13386;
+fp t13385;
+fp t13371;
+fp t13368;
+fp t13363;
+fp t13358;
+fp t13355;
+fp t13342;
+fp t13339;
+fp t13338;
+fp t13332;
+fp t13330;
+fp t13313;
+fp t13312;
+fp t13311;
+fp t13289;
+fp t13286;
+fp t13285;
+fp t13280;
+fp t13277;
+fp t13270;
+fp t13267;
+fp t13266;
+fp t13260;
+fp t13259;
+fp t13253;
+fp t13245;
+fp t13239;
+fp t13238;
+fp t13236;
+fp t13235;
+fp t13234;
+fp t13220;
+fp t13215;
+fp t13209;
+fp t13206;
+fp t13201;
+fp t13196;
+fp t13194;
+fp t13192;
+fp t13189;
+fp t13185;
+fp t13181;
+fp t13176;
+fp t13175;
+fp t13174;
+fp t13170;
+fp t13155;
+fp t13153;
+fp t13147;
+fp t13143;
+fp t13139;
+fp t13138;
+fp t13134;
+fp t13133;
+fp t13123;
+fp t13108;
+fp t13095;
+fp t13088;
+fp t13084;
+fp t13082;
+fp t13081;
+fp t13080;
+fp t13074;
+fp t13072;
+fp t13070;
+fp t13061;
+fp t13055;
+fp t13051;
+fp t13045;
+fp t13040;
+fp t13034;
+fp t13032;
+fp t13024;
+fp t13022;
+fp t13020;
+fp t13019;
+fp t13018;
+fp t13015;
+fp t13012;
+fp t13004;
+fp t12999;
+fp t12996;
+fp t12991;
+fp t12983;
+fp t12981;
+fp t12977;
+fp t12969;
+fp t12964;
+fp t12961;
+fp t12954;
+fp t12952;
+fp t12945;
+fp t12934;
+fp t12930;
+fp t12929;
+fp t12922;
+fp t12909;
+fp t12902;
+fp t12900;
+fp t12894;
+fp t12891;
+fp t12889;
+fp t12886;
+fp t12885;
+fp t12884;
+fp t12883;
+fp t12879;
+fp t12872;
+fp t12870;
+fp t12863;
+fp t12858;
+fp t12853;
+fp t12850;
+fp t12848;
+fp t12830;
+fp t12829;
+fp t12828;
+fp t12825;
+fp t12821;
+fp t12819;
+fp t12817;
+fp t12816;
+fp t12798;
+fp t12793;
+fp t12790;
+fp t12786;
+fp t12783;
+fp t12780;
+fp t12777;
+fp t12771;
+fp t12766;
+fp t12758;
+fp t12753;
+fp t12749;
+fp t12743;
+fp t12740;
+fp t12737;
+fp t12731;
+fp t12730;
+fp t12717;
+fp t12714;
+fp t12712;
+fp t12700;
+fp t12694;
+fp t12693;
+fp t12684;
+fp t12678;
+fp t12672;
+fp t12671;
+fp t12663;
+fp t12661;
+fp t12652;
+fp t12635;
+fp t12632;
+fp t12631;
+fp t12620;
+fp t12609;
+fp t12607;
+fp t12603;
+fp t12602;
+fp t12598;
+fp t12593;
+fp t12592;
+fp t12586;
+fp t12583;
+ t14403 = z*z;
+ t14996 = t14403*y;
+ t14405 = x*x;
+ t14401 = t14405*x;
+ t14992 = x+t14401;
+ t15314 = t14996*t14992;
+ t14402 = t14403*z;
+ t14999 = z+t14402;
+ t14808 = t14405*t14402;
+ t14752 = y*t14808;
+ t14966 = y*t14405;
+ t14961 = z*t14966;
+ t15315 = t14752+t14961;
+ t14785 = y*t14992;
+ t14221 = RATIONAL(-56.0,27.0);
+ t14376 = RATIONAL(8.0,9.0);
+ t14073 = t14376*t14402;
+ t15313 = t14073+t14221*t14808;
+ t14328 = RATIONAL(-7.0,54.0);
+ t14357 = RATIONAL(1.0,18.0);
+ t14068 = t14357*t14401;
+ t14838 = t14403*t14401;
+ t15312 = t14068+t14328*t14838;
+ t14102 = RATIONAL(7.0,1728.0);
+ t14832 = t14402*t14102;
+ t13657 = t14401*t14832;
+ t14246 = RATIONAL(7.0,144.0);
+ t14049 = t14246*t14401;
+ t14729 = y*t14049;
+ t15311 = t14402*t14729+t13657;
+ t14234 = RATIONAL(-7.0,108.0);
+ t13780 = t14234*t14808;
+ t14315 = RATIONAL(1.0,36.0);
+ t14404 = y*y;
+ t14825 = t14403*t14404;
+ t14527 = t14315*t14825;
+ t13145 = t14401*t14527;
+ t15310 = y*t13780+t13145;
+ t14256 = RATIONAL(-7.0,27.0);
+ t14398 = RATIONAL(1.0,9.0);
+ t14074 = t14398*t14401;
+ t15309 = t14074+t14256*t14838;
+ t14142 = RATIONAL(49.0,216.0);
+ t14868 = t14142*t14402;
+ t13643 = t14401*t14868;
+ t14321 = RATIONAL(-7.0,36.0);
+ t13872 = t14321*t14838;
+ t15308 = t13643+t13872;
+ t14153 = RATIONAL(-7.0,144.0);
+ t14326 = RATIONAL(1.0,48.0);
+ t14944 = t14326*t14404;
+ t14854 = t14405*t14404;
+ t14781 = z*t14854;
+ t15307 = z*t14944+t14153*t14781;
+ t15001 = x*z;
+ t15000 = y*t15001;
+ t14988 = x*t14404;
+ t14400 = RATIONAL(2.0,9.0);
+ t14700 = t14400*t14988;
+ t13610 = z*t14700;
+ t14261 = RATIONAL(-5.0,27.0);
+ t15306 = t13610+t14261*t15000;
+ t14363 = RATIONAL(-7.0,9.0);
+ t14877 = t14402*t14404;
+ t14542 = t14404*t14808;
+ t14372 = RATIONAL(1.0,3.0);
+ t15305 = t14372*t14877+t14363*t14542;
+ t14233 = RATIONAL(-5.0,144.0);
+ t14806 = t14233*t14403;
+ t14714 = x*t14806;
+ t14678 = t14315*t14988;
+ t13472 = t14402*t14678;
+ t15304 = t14404*t14714+t13472;
+ t14823 = t14404*t14401;
+ t14782 = z*t14823;
+ t13600 = t14400*t14782;
+ t14300 = RATIONAL(-5.0,12.0);
+ t14798 = t14300*t14404;
+ t14581 = t14403*t14798;
+ t15303 = t13600+t14401*t14581;
+ t14241 = RATIONAL(1.0,144.0);
+ t14057 = t14241*t14402;
+ t14145 = RATIONAL(1.0,1728.0);
+ t14797 = t14145*t14402;
+ t13647 = x*t14797;
+ t15003 = x*y;
+ t15302 = t13647+t14057*t15003;
+ t14783 = x*t14825;
+ t14331 = RATIONAL(40.0,9.0);
+ t14257 = RATIONAL(-32.0,9.0);
+ t14705 = x*t14877;
+ t13140 = t14257*t14705;
+ t15301 = t14331*t14783+t13140;
+ t14394 = RATIONAL(7.0,3.0);
+ t14294 = RATIONAL(28.0,9.0);
+ t14778 = y*t14838;
+ t15300 = t14394*t14996+t14294*t14778;
+ t14172 = RATIONAL(28.0,27.0);
+ t14370 = RATIONAL(7.0,9.0);
+ t14786 = t14405*t14370;
+ t15299 = t14172*t14752+y*t14786;
+ t14361 = RATIONAL(5.0,9.0);
+ t14836 = t14403*t14361;
+ t14618 = t14401*t14836;
+ t15298 = t14404*t14618+t13600;
+ t14236 = RATIONAL(7.0,216.0);
+ t14809 = t14236*t14401;
+ t13737 = t14403*t14809;
+ t12982 = y*t13737;
+ t14266 = RATIONAL(-1.0,36.0);
+ t13466 = t14266*t14542;
+ t15297 = t12982+t13466;
+ t14055 = t14246*t14402;
+ t13668 = x*t14832;
+ t15296 = t13668+t14055*t15003;
+ t14388 = RATIONAL(-1.0,6.0);
+ t13418 = t14266*t14705;
+ t15295 = t14388*t14542+t13418;
+ t14990 = z*t14401;
+ t13659 = t14102*t14990;
+ t15294 = t13659+z*t14729;
+ t14565 = t14402*t14823;
+ t14181 = RATIONAL(-49.0,36.0);
+ t12832 = t14181*t14565;
+ t14892 = t14403*t14405;
+ t14717 = y*t14892;
+ t15293 = t12832+RATIONAL(125.0,24.0)*t14717;
+ t14240 = RATIONAL(-7.0,576.0);
+ t14913 = t14240*t14404;
+ t14683 = x*t14913;
+ t12804 = z*t14683;
+ t14217 = RATIONAL(7.0,288.0);
+ t15292 = t12804+t14217*t14783;
+ t14247 = RATIONAL(1.0,576.0);
+ t14918 = t14247*t14404;
+ t14709 = z*t14918;
+ t12898 = x*t14709;
+ t14292 = RATIONAL(1.0,96.0);
+ t14528 = t14292*t14854;
+ t15291 = t12898+z*t14528;
+ t14178 = RATIONAL(5.0,216.0);
+ t14964 = t14178*y;
+ t14901 = t14266*t14404;
+ t14696 = z*t14901;
+ t13430 = x*t14696;
+ t15290 = t13430+t14964*t15001;
+ t14900 = t14402*t14401;
+ t14780 = y*t14900;
+ t14115 = RATIONAL(-49.0,144.0);
+ t13632 = RATIONAL(-49.0,1728.0)*t14900;
+ t15289 = t14115*t14780+t13632;
+ t14295 = RATIONAL(7.0,18.0);
+ t14677 = t14321*t14988;
+ t13304 = t14402*t14677;
+ t15288 = t14295*t14542+t13304;
+ t14253 = RATIONAL(-35.0,27.0);
+ t14959 = y*t14990;
+ t14842 = t14256*t14401;
+ t13915 = z*t14842;
+ t15287 = t13915+t14253*t14959;
+ t14320 = RATIONAL(-7.0,72.0);
+ t14310 = RATIONAL(1.0,54.0);
+ t14894 = t14310*t14401;
+ t14774 = y*t14894;
+ t13325 = t14402*t14774;
+ t14541 = t14405*t14825;
+ t15286 = t13325+t14320*t14541;
+ t14169 = RATIONAL(-1.0,216.0);
+ t14994 = x*t14169;
+ t13792 = z*t14994;
+ t15285 = t13792+RATIONAL(5.0,8.0)*t14717;
+ t14373 = RATIONAL(-5.0,9.0);
+ t14369 = RATIONAL(4.0,9.0);
+ t13517 = t14369*t14705;
+ t15284 = t13517+t14373*t14783;
+ t14235 = RATIONAL(1.0,288.0);
+ t14975 = z*t14145;
+ t13656 = t14401*t14975;
+ t15283 = t14235*t14838+t13656;
+ t14085 = RATIONAL(-343.0,144.0);
+ t14818 = RATIONAL(49.0,48.0)*t14404;
+ t15282 = t14402*t14818+t14085*t14542;
+ t14330 = RATIONAL(5.0,27.0);
+ t14337 = RATIONAL(1.0,27.0);
+ t14804 = t14337*t14401;
+ t13936 = z*t14804;
+ t15281 = t13936+t14330*t14959;
+ t14170 = RATIONAL(35.0,48.0);
+ t14993 = y*t14401;
+ t14779 = t14328*t14993;
+ t13158 = t14402*t14779;
+ t15280 = t14170*t14541+t13158;
+ t14381 = RATIONAL(1.0,6.0);
+ t14800 = t14403*t14381;
+ t14557 = t14404*t14800;
+ t13480 = z*t14678;
+ t15279 = x*t14557+t13480;
+ t14312 = RATIONAL(-28.0,9.0);
+ t13222 = t14312*t14565;
+ t15278 = t13222+RATIONAL(125.0,18.0)*t14717;
+ t14965 = y*RATIONAL(-35.0,6.0);
+ t14263 = RATIONAL(-70.0,9.0);
+ t13901 = t14263*t14966;
+ t15277 = t14405*t14965+t14402*t13901;
+ t14805 = t14363*t14404;
+ t14549 = t14403*t14805;
+ t15276 = t14372*t14823+t14401*t14549;
+ t14307 = RATIONAL(35.0,9.0);
+ t14276 = RATIONAL(14.0,9.0);
+ t13376 = t14276*t14705;
+ t15275 = t13376+t14307*t14542;
+ t14204 = RATIONAL(-40.0,27.0);
+ t13682 = RATIONAL(32.0,27.0)*t14900;
+ t15274 = t14204*t14838+t13682;
+ t14232 = RATIONAL(14.0,27.0);
+ t14852 = t14232*t14401;
+ t13750 = t14402*t14852;
+ t13028 = y*t13750;
+ t15273 = t14363*t14541+t13028;
+ t14298 = RATIONAL(-7.0,96.0);
+ t13122 = t14402*t14683;
+ t15272 = t14298*t14542+t13122;
+ t14248 = RATIONAL(-112.0,9.0);
+ t14350 = RATIONAL(16.0,3.0);
+ t15271 = t14350*t14877+t14248*t14542;
+ t14264 = RATIONAL(-1.0,18.0);
+ t13803 = t14402*t14809;
+ t15270 = y*t13803+t14264*t14541;
+ t14605 = t14264*t14825;
+ t13335 = t14315*t14782;
+ t15269 = t14401*t14605+t13335;
+ t14318 = RATIONAL(-10.0,3.0);
+ t14314 = RATIONAL(16.0,9.0);
+ t14962 = z*t14988;
+ t13231 = t14314*t14962;
+ t15268 = t13231+t14318*t14781;
+ t14305 = RATIONAL(-2.0,27.0);
+ t14942 = t14305*t14401;
+ t13944 = z*t14942;
+ t14983 = z*t14405;
+ t14316 = RATIONAL(5.0,54.0);
+ t15267 = t14316*t14983+t13944;
+ t14273 = RATIONAL(-40.0,9.0);
+ t14354 = RATIONAL(32.0,9.0);
+ t13208 = t14354*t14782;
+ t15266 = t13208+t14273*t14781;
+ t14646 = t14240*t14823;
+ t12913 = z*t14646;
+ t14619 = t14298*t14825;
+ t15265 = t12913+t14401*t14619;
+ t14336 = RATIONAL(-7.0,48.0);
+ t14871 = t14336*t14404;
+ t14126 = RATIONAL(49.0,144.0);
+ t15264 = t14126*t14542+t14402*t14871;
+ t14132 = RATIONAL(-49.0,576.0);
+ t14630 = t14132*t14823;
+ t12721 = z*t14630;
+ t14222 = RATIONAL(-49.0,96.0);
+ t14650 = t14403*t14823;
+ t15263 = t12721+t14222*t14650;
+ t14285 = RATIONAL(7.0,27.0);
+ t14826 = t14285*t14401;
+ t13855 = z*t14826;
+ t14159 = RATIONAL(35.0,54.0);
+ t14833 = t14403*t14159;
+ t13689 = t14401*t14833;
+ t15262 = t13855+t13689;
+ t14220 = RATIONAL(5.0,288.0);
+ t14690 = t14220*t14993;
+ t14862 = t14169*t14402;
+ t13822 = t14401*t14862;
+ t15261 = t14402*t14690+t13822;
+ t14391 = RATIONAL(-4.0,9.0);
+ t13591 = t14391*t14705;
+ t15260 = t13591+t14361*t14783;
+ t14304 = RATIONAL(10.0,9.0);
+ t14768 = z*t14805;
+ t13556 = x*t14768;
+ t15259 = t13556+t14304*t15000;
+ t14209 = RATIONAL(5.0,108.0);
+ t14553 = t14266*t14825;
+ t13495 = t14401*t14553;
+ t15258 = t13495+t14209*t14752;
+ t12709 = y*t13643;
+ t14803 = t14388*t14404;
+ t14540 = t14403*t14803;
+ t15257 = t12709+t14405*t14540;
+ t14183 = RATIONAL(7.0,864.0);
+ t14097 = RATIONAL(-7.0,1728.0);
+ t14848 = t14097*t14401;
+ t13635 = t14402*t14848;
+ t15256 = t14183*t14808+t13635;
+ t14156 = RATIONAL(-5.0,288.0);
+ t14981 = y*t14156;
+ t14698 = t14403*t14981;
+ t14201 = RATIONAL(7.0,576.0);
+ t13078 = t14201*t14542;
+ t15255 = t14401*t14698+t13078;
+ t15254 = t14126*t14783+x*t14871;
+ t14995 = x*t14403;
+ t14991 = x*t14402;
+ t13660 = t14097*t14991;
+ t14171 = RATIONAL(5.0,576.0);
+ t15253 = t14171*t14995+t13660;
+ t14110 = RATIONAL(49.0,576.0);
+ t12657 = t14110*t14705;
+ t14104 = RATIONAL(-35.0,192.0);
+ t14544 = t14104*t14825;
+ t15252 = x*t14544+t12657;
+ t14299 = RATIONAL(49.0,9.0);
+ t14385 = RATIONAL(-7.0,3.0);
+ t15251 = t14385*t14823+t14299*t14650;
+ t14214 = RATIONAL(5.0,432.0);
+ t14853 = t14214*t14405;
+ t14216 = RATIONAL(-1.0,108.0);
+ t14820 = t14401*t14216;
+ t13768 = z*t14820;
+ t15250 = t13768+z*t14853;
+ t14329 = RATIONAL(2.0,27.0);
+ t14860 = t14329*t14402;
+ t13911 = t14401*t14860;
+ t14265 = RATIONAL(-5.0,18.0);
+ t14970 = y*t14265;
+ t14708 = t14402*t14970;
+ t15249 = t13911+t14401*t14708;
+ t14061 = t14264*t14402;
+ t14345 = RATIONAL(7.0,72.0);
+ t13500 = t14345*t14705;
+ t15248 = t14061*t15003+t13500;
+ t15247 = RATIONAL(224.0,27.0)*t14780+RATIONAL(-140.0,9.0)*t14541;
+ t14340 = RATIONAL(-7.0,24.0);
+ t14356 = RATIONAL(7.0,54.0);
+ t14771 = t14356*t14993;
+ t13152 = t14402*t14771;
+ t15246 = t14340*t14541+t13152;
+ t14358 = RATIONAL(4.0,27.0);
+ t14830 = t14358*t14402;
+ t13978 = t14401*t14830;
+ t15245 = t14261*t14808+t13978;
+ t14185 = RATIONAL(20.0,27.0);
+ t14190 = RATIONAL(-16.0,27.0);
+ t13840 = t14190*t14991;
+ t15244 = t14185*t14995+t13840;
+ t14206 = RATIONAL(-5.0,216.0);
+ t14796 = t14405*t14206;
+ t14680 = y*t14796;
+ t15243 = t13145+t14402*t14680;
+ t14084 = t14391*z;
+ t14998 = z*t14404;
+ t14747 = t14370*t14998;
+ t13553 = x*t14747;
+ t15242 = t13553+t14084*t15003;
+ t14788 = t14405*t14220;
+ t13785 = t14403*t14788;
+ t12915 = t14240*t14565;
+ t15241 = y*t13785+t12915;
+ t14543 = t14110*t14823;
+ t12677 = t14402*t14543;
+ t14202 = RATIONAL(-25.0,48.0);
+ t15240 = t12677+t14202*t14717;
+ t15239 = t14326*t14877+t14153*t14542;
+ t14371 = RATIONAL(-2.0,9.0);
+ t14972 = t14371*x;
+ t13857 = t14285*t14991;
+ t15238 = t14403*t14972+t13857;
+ t13724 = t14190*t14990;
+ t15237 = t13724+t14185*t14983;
+ t14243 = RATIONAL(49.0,72.0);
+ t12827 = t14243*t14705;
+ t14090 = RATIONAL(245.0,144.0);
+ t15236 = t12827+t14090*t14542;
+ t14566 = t14153*t14838;
+ t15235 = t14326*t14823+t14404*t14566;
+ t15234 = t12913+t14217*t14650;
+ t13094 = t14240*t14542;
+ t14161 = RATIONAL(5.0,144.0);
+ t14613 = t14161*t14838;
+ t15233 = y*t14613+t13094;
+ t14179 = RATIONAL(56.0,27.0);
+ t14368 = RATIONAL(-8.0,9.0);
+ t14079 = t14368*t14402;
+ t15232 = t14079+t14179*t14808;
+ t14199 = RATIONAL(98.0,27.0);
+ t12814 = t14199*t14780;
+ t15231 = t12814+RATIONAL(-35.0,3.0)*t14541;
+ t14389 = RATIONAL(-7.0,6.0);
+ t15230 = t14389*t14542+t13304;
+ t14051 = t14153*t14401;
+ t12669 = z*t14543;
+ t15002 = y*z;
+ t15229 = t12669+t14051*t15002;
+ t14882 = t14337*t14402;
+ t13950 = x*t14882;
+ t14971 = y*t14402;
+ t14954 = x*t14971;
+ t15228 = t13950+t14330*t14954;
+ t15227 = t14401*t14818+t14085*t14650;
+ t14141 = RATIONAL(-49.0,432.0);
+ t13569 = RATIONAL(49.0,1728.0)*t14900;
+ t15226 = t14141*t14780+t13569;
+ t14152 = RATIONAL(35.0,18.0);
+ t15225 = RATIONAL(245.0,48.0)*t14541+t14152*t14892;
+ t14324 = RATIONAL(-5.0,54.0);
+ t13955 = x*t14860;
+ t15224 = t13955+t14324*t14995;
+ t14150 = RATIONAL(10.0,27.0);
+ t15223 = t14150*t14780+t13911;
+ t14343 = RATIONAL(-7.0,18.0);
+ t14898 = t14404*t14381;
+ t14026 = z*t14898;
+ t15222 = t14026+t14343*t14781;
+ t13695 = RATIONAL(-32.0,27.0)*t14900;
+ t15221 = t13695+t14331*t14780;
+ t14267 = RATIONAL(7.0,48.0);
+ t15220 = t14115*t14650+t14267*t14823;
+ t14066 = t14357*t14402;
+ t15219 = t14066+t14328*t14808;
+ t14827 = t14324*t14405;
+ t14934 = t14329*t14401;
+ t13965 = z*t14934;
+ t15218 = t13965+z*t14827;
+ t13558 = t14371*t14782;
+ t14355 = RATIONAL(5.0,12.0);
+ t14814 = t14355*t14404;
+ t14586 = t14403*t14814;
+ t15217 = t13558+t14401*t14586;
+ t12984 = t14201*t14565;
+ t14231 = RATIONAL(-1.0,144.0);
+ t14812 = t14405*t14231;
+ t13741 = t14403*t14812;
+ t15216 = t12984+y*t13741;
+ t14348 = RATIONAL(-56.0,9.0);
+ t14399 = RATIONAL(8.0,3.0);
+ t14861 = t14399*t14404;
+ t15215 = x*t14861+t14348*t14783;
+ t14218 = RATIONAL(-49.0,54.0);
+ t14069 = t14295*t14402;
+ t15214 = t14069+t14218*t14808;
+ t14821 = t14373*t14405;
+ t14001 = z*t14821;
+ t13616 = t14369*t14782;
+ t15213 = t14404*t14001+t13616;
+ t15212 = t13418+t14357*t14542;
+ t14335 = RATIONAL(-1.0,48.0);
+ t14902 = t14335*t14404;
+ t15211 = x*t14902+t14246*t14783;
+ t14338 = RATIONAL(-1.0,72.0);
+ t14973 = t14338*z;
+ t14699 = t14404*t14973;
+ t13460 = x*t14699;
+ t14953 = t14310*t15003;
+ t15210 = t13460+z*t14953;
+ t13838 = t14236*t14808;
+ t12871 = y*t13838;
+ t15209 = t13495+t12871;
+ t14333 = RATIONAL(-4.0,27.0);
+ t14789 = t14333*t14402;
+ t13956 = t14401*t14789;
+ t15208 = t13956+t14330*t14808;
+ t14175 = RATIONAL(-14.0,27.0);
+ t14837 = t14175*t14402;
+ t13717 = t14401*t14837;
+ t12767 = y*t13717;
+ t15207 = t12767+t14361*t14541;
+ t14062 = t14264*z;
+ t14740 = t14345*t14998;
+ t13509 = x*t14740;
+ t15206 = t14062*t15003+t13509;
+ t14020 = t14361*t14983;
+ t14754 = t14404*t14084;
+ t13622 = t14401*t14754;
+ t15205 = t14404*t14020+t13622;
+ t13730 = t14178*t14892;
+ t13361 = t14266*t14565;
+ t15204 = t13361+y*t13730;
+ t14224 = RATIONAL(1.0,432.0);
+ t14725 = t14224*t14966;
+ t14787 = RATIONAL(-1.0,576.0)*t14404;
+ t14530 = t14401*t14787;
+ t15203 = t14403*t14530+t14402*t14725;
+ t14317 = RATIONAL(1.0,24.0);
+ t12720 = t14132*t14565;
+ t15202 = t14317*t14717+t12720;
+ t14979 = y*t14206;
+ t14710 = t14403*t14979;
+ t13424 = t14315*t14542;
+ t15201 = t13424+t14401*t14710;
+ t14053 = t14241*t14401;
+ t14177 = RATIONAL(-7.0,432.0);
+ t13705 = t14177*t14838;
+ t15200 = t14053+t13705;
+ t14922 = t14183*t14401;
+ t14776 = y*t14922;
+ t12893 = t14402*t14776;
+ t14223 = RATIONAL(-5.0,192.0);
+ t15199 = t12893+t14223*t14541;
+ t14058 = t14231*t14402;
+ t14701 = y*t14058;
+ t14105 = RATIONAL(-1.0,1728.0);
+ t14840 = t14105*t14401;
+ t13671 = t14402*t14840;
+ t15198 = t13671+t14401*t14701;
+ t14342 = RATIONAL(5.0,18.0);
+ t13198 = t14321*t14565;
+ t15197 = t13198+t14342*t14717;
+ t14194 = RATIONAL(-1.0,288.0);
+ t12907 = t14247*t14565;
+ t15196 = t12907+t14194*t14542;
+ t15195 = t14391*t14542+y*t13689;
+ t14987 = t14216*x;
+ t13701 = t14402*t14987;
+ t15194 = t14214*t14995+t13701;
+ t14148 = RATIONAL(35.0,72.0);
+ t13765 = t14148*t14808;
+ t14648 = t14321*t14823;
+ t13484 = t14403*t14648;
+ t15193 = t13484+y*t13765;
+ t13128 = t14403*t14646;
+ t15192 = t14241*t14752+t13128;
+ t14275 = RATIONAL(-7.0,12.0);
+ t14773 = t14320*t14988;
+ t13491 = z*t14773;
+ t15191 = t13491+t14275*t14783;
+ t14322 = RATIONAL(5.0,24.0);
+ t15190 = t14322*t14717+t12720;
+ t14193 = RATIONAL(-49.0,72.0);
+ t12842 = t14193*t14705;
+ t14176 = RATIONAL(35.0,36.0);
+ t15189 = t12842+t14176*t14954;
+ t14166 = RATIONAL(-98.0,27.0);
+ t12810 = t14166*t14780;
+ t15188 = RATIONAL(14.0,3.0)*t14541+t12810;
+ t14885 = t14305*t14402;
+ t13986 = x*t14885;
+ t15187 = t14316*t14995+t13986;
+ t14075 = t14398*t14402;
+ t14742 = y*t14075;
+ t14158 = RATIONAL(1.0,108.0);
+ t14794 = t14158*t14402;
+ t13776 = t14401*t14794;
+ t15186 = t13776+t14401*t14742;
+ t14131 = RATIONAL(35.0,216.0);
+ t14719 = t14131*t14971;
+ t13723 = t14236*t14991;
+ t15185 = x*t14719+t13723;
+ t14859 = t14405*t14177;
+ t14685 = y*t14804;
+ t13362 = t14402*t14685;
+ t15184 = t14403*t14859+t13362;
+ t14532 = t14115*t14854;
+ t15183 = t14402*t14532+t14267*t14877;
+ t14191 = RATIONAL(25.0,96.0);
+ t15182 = t12720+t14191*t14717;
+ t14375 = RATIONAL(-1.0,3.0);
+ t15181 = t14375*t14877+t14370*t14542;
+ t15180 = t12767+t14276*t14541;
+ t14200 = RATIONAL(-7.0,864.0);
+ t14888 = t14200*t14402;
+ t14734 = y*t14888;
+ t12971 = t14401*t14734;
+ t15179 = t12971+t14403*t14528;
+ t14270 = RATIONAL(7.0,36.0);
+ t13191 = t14270*t14542;
+ t15178 = y*t13872+t13191;
+ t13559 = t14398*t14962;
+ t15177 = t13559+t14342*t14781;
+ t14144 = RATIONAL(-49.0,216.0);
+ t14845 = t14144*t14402;
+ t13662 = t14401*t14845;
+ t12701 = y*t13662;
+ t15176 = t14355*t14541+t12701;
+ t14302 = RATIONAL(-8.0,27.0);
+ t14688 = t14302*t14971;
+ t15175 = t14176*t14541+t14401*t14688;
+ t14531 = t14343*t14825;
+ t15174 = (t14898+t14531)*x;
+ t15173 = t14401*t14557+t13335;
+ t14362 = RATIONAL(-1.0,9.0);
+ t14083 = t14362*t14401;
+ t15172 = t14083+t14403*t14826;
+ t14122 = RATIONAL(-35.0,288.0);
+ t14694 = t14122*t14971;
+ t15171 = x*t14694+t13723;
+ t14249 = RATIONAL(49.0,36.0);
+ t12839 = t14249*t14565;
+ t15170 = t12839+t14389*t14717;
+ t14016 = z*t14803;
+ t15169 = t14016+t14295*t14781;
+ t14251 = RATIONAL(-35.0,12.0);
+ t15168 = t14251*t14542+t13376;
+ t14365 = RATIONAL(7.0,6.0);
+ t14946 = t14365*t14404;
+ t14174 = RATIONAL(-49.0,18.0);
+ t15167 = t14174*t14783+x*t14946;
+ t15166 = t14350*t14823+t14248*t14650;
+ t14344 = RATIONAL(-49.0,9.0);
+ t15165 = t14394*t14877+t14344*t14542;
+ t14163 = RATIONAL(-7.0,288.0);
+ t13639 = z*t14848;
+ t15164 = t13639+t14163*t14838;
+ t13621 = t14402*t14700;
+ t15163 = t13621+t14361*t14542;
+ t13680 = t14105*t14991;
+ t15162 = x*t14701+t13680;
+ t14210 = RATIONAL(-5.0,108.0);
+ t15161 = t14210*t15314;
+ t14539 = t14235*t14825;
+ t14203 = RATIONAL(-1.0,864.0);
+ t14846 = t14203*t14401;
+ t14686 = y*t14846;
+ t15160 = t14402*t14686+t14405*t14539;
+ t14205 = RATIONAL(-35.0,24.0);
+ t14537 = t14205*t14854;
+ t12826 = t14243*t14782;
+ t15159 = z*t14537+t12826;
+ t14741 = t14404*t14972;
+ t13631 = z*t14741;
+ t15158 = t13631+t14330*t15000;
+ t13770 = t14177*t14808;
+ t15157 = t14057+t13770;
+ t14080 = t14368*t14401;
+ t15156 = t14080+t14179*t14838;
+ t14989 = t14337*z;
+ t13942 = x*t14989;
+ t15155 = RATIONAL(-25.0,27.0)*t14717+t13942;
+ t14736 = t14175*t14993;
+ t15154 = t14343*t14996+t14403*t14736;
+ t14237 = RATIONAL(-7.0,216.0);
+ t14878 = t14405*t14237;
+ t14612 = t14357*t14825;
+ t13438 = t14401*t14612;
+ t15153 = t13438+t14878*t15002;
+ t14311 = RATIONAL(-1.0,27.0);
+ t14969 = z*t14311;
+ t13893 = x*t14969;
+ t15152 = t13893+RATIONAL(-25.0,16.0)*t14717;
+ t14196 = RATIONAL(25.0,54.0);
+ t13623 = t14391*t14565;
+ t15151 = t14196*t14717+t13623;
+ t15150 = t13621+t14300*t14542;
+ t13773 = t14148*t14838;
+ t14535 = t14321*t14854;
+ t13204 = t14402*t14535;
+ t15149 = t13204+y*t13773;
+ t14282 = RATIONAL(7.0,24.0);
+ t14720 = y*t14842;
+ t13261 = t14402*t14720;
+ t15148 = t13261+t14345*t14892+t14282*t14541;
+ t14118 = RATIONAL(35.0,144.0);
+ t14562 = t14118*t14825;
+ t12646 = t14401*t14562;
+ t14306 = RATIONAL(5.0,36.0);
+ t14874 = t14405*t14306;
+ t13429 = t14874*t15002;
+ t15147 = t12646+t13429+t14405*t14708;
+ t14397 = RATIONAL(5.0,6.0);
+ t14213 = RATIONAL(1.0,216.0);
+ t14968 = x*t14213;
+ t13743 = z*t14968;
+ t15146 = t12832+t13743+t14397*t14717;
+ t12831 = t14152*t14780;
+ t15145 = RATIONAL(-49.0,24.0)*t14541+t14363*t14892+t12831;
+ t14955 = y*t14995;
+ t14280 = RATIONAL(-35.0,9.0);
+ t14290 = RATIONAL(70.0,9.0);
+ t13197 = t14280*t14542;
+ t15144 = t14290*t14778+t14280*t14955+t13197;
+ t14094 = RATIONAL(-35.0,108.0);
+ t14250 = RATIONAL(-35.0,36.0);
+ t14147 = RATIONAL(16.0,27.0);
+ t15143 = t14147*t14780+t14094*t14892+t14250*t14541;
+ t14841 = t14158*t14403;
+ t13789 = x*t14841;
+ t15142 = t13789+t14999*t14233*t14966;
+ t14726 = t14342*t14971;
+ t13203 = t14401*t14726;
+ t15141 = t13203+t14193*t14541+t14256*t14892;
+ t14839 = t14405*t14315;
+ t12729 = t14401*t14694;
+ t14346 = RATIONAL(7.0,96.0);
+ t15140 = t12729+t14403*t14839+t14346*t14541;
+ t14757 = t14270*t14983;
+ t13937 = t14270*t14808;
+ t13487 = t14401*t14531;
+ t15139 = t13487+(t14757+t13937)*y;
+ t13561 = t14389*t14650;
+ t15138 = t14249*t14752+t13561+t14321*t14961;
+ t14529 = t14401*t14806;
+ t14272 = RATIONAL(-1.0,54.0);
+ t14870 = t14405*t14272;
+ t14716 = y*t14882;
+ t15137 = t14405*t14716+t14870*t15002+t14404*t14529;
+ t14146 = RATIONAL(-35.0,144.0);
+ t14225 = RATIONAL(-35.0,48.0);
+ t13263 = t14285*t14780;
+ t15136 = t14225*t14541+t14146*t14892+t13263;
+ t14184 = RATIONAL(70.0,27.0);
+ t15135 = RATIONAL(245.0,36.0)*t14541+t14184*t14892+t14273*t14780;
+ t14160 = RATIONAL(-35.0,54.0);
+ t13808 = t14160*t14808;
+ t15134 = t14160*t14961+t14376*t14650+y*t13808;
+ t14111 = RATIONAL(-245.0,72.0);
+ t13597 = t14365*t14650;
+ t15133 = t14111*t14752+t13597+t14148*t14961;
+ t14101 = RATIONAL(-140.0,27.0);
+ t14100 = RATIONAL(280.0,27.0);
+ t14291 = RATIONAL(-80.0,9.0);
+ t15132 = t14101*t14961+t14291*t14650+t14100*t14752;
+ t14283 = RATIONAL(-1.0,12.0);
+ t13644 = x*t14975;
+ t15131 = t12677+t13644+t14283*t14717;
+ t13778 = t14403*t14994;
+ t13756 = t14402*t14968;
+ t14925 = t13778+t13756;
+ t13988 = t14306*t14808;
+ t15130 = t14925+t13484+y*t13988;
+ t13314 = t14280*t14650;
+ t15129 = t14280*t14961+t14290*t14752+t13314;
+ t14287 = RATIONAL(-14.0,9.0);
+ t14215 = RATIONAL(35.0,12.0);
+ t12781 = t14215*t14542;
+ t15128 = t14287*t14955+t14181*t14778+t12781;
+ t14978 = x*t14305;
+ t15127 = t14978*t15002+t13152+t14202*t14541;
+ t14750 = t14401*t14970;
+ t13149 = t14306*t14955;
+ t12681 = t14118*t14542;
+ t15126 = t14403*t14750+t13149+t12681;
+ t13485 = t14307*t14650;
+ t15125 = t14276*t14961+t14312*t14752+t13485;
+ t13818 = t14169*t14990;
+ t14879 = t14213*t14983+t13818;
+ t15124 = t14879+t13466+t14209*t14778;
+ t14239 = RATIONAL(7.0,108.0);
+ t14801 = t14239*t14401;
+ t13749 = t14403*t14801;
+ t13454 = t14264*t14542;
+ t15123 = y*t13749+t13454+t14239*t14955;
+ t13525 = t14370*t14780;
+ t15122 = RATIONAL(-245.0,48.0)*t14541+t14118*t14892+t13525;
+ t14078 = t14362*t14402;
+ t14759 = y*t14078;
+ t13586 = t14401*t14759;
+ t13762 = t14403*t14878;
+ t15121 = t14243*t14541+t13586+t13762;
+ t14679 = t14156*t14971;
+ t15120 = t14217*t14541+t14405*t14841+t14401*t14679;
+ t13896 = t14328*t14892;
+ t14149 = RATIONAL(-10.0,27.0);
+ t14762 = t14149*t14971;
+ t12895 = t14401*t14762;
+ t15119 = t13896+t14370*t14541+t12895;
+ t14682 = t14270*t14995;
+ t13918 = t14270*t14838;
+ t13190 = t14343*t14542;
+ t15118 = t13190+(t13918+t14682)*y;
+ t14192 = RATIONAL(-1.0,432.0);
+ t14985 = y*t14192;
+ t14732 = t14401*t14985;
+ t15117 = t14235*t14542+t14403*t14732+t14192*t14955;
+ t14976 = x*t14311;
+ t13979 = t14403*t14976;
+ t14242 = RATIONAL(-25.0,72.0);
+ t14533 = t14270*t14823;
+ t13356 = t14403*t14533;
+ t15116 = t13979+t13356+t14242*t14752;
+ t14884 = t14403*t14236;
+ t13602 = t14381*t14542;
+ t15115 = t14884*t15003+t14144*t14778+t13602;
+ t13544 = t14365*t14542;
+ t15114 = t14111*t14778+t13544+t14148*t14955;
+ t13590 = t14373*t14542;
+ t14718 = y*t14852;
+ t15113 = t14403*t14718+t14256*t14955+t13590;
+ t14138 = RATIONAL(-245.0,54.0);
+ t15112 = t14138*t14752+t14399*t14650+t14159*t14961;
+ t14327 = RATIONAL(5.0,72.0);
+ t14819 = t14405*t14327;
+ t13930 = t14403*t14819;
+ t12715 = t14401*t14719;
+ t15111 = t13930+t12715+t14300*t14541;
+ t15110 = t14101*t14955+t14100*t14778+t14291*t14542;
+ t13522 = t14363*t14780;
+ t15109 = RATIONAL(49.0,24.0)*t14541+t14320*t14892+t13522;
+ t14982 = y*t14224;
+ t14704 = t14403*t14982;
+ t15108 = y*t13705+x*t14704+t14402*t14528;
+ t13574 = t14401*t14540;
+ t15107 = t13574+z*t14680+t14405*t14719;
+ t14134 = RATIONAL(140.0,27.0);
+ t14139 = RATIONAL(245.0,54.0);
+ t14351 = RATIONAL(-20.0,3.0);
+ t15106 = t14139*t14752+t14134*t14961+t14351*t14650;
+ t14157 = RATIONAL(-35.0,72.0);
+ t13693 = t14157*t14808;
+ t13501 = t14295*t14650;
+ t15105 = t13501+t14157*t14961+y*t13693;
+ t13718 = t14169*t14983;
+ t14850 = t14213*t14401;
+ t13719 = z*t14850;
+ t14916 = t13718+t13719;
+ t13860 = t14306*t14838;
+ t15104 = t14916+t13204+y*t13860;
+ t12833 = t14215*t14650;
+ t15103 = t12833+t14287*t14961+t14181*t14752;
+ t14117 = RATIONAL(49.0,108.0);
+ t15102 = t13574+t14234*t14961+t14117*t14752;
+ t14558 = t14246*t14838;
+ t14872 = t14357*t14403;
+ t12725 = t14104*t14542;
+ t15101 = y*t14558+t14872*t15003+t12725;
+ t14799 = t14405*t14241;
+ t14570 = t14346*t14825;
+ t13251 = t14401*t14570;
+ t15100 = t14153*t14752+t13251+t14799*t15002;
+ t14583 = t14292*t14825;
+ t15099 = t14401*t14583+z*t14725+y*t13770;
+ t14230 = RATIONAL(-70.0,27.0);
+ t12778 = t14230*t14780;
+ t14198 = RATIONAL(-35.0,18.0);
+ t15098 = t12778+t14198*t14892+RATIONAL(35.0,3.0)*t14541;
+ t14093 = RATIONAL(-49.0,108.0);
+ t13459 = t14355*t14542;
+ t15097 = t13459+t14093*t14778+t14175*t14955;
+ t14189 = RATIONAL(1.0,864.0);
+ t14844 = t14189*t14405;
+ t14319 = RATIONAL(1.0,72.0);
+ t14767 = t14319*t14995;
+ t15096 = z*t14844+t14319*t14778+y*t14767;
+ t14197 = RATIONAL(7.0,432.0);
+ t14772 = t14197*t14971;
+ t12918 = t14401*t14772;
+ t14303 = RATIONAL(-5.0,96.0);
+ t14869 = t14405*t14156;
+ t15095 = t12918+t14403*t14869+t14303*t14541;
+ t13761 = t14197*t14808;
+ t15094 = y*t13761+t14223*t14650+t14310*t14961;
+ t13207 = t14294*t14565;
+ t14286 = RATIONAL(-25.0,9.0);
+ t14689 = t14286*t14966;
+ t15093 = t13893+t13207+t14403*t14689;
+ t14748 = t14242*t14996;
+ t13947 = t14405*t14969;
+ t15092 = t14401*t14748+t13947+t13191;
+ t14281 = RATIONAL(5.0,96.0);
+ t12939 = t14987*t15002;
+ t15091 = t12971+t14281*t14541+t12939;
+ t14744 = y*t14053;
+ t15090 = t14403*t14844+t14163*t14541+t14402*t14744;
+ t14737 = t14161*t14966;
+ t15089 = t14925+t13128+t14402*t14737;
+ t12834 = t14251*t14650;
+ t14130 = RATIONAL(245.0,72.0);
+ t15088 = t12834+t14307*t14961+t14130*t14752;
+ t14822 = t14403*t14197;
+ t13777 = t14401*t14822;
+ t15087 = y*t13777+t14403*t14953+t14223*t14542;
+ t14963 = z*t14105;
+ t15086 = t13078+t14405*t14963+t14338*t14778;
+ t12873 = t14184*t14780;
+ t14347 = RATIONAL(-14.0,3.0);
+ t15085 = t12873+t14403*t14786+t14347*t14541;
+ t14697 = t14398*t14996;
+ t12716 = t14146*t14542;
+ t15084 = t14401*t14697+t14264*t14955+t12716;
+ t14695 = t14401*t14964;
+ t15083 = t13454+t14178*t14955+t14403*t14695;
+ t14647 = t14201*t14823;
+ t13014 = t14403*t14647;
+ t14707 = t14338*t14971;
+ t15082 = t13014+t14105*t14995+t14405*t14707;
+ t14724 = t14122*t14993;
+ t14127 = RATIONAL(35.0,192.0);
+ t12689 = t14127*t14542;
+ t14341 = RATIONAL(-5.0,36.0);
+ t14997 = y*t14341;
+ t14949 = x*t14997;
+ t13161 = t14403*t14949;
+ t15081 = t14403*t14724+t12689+t13161;
+ t14792 = t14403*t14160;
+ t13810 = t14401*t14792;
+ t15080 = t14792*t15003+t14376*t14542+y*t13810;
+ t14112 = RATIONAL(35.0,108.0);
+ t15079 = t14112*t14892+t14314*t14780+RATIONAL(-245.0,36.0)*t14541;
+ t14730 = t14192*t14971;
+ t15078 = t14192*t14961+t14405*t14730+t14401*t14539;
+ t15077 = t14233*t14542+t14403*t14685+t14272*t14955;
+ t14967 = t14203*z;
+ t15076 = t12893+t14335*t14541+t14967*t15003;
+ t15075 = t14833*t15003+t14138*t14778+t14399*t14542;
+ t14125 = RATIONAL(35.0,288.0);
+ t14723 = t14125*t14971;
+ t12719 = t14401*t14723;
+ t14865 = t14237*t14402;
+ t13751 = t14401*t14865;
+ t14297 = RATIONAL(-5.0,72.0);
+ t14867 = t14403*t14297;
+ t13980 = t14405*t14867;
+ t15074 = t12719+t14104*t14541+t13751+t13980;
+ t13873 = t14316*t14892;
+ t15073 = t13873+t14373*t14541+t15223;
+ t15072 = t14285*t14892+t14287*t14541+t15223;
+ t12888 = t14163*t14650;
+ t15071 = t12888+t14189*t14995+t15315*t14319;
+ t13694 = t14157*t14838;
+ t15070 = t14157*t14955+y*t13694+t15288;
+ t14758 = t14125*t14993;
+ t15069 = x*t14698+t14403*t14758+t15272;
+ t15068 = t14403*t14532+t14405*t14822+t15186;
+ t14843 = t14403*t14342;
+ t14751 = x*t14843;
+ t13949 = t14297*t14983;
+ t15067 = t13949+t14118*t14778+y*t14751+t12725;
+ t14684 = t14362*t14966;
+ t14211 = RATIONAL(-5.0,576.0);
+ t14791 = t14403*t14211;
+ t14636 = t14127*t14825;
+ t12675 = t14401*t14636;
+ t15066 = x*t14791+z*t14684+t12675+t14320*t14752;
+ t15065 = y*t14843+t14150*t14778+t15305;
+ t14703 = t14175*t14966;
+ t15064 = t14093*t14752+z*t14703+t15217;
+ t13420 = t14354*t14705;
+ t15063 = t14134*t14955+t13420+t14351*t14542+t14139*t14778;
+ t12648 = t14401*t14544;
+ t13868 = x*t14867;
+ t13894 = t14342*t14966;
+ t15062 = t12648+t14118*t14752+t13868+z*t13894;
+ t14777 = t14362*t14996;
+ t15061 = t12689+t14211*t14983+t14320*t14778+x*t14777;
+ t14957 = t14306*t15002;
+ t13490 = x*t14957;
+ t15060 = t14355*t14892+RATIONAL(-245.0,288.0)*t14780+RATIONAL(35.0,32.0)*
+t14541+t13490;
+ t15059 = t14117*t14778+t14234*t14955+t15295;
+ t14728 = t14232*t14966;
+ t14252 = RATIONAL(-28.0,27.0);
+ t15058 = t14252*t14752+z*t14728+t15298;
+ t14173 = RATIONAL(49.0,96.0);
+ t14858 = t14403*t14266;
+ t13881 = x*t14858;
+ t14260 = RATIONAL(5.0,48.0);
+ t14687 = t14260*t14966;
+ t15057 = t14225*t14752+t13881+t14173*t14650+z*t14687;
+ t14054 = t14241*x;
+ t14052 = t14153*t14402;
+ t14769 = y*t14052;
+ t12936 = t14401*t14769;
+ t15056 = t13741+t14267*t14541+t12936+t14054*t15002;
+ t14890 = t14405*t14266;
+ t15055 = y*t14890+t14335*t14823+t14311*t14752+t14404*t14558;
+ t13982 = z*t14890;
+ t15054 = t13982+t14173*t14542+t14260*t14955+t14225*t14778;
+ t15053 = t15269+t15315*t14178;
+ t14753 = t14342*t14993;
+ t15052 = t14322*t14996+t14403*t14753+t15183;
+ t15051 = t14283*t14996+t14401*t14777+t15264;
+ t15050 = t14322*t14966+t14405*t14726+t15220;
+ t14715 = t14357*t14983;
+ t13279 = t14401*t14740;
+ t15049 = t12648+t14246*t14752+t13279+y*t14715;
+ t14545 = t14146*t14825;
+ t12651 = t14401*t14545;
+ t13348 = t14320*t14782;
+ t14880 = t14264*t14405;
+ t14763 = z*t14880;
+ t15048 = t12651+t13348+t14405*t14742+y*t14763;
+ t15047 = t14232*t14955+t14252*t14778+t15163;
+ t13946 = t14315*t14995;
+ t15046 = t14146*t14752+t13946+z*t14737+t13251;
+ t15045 = t14127*t14541+t14405*t14791+t13635+t12936;
+ t14746 = t14149*t14966;
+ t15044 = t14402*t14746+t14330*t14961+t15298;
+ t14749 = t14161*t14995;
+ t13478 = t14346*t14542;
+ t13876 = z*t14839;
+ t15043 = t14146*t14778+t13478+t13876+y*t14749;
+ t15042 = t14312*t14778+t14276*t14955+t15275;
+ t13721 = t14239*t14808;
+ t15041 = t14239*t14961+y*t13721+t15269;
+ t15040 = t14405*t14723+t14869*t15002+t15265;
+ t13090 = t14201*t14705;
+ t15039 = t13090+t14241*t14955+t13478+y*t14566;
+ t15038 = x*t14710+t14131*t14778+t15295;
+ t14334 = RATIONAL(-16.0,3.0);
+ t14229 = RATIONAL(112.0,9.0);
+ t14129 = RATIONAL(-280.0,27.0);
+ t15037 = t14334*t14823+t13901+t14229*t14650+t14129*t14752;
+ t13882 = t14341*t14892;
+ t14099 = RATIONAL(-35.0,216.0);
+ t14765 = t14099*t14993;
+ t12695 = t14402*t14765;
+ t15036 = t14397*t14541+t13882+t12695+t15306;
+ t14086 = RATIONAL(-245.0,192.0);
+ t14829 = t14403*t14327;
+ t13983 = x*t14829;
+ t13827 = x*t14865;
+ t15035 = t13983+t14397*t14961+t13827+t14170*t14752+t14086*t14650;
+ t15034 = t14405*t14872+t14979*t15001+t13803+t14375*t14541+t12715;
+ t14072 = t14357*x;
+ t13375 = t14072*t15002;
+ t15033 = RATIONAL(-35.0,96.0)*t14541+t13785+t13375+t15311;
+ t13831 = t14402*t14801;
+ t15032 = t14403*t14537+t13831+t13930+t13525+t13375;
+ t14956 = t14150*t15002;
+ t15031 = t14405*t14956+t13983+t14112*t14752+t15303;
+ t14098 = RATIONAL(175.0,72.0);
+ t14030 = t14400*t14983;
+ t15030 = x*t14748+t14098*t14778+t14030+t15230;
+ t14113 = RATIONAL(-175.0,72.0);
+ t13213 = t14287*t14705;
+ t15029 = t14001+t13213+t14286*t14955+t14113*t14778+t12781;
+ t14393 = RATIONAL(5.0,3.0);
+ t14364 = RATIONAL(-5.0,6.0);
+ t14087 = RATIONAL(-245.0,144.0);
+ t15028 = t14087*t14542+t14364*t14955+t14393*t14778+t15267;
+ t14727 = t14265*t14995;
+ t15027 = t12716+t15218+(t14727+t14618)*y;
+ t14745 = t14265*t14983;
+ t15026 = t12651+y*t14745+t14361*t14752+t15224;
+ t15025 = t14330*t14892+t13490+t14148*t14541+t15249;
+ t14681 = t14176*t14966;
+ t13247 = t14276*t14782;
+ t15024 = t14402*t14681+t12834+t13868+t13247+t14304*t14961;
+ t14154 = RATIONAL(-5.0,432.0);
+ t14986 = t14158*z;
+ t13786 = t14401*t14986;
+ t15023 = x*t14697+t13786+t14371*t14778+t14154*t14983+t12681;
+ t13711 = t14235*t14983;
+ t14738 = t14338*t14995;
+ t15022 = t13711+y*t14738+t14345*t14778+t15272;
+ t15021 = t14094*t14752+t14209*t14961+t13881+t15173;
+ t15020 = t14087*t14650+t14364*t14961+t14393*t14752+t15187;
+ t15019 = t13949+t14304*t14955+t14176*t14778+t15168;
+ t13891 = z*t14819;
+ t15018 = t13891+t14150*t14955+t14112*t14778+t15150;
+ t15017 = t12873+t14204*t15000+RATIONAL(25.0,18.0)*t14892+t13750+RATIONAL(
+-25.0,3.0)*t14541;
+ t14847 = t14201*t14404;
+ t14735 = z*t14847;
+ t13087 = x*t14735;
+ t15016 = t12719+t14403*t14880+t14336*t14541+t13087+t14981*t15001;
+ t13805 = z*t14809;
+ t15015 = t13982+t14209*t14955+t13805+t13602+t14094*t14778;
+ t13760 = t14402*t14820;
+ t13370 = t14272*t15000;
+ t15014 = t13760+t14403*t14796+t13370+t13362+t14297*t14541;
+ t14722 = t14250*t14993;
+ t14984 = z*t14237;
+ t13759 = t14401*t14984;
+ t13214 = t14270*t14705;
+ t15013 = t14403*t14722+t13759+t13544+t13876+t13214+t13149;
+ t13625 = t14371*t14705;
+ t15012 = t14149*t14955+t14185*t14778+t13625+t13590+t15267;
+ t13929 = t14401*t14885;
+ t14887 = t14403*t14261;
+ t15011 = t14405*t14887+t13929+t12895+t14304*t14541+t15158;
+ t13904 = t14256*t14991;
+ t13200 = z*t14648;
+ t15010 = t14400*t14995+t14242*t14961+t13904+t13561+t13200+t14098*t14752;
+ t14939 = t14373*t14403;
+ t13243 = t14287*t14782;
+ t15009 = x*t14939+t12833+t14113*t14752+t13857+t13243+z*t14689;
+ t14168 = RATIONAL(-20.0,27.0);
+ t14268 = RATIONAL(25.0,9.0);
+ t14301 = RATIONAL(-50.0,9.0);
+ t13758 = t14147*t14990;
+ t15008 = t14168*t14983+t13758+t14268*t14955+t14301*t14778+t15275;
+ t14309 = RATIONAL(10.0,3.0);
+ t15007 = t12778+t14403*t14821+t13717+t14309*t14541+t15306;
+ t14289 = RATIONAL(-10.0,9.0);
+ t14790 = t14289*t14405;
+ t14271 = RATIONAL(20.0,9.0);
+ t14743 = t14271*t14971;
+ t15006 = t13243+t14405*t14743+t14790*t15002+t13314+t15224;
+ t13691 = x*t14794;
+ t14881 = t14403*t14154;
+ t15005 = t12646+x*t14881+t13691+t13279+t14371*t14752+t14398*t14961;
+ t15004 = t14157*t14541+t13730+t15186+t15206;
+ t14081 = t14369*z;
+ t14980 = y*t14231;
+ t14977 = z*t14329;
+ t14974 = t14158*x;
+ t14960 = t14285*t15002;
+ t14958 = z*t14982;
+ t14952 = t14236*t15002;
+ t14951 = z*t14997;
+ t14950 = t14189*t15002;
+ t13442 = t14315*t14565;
+ t14948 = t13442+y*t13751;
+ t14947 = t14267*t14404;
+ t14164 = RATIONAL(-49.0,27.0);
+ t14945 = t13247+t14164*t14959;
+ t14943 = t14375*t14404;
+ t13748 = t14403*t14968;
+ t13795 = x*t14862;
+ t14941 = t13748+t13795;
+ t14676 = x*t14787;
+ t13002 = z*t14676;
+ t14940 = t13002+x*t14950;
+ t14938 = t12832+t14215*t14717;
+ t14238 = RATIONAL(25.0,72.0);
+ t14937 = t13198+t14238*t14717;
+ t13799 = t14237*t14838;
+ t14936 = t13799+t13803;
+ t14279 = RATIONAL(-5.0,48.0);
+ t14935 = t12677+t14279*t14717;
+ t13493 = t14320*t14705;
+ t14933 = t14239*t14954+t13493;
+ t13897 = t14402*t14976;
+ t14932 = t13897+t14337*t14995;
+ t13182 = RATIONAL(64.0,9.0)*t14565;
+ t14931 = RATIONAL(-224.0,27.0)*t14780+t13182;
+ t14076 = t14376*t14401;
+ t14930 = t13625+y*t13857;
+ t13344 = t14338*t14705;
+ t14929 = y*t13691+t13344;
+ t12761 = t14403*t14681;
+ t14928 = t13198+t12761;
+ t13467 = t14270*t14717;
+ t14927 = t13198+t13467;
+ t13381 = t14319*t14705;
+ t14926 = t13381+t14404*t14738;
+ t13135 = z*t14530;
+ t14924 = t13135+t14401*t14950;
+ t14914 = t14362*t14404;
+ t13583 = t14914*t15001;
+ t14923 = t13583+t14977*t15003;
+ t14921 = t13610+t14256*t15000;
+ t14713 = t14189*t14971;
+ t13131 = t14402*t14530;
+ t14920 = t14401*t14713+t13131;
+ t14919 = t14372*t14404;
+ t14538 = t14402*t14787;
+ t13130 = x*t14538;
+ t14917 = x*t14713+t13130;
+ t14162 = RATIONAL(49.0,27.0);
+ t14915 = t14162*t14959+t13243;
+ t14912 = t13493+t14345*t14783;
+ t13505 = t14402*t14533;
+ t14911 = t13505+y*t13882;
+ t13791 = t14237*t14808;
+ t13021 = y*t13791;
+ t13350 = z*t14774;
+ t14910 = t13021+t13350;
+ t14909 = t13505+t14343*t14717;
+ t14060 = t14231*t14401;
+ t14712 = t14319*t14998;
+ t13302 = t14401*t14712;
+ t14908 = t13302+t14405*t14699;
+ t14907 = t14845*t15003+t13214;
+ t14906 = t13631+x*t14960;
+ t14905 = t14402+t14401;
+ t14070 = t14264*t14401;
+ t14067 = t14295*t14401;
+ t14063 = t14343*t14401;
+ t13366 = x*t14553;
+ t14904 = t13472+t13366;
+ t14693 = t14142*t14993;
+ t14903 = z*t14693+t13200;
+ t14071 = t14343*t14402;
+ t14592 = t14405*t14787;
+ t14574 = t14247*t14823;
+ t12904 = z*t14574;
+ t14899 = z*t14592+t12904;
+ t13288 = t14401*t14699;
+ t14897 = t13288+y*t13786;
+ t14891 = t14401*t14311;
+ t13977 = z*t14891;
+ t14896 = t14337*t14983+t13977;
+ t14895 = t14200*t14401;
+ t14893 = t14389*t14404;
+ t14889 = t13791+t13803;
+ t14366 = RATIONAL(-8.0,3.0);
+ t14886 = t14404*t14366;
+ t14883 = t13500+t14234*t14954;
+ t14876 = t13505+t14157*t14717;
+ t13048 = t14247*t14705;
+ t14875 = t13048+t14203*t14954;
+ t14873 = t14272*t14402;
+ t14866 = t14162*t14954+t13213;
+ t14834 = t14272*t14401;
+ t14691 = y*t14834;
+ t14864 = t13442+t14402*t14691;
+ t14863 = t14310*t14402;
+ t13821 = t14158*t14838;
+ t12905 = t14153*t14541;
+ t14857 = t13821+t12905;
+ t14856 = t14405*t14356;
+ t13506 = z*t14533;
+ t14855 = t14144*t14959+t13506;
+ t13654 = t14401*t14797;
+ t14851 = t13654+t14105*t14838;
+ t14849 = t13460+t14974*t15002;
+ t14151 = RATIONAL(49.0,54.0);
+ t14835 = t14151*t14403;
+ t14831 = t14403*t14329;
+ t14828 = t14216*t14405;
+ t14824 = t14183*t14402;
+ t13038 = t14239*t14717;
+ t14817 = t13038+t13361;
+ t14816 = t14369*t14401;
+ t14815 = RATIONAL(-5.0,16.0)*t14404;
+ t13685 = t14169*t14838;
+ t13720 = t14402*t14850;
+ t14813 = t13685+t13720;
+ t14811 = t14234*t14401;
+ t14810 = t14203*t14405;
+ t13426 = t14404*t13876;
+ t13360 = t14401*t14696;
+ t14807 = t13426+t13360;
+ t14802 = t14403*t14300;
+ t14255 = RATIONAL(20.0,3.0);
+ t14795 = t14255*t14404;
+ t14793 = t14405*t14145;
+ t14784 = t14999*y;
+ t13813 = t14194*t14995;
+ t14775 = t14149*t14993;
+ t14770 = t14271*t14993;
+ t14761 = t14401*t14979;
+ t14756 = y*t14891;
+ t14755 = t14224*t14971;
+ t14021 = y*t14821;
+ t13998 = t14371*t14983;
+ t14392 = RATIONAL(-5.0,3.0);
+ t14002 = t14392*t14966;
+ t14262 = RATIONAL(8.0,27.0);
+ t14733 = t14262*t14971;
+ t13839 = t14194*t14983;
+ t14274 = RATIONAL(-20.0,9.0);
+ t14731 = t14274*t14993;
+ t14711 = t14274*t14971;
+ t14706 = t14177*t14971;
+ t14702 = t14210*t14966;
+ t14692 = y*t14868;
+ t14675 = t14999*t14405;
+ t14674 = t13760+t14058+t13761;
+ t14673 = t14060+t13760+t13777;
+ t14672 = t13506+(t14532+t14947)*z;
+ t13985 = t14341*t14838;
+ t14671 = t13361+t15212;
+ t14670 = t14070+t13929+t14356*t14838;
+ t14669 = t13936+t13279+t14401*t14951;
+ t14668 = t13759+z*t14771+t13348;
+ t14600 = t14373*t14838;
+ t13534 = t14369*t14565;
+ t14667 = t14404*t14600+t13558+t13534;
+ t14167 = RATIONAL(49.0,18.0);
+ t14666 = x*t14893+t13213+t14167*t14783;
+ t14665 = z*t14724+t12669+t13805;
+ t14664 = z*t14893+t14167*t14781+t13243;
+ t14663 = z*t14861+t14348*t14781+t13208;
+ t14662 = t12842+t13723+t14069*t15003;
+ t14661 = z*t14919+t13616+t14405*t14768;
+ t14660 = t13855+t13694+t13643;
+ t14659 = t14115*t14783+x*t14947+t13214;
+ t13709 = t14147*t14991;
+ t14658 = t14369*x+t13709+t14252*t14995;
+ t14657 = t14336*t14823+t13198+t14126*t14650;
+ t13802 = t14403*t14811;
+ t13346 = t14863*t15003;
+ t14656 = t13795+t13346+t13344;
+ t14655 = t13942+z*t14949+t13509;
+ t14654 = t13827+t13493+t14356*t14954;
+ t14653 = t13348+t13491+t14404*t14757;
+ t14652 = t14049+t13831+t14141*t14838;
+ t12851 = t14193*t14782;
+ t14651 = t13805+t14067*t15002+t12851;
+ t14649 = t14357*z+t13965+t14328*t14983;
+ t14645 = t13751+t13721+t13827;
+ t14644 = t14375*t14823+t13623+t14370*t14650;
+ t14643 = x*t14706+t13090+t13668;
+ t14642 = x*t14803+t13625+t14295*t14783;
+ t14641 = t13950+t14402*t14949+t13500;
+ t12903 = z*t14647;
+ t14640 = t12903+t14177*t14959+t13659;
+ t14639 = x*t14755+t13680+t13130;
+ t14092 = RATIONAL(49.0,432.0);
+ t13714 = t14402*t14811;
+ t14638 = t14052+t14092*t14808+t13714;
+ t14637 = t14192*t14892;
+ t14269 = RATIONAL(-1.0,96.0);
+ t14635 = t14269*t14825;
+ t14634 = t12984+t13657+t14401*t14706;
+ t14633 = t14203*t14838+t13654+t13656;
+ t14632 = t14055+t13831+t14141*t14808;
+ t14631 = t14394*t14823+t13207+t14344*t14650;
+ t14629 = t13776+t13442+t14402*t14756;
+ t13726 = t14403*t14820;
+ t14628 = t13720+t13726+t13719;
+ t14627 = t13491+t14275*t14781+t12826;
+ t14626 = t14391*t14825;
+ t14625 = t14051+t13714+t14092*t14838;
+ t14624 = t14158*t14983+t13792+t13818;
+ t14254 = RATIONAL(5.0,192.0);
+ t14623 = t14254*t14825;
+ t14622 = t14403*t14987+t13756+t13743;
+ t14621 = t13222+t15251;
+ t14620 = z*t14943+t14405*t14747+t13622;
+ t13772 = z*t14828;
+ t14617 = t13772+t13743+t13719;
+ t12595 = RATIONAL(-343.0,576.0)*t14565;
+ t14616 = RATIONAL(245.0,288.0)*t14780+t13662+t12595;
+ t14615 = t13786+(t14241+t14859)*z;
+ t14614 = t14078+t14285*t14808+t13956;
+ t14245 = RATIONAL(-25.0,36.0);
+ t14611 = t14245*t14717+t13893+t13505;
+ t14610 = t14054+t13691+t14177*t14995;
+ t14609 = t14072+t13955+t14328*t14995;
+ t14608 = t13472+t13480+x*t14605;
+ t14607 = t14063+t13717+t14401*t14835;
+ t14606 = t13723+t13500+t14328*t14954;
+ t14284 = RATIONAL(56.0,9.0);
+ t14604 = x*t14886+t14284*t14783+t13140;
+ t14352 = RATIONAL(-5.0,24.0);
+ t14536 = t14352*t14854;
+ t14603 = t13559+t13279+z*t14536;
+ t13219 = t14257*t14782;
+ t14602 = t13219+t13231+t14331*t14781;
+ t14601 = t12915+t14217*t14542+t13122;
+ t14599 = z*t14946+t14174*t14781+t13247;
+ t14598 = t13534+t15276;
+ t14597 = z*t14871+t13200+t14126*t14781;
+ t14596 = t13915+t14176*t14959+t12851;
+ t14595 = t14356*t14808+t14061+t13929;
+ t13673 = z*t14840;
+ t14594 = t13673+t13135+t14401*t14958;
+ t14593 = t12903+t13673+t14060*t15002;
+ t13436 = x*t14712;
+ t14591 = t13436+t13366+t13381;
+ t14590 = x*t14944+t13472+t14153*t14783;
+ t14589 = t13493+t14404*t14682+t13491;
+ t14588 = t13048+x*t14730+t13647;
+ t14587 = t14221*t14838+t14076+t13682;
+ t14585 = t13639+t14183*t14838+t13635;
+ t14584 = x*t14943+t13591+t14370*t14783;
+ t14212 = RATIONAL(-25.0,12.0);
+ t12805 = t14212*t14717;
+ t14582 = t12839+t13942+t12805;
+ t13678 = x*t14963;
+ t14580 = t14980*t15001+t13678+t13087;
+ t14579 = t14403*t14795;
+ t14578 = t13207+t15165;
+ t14577 = t13792+t15210;
+ t14576 = t13751+t13759+t13749;
+ t13160 = t14405*t14696;
+ t14575 = t13436+t13160+t13302;
+ t13993 = t14321*t14808;
+ t14573 = t12804+t12657+x*t14619;
+ t14572 = t14284*t14781+z*t14886+t13219;
+ t14571 = t14071+t14151*t14808+t13717;
+ t12596 = RATIONAL(343.0,576.0)*t14565;
+ t12633 = t14132*t14705;
+ t14569 = t12596+t12633+t14222*t14542;
+ t14568 = t14081+t14252*t14983+t13758;
+ t14567 = t14246*t14781+z*t14902+t13360;
+ t13887 = t14405*t14858;
+ t13850 = t14341*t14808;
+ t14564 = t14062+z*t14856+t13944;
+ t12791 = t14163*t14542;
+ t14563 = t13090+t12984+t12791;
+ t14561 = t14067+t13750+t14218*t14838;
+ t14560 = t13517+(t14919+t14549)*x;
+ t14559 = t13623+t15181;
+ t13699 = t14203*t14808;
+ t13706 = t14159*t14808;
+ t14556 = t13986+t14356*t14995+t14264*x;
+ t13715 = t14169*t14808;
+ t14182 = RATIONAL(40.0,27.0);
+ t13858 = t14262*t15001;
+ t14296 = RATIONAL(-16.0,9.0);
+ t13225 = t14296*t14962;
+ t14555 = t14182*t15000+t13858+t13225;
+ t14554 = t12915+t15234;
+ t14552 = t14075+t14256*t14808+t13978;
+ t14551 = t14385*t14877+t13222+t14299*t14542;
+ t14550 = t12898+t14404*t13839+t12904;
+ t14548 = t14405*t14798;
+ t13898 = t14302*t15001;
+ t14547 = t13898+t13904+x*t14836;
+ t14258 = RATIONAL(80.0,9.0);
+ t13482 = RATIONAL(-64.0,9.0)*t14565;
+ t14546 = t14258*t14542+t13420+t13482;
+ t12838 = t14198*t14780;
+ t14534 = t12838+t12839+t13750;
+ t14526 = y*t14675;
+ t14525 = t14403*t14785;
+ t14524 = t14241+t14944;
+ t14523 = t14357+t14943;
+ t14522 = t14398+t14282*t14404;
+ t14521 = t14375+RATIONAL(2.0,1.0)*t14404;
+ t14520 = t14289+t14251*t14404;
+ t14519 = t14306+t14814;
+ t14518 = RATIONAL(35.0,16.0)*t14404+t14279;
+ t14517 = RATIONAL(-49.0,12.0)*t14404+t14270;
+ t14516 = t14275*t14404+t14321;
+ t14515 = t14340*t14404+t14319;
+ t14514 = t14295+t14218*t14403;
+ t14513 = t14260+RATIONAL(5.0,16.0)*t14404;
+ t14512 = t14364+RATIONAL(-35.0,16.0)*t14404;
+ t14511 = t14947+t14231;
+ t14510 = t14287+RATIONAL(28.0,3.0)*t14404;
+ t14332 = RATIONAL(-1.0,24.0);
+ t14509 = t14332*t14404+t14338;
+ t14508 = t14264+t14871;
+ t14507 = t14215*t14404+t14341;
+ t14506 = t14317+RATIONAL(-7.0,8.0)*t14404;
+ t14505 = t14351*t14404+t14304;
+ t14504 = t14397+RATIONAL(-5.0,1.0)*t14404;
+ t14503 = t14295+t14218*t14405;
+ t14502 = t14276+RATIONAL(49.0,12.0)*t14404;
+ t14501 = t14332+RATIONAL(-1.0,8.0)*t14404;
+ t14378 = RATIONAL(2.0,3.0);
+ t14499 = t14378*t14404+t14362;
+ t14498 = RATIONAL(7.0,8.0)*t14404+t14372;
+ t14497 = t13424+y*t13802+t14817;
+ t14496 = y*t13993+t13356+t14927;
+ t13099 = t14160*t14717;
+ t14495 = y*t13706+t14401*t14626+t13534+t13099;
+ t14494 = t13325+t14233*t14541+t15204;
+ t13009 = t14246*t14541;
+ t12966 = y*t13762;
+ t14493 = t13009+t12966+t14864;
+ t14492 = t13014+t14405*t14679+t15241;
+ t14491 = t13094+t14403*t14744+t15216;
+ t12882 = y*t14637;
+ t14490 = t14405*t14538+t12907+t12882+t14401*t14704;
+ t14489 = t14876+t15303+(t14960+t14692)*t14405;
+ t13319 = t14319*t14717;
+ t14488 = t13319+t14601+t14992*t14403*t14980;
+ t14487 = t14402*t14687+t14403*t14630+t14935+t14941;
+ t13076 = t14233*t14717;
+ t14486 = t12903+t12888+t12984+t14220*t14752+t13076+t14788*t15002;
+ t14485 = RATIONAL(343.0,216.0)*t14780+RATIONAL(-5.0,2.0)*t14541+t14921+
+t14938;
+ t14484 = x*t14952+t13430+t14372*t14541+t12701+t14909;
+ t14483 = t13436+t14322*t14541+t13158+t12939+t14911;
+ t13046 = y*t13799;
+ t14482 = t14237*t14955+t13038+t13046+t14671;
+ t14481 = t14118*t14541+t13760+t14405*t14881+t13586+t14911;
+ t12641 = RATIONAL(-175.0,24.0)*t14717;
+ t14480 = t14130*t14778+t12641+t12839+t14307*t14955+t15168;
+ t14479 = t14283*t14966+t14402*t14684+t13467+t14657;
+ t12974 = t14151*t14717;
+ t14478 = t14343*t14966+t14402*t14703+t12974+t14644;
+ t13050 = t14164*t14717;
+ t14477 = t14370*t14996+t13050+t13534+t14172*t14778+t15305;
+ t14476 = t12709+t14364*t14541+t14906+t14928;
+ t14475 = t14099*t14752+t14261*t14961+t14937+t15217;
+ t13154 = t14307*t14717;
+ t14474 = t12814+t14318*t14541+t13222+t13154+t14906;
+ t14473 = t14171*t14892+t13076+t14254*t14541+t14634;
+ t12611 = RATIONAL(-350.0,27.0)*t14717;
+ t14472 = RATIONAL(-160.0,27.0)*t14780+t14230*t14892+t13695+RATIONAL(140.0
+,9.0)*t14541+t12611+t13182;
+ t13352 = y*t13896;
+ t14471 = t14405*t14884+t14345*t14541+t13352+t14629;
+ t12630 = RATIONAL(245.0,18.0)*t14717;
+ t14470 = t14403*t14965+t14263*t14778+t12630+t14551;
+ t13117 = t14213*t14717;
+ t14469 = t14403*t14810+t13671+t13117+t14401*t14755+t14194*t14541+t13131;
+ t12713 = RATIONAL(490.0,27.0)*t14717;
+ t14468 = t12713+t14263*t14996+t14129*t14778+t14334*t14877+t13482+t14229*
+t14542;
+ t14467 = t14220*t14955+t14403*t14690+t13076+t14563;
+ t14466 = t14298*t14541+t14235*t14892+t15202+t15311;
+ t14465 = t13894+t13099+t14150*t14752+t14598;
+ t12762 = t14403*t14702;
+ t14464 = t14402*t14761+t12762+t14403*t14828+t13822+t14357*t14541+t13442;
+ t14463 = t13751+t13887+t14381*t14541+t12695+t14911;
+ t13414 = t14344*t14717;
+ t14462 = t14394*t14966+t13414+t14294*t14752+t14631;
+ t14461 = t12918+t14194*t14892+t13635+t14269*t14541+t13319+t12915;
+ t13435 = t14405*t14951;
+ t14460 = t14405*t14694+t13435+t13348+t12675+t15182;
+ t14459 = t12762+t14403*t14853+t14161*t14541+t14629;
+ t14458 = t14249*t14778+t14321*t14955+t15170+t15230;
+ t14457 = t14146*t14541+t13203+t13929+t14403*t14827+t14937;
+ t14456 = t14256*t14961+t14402*t14728+t13099+t14667;
+ t14455 = t14403*t14765+t13625+t14887*t15003+t13459+t14937;
+ t14454 = t14260*t14778+t14132*t14542+t14879+t14935;
+ t14453 = t14403*t14775+t14330*t14955+t15151+t15163;
+ t14452 = t14403*t14693+t14285*t14955+t14876+t15150;
+ t12627 = RATIONAL(-175.0,18.0)*t14717;
+ t14451 = t14179*t15000+t13207+t13225+RATIONAL(25.0,3.0)*t14541+t12810+
+t12627;
+ t14165 = RATIONAL(35.0,27.0);
+ t13042 = t14165*t14717;
+ t14450 = t13042+t14289*t14541+t13623+t13028+t14921;
+ t14449 = t14126*t14541+t14403*t14856+t14876+t15249;
+ t14448 = RATIONAL(-49.0,864.0)*t14780+RATIONAL(5.0,32.0)*t14541+t14849+
+t14935;
+ t14447 = t13319+t14812*t15002+t14405*t14701+t14554;
+ t14446 = t12762+t14327*t14541+t14849+t14864;
+ t14445 = t14246*t14542+y*t14858+t14335*t14877+t14403*t14756+t14817;
+ t14444 = t14144*t14752+t14405*t14952+t14927+t15173;
+ t14443 = t14400*t14752+t14381*t14966+t15220+t13701+t14909+(t14231+t14822)
+*x;
+ t14442 = t13789+t13795+t13435+t13501+t13792+t13200+y*t13850+t15197;
+ t14441 = t15264+t14564+t14928+(t14600+t14802)*y;
+ t14440 = t14021+t13042+t14168*t14752+t14609+t14644;
+ t14439 = t13190+t13977+t14405*t14977+t13214+t14611+t14238*t15314;
+ t14438 = t14300*t14966+t14402*t14021+t12761+t14556+t14657;
+ t14437 = RATIONAL(175.0,48.0)*t14541+t13714+t13556+RATIONAL(-25.0,144.0)*
+t14892+t13522+t14081*t15003+t14582;
+ t14096 = RATIONAL(49.0,288.0);
+ t14436 = t14096*t14542+t12633+t14617+t15190+t14279*t15314;
+ t14435 = t13660+t14338*t14961+t14235*t14995+t14345*t14752+t15131+t15265;
+ t14293 = RATIONAL(25.0,6.0);
+ t14339 = RATIONAL(50.0,9.0);
+ t14434 = t14391*x+t14293*t14966+t13840+t14172*t14995+t14339*t14752+t12627
++t14631;
+ t13455 = y*t13873;
+ t14433 = t13438+t13360+t13361+t13455+t14622+t14999*t14702;
+ t14432 = t13980+t13714+t13263+t14403*t14536+t14577+t15197;
+ t14431 = RATIONAL(-35.0,32.0)*t14541+t14126*t14780+t14281*t14892+t13569+
+t12595+t15206+t15285;
+ t14228 = RATIONAL(-49.0,48.0);
+ t14088 = RATIONAL(343.0,144.0);
+ t14386 = RATIONAL(-5.0,4.0);
+ t14430 = t14088*t14542+t14386*t14996+t14228*t14877+t14392*t14778+t14649+
+t14938;
+ t14429 = y*t14800+t14231*z+t14400*t14778+t14197*t14983+t13768+t14909+
+t15183;
+ t13322 = y*t13930;
+ t14428 = t14624+t13322+t14601+(t14714+t14529)*y;
+ t14427 = y*t13985+t13161+t14624+t15197+t15288;
+ t14377 = RATIONAL(5.0,2.0);
+ t14426 = t14405*t14802+RATIONAL(-245.0,216.0)*t14780+t13662+t14377*t14541
++t14582+t15158;
+ t14208 = RATIONAL(35.0,24.0);
+ t14425 = t14405*t14836+t12805+t14208*t14541+t14534+t14655;
+ t14424 = t13897+t13487+x*t14831+t13506+t14611+t15315*t14238;
+ t14423 = t14092*t14780+t14303*t14892+t13743+t13436+t13632+t13370+RATIONAL
+(-5.0,32.0)*t14541+t15190;
+ t14422 = t13042+y*t14939+t14168*t14778+t14559+t14649;
+ t14421 = t14088*t14650+t14228*t14823+t14386*t14966+t14402*t14002+t14609+
+t14938;
+ t13291 = y*t13887;
+ t14420 = t13002+x*t14958+t14403*t14799+t13678+t13291+t14326*t14541+t14634
+;
+ t14419 = t14002+t13154+t14405*t14711+t14556+t14621;
+ t14418 = t14185*t14752+z*t14746+t14667+t15155+t15187;
+ t14417 = t14392*t14996+t14403*t14731+t13154+t14551+t14564;
+ t14416 = t12721+t14096*t14650+t14622+t15190+t15315*t14279;
+ t14415 = t14403*t14770+t13213+t14289*t14955+t13197+t15093+t15218;
+ t14414 = t13831+t13583+t13261+RATIONAL(25.0,144.0)*t14892+t14358*t15000+
+RATIONAL(25.0,48.0)*t14541+t14611;
+ t14413 = t12596+t14086*t14542+t14170*t14778+t12827+t13891+t13759+t14397*
+t14955+t15152;
+ t14412 = t13898+t14168*t14995+t13709+t14268*t14961+t14301*t14752+t13485+
+t13247+t15278;
+ t14411 = RATIONAL(35.0,96.0)*t14541+t14403*t14874+t12729+t13803+t14655+
+t15240;
+ t14410 = RATIONAL(-175.0,48.0)*t14541+t13717+RATIONAL(-25.0,18.0)*t14892+
+t13553+t13858+t14289*t15000+t12831+t15293;
+ t14409 = t13946+t13597+t13827+t13429+t13506+t14250*t14752+t15146;
+ t14408 = t14084+t13724+t14172*t14983+t14293*t14996+t12627+t14339*t14778+
+t14578;
+ t14396 = RATIONAL(1.0,2.0);
+ t14390 = RATIONAL(1.0,8.0);
+ t14384 = RATIONAL(4.0,3.0);
+ t14380 = RATIONAL(-1.0,4.0);
+ t14379 = RATIONAL(-2.0,1.0);
+ t14374 = RATIONAL(-4.0,3.0);
+ t14367 = RATIONAL(-2.0,3.0);
+ t14360 = RATIONAL(5.0,1.0);
+ t14353 = RATIONAL(98.0,9.0);
+ t14349 = RATIONAL(-28.0,3.0);
+ t14325 = RATIONAL(1.0,12.0);
+ t14308 = RATIONAL(-25.0,6.0);
+ t14288 = RATIONAL(25.0,8.0);
+ t14277 = RATIONAL(7.0,12.0);
+ t14244 = RATIONAL(-25.0,54.0);
+ t14227 = RATIONAL(-80.0,27.0);
+ t14207 = RATIONAL(-25.0,96.0);
+ t14188 = RATIONAL(80.0,27.0);
+ t14186 = RATIONAL(25.0,12.0);
+ t14143 = RATIONAL(-200.0,27.0);
+ t14140 = RATIONAL(392.0,27.0);
+ t14137 = RATIONAL(-49.0,288.0);
+ t14136 = RATIONAL(-175.0,96.0);
+ t14135 = RATIONAL(-35.0,432.0);
+ t14133 = RATIONAL(175.0,54.0);
+ t14128 = RATIONAL(-100.0,27.0);
+ t14124 = RATIONAL(196.0,27.0);
+ t14123 = RATIONAL(-35.0,576.0);
+ t14121 = RATIONAL(35.0,576.0);
+ t14120 = RATIONAL(100.0,27.0);
+ t14119 = RATIONAL(-175.0,54.0);
+ t14116 = RATIONAL(175.0,96.0);
+ t14114 = RATIONAL(-112.0,27.0);
+ t14109 = RATIONAL(-196.0,27.0);
+ t14108 = RATIONAL(343.0,54.0);
+ t14107 = RATIONAL(200.0,27.0);
+ t14106 = RATIONAL(112.0,27.0);
+ t14103 = RATIONAL(35.0,432.0);
+ t14095 = RATIONAL(-343.0,54.0);
+ t14091 = RATIONAL(-392.0,27.0);
+ t14089 = RATIONAL(245.0,192.0);
+ t14038 = t14403*t14816;
+ t14034 = t14369*t14808;
+ t14028 = t14391*t14838;
+ t14000 = t14391*t14808;
+ t13991 = t14304*t14808;
+ t13984 = t14401*t14829;
+ t13981 = t14401*t14831;
+ t13972 = t14330*t14838;
+ t13969 = t14266*t14808;
+ t13967 = t14266*t14838;
+ t13960 = t14357*t14808;
+ t13953 = t14305*t14808;
+ t13945 = t14297*t14838;
+ t13939 = t14403*t14978;
+ t13938 = t14261*t14838;
+ t13935 = t14316*t14838;
+ t13934 = t14358*t14838;
+ t13931 = t14305*t14983;
+ t13926 = t14403*t14834;
+ t13923 = t14264*t14808;
+ t13922 = t14264*t14838;
+ t13914 = t14333*t14838;
+ t13910 = t14329*t14808;
+ t13909 = t14357*t14838;
+ t13907 = t14310*t14838;
+ t13899 = t14324*t14808;
+ t13888 = t14327*t14808;
+ t13886 = t14289*t14838;
+ t13883 = t14358*t14808;
+ t13874 = t14315*t14808;
+ t13871 = t14305*t14838;
+ t13867 = t14310*t14808;
+ t13866 = t14304*t14838;
+ t13862 = t14324*t14838;
+ t13859 = t14402*t14790;
+ t13854 = t14297*t14808;
+ t13851 = t14316*t14808;
+ t13849 = t14272*t14808;
+ t13845 = t14405*t14789;
+ t13843 = t14315*t14838;
+ t13836 = t14182*t14838;
+ t13830 = t14194*t14808;
+ t13829 = t14204*t14808;
+ t13828 = t14189*t14838;
+ t13823 = t14194*t14838;
+ t13816 = t14163*t14808;
+ t13812 = t14217*t14808;
+ t13806 = t14213*t14808;
+ t13800 = t14217*t14838;
+ t13797 = t14189*t14808;
+ t13794 = t14213*t14838;
+ t13793 = t14171*t14983;
+ t13787 = t14171*t14808;
+ t13783 = t14211*t14808;
+ t13774 = t14216*t14808;
+ t13769 = t14405*t14794;
+ t13767 = t14171*t14838;
+ t13766 = t14182*t14808;
+ t13764 = t14200*t14808;
+ t13755 = t14214*t14808;
+ t13746 = t14154*t14838;
+ t13742 = t14401*t14791;
+ t13736 = t14200*t14838;
+ t13728 = t14154*t14808;
+ t13713 = z*t14810;
+ t13703 = t14235*t14808;
+ t13696 = t14203*t14995;
+ t13684 = t14214*t14838;
+ t13676 = t14135*t14808;
+ t13675 = z*t14793;
+ t13674 = t14402*t14793;
+ t13672 = t14121*t14838;
+ t13670 = t14097*t14808;
+ t13669 = t14102*t14808;
+ t13667 = t14145*t14838;
+ t13665 = t14097*t14838;
+ t13664 = t14103*t14838;
+ t13663 = t14145*t14995;
+ t13658 = t14123*t14838;
+ t13655 = t14121*t14808;
+ t13653 = t14135*t14838;
+ t13652 = t14123*t14808;
+ t13651 = t14102*t14838;
+ t13640 = t14105*t14808;
+ t13637 = t14103*t14808;
+ t13627 = t14403*t14700;
+ t13626 = t14369*t14783;
+ t13620 = x*t14626;
+ t13618 = t14368*t14650;
+ t13615 = t14405*t14026;
+ t13612 = t14405*t14016;
+ t13611 = x*t14540;
+ t13606 = x*t14759;
+ t13603 = t14366*t14542;
+ t13595 = t14073*t15003;
+ t13592 = t14384*t14783;
+ t13585 = t14083*t15002;
+ t13584 = t14369*t14542;
+ t13580 = t14366*t14650;
+ t13575 = t14074*t15002;
+ t13571 = t14374*t14783;
+ t13567 = t14369*t14781;
+ t13562 = t14079*t15003;
+ t13550 = t14403*t14741;
+ t13545 = t14384*t14781;
+ t13542 = t14374*t14781;
+ t13541 = t14404*t13998;
+ t13538 = t14405*t14754;
+ t13537 = t14404*t14030;
+ t13531 = t14369*t14650;
+ t13530 = x*t14742;
+ t13526 = t14076*t15002;
+ t13523 = t14080*t15002;
+ t13515 = t14368*t14542;
+ t13511 = t14269*t14542;
+ t13503 = z*t14750;
+ t13499 = x*t14586;
+ t13492 = t14306*t14954;
+ t13486 = t14320*t14781;
+ t13481 = t14401*t14733;
+ t13475 = t14346*t14781;
+ t13473 = t14401*t14635;
+ t13471 = t14404*t14763;
+ t13470 = y*t13855;
+ t13463 = t14355*t14781;
+ t13457 = x*t14635;
+ t13453 = t14262*t14959;
+ t13452 = t14830*t15003;
+ t13449 = t14277*t14783;
+ t13446 = t14404*t14767;
+ t13439 = x*t14583;
+ t13433 = x*t14612;
+ t13427 = y*t13904;
+ t13406 = t14258*t14650;
+ t13405 = t14404*t14751;
+ t13402 = x*t14688;
+ t13399 = t14404*t14715;
+ t13393 = t14405*t14740;
+ t13392 = t14269*t14781;
+ t13389 = t14261*t14954;
+ t13388 = z*t14548;
+ t13386 = t14322*t14783;
+ t13385 = t14873*t15003;
+ t13371 = t14066*t15003;
+ t13368 = t14404*t14745;
+ t13363 = z*t14685;
+ t13358 = t14296*t14780;
+ t13355 = t14403*t14773;
+ t13342 = y*t13897;
+ t13339 = x*t14570;
+ t13338 = z*t14756;
+ t13332 = t14401*t14957;
+ t13330 = x*t14527;
+ t13313 = z*t14691;
+ t13312 = t14325*t14781;
+ t13311 = t14298*t14781;
+ t13289 = t14318*t14783;
+ t13286 = x*t14733;
+ t13285 = x*t14743;
+ t13280 = z*t14535;
+ t13277 = z*t14779;
+ t13270 = t14333*t15000;
+ t13267 = t14404*t14727;
+ t13266 = t14352*t14783;
+ t13260 = t14302*t14959;
+ t13259 = t14789*t15003;
+ t13253 = z*t14731;
+ t13245 = z*t14770;
+ t13239 = x*t14708;
+ t13238 = t14325*t14783;
+ t13236 = t14255*t14542;
+ t13235 = t14322*t14781;
+ t13234 = z*t14753;
+ t13220 = t14401*t14579;
+ t13215 = x*t14581;
+ t13209 = t14309*t14783;
+ t13206 = z*t14720;
+ t13201 = t14403*t14677;
+ t13196 = t14261*t14959;
+ t13194 = t14277*t14781;
+ t13192 = t14273*t14783;
+ t13189 = t14068*t15002;
+ t13185 = t14309*t14781;
+ t13181 = t14070*t15002;
+ t13176 = t14063*t15002;
+ t13175 = t14283*t14783;
+ t13174 = t14071*t15003;
+ t13170 = x*t14716;
+ t13155 = t14333*t14959;
+ t13153 = x*t14726;
+ t13147 = t14358*t14959;
+ t13143 = x*t14711;
+ t13139 = t14283*t14781;
+ t13138 = t14405*t14712;
+ t13134 = t14247*t14542;
+ t13133 = t14405*t14709;
+ t13123 = t14227*t14954;
+ t13108 = t14163*t14783;
+ t13095 = t14984*t15003;
+ t13088 = x*t14679;
+ t13084 = y*t13759;
+ t13082 = t14404*t13711;
+ t13081 = t14405*t14735;
+ t13080 = y*t13827;
+ t13074 = t14240*t14781;
+ t13072 = t14198*t14783;
+ t13070 = t14156*t14959;
+ t13061 = t14220*t15000;
+ t13055 = z*t14718;
+ t13051 = t14247*t14783;
+ t13045 = t14188*t14959;
+ t13040 = t14217*t14781;
+ t13034 = t14206*t14954;
+ t13032 = t14232*t14954;
+ t13024 = t14402*t14695;
+ t13022 = z*t14695;
+ t13020 = t14403*t14574;
+ t13019 = y*t13805;
+ t13018 = t14403*t14676;
+ t13015 = t14163*t14781;
+ t13012 = t14178*t14954;
+ t13004 = t14401*t14956;
+ t12999 = t14188*t14954;
+ t12996 = t14152*t14783;
+ t12991 = t14161*t14542;
+ t12983 = z*t14775;
+ t12981 = x*t14539;
+ t12977 = y*t13768;
+ t12969 = t14161*t14781;
+ t12964 = t14895*t15002;
+ t12961 = y*t13701;
+ t12954 = t14223*t14781;
+ t12952 = t14403*t14683;
+ t12945 = t14404*t14613;
+ t12934 = t14254*t14781;
+ t12930 = t14254*t14542;
+ t12929 = t14404*t14749;
+ t12922 = t14150*t14954;
+ t12909 = y*t13723;
+ t12902 = t14985*t15001;
+ t12900 = z*t14744;
+ t12894 = t14197*t14959;
+ t12891 = z*t14776;
+ t12889 = t14190*t14780;
+ t12886 = z*t14732;
+ t12885 = t14233*t14781;
+ t12884 = t14401*t14730;
+ t12883 = t14404*t13813;
+ t12879 = t14194*t14650;
+ t12872 = t14201*t14783;
+ t12870 = t14401*t14623;
+ t12863 = z*t14686;
+ t12858 = x*t14623;
+ t12853 = x*t14772;
+ t12850 = t14208*t14783;
+ t12848 = t14208*t14781;
+ t12830 = t14152*t14781;
+ t12829 = t14205*t14783;
+ t12828 = t14250*t14954;
+ t12825 = z*t14722;
+ t12821 = t14220*t14954;
+ t12819 = t14164*t14954;
+ t12817 = t14221*t15000;
+ t12816 = t14253*t14954;
+ t12798 = z*t14736;
+ t12793 = x*t14769;
+ t12790 = t14165*t14959;
+ t12786 = z*t14690;
+ t12783 = t14165*t14954;
+ t12780 = t14227*t14959;
+ t12777 = x*t14734;
+ t12771 = z*t14761;
+ t12766 = t14837*t15003;
+ t12758 = t14801*t15002;
+ t12753 = t14223*t14783;
+ t12749 = t14198*t14781;
+ t12743 = x*t14762;
+ t12740 = t14824*t15003;
+ t12737 = t14811*t15002;
+ t12731 = t14131*t14959;
+ t12730 = t14104*t14781;
+ t12717 = z*t14758;
+ t12714 = t14146*t14781;
+ t12712 = t14114*t14954;
+ t12700 = x*t14545;
+ t12694 = z*t14765;
+ t12693 = t14127*t14781;
+ t12684 = RATIONAL(160.0,27.0)*t14780;
+ t12678 = t14118*t14781;
+ t12672 = t14137*t14650;
+ t12671 = t14110*t14542;
+ t12663 = t14403*t14543;
+ t12661 = t14106*t14959;
+ t12652 = t14137*t14542;
+ t12635 = x*t14636;
+ t12632 = x*t14723;
+ t12631 = t14114*t14959;
+ t12620 = t14099*t14954;
+ t12609 = x*t14562;
+ t12607 = RATIONAL(49.0,864.0)*t14780;
+ t12603 = x*t14692;
+ t12602 = t14106*t14954;
+ t12598 = t14090*t14650;
+ t12593 = t14089*t14650;
+ t12592 = t14089*t14542;
+ t12586 = RATIONAL(-343.0,216.0)*t14780;
+ t12583 = RATIONAL(245.0,216.0)*t14780;
+ coeffs_dy->coeff_m2_m2_m2 = t12883+t14550+t12902+t13699+t14213*t14526+
+t13696+t13713+t13644+((t14224+t14241*t14404)*t14405+(t14828+t14992*t14213)*y)*
+t14403+t12886+t12884+t12879+t14588+t14633+t15196;
+ coeffs_dy->coeff_m1_m2_m2 = t14554+t13787+t13793+y*t13979+t14585+t14577+
+t13330+t13322+t12930+t14656+t13046+t12934+t12894+t15095+t15142;
+ coeffs_dy->coeff_0_m2_m2 = ((t14934+t14357)*y+t14509)*t14403+t13926+
+t14471+t13338+t14266*t14784+t14615+t15041+t15157+t15239+t15307;
+ coeffs_dy->coeff_p1_m2_m2 = t12969+(t14942+t14337*x)*t14996+t14433+t13907
++t13363+t13755+t13385+t12991+t14591+t15014+t15250;
+ coeffs_dy->coeff_p2_m2_m2 = y*t13778+t12981+t12982+t14420+t13736+t13830+
+t13839+t13511+t13392+t14639+t14640+t15071;
+ coeffs_dy->coeff_p3_m2_m2 = t14469+t13675+y*t13685+t13828+t13674+t13133+
+t13134+t14594+t15078;
+ coeffs_dy->coeff_m2_m1_m2 = t14403*t14870+t13769+t13795+t14428+t13061+
+t13040+t12786+t12821+t14857+t15142+t15234+t15261+t15292;
+ coeffs_dy->coeff_m1_m1_m2 = t14411+t12672+t13802+t13939+t13854+t13201+
+t12730+t14191*t14526+t14641+t14665+t15067;
+ coeffs_dy->coeff_0_m1_m2 = t14522*t14403+t13934+t14441+t14322*t14784+
+t13234+t14595+t14597+t15105+t15141;
+ coeffs_dy->coeff_p1_m1_m2 = t12714+t13899+t13914+t13492+t13503+t14424+
+t14589+t15025+t15027;
+ coeffs_dy->coeff_p2_m1_m2 = t13090+t12717+t14416+t13475+t13874+t13088+
+t13108+t14576+t15016+t15043;
+ coeffs_dy->coeff_p3_m1_m2 = t14486+t13715+t13718+t13070+t13074+t14628+
+t15120+t15233;
+ coeffs_dy->coeff_m2_0_m2 = t14398*t14541+t13471+t13080+t13352+t13084+
+t13095+t14608+t14948+t15041+t15123;
+ coeffs_dy->coeff_m1_0_m2 = t14476+t13463+t13626+t14903+t14930+t15097+
+t15105;
+ coeffs_dy->coeff_0_0_m2 = t14367*t14825+t12798+t13618+(t14151*t14675+
+t14999*t14343)*y+t14477+t14661+t15180;
+ coeffs_dy->coeff_p1_0_m2 = t13427+t13620+t14450+t13055+t15047+t15134+
+t15205;
+ coeffs_dy->coeff_p2_0_m2 = t13612+t13433+t14484+t12909+t14855+t15059+
+t15139;
+ coeffs_dy->coeff_p3_0_m2 = t13019+t13021+t14497+t14807+t15153+t15270;
+ coeffs_dy->coeff_m2_p1_m2 = t13024+t13012+(t14310+t14914)*t14892+t14433+
+t13772+t13774+t13399+t13433+t13022+t14628+t15161+t15212+t15290;
+ coeffs_dy->coeff_m1_p1_m2 = t12694+t13888+t13620+t13388+t13389+t14424+
+t14576+t15018+t15036;
+ coeffs_dy->coeff_0_p1_m2 = t14499*t14403+t14342*t14784+t13914+t13004+
+t14422+t14620+t15072+t15134+t15219;
+ coeffs_dy->coeff_p1_p1_m2 = t12983+t13934+t15012+t14196*t14526+t13939+
+t13851+t13618+t13534+t13626+t15011+t15155+t15213+t15228;
+ coeffs_dy->coeff_p2_p1_m2 = t14442+t13802+t13969+t13615+t13034+t12731+
+t14608+t15015+t15034;
+ coeffs_dy->coeff_p3_p1_m2 = t14464+t13806+t13821+t13160+t12771+t15053+
+t15124;
+ coeffs_dy->coeff_m2_p2_m2 = t15071+t14593+t14563+t14637+t13828+t13797+
+t14580+t13291+t13015+t13009+t13108+t15096+t15162+t15198;
+ coeffs_dy->coeff_m1_p2_m2 = t12693+t14416+t13736+t13783+t13371+t14589+
+t15033+t15061+t15294;
+ coeffs_dy->coeff_0_p2_m2 = t14429+t14515*t14403+t13907+t13585+t14283*
+t14784+t14672+t14674+t15121+t15139;
+ coeffs_dy->coeff_p1_p2_m2 = t15004+t12678+t14442+t13926+t13728+t13201+
+t13575+t15023+t15248;
+ coeffs_dy->coeff_p2_p2_m2 = t15022+t12672+t13703+t13696+t14317*t14526+
+t14585+t15056+t13311+t15131+t15229+t15292+t15302;
+ coeffs_dy->coeff_p3_p2_m2 = t13640+t14447+t12900+t13081+t14633+t15086+
+t15090;
+ coeffs_dy->coeff_m2_p3_m2 = t13082+t13117+t14231*t14541+t12981+t14917+
+t14920+t14924+t14940+t15078+t15117;
+ coeffs_dy->coeff_m1_p3_m2 = t14486+t12961+t12964+t12954+t14591+t15087+
+t15091;
+ coeffs_dy->coeff_0_p3_m2 = t14317*t14825+t14319*t14784+t14445+t14567+
+t14910+t15153+t15286;
+ coeffs_dy->coeff_p1_p3_m2 = t14446+t13330+t13313+t12885+t14929+t15053+
+t15077;
+ coeffs_dy->coeff_p2_p3_m2 = t12883+t14447+t12891+t14875+t15076+t15108+
+t15291;
+ coeffs_dy->coeff_p3_p3_m2 = t12863+t12879+t14189*t14526+t14490+t14899+
+t15160;
+ coeffs_dy->coeff_m2_m2_m1 = t12858+t12853+y*t13947+t14428+t13767+t13426+
+t13288+t12870+t14910+t15095+t15210+t15253+t15256;
+ coeffs_dy->coeff_m1_m2_m1 = t14603+(RATIONAL(25.0,64.0)*t14404+RATIONAL(
+25.0,192.0))*t14892+t13805+t14606+t13658+t13942+t13652+t13270+t13277+t15062+
+t13266+t15067+t15226+t15240;
+ coeffs_dy->coeff_0_m2_m1 = t14513*t14403+t14441+(t14270*t14402+t14400*z)*
+y+t13860+t13453+t14638+t15064+t15136+t15169;
+ coeffs_dy->coeff_p1_m2_m1 = t13985+t14414+t13676+t13386+t13368+t13260+
+t14654+t15027+t15031;
+ coeffs_dy->coeff_p2_m2_m1 = t12753+t14423+t13812+t13672+t13312+t14643+
+t14668+t15043+t15066;
+ coeffs_dy->coeff_p3_m2_m1 = t14473+t13742+t13670+t13313+t14908+t14916+
+t15094+t15233;
+ coeffs_dy->coeff_m2_m1_m1 = t13931+t14411+t12652+t13945+t13780+t13280+
+t14191*t14525+t14669+t15062+t15171+t15252;
+ coeffs_dy->coeff_m1_m1_m1 = (t14136*t14402+t14212*z)*t14966+t12848+t12592
++t12593+((RATIONAL(-175.0,64.0)*t14404+RATIONAL(-25.0,24.0))*t14405+(RATIONAL(
+125.0,32.0)*t14405+t14136*t14401+t14212*x)*y)*t14403+t14547+t13765+t13773+
+t14020+t12850+t14596+t14616+t15189+t15259;
+ coeffs_dy->coeff_0_m1_m1 = t12641+(t14205*t14402+t14392*z)*y+t14568+((
+t14288+t14293*t14401)*y+t14512)*t14403+t13886+t14534+t13253+t14599+t15088+
+t15214+t15225+t15282;
+ coeffs_dy->coeff_p1_m1_m1 = t15009+t12828+t12829+t13706+t13866+t12830+(
+t14308*t14401+t14186*x)*t14996+t14410+t13245+t15236+t15237;
+ coeffs_dy->coeff_p2_m1_m1 = t12632+t14569+t15035+t12635+t14627+t13993+
+t13998+(t14207*x+t14116*t14401)*t14996+t14660+t12825+t15060+t15152;
+ coeffs_dy->coeff_p3_m1_m1 = t12671+t14460+t13838+t13984+t13393+t14207*
+t14778+t13332+t14896+t15074;
+ coeffs_dy->coeff_m2_0_m1 = t14476+t13567+t13499+t13470+t12603+t15064+
+t15070;
+ coeffs_dy->coeff_m1_0_m1 = t12586+t12819+RATIONAL(25.0,4.0)*t14541+t12817
++t14480+t13289+t14945+t15088+t15268;
+ coeffs_dy->coeff_0_0_m1 = t13220+t14360*t14825+t12661+((t14167+t14095*
+t14405)*t14402+(t14109*t14405+t14294)*z)*y+t14470+t14572+t15231;
+ coeffs_dy->coeff_p1_0_m1 = t13209+t12631+t14451+t14866+t15106+t15144+
+t15266;
+ coeffs_dy->coeff_p2_0_m1 = t14485+t13545+t13215+t14907+t14915+t15103+
+t15114;
+ coeffs_dy->coeff_p3_0_m1 = t13206+t13541+t14489+t15149+t15176;
+ coeffs_dy->coeff_m2_p1_m1 = t12620+t14439+t13984+t13538+t13196+t13215+
+t14645+t15031+t15036;
+ coeffs_dy->coeff_m1_p1_m1 = t15009+t12783+t13209+t13693+t14660+(RATIONAL(
+25.0,24.0)+RATIONAL(-25.0,4.0)*t14404)*t14892+t12790+t14555+t12583+t13185+
+t15029+t15293;
+ coeffs_dy->coeff_0_p1_m1 = t13866+(t14198*t14402+t14274*z)*y+t12780+
+t14504*t14403+t14408+t14571+t14663+t15098+t15106;
+ coeffs_dy->coeff_p1_p1_m1 = t14602+t15008+t14547+t13886+t13808+(t14128*z+
+t14119*t14402)*t14966+t13289+t13220+t13045+t12816+t15017+t15278;
+ coeffs_dy->coeff_p2_p1_m1 = t14426+t13937+t13773+t13499+t13542+t15024+
+t15030+t15185+t15287;
+ coeffs_dy->coeff_p3_p1_m1 = t14475+t13945+t13537+t14889+t15092+t15111+
+t15281;
+ coeffs_dy->coeff_m2_p2_m1 = t14436+t12635+t13742+t13764+t13189+t14653+
+t15033+t15066+t15296;
+ coeffs_dy->coeff_m1_p2_m1 = t14413+t12829+t13655+t13672+(RATIONAL(175.0,
+64.0)*t14404+RATIONAL(-25.0,192.0))*t14892+t13174+t13176+t15035+t15159+t15242+
+t15289;
+ coeffs_dy->coeff_0_p2_m1 = t13985+t14518*t14403+t14430+t13526+(t14277*
+t14402+t14378*z)*y+t14632+t14664+t15103+t15122;
+ coeffs_dy->coeff_p1_p2_m1 = t12749+t14437+t13637+t13860+t13523+t12850+
+t14662+t15024+t15028;
+ coeffs_dy->coeff_p2_p2_m1 = (t14340*t14402+t14375*z)*t14966+t12793+t12593
++t14431+t13658+t13816+t13194+t14651+t15054+t15252+t15253;
+ coeffs_dy->coeff_p3_p2_m1 = t13669+t14454+t13767+t13486+t13181+t15045+
+t15049;
+ coeffs_dy->coeff_m2_p3_m1 = t12753+t12977+t12777+t14467+t14575+t15091+
+t15094;
+ coeffs_dy->coeff_m1_p3_m1 = t12758+t14460+RATIONAL(-25.0,64.0)*t14541+
+t13386+t13235+t12607+t14923+t14933+t15081;
+ coeffs_dy->coeff_0_p3_m1 = t13155+t14403*t14815+(t14362*z+t14320*t14402)*
+y+t14489+t15052+t15222+t15280;
+ coeffs_dy->coeff_p1_p3_m1 = t14475+t13147+t13266+t14883+t15126+t15127+
+t15177;
+ coeffs_dy->coeff_p2_p3_m1 = t12858+t12737+t12740+t13139+t14448+t15049+
+t15069;
+ coeffs_dy->coeff_p3_p3_m1 = t12870+t13138+(t14216*z+t14888)*t14966+t14897
++t15199+t15241+t15255;
+ coeffs_dy->coeff_m2_m2_0 = t13849+t14471+t14509*t14405+t13342+(t14992*
+t14266+(t14860+t14357)*t14405)*y+t14590+t14610+t15123+t15200+t15235;
+ coeffs_dy->coeff_m1_m2_0 = (t14270*t14401+t14400*x)*y+t13988+t14513*
+t14405+t14438+t13286+t14625+t14642+t15097+t15136;
+ coeffs_dy->coeff_0_m2_0 = t14477+RATIONAL(1.0,4.0)*t14404+t14516*t14405+
+t14325+(t14375+t14905*t14391)*y+((t14117+t14249*t14404)*t14405+t14516)*t14403+
+t12889+t14552+t15276+t15299+t15309;
+ coeffs_dy->coeff_p1_m2_0 = t14519*t14405+t14440+t13402+(t14816+t14972)*y+
+t15047+t15143+t15172+t15174+t15208;
+ coeffs_dy->coeff_p2_m2_0 = t14501*t14405+t14443+(t14321*t14401+t14315*x)*
+y+t13923+t13170+t14652+t15059+t15148+t15211;
+ coeffs_dy->coeff_p3_m2_0 = t13769+t12905+t14315*t14993+t14524*t14405+
+t14497+t14673+t15055+t15184;
+ coeffs_dy->coeff_m2_m1_0 = t14322*t14785+t13883+t14438+t13153+t14522*
+t14405+t14670+t15070+t15141+t15254;
+ coeffs_dy->coeff_m1_m1_0 = t12838+t14480+t13859+t14512*t14405+(t14205*
+t14401+t14392*x+(t14288+t14293*t14402)*t14405)*y+t13143+t14561+t14658+t15167+
+t15225+t15227;
+ coeffs_dy->coeff_0_m1_0 = RATIONAL(-7.0,4.0)*t14404+(t14377+t14905*t14309
+)*y+((t14166+RATIONAL(-343.0,36.0)*t14404)*t14405+t14502)*t14403+t14470+t14367+
+t14502*t14405+t15156+t15221+t15232+t15251+t15277;
+ coeffs_dy->coeff_p1_m1_0 = t13829+t13285+(t14318*t14401+t14393*x)*y+
+t14520*t14405+t14434+t14587+t14666+t15135+t15144;
+ coeffs_dy->coeff_p2_m1_0 = (t14208*t14401+t14352*x)*y+t14498*t14405+
+t14421+t14034+t13239+t14607+t14659+t15114+t15145;
+ coeffs_dy->coeff_p3_m1_0 = t14352*t14993+t13953+t14508*t14405+t14449+
+t15050+t15149+t15312;
+ coeffs_dy->coeff_m2_0_0 = t12766+t13515+t13050+t14367*t14854+(t14343+
+t14835)*t14785+t14560+t14598+t15180+t15299;
+ coeffs_dy->coeff_m1_0_0 = t14360*t14854+t13236+t12602+t12630+((t14167+
+t14095*t14403)*t14401+(t14294+t14109*t14403)*x)*y+t14604+t14621+t15231+t15277;
+ coeffs_dy->coeff_0_0_0 = (RATIONAL(4.0,1.0)+t14349*t14405+(RATIONAL(196.0
+,9.0)*t14405+t14349)*t14403)*t14404+(t14347+(t14140*t14402+t14353)*t14405+
+t14905*t14348+(t14140*t14401+t14353+RATIONAL(-686.0,27.0)*t14405)*t14403)*y+
+t14931+t15166+t15271;
+ coeffs_dy->coeff_p1_0_0 = t12713+t12712+t14405*t14795+((t14284+t14091*
+t14403)*t14401+(t14312+t14124*t14403)*x)*y+t14546+t15037+t15215+t15247;
+ coeffs_dy->coeff_p2_0_0 = t13032+t14379*t14854+t13603+((t14174+t14108*
+t14403)*t14401+t14514*x)*y+t14462+t14584+t15188;
+ coeffs_dy->coeff_p3_0_0 = t13584+t14372*t14854+t14514*t14993+t14478+
+t15273;
+ coeffs_dy->coeff_m2_p1_0 = t14342*t14785+t14499*t14405+t12922+t14440+
+t13845+t14584+t15072+t15080+t15312;
+ coeffs_dy->coeff_m1_p1_0 = t13991+t14504*t14405+t13123+t14434+(t14274*x+
+t14198*t14401)*y+t14607+t15063+t15098+t15215;
+ coeffs_dy->coeff_0_p1_0 = t14378+(t14309+t14905*t14331)*y+t12684+((
+RATIONAL(-196.0,9.0)*t14404+t14199)*t14405+t14510)*t14403+t14468+t14510*t14405+
+RATIONAL(-4.0,1.0)*t14404+t14587+t15037+t15313;
+ coeffs_dy->coeff_p1_p1_0 = t12999+t13766+t14505*t14405+(t14273*t14401+
+t14271*x+(t14107*t14402+t14339)*t14405)*y+t14472+t14604+t14658+t15110+t15156+
+t15166;
+ coeffs_dy->coeff_p2_p1_0 = t12743+t14419+t14000+(t14152*t14401+t14265*x)*
+y+t14521*t14405+t14560+t14561+t15075+t15085;
+ coeffs_dy->coeff_p3_p1_0 = t14750+t13910+t14523*t14405+t14465+t14670+
+t15119+t15195;
+ coeffs_dy->coeff_m2_p2_0 = t14283*t14785+t14443+t13867+t13606+t14515*
+t14405+t14659+t14673+t15118+t15121;
+ coeffs_dy->coeff_m1_p2_0 = t13850+(t14378*x+t14277*t14401)*y+t14518*
+t14405+t14421+t13595+t14652+t14666+t15122+t15128;
+ coeffs_dy->coeff_0_p2_0 = t14283+RATIONAL(7.0,4.0)*t14404+t14517*t14405+
+t13358+(-1.0+t14905*t14374)*y+((RATIONAL(343.0,36.0)*t14404+t14093)*t14405+
+t14517)*t14403+t14462+t14614+t15165+t15172+t15300;
+ coeffs_dy->coeff_p1_p2_0 = t14419+(t14384*t14401+t14367*x)*y+t14507*
+t14405+t13562+t15042+t15079+t15167+t15245+t15309;
+ coeffs_dy->coeff_p2_p2_0 = t13960+t14506*t14405+t13530+(t14275*t14401+
+t14325*x+(t14378*t14402+t14396)*t14405)*y+t14458+t14610+t14625+t15109+t15227+
+t15254;
+ coeffs_dy->coeff_p3_p2_0 = t14325*t14993+t13774+t14511*t14405+t14479+
+t15068+t15178+t15200;
+ coeffs_dy->coeff_m2_p3_0 = t13346+t14317*t14854+t14319*t14785+t14482+
+t15055+t15211+t15286;
+ coeffs_dy->coeff_m1_p3_0 = t13259+t14405*t14815+(t14320*t14401+t14362*x)*
+y+t14452+t15050+t15174+t15280;
+ coeffs_dy->coeff_0_p3_0 = t13481+(t14381+t14905*t14400)*y+(t14277*t14405+
+t14380+(t14277+t14181*t14405)*t14403)*t14404+t14478+t15154+t15181;
+ coeffs_dy->coeff_p1_p3_0 = t13452+t14548+(t14371*t14401+t14398*x)*y+
+t14465+t14642+t15113+t15175;
+ coeffs_dy->coeff_p2_p3_0 = t13385+t14390*t14854+(t14338*x+t14345*t14401)*
+y+t14479+t14590+t15115+t15246;
+ coeffs_dy->coeff_p3_p3_0 = t14335*t14854+(t14338*t14401+(t14319+t14863)*
+t14405)*y+t14493+t15235+t15297;
+ coeffs_dy->coeff_m2_m2_p1 = t14671+t15014+t13867+t14575+(t14885+t14989)*
+t14966+t13684+t13313+t12945+t14617+t13455+t13170+t12929+t15161+t15194;
+ coeffs_dy->coeff_m1_m2_p1 = t13850+t14414+t13267+t13402+t13653+t13235+
+t14668+t15018+t15026;
+ coeffs_dy->coeff_0_m2_p1 = (t14369*t14402+t14371*z)*y+t13972+t13260+
+t14519*t14403+t14422+t14614+t15058+t15143+t15222;
+ coeffs_dy->coeff_p1_m2_p1 = (RATIONAL(25.0,36.0)*t14404+RATIONAL(25.0,
+108.0))*t14892+t15012+t13938+t14418+t13453+t13270+t13405+t13286+t12889+t15177+
+t15245;
+ coeffs_dy->coeff_p2_m2_p1 = t15005+t13960+t13342+t13664+t14432+t13277+
+t13139+t15015+t15304;
+ coeffs_dy->coeff_p3_m2_p1 = t14459+t13774+t13746+t13288+t13138+t13350+
+t15124+t15137;
+ coeffs_dy->coeff_m2_m1_p1 = t14439+t13862+t13845+t12700+t13332+t13239+
+t14653+t15025+t15026;
+ coeffs_dy->coeff_m1_m1_p1 = t12598+t13991+(t14186*z+t14308*t14402)*t14966
++t12996+t13285+t12825+t14410+t15029+t15159+t15244+t15262;
+ coeffs_dy->coeff_0_m1_p1 = t14520*t14403+(t14393*z+t14318*t14402)*y+
+t13245+t14408+t14664+t15129+t15135+t15274+t15313;
+ coeffs_dy->coeff_p1_m1_p1 = t14412+(RATIONAL(-50.0,27.0)+RATIONAL(-175.0,
+36.0)*t14404)*t14892+t13072+t12749+t15008+t13766+t13836+t13253+t13143+t15221+
+t15259;
+ coeffs_dy->coeff_p2_m1_p1 = t14000+t12609+t13810+t13153+t14425+t13194+
+t14596+t15020+t15030;
+ coeffs_dy->coeff_p3_m1_p1 = t13910+t13935+t13486+t14457+t14669+t15092+
+t15147;
+ coeffs_dy->coeff_m2_0_p1 = t13032+t13206+t13538+t14450+t15058+t15080+
+t15260;
+ coeffs_dy->coeff_m1_0_p1 = t12712+t13192+t13185+t14451+t14915+t15063+
+t15129;
+ coeffs_dy->coeff_0_0_p1 = t13406+t12631+t14579+((t14284+t14091*t14405)*
+t14402+(t14124*t14405+t14312)*z)*y+t14468+t14663+t15247;
+ coeffs_dy->coeff_p1_0_p1 = t12817+RATIONAL(100.0,9.0)*t14541+t12661+
+t12602+t12611+t14602+t14931+t15110+t15132+t15301;
+ coeffs_dy->coeff_p2_0_p1 = t13542+t14474+t12766+t14945+t15075+t15125+
+t15284;
+ coeffs_dy->coeff_p3_0_p1 = t13537+t13470+t14456+t15195+t15207;
+ coeffs_dy->coeff_m2_p1_p1 = t12743+t13931+t13883+t14196*t14525+t13567+
+t13935+t14418+t15011+t13515+t15281+t15284;
+ coeffs_dy->coeff_m1_p1_p1 = t14412+t12999+(t14119*t14401+t14128*x)*t14996
++t13859+t13810+t14020+t13236+t15017+t15268+t15287+t15301;
+ coeffs_dy->coeff_0_p1_p1 = t13836+(t14271*z+t14273*t14402)*y+((t14339+
+t14107*t14401)*y+t14505)*t14403+t13045+t14472+t14568+t14572+t15132+t15232+
+t15271;
+ coeffs_dy->coeff_p1_p1_p1 = t14546+t12684+t13829+t13406+(t14120*z+t14143*
+t14402)*t14966+t13192+t13123+((RATIONAL(50.0,27.0)+RATIONAL(-100.0,9.0)*t14404)
+*t14405+(t14120*x+t14143*t14401+RATIONAL(250.0,27.0)*t14405)*y)*t14403+t12780+
+t14555+t15237+t15244+t15266+t15274;
+ coeffs_dy->coeff_p2_p1_p1 = t12922+t15007+t14034+t13998+t13603+t15006+
+t13545+t12790+(t14244*x+t14133*t14401)*t14996+t15093+t15260+t15262;
+ coeffs_dy->coeff_p3_p1_p1 = t13862+t13953+t14244*t14778+t13584+t13541+
+t13196+t14896+t15044+t15073+t15151;
+ coeffs_dy->coeff_m2_p2_p1 = t15004+t12609+t14427+t13849+t13746+t13530+
+t13280+t13181+t15005;
+ coeffs_dy->coeff_m1_p2_p1 = t12848+t13988+t13072+t14437+t13562+t13664+
+t14651+t15019+t15020;
+ coeffs_dy->coeff_0_p2_p1 = t13938+t13523+t14507*t14403+t14417+(t14384*
+t14402+t14367*z)*y+t14552+t14599+t15079+t15125;
+ coeffs_dy->coeff_p1_p2_p1 = (RATIONAL(-25.0,108.0)+RATIONAL(175.0,36.0)*
+t14404)*t14892+t12996+t13595+t13526+t15006+t13972+t13358+t12830+t14415+t15208+
+t15242;
+ coeffs_dy->coeff_p2_p2_p1 = t12598+t14627+t13923+t15013+t13606+t13653+
+t15032+t12700+t13176+(t14367*t14402+t14372*z)*t14966+t15146+t15194;
+ coeffs_dy->coeff_p3_p2_p1 = t14481+t13769+t13393+t13684+t13189+t15048+
+t15104;
+ coeffs_dy->coeff_m2_p3_p1 = t14446+t13426+t13385+t14897+t15083+t15137+
+t15304;
+ coeffs_dy->coeff_m1_p3_p1 = t12737+t13405+t13452+t14455+t14603+t15127+
+t15147;
+ coeffs_dy->coeff_0_p3_p1 = t13147+t14581+(t14398*z+t14371*t14402)*y+
+t14456+t15065+t15169+t15175;
+ coeffs_dy->coeff_p1_p3_p1 = t14245*t14541+t14453+t13481+t13267+t13259+
+t13368+t13155+t14923+t15044;
+ coeffs_dy->coeff_p2_p3_p1 = t12758+t14483+t13312+t13346+t12929+t15038+
+t15048;
+ coeffs_dy->coeff_p3_p3_p1 = t12945+t12977+(t14986+t14873)*t14966+t14494+
+t14908+t15201;
+ coeffs_dy->coeff_m2_m2_p2 = y*t13718+t14420+t13823+t13813+t13764+t13457+
+t13473+t13082+t12871+t12791+t14594+t14643+t15096;
+ coeffs_dy->coeff_m1_m2_p2 = t14423+t13655+t13800+t13238+t12954+t14640+
+t14654+t15046+t15061;
+ coeffs_dy->coeff_0_m2_p2 = t14429+t13922+t13363+t14501*t14403+(t14321*
+t14402+t14315*z)*y+t14567+t14632+t15102+t15148;
+ coeffs_dy->coeff_p1_m2_p2 = t13909+t13637+t14432+t12885+t13338+t13175+
+t14606+t15021+t15023;
+ coeffs_dy->coeff_p2_m2_p2 = t12853+(RATIONAL(1.0,16.0)*t14404+t14326)*
+t14892+t12902+t13816+t13439+t14435+t12894+t15022+t15164+t15226+t15291;
+ coeffs_dy->coeff_p3_m2_p2 = t13669+t14461+t12886+t14899+t15086+t15099+
+t15283;
+ coeffs_dy->coeff_m2_m1_p2 = t12903+t14436+t12632+t13843+t13339+t13015+
+t13070+t14645+t15016+t15046;
+ coeffs_dy->coeff_m1_m1_p2 = t12693+t12828+t14413+t12717+t13693+(t14207*z+
+t14116*t14402)*t14966+t15060+t15191+t15238+t15263+t15308;
+ coeffs_dy->coeff_0_m1_p2 = t14430+t14038+t13503+t14498*t14403+(t14352*z+
+t14208*t14402)*y+t14571+t14672+t15133+t15145;
+ coeffs_dy->coeff_p1_m1_p2 = t12678+t13808+t14028+t13234+t13449+t15010+
+t14425+t15028+t15189;
+ coeffs_dy->coeff_p2_m1_p2 = t14665+t14616+(RATIONAL(-7.0,16.0)*t14404+
+t14388)*t14892+t13937+t14573+t13918+t13311+t13061+t15054+t15057+t15171+t15285;
+ coeffs_dy->coeff_p3_m1_p2 = t13967+t14454+t13081+t12786+t14889+t15040+
+t15140;
+ coeffs_dy->coeff_m2_0_p2 = t13399+t13611+t13360+t14484+t13019+t14907+
+t15102+t15118;
+ coeffs_dy->coeff_m1_0_p2 = t14485+t13592+t13388+t14855+t14866+t15128+
+t15133;
+ coeffs_dy->coeff_0_0_p2 = t13580+t13055+t13414+t14379*t14825+((t14108*
+t14405+t14174)*t14402+t14503*z)*y+t14578+t14620+t15188+t15300;
+ coeffs_dy->coeff_p1_0_p2 = t12798+t12819+t13571+t14474+t15042+t15112+
+t15213;
+ coeffs_dy->coeff_p2_0_p2 = t12586+t13615+t12603+t13095+t14541+t14458+
+t14903+t15138+t15279;
+ coeffs_dy->coeff_p3_0_p2 = t13084+t13160+t14444+t15178+t15257;
+ coeffs_dy->coeff_m2_p1_p2 = t13967+t15021+t14427+t13471+t13780+t12771+
+t15034+t15185+t15279;
+ coeffs_dy->coeff_m1_p1_p2 = t14426+t13805+t13765+t13918+t13571+t13463+
+t15010+t12816+t12731+t15019;
+ coeffs_dy->coeff_0_p1_p2 = t12983+t14028+t14521*t14403+t13750+(t14152*
+t14402+t14265*z)*y+t14417+t14661+t15085+t15112+t15214;
+ coeffs_dy->coeff_p1_p1_p2 = t12783+t15007+(t14244*z+t14133*t14402)*t14966
++t14038+t13706+t13580+t13592+t13004+t14415+t15205+t15238;
+ coeffs_dy->coeff_p2_p1_p2 = t12620+t14409+t12694+t13993+(-t14404+t14381)*
+t14892+t15013+t13612+t13611+t12583+t15290+t15308;
+ coeffs_dy->coeff_p3_p1_p2 = t14463+t13838+t13843+t13022+t14807+t15104+
+t15107;
+ coeffs_dy->coeff_m2_p2_p2 = t12793+t14317*t14525+t12652+t13713+t12900+
+t13040+t14435+t14573+t15056+t15256+t15283;
+ coeffs_dy->coeff_m1_p2_p2 = t12592+(t14375*x+t14340*t14401)*t14996+t13793
++t14431+t13652+t13449+t12730+t14662+t15057+t15164+t15229;
+ coeffs_dy->coeff_0_p2_p2 = t14597+t14615+t13909+(t14325*z+t14275*t14402)*
+y+t13575+((t14378*t14401+t14396)*y+t14506)*t14403+t14638+t15109+t15138+t15170+
+t15282;
+ coeffs_dy->coeff_p1_p2_p2 = (t14372*x+t14367*t14401)*t14996+t14409+t12714
++t13922+t13585+t13676+t13174+t15032+t15191+t15236+t15250;
+ coeffs_dy->coeff_p2_p2_p2 = t14569+t13813+t13839+t13812+t13800+t13475+(
+t14332*z+t14282*t14402)*t14966+((t14335+RATIONAL(7.0,16.0)*t14404)*t14405+(
+t14332*x+t14380*t14405+t14282*t14401)*y)*t14403+t13339+t14580+t15263+t15289+
+t15294+t15296;
+ coeffs_dy->coeff_p3_p2_p2 = t14466+t12671+t13823+t13675+t13670+t14332*
+t14778+t13074+t14593+t15100;
+ coeffs_dy->coeff_m2_p3_p2 = t12863+t14488+t13439+t12740+t14550+t15076+
+t15099;
+ coeffs_dy->coeff_m1_p3_p2 = t13175+t12891+t14448+t12934+t14883+t15040+
+t15101;
+ coeffs_dy->coeff_0_p3_p2 = t14390*t14825+t13313+(t14345*t14402+t14973)*y+
+t14444+t15051+t15246+t15307;
+ coeffs_dy->coeff_p1_p3_p2 = t12969+t14483+t13360+t13238+t13350+t14933+
+t15084+t15107;
+ coeffs_dy->coeff_p2_p3_p2 = t12607+t13392+t12903+RATIONAL(-1.0,16.0)*
+t14541+t12777+t13457+t12964+t14940+t15039+t15100+t15202;
+ coeffs_dy->coeff_p3_p3_p2 = t13473+t13133+(t14824+t14967)*t14966+t14491+
+t14924+t15179;
+ coeffs_dy->coeff_m2_m2_p3 = t14469+t13020+y*t13715+t13663+t13667+t13797+
+t13051+t14639+t15117;
+ coeffs_dy->coeff_m1_m2_p3 = t14473+t13783+t13665+t13385+t14926+t15087+
+t15089;
+ coeffs_dy->coeff_0_m2_p3 = t14315*t14971+t14524*t14403+t14445+t14674+
+t14857+t15184+t15310;
+ coeffs_dy->coeff_p1_m2_p3 = t14459+t13748+t13726+t13728+t13446+t14656+
+t15077+t15258;
+ coeffs_dy->coeff_p2_m2_p3 = t13018+t13651+t13703+t14461+t14588+t15082+
+t15108;
+ coeffs_dy->coeff_p3_m2_p3 = t13640+t12884+(t14918+t14145)*t14892+t14490+
+t14851+t15203;
+ coeffs_dy->coeff_m2_m1_p3 = t12952+t14467+t13774+t13088+t14813+t15089+
+t15120;
+ coeffs_dy->coeff_m1_m1_p3 = t13492+t13888+t14207*t14752+t13737+t12663+
+t14912+t14932+t15074+t15081+t15182;
+ coeffs_dy->coeff_0_m1_p3 = t13871+t14352*t14971+t14508*t14403+t14449+
+t15052+t15193+t15219;
+ coeffs_dy->coeff_p1_m1_p3 = t13981+t13851+t13355+t14457+t14641+t15116+
+t15126;
+ coeffs_dy->coeff_p2_m1_p3 = t12872+t13969+t14487+t12821+t14936+t15069+
+t15140;
+ coeffs_dy->coeff_p3_m1_p3 = t13794+t13806+(t14913+t14169)*t14892+t14492+
+t15255+t15261;
+ coeffs_dy->coeff_m2_0_p3 = t13330+t12909+t14482+t15270+t15310;
+ coeffs_dy->coeff_m1_0_p3 = t13427+t13550+t14452+t15176+t15193;
+ coeffs_dy->coeff_0_0_p3 = t14372*t14825+t12974+t13531+t14503*t14971+
+t14559+t15154+t15273;
+ coeffs_dy->coeff_p1_0_p3 = t13627+t14495+t14930+t15113+t15207;
+ coeffs_dy->coeff_p2_0_p3 = t13080+t14496+t14904+t15115+t15257;
+ coeffs_dy->coeff_p3_0_p3 = t12966+t14405*t14527+t14948+t15209+t15297;
+ coeffs_dy->coeff_m2_p1_p3 = t14464+t13769+t13794+t13034+t14904+t14941+
+t15083+t15258;
+ coeffs_dy->coeff_m1_p1_p3 = t13627+t13854+t14455+t14936+t15111+t15116+
+t15228;
+ coeffs_dy->coeff_0_p1_p3 = t13981+t14708+t14523*t14403+t14495+t14595+
+t15065+t15119;
+ coeffs_dy->coeff_p1_p1_p3 = t14453+t14244*t14752+t13871+t13899+t13531+
+t13550+t13389+t14932+t15073;
+ coeffs_dy->coeff_p2_p1_p3 = t14463+t13012+t13737+t13874+t13330+t15038+
+t15130;
+ coeffs_dy->coeff_p3_p1_p3 = t13024+t13715+(t14213+t14901)*t14892+t14813+
+t15201+t15204+t15243;
+ coeffs_dy->coeff_m2_p2_p3 = t14488+t12872+t13699+t14851+t15082+t15090+
+t15302;
+ coeffs_dy->coeff_m1_p2_p3 = t13787+t13651+t14487+t13355+t15045+t15101+
+t15248;
+ coeffs_dy->coeff_0_p2_p3 = t13726+t14325*t14971+t14511*t14403+t14496+
+t15051+t15068+t15157;
+ coeffs_dy->coeff_p1_p2_p3 = t14481+t13821+t13755+t13371+t14912+t15084+
+t15130;
+ coeffs_dy->coeff_p2_p2_p3 = t12663+t14466+t14332*t14752+t12952+t13663+
+t13830+t13665+t15039+t15162;
+ coeffs_dy->coeff_p3_p2_p3 = t13674+t13667+(t14105+t14847)*t14892+t14491+
+t15192+t15198;
+ coeffs_dy->coeff_m2_p3_p3 = t13018+t12882+t14189*t14525+t14875+t15160+
+t15196+t15203;
+ coeffs_dy->coeff_m1_p3_p3 = t13446+t12930+(t14987+t14895)*t14996+t14492+
+t14929+t15199;
+ coeffs_dy->coeff_0_p3_p3 = t14707+(t14902+(t14319+t14894)*y)*t14403+
+t14493+t15209+t15239;
+ coeffs_dy->coeff_p1_p3_p3 = t12991+t12961+(t14834+t14974)*t14996+t14494+
+t14926+t15243;
+ coeffs_dy->coeff_p2_p3_p3 = t13511+t13051+(t14922+t14203*x)*t14996+t14917
++t15179+t15192+t15216;
+ coeffs_dy->coeff_p3_p3_p3 = t13134+y*t13699+t13020+(t14592+(t14844+t14846
+)*y)*t14403+t14920;