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, 4346 insertions, 0 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
new file mode 100644
index 0000000..bba9bac
--- /dev/null
+++ b/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-dx.compute.c
@@ -0,0 +1,4346 @@
+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;