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, 0 insertions, 4239 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
deleted file mode 100644
index c3df51b..0000000
--- a/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-dy.compute.c
+++ /dev/null
@@ -1,4239 +0,0 @@
-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;
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-17 21:28:45 +0000