aboutsummaryrefslogtreecommitdiff
path: root/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-dx.compute.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-dx.compute.c')
-rw-r--r--src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-dx.compute.c4346
1 files changed, 0 insertions, 4346 deletions
diff --git a/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-dx.compute.c b/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-dx.compute.c
deleted file mode 100644
index bba9bac..0000000
--- a/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-dx.compute.c
+++ /dev/null
@@ -1,4346 +0,0 @@
-fp t11617;
-fp t11615;
-fp t12229;
-fp t11616;
-fp t12226;
-fp t12208;
-fp t12030;
-fp t11977;
-fp t12578;
-fp t11583;
-fp t12076;
-fp t11588;
-fp t11618;
-fp t12061;
-fp t12577;
-fp t11614;
-fp t12019;
-fp t11954;
-fp t12242;
-fp t12185;
-fp t12576;
-fp t12007;
-fp t12037;
-fp t12575;
-fp t12237;
-fp t12008;
-fp t11317;
-fp t11887;
-fp t12081;
-fp t11323;
-fp t11753;
-fp t9845;
-fp t12574;
-fp t11350;
-fp t11888;
-fp t12069;
-fp t11760;
-fp t9944;
-fp t12573;
-fp t11394;
-fp t11769;
-fp t9983;
-fp t12148;
-fp t11934;
-fp t12572;
-fp t11425;
-fp t10073;
-fp t11462;
-fp t9995;
-fp t12571;
-fp t12124;
-fp t12005;
-fp t11357;
-fp t10872;
-fp t12570;
-fp t12231;
-fp t11344;
-fp t11974;
-fp t11449;
-fp t12032;
-fp t10901;
-fp t12569;
-fp t11408;
-fp t11298;
-fp t11886;
-fp t12568;
-fp t11445;
-fp t12047;
-fp t10922;
-fp t11397;
-fp t12567;
-fp t11574;
-fp t12010;
-fp t11213;
-fp t11388;
-fp t12014;
-fp t10973;
-fp t9966;
-fp t12566;
-fp t11355;
-fp t12087;
-fp t10856;
-fp t12565;
-fp t12250;
-fp t11556;
-fp t11279;
-fp t11456;
-fp t11956;
-fp t9985;
-fp t12564;
-fp t11473;
-fp t11345;
-fp t11752;
-fp t12563;
-fp t12562;
-fp t11498;
-fp t12050;
-fp t11104;
-fp t11378;
-fp t12230;
-fp t12205;
-fp t12561;
-fp t11549;
-fp t12134;
-fp t11339;
-fp t11749;
-fp t12560;
-fp t11601;
-fp t11818;
-fp t9940;
-fp t12559;
-fp t11407;
-fp t11801;
-fp t11460;
-fp t10279;
-fp t12558;
-fp t12214;
-fp t12194;
-fp t11450;
-fp t12218;
-fp t11048;
-fp t11312;
-fp t12557;
-fp t11412;
-fp t9968;
-fp t12556;
-fp t11524;
-fp t12228;
-fp t11152;
-fp t12555;
-fp t11469;
-fp t11119;
-fp t11466;
-fp t12554;
-fp t11369;
-fp t12110;
-fp t11941;
-fp t11414;
-fp t11751;
-fp t10215;
-fp t12553;
-fp t11610;
-fp t12142;
-fp t11810;
-fp t12552;
-fp t12093;
-fp t11776;
-fp t9954;
-fp t12551;
-fp t11489;
-fp t12550;
-fp t11383;
-fp t11541;
-fp t11925;
-fp t10367;
-fp t12549;
-fp t11480;
-fp t11328;
-fp t11881;
-fp t12548;
-fp t11453;
-fp t11825;
-fp t10163;
-fp t11374;
-fp t11793;
-fp t12547;
-fp t11390;
-fp t11997;
-fp t11315;
-fp t12095;
-fp t10869;
-fp t12546;
-fp t12011;
-fp t10897;
-fp t9978;
-fp t11479;
-fp t11795;
-fp t10670;
-fp t12545;
-fp t11872;
-fp t12544;
-fp t12543;
-fp t11765;
-fp t10307;
-fp t12542;
-fp t11602;
-fp t12541;
-fp t12540;
-fp t11510;
-fp t12022;
-fp t11146;
-fp t11741;
-fp t12539;
-fp t10909;
-fp t12029;
-fp t11924;
-fp t10025;
-fp t12538;
-fp t9888;
-fp t11568;
-fp t11069;
-fp t12537;
-fp t11548;
-fp t12104;
-fp t11459;
-fp t11885;
-fp t12536;
-fp t11570;
-fp t11280;
-fp t12535;
-fp t11431;
-fp t11508;
-fp t11283;
-fp t12534;
-fp t11551;
-fp t10459;
-fp t11528;
-fp t12247;
-fp t11939;
-fp t10533;
-fp t12533;
-fp t11477;
-fp t11277;
-fp t11569;
-fp t12532;
-fp t11518;
-fp t12114;
-fp t11198;
-fp t11529;
-fp t12531;
-fp t11447;
-fp t10916;
-fp t10917;
-fp t12530;
-fp t11553;
-fp t11957;
-fp t10724;
-fp t12529;
-fp t12252;
-fp t11523;
-fp t12178;
-fp t12240;
-fp t11979;
-fp t10717;
-fp t12528;
-fp t11550;
-fp t12103;
-fp t11100;
-fp t12527;
-fp t10927;
-fp t11417;
-fp t12526;
-fp t11389;
-fp t11780;
-fp t11515;
-fp t11959;
-fp t12525;
-fp t10873;
-fp t12524;
-fp t11429;
-fp t11007;
-fp t11427;
-fp t12125;
-fp t12523;
-fp t11604;
-fp t11756;
-fp t11372;
-fp t11045;
-fp t12522;
-fp t10208;
-fp t11576;
-fp t11226;
-fp t12521;
-fp t11384;
-fp t12067;
-fp t11310;
-fp t12023;
-fp t10889;
-fp t12520;
-fp t10896;
-fp t11544;
-fp t12519;
-fp t11419;
-fp t12024;
-fp t11828;
-fp t10671;
-fp t12518;
-fp t11582;
-fp t11768;
-fp t10831;
-fp t11377;
-fp t12517;
-fp t11448;
-fp t12043;
-fp t11043;
-fp t11416;
-fp t12216;
-fp t11990;
-fp t12516;
-fp t11365;
-fp t11983;
-fp t11500;
-fp t12006;
-fp t10401;
-fp t12515;
-fp t12102;
-fp t11188;
-fp t11555;
-fp t11958;
-fp t12514;
-fp t12147;
-fp t11224;
-fp t11819;
-fp t12513;
-fp t11437;
-fp t11393;
-fp t11770;
-fp t12512;
-fp t11542;
-fp t12159;
-fp t11125;
-fp t11537;
-fp t12511;
-fp t11366;
-fp t11539;
-fp t12150;
-fp t12510;
-fp t12066;
-fp t11175;
-fp t11363;
-fp t11986;
-fp t12509;
-fp t11144;
-fp t12106;
-fp t12508;
-fp t10720;
-fp t11467;
-fp t11824;
-fp t12507;
-fp t12245;
-fp t12175;
-fp t10744;
-fp t11297;
-fp t12506;
-fp t11379;
-fp t10053;
-fp t12505;
-fp t11483;
-fp t11745;
-fp t11533;
-fp t10544;
-fp t12504;
-fp t11835;
-fp t11613;
-fp t10844;
-fp t12503;
-fp t11170;
-fp t12502;
-fp t10342;
-fp t11482;
-fp t11737;
-fp t12501;
-fp t10591;
-fp t11186;
-fp t12500;
-fp t12224;
-fp t11976;
-fp t10843;
-fp t11474;
-fp t12193;
-fp t12499;
-fp t11172;
-fp t12068;
-fp t11947;
-fp t10625;
-fp t12498;
-fp t10825;
-fp t11409;
-fp t12497;
-fp t11358;
-fp t12036;
-fp t10849;
-fp t11405;
-fp t11953;
-fp t12496;
-fp t11586;
-fp t11750;
-fp t11777;
-fp t10773;
-fp t12495;
-fp t12040;
-fp t11758;
-fp t10537;
-fp t12223;
-fp t11948;
-fp t12494;
-fp t11546;
-fp t12077;
-fp t11059;
-fp t11543;
-fp t12493;
-fp t10848;
-fp t12492;
-fp t10756;
-fp t11513;
-fp t11833;
-fp t12491;
-fp t12099;
-fp t11055;
-fp t12490;
-fp t11534;
-fp t11065;
-fp t11165;
-fp t10686;
-fp t12489;
-fp t11391;
-fp t12090;
-fp t11966;
-fp t10471;
-fp t12249;
-fp t12488;
-fp t11940;
-fp t10683;
-fp t12487;
-fp t11978;
-fp t10426;
-fp t11788;
-fp t12486;
-fp t12108;
-fp t10999;
-fp t10648;
-fp t12485;
-fp t11281;
-fp t12484;
-fp t11371;
-fp t10925;
-fp t12483;
-fp t10867;
-fp t11396;
-fp t12482;
-fp t11486;
-fp t11567;
-fp t10505;
-fp t12481;
-fp t11984;
-fp t11426;
-fp t12115;
-fp t10958;
-fp t12480;
-fp t11581;
-fp t11287;
-fp t11392;
-fp t12479;
-fp t10853;
-fp t12478;
-fp t11505;
-fp t11413;
-fp t12107;
-fp t12001;
-fp t10290;
-fp t12477;
-fp t10377;
-fp t11993;
-fp t12476;
-fp t12475;
-fp t11406;
-fp t10002;
-fp t12474;
-fp t12473;
-fp t11589;
-fp t11294;
-fp t11434;
-fp t12472;
-fp t12028;
-fp t11008;
-fp t11024;
-fp t12471;
-fp t11921;
-fp t10331;
-fp t12470;
-fp t11452;
-fp t10977;
-fp t12469;
-fp t11584;
-fp t12054;
-fp t11945;
-fp t10759;
-fp t12468;
-fp t11517;
-fp t12197;
-fp t10755;
-fp t12467;
-fp t11398;
-fp t11403;
-fp t10923;
-fp t12466;
-fp t12465;
-fp t11607;
-fp t12233;
-fp t11507;
-fp t12464;
-fp t11836;
-fp t12463;
-fp t10994;
-fp t12462;
-fp t11585;
-fp t11846;
-fp t12461;
-fp t11532;
-fp t12002;
-fp t10650;
-fp t12460;
-fp t11471;
-fp t10610;
-fp t12459;
-fp t11789;
-fp t12458;
-fp t11336;
-fp t10815;
-fp t12457;
-fp t11361;
-fp t10966;
-fp t10708;
-fp t12456;
-fp t11478;
-fp t11928;
-fp t12455;
-fp t11594;
-fp t12129;
-fp t12026;
-fp t11754;
-fp t12454;
-fp t11557;
-fp t12453;
-fp t12176;
-fp t11173;
-fp t10481;
-fp t12452;
-fp t11275;
-fp t12198;
-fp t11980;
-fp t10679;
-fp t12451;
-fp t10997;
-fp t12450;
-fp t11813;
-fp t12449;
-fp t12154;
-fp t12004;
-fp t10106;
-fp t11444;
-fp t11266;
-fp t12195;
-fp t12448;
-fp t11937;
-fp t10847;
-fp t12447;
-fp t10127;
-fp t11262;
-fp t12446;
-fp t11274;
-fp t12445;
-fp t11598;
-fp t11512;
-fp t12444;
-fp t11264;
-fp t11802;
-fp t12443;
-fp t11871;
-fp t12442;
-fp t10133;
-fp t12136;
-fp t10895;
-fp t12441;
-fp t11235;
-fp t10803;
-fp t12440;
-fp t12017;
-fp t11743;
-fp t10424;
-fp t12439;
-fp t11558;
-fp t10705;
-fp t11276;
-fp t12438;
-fp t11285;
-fp t12437;
-fp t12436;
-fp t11454;
-fp t12435;
-fp t11571;
-fp t12060;
-fp t11166;
-fp t12021;
-fp t12434;
-fp t11767;
-fp t12433;
-fp t11411;
-fp t10412;
-fp t12432;
-fp t11250;
-fp t12431;
-fp t12164;
-fp t11963;
-fp t10030;
-fp t11430;
-fp t11785;
-fp t12430;
-fp t11002;
-fp t12038;
-fp t11787;
-fp t10445;
-fp t12429;
-fp t11382;
-fp t11017;
-fp t12117;
-fp t12428;
-fp t12119;
-fp t12427;
-fp t11611;
-fp t11290;
-fp t12426;
-fp t11470;
-fp t10524;
-fp t12425;
-fp t11318;
-fp t12074;
-fp t10864;
-fp t12424;
-fp t10953;
-fp t10175;
-fp t11081;
-fp t10497;
-fp t12423;
-fp t10453;
-fp t11982;
-fp t12422;
-fp t10732;
-fp t12157;
-fp t11233;
-fp t12421;
-fp t11968;
-fp t12420;
-fp t11575;
-fp t11292;
-fp t12419;
-fp t12059;
-fp t11461;
-fp t12418;
-fp t11961;
-fp t10596;
-fp t12417;
-fp t11256;
-fp t10962;
-fp t12416;
-fp t10549;
-fp t11747;
-fp t12415;
-fp t12044;
-fp t11778;
-fp t12414;
-fp t11519;
-fp t12179;
-fp t12413;
-fp t11286;
-fp t12412;
-fp t10480;
-fp t12045;
-fp t11034;
-fp t12411;
-fp t10752;
-fp t11837;
-fp t12410;
-fp t12409;
-fp t11476;
-fp t12220;
-fp t12408;
-fp t11527;
-fp t10417;
-fp t11531;
-fp t11772;
-fp t12407;
-fp t12406;
-fp t11367;
-fp t12033;
-fp t10905;
-fp t12405;
-fp t12404;
-fp t10437;
-fp t12403;
-fp t10691;
-fp t12402;
-fp t11267;
-fp t10904;
-fp t12401;
-fp t11809;
-fp t12400;
-fp t12138;
-fp t11132;
-fp t12399;
-fp t11352;
-fp t11347;
-fp t11564;
-fp t12398;
-fp t11313;
-fp t11504;
-fp t11314;
-fp t12397;
-fp t12396;
-fp t10786;
-fp t12201;
-fp t12395;
-fp t11520;
-fp t12246;
-fp t11932;
-fp t11343;
-fp t11464;
-fp t9999;
-fp t12394;
-fp t12393;
-fp t11340;
-fp t11867;
-fp t9923;
-fp t11335;
-fp t11554;
-fp t12181;
-fp t10394;
-fp t12392;
-fp t9997;
-fp t12391;
-fp t12137;
-fp t9846;
-fp t12390;
-fp t11428;
-fp t9990;
-fp t12389;
-fp t11511;
-fp t11757;
-fp t10486;
-fp t11338;
-fp t11962;
-fp t12200;
-fp t12388;
-fp t11496;
-fp t9937;
-fp t12251;
-fp t10854;
-fp t12387;
-fp t11331;
-fp t11783;
-fp t9831;
-fp t12141;
-fp t10545;
-fp t12386;
-fp t12225;
-fp t11018;
-fp t9803;
-fp t12385;
-fp t12219;
-fp t12248;
-fp t11926;
-fp t12384;
-fp t11325;
-fp t12383;
-fp t11289;
-fp t11922;
-fp t10734;
-fp t11410;
-fp t12062;
-fp t12382;
-fp t11443;
-fp t9965;
-fp t12381;
-fp t11330;
-fp t12380;
-fp t11991;
-fp t9933;
-fp t12072;
-fp t11202;
-fp t11742;
-fp t12379;
-fp t11578;
-fp t10830;
-fp t11324;
-fp t12378;
-fp t11746;
-fp t9906;
-fp t10668;
-fp t12377;
-fp t12376;
-fp t11351;
-fp t11612;
-fp t12375;
-fp t11359;
-fp t12013;
-fp t11740;
-fp t9897;
-fp t11975;
-fp t12374;
-fp t10792;
-fp t12373;
-fp t10839;
-fp t12372;
-fp t11525;
-fp t10390;
-fp t11150;
-fp t12371;
-fp t12145;
-fp t9987;
-fp t12370;
-fp t11799;
-fp t10603;
-fp t11923;
-fp t12369;
-fp t10870;
-fp t10733;
-fp t12368;
-fp t12367;
-fp t11764;
-fp t12018;
-fp t12092;
-fp t12366;
-fp t9936;
-fp t11880;
-fp t12365;
-fp t11485;
-fp t12016;
-fp t11988;
-fp t10582;
-fp t12211;
-fp t12088;
-fp t11540;
-fp t12123;
-fp t11114;
-fp t12364;
-fp t10068;
-fp t12363;
-fp t10749;
-fp t12362;
-fp t10865;
-fp t12361;
-fp t10725;
-fp t12360;
-fp t10709;
-fp t12359;
-fp t11373;
-fp t10955;
-fp t12358;
-fp t11360;
-fp t11463;
-fp t11307;
-fp t12357;
-fp t11433;
-fp t12190;
-fp t11376;
-fp t11029;
-fp t10100;
-fp t12356;
-fp t11291;
-fp t11995;
-fp t10827;
-fp t12355;
-fp t12139;
-fp t11559;
-fp t11738;
-fp t10617;
-fp t12354;
-fp t12078;
-fp t11952;
-fp t10114;
-fp t12353;
-fp t11438;
-fp t11989;
-fp t10443;
-fp t12352;
-fp t11049;
-fp t12351;
-fp t12096;
-fp t11992;
-fp t10639;
-fp t11759;
-fp t12350;
-fp t11493;
-fp t10504;
-fp t11503;
-fp t12349;
-fp t10274;
-fp t12348;
-fp t11935;
-fp t10327;
-fp t12049;
-fp t10979;
-fp t12347;
-fp t12042;
-fp t11739;
-fp t10291;
-fp t12346;
-fp t11495;
-fp t12153;
-fp t12003;
-fp t10349;
-fp t12345;
-fp t11265;
-fp t11930;
-fp t10939;
-fp t10041;
-fp t12344;
-fp t11082;
-fp t10446;
-fp t12343;
-fp t10350;
-fp t12146;
-fp t12342;
-fp t11422;
-fp t10931;
-fp t10986;
-fp t12089;
-fp t12341;
-fp t12340;
-fp t12144;
-fp t10547;
-fp t12339;
-fp t10690;
-fp t11370;
-fp t10914;
-fp t12338;
-fp t11798;
-fp t10531;
-fp t12236;
-fp t11938;
-fp t12337;
-fp t11987;
-fp t12073;
-fp t12336;
-fp t10699;
-fp t11208;
-fp t12335;
-fp t11446;
-fp t11790;
-fp t12334;
-fp t12034;
-fp t10932;
-fp t12333;
-fp t10392;
-fp t12332;
-fp t11185;
-fp t12234;
-fp t10649;
-fp t12126;
-fp t12331;
-fp t10374;
-fp t11499;
-fp t12330;
-fp t12329;
-fp t12328;
-fp t11189;
-fp t11299;
-fp t12327;
-fp t11071;
-fp t11115;
-fp t12326;
-fp t11154;
-fp t12325;
-fp t11326;
-fp t12324;
-fp t12121;
-fp t11950;
-fp t11180;
-fp t12323;
-fp t12322;
-fp t12321;
-fp t11943;
-fp t11933;
-fp t11808;
-fp t9905;
-fp t12320;
-fp t12031;
-fp t11342;
-fp t11442;
-fp t12243;
-fp t12319;
-fp t12318;
-fp t11560;
-fp t11259;
-fp t12317;
-fp t10945;
-fp t11492;
-fp t11309;
-fp t12316;
-fp t12064;
-fp t12315;
-fp t12085;
-fp t12314;
-fp t12100;
-fp t11156;
-fp t11981;
-fp t12313;
-fp t11306;
-fp t12312;
-fp t12082;
-fp t12311;
-fp t11424;
-fp t11852;
-fp t9812;
-fp t12310;
-fp t12133;
-fp t11967;
-fp t12309;
-fp t12308;
-fp t11535;
-fp t12213;
-fp t12307;
-fp t12097;
-fp t11209;
-fp t12306;
-fp t11972;
-fp t12305;
-fp t12128;
-fp t10970;
-fp t12304;
-fp t12239;
-fp t12303;
-fp t12172;
-fp t11110;
-fp t10780;
-fp t12302;
-fp t12301;
-fp t11385;
-fp t12300;
-fp t11153;
-fp t12299;
-fp t11000;
-fp t12298;
-fp t12297;
-fp t11423;
-fp t10959;
-fp t12296;
-fp t11362;
-fp t12295;
-fp t12012;
-fp t12294;
-fp t11386;
-fp t12293;
-fp t12292;
-fp t11108;
-fp t12291;
-fp t11272;
-fp t11971;
-fp t10105;
-fp t12290;
-fp t11465;
-fp t12235;
-fp t12180;
-fp t12289;
-fp t12288;
-fp t12109;
-fp t12227;
-fp t11965;
-fp t12287;
-fp t11418;
-fp t11744;
-fp t12035;
-fp t10946;
-fp t12286;
-fp t10998;
-fp t11010;
-fp t11085;
-fp t12285;
-fp t11402;
-fp t12130;
-fp t11969;
-fp t12284;
-fp t11955;
-fp t12283;
-fp t12084;
-fp t12282;
-fp t10912;
-fp t12281;
-fp t12212;
-fp t11931;
-fp t12280;
-fp t11311;
-fp t10693;
-fp t11455;
-fp t11929;
-fp t12279;
-fp t11107;
-fp t10439;
-fp t12278;
-fp t12277;
-fp t12276;
-fp t12041;
-fp t10410;
-fp t12275;
-fp t10419;
-fp t12274;
-fp t12273;
-fp t12272;
-fp t11949;
-fp t12271;
-fp t10989;
-fp t11816;
-fp t9949;
-fp t12270;
-fp t11960;
-fp t12269;
-fp t12244;
-fp t12177;
-fp t12268;
-fp t12267;
-fp t10938;
-fp t12266;
-fp t11606;
-fp t11300;
-fp t11577;
-fp t12265;
-fp t12264;
-fp t12263;
-fp t12262;
-fp t11484;
-fp t11951;
-fp t11502;
-fp t12206;
-fp t12261;
-fp t12260;
-fp t10915;
-fp t11481;
-fp t11381;
-fp t11514;
-fp t12259;
-fp t10694;
-fp t12258;
-fp t11522;
-fp t11781;
-fp t12257;
-fp t12140;
-fp t11131;
-fp t12027;
-fp t10974;
-fp t12256;
-fp t10964;
-fp t10548;
-fp t12255;
-fp t12254;
-fp t11927;
-fp t12253;
-fp t11293;
-fp t12241;
-fp t12238;
-fp t12232;
-fp t12222;
-fp t12221;
-fp t12217;
-fp t11605;
-fp t12215;
-fp t12210;
-fp t12209;
-fp t12207;
-fp t10667;
-fp t12204;
-fp t10637;
-fp t12203;
-fp t12202;
-fp t12199;
-fp t12196;
-fp t10592;
-fp t12192;
-fp t12191;
-fp t12189;
-fp t12188;
-fp t12187;
-fp t10358;
-fp t12186;
-fp t12184;
-fp t12183;
-fp t12182;
-fp t11942;
-fp t12174;
-fp t12173;
-fp t10840;
-fp t12171;
-fp t11844;
-fp t10329;
-fp t12170;
-fp t12169;
-fp t12168;
-fp t10513;
-fp t12167;
-fp t12166;
-fp t10859;
-fp t12165;
-fp t12163;
-fp t12162;
-fp t12161;
-fp t10811;
-fp t12160;
-fp t10308;
-fp t12158;
-fp t11269;
-fp t11273;
-fp t12156;
-fp t12155;
-fp t11271;
-fp t11096;
-fp t12152;
-fp t10369;
-fp t12151;
-fp t11134;
-fp t12149;
-fp t12143;
-fp t11284;
-fp t10563;
-fp t12135;
-fp t12080;
-fp t10034;
-fp t12132;
-fp t11027;
-fp t12131;
-fp t12127;
-fp t10234;
-fp t12122;
-fp t12120;
-fp t10088;
-fp t12086;
-fp t12118;
-fp t12116;
-fp t12113;
-fp t12112;
-fp t12111;
-fp t10345;
-fp t12105;
-fp t10026;
-fp t10988;
-fp t12101;
-fp t11375;
-fp t12098;
-fp t11295;
-fp t12094;
-fp t12091;
-fp t12083;
-fp t11036;
-fp t10201;
-fp t10719;
-fp t12079;
-fp t10210;
-fp t12075;
-fp t10984;
-fp t12071;
-fp t12070;
-fp t11985;
-fp t12065;
-fp t11451;
-fp t12063;
-fp t12058;
-fp t10858;
-fp t12057;
-fp t12056;
-fp t12055;
-fp t10245;
-fp t12053;
-fp t10360;
-fp t12052;
-fp t12051;
-fp t12048;
-fp t12046;
-fp t11579;
-fp t12039;
-fp t12025;
-fp t12020;
-fp t12015;
-fp t10947;
-fp t12009;
-fp t10995;
-fp t12000;
-fp t11999;
-fp t11998;
-fp t11996;
-fp t11196;
-fp t11994;
-fp t11973;
-fp t11970;
-fp t11126;
-fp t11073;
-fp t11475;
-fp t11964;
-fp t10919;
-fp t11487;
-fp t11936;
-fp t11920;
-fp t9872;
-fp t11919;
-fp t9927;
-fp t11918;
-fp t9890;
-fp t9924;
-fp t11917;
-fp t11916;
-fp t9795;
-fp t10776;
-fp t11915;
-fp t11914;
-fp t11913;
-fp t9977;
-fp t11912;
-fp t11911;
-fp t11910;
-fp t11101;
-fp t11395;
-fp t11509;
-fp t10406;
-fp t11909;
-fp t11908;
-fp t11907;
-fp t11906;
-fp t11874;
-fp t11905;
-fp t11904;
-fp t11903;
-fp t11866;
-fp t11902;
-fp t11901;
-fp t10884;
-fp t11900;
-fp t11380;
-fp t11899;
-fp t11898;
-fp t11897;
-fp t11792;
-fp t11896;
-fp t10978;
-fp t11895;
-fp t10449;
-fp t11894;
-fp t11893;
-fp t11892;
-fp t11891;
-fp t11890;
-fp t11889;
-fp t11884;
-fp t11883;
-fp t11882;
-fp t11145;
-fp t11879;
-fp t11878;
-fp t11877;
-fp t10363;
-fp t11497;
-fp t11876;
-fp t11875;
-fp t11873;
-fp t11870;
-fp t11869;
-fp t11868;
-fp t11354;
-fp t11864;
-fp t11863;
-fp t11387;
-fp t11862;
-fp t10023;
-fp t11861;
-fp t11860;
-fp t11859;
-fp t11858;
-fp t11004;
-fp t11857;
-fp t10875;
-fp t11856;
-fp t11855;
-fp t11201;
-fp t11854;
-fp t11853;
-fp t11177;
-fp t11102;
-fp t11850;
-fp t11849;
-fp t11468;
-fp t11848;
-fp t11436;
-fp t11847;
-fp t11845;
-fp t11843;
-fp t11842;
-fp t11841;
-fp t11840;
-fp t10983;
-fp t11839;
-fp t11179;
-fp t11838;
-fp t11364;
-fp t11834;
-fp t11832;
-fp t11831;
-fp t11830;
-fp t10898;
-fp t10899;
-fp t11829;
-fp t11827;
-fp t11826;
-fp t10941;
-fp t11823;
-fp t11822;
-fp t10992;
-fp t11821;
-fp t11820;
-fp t11305;
-fp t11030;
-fp t11817;
-fp t11815;
-fp t11814;
-fp t11812;
-fp t11561;
-fp t11811;
-fp t11807;
-fp t11806;
-fp t11805;
-fp t11804;
-fp t11803;
-fp t11800;
-fp t10762;
-fp t11797;
-fp t11796;
-fp t11794;
-fp t11183;
-fp t11791;
-fp t11786;
-fp t11784;
-fp t11782;
-fp t11779;
-fp t11775;
-fp t11774;
-fp t11099;
-fp t11773;
-fp t11105;
-fp t11106;
-fp t11088;
-fp t11066;
-fp t10462;
-fp t11771;
-fp t11041;
-fp t11766;
-fp t11033;
-fp t11763;
-fp t11762;
-fp t10277;
-fp t10021;
-fp t11006;
-fp t11761;
-fp t11005;
-fp t11755;
-fp t10963;
-fp t10956;
-fp t11421;
-fp t11748;
-fp t11736;
-fp t11735;
-fp t11734;
-fp t11545;
-fp t11733;
-fp t11732;
-fp t11731;
-fp t11730;
-fp t11729;
-fp t11530;
-fp t11728;
-fp t11727;
-fp t11726;
-fp t11725;
-fp t11724;
-fp t11723;
-fp t11722;
-fp t11721;
-fp t11719;
-fp t11718;
-fp t11717;
-fp t11591;
-fp t11716;
-fp t11715;
-fp t11714;
-fp t11713;
-fp t11711;
-fp t11710;
-fp t11709;
-fp t10199;
-fp t11708;
-fp t10093;
-fp t11707;
-fp t10115;
-fp t11706;
-fp t11705;
-fp t10642;
-fp t11704;
-fp t10597;
-fp t11404;
-fp t9972;
-fp t11703;
-fp t11702;
-fp t9837;
-fp t11701;
-fp t11700;
-fp t11699;
-fp t11698;
-fp t11697;
-fp t9918;
-fp t11696;
-fp t11695;
-fp t11694;
-fp t9857;
-fp t11693;
-fp t11692;
-fp t9823;
-fp t11691;
-fp t11690;
-fp t10398;
-fp t11689;
-fp t9824;
-fp t11688;
-fp t11687;
-fp t11686;
-fp t10594;
-fp t11685;
-fp t11684;
-fp t11683;
-fp t11682;
-fp t11681;
-fp t11680;
-fp t10254;
-fp t11679;
-fp t11678;
-fp t11677;
-fp t10153;
-fp t11676;
-fp t10268;
-fp t11675;
-fp t11674;
-fp t10348;
-fp t11673;
-fp t11672;
-fp t11671;
-fp t11670;
-fp t11669;
-fp t10587;
-fp t11668;
-fp t11667;
-fp t11666;
-fp t11665;
-fp t11664;
-fp t10440;
-fp t11663;
-fp t10243;
-fp t11662;
-fp t11661;
-fp t11660;
-fp t11659;
-fp t11658;
-fp t11657;
-fp t11656;
-fp t11655;
-fp t11441;
-fp t11301;
-fp t11654;
-fp t11653;
-fp t11652;
-fp t10673;
-fp t11651;
-fp t11590;
-fp t11650;
-fp t10317;
-fp t11649;
-fp t11648;
-fp t11647;
-fp t11646;
-fp t11506;
-fp t11552;
-fp t11645;
-fp t11644;
-fp t11643;
-fp t11642;
-fp t11641;
-fp t11640;
-fp t11639;
-fp t11638;
-fp t11637;
-fp t11636;
-fp t11635;
-fp t11634;
-fp t11633;
-fp t11565;
-fp t11632;
-fp t11631;
-fp t11630;
-fp t10665;
-fp t11629;
-fp t10186;
-fp t11628;
-fp t11627;
-fp t11626;
-fp t11625;
-fp t11624;
-fp t10432;
-fp t11623;
-fp t11622;
-fp t11621;
-fp t11609;
-fp t11603;
-fp t11597;
-fp t11593;
-fp t11592;
-fp t11587;
-fp t11580;
-fp t11573;
-fp t11566;
-fp t11562;
-fp t11538;
-fp t11536;
-fp t11526;
-fp t11521;
-fp t11501;
-fp t11490;
-fp t11488;
-fp t11457;
-fp t11440;
-fp t11435;
-fp t11432;
-fp t11420;
-fp t11401;
-fp t11399;
-fp t11368;
-fp t11356;
-fp t11353;
-fp t11349;
-fp t11348;
-fp t11346;
-fp t11341;
-fp t11337;
-fp t11334;
-fp t11333;
-fp t11332;
-fp t11329;
-fp t11327;
-fp t11322;
-fp t11321;
-fp t11320;
-fp t11319;
-fp t11316;
-fp t11308;
-fp t11304;
-fp t11303;
-fp t11302;
-fp t11258;
-fp t11230;
-fp t11229;
-fp t11222;
-fp t11218;
-fp t11214;
-fp t11207;
-fp t11199;
-fp t11197;
-fp t11195;
-fp t11191;
-fp t11182;
-fp t11168;
-fp t11162;
-fp t11157;
-fp t11139;
-fp t11136;
-fp t11133;
-fp t11128;
-fp t11124;
-fp t11118;
-fp t11109;
-fp t11098;
-fp t11095;
-fp t11092;
-fp t11090;
-fp t11086;
-fp t11080;
-fp t11078;
-fp t11070;
-fp t11068;
-fp t11064;
-fp t11062;
-fp t11061;
-fp t11046;
-fp t11035;
-fp t11028;
-fp t11026;
-fp t11022;
-fp t11021;
-fp t11013;
-fp t11009;
-fp t10991;
-fp t10985;
-fp t10981;
-fp t10971;
-fp t10965;
-fp t10957;
-fp t10954;
-fp t10951;
-fp t10948;
-fp t10944;
-fp t10943;
-fp t10937;
-fp t10934;
-fp t10930;
-fp t10906;
-fp t10903;
-fp t10893;
-fp t10892;
-fp t10891;
-fp t10886;
-fp t10883;
-fp t10882;
-fp t10881;
-fp t10879;
-fp t10878;
-fp t10871;
-fp t10868;
-fp t10861;
-fp t10860;
-fp t10855;
-fp t10852;
-fp t10846;
-fp t10842;
-fp t10837;
-fp t10836;
-fp t10833;
-fp t10822;
-fp t10820;
-fp t10817;
-fp t10813;
-fp t10812;
-fp t10809;
-fp t10805;
-fp t10799;
-fp t10793;
-fp t10787;
-fp t10784;
-fp t10782;
-fp t10779;
-fp t10775;
-fp t10771;
-fp t10770;
-fp t10766;
-fp t10764;
-fp t10760;
-fp t10754;
-fp t10750;
-fp t10747;
-fp t10727;
-fp t10726;
-fp t10723;
-fp t10718;
-fp t10715;
-fp t10714;
-fp t10711;
-fp t10706;
-fp t10703;
-fp t10698;
-fp t10697;
-fp t10696;
-fp t10692;
-fp t10689;
-fp t10688;
-fp t10682;
-fp t10676;
-fp t10674;
-fp t10672;
-fp t10662;
-fp t10653;
-fp t10652;
-fp t10644;
-fp t10643;
-fp t10633;
-fp t10626;
-fp t10624;
-fp t10621;
-fp t10616;
-fp t10612;
-fp t10602;
-fp t10599;
-fp t10595;
-fp t10589;
-fp t10588;
-fp t10586;
-fp t10580;
-fp t10578;
-fp t10575;
-fp t10567;
-fp t10566;
-fp t10564;
-fp t10560;
-fp t10559;
-fp t10550;
-fp t10546;
-fp t10541;
-fp t10540;
-fp t10535;
-fp t10528;
-fp t10526;
-fp t10522;
-fp t10521;
-fp t10514;
-fp t10509;
-fp t10507;
-fp t10502;
-fp t10490;
-fp t10485;
-fp t10482;
-fp t10474;
-fp t10473;
-fp t10469;
-fp t10454;
-fp t10451;
-fp t10450;
-fp t10433;
-fp t10429;
-fp t10421;
-fp t10414;
-fp t10413;
-fp t10407;
-fp t10405;
-fp t10396;
-fp t10395;
-fp t10393;
-fp t10391;
-fp t10388;
-fp t10382;
-fp t10380;
-fp t10362;
-fp t10356;
-fp t10347;
-fp t10343;
-fp t10339;
-fp t10338;
-fp t10334;
-fp t10333;
-fp t10323;
-fp t10322;
-fp t10297;
-fp t10294;
-fp t10283;
-fp t10281;
-fp t10259;
-fp t10258;
-fp t10252;
-fp t10239;
-fp t10231;
-fp t10224;
-fp t10206;
-fp t10204;
-fp t10200;
-fp t10198;
-fp t10189;
-fp t10182;
-fp t10177;
-fp t10176;
-fp t10171;
-fp t10170;
-fp t10169;
-fp t10168;
-fp t10159;
-fp t10158;
-fp t10148;
-fp t10141;
-fp t10138;
-fp t10134;
-fp t10123;
-fp t10122;
-fp t10121;
-fp t10117;
-fp t10116;
-fp t10111;
-fp t10110;
-fp t10109;
-fp t10104;
-fp t10103;
-fp t10102;
-fp t10099;
-fp t10098;
-fp t10091;
-fp t10090;
-fp t10084;
-fp t10076;
-fp t10069;
-fp t10065;
-fp t10061;
-fp t10060;
-fp t10059;
-fp t10058;
-fp t10057;
-fp t10056;
-fp t10055;
-fp t10051;
-fp t10050;
-fp t10028;
-fp t10016;
-fp t10013;
-fp t10012;
-fp t10011;
-fp t10008;
-fp t10007;
-fp t10006;
-fp t10003;
-fp t9996;
-fp t9982;
-fp t9981;
-fp t9979;
-fp t9971;
-fp t9967;
-fp t9962;
-fp t9942;
-fp t9934;
-fp t9932;
-fp t9928;
-fp t9917;
-fp t9904;
-fp t9902;
-fp t9887;
-fp t9884;
-fp t9880;
-fp t9869;
-fp t9867;
-fp t9864;
-fp t9863;
-fp t9859;
-fp t9848;
-fp t9844;
-fp t9843;
-fp t9840;
-fp t9838;
-fp t9828;
-fp t9825;
-fp t9821;
-fp t9811;
-fp t9807;
-fp t9804;
-fp t9802;
-fp t9800;
- t11617 = y*y;
- t11615 = y*t11617;
- t12229 = y+t11615;
- t11616 = z*z;
- t12226 = y*t11616;
- t12208 = x*t12226;
- t12030 = t11615*t11616;
- t11977 = x*t12030;
- t12578 = t11977+t12208;
- t11583 = RATIONAL(7.0,9.0);
- t12076 = t11583*t11617;
- t11588 = RATIONAL(-1.0,3.0);
- t11618 = x*x;
- t12061 = t11588*t11618;
- t12577 = t12061+t11618*t12076;
- t11614 = t11616*z;
- t12019 = t11617*t11614;
- t11954 = x*t12019;
- t12242 = z*t11617;
- t12185 = x*t12242;
- t12576 = t12185+t11954;
- t12007 = x*t12229;
- t12037 = t11618*t11616;
- t12575 = t12061+t11583*t12037;
- t12237 = t11614+z;
- t12008 = x*t12237;
- t11317 = RATIONAL(-35.0,192.0);
- t11887 = t11317*t12037;
- t12081 = t11614*t11618;
- t11323 = RATIONAL(49.0,576.0);
- t11753 = t11323*t12081;
- t9845 = y*t11753;
- t12574 = t9845+y*t11887;
- t11350 = RATIONAL(-49.0,288.0);
- t11888 = t11618*t12030;
- t12069 = t11615*t11618;
- t11760 = t11323*t12069;
- t9944 = z*t11760;
- t12573 = t11350*t11888+t9944;
- t11394 = RATIONAL(-49.0,36.0);
- t11769 = t11614*t12069;
- t9983 = t11394*t11769;
- t12148 = t11617*t11616;
- t11934 = x*t12148;
- t12572 = t9983+RATIONAL(125.0,24.0)*t11934;
- t11425 = RATIONAL(-25.0,12.0);
- t10073 = t11425*t11934;
- t11462 = RATIONAL(49.0,36.0);
- t9995 = t11462*t11769;
- t12571 = t10073+t9995;
- t12124 = t11615*t11614;
- t12005 = x*t12124;
- t11357 = RATIONAL(-49.0,216.0);
- t10872 = t11357*t12124;
- t12570 = RATIONAL(245.0,288.0)*t12005+t10872;
- t12231 = x*t11615;
- t11344 = RATIONAL(35.0,216.0);
- t11974 = t11344*t12231;
- t11449 = RATIONAL(7.0,216.0);
- t12032 = t11614*t11449;
- t10901 = t11615*t12032;
- t12569 = t11614*t11974+t10901;
- t11408 = RATIONAL(49.0,48.0);
- t11298 = RATIONAL(-343.0,144.0);
- t11886 = t11618*t12019;
- t12568 = t11408*t12081+t11298*t11886;
- t11445 = RATIONAL(14.0,27.0);
- t12047 = t11445*t11614;
- t10922 = t11615*t12047;
- t11397 = RATIONAL(70.0,27.0);
- t12567 = t11397*t12005+t10922;
- t11574 = RATIONAL(5.0,9.0);
- t12010 = t11617*t11574;
- t11213 = t11616*t12010;
- t11388 = RATIONAL(-14.0,27.0);
- t12014 = t11388*t11614;
- t10973 = t11615*t12014;
- t9966 = x*t10973;
- t12566 = t9966+t11618*t11213;
- t11355 = RATIONAL(49.0,216.0);
- t12087 = t11355*t11614;
- t10856 = t11615*t12087;
- t12565 = RATIONAL(245.0,216.0)*t12005+t10856;
- t12250 = x*z;
- t11556 = RATIONAL(-7.0,18.0);
- t11279 = t11556*t11615;
- t11456 = RATIONAL(49.0,72.0);
- t11956 = z*t12069;
- t9985 = t11456*t11956;
- t12564 = t9985+t11279*t12250;
- t11473 = RATIONAL(5.0,48.0);
- t11345 = RATIONAL(-49.0,576.0);
- t11752 = t11345*t12069;
- t12563 = t11616*t11752+t11473*t11954;
- t12562 = t11408*t12069+t11298*t11888;
- t11498 = RATIONAL(7.0,27.0);
- t12050 = t11615*t11498;
- t11104 = z*t12050;
- t11378 = RATIONAL(35.0,27.0);
- t12230 = z*t11615;
- t12205 = x*t12230;
- t12561 = t11104+t11378*t12205;
- t11549 = RATIONAL(-7.0,48.0);
- t12134 = t11549*t11618;
- t11339 = RATIONAL(49.0,144.0);
- t11749 = t11339*t12037;
- t12560 = (t11749+t12134)*y;
- t11601 = RATIONAL(-1.0,6.0);
- t11818 = t11617*t12037;
- t9940 = x*t10856;
- t12559 = t11601*t11818+t9940;
- t11407 = RATIONAL(-1.0,288.0);
- t11801 = t11407*t12037;
- t11460 = RATIONAL(1.0,576.0);
- t10279 = t11460*t11956;
- t12558 = t11615*t11801+t10279;
- t12214 = x*t11614;
- t12194 = y*t12214;
- t11450 = RATIONAL(-7.0,216.0);
- t12218 = y*t11614;
- t11048 = t11450*t12218;
- t11312 = RATIONAL(-35.0,216.0);
- t12557 = t11048+t11312*t12194;
- t11412 = RATIONAL(98.0,27.0);
- t9968 = t11412*t12005;
- t12556 = t9968+RATIONAL(-35.0,3.0)*t11818;
- t11524 = RATIONAL(-1.0,27.0);
- t12228 = z*t11524;
- t11152 = y*t12228;
- t12555 = t11152+RATIONAL(-25.0,16.0)*t11934;
- t11469 = RATIONAL(-7.0,27.0);
- t11119 = t11469*t12218;
- t11466 = RATIONAL(-35.0,27.0);
- t12554 = t11119+t11466*t12194;
- t11369 = RATIONAL(-5.0,288.0);
- t12110 = t11617*t11369;
- t11941 = x*t12110;
- t11414 = RATIONAL(7.0,576.0);
- t11751 = t11414*t12069;
- t10215 = t11616*t11751;
- t12553 = t11614*t11941+t10215;
- t11610 = RATIONAL(5.0,6.0);
- t12142 = t11610*t11616;
- t11810 = t11617*t12142;
- t12552 = t9983+x*t11810;
- t12093 = t11617*t11618;
- t11776 = t11414*t12093;
- t9954 = t11614*t11776;
- t12551 = t11369*t11977+t9954;
- t11489 = RATIONAL(14.0,9.0);
- t12550 = t9966+t11489*t11818;
- t11383 = RATIONAL(35.0,48.0);
- t11541 = RATIONAL(-7.0,54.0);
- t11925 = t11541*t12214;
- t10367 = t11615*t11925;
- t12549 = t11383*t11818+t10367;
- t11480 = RATIONAL(7.0,48.0);
- t11328 = RATIONAL(-49.0,144.0);
- t11881 = t11328*t12037;
- t12548 = t11615*t11881+t11480*t12069;
- t11453 = RATIONAL(-7.0,576.0);
- t11825 = t11453*t12037;
- t10163 = t11615*t11825;
- t11374 = RATIONAL(5.0,144.0);
- t11793 = t11374*t12019;
- t12547 = t10163+x*t11793;
- t11390 = RATIONAL(-7.0,432.0);
- t11997 = t11390*t12214;
- t11315 = RATIONAL(7.0,1728.0);
- t12095 = t11315*t11614;
- t10869 = t11615*t12095;
- t12546 = t10869+t11615*t11997;
- t12011 = t11617*t11449;
- t10897 = t11614*t12011;
- t9978 = x*t10897;
- t11479 = RATIONAL(-1.0,36.0);
- t11795 = t11479*t12037;
- t10670 = t11615*t11795;
- t12545 = t9978+t10670;
- t11872 = t11328*t12093;
- t12544 = t11480*t12081+t11614*t11872;
- t12543 = t11549*t12069+t11615*t11749;
- t11765 = t11453*t12081;
- t10307 = t11617*t11765;
- t12542 = t11374*t11977+t10307;
- t11602 = RATIONAL(-7.0,6.0);
- t12541 = t11602*t11934+t9995;
- t12540 = RATIONAL(224.0,27.0)*t12005+RATIONAL(-140.0,9.0)*t11818;
- t11510 = RATIONAL(-5.0,72.0);
- t12022 = t11510*t11617;
- t11146 = t11616*t12022;
- t11741 = t11317*t12093;
- t12539 = t11146+t11616*t11741;
- t10909 = t11407*t12242;
- t12029 = t11460*t11618;
- t11924 = y*t12029;
- t10025 = z*t11924;
- t12538 = t11618*t10909+t10025;
- t9888 = x*t10872;
- t11568 = RATIONAL(5.0,12.0);
- t11069 = t11568*t12148;
- t12537 = t9888+t11618*t11069;
- t11548 = RATIONAL(-1.0,48.0);
- t12104 = t11548*t11618;
- t11459 = RATIONAL(7.0,144.0);
- t11885 = t11459*t12093;
- t12536 = (t12104+t11885)*z;
- t11570 = RATIONAL(1.0,18.0);
- t11280 = t11570*t11614;
- t12535 = t11541*t12019+t11280;
- t11431 = RATIONAL(-49.0,54.0);
- t11508 = RATIONAL(7.0,18.0);
- t11283 = t11508*t11615;
- t12534 = t11283+t11431*t12030;
- t11551 = RATIONAL(-1.0,72.0);
- t10459 = t11551*t11956;
- t11528 = RATIONAL(1.0,36.0);
- t12247 = t11528*z;
- t11939 = t11618*t12247;
- t10533 = t11617*t11939;
- t12533 = t10459+t10533;
- t11477 = RATIONAL(-1.0,18.0);
- t11277 = t11477*t11615;
- t11569 = RATIONAL(7.0,54.0);
- t12532 = t11569*t12030+t11277;
- t11518 = RATIONAL(-2.0,27.0);
- t12114 = t11518*t11614;
- t11198 = y*t12114;
- t11529 = RATIONAL(5.0,54.0);
- t12531 = t11529*t12226+t11198;
- t11447 = RATIONAL(-7.0,108.0);
- t10916 = t11447*t12019;
- t10917 = y*t12032;
- t12530 = t10916+t10917;
- t11553 = RATIONAL(-7.0,24.0);
- t11957 = t11569*t12231;
- t10724 = t11614*t11957;
- t12529 = t11553*t11818+t10724;
- t12252 = x*y;
- t11523 = RATIONAL(1.0,54.0);
- t12178 = t11523*t12252;
- t12240 = t11551*y;
- t11979 = t11618*t12240;
- t10717 = z*t11979;
- t12528 = t10717+z*t12178;
- t11550 = RATIONAL(1.0,27.0);
- t12103 = t11550*t11615;
- t11100 = z*t12103;
- t12527 = t11100+t11518*t12242;
- t10927 = RATIONAL(32.0,27.0)*t12124;
- t11417 = RATIONAL(-40.0,27.0);
- t12526 = t10927+t11417*t12019;
- t11389 = RATIONAL(35.0,36.0);
- t11780 = t11389*t12148;
- t11515 = RATIONAL(-8.0,27.0);
- t11959 = t11515*t12214;
- t12525 = t11615*t11959+t11618*t11780;
- t10873 = t11315*t12230;
- t12524 = t10873+t11390*t12205;
- t11429 = RATIONAL(-1.0,108.0);
- t11007 = t11429*t12230;
- t11427 = RATIONAL(5.0,432.0);
- t12125 = t11617*t11427;
- t12523 = z*t12125+t11007;
- t11604 = RATIONAL(-4.0,9.0);
- t11756 = t11604*t12069;
- t11372 = RATIONAL(35.0,54.0);
- t11045 = t11372*t12019;
- t12522 = t11616*t11756+x*t11045;
- t10208 = x*t10922;
- t11576 = RATIONAL(-7.0,9.0);
- t11226 = t11576*t12148;
- t12521 = t10208+t11618*t11226;
- t11384 = RATIONAL(5.0,576.0);
- t12067 = t11617*t11384;
- t11310 = RATIONAL(-7.0,1728.0);
- t12023 = t11310*t11615;
- t10889 = z*t12023;
- t12520 = z*t12067+t10889;
- t10896 = RATIONAL(-32.0,27.0)*t12124;
- t11544 = RATIONAL(40.0,9.0);
- t12519 = t11544*t12005+t10896;
- t11419 = RATIONAL(-5.0,216.0);
- t12024 = t11615*t11528;
- t11828 = t11618*t12024;
- t10671 = t11616*t11828;
- t12518 = t11419*t11954+t10671;
- t11582 = RATIONAL(4.0,9.0);
- t11768 = t11582*t12069;
- t10831 = t11614*t11768;
- t11377 = RATIONAL(-49.0,27.0);
- t12517 = t10831+t11377*t11934;
- t11448 = RATIONAL(1.0,288.0);
- t12043 = t11448*t11617;
- t11043 = t11616*t12043;
- t11416 = RATIONAL(-1.0,864.0);
- t12216 = x*t11416;
- t11990 = t11615*t12216;
- t12516 = t11618*t11043+t11614*t11990;
- t11365 = RATIONAL(35.0,18.0);
- t11983 = y*t12037;
- t11500 = RATIONAL(-14.0,9.0);
- t12006 = y*t12081;
- t10401 = t11500*t12006;
- t12515 = t11365*t11983+t10401;
- t12102 = t11518*t11615;
- t11188 = t11614*t12102;
- t11555 = RATIONAL(5.0,18.0);
- t11958 = t11555*t12214;
- t12514 = t11188+t11615*t11958;
- t12147 = t11601*t11618;
- t11224 = y*t12147;
- t11819 = t11508*t12037;
- t12513 = t11224+y*t11819;
- t11437 = RATIONAL(1.0,432.0);
- t11393 = RATIONAL(-1.0,576.0);
- t11770 = t11393*t12037;
- t12512 = t11437*t11954+t11615*t11770;
- t11542 = RATIONAL(2.0,27.0);
- t12159 = t11542*t11614;
- t11125 = y*t12159;
- t11537 = RATIONAL(-5.0,54.0);
- t12511 = t11125+t11537*t12226;
- t11366 = RATIONAL(-7.0,144.0);
- t11539 = RATIONAL(1.0,48.0);
- t12150 = t11539*t11618;
- t12510 = y*t12150+t11366*t11983;
- t12066 = t11542*t11615;
- t11175 = t11614*t12066;
- t11363 = RATIONAL(10.0,27.0);
- t11986 = t11363*t12231;
- t12509 = t11614*t11986+t11175;
- t11144 = z*t12066;
- t12106 = t11617*t11537;
- t12508 = t11144+z*t12106;
- t10720 = t11614*t11979;
- t11467 = RATIONAL(5.0,192.0);
- t11824 = t11467*t12093;
- t12507 = t10720+t11614*t11824;
- t12245 = y*t11618;
- t12175 = z*t12245;
- t10744 = t11583*t12175;
- t11297 = t11604*z;
- t12506 = t10744+t11297*t12252;
- t11379 = RATIONAL(-98.0,27.0);
- t10053 = t11379*t12005;
- t12505 = t10053+RATIONAL(14.0,3.0)*t11818;
- t11483 = RATIONAL(7.0,36.0);
- t11745 = t11483*t12093;
- t11533 = RATIONAL(-7.0,72.0);
- t10544 = t11533*t11956;
- t12504 = z*t11745+t10544;
- t11835 = t11614*t12010;
- t11613 = RATIONAL(2.0,9.0);
- t10844 = t11613*t12006;
- t12503 = t11618*t11835+t10844;
- t11170 = t11550*t12218;
- t12502 = t11170+t11518*t12226;
- t10342 = t11393*t11956;
- t11482 = RATIONAL(-1.0,96.0);
- t11737 = t11482*t12037;
- t12501 = t11615*t11737+t10342;
- t10591 = t11479*t11956;
- t11186 = t11570*t12030;
- t12500 = t11618*t11186+t10591;
- t12224 = t11613*z;
- t11976 = t11618*t12224;
- t10843 = y*t11976;
- t11474 = RATIONAL(-5.0,27.0);
- t12193 = t11474*t12252;
- t12499 = t10843+z*t12193;
- t11172 = t11533*t12148;
- t12068 = t11523*t11615;
- t11947 = x*t12068;
- t10625 = t11614*t11947;
- t12498 = t11618*t11172+t10625;
- t10825 = t11614*t11756;
- t11409 = RATIONAL(25.0,54.0);
- t12497 = t10825+t11409*t11934;
- t11358 = RATIONAL(1.0,1728.0);
- t12036 = t11615*t11358;
- t10849 = t11614*t12036;
- t11405 = RATIONAL(-1.0,432.0);
- t11953 = t11405*t12214;
- t12496 = t10849+t11615*t11953;
- t11586 = RATIONAL(-5.0,9.0);
- t11750 = t11586*t12037;
- t11777 = t11582*t12081;
- t10773 = y*t11777;
- t12495 = y*t11750+t10773;
- t12040 = t11528*t11614;
- t11758 = t11618*t12040;
- t10537 = t11617*t11758;
- t12223 = x*t11419;
- t11948 = t11615*t12223;
- t12494 = t10537+t11616*t11948;
- t11546 = RATIONAL(-4.0,27.0);
- t12077 = t11546*t11614;
- t11059 = t11615*t12077;
- t11543 = RATIONAL(5.0,27.0);
- t12493 = t11059+t11543*t12030;
- t10848 = t11358*t12218;
- t12492 = t11416*t12019+t10848;
- t10756 = t11613*t11956;
- t11513 = RATIONAL(-5.0,12.0);
- t11833 = t11513*t12037;
- t12491 = t10756+t11615*t11833;
- t12099 = t11617*t11529;
- t11055 = z*t12102;
- t12490 = z*t12099+t11055;
- t11534 = RATIONAL(-7.0,36.0);
- t11065 = t11534*t12019;
- t11165 = t11483*t12030;
- t10686 = t11618*t11165;
- t12489 = t10686+x*t11065;
- t11391 = RATIONAL(5.0,216.0);
- t12090 = t11479*t11618;
- t11966 = y*t12090;
- t10471 = z*t11966;
- t12249 = y*t12250;
- t12488 = t10471+t11391*t12249;
- t11940 = t11483*t12245;
- t10683 = t11533*t12006;
- t12487 = t10683+t11616*t11940;
- t11978 = t11534*t12245;
- t10426 = t11614*t11978;
- t11788 = t11508*t12093;
- t12486 = t10426+t11614*t11788;
- t12108 = t11450*t11617;
- t10999 = t11616*t12108;
- t10648 = t11615*t11758;
- t12485 = t10648+x*t10999;
- t11281 = t11508*t11614;
- t12484 = t11281+t11431*t12019;
- t11371 = RATIONAL(1.0,108.0);
- t10925 = t11371*t12230;
- t12483 = t11186+t10925;
- t10867 = t11310*t12218;
- t11396 = RATIONAL(7.0,864.0);
- t12482 = t10867+t11396*t12019;
- t11486 = RATIONAL(-40.0,9.0);
- t11567 = RATIONAL(32.0,9.0);
- t10505 = t11567*t12006;
- t12481 = t10505+t11486*t11983;
- t11984 = t11391*t12214;
- t11426 = RATIONAL(1.0,216.0);
- t12115 = t11426*t11614;
- t10958 = t11615*t12115;
- t12480 = t11615*t11984+t10958;
- t11581 = RATIONAL(-8.0,9.0);
- t11287 = t11581*t11615;
- t11392 = RATIONAL(56.0,27.0);
- t12479 = t11287+t11392*t12030;
- t10853 = z*t12036;
- t12478 = t10853+t11416*t12030;
- t11505 = RATIONAL(1.0,96.0);
- t11413 = RATIONAL(-7.0,864.0);
- t12107 = t11413*t11614;
- t12001 = x*t12107;
- t10290 = t11615*t12001;
- t12477 = t10290+t11505*t11818;
- t10377 = t11567*t11956;
- t11993 = z*t12093;
- t12476 = t11486*t11993+t10377;
- t12475 = t10591+t11601*t11888;
- t11406 = RATIONAL(-49.0,72.0);
- t10002 = t11406*t12006;
- t12474 = t11281*t12252+t10002;
- t12473 = t10426+t11602*t11886;
- t11589 = RATIONAL(8.0,9.0);
- t11294 = t11589*t11615;
- t11434 = RATIONAL(-56.0,27.0);
- t12472 = t11434*t12030+t11294;
- t12028 = t11447*t11616;
- t11008 = t11615*t12028;
- t11024 = t11449*t12230;
- t12471 = t11008+t11024;
- t11921 = t11393*t12245;
- t10331 = z*t11921;
- t12470 = y*t11737+t10331;
- t11452 = RATIONAL(7.0,108.0);
- t10977 = t11452*t12030;
- t12469 = t11452*t12208+x*t10977;
- t11584 = RATIONAL(-2.0,9.0);
- t12054 = t11618*t11584;
- t11945 = z*t12054;
- t10759 = t11615*t11945;
- t12468 = t10759+t11615*t11750;
- t11517 = RATIONAL(10.0,9.0);
- t12197 = t11517*t12252;
- t10755 = t11576*t12175;
- t12467 = t10755+z*t12197;
- t11398 = RATIONAL(20.0,27.0);
- t11403 = RATIONAL(-16.0,27.0);
- t10923 = t11403*t12218;
- t12466 = t11398*t12226+t10923;
- t12465 = t10537+x*t11008;
- t11607 = RATIONAL(7.0,3.0);
- t12233 = x*t11607;
- t11507 = RATIONAL(28.0,9.0);
- t12464 = t11507*t11954+t11617*t12233;
- t11836 = t11513*t12093;
- t12463 = t11614*t11836+t10844;
- t10994 = t11403*t12230;
- t12462 = t11398*t12242+t10994;
- t11585 = RATIONAL(1.0,3.0);
- t11846 = t11576*t12093;
- t12461 = t11585*t12081+t11614*t11846;
- t11532 = RATIONAL(1.0,72.0);
- t12002 = t11532*t12245;
- t10650 = t11614*t12002;
- t12460 = t11618*t11793+t10650;
- t11471 = RATIONAL(80.0,9.0);
- t10610 = RATIONAL(-64.0,9.0)*t11769;
- t12459 = t10610+t11471*t11886;
- t11789 = t11366*t12030;
- t12458 = t11539*t12069+t11618*t11789;
- t11336 = RATIONAL(-35.0,576.0);
- t10815 = RATIONAL(49.0,1728.0)*t12124;
- t12457 = t11336*t12019+t10815;
- t11361 = RATIONAL(35.0,72.0);
- t10966 = t11361*t12030;
- t10708 = t11618*t11065;
- t12456 = t10708+x*t10966;
- t11478 = RATIONAL(-5.0,18.0);
- t11928 = t11478*t12214;
- t12455 = t11175+t11615*t11928;
- t11594 = RATIONAL(1.0,6.0);
- t12129 = t11594*t11618;
- t12026 = t11556*t11616;
- t11754 = t11618*t12026;
- t12454 = (t12129+t11754)*y;
- t11557 = RATIONAL(-49.0,9.0);
- t12453 = t11607*t12069+t11557*t11888;
- t12176 = t11450*t12252;
- t11173 = t11570*t12019;
- t10481 = t11618*t11173;
- t12452 = t11616*t12176+t10481;
- t11275 = t11570*y;
- t12198 = x*t11275;
- t11980 = z*t11533*t11618;
- t10679 = y*t11980;
- t12451 = z*t12198+t10679;
- t10997 = t11429*t12218;
- t12450 = t10997+t11427*t12226;
- t11813 = t11576*t12037;
- t12449 = t11585*t12069+t11615*t11813;
- t12154 = t11414*t11618;
- t12004 = y*t12154;
- t10106 = z*t12004;
- t11444 = RATIONAL(-1.0,144.0);
- t11266 = t11444*y;
- t12195 = x*t11266;
- t12448 = z*t12195+t10106;
- t11937 = y*t12054;
- t10847 = t11614*t11937;
- t12447 = t10847+t11568*t11886;
- t10127 = t11614*t12004;
- t11262 = t11444*t11614;
- t12446 = t11262*t12252+t10127;
- t11274 = t11570*t11615;
- t12445 = t11274+t11541*t12030;
- t11598 = RATIONAL(-7.0,3.0);
- t11512 = RATIONAL(49.0,9.0);
- t12444 = t11598*t12081+t11512*t11886;
- t11264 = t11366*t11614;
- t11802 = t11617*t11264;
- t12443 = t11539*t12081+t11618*t11802;
- t11871 = t11568*t12037;
- t12442 = t10759+t11615*t11871;
- t10133 = t11614*t11751;
- t12136 = t11444*t11617;
- t10895 = t11616*t12136;
- t12441 = t10133+x*t10895;
- t11235 = z*t12010;
- t10803 = z*t11756;
- t12440 = t11618*t11235+t10803;
- t12017 = t11594*t11616;
- t11743 = t11618*t12017;
- t10424 = y*t11939;
- t12439 = y*t11743+t10424;
- t11558 = RATIONAL(7.0,72.0);
- t10705 = t11558*t12175;
- t11276 = t11477*z;
- t12438 = t10705+t11276*t12252;
- t11285 = t11477*t11614;
- t12437 = t11285+t11569*t12019;
- t12436 = t11165+t11024;
- t11454 = RATIONAL(1.0,144.0);
- t12435 = t10163+t11454*t11954;
- t11571 = RATIONAL(4.0,27.0);
- t12060 = t11571*t11614;
- t11166 = t11615*t12060;
- t12021 = t11615*t11474;
- t12434 = t11616*t12021+t11166;
- t11767 = t11586*t12019;
- t12433 = t10847+t11618*t11767;
- t11411 = RATIONAL(-35.0,18.0);
- t10412 = t11489*t11956;
- t12432 = t10412+t11411*t11993;
- t11250 = z*t12147;
- t12431 = t11250+z*t11788;
- t12164 = t11453*t11618;
- t11963 = z*t12164;
- t10030 = y*t11963;
- t11430 = RATIONAL(7.0,288.0);
- t11785 = t11430*t12037;
- t12430 = y*t11785+t10030;
- t11002 = t11361*t12019;
- t12038 = t11534*t11615;
- t11787 = t11618*t12038;
- t10445 = t11616*t11787;
- t12429 = t10445+x*t11002;
- t11382 = RATIONAL(-1.0,216.0);
- t11017 = t11382*t12230;
- t12117 = t11371*t11617;
- t12428 = t11017+z*t12117;
- t12119 = t11390*t11617;
- t12427 = (t11454+t12119)*z;
- t11611 = RATIONAL(1.0,9.0);
- t11290 = t11611*t11614;
- t12426 = t11469*t12019+t11290;
- t11470 = RATIONAL(-32.0,9.0);
- t10524 = t11470*t12006;
- t12425 = t10524+t11544*t11983;
- t11318 = RATIONAL(-1.0,1728.0);
- t12074 = t11615*t11318;
- t10864 = z*t12074;
- t12424 = t11407*t12030+t10864;
- t10953 = t11449*t12030;
- t10175 = x*t10953;
- t11081 = t11479*t12019;
- t10497 = t11618*t11081;
- t12423 = t10175+t10497;
- t10453 = t11558*t11956;
- t11982 = t11534*t12242;
- t12422 = t10453+t11618*t11982;
- t10732 = z*t11768;
- t12157 = t11586*t11617;
- t11233 = z*t12157;
- t12421 = t10732+t11618*t11233;
- t11968 = t11388*t12231;
- t12420 = x*t12026+t11616*t11968;
- t11575 = RATIONAL(-1.0,9.0);
- t11292 = t11575*t11614;
- t12419 = t11498*t12019+t11292;
- t12059 = RATIONAL(16.0,3.0)*t11618;
- t11461 = RATIONAL(-112.0,9.0);
- t12418 = t11461*t11888+t11615*t12059;
- t11961 = x*t12103;
- t10596 = t11614*t11961;
- t12417 = t11616*t12119+t10596;
- t11256 = t11604*t12019;
- t10962 = t11372*t12030;
- t12416 = t11618*t11256+x*t10962;
- t10549 = t11532*t11956;
- t11747 = t11374*t12037;
- t12415 = t10549+t11615*t11747;
- t12044 = t11556*t11617;
- t11778 = t11618*t12044;
- t12414 = (t11778+t12129)*z;
- t11519 = RATIONAL(5.0,36.0);
- t12179 = t11519*t12252;
- t12413 = t10679+z*t12179;
- t11286 = t11581*t11614;
- t12412 = t11392*t12019+t11286;
- t10480 = t11479*t11769;
- t12045 = t11391*t11616;
- t11034 = t11617*t12045;
- t12411 = t10480+x*t11034;
- t10752 = t11604*t12006;
- t11837 = t11574*t12037;
- t12410 = t10752+y*t11837;
- t12409 = t10756+t11615*t11837;
- t11476 = RATIONAL(-70.0,9.0);
- t12220 = x*RATIONAL(-35.0,6.0);
- t12408 = t11476*t11977+t11616*t12220;
- t11527 = RATIONAL(16.0,9.0);
- t10417 = t11527*t12175;
- t11531 = RATIONAL(-10.0,3.0);
- t11772 = t11531*t12093;
- t12407 = t10417+z*t11772;
- t12406 = t12577*t11614;
- t11367 = RATIONAL(-5.0,432.0);
- t12033 = t11371*t11614;
- t10905 = t11615*t12033;
- t12405 = t11367*t12030+t10905;
- t12404 = t11614*t12059+t11461*t11886;
- t10437 = t11558*t12006;
- t12403 = t11616*t11978+t10437;
- t10691 = t11534*t11769;
- t12402 = t11555*t11934+t10691;
- t11267 = t11454*t11614;
- t10904 = t11390*t12019;
- t12401 = t11267+t10904;
- t11809 = t11366*t12093;
- t12400 = (t12150+t11809)*z;
- t12138 = t11477*t11617;
- t11132 = t11616*t12138;
- t12399 = x*t10901+t11618*t11132;
- t11352 = RATIONAL(245.0,54.0);
- t11347 = RATIONAL(140.0,27.0);
- t11564 = RATIONAL(-20.0,3.0);
- t12398 = t11347*t12208+t11564*t11886+t11352*t11977;
- t11313 = RATIONAL(280.0,27.0);
- t11504 = RATIONAL(-80.0,9.0);
- t11314 = RATIONAL(-140.0,27.0);
- t12397 = t11313*t11977+t11314*t12208+t11504*t11886;
- t12396 = t11504*t11888+t11314*t12185+t11313*t11954;
- t10786 = t11601*t11886;
- t12201 = y*t12223;
- t12395 = t10786+(t12201+t11974)*t11616;
- t11520 = RATIONAL(35.0,9.0);
- t12246 = x*t11617;
- t11932 = t11520*t12246;
- t11343 = RATIONAL(245.0,72.0);
- t11464 = RATIONAL(-35.0,12.0);
- t9999 = t11464*t11888;
- t12394 = t11343*t11954+z*t11932+t9999;
- t12393 = t11347*t12185+t11352*t11954+t11564*t11888;
- t11340 = RATIONAL(35.0,192.0);
- t11867 = t11340*t12093;
- t9923 = t11614*t11867;
- t11335 = RATIONAL(-35.0,288.0);
- t11554 = RATIONAL(-5.0,36.0);
- t12181 = t11554*t12252;
- t10394 = t11616*t12181;
- t12392 = t11335*t11977+t9923+t10394;
- t9997 = t11464*t11886;
- t12391 = t9997+t11343*t11977+t11520*t12208;
- t12137 = t11570*t11617;
- t9846 = t11615*t11887;
- t12390 = t12137*t12250+t11459*t11954+t9846;
- t11428 = RATIONAL(35.0,12.0);
- t9990 = t11428*t11888;
- t12389 = t9990+t11500*t12185+t11394*t11954;
- t11511 = RATIONAL(-7.0,96.0);
- t11757 = t11511*t12093;
- t10486 = t11614*t11757;
- t11338 = RATIONAL(35.0,288.0);
- t11962 = t11338*t12231;
- t12200 = t11369*t12252;
- t12388 = t10486+(t11962+t12200)*t11616;
- t11496 = RATIONAL(-1.0,12.0);
- t9937 = t11615*t11753;
- t12251 = y*z;
- t10854 = t11358*t12251;
- t12387 = t11496*t11934+t9937+t10854;
- t11331 = RATIONAL(35.0,144.0);
- t11783 = t11331*t12037;
- t9831 = t11615*t11783;
- t12141 = t11519*t11617;
- t10545 = t12141*t12250;
- t12386 = t11617*t11928+t9831+t10545;
- t12225 = y*t11382;
- t11018 = z*t12225;
- t9803 = RATIONAL(-343.0,576.0)*t11769;
- t12385 = RATIONAL(5.0,8.0)*t11934+t11018+t9803;
- t12219 = z*t11318;
- t12248 = x*t11616;
- t11926 = t11551*t12248;
- t12384 = t11617*t12219+t9954+t11615*t11926;
- t11325 = RATIONAL(35.0,108.0);
- t12383 = RATIONAL(-245.0,36.0)*t11818+t11325*t12148+t11527*t12005;
- t11289 = t11611*t11615;
- t11922 = x*t11289;
- t10734 = t11614*t11922;
- t11410 = RATIONAL(7.0,432.0);
- t12062 = t11410*t11616;
- t12382 = t11617*t12062+t10734+t11328*t11818;
- t11443 = RATIONAL(-70.0,27.0);
- t9965 = t11443*t12005;
- t12381 = t11411*t12148+t9965+RATIONAL(35.0,3.0)*t11818;
- t11330 = RATIONAL(49.0,108.0);
- t12380 = t11330*t11977+t10786+t12028*t12252;
- t11991 = t11312*t12231;
- t9933 = t11614*t11991;
- t12072 = t11479*t11616;
- t11202 = t11617*t12072;
- t11742 = t11594*t12093;
- t12379 = t9933+t11202+t11616*t11742;
- t11578 = RATIONAL(7.0,6.0);
- t10830 = t11578*t11888;
- t11324 = RATIONAL(-245.0,72.0);
- t12378 = t11361*t12185+t10830+t11324*t11954;
- t11746 = t11331*t12019;
- t9906 = t11618*t11746;
- t10668 = t11616*t12179;
- t12377 = t9906+t10668+t11478*t11977;
- t12376 = RATIONAL(245.0,36.0)*t11818+t11486*t12005+t11397*t12148;
- t11351 = RATIONAL(-245.0,54.0);
- t11612 = RATIONAL(8.0,3.0);
- t12375 = t11351*t11977+t11612*t11886+t11372*t12208;
- t11359 = RATIONAL(-35.0,144.0);
- t12013 = t11618*t11359;
- t11740 = t11617*t12013;
- t9897 = t11614*t11740;
- t11975 = t11477*t12226;
- t12374 = t11616*t11922+x*t11975+t9897;
- t10792 = t11578*t11886;
- t12373 = t11361*t12208+t10792+t11324*t11977;
- t10839 = t11615*t11743;
- t12372 = t11357*t11954+t10839+t12011*t12250;
- t11525 = RATIONAL(-28.0,9.0);
- t10390 = t11525*t11769;
- t11150 = t11515*t12251;
- t12371 = t10390+t11150+RATIONAL(125.0,18.0)*t11934;
- t12145 = t11500*t11616;
- t9987 = t11428*t11886;
- t12370 = t11394*t11977+t9987+t12145*t12252;
- t11799 = t11511*t12037;
- t10603 = t11615*t11799;
- t11923 = t11338*t12214;
- t12369 = t10603+t11617*t11923+z*t11941;
- t10870 = t11331*t12148;
- t10733 = t11583*t12005;
- t12368 = t10870+RATIONAL(-245.0,48.0)*t11818+t10733;
- t12367 = t11351*t11954+t11372*t12185+t11612*t11888;
- t11764 = t11345*t12081;
- t12018 = t11426*t11617;
- t12092 = t11017+z*t12018;
- t12366 = t11617*t11764+t12092+t11473*t11977;
- t9936 = t11614*t11741;
- t11880 = t11459*t12030;
- t12365 = t11616*t12198+t9936+x*t11880;
- t11485 = RATIONAL(-1.0,54.0);
- t12016 = t11485*t11615;
- t11988 = x*t12016;
- t10582 = t11614*t11988;
- t12211 = t11371*y;
- t12088 = t10717+t12211*t12250;
- t11540 = RATIONAL(5.0,72.0);
- t12123 = t11540*t11616;
- t11114 = t11617*t12123;
- t12364 = t10582+t12088+t11618*t11114;
- t10068 = t11365*t12005;
- t12363 = t10068+RATIONAL(-49.0,24.0)*t11818+t11226;
- t10749 = t11576*t12005;
- t12362 = t11172+t10749+RATIONAL(49.0,24.0)*t11818;
- t10865 = y*t12219;
- t12361 = t10133+t10865+x*t11202;
- t10725 = t11602*t11888;
- t12360 = x*t11982+t10725+t11462*t11954;
- t10709 = t11520*t11888;
- t12359 = t11525*t11954+t10709+t11489*t12185;
- t11373 = RATIONAL(-35.0,54.0);
- t10955 = t11373*t12019;
- t12358 = t11373*t12185+t11589*t11888+x*t10955;
- t11360 = RATIONAL(16.0,27.0);
- t11463 = RATIONAL(-35.0,36.0);
- t11307 = RATIONAL(-35.0,108.0);
- t12357 = t11360*t12005+t11463*t11818+t11307*t12148;
- t11433 = RATIONAL(5.0,288.0);
- t12190 = t11433*t12252;
- t11376 = RATIONAL(-7.0,288.0);
- t11029 = t11376*t12019;
- t10100 = t11618*t11029;
- t12356 = t11433*t11977+t10100+t11616*t12190;
- t11291 = t11575*t11615;
- t11995 = x*t11291;
- t10827 = t11614*t11995;
- t12355 = t10999+t10827+t11456*t11818;
- t12139 = t11454*t11617;
- t11559 = RATIONAL(7.0,96.0);
- t11738 = t11559*t12037;
- t10617 = t11615*t11738;
- t12354 = t12139*t12250+x*t11802+t10617;
- t12078 = t11396*t11615;
- t11952 = x*t12078;
- t10114 = t11614*t11952;
- t12353 = t10114+t11548*t11818+t12216*t12251;
- t11438 = RATIONAL(-35.0,48.0);
- t11989 = x*t12050;
- t10443 = t11614*t11989;
- t12352 = t11359*t12148+t11438*t11818+t10443;
- t11049 = t11373*t12030;
- t12351 = t11589*t11886+x*t11049+t11373*t12208;
- t12096 = t11615*t11524;
- t11992 = x*t12096;
- t10639 = t11614*t11992;
- t11759 = t11558*t12093;
- t12350 = t10639+(t11759+t12011)*t11616;
- t11493 = RATIONAL(-35.0,9.0);
- t10504 = t11493*t11888;
- t11503 = RATIONAL(70.0,9.0);
- t12349 = t10504+t11503*t11954+t11493*t12185;
- t10274 = t11615*t11785;
- t12348 = t10274+t12136*t12250+t11444*t11954;
- t11935 = t11410*t12214;
- t10327 = t11615*t11935;
- t12049 = t11407*t11616;
- t10979 = t11617*t12049;
- t12347 = t11617*t11737+t10327+t10979;
- t12042 = t11433*t11617;
- t11739 = t11376*t12037;
- t10291 = t11615*t11739;
- t12346 = t11433*t11954+t10291+t12042*t12250;
- t11495 = RATIONAL(7.0,24.0);
- t12153 = t11615*t11469;
- t12003 = x*t12153;
- t10349 = t11614*t12003;
- t12345 = t11495*t11818+t11558*t12148+t10349;
- t11265 = t11444*t11615;
- t11930 = x*t11265;
- t10939 = t11430*t12019;
- t10041 = t11618*t10939;
- t12344 = t10041+(t11930+t12195)*t11616;
- t11082 = t11477*t12030;
- t10446 = t11618*t11082;
- t12343 = t10446+t12576*t11391;
- t10350 = t11520*t11886;
- t12146 = t11489*t11616;
- t12342 = t11525*t11977+t10350+t12146*t12252;
- t11422 = RATIONAL(5.0,108.0);
- t10931 = t11426*t12226;
- t10986 = t11382*t12218;
- t12089 = t10931+t10986;
- t12341 = t10670+t12089+t11422*t11954;
- t12340 = t11616*t12125+t10639+t11617*t11747;
- t12144 = t11483*t11616;
- t10547 = t11614*t11778;
- t12339 = t12144*t12252+t10547+x*t11165;
- t10690 = t11615*t11819;
- t11370 = RATIONAL(-35.0,72.0);
- t10914 = t11370*t12019;
- t12338 = t10690+t11370*t12185+x*t10914;
- t11798 = t11559*t12093;
- t10531 = t11614*t11798;
- t12236 = x*t11454;
- t11938 = t11616*t12236;
- t12337 = t10531+x*t11789+y*t11938;
- t11987 = t11437*t12231;
- t12073 = t11416*t11616;
- t12336 = t11617*t12073+t11618*t10979+t11614*t11987;
- t10699 = t11615*t11754;
- t11208 = t11483*t12019;
- t12335 = t10699+t11483*t12185+x*t11208;
- t11446 = RATIONAL(-5.0,144.0);
- t11790 = t11446*t12037;
- t12334 = t11550*t11954+t11485*t12185+t11615*t11790;
- t12034 = t11405*t11616;
- t10932 = t11448*t12019;
- t12333 = t11618*t10932+t12034*t12252+t11405*t11977;
- t10392 = t11493*t11886;
- t12332 = t11493*t12208+t11503*t11977+t10392;
- t11185 = RATIONAL(5.0,96.0)*t12148;
- t12234 = t11429*y;
- t10649 = z*t12002;
- t12126 = t10649+t12234*t12250;
- t12331 = t12126+t11618*t11185+t10290;
- t10374 = t11507*t11769;
- t11499 = RATIONAL(-25.0,9.0);
- t12330 = t11152+t10374+t11499*t11934;
- t12329 = t11318*t12226+t11551*t11954+t10215;
- t12328 = t10041+t12578*t11446;
- t11189 = y*t12123;
- t11299 = RATIONAL(-245.0,192.0);
- t12327 = t11189+t11610*t12185+t11383*t11954+t11299*t11888;
- t11071 = t11510*t12226;
- t11115 = t11555*t12246;
- t12326 = t11071+x*t11746+t9846+z*t11115;
- t11154 = t11540*t12242;
- t12325 = t11299*t11886+t11383*t11977+t11154+t12142*t12252;
- t11326 = RATIONAL(-175.0,72.0);
- t12324 = t11233+t9987+t11326*t11977+t11499*t12208;
- t12121 = t11555*t11616;
- t11950 = y*t12121;
- t11180 = z*t12022;
- t12323 = t11331*t11977+t11180+t9936+x*t11950;
- t12322 = t11330*t11954+t11447*t12185+t12475;
- t12321 = t11616*t12067+t11467*t11818+t12546;
- t11943 = t11611*t12246;
- t11933 = z*t12138;
- t11808 = t11616*t12013;
- t9905 = t11615*t11808;
- t12320 = t11614*t11943+t9905+t10544+x*t11933;
- t12031 = RATIONAL(-16.0,3.0)*t11618;
- t11342 = RATIONAL(-280.0,27.0);
- t11442 = RATIONAL(112.0,9.0);
- t12243 = x*t11476;
- t12319 = t11442*t11888+t11615*t12031+t11617*t12243+t11342*t11954;
- t12318 = t12514+(t11740+t12106)*t11616;
- t11560 = RATIONAL(-14.0,3.0);
- t11259 = t11616*t12076;
- t12317 = t11560*t11818+t11259+t12567;
- t10945 = t11429*t12226;
- t11492 = RATIONAL(-5.0,48.0);
- t11309 = RATIONAL(49.0,288.0);
- t12316 = t10945+t11309*t11888+t12576*t11492;
- t12064 = t11617*t11367;
- t12315 = t9906+z*t12064+t11584*t11977+t11611*t12208;
- t12085 = t11617*t11474;
- t12314 = t12085*t12250+t11312*t11954+t12442;
- t12100 = t11528*t11616;
- t11156 = y*t12100;
- t11981 = t11374*t12242;
- t12313 = t11156+t11359*t11954+t10617+x*t11981;
- t11306 = RATIONAL(-49.0,108.0);
- t12312 = t11306*t11977+t11388*t12208+t12447;
- t12082 = t11617*t11419;
- t12311 = t11344*t11954+t12082*t12250+t12475;
- t11424 = RATIONAL(-5.0,576.0);
- t11852 = t11340*t12037;
- t9812 = t11615*t11852;
- t12310 = t11424*t12226+t11575*t12185+t9812+t11533*t11954;
- t12133 = t11617*t11424;
- t11967 = t11575*t12248;
- t12309 = t9923+z*t12133+y*t11967+t11533*t11977;
- t12308 = t11312*t11977+t11616*t12193+t12447;
- t11535 = RATIONAL(5.0,24.0);
- t12213 = x*t11535;
- t12307 = t11617*t12213+t11555*t11954+t12548;
- t12097 = t11513*t11617;
- t11209 = t11616*t12097;
- t12306 = t11114+t11618*t11209+t12569;
- t11972 = t11555*t12231;
- t12305 = t12544+(t12213+t11972)*t11616;
- t12128 = t11617*t11429;
- t10970 = z*t12128;
- t12304 = t11309*t11886+t10970+t12229*t11492*t12248;
- t12239 = x*t11496;
- t12303 = t11575*t11954+t11617*t12239+t12543;
- t12172 = t11617*t11479;
- t11110 = z*t12172;
- t10780 = t11614*t11742;
- t12302 = t11110+t10780+t11422*t12208+t11307*t11977;
- t12301 = t11388*t12185+t11306*t11954+t12442;
- t11385 = RATIONAL(28.0,27.0);
- t12300 = t11583*t12248+t11385*t11977+t12461;
- t11153 = t11528*t12242;
- t12299 = t10531+t11374*t12208+t11153+t11359*t11977;
- t11000 = t11429*t12124;
- t12298 = t11000+t11618*t10870+t11616*t12064+t10827;
- t12297 = x*t12121+t11363*t11977+t12461;
- t11423 = RATIONAL(-5.0,108.0);
- t10959 = y*t12115;
- t12296 = t10945+t10959+t12576*t11423;
- t11362 = RATIONAL(-10.0,27.0);
- t12295 = t11398*t11977+t11362*t12208+t12490;
- t12012 = t11498*t11616;
- t12294 = t11617*t12012+t11500*t11818+t12509;
- t11386 = RATIONAL(49.0,96.0);
- t12293 = t11386*t11886+t11110+t11473*t12208+t11438*t11977;
- t12292 = t11115+t11363*t11954+t12449;
- t11108 = t11616*t12099;
- t12291 = t11617*t11750+t11108+t12509;
- t11272 = t11366*t11615;
- t11971 = x*t11272;
- t10105 = t11614*t11971;
- t12290 = t12236*t12251+t10895+t11480*t11818+t10105;
- t11465 = RATIONAL(-28.0,27.0);
- t12235 = x*t11445;
- t12180 = z*t12235;
- t12289 = t11465*t11954+t11617*t12180+t12409;
- t12288 = x*t12072+t11548*t12081+t11524*t11977+t11614*t11885;
- t12109 = t11543*t11616;
- t12227 = x*t11362;
- t11965 = t11615*t12227;
- t12287 = t11616*t11965+t12109*t12252+t12503;
- t11418 = RATIONAL(-35.0,24.0);
- t11744 = t11418*t12093;
- t12035 = t11614*t11452;
- t10946 = t11615*t12035;
- t12286 = t11114+t10946+t10733+t11616*t11744;
- t10998 = t11382*t12124;
- t11010 = t11616*t12128;
- t11085 = t11616*t12137;
- t12285 = t11614*t11948+t10998+t11010+t11618*t11085;
- t11402 = RATIONAL(1.0,864.0);
- t12130 = t11617*t11402;
- t11969 = t11532*t12226;
- t12284 = x*t11969+z*t12130+t11532*t11977+t10100;
- t11955 = t11616*t12235;
- t12283 = t11465*t11977+y*t11955+t12503;
- t12084 = t11617*t11469;
- t12282 = t11616*t12084+t11406*t11818+t12514;
- t10912 = t11370*t12030;
- t12281 = x*t10912+t11370*t12208+t12486;
- t12212 = t11551*z;
- t11931 = t11617*t12212;
- t12280 = t10603+t11448*t12226+x*t11931+t11558*t11954;
- t11311 = RATIONAL(175.0,72.0);
- t10693 = z*t11787;
- t11455 = RATIONAL(-25.0,72.0);
- t11929 = t11455*t12246;
- t12279 = t10693+t11613*t12226+t11311*t11954+t10725+z*t11929;
- t11107 = y*t12072;
- t10439 = z*t11828;
- t12278 = t11107+t10839+t11422*t12185+t11307*t11954+t10439;
- t12277 = RATIONAL(25.0,18.0)*t12148+t11417*t12249+RATIONAL(-25.0,3.0)*
-t11818+t12567;
- t12276 = t11071+t10917+t11517*t12185+t9999+t11389*t11954;
- t12041 = t11586*t11616;
- t10410 = t11500*t11956;
- t12275 = t11326*t11954+y*t12041+t10410+t9990+t11499*t12185;
- t10419 = t11489*t12006;
- t12274 = t9997+t11180+t11389*t11977+t11616*t12197+t10419;
- t12273 = t11588*t11818+z*t12201+t11085+t12569;
- t12272 = t11311*t11977+t11617*t12224+t11455*t12208+t12473;
- t11949 = t11478*t12242;
- t12271 = t9905+t12511+(t11835+t11949)*x;
- t10989 = t11616*t12211;
- t11816 = t11446*t12019;
- t9949 = t11453*t11956;
- t12270 = t11446*t12185+t10274+x*t11816+t10989+t9949;
- t11960 = t11478*t12226;
- t12269 = t11574*t11977+t9897+x*t11960+t12508;
- t12244 = x*t11437;
- t12177 = z*t12244;
- t12268 = t11539*t11818+t11616*t12139+y*t12177+t12546;
- t12267 = t11325*t11954+t11189+t11363*t12185+t12491;
- t10938 = y*t12033;
- t12266 = t11584*t11954+t11367*t12226+t9831+t10938+z*t11943;
- t11606 = RATIONAL(5.0,3.0);
- t11300 = RATIONAL(-245.0,144.0);
- t11577 = RATIONAL(-5.0,6.0);
- t12265 = t11300*t11888+t11606*t11954+t11577*t12185+t12531;
- t12264 = t11185+t11339*t12005+RATIONAL(-35.0,32.0)*t11818+t12438;
- t12263 = t11577*t12208+t11300*t11886+t11606*t11977+t12490;
- t12262 = t11325*t11977+t11154+t11363*t12208+t12463;
- t11484 = RATIONAL(20.0,9.0);
- t11951 = t11484*t12231;
- t11502 = RATIONAL(-10.0,9.0);
- t12206 = t11502*t12252;
- t12261 = t10392+t12508+(t12206+t11951)*t11616;
- t12260 = t11034+t10734+t11370*t11818+t12438;
- t10915 = t11360*t12218;
- t11481 = RATIONAL(25.0,9.0);
- t11381 = RATIONAL(-20.0,27.0);
- t11514 = RATIONAL(-50.0,9.0);
- t12259 = t11381*t12226+t10915+t10709+t11514*t11954+t11481*t12185;
- t10694 = t11483*t11956;
- t12258 = t11463*t11954+t11156+t10830+t10694+t10545;
- t11522 = RATIONAL(10.0,3.0);
- t11781 = t11522*t12037;
- t12257 = t12499+t10973+t9965+(t11781+t12041)*t11617;
- t12140 = t11554*t11617;
- t11131 = t11616*t12140;
- t12027 = t11450*t11615;
- t10974 = t11614*t12027;
- t12256 = t9933+t11131+t10974+t11618*t11810+t12499;
- t10964 = t11426*t12230;
- t10548 = t11614*t11966;
- t12255 = t10964+t10970+t10548+t10481+t12578*t11423;
- t12254 = t11617*t12109+t11361*t11818+t12413+t12455;
- t11927 = t11617*t12227;
- t12253 = t11398*t11954+z*t11927+t12468+t12531;
- t11293 = t11582*y;
- t12241 = t11550*z;
- t12238 = t11550*y;
- t12232 = t11416*z;
- t12222 = t11584*z;
- t12221 = z*t11542;
- t12217 = x*RATIONAL(-5.0,4.0);
- t11605 = RATIONAL(-5.0,3.0);
- t12215 = x*t11605;
- t12210 = y*t11498;
- t12209 = t9983+t11428*t11934;
- t12207 = t11377*t12205+t10412;
- t10667 = t11483*t11769;
- t12204 = t11370*t11934+t10667;
- t10637 = RATIONAL(64.0,9.0)*t11769;
- t12203 = t10637+RATIONAL(-224.0,27.0)*t12005;
- t12202 = t11571*t12250;
- t12199 = t11546*t12250;
- t12196 = z*t11776+t9949;
- t10592 = t11614*t11940;
- t12192 = t11357*t12194+t10592;
- t12191 = t11543*t12252;
- t12189 = t11449*t12252;
- t12188 = t10693+t11355*t12205;
- t12187 = t11402*t12250;
- t10358 = t11492*t11934;
- t12186 = t9937+t10358;
- t12184 = y*t12244;
- t12183 = t11405*t12250;
- t12182 = t11377*t12194+t10419;
- t11942 = t11357*t12231;
- t12174 = z*t11942+t10694;
- t12173 = t11469*t12252;
- t10840 = z*t11937;
- t12171 = t10840+t12210*t12250;
- t11844 = t11616*t12029;
- t10329 = t11393*t11769;
- t12170 = t11615*t11844+t10329;
- t12169 = t11558*t11983+t10683;
- t12168 = t11612*t11618;
- t10513 = t11618*t11110;
- t12167 = t10513+t10439;
- t12166 = t11615+t11614;
- t10859 = t11318*t12218;
- t12165 = t11358*t12226+t10859;
- t12163 = t10667+t11556*t11934;
- t12162 = t11534*t11616;
- t12161 = t11575*t11618;
- t10811 = t12161*t12251;
- t12160 = t10811+t12221*t12252;
- t10308 = x*t11780;
- t12158 = t10691+t10308;
- t11269 = t11454*t11615;
- t11273 = t11459*t11615;
- t12156 = t11523*t11614;
- t12155 = t11585*t11618;
- t11271 = t11459*t11614;
- t11096 = z*t12096;
- t12152 = t11617*t12241+t11096;
- t10369 = t11483*t11934;
- t12151 = t10369+t10691;
- t11134 = t11524*t12218;
- t12149 = t11134+t11550*t12226;
- t12143 = t10133+t11446*t11934;
- t11284 = t11556*t11614;
- t10563 = z*t11988;
- t12135 = t10439+t10563;
- t12080 = t11396*t11614;
- t10034 = y*t11765;
- t12132 = t10034+t12080*t12252;
- t11027 = t11382*t12242;
- t12131 = t11027+t10964;
- t12127 = t11569*t11616;
- t10234 = t11615*t11765;
- t12122 = t10234+t11532*t11934;
- t12120 = t11533*t11983+t10437;
- t10088 = z*t11751;
- t12086 = t11413*t11615;
- t12118 = t10088+t12086*t12250;
- t12116 = x*t11131+t10667;
- t12113 = t12035*t12252+t10683;
- t12112 = y*t12001+t10127;
- t12111 = t11480*t11618;
- t10345 = t11614*t11921;
- t12105 = t10345+y*t11844;
- t10026 = t11616*t11809;
- t10988 = t11371*t12019;
- t12101 = t10026+t10988;
- t11375 = RATIONAL(49.0,27.0);
- t12098 = t11375*t12205+t10410;
- t11295 = t11589*t11614;
- t12094 = t11485*t11616;
- t12091 = t11615*t11447;
- t12083 = t11485*t11614;
- t11036 = t11616*t12027;
- t10201 = x*t11036;
- t10719 = t12156*t12252;
- t12079 = t10201+t10719;
- t10210 = t11423*t11934;
- t12075 = t10648+t10210;
- t10984 = t11616*t12225;
- t12071 = t10984+t10959;
- t12070 = t10897+t10974;
- t11985 = t11532*t12242;
- t12065 = t11618*t11985+t10459;
- t11451 = RATIONAL(25.0,72.0);
- t12063 = t10691+t11451*t11934;
- t12058 = t11447*t12194+t10437;
- t10858 = t11614*t12074;
- t12057 = t10858+t11358*t12030;
- t12056 = t11578*t11618;
- t12055 = t11602*t11618;
- t10245 = t11452*t11934;
- t12053 = t10480+t10245;
- t10360 = t11528*t11983;
- t12052 = t10360+t10548;
- t12051 = t11541*t11617;
- t12048 = z*t12173+t10843;
- t12046 = t10453+t11617*t11980;
- t11579 = RATIONAL(-8.0,3.0);
- t12039 = t11618*t11579;
- t12025 = t11615*t11519;
- t12020 = t12091*t12250+t10453;
- t12015 = t11375*t12194+t10401;
- t10947 = t11429*t12030;
- t12009 = t10947+t10905;
- t10995 = z*t12027;
- t12000 = t11433*t12231;
- t11999 = t11478*t12231;
- t11998 = t11369*t12231;
- t11996 = t11402*t12214;
- t11196 = t11524*t12226;
- t11994 = t11335*t12214;
- t11973 = x*t11273;
- t11970 = x*t11269;
- t11126 = t11617*t12228;
- t11073 = t11614*t12210;
- t11475 = RATIONAL(8.0,27.0);
- t11964 = t11475*t12214;
- t10919 = z*t12043;
- t11487 = RATIONAL(-20.0,9.0);
- t11936 = t11487*t12214;
- t11920 = t11487*t12231;
- t9872 = y*t11764;
- t11919 = y*t11923+t9872+t11048;
- t9927 = z*t11752;
- t11918 = t9927+z*t11962+t10995;
- t9890 = t11615*t11923;
- t9924 = t11614*t11752;
- t11917 = t10974+t9890+t9924;
- t11916 = t11615*t11994+t9937+t10901;
- t9795 = RATIONAL(343.0,576.0)*t11769;
- t10776 = RATIONAL(-49.0,1728.0)*t12124;
- t11915 = t9795+t10776+t11328*t12005;
- t11914 = t12237*t11617;
- t11913 = t11614*t11973+t10869+t9924;
- t9977 = t11456*t12006;
- t11912 = t9977+t11048+t11284*t12252;
- t11911 = t11378*t12194+t11073+t10401;
- t11910 = t10592+(t12111+t11881)*y;
- t11101 = t11475*t12251;
- t11395 = RATIONAL(40.0,27.0);
- t11509 = RATIONAL(-16.0,9.0);
- t10406 = t11509*t12175;
- t11909 = t11101+t11395*t12249+t10406;
- t11908 = t11104+t11463*t12205+t9985;
- t11907 = t10922+t11411*t12005+t9995;
- t11906 = y*t11799+t10030+t9845;
- t11874 = t11339*t12093;
- t11905 = t10693+(t11874+t12134)*z;
- t11904 = t11614*t11874+t11549*t12081+t10691;
- t11903 = t12229*t11616;
- t11866 = t11505*t12093;
- t11902 = t10025+z*t11866+t9949;
- t11901 = t10694+(t11872+t12111)*z;
- t10884 = y*t12095;
- t11900 = t9872+t10884+t11271*t12252;
- t11380 = RATIONAL(49.0,18.0);
- t11899 = t11380*t11993+z*t12055+t10410;
- t11898 = t10873+t9927+z*t11973;
- t11897 = t11463*t12194+t9977+t11073;
- t11792 = RATIONAL(-25.0,36.0)*t12148;
- t11896 = t11152+x*t11792+t10667;
- t10978 = t11426*t12251;
- t11895 = t10978+t12451;
- t10449 = y*t11758;
- t11894 = t11618*t11975+t10449+t10424;
- t11893 = t10978+t11485*t12249+t10649;
- t11892 = y*t11925+t10917+t10437;
- t11891 = t11569*t12194+t11048+t10683;
- t11890 = z*t11957+t10995+t10544;
- t11889 = y*t12055+t10401+t11380*t11983;
- t11884 = t10345+t11448*t11983+t10331;
- t11883 = t11505*t12037;
- t11882 = t11482*t12093;
- t11145 = z*t12153;
- t11879 = t11145+t11466*t12205+t10412;
- t11878 = t11018+t12402;
- t11877 = t11467*t12037;
- t10363 = t11470*t11956;
- t11497 = RATIONAL(56.0,9.0);
- t11876 = z*t12039+t10363+t11497*t11993;
- t11875 = t10803+t12577*z;
- t11873 = t10752+t12575*y;
- t11870 = t11198+(t12127+t11477)*y;
- t11869 = t10127+t11369*t12194+t10959;
- t11868 = t11144+(t11570+t12051)*z;
- t11354 = RATIONAL(-49.0,432.0);
- t11864 = t11273+t10946+t11354*t12030;
- t11863 = t11598*t12069+t10390+t11512*t11888;
- t11387 = RATIONAL(-49.0,18.0);
- t11862 = z*t12056+t10412+t11387*t11993;
- t10023 = t11406*t11956;
- t11861 = t10023+t11389*t12205+t11145;
- t11860 = t11454*y+t11390*t12226+t10938;
- t11859 = t11018+t12428;
- t11858 = t11616*t12016+t10925+t10905;
- t11004 = t11360*t12230;
- t11857 = t11582*z+t11004+t11465*t12242;
- t10875 = t11614*t12023;
- t11856 = t10932+t10848+t10875;
- t11855 = t11276+t11569*t12242+t11055;
- t11201 = t11534*t12030;
- t11854 = t10390+t12444;
- t11853 = t11188+t10831+t11614*t11965;
- t11177 = t11616*t12025;
- t11102 = t11554*t12030;
- t11850 = t11119+t10002+t11389*t12194;
- t11849 = t11614*t12190+t10986+t10034;
- t11468 = RATIONAL(20.0,3.0);
- t11848 = t11468*t12093;
- t11436 = RATIONAL(-5.0,192.0);
- t11847 = t11436*t12093;
- t11845 = t10773+(t11813+t12155)*y;
- t11843 = t11393*t12093;
- t11842 = t11436*t12037;
- t11841 = t11468*t12037;
- t11840 = t10417+t10363+t11544*t11993;
- t10983 = t11448*t12030;
- t11839 = t10853+t10983+t10875;
- t11179 = z*t12238;
- t11838 = t11179+t10840+z*t12191;
- t11364 = RATIONAL(49.0,54.0);
- t11834 = t11364*t12019+t11284+t10973;
- t11832 = t10915+t11293+t11465*t12226;
- t11831 = t11607*t12081+t10374+t11557*t11886;
- t11830 = t10831+t12433;
- t10898 = t11410*t12030;
- t10899 = t11382*t12030;
- t11829 = t10732+(t12155+t11846)*z;
- t11827 = y*t12104+t10548+t11459*t11983;
- t11826 = t10480+t12500;
- t10941 = t11390*t12030;
- t11823 = t10374+t12453;
- t11822 = t11265+t11000+t10898;
- t10992 = t11410*t12019;
- t11821 = t11262+t11000+t10992;
- t11820 = t10825+t12575*t11615;
- t11305 = RATIONAL(49.0,432.0);
- t11030 = t11614*t12091;
- t11817 = t11272+t11030+t11305*t12030;
- t11815 = t10927+t11295+t11434*t12019;
- t11814 = t11289+t11469*t12030+t11166;
- t11812 = t11029+t10867+t10815;
- t11561 = RATIONAL(-56.0,9.0);
- t11811 = z*t12168+t11561*t11993+t10377;
- t11807 = t11497*t11983+y*t12039+t10524;
- t11806 = t10864+t10858+t11402*t12030;
- t11805 = t11614*t12000+t10234+t10998;
- t11804 = t10453+t11024+t11541*t12205;
- t11803 = t11364*t12030+t11279+t10973;
- t11800 = t10127+t10884+y*t11997;
- t10762 = t11611*t12175;
- t11797 = t11179+t10762+y*t12199;
- t11796 = y*t12168+t11561*t11983+t10505;
- t11794 = t11179+z*t12181+t10705;
- t11183 = t11554*t12019;
- t11791 = t11269+t10941+t10905;
- t11786 = t11617*t12029;
- t11784 = t10023+t11283*t12250+t11024;
- t11782 = t11059+t11615*t12012+t11291;
- t11779 = t11617*t12034;
- t11775 = t10088+z*t11998+t10964;
- t11774 = t11305*t12019+t11264+t11030;
- t11099 = t11519*t12019;
- t11773 = t11271+t10946+t11354*t12019;
- t11105 = RATIONAL(-5.0,96.0)*t12148;
- t11106 = t11617*t12100;
- t11088 = t11616*t12051;
- t11066 = t11477*t12019;
- t10462 = t11618*t11066;
- t11771 = t10648+t10462+t10449;
- t11041 = t11452*t12019;
- t11766 = t10825+t12406;
- t11033 = t11382*t12019;
- t11763 = t11125+t11275+t11541*t12226;
- t11762 = RATIONAL(-25.0,48.0)*t12148;
- t10277 = t11460*t11769;
- t10021 = t11614*t11924;
- t11006 = t11407*t12019;
- t11761 = t10277+t10021+t11618*t11006;
- t11005 = t11616*t12130;
- t11755 = y*t12056+t11387*t11983+t10419;
- t10963 = t11450*t12019;
- t10956 = t11616*t12042;
- t11421 = RATIONAL(35.0,24.0);
- t11748 = t11421*t12037;
- t11736 = x*t11903;
- t11735 = x*t11914;
- t11734 = t11517+t11564*t11618;
- t11545 = RATIONAL(-1.0,24.0);
- t11733 = t11545*t11618+t11551;
- t11732 = t11473+RATIONAL(5.0,16.0)*t11618;
- t11731 = t11431*t11617+t11508;
- t11730 = t11519+t11568*t11618;
- t11729 = t11454+t12150;
- t11530 = RATIONAL(1.0,24.0);
- t11728 = RATIONAL(-7.0,8.0)*t11618+t11530;
- t11727 = t11532+t11553*t11618;
- t11726 = RATIONAL(35.0,16.0)*t11618+t11492;
- t11725 = t11477+t12134;
- t11724 = t11428*t11618+t11554;
- t11723 = RATIONAL(2.0,1.0)*t11618+t11588;
- t11722 = t11585+RATIONAL(7.0,8.0)*t11618;
- t11721 = t11444+t12111;
- t11719 = t11431*t11616+t11508;
- t11718 = t11570+t12061;
- t11717 = RATIONAL(-5.0,1.0)*t11618+t11610;
- t11591 = RATIONAL(2.0,3.0);
- t11716 = t11575+t11591*t11618;
- t11715 = t11611+t11495*t11618;
- t11714 = t11545+RATIONAL(-1.0,8.0)*t11618;
- t11713 = RATIONAL(-35.0,16.0)*t11618+t11577;
- t11711 = t11502+t11464*t11618;
- t11710 = x*t10916+t10671+t12053;
- t11709 = t10625+t11617*t11790+t12411;
- t10199 = x*t10956;
- t11708 = t10199+t10234+t11436*t11818+t10114;
- t10093 = x*t11779;
- t11707 = t10093+t10277+t11437*t11977+t11614*t11843;
- t10115 = t11459*t11818;
- t11706 = t10582+t10115+t12485;
- t11705 = t11615*t11938+t10307+t12441;
- t10642 = t11614*t11745;
- t11704 = t10642+x*t11201+t12151;
- t10597 = t12140*t12250;
- t11404 = RATIONAL(25.0,96.0);
- t9972 = t11404*t11934;
- t11703 = t10597+t9972+t11335*t11954+t10544+t9812+t9924;
- t11702 = RATIONAL(-5.0,2.0)*t11818+RATIONAL(343.0,216.0)*t12005+t12048+
-t12209;
- t9837 = RATIONAL(-175.0,24.0)*t11934;
- t11701 = t11365*t12148+t9837+RATIONAL(245.0,48.0)*t11818+t11907;
- t11700 = t11355*t11977+t12012*t12252+t12204+t12463;
- t11699 = t11355*t11954+t11498*t12185+t12204+t12491;
- t11698 = t12204+t12455+(t12127+t11749)*t11617;
- t11697 = t11340*t11818+t11616*t12133+t10875+t10105+t12186;
- t9918 = RATIONAL(490.0,27.0)*t11934;
- t11696 = t9918+t11442*t11886+t11616*t12243+t11342*t11977+t11614*t12031+
-t10610;
- t11695 = t11106+t11617*t11738+t10358+t11916;
- t11694 = RATIONAL(-49.0,864.0)*t12005+RATIONAL(5.0,32.0)*t11818+t12088+
-t12186;
- t9857 = RATIONAL(-350.0,27.0)*t11934;
- t11693 = t11443*t12148+t9857+RATIONAL(-160.0,27.0)*t12005+t10896+t10637+
-RATIONAL(140.0,9.0)*t11818;
- t11692 = t11577*t11818+t9940+t12158+t12171;
- t9823 = RATIONAL(-175.0,18.0)*t11934;
- t11691 = t9823+t10053+t11392*t12249+t10374+t10406+RATIONAL(25.0,3.0)*
-t11818;
- t11690 = t9888+t10471+t11585*t11818+z*t12189+t12163;
- t10398 = t11616*t11932;
- t11689 = t9968+t10390+t11616*t11772+t10398+t12171;
- t9824 = RATIONAL(245.0,18.0)*t11934;
- t11688 = t11617*t12220+t9824+t11476*t11954+t11863;
- t11687 = t11615*t11967+t10369+t11616*t12239+t11904;
- t11686 = t12151+t10780+t10449+(t12189+t11942)*t11616;
- t10594 = t11530*t11934;
- t11685 = t10594+t11043+t11616*t11757+t11913;
- t11684 = t12162*t12252+t11462*t11977+t12473+t12541;
- t11683 = t11535*t11818+t10367+t12116+t12126;
- t11682 = x*t11099+t10445+t12071+t12116;
- t11681 = t11170+t11196+t10686+t11614*t11929+t12063;
- t11680 = t11616*t12178+x*t10898+t10650+t11614*t11847+t12143;
- t10254 = t11378*t11934;
- t11679 = t10825+t10208+t10254+t11502*t11818+t12048;
- t11678 = t10720+t11616*t11961+t11618*t11816+t12094*t12252+t12075;
- t11677 = t10708+x*t11177+t12116+t12131;
- t10153 = t11364*t11934;
- t11676 = t10153+t11388*t11954+x*t12044+t11820;
- t10268 = t11373*t11934;
- t11675 = t11088+t11618*t11259+t10268+t11853;
- t11674 = t10762+t11618*t11762+t11518*t12249+t10724+t12063;
- t10348 = t11426*t11934;
- t11673 = t10342+t10348+t11618*t10983+t10329+(t12183+t11953)*t11617;
- t11672 = t10549+t11615*t11842+t11523*t12185+x*t10992+t12143;
- t11671 = t11614*t11866+t11616*t12184+x*t10941+t10021+t12122;
- t11670 = t11614*t11998+t10958+t11616*t12117+t11617*t11785+t12143;
- t11669 = t10831+t11445*t11954+t12084*t12250+t10268+t12468;
- t10587 = t11557*t11934;
- t11668 = t11616*t12233+t11507*t11977+t10587+t11831;
- t11667 = t11005+t11614*t11970+t10849+t11617*t11739+t12122;
- t11666 = t10497+t11422*t11977+t12075+t12092;
- t11665 = x*t12076+t11385*t11954+t12449+t12517;
- t11664 = t10210+t11771+t12045*t12007;
- t10440 = x*t11088;
- t11663 = t10648+t10440+t10446+t11452*t12185+t10439+x*t11041;
- t10243 = x*t10963;
- t11662 = t10243+t12108*t12250+t10245+t11826;
- t11661 = t11616*t12173+t10268+t11615*t11955+t11830;
- t11660 = x*t12172+t11548*t12069+t11618*t11880+t11524*t11954+t12053;
- t11659 = x*t10904+t10279+t11617*t12177+t11615*t11883+t12122;
- t11658 = t11614*t11927+t11543*t12185+t12409+t12497;
- t11657 = t10642+t11126+t11100+t11455*t11977+t12063;
- t11656 = t10068+t11101+t10744+z*t12206+t10973+RATIONAL(-25.0,18.0)*t12148
-+RATIONAL(-175.0,48.0)*t11818+t12572;
- t11655 = RATIONAL(35.0,32.0)*t11818+t11069+t9795+t10856+RATIONAL(-245.0,
-288.0)*t12005+t12413+t12555;
- t11441 = RATIONAL(-49.0,48.0);
- t11301 = RATIONAL(343.0,144.0);
- t11654 = t11616*t12217+t11441*t12081+t11605*t11977+t11301*t11886+t11868+
-t12209;
- t11653 = t11441*t12069+t11301*t11888+t11617*t12217+t11605*t11954+t11763+
-t12209;
- t11652 = RATIONAL(175.0,48.0)*t11818+t11179+t11030+t10755+t11293*t12250+
-t10749+RATIONAL(-25.0,144.0)*t12148+t12571;
- t10673 = t11535*t11934;
- t11651 = t10978+t11549*t11818+t10106+t11132+t10673+z*t12200+t11917;
- t11590 = RATIONAL(5.0,2.0);
- t11650 = t11209+t11590*t11818+RATIONAL(-245.0,216.0)*t12005+t10872+t11838
-+t12571;
- t10317 = x*t11762;
- t11649 = RATIONAL(35.0,96.0)*t11818+t11616*t12141+t10317+t11794+t11916;
- t11648 = t11107+t11438*t11954+t10917+t11473*t12185+t11386*t11888+t9944+
-t12385;
- t11647 = RATIONAL(-5.0,32.0)*t11818+t11305*t12005+t11105+t10776+t10673+
-t9924+t11893;
- t11646 = RATIONAL(-35.0,96.0)*t11818+t10956+t10673+t11895+t11913;
- t11506 = RATIONAL(25.0,6.0);
- t11552 = RATIONAL(50.0,9.0);
- t11645 = t9823+t11385*t12242+t11506*t12248+t11552*t11977+t11297+t10994+
-t11831;
- t11644 = RATIONAL(25.0,48.0)*t11818+t10946+t10811+RATIONAL(25.0,144.0)*
-t12148+t10349+y*t12202+t11896;
- t11643 = t12543+t11870+t12158+(t11767+t12097)*x;
- t11642 = t9823+t11506*t12246+t11604*y+t11385*t12226+t10923+t11552*t11954+
-t11823;
- t11641 = t11513*t12248+t11586*t11977+t10308+t11855+t11904;
- t11640 = t11444*z+t11410*t12242+x*t12017+t11613*t11977+t11007+t12163+
-t12544;
- t11639 = t11004+t11381*t12242+t10350+t11514*t11977+t10419+t11481*t12208+
-t12371;
- t11638 = t10073+t11213+t11617*t11748+t11794+t11907;
- t11637 = t10978+t10792+t11463*t11977+t11153+t10668+t10995+t10592+t12552;
- t11636 = x*t12157+t10254+t11381*t11954+t11763+t11820;
- t11635 = y*t12062+t11266+t11594*t12246+t10997+t11613*t11954+t12163+t12548
-;
- t11634 = t10486+t10919+t10889+t11558*t11977+y*t11926+t10034+t12387;
- t11633 = t10690+t10597+x*t11183+t10693+t10986+t10989+t11878;
- t11565 = RATIONAL(-5.0,24.0);
- t11632 = t11146+t11030+t11565*t11818+t10443+t11878+t12528;
- t11631 = t11870+t10398+t11863+(t11936+t12215)*t11617;
- t11630 = t11381*t11977+x*t12041+t10254+t11766+t11868;
- t10665 = x*t11108;
- t11629 = t10480+t11616*t12082+t11000+t10596+t11618*t11146+t10665+t11893;
- t10186 = RATIONAL(-25.0,27.0)*t11934;
- t11628 = t10186+t11616*t12085+t11517*t11818+t11838+t11853;
- t11627 = x*t11102+t10394+t11859+t12402+t12486;
- t11626 = t10547+t11096+t11617*t12221+t10592+t11896+t12578*t11451;
- t11625 = t11134+t10699+t11896+t11542*t12226+t10694+t12576*t11451;
- t11624 = t10504+t11502*t12185+t10410+t11484*t11954+t12330+t12511;
- t10432 = x*t11114;
- t11623 = t11616*t12110+t10432+t10327+t10234+t11018+t11618*t11105+t10875+
-t12528;
- t11622 = t11855+t10398+t11854+(t12215+t11920)*t11616;
- t11621 = t11402*t12226+t10088+x*t11985+t10291+t10859+t11532*t11954+t12361
-;
- t11609 = RATIONAL(1.0,2.0);
- t11603 = RATIONAL(1.0,8.0);
- t11597 = RATIONAL(4.0,3.0);
- t11593 = RATIONAL(-1.0,4.0);
- t11592 = RATIONAL(-2.0,1.0);
- t11587 = RATIONAL(-4.0,3.0);
- t11580 = RATIONAL(-2.0,3.0);
- t11573 = RATIONAL(5.0,1.0);
- t11566 = RATIONAL(98.0,9.0);
- t11562 = RATIONAL(-28.0,3.0);
- t11538 = RATIONAL(1.0,12.0);
- t11536 = RATIONAL(28.0,3.0);
- t11526 = RATIONAL(-5.0,16.0);
- t11521 = RATIONAL(-25.0,6.0);
- t11501 = RATIONAL(25.0,8.0);
- t11490 = RATIONAL(7.0,12.0);
- t11488 = RATIONAL(-7.0,12.0);
- t11457 = RATIONAL(-25.0,54.0);
- t11440 = RATIONAL(-80.0,27.0);
- t11435 = RATIONAL(-49.0,96.0);
- t11432 = RATIONAL(-49.0,12.0);
- t11420 = RATIONAL(-25.0,96.0);
- t11401 = RATIONAL(80.0,27.0);
- t11399 = RATIONAL(25.0,12.0);
- t11368 = RATIONAL(49.0,12.0);
- t11356 = RATIONAL(-200.0,27.0);
- t11353 = RATIONAL(392.0,27.0);
- t11349 = RATIONAL(-175.0,96.0);
- t11348 = RATIONAL(-35.0,432.0);
- t11346 = RATIONAL(175.0,54.0);
- t11341 = RATIONAL(-100.0,27.0);
- t11337 = RATIONAL(196.0,27.0);
- t11334 = RATIONAL(35.0,576.0);
- t11333 = RATIONAL(100.0,27.0);
- t11332 = RATIONAL(-175.0,54.0);
- t11329 = RATIONAL(175.0,96.0);
- t11327 = RATIONAL(-112.0,27.0);
- t11322 = RATIONAL(-196.0,27.0);
- t11321 = RATIONAL(343.0,54.0);
- t11320 = RATIONAL(200.0,27.0);
- t11319 = RATIONAL(112.0,27.0);
- t11316 = RATIONAL(35.0,432.0);
- t11308 = RATIONAL(-343.0,54.0);
- t11304 = RATIONAL(-392.0,27.0);
- t11303 = RATIONAL(245.0,144.0);
- t11302 = RATIONAL(245.0,192.0);
- t11258 = t11584*t12226;
- t11230 = t11574*t12226;
- t11229 = t11582*t12030;
- t11222 = t11582*t12019;
- t11218 = t11617*t12222;
- t11214 = t11604*t12030;
- t11207 = t11529*t12019;
- t11199 = t11571*t12019;
- t11197 = t11571*t12030;
- t11195 = t11537*t12030;
- t11191 = t11540*t12030;
- t11182 = t11523*t12030;
- t11168 = t11546*t12019;
- t11162 = t11502*t12030;
- t11157 = t11616*t12024;
- t11139 = t11528*t12019;
- t11136 = t11540*t12019;
- t11133 = t11518*t12019;
- t11128 = t11518*t12030;
- t11124 = t11517*t12030;
- t11118 = t11474*t12019;
- t11109 = t11479*t12030;
- t11098 = t11485*t12019;
- t11095 = t11542*t12030;
- t11092 = t11542*t12019;
- t11090 = t11529*t12030;
- t11086 = t11517*t12019;
- t11080 = t11543*t12019;
- t11078 = t11537*t12019;
- t11070 = t11510*t12030;
- t11068 = t11502*t12019;
- t11064 = t11546*t12030;
- t11062 = t11510*t12019;
- t11061 = t11523*t12019;
- t11046 = y*t12073;
- t11035 = y*t12049;
- t11028 = t11424*t12030;
- t11026 = t11413*t12019;
- t11022 = t11367*t12019;
- t11021 = t11384*t12019;
- t11013 = t11426*t12030;
- t11009 = t11614*t12018;
- t10991 = t11371*t12030;
- t10985 = t11395*t12019;
- t10981 = t11376*t12030;
- t10971 = t11396*t12030;
- t10965 = t11395*t12030;
- t10957 = t11427*t12019;
- t10954 = t11384*t12030;
- t10951 = t11384*t12226;
- t10948 = t11413*t12030;
- t10944 = t11429*t12019;
- t10943 = t11424*t12019;
- t10937 = t11417*t12030;
- t10934 = t11430*t12030;
- t10930 = t11427*t12030;
- t10906 = t11402*t12019;
- t10903 = t11617*t12232;
- t10893 = t11358*t12019;
- t10892 = t11316*t12030;
- t10891 = t11358*t12242;
- t10886 = t11315*t12030;
- t10883 = t11310*t12019;
- t10882 = t11315*t12019;
- t10881 = t11336*t12030;
- t10879 = t11318*t12019;
- t10878 = t11316*t12019;
- t10871 = t11616*t12023;
- t10868 = t11348*t12019;
- t10861 = t11334*t12030;
- t10860 = t11334*t12019;
- t10855 = t11348*t12030;
- t10852 = t11318*t12030;
- t10846 = t11617*t11945;
- t10842 = t11604*t11983;
- t10837 = t11617*t11777;
- t10836 = t11613*t11983;
- t10833 = t11294*t12250;
- t10822 = t11581*t11888;
- t10820 = z*t11922;
- t10817 = t11604*t11993;
- t10813 = t11617*t11976;
- t10812 = t11581*t11886;
- t10809 = t11295*t12252;
- t10805 = t11597*t11983;
- t10799 = t11290*t12252;
- t10793 = t11286*t12252;
- t10787 = t11617*t11250;
- t10784 = t11597*t11993;
- t10782 = z*t11742;
- t10779 = t11579*t11888;
- t10775 = t11287*t12250;
- t10771 = t11587*t11993;
- t10770 = t11579*t11886;
- t10766 = t11616*t11937;
- t10764 = t11587*t11983;
- t10760 = t11582*t11993;
- t10754 = z*t11995;
- t10750 = t11616*t11224;
- t10747 = t11582*t11983;
- t10727 = t11292*t12252;
- t10726 = t11616*t11768;
- t10723 = t11615*t12202;
- t10718 = t11614*t12191;
- t10715 = z*t11972;
- t10714 = x*t11073;
- t10711 = z*t12003;
- t10706 = t11614*t12181;
- t10703 = z*t11759;
- t10698 = z*t11920;
- t10697 = t11614*t12193;
- t10696 = z*t11836;
- t10692 = t11484*t12194;
- t10689 = t11568*t11993;
- t10688 = t11555*t11993;
- t10682 = t11280*t12252;
- t10676 = t11496*t11983;
- t10674 = t12077*t12252;
- t10672 = y*t11738;
- t10662 = t11570*t11983;
- t10653 = z*t11992;
- t10652 = y*t11795;
- t10644 = t11471*t11888;
- t10643 = y*t11964;
- t10633 = t11543*t12205;
- t10626 = z*t11961;
- t10624 = z*t11947;
- t10621 = t11538*t11993;
- t10616 = t11618*t11960;
- t10612 = t12083*t12252;
- t10602 = t11277*t12250;
- t10599 = t11285*t12252;
- t10595 = x*t11170;
- t10589 = y*t11928;
- t10588 = t11614*t12179;
- t10586 = t11509*t12005;
- t10580 = y*t11936;
- t10578 = z*t11999;
- t10575 = t11618*t11950;
- t10567 = t11488*t11993;
- t10566 = y*t11883;
- t10564 = x*t11119;
- t10560 = z*t11882;
- t10559 = t11616*t11979;
- t10550 = t11496*t11993;
- t10546 = t11614*t11882;
- t10541 = z*t11798;
- t10540 = t11274*t12250;
- t10535 = t11614*t11848;
- t10528 = x*t11134;
- t10526 = t11538*t11983;
- t10522 = t11615*t11964;
- t10521 = y*t11958;
- t10514 = t11490*t11993;
- t10509 = z*t11757;
- t10507 = z*t11951;
- t10502 = t11488*t11983;
- t10490 = t12021*t12250;
- t10485 = t11490*t11983;
- t10482 = t11475*t12205;
- t10474 = y*t11959;
- t10473 = t11618*t11931;
- t10469 = t11570*t11993;
- t10454 = t11618*t11933;
- t10451 = t11554*t12205;
- t10450 = t11565*t11983;
- t10433 = z*t11989;
- t10429 = y*t11871;
- t10421 = y*t11833;
- t10414 = t11531*t11983;
- t10413 = t11618*t11969;
- t10407 = t11522*t11993;
- t10405 = y*t11781;
- t10396 = t11535*t11983;
- t10395 = t11565*t11993;
- t10393 = t11618*t11949;
- t10391 = t11535*t11993;
- t10388 = t12025*t12250;
- t10382 = t11615*t11841;
- t10380 = t12060*t12252;
- t10362 = t11615*t12199;
- t10356 = t11515*t12205;
- t10347 = t11615*t12187;
- t10343 = y*t11996;
- t10339 = t11615*t11996;
- t10338 = y*t12187;
- t10334 = t11362*t12194;
- t10333 = t11618*t10919;
- t10323 = z*t11824;
- t10322 = t11410*t12205;
- t10297 = y*t11790;
- t10294 = x*t10997;
- t10283 = z*t11847;
- t10281 = z*t12000;
- t10259 = t11617*t11963;
- t10258 = z*t12190;
- t10252 = z*t11968;
- t10239 = t11618*t11981;
- t10231 = t11414*t11983;
- t10224 = t11446*t11993;
- t10206 = x*t10938;
- t10204 = t11615*t12180;
- t10200 = z*t11987;
- t10198 = t11435*t11886;
- t10189 = x*t10925;
- t10182 = t11391*t12205;
- t10177 = t12014*t12252;
- t10176 = z*t11986;
- t10171 = y*t11770;
- t10170 = z*t11786;
- t10169 = t11614*t11786;
- t10168 = t11614*t12184;
- t10159 = x*t10917;
- t10158 = t11403*t12005;
- t10148 = x*t11024;
- t10141 = t11419*t12194;
- t10138 = y*t11747;
- t10134 = z*t11971;
- t10123 = t11440*t12194;
- t10122 = t11614*t11930;
- t10121 = t11264*t12252;
- t10117 = z*t11970;
- t10116 = z*t11952;
- t10111 = t11416*t12194;
- t10110 = y*t11739;
- t10109 = z*t11965;
- t10104 = z*t11948;
- t10103 = t11376*t11993;
- t10102 = t11267*t12252;
- t10099 = z*t11843;
- t10098 = z*t11990;
- t10091 = t12047*t12252;
- t10090 = z*t11930;
- t10084 = t11365*t11993;
- t10076 = y*t11984;
- t10069 = t11411*t11983;
- t10065 = t11435*t11888;
- t10061 = z*t12176;
- t10060 = x*t10974;
- t10059 = x*t11048;
- t10058 = t11615*t11877;
- t10057 = x*t11007;
- t10056 = y*t11935;
- t10055 = y*t11842;
- t10051 = y*t11877;
- t10050 = x*t10995;
- t10028 = t11430*t11993;
- t10016 = t11363*t12194;
- t10013 = t11401*t12194;
- t10012 = y*t11801;
- t10011 = y*t12183;
- t10008 = t11421*t11993;
- t10007 = y*t11748;
- t10006 = t11615*t12183;
- t10003 = y*t11825;
- t9996 = t11434*t12249;
- t9982 = y*t11953;
- t9981 = t11418*t11983;
- t9979 = z*t11744;
- t9971 = t11452*t12205;
- t9967 = t11440*t12205;
- t9962 = t11401*t12205;
- t9942 = t11335*t12205;
- t9934 = z*t11741;
- t9932 = z*t11991;
- t9928 = z*t11867;
- t9917 = RATIONAL(160.0,27.0)*t12005;
- t9904 = t11331*t11993;
- t9902 = z*t11740;
- t9887 = t11319*t12194;
- t9884 = z*t11974;
- t9880 = y*t11852;
- t9869 = t11616*t11760;
- t9867 = t11327*t12194;
- t9864 = RATIONAL(49.0,864.0)*t12005;
- t9863 = t11344*t12194;
- t9859 = y*t11808;
- t9848 = t11350*t11886;
- t9844 = y*t11994;
- t9843 = t11354*t12005;
- t9840 = t12087*t12252;
- t9838 = y*t11783;
- t9828 = t11327*t12205;
- t9825 = t11319*t12205;
- t9821 = t11617*t11753;
- t9811 = t11303*t11886;
- t9807 = t11303*t11888;
- t9804 = t11302*t11888;
- t9802 = t11302*t11886;
- t9800 = RATIONAL(-343.0,216.0)*t12005;
- coeffs_dx->coeff_m2_m2_m2 = t11761+t9982+t10012+t10903+(t11010+(t11903+
-t11914)*t11426)*x+t10011+t10006+t11046+t10854+(t11454*t11618+t11437)*t12148+
-t12478+t12492+t12496+t12538+t12558;
- coeffs_dx->coeff_m1_m2_m2 = t10028+t10432+t10258+t11805+t11849+t10991+
-t12101+t11859+t11617*t12094+t12270+t10281+t12328+t12430;
- coeffs_dx->coeff_0_m2_m2 = t10462+t11663+t11611*t11818+t10061+t10050+
-t10060+t10454+t10059+t11894+t12469;
- coeffs_dx->coeff_p1_m2_m2 = t10978+t12255+t10076+t10944+t10662+t10947+(
-t12161+t11523)*t12148+t10182+t10469+t10665+t11826+t12296+t12480+t12488;
- coeffs_dx->coeff_p2_m2_m2 = t10103+t10122+t10906+t11621+t11779+t10090+
-t10110+t10115+t11806+t12284+t12446+t12448;
- coeffs_dx->coeff_p3_m2_m2 = t11618*t10895+t10333+t10339+t11673+t10338+
-t10343+t10347+t11884+t12333;
- coeffs_dx->coeff_m2_m1_m2 = x*t11196+t10360+t11021+t10986+t10971+t11623+
-t10322+t10323+t12079+t12270+t12507+t12520;
- coeffs_dx->coeff_m1_m1_m2 = t11062+t9942+t11404*t11735+t11649+t10706+
-t9934+t12323+t12403+t12471+t12502+t12573;
- coeffs_dx->coeff_0_m1_m2 = t10714+t10747+t11692+t10689+t12188+t12312+
-t12338;
- coeffs_dx->coeff_p1_m1_m2 = t12256+t10696+t9932+t11136+t10842+t10995+
-t10977+t10697+t11625+t12262;
- coeffs_dx->coeff_p2_m1_m2 = t11646+t9928+t10948+t10943+t10959+t10682+
-t11898+t12309+t12316+t12487;
- coeffs_dx->coeff_p3_m1_m2 = t10283+t10294+t10652+t11680+t12118+t12331+
-t12346;
- coeffs_dx->coeff_m2_0_m2 = t11663+t11733*t11616+((t11570+t12066)*t11616+
-t12237*t11479)*x+t10653+t11858+t12350+t12400+t12401+t12427+t12443;
- coeffs_dx->coeff_m1_0_m2 = t11197+t11535*t12008+t10715+t11715*t11616+
-t11641+t11905+t12282+t12338+t12437;
- coeffs_dx->coeff_0_0_m2 = t10252+t10822+t11580*t12037+t11829+(t11556+
-t11364*t11617)*t12008+t12300+t12517+t12550;
- coeffs_dx->coeff_p1_0_m2 = t11630+t11555*t12008+t11064+t11716*t11616+
-t10176+t11875+t12294+t12358+t12535;
- coeffs_dx->coeff_p2_0_m2 = t11182+t11640+t11727*t11616+t11496*t12008+
-t10754+t11821+t11901+t12335+t12355;
- coeffs_dx->coeff_p3_0_m2 = t10624+t11530*t12037+t11532*t12008+t11662+
-t12288+t12498+t12536;
- coeffs_dx->coeff_m2_p1_m2 = (t12102+t12238)*t12248+t10957+t11182+t10612+
-t10626+t11629+t10652+t10239+t12296+t12460+t12500+t12523;
- coeffs_dx->coeff_m1_p1_m2 = t10588+t9902+t11078+t11064+t10578+t12254+
-t11625+t12269+t12487;
- coeffs_dx->coeff_0_p1_m2 = t10564+t11679+t10204+t10842+t12283+t12358+
-t12440;
- coeffs_dx->coeff_p1_p1_m2 = t11409*t11735+t10822+t11197+t10747+t11207+
-t10718+t11628+t10109+t12295+t12421+t12433+t12502;
- coeffs_dx->coeff_p2_p1_m2 = t11633+t11022+t10820+t10599+t9904+t11858+
-t12260+t12315+t12403;
- coeffs_dx->coeff_p3_p1_m2 = t10360+t11678+t10224+t10206+t12135+t12343+
-t12364;
- coeffs_dx->coeff_m2_p2_m2 = t10948+t10168+t10909+t10546+t10175+x*t10984+
-t11006+t11621+t10560+t11884+t12268+t12524;
- coeffs_dx->coeff_m1_p2_m2 = t11651+t11139+t10977+t10110+t10541+t11869+
-t11918+t12299+t12316;
- coeffs_dx->coeff_0_p2_m2 = t10662+t10548+t10787+t10159+t11690+t12174+
-t12335+t12380;
- coeffs_dx->coeff_p1_p2_m2 = t11633+t10141+t11081+t10782+t9884+t11894+
-t12273+t12302+t12471;
- coeffs_dx->coeff_p2_p2_m2 = t10102+t11530*t11735+t11046+t10971+t11634+
-t10509+t10134+t11856+t12290+t12430+t12573;
- coeffs_dx->coeff_p3_p2_m2 = t10012+t10111+t10116+t11671+t11902+t12348+
-t12353;
- coeffs_dx->coeff_m2_p3_m2 = x*t10899+t10891+t10893+t11673+t10170+t10200+
-t10169+t11806+t12336;
- coeffs_dx->coeff_m1_p3_m2 = t10259+t11027+t11033+t10947+t11670+t11775+
-t12346+t12542;
- coeffs_dx->coeff_0_p3_m2 = t10533+t10148+t11662+t12399+t12465;
- coeffs_dx->coeff_p1_p3_m2 = t11666+t11009+t10991+t10104+t12167+t12285+
-t12343;
- coeffs_dx->coeff_p2_p3_m2 = t10879+t10117+t11667+t12196+t12348+t12384+
-t12478;
- coeffs_dx->coeff_p3_p3_m2 = t10098+t10099+t11402*t11735+t11707+t12516+
-t12558;
- coeffs_dx->coeff_m2_m2_m1 = t10058+t10954+t10951+t10624+t10243+t10051+
-t10056+x*t11126+t11623+t10034+t12328+t12428+t12482+t12533;
- coeffs_dx->coeff_m1_m2_m1 = t9848+t9844+t11070+t11649+t11404*t11736+
-t10451+t12326+t12422+t12527+t12530+t12574;
- coeffs_dx->coeff_0_m2_m1 = t10429+t11692+t10760+t9840+t10433+t12281+
-t12301;
- coeffs_dx->coeff_p1_m2_m1 = t11041+t11191+t12256+t10817+t10490+t10421+
-t11626+t12267+t12557;
- coeffs_dx->coeff_p2_m2_m1 = t11646+t11026+t10540+t10964+t11028+t9880+
-t11900+t12304+t12310+t12504;
- coeffs_dx->coeff_p3_m2_m1 = t11672+t10513+t10057+t10055+t12112+t12331+
-t12356;
- coeffs_dx->coeff_m2_m1_m1 = t9843+t12323+t11804+t10450+t9937+(RATIONAL(
-25.0,192.0)+RATIONAL(25.0,64.0)*t11618)*t12148+t11892+t10881+t11797+t10395+
-t10317+t12326+t12457;
- coeffs_dx->coeff_m1_m1_m1 = t10008+t10966+t11002+t11230+t10007+t9802+(
-RATIONAL(-25.0,24.0)+RATIONAL(-175.0,64.0)*t11618)*t12148+t11150+t11235+((
-t11349*t11615+t11425*y)*t11616+(t11349*t11614+t11425*z+RATIONAL(125.0,32.0)*
-t11616)*t11617)*x+t9803+t9804+t11850+t11861+t12467+t12570;
- coeffs_dx->coeff_0_m1_m1 = t9837+t9800+t9996+t10414+RATIONAL(25.0,4.0)*
-t11818+t9995+t12182+t12207+t12391+t12394+t12407;
- coeffs_dx->coeff_p1_m1_m1 = t12275+t10912+t11911+t10405+(RATIONAL(-25.0,
-4.0)*t11618+RATIONAL(25.0,24.0))*t12148+t10914+t11909+t10407+t12324+t12561+
-t12565+t12572;
- coeffs_dx->coeff_p2_m1_m1 = t10861+t9981+t10860+t10995+(RATIONAL(-25.0,
-192.0)+RATIONAL(175.0,64.0)*t11618)*t12148+t11912+t11915+t12325+t9979+t12327+
-t12506+t12555+t12564;
- coeffs_dx->coeff_p3_m1_m1 = t9864+t10396+RATIONAL(-25.0,64.0)*t11818+
-t9971+t11703+t10391+t12113+t12160+t12392;
- coeffs_dx->coeff_m2_0_m1 = t11732*t11616+t11177+t10482+(t11483*t11614+
-t12224)*x+t11641+t11774+t12301+t12352+t12431;
- coeffs_dx->coeff_m1_0_m1 = (t11418*t11614+t11605*z+(t11501+t11506*t11615)
-*t11616)*x+t11162+t10698+t11713*t11616+t11701+t11857+t11862+t12394+t12484+
-t12568;
- coeffs_dx->coeff_0_0_m1 = t11573*t12037+t9825+t9824+t10382+((t11308*
-t11617+t11380)*t11614+(t11507+t11322*t11617)*z)*x+t11854+t11876+t12408+t12556;
- coeffs_dx->coeff_p1_0_m1 = t9967+t11124+t11645+(t11411*t11614+t11487*z)*x
-+t11717*t11616+t11811+t11834+t12381+t12393;
- coeffs_dx->coeff_p2_0_m1 = (t11591*z+t11490*t11614)*x+t11726*t11616+
-t11102+t11654+t10833+t11773+t11899+t12368+t12389;
- coeffs_dx->coeff_p3_0_m1 = t11526*t12037+t10362+(t11575*z+t11533*t11614)*
-x+t11699+t12305+t12414+t12549;
- coeffs_dx->coeff_m2_p1_m1 = t10393+t10396+t11102+t10868+t11644+t10356+
-t11891+t12267+t12269;
- coeffs_dx->coeff_m1_p1_m1 = t10507+t9981+t11045+(t11521*t11615+t11399*y)*
-t12248+t9811+t11124+t11656+t10084+t11897+t12275+t12462;
- coeffs_dx->coeff_0_p1_m1 = t9828+t10405+t11691+t12015+t12332+t12393+
-t12476;
- coeffs_dx->coeff_p1_p1_m1 = t11230+(t11332*t11614+t11341*z)*t12246+t9962+
-t10414+t11162+t10955+t11639+t10382+t11840+t12277+t12554;
- coeffs_dx->coeff_p2_p1_m1 = t10007+t11177+t10878+t10775+t11652+t12263+
-t12276+t12432+t12474;
- coeffs_dx->coeff_p3_p1_m1 = t10723+t10450+t11674+t10688+t12058+t12314+
-t12377;
- coeffs_dx->coeff_m2_p2_m1 = t10939+t10861+t10621+t11647+t10055+t11800+
-t11890+t12299+t12310;
- coeffs_dx->coeff_m1_p2_m1 = t11065+t10912+t11218+t10567+t11655+t10198+(
-t11420*y+t11329*t11615)*t12248+t9880+t11908+t11919+t12327;
- coeffs_dx->coeff_0_p2_m1 = t11702+t10784+t10421+t12098+t12192+t12373+
-t12389;
- coeffs_dx->coeff_p1_p2_m1 = t9863+t10966+t10429+t10771+t11208+t11650+
-t11879+t12272+t12276;
- coeffs_dx->coeff_p2_p2_m1 = t10951+t10121+t12264+t11784+t10881+(t11588*z+
-t11553*t11614)*t12246+t10514+t9804+t11812+t12293+t12385+t12574;
- coeffs_dx->coeff_p3_p2_m1 = t11694+t10051+t10550+t12020+t12132+t12388+
-t12390;
- coeffs_dx->coeff_m2_p3_m1 = t11672+t11028+t10883+t10563+t10473+t12131+
-t12321+t12542;
- coeffs_dx->coeff_m1_p3_m1 = t11191+t11420*t11977+t9821+t11703+t10703+
-t9890+t10388+t12070+t12152+t12539;
- coeffs_dx->coeff_0_p3_m1 = t10711+t10846+t11699+t12456+t12537;
- coeffs_dx->coeff_p1_p3_m1 = t10963+t10813+t10633+t11657+t11070+t12306+
-t12314;
- coeffs_dx->coeff_p2_p3_m1 = t10954+t10882+t11697+t10602+t12046+t12366+
-t12390;
- coeffs_dx->coeff_p3_p3_m1 = t10058+t10189+(t12107+t11429*z)*t12246+t11708
-+t12065+t12551;
- coeffs_dx->coeff_m2_m2_0 = t11098+(t12229*t11479+(t12159+t11570)*t11617)*
-x+t10528+t10440+t11791+t11733*t11617+t11771+t11860+t12350+t12458+t12469+t12510;
- coeffs_dx->coeff_m1_m2_0 = t11643+t11715*t11617+t11535*t12007+t11199+
-t10521+t12281+t12282+t12532+t12560;
- coeffs_dx->coeff_0_m2_0 = t10812+t11580*t12093+t10177+(t11364*t11616+
-t11556)*t12007+t11665+t11845+t12550;
- coeffs_dx->coeff_p1_m2_0 = t11636+t10016+t11168+t11716*t11617+t11555*
-t12007+t11873+t12294+t12351+t12445;
- coeffs_dx->coeff_p2_m2_0 = t11061+t10727+t11727*t11617+t11635+t11496*
-t12007+t11822+t11910+t12339+t12355;
- coeffs_dx->coeff_p3_m2_0 = t11530*t12093+t11532*t12007+t11660+t11827+
-t12079+t12452+t12498;
- coeffs_dx->coeff_m2_m1_0 = t11643+t11099+(t11483*t11615+t11613*y)*x+
-t11732*t11617+t10643+t11817+t12312+t12352+t12513;
- coeffs_dx->coeff_m1_m1_0 = t11068+t11713*t11617+(t11418*t11615+t11605*y+(
-t11506*t11614+t11501)*t11617)*x+t10580+t11701+t11755+t11832+t12391+t12534+
-t12562;
- coeffs_dx->coeff_0_m1_0 = t11573*t12093+t9887+t10535+((t11308*t11616+
-t11380)*t11615+(t11322*t11616+t11507)*y)*x+t11688+t11807+t12556;
- coeffs_dx->coeff_p1_m1_0 = t11086+t10123+(t11411*t11615+t11487*y)*x+
-t11717*t11617+t11642+t11796+t11803+t12381+t12398;
- coeffs_dx->coeff_p2_m1_0 = t11183+t11653+(t11490*t11615+t11591*y)*x+
-t10809+t11726*t11617+t11864+t11889+t12368+t12370;
- coeffs_dx->coeff_p3_m1_0 = t11526*t12093+t10674+(t11533*t11615+t11575*y)*
-x+t11700+t12307+t12454+t12549;
- coeffs_dx->coeff_m2_0_0 = t10158+t12162+t11538+(RATIONAL(1.0,4.0)+t11488*
-t11616)*t11618+t11665+(t11588+t12166*t11604)*x+(t11330*t11616+t11534+(t11462*
-t11616+t11488)*t11618)*t11617+t11814+t12300+t12426;
- coeffs_dx->coeff_m1_0_0 = t11688+(t11590+t12166*t11522)*x+(t11489+t11379*
-t11616+(RATIONAL(-343.0,36.0)*t11616+t11368)*t11618)*t11617+t11580+(RATIONAL(
--7.0,4.0)+t11368*t11616)*t11618+t12146+t12408+t12412+t12444+t12479+t12519;
- coeffs_dx->coeff_0_0_0 = (RATIONAL(4.0,1.0)+t11562*t11616+(t11562+
-RATIONAL(196.0,9.0)*t11616)*t11617)*t11618+(t11560+(t11353*t11615+t11566)*
-t11616+t12166*t11561+(t11566+RATIONAL(-686.0,27.0)*t11616+t11353*t11614)*t11617
-)*x+t12203+t12404+t12418;
- coeffs_dx->coeff_p1_0_0 = t11591+(RATIONAL(-4.0,1.0)+t11536*t11616)*
-t11618+t9917+t12145+(t11522+t12166*t11544)*x+t11696+(t11412*t11616+t11500+(
-t11536+RATIONAL(-196.0,9.0)*t11616)*t11618)*t11617+t11815+t12319+t12472;
- coeffs_dx->coeff_p2_0_0 = t11496+(t11432*t11616+RATIONAL(7.0,4.0))*t11618
-+t12144+(t11306*t11616+t11483+(t11432+RATIONAL(343.0,36.0)*t11616)*t11618)*
-t11617+t11668+t10586+(-1.0+t12166*t11587)*x+t11782+t12419+t12453+t12464;
- coeffs_dx->coeff_p3_0_0 = t10522+(t11594+t12166*t11613)*x+(t11394*t12148+
-t11593+(t11617+t11616)*t11490)*t11618+t11676+t12406+t12420;
- coeffs_dx->coeff_m2_p1_0 = t11636+t11080+(t11582*t11615+t11584*y)*x+
-t11730*t11617+t10474+t11782+t12283+t12357+t12454;
- coeffs_dx->coeff_m1_p1_0 = t10692+(t11531*t11615+t11606*y)*x+t11711*
-t11617+t11642+t11889+t12332+t12376+t12472+t12526;
- coeffs_dx->coeff_0_p1_0 = t9867+t9918+t11848+((t11497+t11304*t11616)*
-t11615+(t11525+t11337*t11616)*y)*x+t11796+t12319+t12459+t12540;
- coeffs_dx->coeff_p1_p1_0 = t10013+t11693+(t11486*t11615+t11484*y+(t11552+
-t11320*t11614)*t11617)*x+t11734*t11617+t10985+t11807+t11832+t12397+t12418+
-t12479;
- coeffs_dx->coeff_p2_p1_0 = (t11597*t11615+t11580*y)*x+t11724*t11617+
-t11118+t10793+t11631+t11755+t11814+t12342+t12383;
- coeffs_dx->coeff_p3_p1_0 = t10380+t11836+(t11584*t11615+t11611*y)*x+
-t11661+t12292+t12513+t12525;
- coeffs_dx->coeff_m2_p2_0 = t11066+t11635+t10595+(t11528*y+t12038)*x+
-t11714*t11617+t11827+t11864+t12345+t12380;
- coeffs_dx->coeff_m1_p2_0 = t11222+(t11565*y+t11421*t11615)*x+t11722*
-t11617+t11653+t10589+t11803+t11910+t12363+t12373;
- coeffs_dx->coeff_0_p2_0 = t11592*t12093+t10091+t10587+t10770+((t11321*
-t11616+t11387)*t11615+t11719*y)*x+t11823+t11873+t12464+t12505;
- coeffs_dx->coeff_p1_p2_0 = (t11365*t11615+t11478*y)*x+t11723*t11617+
-t11256+t11631+t10334+t11845+t12317+t12375+t12534;
- coeffs_dx->coeff_p2_p2_0 = t11684+t11173+t11728*t11617+(t11538*y+t11488*
-t11615+(t11591*t11614+t11609)*t11617)*x+t10799+t11817+t11860+t12362+t12560+
-t12562;
- coeffs_dx->coeff_p3_p2_0 = t11603*t12093+t10612+(t12240+t11558*t11615)*x+
-t11686+t12303+t12510+t12529;
- coeffs_dx->coeff_m2_p3_0 = x*t12024+t11729*t11617+t11660+t11822+t12101+
-t12417+t12465;
- coeffs_dx->coeff_m1_p3_0 = t11565*t12231+t11133+t11725*t11617+t11698+
-t12307+t12445+t12456;
- coeffs_dx->coeff_0_p3_0 = t11585*t12093+t10837+t11719*t12231+t11676+
-t12521;
- coeffs_dx->coeff_p1_p3_0 = t11092+t11999+t11718*t11617+t11675+t12292+
-t12416+t12532;
- coeffs_dx->coeff_p2_p3_0 = t11538*t12231+t10944+t11721*t11617+t11704+
-t11791+t12303+t12382;
- coeffs_dx->coeff_p3_p3_0 = t11548*t12093+(t11551*t11615+(t12156+t11532)*
-t11617)*x+t11706+t12423+t12458;
- coeffs_dx->coeff_m2_m2_p1 = t10138+t10930+t10513+t12255+(t12114+t12241)*
-t12246+t11061+t11629+t10595+t10563+t12415+t12450;
- coeffs_dx->coeff_m1_m2_p1 = t9859+t11195+t11168+t12254+t10589+t10388+
-t11626+t12271+t12504;
- coeffs_dx->coeff_0_m2_p1 = t10711+t11679+t10091+t10817+t12289+t12351+
-t12410;
- coeffs_dx->coeff_p1_m2_p1 = t12253+t10633+t11090+t11199+t10812+t10760+
-t11628+t11409*t11736+t10334+t12495+t12527;
- coeffs_dx->coeff_p2_m2_p1 = t9838+t11098+t12260+t11627+t10799+t10602+
-t12266+t12405+t12422;
- coeffs_dx->coeff_p3_m2_p1 = t10612+t10297+t10189+t11664+t12334+t12364+
-t12533;
- coeffs_dx->coeff_m2_m1_p1 = t10855+t10474+t11183+t11644+t10616+t10391+
-t11890+t12262+t12271;
- coeffs_dx->coeff_m1_m1_p1 = t11086+(t11399*z+t11521*t11614)*t12246+t9807+
-t10962+t10692+t11656+t9979+t11908+t12324+t12466+t12515;
- coeffs_dx->coeff_0_m1_p1 = t11691+t9867+t10407+t12098+t12349+t12398+
-t12481;
- coeffs_dx->coeff_p1_m1_p1 = t11068+t10013+t12259+(t11332*t11615+t11341*y)
-*t12248+t11235+t11049+t11879+t10535+t12277+t12371+t12407+t12425;
- coeffs_dx->coeff_p2_m1_p1 = t10008+t11099+t10892+t10793+t11652+t10069+
-t11784+t12265+t12274;
- coeffs_dx->coeff_p3_m1_p1 = t11674+t10380+t10575+t10395+t12020+t12308+
-t12386;
- coeffs_dx->coeff_m2_0_p1 = t11630+t11730*t11616+t10356+(t12222+t11582*
-t11614)*x+t12289+t12357+t12414+t12419+t12493;
- coeffs_dx->coeff_m1_0_p1 = t10507+t10937+(t11606*z+t11531*t11614)*x+
-t11645+t11711*t11616+t11815+t11899+t12349+t12376;
- coeffs_dx->coeff_0_0_p1 = t11841+t10644+t9828+((t11304*t11617+t11497)*
-t11614+(t11525+t11337*t11617)*z)*x+t11696+t11811+t12540;
- coeffs_dx->coeff_p1_0_p1 = t11693+t11734*t11616+t9962+(t11484*z+t11486*
-t11614+(t11320*t11615+t11552)*t11616)*x+t10965+t11857+t11876+t12396+t12404+
-t12412;
- coeffs_dx->coeff_p2_0_p1 = (t11597*t11614+t11580*z)*x+t11724*t11616+
-t11622+t10775+t11862+t12359+t12383+t12426+t12434;
- coeffs_dx->coeff_p3_0_p1 = t10723+t11833+(t11584*t11614+t11611*z)*x+
-t11669+t12297+t12431+t12525;
- coeffs_dx->coeff_m2_p1_p1 = t12253+t10158+t10186+(RATIONAL(25.0,108.0)+
-RATIONAL(25.0,36.0)*t11618)*t12148+t11830+t11118+t10482+t10688+t11797+t10643+
-t10575+t12295+t12434;
- coeffs_dx->coeff_m1_p1_p1 = (RATIONAL(-50.0,27.0)+RATIONAL(-175.0,36.0)*
-t11618)*t12148+t10985+t10698+t10965+t11639+t10580+t10069+t12259+t12432+t12467+
-t12519;
- coeffs_dx->coeff_0_p1_p1 = t9825+t9996+RATIONAL(100.0,9.0)*t11818+t9857+
-t9887+t11840+t12203+t12396+t12397+t12425;
- coeffs_dx->coeff_p1_p1_p1 = t10123+t9967+t9917+t10937+(RATIONAL(-100.0,
-9.0)*t11618+RATIONAL(50.0,27.0))*t12148+t10644+((t11333*y+t11356*t11615)*t11616
-+(t11333*z+t11356*t11614+RATIONAL(250.0,27.0)*t11616)*t11617)*x+t11909+t12459+
-t12462+t12466+t12476+t12481+t12526;
- coeffs_dx->coeff_p2_p1_p1 = t11080+(RATIONAL(175.0,36.0)*t11618+RATIONAL(
--25.0,108.0))*t12148+t11624+t10809+t10833+t10586+t10084+t12261+t12493+t12506+
-t12515;
- coeffs_dx->coeff_p3_p1_p1 = t10522+t10393+t11658+t11618*t11792+t10674+
-t10362+t10616+t12160+t12287;
- coeffs_dx->coeff_m2_p2_p1 = t11173+t10528+t10297+t10892+t11632+t10550+
-t10449+t11804+t12266+t12302;
- coeffs_dx->coeff_m1_p2_p1 = t9838+t11256+t11049+t11638+t10514+t10521+
-t11861+t12265+t12272;
- coeffs_dx->coeff_0_p2_p1 = t10771+t10177+t11689+t12207+t12359+t12375+
-t12495;
- coeffs_dx->coeff_p1_p2_p1 = t11218+t10016+t11222+t12257+t11624+t10962+
-t10770+t10784+(t11346*t11615+t11457*y)*t12248+t12410+t12561;
- coeffs_dx->coeff_p2_p2_p1 = t11637+t10855+t10567+t9859+t11066+t9807+
-t10727+(t11585*z+t11580*t11614)*t12246+t12286+t12450+t12451+t12564;
- coeffs_dx->coeff_p3_p2_p1 = t10138+t10621+t9971+t10548+t10719+t11683+
-t12320+t12395;
- coeffs_dx->coeff_m2_p3_p1 = t10624+t11666+t10944+t12065+t12334+t12340+
-t12405;
- coeffs_dx->coeff_m1_p3_p1 = t11092+t11657+t11090+t10451+t12046+t12318+
-t12386;
- coeffs_dx->coeff_0_p3_p1 = t10433+t10813+t11669+t12416+t12566;
- coeffs_dx->coeff_p1_p3_p1 = t10837+t10846+t11457*t11977+t11658+t11195+
-t11133+t10490+t12152+t12291;
- coeffs_dx->coeff_p2_p3_p1 = t10930+t10540+t10988+t10703+t11677+t12298+
-t12320;
- coeffs_dx->coeff_p3_p3_p1 = t10473+t10057+(t11371*z+t12083)*t12246+t11709
-+t12415+t12494;
- coeffs_dx->coeff_m2_m2_p2 = t11026+t9978+t11035+t12268+t10333+x*t11027+
-t10200+t12284+t11800+t12361+t12424+t12470+t12501;
- coeffs_dx->coeff_m1_m2_p2 = t11651+t11041+t10103+t10672+t11157+t11775+
-t11919+t12304+t12313;
- coeffs_dx->coeff_0_m2_p2 = t10148+t10750+t10469+t11690+t12192+t12322+
-t12339;
- coeffs_dx->coeff_p1_m2_p2 = t9863+t11627+t11109+t10454+t10104+t12273+
-t12278+t12439+t12530;
- coeffs_dx->coeff_p2_m2_p2 = t9848+t10028+t11906+t12280+t10117+t10903+
-t10121+t11839+t11530*t11736+t9949+t12290+t12387+t12482;
- coeffs_dx->coeff_p3_m2_p2 = t10098+t10566+t11659+t12132+t12344+t12353+
-t12538;
- coeffs_dx->coeff_m2_m1_p2 = t10088+t10283+t10934+t11647+t10860+t10526+
-t11891+t12309+t12313+t12524;
- coeffs_dx->coeff_m1_m1_p2 = t9928+t11655+(t11420*z+t11329*t11614)*t12246+
-t11201+t11258+t10914+t10065+t10502+t11897+t11918+t12325;
- coeffs_dx->coeff_0_m1_p2 = t11702+t10696+t10805+t12015+t12174+t12370+
-t12378;
- coeffs_dx->coeff_p1_m1_p2 = t11002+t12274+t11650+t10764+t10689+t9884+
-t12279+t12436+t12554;
- coeffs_dx->coeff_p2_m1_p2 = t10981+t9802+t11648+(t11588*y+t11553*t11615)*
-t12248+t10134+t10485+t9934+t12264+t12457+t12474+t12520;
- coeffs_dx->coeff_p3_m1_p2 = t11694+t10116+t10676+t9949+t10323+t12058+
-t12365+t12369;
- coeffs_dx->coeff_m2_0_p2 = t11640+(t12247+t11534*t11614)*x+t11714*t11616+
-t11082+t10626+t11773+t12322+t12345+t12536;
- coeffs_dx->coeff_m1_0_p2 = t11722*t11616+t11229+t11654+t10578+(t11565*z+
-t11421*t11614)*x+t11834+t11901+t12363+t12378;
- coeffs_dx->coeff_0_0_p2 = t11592*t12037+t10204+t10779+((t11387+t11321*
-t11617)*t11614+t11731*z)*x+t11668+t11875+t12505;
- coeffs_dx->coeff_p1_0_p2 = (t11478*z+t11365*t11614)*x+t11622+t11214+
-t11723*t11616+t10109+t11829+t12317+t12367+t12484;
- coeffs_dx->coeff_p2_0_p2 = t11728*t11616+t11905+(t11538*z+t11488*t11614+(
-t11591*t11615+t11609)*t11616)*x+t10820+t11774+t12360+t12362+t12427+t12483+
-t12541+t12568;
- coeffs_dx->coeff_p3_0_p2 = t11603*t12037+(t11558*t11614+t12212)*x+t11687+
-t12135+t12372+t12400+t12529;
- coeffs_dx->coeff_m2_p1_p2 = t10878+t11632+t10676+t10224+t10653+t11892+
-t12278+t12315+t12483;
- coeffs_dx->coeff_m1_p1_p2 = t11214+t10955+t10715+t11638+t10485+t9904+
-t11850+t12263+t12279;
- coeffs_dx->coeff_0_p1_p2 = t10252+t10764+t11689+t12182+t12342+t12367+
-t12421;
- coeffs_dx->coeff_p1_p1_p2 = t11911+(t11457*z+t11346*t11614)*t12246+t11258
-+t11045+t12257+t11229+t10805+t10779+t10176+t12261+t12330+t12440;
- coeffs_dx->coeff_p2_p1_p2 = t9902+(t11585*y+t11580*t11615)*t12248+t11895+
-t11082+t9811+t10868+t10754+t12258+t11912+t10502+t12286+t12523+t12552;
- coeffs_dx->coeff_p3_p1_p2 = t10624+t10526+t11683+t10239+t12113+t12311+
-t12374;
- coeffs_dx->coeff_m2_p2_p2 = t9843+(RATIONAL(1.0,16.0)*t11618+t11539)*
-t12148+t10981+t10011+t10056+t10566+t11634+t10322+t11812+t11902+t12280;
- coeffs_dx->coeff_m1_p2_p2 = t9844+t9942+t10258+t11208+t11648+(t11601+
-RATIONAL(-7.0,16.0)*t11618)*t12148+t10509+t11906+t12293+t12436+t12570;
- coeffs_dx->coeff_0_p2_p2 = t11684+t10061+t11818+t10782+t9840+t9800+t12188
-+t12360+t12439;
- coeffs_dx->coeff_p1_p2_p2 = t11065+t11637+t10750+t9932+(-t11618+t11594)*
-t12148+t11201+t10787+t12258+t12488+t12557+t12565;
- coeffs_dx->coeff_p2_p2_p2 = t11898+t10939+t11035+t10909+t10198+t10672+
-t10934+t10865+t10065+(t11548+RATIONAL(7.0,16.0)*t11618)*t12148+t10541+((t11495*
-t11615+t11545*y)*t11616+(t11495*t11614+t11593*t11616+t11545*z)*t11617)*x+t11900
-+t11915+t12448;
- coeffs_dx->coeff_p3_p2_p2 = t10338+t10594+t9864+t9924+t10560+RATIONAL(
--1.0,16.0)*t11818+t12112+t12118+t12337+t12354+t12470;
- coeffs_dx->coeff_m2_p3_p2 = t10882+t10006+t11659+t10099+t11839+t12347+
-t12384;
- coeffs_dx->coeff_m1_p3_p2 = t10963+t11695+t11109+t10281+t12196+t12366+
-t12369;
- coeffs_dx->coeff_0_p3_p2 = t10050+t11704+t12167+t12372+t12559;
- coeffs_dx->coeff_p1_p3_p2 = t11157+t10182+t10533+t11677+t12070+t12311+
-t12379;
- coeffs_dx->coeff_p2_p3_p2 = t10088+t11545*t11977+t10259+t10891+t11685+
-t9821+t10883+t10090+t12354+t12424;
- coeffs_dx->coeff_p3_p3_p2 = t10347+t10170+(t12232+t12080)*t12246+t11705+
-t12477+t12501;
- coeffs_dx->coeff_m2_m2_p3 = t10168+t10906+t10348+x*t11033+t12057+t12105+
-t12165+t12170+t12333+t12336;
- coeffs_dx->coeff_m1_m2_p3 = t10003+t10984+t10944+t10899+t11670+t11869+
-t12356+t12547;
- coeffs_dx->coeff_0_m2_p3 = t10201+t10159+t11710+t12052+t12399+t12452;
- coeffs_dx->coeff_p1_m2_p3 = t10141+t10988+t11013+t10652+t11664+t12285+
-t12341;
- coeffs_dx->coeff_p2_m2_p3 = t10852+t10102+t10231+t11667+t10034+t12329+
-t12344+t12492;
- coeffs_dx->coeff_p3_m2_p3 = t10093+t10111+t10171+t11402*t11736+t11761+
-t12512+t12516;
- coeffs_dx->coeff_m2_m1_p3 = t10612+t10943+t10871+t10559+t11680+t12071+
-t12321+t12547;
- coeffs_dx->coeff_m1_m1_p3 = t10953+t11420*t11954+t9869+t9972+t10588+
-t11136+t11917+t12149+t12169+t12392+t12539;
- coeffs_dx->coeff_0_m1_p3 = t10564+t10766+t11700+t12429+t12537;
- coeffs_dx->coeff_p1_m1_p3 = t11062+t11036+t11681+t10836+t10718+t12306+
-t12308;
- coeffs_dx->coeff_p2_m1_p3 = t11697+t11021+t10886+t10599+t12089+t12120+
-t12365+t12563;
- coeffs_dx->coeff_p3_m1_p3 = t10413+t10206+(t12234+t12086)*t12248+t11708+
-t12507+t12553;
- coeffs_dx->coeff_m2_0_p3 = t10026+t10991+x*t12040+t11729*t11616+t11710+
-t11821+t12288+t12417;
- coeffs_dx->coeff_m1_0_p3 = t11128+t11565*t12214+t11725*t11616+t11698+
-t12305+t12429+t12535;
- coeffs_dx->coeff_0_0_p3 = t11585*t12037+t10153+t10726+t11731*t12214+
-t11766+t12420+t12521;
- coeffs_dx->coeff_p1_0_p3 = t11095+t11928+t11718*t11616+t11675+t12297+
-t12437+t12522;
- coeffs_dx->coeff_p2_0_p3 = t11538*t12214+t11721*t11616+t11687+t12009+
-t12382+t12401+t12489;
- coeffs_dx->coeff_p3_0_p3 = t11548*t12037+(t11551*t11614+(t12068+t11532)*
-t11616)*x+t11706+t12443+t12545;
- coeffs_dx->coeff_m2_p1_p3 = t11678+t11022+t10719+t10413+t12009+t12340+
-t12341;
- coeffs_dx->coeff_m1_p1_p3 = t11095+t11207+t11681+t10706+t12120+t12318+
-t12377;
- coeffs_dx->coeff_0_p1_p3 = t10714+t10836+t11661+t12522+t12566;
- coeffs_dx->coeff_p1_p1_p3 = t11078+t10726+t11128+t10766+t10697+t11457*
-t11954+t12149+t12287+t12291+t12497;
- coeffs_dx->coeff_p2_p1_p3 = t10957+t11682+t10991+t10682+t12169+t12298+
-t12374;
- coeffs_dx->coeff_p3_p1_p3 = t10559+t10294+(t12016+t12211)*t12248+t11709+
-t12460+t12518;
- coeffs_dx->coeff_m2_p2_p3 = t9982+t10171+t10886+t11671+t11856+t12329+
-t12347;
- coeffs_dx->coeff_m1_p2_p3 = t11695+t10231+t11081+t11036+t10931+t11849+
-t12388+t12563;
- coeffs_dx->coeff_0_p2_p3 = t10059+t10652+t11686+t12489+t12559;
- coeffs_dx->coeff_p1_p2_p3 = t11682+t10076+t11139+t10974+t10953+t12052+
-t12379+t12395;
- coeffs_dx->coeff_p2_p2_p3 = t10003+t9869+t11006+t11685+t10871+t11545*
-t11954+t12165+t12337+t12446;
- coeffs_dx->coeff_p3_p2_p3 = t10343+t10546+(t11416*y+t12078)*t12248+t12105
-+t12435+t12441+t12477;
- coeffs_dx->coeff_m2_p3_p3 = t10852+t10879+(t11358+t12029)*t12148+t11707+
-t12496+t12512;
- coeffs_dx->coeff_m1_p3_p3 = t11009+t11013+t10199+(t11382+t12164)*t12148+
-t11805+t12551+t12553;
- coeffs_dx->coeff_0_p3_p3 = t11618*t11106+t10060+t12423+t12485+t12545;
- coeffs_dx->coeff_p1_p3_p3 = t10899+t11033+(t11426+t12090)*t12148+t12411+
-t12480+t12494+t12518;
- coeffs_dx->coeff_p2_p3_p3 = t10893+t10122+(t12154+t11318)*t12148+t11705+
-t12057+t12435;
- coeffs_dx->coeff_p3_p3_p3 = t11617*t11770+t10339+t10169+(t11005+(t12030+
-t12019)*t11416)*x+t12170;