aboutsummaryrefslogtreecommitdiff
path: root/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dx.compute.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dx.compute.c')
-rw-r--r--src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dx.compute.c2720
1 files changed, 2720 insertions, 0 deletions
diff --git a/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dx.compute.c b/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dx.compute.c
new file mode 100644
index 0000000..4044656
--- /dev/null
+++ b/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dx.compute.c
@@ -0,0 +1,2720 @@
+fp t11752;
+fp t11751;
+fp t11876;
+fp t11880;
+fp t12847;
+fp t11877;
+fp t11882;
+fp t11756;
+fp t11749;
+fp t12846;
+fp t11816;
+fp t11875;
+fp t11878;
+fp t12197;
+fp t12367;
+fp t11823;
+fp t12124;
+fp t12845;
+fp t11799;
+fp t11766;
+fp t12231;
+fp t12199;
+fp t12844;
+fp t11839;
+fp t11854;
+fp t12843;
+fp t11840;
+fp t12378;
+fp t11853;
+fp t12842;
+fp t11753;
+fp t11879;
+fp t11881;
+fp t12210;
+fp t11750;
+fp t12285;
+fp t12841;
+fp t11796;
+fp t11795;
+fp t12325;
+fp t12400;
+fp t12840;
+fp t11806;
+fp t11873;
+fp t12392;
+fp t12839;
+fp t11748;
+fp t12206;
+fp t12092;
+fp t11760;
+fp t12280;
+fp t12040;
+fp t12838;
+fp t11808;
+fp t12384;
+fp t12318;
+fp t12837;
+fp t11847;
+fp t12255;
+fp t11794;
+fp t12836;
+fp t12256;
+fp t12032;
+fp t11821;
+fp t12382;
+fp t12835;
+fp t11763;
+fp t12221;
+fp t11791;
+fp t12281;
+fp t12057;
+fp t12834;
+fp t12322;
+fp t11664;
+fp t11874;
+fp t12302;
+fp t12833;
+fp t12207;
+fp t12061;
+fp t12270;
+fp t12832;
+fp t11820;
+fp t12211;
+fp t11803;
+fp t12831;
+fp t11846;
+fp t12234;
+fp t12830;
+fp t12238;
+fp t12829;
+fp t11213;
+fp t12250;
+fp t12828;
+fp t12375;
+fp t12827;
+fp t11809;
+fp t12826;
+fp t11513;
+fp t12825;
+fp t11462;
+fp t12212;
+fp t12824;
+fp t11736;
+fp t12823;
+fp t12822;
+fp t11764;
+fp t12398;
+fp t11765;
+fp t12399;
+fp t12821;
+fp t11861;
+fp t11869;
+fp t12820;
+fp t11811;
+fp t12333;
+fp t12819;
+fp t12818;
+fp t12317;
+fp t12817;
+fp t12816;
+fp t12815;
+fp t12814;
+fp t11835;
+fp t12330;
+fp t11822;
+fp t12304;
+fp t12014;
+fp t12813;
+fp t12812;
+fp t11828;
+fp t12346;
+fp t12811;
+fp t12328;
+fp t11814;
+fp t12810;
+fp t12289;
+fp t11439;
+fp t12809;
+fp t12808;
+fp t11837;
+fp t12348;
+fp t11825;
+fp t12058;
+fp t12807;
+fp t12390;
+fp t12376;
+fp t12806;
+fp t12239;
+fp t12237;
+fp t12805;
+fp t11844;
+fp t11440;
+fp t11872;
+fp t12300;
+fp t12804;
+fp t12279;
+fp t11588;
+fp t11779;
+fp t11391;
+fp t12803;
+fp t12205;
+fp t11331;
+fp t12802;
+fp t12241;
+fp t12225;
+fp t12801;
+fp t12307;
+fp t11815;
+fp t12800;
+fp t12193;
+fp t12799;
+fp t11834;
+fp t11414;
+fp t11866;
+fp t12798;
+fp t11831;
+fp t12262;
+fp t11780;
+fp t12016;
+fp t12797;
+fp t11812;
+fp t12374;
+fp t12796;
+fp t12795;
+fp t11762;
+fp t12405;
+fp t12794;
+fp t11789;
+fp t11354;
+fp t12793;
+fp t12792;
+fp t12753;
+fp t11807;
+fp t12272;
+fp t12791;
+fp t12790;
+fp t11295;
+fp t11800;
+fp t12789;
+fp t11200;
+fp t12788;
+fp t11785;
+fp t11787;
+fp t12005;
+fp t12787;
+fp t12397;
+fp t12786;
+fp t11827;
+fp t11473;
+fp t12785;
+fp t11863;
+fp t12784;
+fp t11841;
+fp t11848;
+fp t12385;
+fp t12783;
+fp t11792;
+fp t12162;
+fp t11768;
+fp t12267;
+fp t12782;
+fp t12200;
+fp t11688;
+fp t12781;
+fp t11797;
+fp t12273;
+fp t11798;
+fp t11793;
+fp t11685;
+fp t12780;
+fp t11684;
+fp t12320;
+fp t12779;
+fp t12309;
+fp t12778;
+fp t12380;
+fp t12777;
+fp t12776;
+fp t12371;
+fp t12287;
+fp t12404;
+fp t12775;
+fp t12344;
+fp t12209;
+fp t12774;
+fp t12773;
+fp t12394;
+fp t12772;
+fp t12771;
+fp t11767;
+fp t12220;
+fp t11725;
+fp t12770;
+fp t11330;
+fp t12769;
+fp t11774;
+fp t12338;
+fp t11387;
+fp t12265;
+fp t12156;
+fp t12768;
+fp t12298;
+fp t11285;
+fp t12090;
+fp t12767;
+fp t12766;
+fp t11852;
+fp t11838;
+fp t12765;
+fp t12349;
+fp t12172;
+fp t11775;
+fp t12201;
+fp t11336;
+fp t12764;
+fp t12204;
+fp t11712;
+fp t11497;
+fp t12763;
+fp t12387;
+fp t11260;
+fp t12245;
+fp t12145;
+fp t12762;
+fp t12236;
+fp t12761;
+fp t12760;
+fp t11744;
+fp t12242;
+fp t12759;
+fp t11705;
+fp t12758;
+fp t12342;
+fp t11416;
+fp t11505;
+fp t12757;
+fp t11813;
+fp t12321;
+fp t12756;
+fp t11604;
+fp t11694;
+fp t12003;
+fp t12755;
+fp t12314;
+fp t12754;
+fp t12752;
+fp t12037;
+fp t11275;
+fp t12751;
+fp t12181;
+fp t11819;
+fp t12284;
+fp t11559;
+fp t12263;
+fp t12062;
+fp t12337;
+fp t12019;
+fp t12750;
+fp t11867;
+fp t11870;
+fp t12749;
+fp t12748;
+fp t12213;
+fp t12327;
+fp t12120;
+fp t12054;
+fp t12747;
+fp t12301;
+fp t11342;
+fp t12222;
+fp t11343;
+fp t12335;
+fp t12126;
+fp t12746;
+fp t11276;
+fp t11726;
+fp t12184;
+fp t12187;
+fp t12745;
+fp t12323;
+fp t12141;
+fp t12744;
+fp t12080;
+fp t11329;
+fp t12743;
+fp t11995;
+fp t12111;
+fp t12742;
+fp t12269;
+fp t12047;
+fp t12741;
+fp t12383;
+fp t11300;
+fp t11267;
+fp t12031;
+fp t12740;
+fp t11393;
+fp t12244;
+fp t12130;
+fp t12739;
+fp t11355;
+fp t11226;
+fp t12044;
+fp t12738;
+fp t12737;
+fp t11361;
+fp t12319;
+fp t11485;
+fp t12171;
+fp t12259;
+fp t12046;
+fp t12736;
+fp t10549;
+fp t12735;
+fp t12246;
+fp t11290;
+fp t12373;
+fp t12180;
+fp t12734;
+fp t12326;
+fp t12123;
+fp t12056;
+fp t12227;
+fp t12050;
+fp t11296;
+fp t12733;
+fp t11315;
+fp t12403;
+fp t12053;
+fp t12074;
+fp t12732;
+fp t11999;
+fp t12076;
+fp t12731;
+fp t12045;
+fp t12730;
+fp t12729;
+fp t11204;
+fp t12069;
+fp t11407;
+fp t12728;
+fp t12059;
+fp t12268;
+fp t12727;
+fp t11364;
+fp t12070;
+fp t12177;
+fp t12224;
+fp t12029;
+fp t12726;
+fp t11366;
+fp t12202;
+fp t11385;
+fp t12725;
+fp t12306;
+fp t12113;
+fp t12196;
+fp t12020;
+fp t12724;
+fp t12146;
+fp t11269;
+fp t12723;
+fp t11363;
+fp t12248;
+fp t11586;
+fp t12722;
+fp t12257;
+fp t11282;
+fp t12065;
+fp t12721;
+fp t12030;
+fp t11410;
+fp t12720;
+fp t12240;
+fp t11488;
+fp t12208;
+fp t11308;
+fp t12719;
+fp t12253;
+fp t12004;
+fp t11317;
+fp t12718;
+fp t12366;
+fp t11337;
+fp t12088;
+fp t12717;
+fp t11758;
+fp t12249;
+fp t11254;
+fp t12716;
+fp t12264;
+fp t11205;
+fp t12715;
+fp t12401;
+fp t12108;
+fp t12104;
+fp t12714;
+fp t12105;
+fp t12713;
+fp t11397;
+fp t12712;
+fp t12711;
+fp t12114;
+fp t12710;
+fp t12709;
+fp t12188;
+fp t12708;
+fp t11408;
+fp t12707;
+fp t11771;
+fp t12706;
+fp t12228;
+fp t11383;
+fp t12704;
+fp t11824;
+fp t11755;
+fp t12703;
+fp t12015;
+fp t12702;
+fp t11268;
+fp t12701;
+fp t12700;
+fp t12369;
+fp t12140;
+fp t11284;
+fp t12699;
+fp t12216;
+fp t11571;
+fp t12698;
+fp t11372;
+fp t12697;
+fp t12296;
+fp t11322;
+fp t12329;
+fp t12161;
+fp t12696;
+fp t12365;
+fp t12695;
+fp t11220;
+fp t12694;
+fp t12125;
+fp t11368;
+fp t12693;
+fp t12157;
+fp t12048;
+fp t12692;
+fp t11370;
+fp t12691;
+fp t11829;
+fp t11864;
+fp t12690;
+fp t11722;
+fp t11527;
+fp t12689;
+fp t12203;
+fp t12035;
+fp t12688;
+fp t11759;
+fp t12288;
+fp t11255;
+fp t12687;
+fp t11297;
+fp t12082;
+fp t12686;
+fp t11262;
+fp t12012;
+fp t12064;
+fp t12685;
+fp t11367;
+fp t12006;
+fp t12684;
+fp t12683;
+fp t12311;
+fp t11447;
+fp t12121;
+fp t12356;
+fp t12682;
+fp t11435;
+fp t12251;
+fp t12110;
+fp t11467;
+fp t12681;
+fp t11351;
+fp t11706;
+fp t12143;
+fp t12680;
+fp t12010;
+fp t11335;
+fp t12679;
+fp t12271;
+fp t11577;
+fp t12055;
+fp t12678;
+fp t12388;
+fp t12115;
+fp t12677;
+fp t12166;
+fp t11400;
+fp t12676;
+fp t12324;
+fp t11316;
+fp t12350;
+fp t12183;
+fp t12675;
+fp t12674;
+fp t12232;
+fp t11535;
+fp t12389;
+fp t12361;
+fp t12235;
+fp t12085;
+fp t12673;
+fp t11324;
+fp t12672;
+fp t12363;
+fp t12063;
+fp t12671;
+fp t11601;
+fp t12670;
+fp t11541;
+fp t11489;
+fp t12021;
+fp t12669;
+fp t11845;
+fp t12173;
+fp t11650;
+fp t11843;
+fp t11511;
+fp t12395;
+fp t12354;
+fp t12668;
+fp t12381;
+fp t12159;
+fp t11563;
+fp t12667;
+fp t12666;
+fp t11476;
+fp t12357;
+fp t12665;
+fp t12664;
+fp t11998;
+fp t12112;
+fp t12663;
+fp t12662;
+fp t12661;
+fp t11842;
+fp t11836;
+fp t11850;
+fp t12229;
+fp t12191;
+fp t11860;
+fp t12660;
+fp t11283;
+fp t12659;
+fp t12658;
+fp t12219;
+fp t11442;
+fp t12657;
+fp t12656;
+fp t12072;
+fp t12655;
+fp t12654;
+fp t11291;
+fp t12653;
+fp t11328;
+fp t12018;
+fp t12652;
+fp t11782;
+fp t11256;
+fp t11784;
+fp t11997;
+fp t12103;
+fp t12651;
+fp t12292;
+fp t11340;
+fp t12650;
+fp t11302;
+fp t12649;
+fp t12386;
+fp t11259;
+fp t12095;
+fp t12648;
+fp t12647;
+fp t12186;
+fp t12646;
+fp t11346;
+fp t12645;
+fp t11600;
+fp t12079;
+fp t12644;
+fp t12027;
+fp t12643;
+fp t11281;
+fp t12642;
+fp t11833;
+fp t12086;
+fp t12218;
+fp t11514;
+fp t12226;
+fp t12641;
+fp t12013;
+fp t12640;
+fp t12142;
+fp t12639;
+fp t11477;
+fp t12066;
+fp t12638;
+fp t11338;
+fp t12637;
+fp t11603;
+fp t12160;
+fp t12359;
+fp t12636;
+fp t12635;
+fp t11731;
+fp t11673;
+fp t12634;
+fp t11531;
+fp t11353;
+fp t12633;
+fp t12051;
+fp t12000;
+fp t12632;
+fp t12039;
+fp t11521;
+fp t12631;
+fp t12630;
+fp t12261;
+fp t12067;
+fp t11783;
+fp t12313;
+fp t11777;
+fp t12075;
+fp t12629;
+fp t12628;
+fp t12089;
+fp t12043;
+fp t12627;
+fp t12626;
+fp t12138;
+fp t12625;
+fp t11386;
+fp t12355;
+fp t12624;
+fp t11636;
+fp t12167;
+fp t12362;
+fp t12623;
+fp t12278;
+fp t12178;
+fp t12622;
+fp t12621;
+fp t12620;
+fp t12243;
+fp t11288;
+fp t12033;
+fp t12619;
+fp t12254;
+fp t12192;
+fp t12618;
+fp t11591;
+fp t11576;
+fp t12274;
+fp t11561;
+fp t12144;
+fp t12617;
+fp t12283;
+fp t11484;
+fp t12291;
+fp t11457;
+fp t11472;
+fp t12616;
+fp t12615;
+fp t12614;
+fp t12230;
+fp t11381;
+fp t12022;
+fp t12613;
+fp t12612;
+fp t12611;
+fp t12402;
+fp t12148;
+fp t12610;
+fp t12339;
+fp t12609;
+fp t11710;
+fp t12147;
+fp t11356;
+fp t12084;
+fp t11463;
+fp t12608;
+fp t12607;
+fp t12372;
+fp t12128;
+fp t12606;
+fp t12605;
+fp t12604;
+fp t11357;
+fp t12603;
+fp t12602;
+fp t11781;
+fp t11788;
+fp t12601;
+fp t12600;
+fp t12215;
+fp t11348;
+fp t11538;
+fp t12599;
+fp t12598;
+fp t12597;
+fp t12011;
+fp t12596;
+fp t12595;
+fp t12594;
+fp t12593;
+fp t12118;
+fp t12592;
+fp t12591;
+fp t12590;
+fp t12119;
+fp t12083;
+fp t12589;
+fp t12028;
+fp t12135;
+fp t12588;
+fp t12155;
+fp t12169;
+fp t11620;
+fp t11979;
+fp t12587;
+fp t12586;
+fp t12358;
+fp t12585;
+fp t12370;
+fp t11560;
+fp t11359;
+fp t12584;
+fp t11487;
+fp t11517;
+fp t12583;
+fp t12071;
+fp t12582;
+fp t12581;
+fp t12580;
+fp t11265;
+fp t12579;
+fp t12578;
+fp t12577;
+fp t11719;
+fp t11507;
+fp t12576;
+fp t11700;
+fp t11465;
+fp t12297;
+fp t11417;
+fp t12106;
+fp t12575;
+fp t12574;
+fp t12573;
+fp t12572;
+fp t12571;
+fp t12570;
+fp t12569;
+fp t12568;
+fp t12260;
+fp t11309;
+fp t11960;
+fp t12293;
+fp t12567;
+fp t11371;
+fp t11962;
+fp t11506;
+fp t12566;
+fp t12565;
+fp t12564;
+fp t12185;
+fp t12563;
+fp t12562;
+fp t12561;
+fp t11640;
+fp t12560;
+fp t11512;
+fp t11509;
+fp t12559;
+fp t12558;
+fp t12557;
+fp t12152;
+fp t11596;
+fp t12556;
+fp t12555;
+fp t12554;
+fp t12102;
+fp t12553;
+fp t12552;
+fp t12551;
+fp t12550;
+fp t12098;
+fp t12549;
+fp t12174;
+fp t12179;
+fp t12548;
+fp t12547;
+fp t11519;
+fp t11425;
+fp t12546;
+fp t12545;
+fp t12100;
+fp t12093;
+fp t12165;
+fp t12544;
+fp t12189;
+fp t12543;
+fp t12364;
+fp t12542;
+fp t12117;
+fp t12541;
+fp t12007;
+fp t12540;
+fp t12539;
+fp t12538;
+fp t12537;
+fp t12290;
+fp t11557;
+fp t11778;
+fp t12134;
+fp t12536;
+fp t12535;
+fp t12534;
+fp t12533;
+fp t12532;
+fp t12531;
+fp t12530;
+fp t12529;
+fp t12528;
+fp t11455;
+fp t12527;
+fp t12312;
+fp t12526;
+fp t12525;
+fp t12524;
+fp t12175;
+fp t12523;
+fp t12522;
+fp t12266;
+fp t11495;
+fp t12038;
+fp t12521;
+fp t12520;
+fp t12233;
+fp t12034;
+fp t12519;
+fp t12518;
+fp t12517;
+fp t12516;
+fp t12107;
+fp t11478;
+fp t12515;
+fp t11859;
+fp t12163;
+fp t12514;
+fp t12513;
+fp t12026;
+fp t12122;
+fp t12512;
+fp t12511;
+fp t12510;
+fp t12509;
+fp t12508;
+fp t12507;
+fp t12506;
+fp t12505;
+fp t12504;
+fp t12503;
+fp t12502;
+fp t12501;
+fp t12151;
+fp t12002;
+fp t12500;
+fp t12017;
+fp t12499;
+fp t11580;
+fp t12498;
+fp t12497;
+fp t12347;
+fp t12049;
+fp t12190;
+fp t12496;
+fp t12001;
+fp t12495;
+fp t11264;
+fp t12494;
+fp t12493;
+fp t12492;
+fp t11994;
+fp t12491;
+fp t12336;
+fp t12041;
+fp t12009;
+fp t12490;
+fp t11558;
+fp t12489;
+fp t12488;
+fp t12094;
+fp t12487;
+fp t11325;
+fp t12168;
+fp t12137;
+fp t12486;
+fp t12485;
+fp t11757;
+fp t11761;
+fp t12073;
+fp t12484;
+fp t12483;
+fp t12482;
+fp t12481;
+fp t12480;
+fp t12277;
+fp t12133;
+fp t11613;
+fp t12479;
+fp t12478;
+fp t12477;
+fp t12476;
+fp t12158;
+fp t12475;
+fp t11735;
+fp t11630;
+fp t12474;
+fp t12473;
+fp t12472;
+fp t12471;
+fp t11402;
+fp t12470;
+fp t12469;
+fp t12468;
+fp t12467;
+fp t12466;
+fp t12465;
+fp t12464;
+fp t12463;
+fp t12462;
+fp t12461;
+fp t12460;
+fp t12077;
+fp t12459;
+fp t12458;
+fp t12457;
+fp t12456;
+fp t12455;
+fp t12334;
+fp t11483;
+fp t11583;
+fp t12454;
+fp t12453;
+fp t12452;
+fp t10451;
+fp t12451;
+fp t12450;
+fp t12449;
+fp t12448;
+fp t12447;
+fp t12446;
+fp t11369;
+fp t12445;
+fp t12444;
+fp t12443;
+fp t12442;
+fp t11654;
+fp t11660;
+fp t11536;
+fp t12441;
+fp t11981;
+fp t12440;
+fp t12439;
+fp t11626;
+fp t11458;
+fp t12438;
+fp t12396;
+fp t12437;
+fp t11832;
+fp t12194;
+fp t12060;
+fp t12436;
+fp t11523;
+fp t12435;
+fp t12315;
+fp t11490;
+fp t12434;
+fp t12096;
+fp t12433;
+fp t12276;
+fp t11547;
+fp t12432;
+fp t11582;
+fp t12431;
+fp t12430;
+fp t12429;
+fp t12025;
+fp t12068;
+fp t11713;
+fp t12428;
+fp t12427;
+fp t12252;
+fp t12426;
+fp t11598;
+fp t12425;
+fp t12424;
+fp t11723;
+fp t12391;
+fp t12423;
+fp t12422;
+fp t12421;
+fp t12420;
+fp t12419;
+fp t12097;
+fp t12418;
+fp t11572;
+fp t12417;
+fp t12416;
+fp t12415;
+fp t12414;
+fp t12413;
+fp t12412;
+fp t12411;
+fp t12410;
+fp t12299;
+fp t11569;
+fp t12409;
+fp t12408;
+fp t12407;
+fp t12406;
+fp t12345;
+fp t10342;
+fp t10375;
+fp t12341;
+fp t10419;
+fp t10357;
+fp t12332;
+fp t12331;
+fp t12310;
+fp t12305;
+fp t12295;
+fp t12294;
+fp t10556;
+fp t12286;
+fp t12258;
+fp t12247;
+fp t10416;
+fp t12217;
+fp t12170;
+fp t12164;
+fp t12078;
+fp t11433;
+fp t11993;
+fp t11992;
+fp t11991;
+fp t11988;
+fp t11987;
+fp t11985;
+fp t11984;
+fp t11983;
+fp t11980;
+fp t11978;
+fp t11977;
+fp t11976;
+fp t11975;
+fp t11790;
+fp t11974;
+fp t11973;
+fp t11802;
+fp t11857;
+fp t11801;
+fp t11972;
+fp t11971;
+fp t11776;
+fp t11970;
+fp t11969;
+fp t11968;
+fp t11871;
+fp t11967;
+fp t11966;
+fp t11965;
+fp t11964;
+fp t11770;
+fp t11810;
+fp t11855;
+fp t11963;
+fp t11961;
+fp t11959;
+fp t11958;
+fp t11957;
+fp t11956;
+fp t11955;
+fp t11954;
+fp t11953;
+fp t11952;
+fp t11951;
+fp t11950;
+fp t11754;
+fp t11949;
+fp t11772;
+fp t11948;
+fp t11947;
+fp t11946;
+fp t11945;
+fp t11944;
+fp t11943;
+fp t11942;
+fp t11941;
+fp t11940;
+fp t11939;
+fp t11938;
+fp t11937;
+fp t11786;
+fp t11936;
+fp t11935;
+fp t11934;
+fp t11933;
+fp t11932;
+fp t11931;
+fp t11930;
+fp t11929;
+fp t11928;
+fp t11927;
+fp t11926;
+fp t11925;
+fp t11924;
+fp t11923;
+fp t11922;
+fp t11921;
+fp t11920;
+fp t11919;
+fp t11918;
+fp t11917;
+fp t11916;
+fp t11915;
+fp t11914;
+fp t11913;
+fp t11912;
+fp t11911;
+fp t11910;
+fp t11909;
+fp t11908;
+fp t11907;
+fp t11906;
+fp t11905;
+fp t11904;
+fp t11903;
+fp t11902;
+fp t11901;
+fp t11900;
+fp t11899;
+fp t11898;
+fp t11897;
+fp t11896;
+fp t11895;
+fp t11894;
+fp t11893;
+fp t11892;
+fp t11891;
+fp t11890;
+fp t11889;
+fp t11888;
+fp t11868;
+fp t11858;
+fp t11856;
+fp t11851;
+fp t11849;
+fp t11830;
+fp t11826;
+fp t11818;
+fp t11817;
+fp t11805;
+fp t11804;
+fp t11773;
+fp t11769;
+ t11752 = RATIONAL(-1.0,3456.0);
+ t11751 = RATIONAL(1.0,3456.0);
+ t11876 = z*z;
+ t11880 = z*t11876;
+ t12847 = t11751*t11880+z*t11752;
+ t11877 = y*y;
+ t11882 = t11877*t11877;
+ t11756 = RATIONAL(-1.0,6912.0);
+ t11749 = RATIONAL(1.0,6912.0);
+ t12846 = t11882*t11756+t11877*t11749;
+ t11816 = RATIONAL(-1.0,54.0);
+ t11875 = x*x;
+ t11878 = t11875*x;
+ t12197 = t11816*t11878;
+ t12367 = z*t11878;
+ t11823 = RATIONAL(2.0,27.0);
+ t12124 = t11823*t12367;
+ t12845 = t11880*t12197+t12124;
+ t11799 = RATIONAL(-1.0,864.0);
+ t11766 = RATIONAL(1.0,864.0);
+ t12231 = t11882*t11766;
+ t12199 = t11882*t11880;
+ t12844 = t11799*t12199+z*t12231;
+ t11839 = RATIONAL(1.0,36.0);
+ t11854 = RATIONAL(1.0,9.0);
+ t12843 = t11854*t11880+t11839*t12199;
+ t11840 = RATIONAL(1.0,18.0);
+ t12378 = x*t11840;
+ t11853 = RATIONAL(-1.0,9.0);
+ t12842 = t12378+t11878*t11853;
+ t11753 = RATIONAL(-1.0,1728.0);
+ t11879 = y*t11877;
+ t11881 = t11876*t11876;
+ t12210 = t11879*t11881;
+ t11750 = RATIONAL(1.0,1728.0);
+ t12285 = t11876*t11750;
+ t12841 = t11753*t12210+t11879*t12285;
+ t11796 = RATIONAL(5.0,576.0);
+ t11795 = RATIONAL(-5.0,576.0);
+ t12325 = t11876*t11879;
+ t12400 = y*t11876;
+ t12840 = t11795*t12400+t11796*t12325;
+ t11806 = RATIONAL(-8.0,27.0);
+ t11873 = RATIONAL(2.0,9.0);
+ t12392 = y*t11875;
+ t12839 = t11873*t12392+y*t11806;
+ t11748 = RATIONAL(-1.0,1152.0);
+ t12206 = t11877*t11748;
+ t12092 = t11875*t12206;
+ t11760 = RATIONAL(1.0,1152.0);
+ t12280 = t11760*t11875;
+ t12040 = t11882*t12280;
+ t12838 = t12092+t12040;
+ t11808 = RATIONAL(-1.0,18.0);
+ t12384 = x*t11808;
+ t12318 = t11854*t11878;
+ t12837 = t12318+t12384;
+ t11847 = RATIONAL(1.0,72.0);
+ t12255 = t11847*t11878;
+ t11794 = RATIONAL(-1.0,144.0);
+ t12836 = t12255+x*t11794;
+ t12256 = t11876*t11878;
+ t12032 = t11823*t12256;
+ t11821 = RATIONAL(-4.0,27.0);
+ t12382 = x*t11821;
+ t12835 = t12032+t11876*t12382;
+ t11763 = RATIONAL(1.0,216.0);
+ t12221 = t11882*t11763;
+ t11791 = RATIONAL(-1.0,288.0);
+ t12281 = t11791*t11875;
+ t12057 = t11882*t12281;
+ t12834 = t12057+t12221;
+ t12322 = t11878*t11880;
+ t11664 = t11853*t12322;
+ t11874 = RATIONAL(4.0,9.0);
+ t12302 = t11874*t11878;
+ t12833 = t11664+z*t12302;
+ t12207 = t11882*t11748;
+ t12061 = t11875*t12207;
+ t12270 = t11877*t11875;
+ t12832 = t11760*t12270+t12061;
+ t11820 = RATIONAL(-2.0,27.0);
+ t12211 = t11880*t11820;
+ t11803 = RATIONAL(1.0,54.0);
+ t12831 = t11803*t12199+t11877*t12211;
+ t11846 = RATIONAL(-5.0,72.0);
+ t12234 = t11876*t11846;
+ t12830 = t12234+t11840;
+ t12238 = t11877*t11880;
+ t12829 = t11753*t12238+t11750*t12199;
+ t11213 = t11750*t12210;
+ t12250 = t11753*t11879;
+ t12828 = t11213+t11876*t12250;
+ t12375 = y*t11881;
+ t12827 = t11799*t12210+t11766*t12375;
+ t11809 = RATIONAL(-1.0,36.0);
+ t12826 = t11853*t11880+t11809*t12199;
+ t11513 = t11839*t12210;
+ t12825 = t11513+t11854*t11879;
+ t11462 = t11816*t12210;
+ t12212 = t11879*t11823;
+ t12824 = t11462+t11876*t12212;
+ t11736 = t11853*t11879;
+ t12823 = t11809*t12210+t11736;
+ t12822 = t11877*t11799+t12061;
+ t11764 = RATIONAL(1.0,432.0);
+ t12398 = z*t11882;
+ t11765 = RATIONAL(-1.0,432.0);
+ t12399 = z*t11877;
+ t12821 = t11764*t12398+t11765*t12399;
+ t11861 = RATIONAL(1.0,3.0);
+ t11869 = RATIONAL(-4.0,9.0);
+ t12820 = t11869+t11861*t11875;
+ t11811 = RATIONAL(1.0,27.0);
+ t12333 = t11811*t11879;
+ t12819 = y*t12382+x*t12333;
+ t12818 = t11765*t12375+t11764*t12400;
+ t12317 = t11869*t11878;
+ t12817 = y*t12317+t11879*t12318;
+ t12816 = t11796*t12399+t11795*t12238;
+ t12815 = t11879*t12280+t11748*t12392;
+ t12814 = t11882*t11823+t11873*t12270;
+ t11835 = RATIONAL(-1.0,24.0);
+ t12330 = t11835*t11875;
+ t11822 = RATIONAL(5.0,96.0);
+ t12304 = t11876*t11875;
+ t12014 = t11822*t12304;
+ t12813 = t12330+t12014;
+ t12812 = t11766*t12199+t11799*t12398;
+ t11828 = RATIONAL(1.0,48.0);
+ t12346 = t11828*t11875;
+ t12811 = t11794+t12346;
+ t12328 = t11880*t11875;
+ t11814 = RATIONAL(8.0,27.0);
+ t12810 = t11840*t12328+z*t11814;
+ t12289 = t11820*t11881;
+ t11439 = t11803*t12210;
+ t12809 = y*t12289+t11439;
+ t12808 = t11823*t12238+t11816*t12199;
+ t11837 = RATIONAL(1.0,24.0);
+ t12348 = t11837*t11875;
+ t11825 = RATIONAL(-5.0,96.0);
+ t12058 = t11825*t12304;
+ t12807 = t12058+t12348;
+ t12390 = x*RATIONAL(8.0,9.0);
+ t12376 = x*t11881;
+ t12806 = t11873*t12376+t12390;
+ t12239 = t11876*t11765;
+ t12237 = t11764*t11881;
+ t12805 = (t12239+t12237)*y;
+ t11844 = RATIONAL(-5.0,36.0);
+ t11440 = t11844*t12238;
+ t11872 = RATIONAL(5.0,9.0);
+ t12300 = t11877*t11872;
+ t12804 = t11440+z*t12300;
+ t12279 = t11803*t11881;
+ t11588 = y*t12279;
+ t11779 = RATIONAL(-1.0,216.0);
+ t11391 = t11779*t12210;
+ t12803 = t11588+t11391;
+ t12205 = t11766*t11879;
+ t11331 = t11881*t12205;
+ t12802 = t11799*t12375+t11331;
+ t12241 = t11882*t11765;
+ t12225 = t11877*t11764;
+ t12801 = (t12225+t12241)*z;
+ t12307 = t11882*t11875;
+ t11815 = RATIONAL(-1.0,12.0);
+ t12800 = t11854*t11882+t11815*t12307;
+ t12193 = t11839*t11875;
+ t12799 = t11882*t12193+t11853*t12270;
+ t11834 = RATIONAL(5.0,36.0);
+ t11414 = t11834*t12238;
+ t11866 = RATIONAL(-5.0,9.0);
+ t12798 = t11866*t12399+t11414;
+ t11831 = RATIONAL(-1.0,48.0);
+ t12262 = t11831*t11875;
+ t11780 = RATIONAL(5.0,192.0);
+ t12016 = t11780*t12304;
+ t12797 = t12016+t12262;
+ t11812 = RATIONAL(4.0,27.0);
+ t12374 = x*t11812;
+ t12796 = t11814*t12367+t11880*t12374;
+ t12795 = t12262+t11839;
+ t11762 = RATIONAL(-16.0,27.0);
+ t12405 = y*x;
+ t12794 = t11879*t12374+t11762*t12405;
+ t11789 = RATIONAL(1.0,288.0);
+ t11354 = t11789*t12210;
+ t12793 = t11354+t11847*t11879;
+ t12792 = t11795*t12399+t11796*t12238;
+ t12753 = y*t12302+t11878*t11736;
+ t11807 = RATIONAL(1.0,12.0);
+ t12272 = t11807*t11875;
+ t12791 = (t11853+t12272)*t11882;
+ t12790 = t11796*t12400+t11795*t12325;
+ t11295 = t11791*t12210;
+ t11800 = RATIONAL(-1.0,72.0);
+ t12789 = t11295+t11800*t11879;
+ t11200 = t11750*t12238;
+ t12788 = t11753*t12199+t11200;
+ t11785 = RATIONAL(-5.0,192.0);
+ t11787 = RATIONAL(1.0,192.0);
+ t12005 = t11787*t12307;
+ t12787 = t12005+t11785*t12270;
+ t12397 = x*t11882;
+ t12786 = t12390+t11873*t12397;
+ t11827 = RATIONAL(-1.0,96.0);
+ t11473 = t11827*t12307;
+ t12785 = t11473+t11822*t12270;
+ t11863 = RATIONAL(-1.0,3.0);
+ t12784 = t11874+t11863*t11875;
+ t11841 = RATIONAL(-10.0,9.0);
+ t11848 = RATIONAL(5.0,18.0);
+ t12385 = x*t11879;
+ t12783 = t11841*t12405+t11848*t12385;
+ t11792 = RATIONAL(-5.0,288.0);
+ t12162 = t11792*t12385;
+ t11768 = RATIONAL(5.0,288.0);
+ t12267 = t11794*t11878;
+ t12782 = t11768*t12405+y*t12267+t12162;
+ t12200 = t11876*t11760;
+ t11688 = t11791*t11881;
+ t12781 = t11789*t11876+t11882*t12200+t11688;
+ t11797 = RATIONAL(-1.0,576.0);
+ t12273 = t11882*t11797;
+ t11798 = RATIONAL(1.0,576.0);
+ t11793 = RATIONAL(1.0,144.0);
+ t11685 = t11793*t11880;
+ t12780 = t11798*t12199+t11685+z*t12273;
+ t11684 = t11789*t11877;
+ t12320 = t11877*t11881;
+ t12779 = t11791*t11882+t11760*t12320+t11684;
+ t12309 = t11752*t11876;
+ t12778 = t11879*t12309+t11752*t12375+(t12400+t12210)*t11751;
+ t12380 = z*t11751;
+ t12777 = t11752*t12199+t11882*t12380+t12847*t11877;
+ t12776 = t11752*t12238+t11877*t12380+t12847*t11882;
+ t12371 = z*t11879;
+ t12287 = t11880*t11750;
+ t12404 = y*z;
+ t12775 = t11750*t12371+y*t12287+t11753*t12404+t11880*t12250;
+ t12344 = t11877*t11876;
+ t12209 = t11882*t11749;
+ t12774 = t11756*t12344+t11876*t12209+t12846*t11881;
+ t12773 = t11752*t12210+y*t12309+(t12375+t12325)*t11751;
+ t12394 = y*t11880;
+ t12772 = t11750*t12404+t11753*t12394+t11879*t12287+z*t12250;
+ t12771 = t11794*t11880+t11793*z+t11797*t12199+t11798*t12398;
+ t11767 = RATIONAL(-5.0,144.0);
+ t12220 = t11882*t11767;
+ t11725 = t11808*t11877;
+ t12770 = x*t12220+t11878*t11725;
+ t11330 = t11789*t12199;
+ t12769 = t11330+t11847*t11880;
+ t11774 = RATIONAL(1.0,108.0);
+ t12338 = t11774*t11880;
+ t11387 = t11879*t12338;
+ t12265 = t11809*t11875;
+ t12156 = z*t12265;
+ t12768 = y*t12156+t11387;
+ t12298 = t11879*t11779;
+ t11285 = z*t12298;
+ t12090 = t11789*t12328;
+ t12767 = t11285+y*t12090;
+ t12766 = t11800*t11880+t11791*t12199;
+ t11852 = RATIONAL(1.0,6.0);
+ t11838 = RATIONAL(-5.0,24.0);
+ t12765 = t11852+t11838*t11877;
+ t12349 = t11879*t11875;
+ t12172 = z*t12349;
+ t11775 = RATIONAL(-1.0,108.0);
+ t12201 = t11775*t11880;
+ t11336 = y*t12201;
+ t12764 = t11336+t11839*t12172;
+ t12204 = t11878*t11840;
+ t11712 = t11808*t11879;
+ t11497 = t11878*t11712;
+ t12763 = y*t12204+t11497;
+ t12387 = y*t11799;
+ t11260 = t11880*t12387;
+ t12245 = t11847*t11875;
+ t12145 = z*t12245;
+ t12762 = t11260+t11879*t12145;
+ t12236 = t11791*t11878;
+ t12761 = t11795*t12397+t11877*t12236;
+ t12760 = t11878*t11684+t11796*t12397;
+ t11744 = t11854*t11881;
+ t12242 = t11875*t11881;
+ t12759 = t11744+t11815*t12242;
+ t11705 = t11800*t11881;
+ t12758 = t11877*t11705+t11725;
+ t12342 = t11808*t11878;
+ t11416 = y*t12342;
+ t11505 = t11879*t12204;
+ t12757 = t11416+t11505;
+ t11813 = RATIONAL(-1.0,27.0);
+ t12321 = t11813*t11880;
+ t12756 = y*t12321+t11793*t12172;
+ t11604 = t11811*t12404;
+ t11694 = t11794*t11879;
+ t12003 = t11880*t11694;
+ t12755 = t11875*t12003+t11604;
+ t12314 = t11882*t11876;
+ t12754 = t11808*t11876+t11800*t12314;
+ t12752 = t11831*t11882+t11815;
+ t12037 = t11880*t12193;
+ t11275 = t11775*t12371;
+ t12751 = y*t12037+t11275;
+ t12181 = t11768*t12397;
+ t11819 = RATIONAL(5.0,72.0);
+ t12284 = t11877*t11819;
+ t11559 = t11876*t12284;
+ t12263 = t11882*t11878;
+ t12062 = t11881*t12263;
+ t12337 = t11794*t12062+x*t11559;
+ t12019 = t11877*t12256;
+ t12750 = t12337+t11809*t12019+t11881*t12181;
+ t11867 = RATIONAL(5.0,6.0);
+ t11870 = RATIONAL(-2.0,3.0);
+ t12749 = t11867*t11876+t11870;
+ t12748 = t11798*t12210+t11793*t11879+t11797*t12375;
+ t12213 = t11879*t11765;
+ t12327 = t11797*t11875;
+ t12120 = y*t12327;
+ t12054 = t11798*t12242;
+ t12747 = y*t12054+(t12213+t12120)*t11876;
+ t12301 = t11879*t11763;
+ t11342 = z*t12301;
+ t12222 = t11766*t11880;
+ t11343 = y*t12222;
+ t12335 = t11878*t11765;
+ t12126 = y*t12335;
+ t12746 = t11880*t12126+(t11343+t11342)*x;
+ t11276 = t11774*t12325;
+ t11726 = t11809*t11881;
+ t12184 = y*t11726;
+ t12187 = y*t12304;
+ t12745 = t11875*t12184+t11854*t12187+t11276;
+ t12323 = t11794*t11875;
+ t12141 = y*t12323;
+ t12744 = t11876*t12141+t12828;
+ t12080 = t11876*t12193;
+ t11329 = t11775*t12210;
+ t12743 = y*t12080+t11811*t12325+t11329;
+ t11995 = t11798*t12270;
+ t12111 = z*t12307;
+ t12742 = t11797*t12111+t11880*t12225+z*t11995;
+ t12269 = t11877*t11793;
+ t12047 = t11875*t12269;
+ t12741 = z*t12047+t12788;
+ t12383 = y*t11763;
+ t11300 = t11880*t12383;
+ t11267 = z*t12205;
+ t12031 = t11878*t12213;
+ t12740 = z*t12031+(t11300+t11267)*x;
+ t11393 = t11877*t12201;
+ t12244 = t11774*t11878;
+ t12130 = z*t12244;
+ t12739 = t11878*t11393+t11877*t12130+t12844*x;
+ t11355 = t11882*t12239;
+ t11226 = t11753*t12320;
+ t12044 = t11793*t12307;
+ t12738 = t11355+t11226+t11881*t11995+t11876*t12044;
+ t12737 = t12751+t12756;
+ t11361 = t11775*t12199;
+ t12319 = t11877*t11803;
+ t11485 = z*t12319;
+ t12171 = t11811*t12397;
+ t12259 = t11779*t11880;
+ t12046 = t11878*t12259;
+ t12736 = z*t12171+t11878*t11485+t11877*t12046+x*t11361;
+ t10549 = t11878*t11275;
+ t12735 = t10549+t12746;
+ t12246 = t11764*t11879;
+ t11290 = t11880*t12246;
+ t12373 = y*t11853;
+ t12180 = t11875*t12373;
+ t12734 = z*t12180+t11290+t12764;
+ t12326 = t11775*t11881;
+ t12123 = x*t12326;
+ t12056 = t11803*t12256;
+ t12227 = t11878*t11820;
+ t12050 = t11876*t12227;
+ t11296 = t11764*t12210;
+ t12733 = t11879*t12056+x*t11296+(t12050+t12123)*y;
+ t11315 = t11779*t12199;
+ t12403 = x*z;
+ t12053 = t11877*t12335;
+ t12074 = t11878*t12225;
+ t12732 = t12221*t12403+z*t12074+t11880*t12053+x*t11315;
+ t11999 = t11877*t12242;
+ t12076 = t11882*t12304;
+ t12731 = t11764*t12314+t11794*t12076+t11797*t11999+t11750*t12320;
+ t12045 = t11876*t12273;
+ t12730 = t11881*t12225+t11882*t12285+t11875*t12045+t11794*t11999;
+ t12729 = t11793*y+t11797*t12210+t11694+t11798*t12375;
+ t11204 = t11753*t12314;
+ t12069 = t11798*t12304;
+ t11407 = t11765*t12320;
+ t12728 = t11204+t11793*t11999+t11407+t11882*t12069;
+ t12059 = t11875*t11685;
+ t12268 = t11879*t11813;
+ t12727 = z*t12268+y*t12059+t12764;
+ t11364 = t11774*t12210;
+ t12070 = t11876*t12197;
+ t12177 = t11813*t12376;
+ t12224 = t11878*t11763;
+ t12029 = t11876*t12224;
+ t12726 = x*t11364+t11879*t12029+(t12177+t12070)*y;
+ t11366 = t11765*t12199;
+ t12202 = t11882*t11774;
+ t11385 = z*t12202;
+ t12725 = t12845*t11877+(t11366+t11385)*x;
+ t12306 = t11877*t11846;
+ t12113 = x*t12306;
+ t12196 = t11793*t11878;
+ t12020 = t11876*t12196;
+ t12724 = t11882*t12020+t11881*t12113;
+ t12146 = y*t12193;
+ t11269 = t11879*t12201;
+ t12723 = z*t12146+t11269;
+ t11363 = t11876*t12202;
+ t12248 = t11816*t11881;
+ t11586 = t11877*t12248;
+ t12722 = x*t11363+t11878*t11586;
+ t12257 = t11792*t11876;
+ t11282 = t11882*t12257;
+ t12065 = t11878*t12320;
+ t12721 = t11839*t12065+x*t11282;
+ t12030 = t11879*t12281;
+ t11410 = z*t12383;
+ t12720 = t11880*t12030+t11410;
+ t12240 = t11839*t11878;
+ t11488 = t11876*t12240;
+ t12208 = t11792*t11877;
+ t11308 = t11881*t12208;
+ t12719 = x*t11308+t11882*t11488;
+ t12253 = t11809*t11880;
+ t12004 = t11875*t12253;
+ t11317 = t11774*t12371;
+ t12718 = y*t12004+t11317;
+ t12366 = z*t11779;
+ t11337 = y*t12366;
+ t12088 = t11879*t12328;
+ t12717 = t11337+t11789*t12088;
+ t11758 = RATIONAL(5.0,1152.0);
+ t12249 = t11877*t11758;
+ t11254 = t11881*t12249;
+ t12716 = t11878*t12045+x*t11254;
+ t12264 = t11882*t11881;
+ t11205 = t11750*t12264;
+ t12715 = t11779*t12019+x*t11205;
+ t12401 = x*t11877;
+ t12108 = t11848*t12401;
+ t12104 = t11882*t12256;
+ t12714 = t11853*t12104+t11881*t12108;
+ t12105 = t11880*t12281;
+ t12713 = t11342+y*t12105;
+ t11397 = y*t12259;
+ t12712 = t11789*t12172+t11397;
+ t12711 = t11300+z*t12030;
+ t12114 = x*t12344;
+ t12710 = t11841*t12114+t11839*t12062;
+ t12709 = t11803*t12019+t11882*t12123;
+ t12188 = x*t12264;
+ t12708 = t11785*t12188+t11822*t12019;
+ t11408 = t11876*t12225;
+ t12707 = t11799*t12062+x*t11408;
+ t11771 = RATIONAL(25.0,12.0);
+ t12706 = t11835*t12062+t11771*t12114;
+ t12228 = t11774*t11881;
+ t11383 = t11877*t12228;
+ t12704 = t11882*t12070+x*t11383;
+ t11824 = RATIONAL(1.0,96.0);
+ t11755 = RATIONAL(-25.0,192.0);
+ t12703 = t11824*t12062+t11755*t12114;
+ t12015 = t11878*t12221;
+ t12702 = t11876*t12015+x*t11226;
+ t11268 = t11766*t12320;
+ t12701 = t11878*t11268+x*t11355;
+ t12700 = t11808*t12188+t11872*t12019;
+ t12369 = z*t11875;
+ t12140 = t11800*t12369;
+ t11284 = t11880*t12205;
+ t12699 = y*t12140+t11284;
+ t12216 = t11877*t11813;
+ t11571 = t11876*t12216;
+ t12698 = x*t11571+t11881*t12015;
+ t11372 = t11789*t12264;
+ t12697 = t11844*t12019+x*t11372;
+ t12296 = t11779*t11881;
+ t11322 = t11877*t12296;
+ t12329 = t11876*t11811;
+ t12161 = x*t12329;
+ t12696 = t11882*t12161+t11878*t11322;
+ t12365 = y*t11813;
+ t12695 = z*t12365+t11879*t12059;
+ t11220 = t11758*t12314;
+ t12694 = x*t11220+t11797*t12065;
+ t12125 = x*t12234;
+ t11368 = t11881*t12196;
+ t12693 = t11882*t12125+t11877*t11368;
+ t12157 = t11811*t12376;
+ t12048 = t11779*t12263;
+ t12692 = t11876*t12048+t11877*t12157;
+ t11370 = t11881*t12241;
+ t12691 = t11823*t12019+x*t11370;
+ t11829 = RATIONAL(5.0,48.0);
+ t11864 = RATIONAL(-5.0,6.0);
+ t12690 = t11864*t12019+t11829*t12188;
+ t11722 = t11847*t11881;
+ t11527 = x*t11722;
+ t12689 = t11882*t11527+t11767*t12019;
+ t12203 = t11766*t11876;
+ t12035 = t11878*t12203;
+ t12688 = x*t11407+t11882*t12035;
+ t11759 = RATIONAL(-5.0,1152.0);
+ t12288 = t11876*t11759;
+ t11255 = t11877*t12288;
+ t12687 = t11798*t12062+x*t11255;
+ t11297 = t11763*t12238;
+ t12082 = t11877*t12245;
+ t12686 = t11297+z*t12082+t11875*t11330;
+ t11262 = t11876*t12298;
+ t12012 = t11875*t12210;
+ t12064 = t11800*t12304;
+ t12685 = t11262+y*t12064+t11791*t12012;
+ t11367 = y*t12338;
+ t12006 = t11879*t12322;
+ t12684 = t11763*t12006+(t11367+t11317)*x;
+ t12683 = t11779*t12006+(t11336+t11275)*x;
+ t12311 = t11823*t11880;
+ t11447 = y*t12311;
+ t12121 = t11878*t12365;
+ t12356 = x*t12371;
+ t12682 = x*t11447+t11880*t12121+t11803*t12356;
+ t11435 = t11811*t12394;
+ t12251 = t11816*t11879;
+ t12110 = z*t12251;
+ t11467 = y*t12211;
+ t12681 = t11878*t11435+(t11467+t12110)*x;
+ t11351 = t11774*t12199;
+ t11706 = t11809*t11877;
+ t12143 = z*t11706;
+ t12680 = t11351+t11880*t12216+t11875*t12143;
+ t12010 = t11800*t12270;
+ t11335 = t11779*t12238;
+ t12679 = z*t12010+t11880*t12057+t11335;
+ t12271 = t11803*t11880;
+ t11577 = z*t12212;
+ t12055 = t11878*t12268;
+ t12678 = t12271*t12405+x*t11577+z*t12055;
+ t12388 = y*t11878;
+ t12115 = t11764*t12388;
+ t12677 = t11880*t12115+(t11260+t11285)*x;
+ t12166 = y*t12245;
+ t11400 = t11876*t12301;
+ t12676 = t11876*t12166+t11789*t12012+t11400;
+ t12324 = t11879*t11799;
+ t11316 = z*t12324;
+ t12350 = t11879*t11878;
+ t12183 = z*t12350;
+ t12675 = t11764*t12183+(t11397+t11316)*x;
+ t12674 = t11393+t12799*z;
+ t12232 = t11879*t11820;
+ t11535 = z*t12232;
+ t12389 = x*t11880;
+ t12361 = y*t12389;
+ t12235 = t11811*t11878;
+ t12085 = t11879*t12235;
+ t12673 = z*t12085+t11816*t12361+x*t11535;
+ t11324 = t11876*t12383;
+ t12672 = (t12115+t12031)*t11881+(t11262+t11324)*x;
+ t12363 = x*t12375;
+ t12063 = t11764*t12256;
+ t12671 = x*t11391+t11876*t12031+t11763*t12363+y*t12063;
+ t11601 = z*t12216;
+ t12670 = t11877*t12004+t11880*t12044+t11601+t11385;
+ t11541 = y*t12248;
+ t11489 = t11876*t12365;
+ t12021 = t11881*t12224;
+ t12669 = t11878*t11541+t11879*t12021+(t11489+t11276)*x;
+ t11845 = RATIONAL(-5.0,18.0);
+ t12173 = t11845*t12385;
+ t11650 = t11878*t11744;
+ t11843 = RATIONAL(10.0,9.0);
+ t11511 = t11878*t11726;
+ t12395 = x*t11876;
+ t12354 = y*t12395;
+ t12668 = t11843*t12354+y*t11650+t11876*t12173+t11879*t11511;
+ t12381 = z*t11820;
+ t12159 = y*t12235;
+ t11563 = t11880*t12251;
+ t12667 = z*t12159+t12381*t12405+t11774*t12006+x*t11563;
+ t12666 = t12834*t11881+(t12010+t12319)*t11876;
+ t11476 = t11879*t12271;
+ t12357 = t11823*t12403;
+ t12665 = y*t12357+x*t11476+z*t12121+t11775*t12006;
+ t12664 = t12692+t12722;
+ t11998 = t11878*t12199;
+ t12112 = z*t12263;
+ t12663 = t11791*t12112+t11789*t11998+t12792*x;
+ t12662 = t12702+t12715;
+ t12661 = t12751+t12755;
+ t11842 = RATIONAL(5.0,24.0);
+ t11836 = RATIONAL(-5.0,12.0);
+ t11850 = RATIONAL(-1.0,6.0);
+ t12229 = t11850*t11881;
+ t12191 = x*t12314;
+ t11860 = RATIONAL(-5.0,3.0);
+ t12660 = t11842*t12065+t11836*t12191+t11860*t12395+t11878*t12229;
+ t11283 = t11882*t12237;
+ t12659 = x*t11283+t11799*t12019+t12688;
+ t12658 = t11880*t12301+t12281*t12404+t12712;
+ t12219 = t11877*t11811;
+ t11442 = z*t12219;
+ t12657 = t11803*t12112+t11779*t11998+(t11442+t11393)*x;
+ t12656 = t11847*t11999+t11789*t12076+t11586+t11779*t12314;
+ t12072 = t11800*t12328;
+ t12655 = t11267+y*t12072+t12711;
+ t12654 = t10549+t12682;
+ t11291 = t11774*t12238;
+ t12653 = t11816*t12112+t11763*t11998+(t11601+t11291)*x;
+ t11328 = y*t12228;
+ t12018 = t11876*t12265;
+ t12652 = t11328+t11489+t11879*t12018+t11793*t12012;
+ t11782 = RATIONAL(5.0,384.0);
+ t11256 = t11881*t12207;
+ t11784 = RATIONAL(1.0,384.0);
+ t11997 = t11784*t12307;
+ t12103 = t11876*t12270;
+ t12651 = t11255+t11256+t11782*t12103+t11881*t11997;
+ t12292 = t11877*t11763;
+ t11340 = z*t12292;
+ t12650 = t11764*t12112+t11765*t11998+(t11335+t11340)*x;
+ t11302 = t11877*t12366;
+ t12649 = t11764*t11998+t11765*t12112+(t11302+t11297)*x;
+ t12386 = z*t11775;
+ t11259 = t11882*t12386;
+ t12095 = t11880*t12323;
+ t12648 = t11877*t12037+t11259+t11442+t11882*t12095;
+ t12647 = t11789*t12112+t11791*t11998+t12816*x;
+ t12186 = t11844*t12399;
+ t12646 = t11800*t12112+t11847*t11998+(t12186+t11414)*x;
+ t11346 = t11794*t12264;
+ t12645 = t11346+t11877*t12016+t11767*t12344+t11881*t12005;
+ t11600 = t11824*t12242;
+ t12079 = t11842*t12304;
+ t12644 = t11791*t12264+t11882*t11600+(t12079+t12234)*t11877;
+ t12027 = t11882*t12245;
+ t12643 = t11322+t11816*t12314+t11876*t12027+t11789*t11999;
+ t11281 = y*t12326;
+ t12642 = y*t12329+t11879*t12080+t11794*t12012+t11281;
+ t11833 = RATIONAL(5.0,12.0);
+ t12086 = t11833*t12270;
+ t12218 = t11828*t11881;
+ t11514 = t11875*t12218;
+ t12226 = t11866*t11876;
+ t12641 = t11809*t12264+t11876*t12086+t11877*t12226+t11882*t11514;
+ t12013 = t11879*t12327;
+ t12640 = t11876*t12013+t11798*t12012+t12805;
+ t12142 = y*t11688;
+ t12639 = (t11354+t12142)*t11878+t12840*x;
+ t11477 = t11831*t12242;
+ t12066 = t11836*t12270;
+ t12638 = t11839*t12264+t11882*t11477+(t12300+t12066)*t11876;
+ t11338 = t11880*t12324;
+ t12637 = t11338+y*t12145+t12717;
+ t11603 = z*t12204;
+ t12160 = t11767*t12385;
+ t12359 = t11844*t12405;
+ t12636 = t11847*t12006+z*t12359+y*t11603+t11880*t12160;
+ t12635 = t11879*t12156+t11367+t12695;
+ t11731 = t11853*t11881;
+ t11673 = y*t11731;
+ t12634 = (t11673+t11513)*t11878+t12783*t11876;
+ t11531 = z*t12284;
+ t11353 = t11880*t12208;
+ t12633 = t11794*t11998+t11839*t12112+(t11531+t11353)*x;
+ t12051 = t11798*t12328;
+ t12000 = t11797*t12270;
+ t12632 = t11882*t12051+t11880*t12000+t12821;
+ t12039 = t11838*t12270;
+ t11521 = t11827*t12242;
+ t12631 = t11372+t11876*t12039+t11882*t11521+t11559;
+ t12630 = t11343+t11879*t12140+t12713;
+ t12261 = t11785*t11876;
+ t12067 = t11875*t12261;
+ t11783 = RATIONAL(5.0,144.0);
+ t12313 = t11877*t11783;
+ t11777 = RATIONAL(-1.0,192.0);
+ t12075 = t11777*t12307;
+ t12629 = t11876*t12313+t11793*t12264+t11877*t12067+t11881*t12075;
+ t12628 = t12691+t12722;
+ t12089 = t11882*t12242;
+ t12043 = t11794*t12270;
+ t12627 = t11408+t11205+t11797*t12089+t11876*t12043;
+ t12626 = t11877*t12021+x*t11204+t12688;
+ t12138 = t11775*t12388;
+ t12625 = z*t12138+t11765*t12006+(t11410+t11284)*x;
+ t11386 = t11880*t12213;
+ t12355 = y*t12369;
+ t12624 = t11854*t12355+t11386+t12718;
+ t11636 = t11854*t12263;
+ t12167 = t11845*t12389;
+ t12362 = x*t12399;
+ t12623 = z*t11636+t11877*t12167+t11843*t12362+t11809*t11998;
+ t12278 = t11877*t11834;
+ t12178 = z*t12278;
+ t12622 = t11847*t12112+t11800*t11998+(t11440+t12178)*x;
+ t12621 = t12720+t12767;
+ t12620 = t12755+t12768;
+ t12243 = t11876*t11768;
+ t11288 = t11879*t12243;
+ t12033 = t11879*t12196;
+ t12619 = x*t11288+t11881*t12033+(t11511+t12125)*y;
+ t12254 = t11837*t11878;
+ t12192 = t11829*t11876;
+ t12618 = t11881*t12254+x*t12192+t11825*t12065+t11780*t12191;
+ t11591 = t11800*t12210;
+ t11576 = y*t11722;
+ t12274 = t11844*t11879;
+ t11561 = t11876*t12274;
+ t12144 = t11834*t12400;
+ t12617 = (t11591+t11576)*t11878+(t11561+t12144)*x;
+ t12283 = t11844*t11876;
+ t11484 = y*t11705;
+ t12291 = t11834*t11879;
+ t11457 = t11876*t12291;
+ t11472 = t11847*t12210;
+ t12616 = x*t11457+t12283*t12405+(t11472+t11484)*t11878;
+ t12615 = t12698+t12704;
+ t12614 = t12699+t12762;
+ t12230 = t11876*t11775;
+ t11381 = t11879*t12230;
+ t12022 = t11876*t12244;
+ t12613 = t11878*t11381+y*t12022+t12827*x;
+ t12612 = z*t12333+y*t12095+t12723;
+ t12611 = t11876*t12047+t11877*t12239+t11882*t12054+t11753*t12264;
+ t12402 = y*t12403;
+ t12148 = t11783*t12389;
+ t12610 = z*t11416+t11800*t12006+t11879*t12148+t11834*t12402;
+ t12339 = t11816*t11876;
+ t12609 = t11877*t12339+t11876*t12082+t11789*t12089+t11779*t12264;
+ t11710 = t11839*t11881;
+ t12147 = y*t11710;
+ t11356 = t11879*t12257;
+ t12084 = t11879*t12267;
+ t11463 = t11819*t12400;
+ t12608 = t11878*t12147+t11881*t12084+(t11463+t11356)*x;
+ t12607 = t11797*t12012+t11879*t12069+t12818;
+ t12372 = y*t11789;
+ t12128 = t11878*t12372;
+ t12606 = t11881*t12128+t11878*t11295+t12790*x;
+ t12605 = t12701+t12702;
+ t12604 = t12696+t12704;
+ t11357 = t11779*t12400;
+ t12603 = t11881*t12126+t11878*t11296+(t11400+t11357)*x;
+ t12602 = y*t12130+t11764*t12006+(t11338+t11337)*x;
+ t11781 = RATIONAL(-1.0,384.0);
+ t11788 = RATIONAL(-5.0,384.0);
+ t12601 = t11760*t12264+t11876*t12249+t11781*t12089+t11788*t12103;
+ t12600 = t12699+t12720;
+ t12215 = t11877*t11768;
+ t11348 = t11880*t12215;
+ t11538 = t11809*t12263;
+ t12599 = x*t11348+t11793*t11998+(t12113+t11538)*z;
+ t12598 = t12707+t12715;
+ t12597 = t11853*t12112+t11880*t12108+t11841*t12362+t11839*t11998;
+ t12011 = t11880*t12327;
+ t12596 = t11880*t11995+t11882*t12011+t12801;
+ t12595 = y*t12161+x*t11381+t12803*t11878;
+ t12594 = t12698+t12709;
+ t12593 = t12701+t12707;
+ t12118 = z*t12224;
+ t12592 = t11879*t12118+t11774*t12402+x*t11387+(t11300+t11337)*t11878;
+ t12591 = t11878*t11285+x*t11269+t12386*t12405+(t12118+t12046)*y;
+ t12590 = t11357+t11879*t12064+t11875*t12142+t12827;
+ t12119 = t11875*t12372;
+ t12083 = t11879*t12304;
+ t12589 = t11324+t11881*t12119+t11847*t12083+t12802;
+ t12028 = t11878*t12271;
+ t12135 = z*t12227;
+ t12588 = t11803*t12183+(t12028+t12135)*y+(t11290+t11604)*x;
+ t12155 = t11846*t12397;
+ t12169 = t11848*t12397;
+ t11620 = t11877*t11731;
+ t11979 = t11878*t11620+t11876*t12169+t12710;
+ t12587 = t11874*t12019+t11881*t12155+t11979+t12714;
+ t12586 = t12724+t12721+t12750;
+ t12358 = t11813*t12403;
+ t12585 = t11878*t12110+x*t11386+(t12358+t12845)*y;
+ t12370 = z*t11816;
+ t11560 = t11882*t12370;
+ t11359 = t11763*t12199;
+ t12584 = z*t12027+t11560+t11485+t11877*t12090+t11359;
+ t11487 = t11803*t12398;
+ t11517 = t11877*t12370;
+ t12583 = t11315+t11800*t12111+t11877*t12105+t11487+t11517;
+ t12071 = t11800*t12242;
+ t12582 = t11876*t12030+(t12339+t12071)*y+t12803;
+ t12581 = t11880*t12010+t11302+z*t12057+t12844;
+ t12580 = t12719+t12693+t12750;
+ t11265 = t11763*t12210;
+ t12579 = t11541+t11265+t11875*t11576+t11789*t12083+t11803*t12400;
+ t12578 = t12687+t12694+t11759*t12188+t11798*t12019+t12716;
+ t12577 = t11880*t12082+t11340+t11789*t12111+t12812;
+ t11719 = t11800*t11882;
+ t11507 = z*t11719;
+ t12576 = t11835*t12328+t11808*z+t11531+t11507+t12785*t11880;
+ t11700 = t11847*t11882;
+ t11465 = z*t11700;
+ t12297 = t11824*t11875;
+ t11417 = t11882*t12297;
+ t12106 = t11875*t12238;
+ t12575 = t11825*t12106+t11465+t11880*t11417+t11837*t12328+(t11840+t12306)
+*z;
+ t12574 = t11808*y+t11463+t11827*t12012+t11484+t12813*t11879;
+ t12573 = t11576+t11824*t12012+t12807*t11879+t12830*y;
+ t12572 = z*t12043+t12596+t12829;
+ t12571 = t12607+t12744;
+ t12570 = t11381+t11881*t12146+t11876*t12180+t12642;
+ t12569 = t11765*t12238+t11798*t12111+z*t12000+t12596;
+ t12568 = t12665+t12681;
+ t12260 = t11882*t11783;
+ t11309 = t11876*t12260;
+ t11960 = t11538+t11878*t11309+t12337+t12758*x;
+ t12293 = t11877*t11854;
+ t12567 = t11960+t11878*t12293+x*t11700+t12697+t12721;
+ t11371 = t11881*t12313;
+ t11962 = t12337+t11878*t11371+t11511+t12754*x;
+ t11506 = t11840*t12376;
+ t12566 = t11962+t11506+t11488+t12689+t12724;
+ t12565 = t12625+t12677;
+ t12564 = t12625+t12675;
+ t12185 = t11793*t12392;
+ t12563 = t11876*t12185+t12640+t12841;
+ t12562 = t12648+t12674;
+ t12561 = t12652+t12743;
+ t11640 = t11854*t12256;
+ t12560 = t11962+t11640+t11527+t12697+t12719;
+ t11512 = t11877*t12240;
+ t11509 = t11882*t12378;
+ t12559 = t11960+t11512+t11509+t12689+t12693;
+ t12558 = t11364+y*t12018+t11876*t12268+t12642;
+ t12557 = t12652+t12745;
+ t12152 = z*t12270;
+ t11596 = t11880*t12219;
+ t12556 = t11839*t12152+t11361+t11596+t12670;
+ t12555 = y*t12069+t11881*t12120+t11876*t12246+t12640;
+ t12554 = t12665+t12673;
+ t12102 = t11854*t12270;
+ t12553 = t11291+z*t12102+t11809*t12111+t12670;
+ t12552 = t12632+t12741;
+ t12551 = t12648+t12680;
+ t12550 = t11798*t12355+y*t12011+t11879*t12051+z*t12013+t12775;
+ t12098 = t11878*t12238;
+ t12549 = t11766*t11998+z*t12048+t11799*t12098+t11877*t12118+(t12788+
+t12821)*x;
+ t12174 = y*t12256;
+ t12179 = x*t12210;
+ t12548 = t11846*t12363+t11768*t12179+t11879*t12020+t11809*t12174+t12608;
+ t12547 = t12595+t12726;
+ t11519 = t11880*t12204;
+ t11425 = t11879*t12255;
+ t12546 = t12610+t11880*t12359+y*t11519+(t12160+t11425)*z;
+ t12545 = z*t12119+t11879*t12259+t12711+t12713+t12717;
+ t12100 = t11879*t12256;
+ t12093 = t11876*t12236;
+ t12165 = t11796*t12376;
+ t12544 = y*t12093+t11795*t12363+t11789*t12100+t11879*t12165+t12606;
+ t12189 = y*t12242;
+ t12543 = t11748*t12012+t11760*t12189+t12815*t11876+t12778;
+ t12364 = z*t12397;
+ t12542 = z*t12053+t11779*t12364+x*t11359+t11880*t12074+t12650;
+ t12117 = x*t12321;
+ t12541 = t11803*t12006+t11878*t11467+(t12117+t12135)*t11879+t12794*z+
+t12796*y;
+ t12007 = t11880*t12196;
+ t12540 = t11878*t12143+z*t12155+t11877*t12007+t11880*t12181+t12633;
+ t12539 = z*t12084+t12196*t12404+t11793*t12006+t11768*t12356+t11792*t12402
++t12782*t11880;
+ t12538 = t12598+t12626;
+ t12537 = t12627+t12728;
+ t12290 = t11823*t11881;
+ t11557 = t11877*t12290;
+ t11778 = RATIONAL(16.0,27.0);
+ t12134 = t11877*t12382;
+ t12536 = t11881*t12134+t11878*t11557+t11778*t12114+t11816*t12062+t11806*
+t12019+(t12157+t12835)*t11882;
+ t12535 = t12649+t12732;
+ t12534 = t12669+x*t11329+t11878*t11262+(t12056+t12157)*y;
+ t12533 = t12582+t12676;
+ t12532 = t12630+t12637;
+ t12531 = (t12062+t12019)*t11751+(t12104+t12065)*t11752+t12774*x;
+ t12530 = t12649+t12739;
+ t12529 = t12661+t12734;
+ t12528 = t12653+t12725;
+ t11455 = t11880*t12255;
+ t12527 = t12274*t12403+y*t11455+z*t11505+t11767*t12361+t12610;
+ t12312 = t11876*t11820;
+ t12526 = t12312*t12405+(t11364+t11281)*t11878+(t12159+t12055)*t11876+(
+t11588+t12824)*x;
+ t12525 = t12611+t12731;
+ t12524 = t11366+t12553;
+ t12175 = t11880*t12385;
+ t12523 = y*t11664+t11839*t12006+t11846*t12175+t11848*t12361+(t12783+
+t12753)*z;
+ t12522 = t12637+t12655;
+ t12266 = t11877*t11806;
+ t11495 = z*t12266;
+ t12038 = t11878*t12311;
+ t12521 = t11823*t12112+t11821*t12364+t11878*t11495+t11816*t11998+t11778*
+t12362+t11877*t12038+(t12134+t12171)*t11880;
+ t12520 = t12603+t12671;
+ t12233 = t11808*t11875;
+ t12034 = t11880*t12233;
+ t12519 = t11495+t11880*t12027+t11808*t12111+t11877*t12034+t12814*z+t12808
+;
+ t12518 = t12607+t12649;
+ t12517 = t12653+t12736;
+ t12516 = t12603+t12613;
+ t12107 = t11806*t12388;
+ t11478 = y*t12290;
+ t12515 = t11876*t12107+t11778*t12354+t12819*t11881+(t11478+t11462)*t11878
++t12835*t11879;
+ t11859 = RATIONAL(-2.0,9.0);
+ t12163 = t11859*t12392;
+ t12514 = t11535+t11879*t12072+t11840*t12172+z*t12163+t11467+t11476+t12810
+*y;
+ t12513 = t11879*t12011+y*t12051+t11798*t12172+z*t12120+t12772;
+ t12026 = t11878*t12324;
+ t12122 = y*t12296;
+ t12512 = y*t12029+t11876*t12026+(t11331+t12122)*t11878+(t12805+t12841)*x;
+ t12511 = t12627+t12738;
+ t12510 = y*t12038+t11879*t12124+t11821*t12356+t11778*t12402+z*t12107+
+t11816*t12006+t12819*t11880;
+ t12509 = t11366+t12632+t12742;
+ t12508 = t12672+t11876*t12126+t11879*t12063+(t11265+t12122)*x;
+ t12507 = t12595+t12733;
+ t12506 = t12588+t12683;
+ t12505 = t12590+t12676;
+ t12504 = t12593+t12659;
+ t12503 = t11878*t11357+t11881*t12026+y*t12021+t11879*t12035+(t12818+
+t12828)*x;
+ t12502 = t12615+t12628;
+ t12501 = t11775*t12320+t11882*t12230+t11283+t11839*t11999+t11875*t11346+(
+t12219+t12799)*t11876;
+ t12151 = t11878*t12375;
+ t12002 = t11753*t12256;
+ t12500 = t11878*t11213+t11750*t12174+t11879*t12002+t11753*t12151+t12773*x
+;
+ t12017 = t11875*t12200;
+ t12499 = t11760*t11999+t11799*t12314+t11882*t12017+t11876*t12092+t11877*
+t12203+(t12231+t12822)*t11881;
+ t11580 = t11800*t12322;
+ t12498 = z*t11497+t12291*t12403+t12636+(t11580+t12148)*y;
+ t12497 = t11876*t12138+t11879*t12022+t12672+t12802*x;
+ t12347 = t11877*t11878;
+ t12049 = t11753*t12347;
+ t12190 = z*t12347;
+ t12496 = t11880*t12049+t11753*t12112+(t11998+t12190)*t11750+t12777*x;
+ t12001 = t11878*t12216;
+ t12495 = t11820*t12362+t11880*t12001+t11774*t11998+t11775*t12112+t11878*
+t11442+(t11487+t12808)*x;
+ t11264 = t11764*t12199;
+ t12494 = t11264+t12569;
+ t12493 = t12621+t12632;
+ t12492 = t11268+t11882*t12203+t11877*t12017+t11799*t12264+t11881*t12040+
+t11748*t11999+t12822*t11876;
+ t11994 = t11876*t12233;
+ t12491 = t11808*t12189+t11847*t12012+t11879*t11994+t11478+t12839*t11876+
+t12824;
+ t12336 = t11876*t11814;
+ t12041 = t11859*t12270;
+ t12009 = t11840*t12304;
+ t12490 = t11803*t12264+t11876*t12041+t11840*t11999+(t12336+t12289)*t11877
++(t12009+t12312+t12071)*t11882;
+ t11558 = t11876*t12232;
+ t12489 = t11800*t12012+t11558+t11840*t12189+t11879*t12009+y*t12336+t11876
+*t12163+t12809;
+ t12488 = t11363+t11882*t12018+t11809*t11999+t11383+t11571+t11876*t12102+
+t11881*t12044+t11370;
+ t12094 = t11878*t12222;
+ t12487 = z*t12015+t11878*t11302+t11799*t11998+t11877*t12094+(t12801+
+t12829)*x;
+ t11325 = t11877*t12267;
+ t12168 = t11792*t12389;
+ t12137 = t11819*t12397;
+ t12486 = t12599+t11882*t12168+t11880*t11325+(t12137+t11512)*z;
+ t12485 = t12609+t11800*t11999+t11877*t12279+t12834*t11876;
+ t11757 = RATIONAL(-1.0,2304.0);
+ t11761 = RATIONAL(1.0,2304.0);
+ t12073 = t11757*t12304;
+ t12484 = t11882*t12073+t11757*t11999+(t12089+t12103)*t11761+t12774;
+ t12483 = t11823*t12354+(t11328+t11329)*t11878+(t12121+t12085)*t11876+(
+t11541+t11558+t11439)*x;
+ t12482 = t12635+t12653;
+ t12481 = t12611+t12730;
+ t12480 = t12652+t12653;
+ t12277 = t11879*t11819;
+ t12133 = x*t12277;
+ t11613 = t11880*t12318;
+ t12479 = t11880*t12133+t11809*t12006+t11843*t12402+(t12167+t11613)*y+(
+t12173+t12817)*z;
+ t12478 = t11878*t11596+t11877*t12357+t11775*t11998+z*t12001+t11774*t12112
++(t11560+t12831)*x;
+ t12477 = z*t12041+t11840*t12111+t12810*t11877+(t12381+t12072)*t11882+
+t12831;
+ t12476 = y*t12002+t11750*t12151+t12841*t11878+t12778*x;
+ t12158 = t11766*t12367;
+ t12475 = y*t12158+z*t12026+t11766*t12006+t11878*t11260+t12775*x;
+ t11735 = t11869*t11877;
+ t11630 = t11878*t11735;
+ t12474 = t11880*t12137+z*t11630+t11877*t11613+t11845*t12364+t12623;
+ t12473 = t12602+t12627;
+ t12472 = t11447+t11577+t11808*t12172+y*t12034+t11563+t11847*t12088+t12839
+*z;
+ t12471 = t12650+t11878*t11291+t11775*t12190+t12812*x;
+ t11402 = t11765*t12210;
+ t12470 = t11402+t12555;
+ t12469 = t11756*t12320+t11877*t12073+t11881*t12209+t11757*t12089+(t12076+
+t11999)*t11761+t12846*t11876;
+ t12468 = t11296+t12607+t12747;
+ t12467 = t12367*t12387+y*t12094+t11799*t12006+t11879*t12158+t12772*x;
+ t12466 = t12832*t11880+t12838*z+t12776;
+ t12465 = t11881*t12292+t11791*t11999+t11882*t12064+t11803*t12314+t12609;
+ t12464 = t11812*t12363+t11814*t12174+t12809*t11878+(t12177+t12050)*t11879
++t12794*t11876;
+ t12463 = t11768*t12175+t11878*t12003+(t12168+t12007)*y+(t12033+t12782)*z;
+ t12462 = t12595+t12661;
+ t12461 = t11316+t11880*t12166+t12600+t12712;
+ t12460 = t12838*t11880+t12832*z+t12777;
+ t12077 = t11877*t12227;
+ t12459 = t11877*t12028+z*t12077+t12657+(t11264+t11259)*x;
+ t12458 = y*t12017+t11748*t12083+t12815*t11881+t12773;
+ t12457 = t11753*t11998+z*t12049+t11750*t12112+t11878*t11200+t12776*x;
+ t12456 = y*t12032+t11879*t12070+t12669+(t11328+t11402)*x;
+ t12455 = t11435+t11794*t12172+t12695+t12718+t12723;
+ t12334 = t11800*t11878;
+ t11483 = t11879*t12334;
+ t11583 = t11808*t12322;
+ t12454 = y*t11583+t11834*t12361+z*t11483+t11783*t12356+t12636;
+ t12453 = t12657+x*t11351+t11882*t12358+(t11297+t11517)*t11878;
+ t12452 = t12602+t12611;
+ t10451 = z*t12044;
+ t12451 = t10451+t12572;
+ t12450 = t12592+t12683;
+ t12449 = t12597+t11880*t12155+z*t12169+t12833*t11877;
+ t12448 = t11876*t12128+t11795*t12179+y*t12165+t11879*t12093+t12639;
+ t12447 = t11812*t12364+t11880*t12077+t11803*t11998+t11820*t12112+t11762*
+t12362+t11882*t12117+t12796*t11877;
+ t12446 = t12620+t12666;
+ t11369 = t11794*t12256;
+ t12445 = y*t11488+t11881*t12162+t11879*t11369+t11819*t12363+t12619;
+ t12444 = t11296+t12570;
+ t12443 = t12620+t12667;
+ t12442 = t11557+t11808*t11999+t11881*t12027+(t12248+t11994)*t11882+(
+t12266+t12814)*t11876;
+ t11654 = t11869*t12256;
+ t11660 = t11859*t12376;
+ t11536 = t11844*t12320;
+ t12441 = t11650+t11654+t11660+t11878*t11536+t12714+t12700+t12710+t12786*
+t11876;
+ t11981 = t11796*t12019+x*t11256+t12687;
+ t12440 = t11325+t11795*t12104+t12694+t11882*t12196+t11981+t12779*x;
+ t12439 = t11369+t11981+t11368+t11795*t12065+t12716+t12781*x;
+ t11626 = t11859*t12397;
+ t11458 = t11882*t12283;
+ t12438 = t11636+t11630+t11626+t12700+t11878*t11458+t11979+t12806*t11877;
+ t12396 = x*RATIONAL(-8.0,9.0);
+ t12437 = t11879*t11506+t11866*t12174+t11873*t12385+t12753+t11878*t11457+
+t12668+(t11660+t12396)*y;
+ t11832 = RATIONAL(-5.0,48.0);
+ t12194 = t11832*t11876;
+ t12060 = t11875*t12194;
+ t12436 = t11815*t11999+t11881*t12293+t11882*t12060+t11874*t11877+t11834*
+t12314+t11863*t12270+t12641+t12791;
+ t11523 = t11837*t12242;
+ t12435 = t11881*t12215+t11825*t11999+t11705+t11840*t11876+t11835*t12076+
+t11850*t12304+t11847*t12314+t11523+t12644;
+ t12315 = t11875*t11850;
+ t11490 = t11835*t12307;
+ t12434 = t11348+t12766+t11842*t12152+t12575+(t12315+t11490)*z;
+ t12096 = t11844*t12256;
+ t12433 = t12608+t11809*t12350+t11783*t12100+(t12096+t12837)*y+(t11484+
+t12793)*x;
+ t12276 = t11837*t11882;
+ t11547 = t11875*t12276;
+ t12432 = t11835*t11999+t11850*t12270+t11719+t11547+t12644+(t11722+t11840)
+*t11877+(t12058+t12243)*t11882;
+ t11582 = t11828*t12328;
+ t12431 = t11582+t11780*t12152+t12787*t11880+(t12075+t12262)*z+t12771+
+t12792;
+ t12430 = t11861*t12270+t11735+t11807*t11999+t11620+t11458+t11829*t12076+
+t12638+t12800;
+ t12429 = t12663+t11455+t11878*t11353+z*t12334+t11768*t12190+t12771*x;
+ t12025 = t11878*t12306;
+ t12068 = t11878*t12284;
+ t11713 = t11809*t11882;
+ t12428 = t11880*t12068+t11603+t11583+t12622+z*t12025+(t11853+t11713)*
+t12403+t12843*x;
+ t12427 = t11873*t12389+t11880*t11509+t12623+t12798*t11878+(t12396+t11626)
+*z+t12833;
+ t12252 = t11767*t11881;
+ t12426 = t11477+t11877*t12252+t11794*t12314+t11710+t11780*t11999+t11828*
+t12304+t12629+(t11809+t12005)*t11876;
+ t11598 = t11880*t12262;
+ t12425 = t11815*t12328+t11829*t12106+t11882*t11598+(t12066+t12791+t12820)
+*z+t12804+t12843;
+ t12424 = t11882*t11582+t11880*t12272+t11832*t12106+(t12086+t12784+t12800)
+*z+t12798+t12826;
+ t11723 = t11839*t11882;
+ t12391 = x*t11854;
+ t12423 = t11519+t12646+t11723*t12403+t11880*t12025+t12826*x+(t12068+
+t12391+t12342)*z;
+ t12422 = t11859*t12389+t12597+t11613+t12199*t12384+t12804*t11878+(t12317+
+t12786)*z;
+ t12421 = t11598+t11880*t12075+t11780*t12106+(t12787+t12811)*z+t12780+
+t12816;
+ t12420 = t11878*t12144+t11767*t12100+t12619+t11879*t12240+t12842*y+(
+t11576+t12789)*x;
+ t12419 = t11282+t11837*t11999+t11882*t12014+t11700+t11852*t12270+t11490+
+t12631+t12758;
+ t12097 = t11878*t12234;
+ t12418 = y*t12391+t11819*t12174+t12616+t12757+t11879*t12097+(t12147+
+t12823)*x;
+ t11572 = t11876*t12277;
+ t12417 = t11712+t11591+t11572+t12573+(t11521+t12813)*y;
+ t12416 = t11787*t12189+t11777*t12012+t12748+t12797*t11879+(t12067+t12811)
+*y+t12790;
+ t12415 = t11472+t12574+t12830*t11879+(t11600+t12807)*y;
+ t12414 = t11879*t12096+t11859*t12385+t12634+t11872*t12174+t11808*t12179+
+t12806*y+t12817;
+ t12413 = t11878*t11572+t12617+y*t12097+t12763+(t12373+t12184+t12825)*x;
+ t12412 = t11881*t12206+t11791*t11877+t11784*t11999+t11782*t12076+t11473+
+t11824*t12270+t12601+(t11789+t12288)*t11882;
+ t12411 = t11417+t11827*t12270+t11220+t11781*t11999+t11788*t12076+t12651+
+t12779;
+ t12410 = t12729+t11777*t12189+t11787*t12012+(t12067+t12346)*t11879+t12797
+*y+t12840;
+ t12299 = t11852*t11875;
+ t11569 = t11835*t12242;
+ t12409 = t11822*t11999+t11837*t12076+t11876*t12299+t11722+t11569+t11308+
+t12631+t12754;
+ t12408 = t11726+t11514+t11785*t11999+t11793*t12314+t11371+t12645+(t12075+
+t12795)*t11876;
+ t12407 = t12576+t12769+t11353+(t12039+t11547+t12299)*z;
+ t12406 = t11580+t11878*t11348+t11792*t12190+t12647+t12836*z+t12780*x;
+ t12345 = t11867*t11877;
+ t10342 = t11880*t12138;
+ t10375 = t11881*t12141;
+ t12341 = t10342+t10375;
+ t10419 = t11878*t11367;
+ t10357 = t11881*t12185;
+ t12332 = t10419+t10357;
+ t12331 = t11829*t11877;
+ t12310 = t11832*t11882;
+ t12305 = t11828*t11882;
+ t12295 = t11833*t11881;
+ t12294 = t11832*t11881;
+ t10556 = t11879*t12130;
+ t12286 = t10451+t10556;
+ t12258 = t11831*t11881;
+ t12247 = t11833*t11882;
+ t10416 = t11794*t12111;
+ t12217 = t10549+t10416;
+ t12170 = x*t12320;
+ t12164 = t11783*t12376;
+ t12078 = t11878*t12243;
+ t11433 = t11807*t12242;
+ t11993 = t11296+t12684;
+ t11992 = t10357+t12686;
+ t11991 = t10375+t12679;
+ t11988 = t10342+t12686;
+ t11987 = t10416+t12676;
+ t11985 = t10419+t12679;
+ t11984 = t10416+t12685;
+ t11983 = t10451+t12685;
+ t11980 = t11366+t12684;
+ t11978 = t11402+t12684;
+ t11977 = t11264+t12683;
+ t11976 = t11807+t11832*t11877+t12305;
+ t11975 = t12331+t12752;
+ t11790 = RATIONAL(25.0,96.0);
+ t11974 = t11838+t11825*t11882+t11790*t11877;
+ t11973 = t11852+t11838*t11876+t11837*t11881;
+ t11802 = RATIONAL(-5.0,16.0);
+ t11857 = RATIONAL(1.0,4.0);
+ t11801 = RATIONAL(1.0,16.0);
+ t11972 = t11857+t11801*t11881+t11802*t11876;
+ t11971 = t11838+t11825*t11881+t11790*t11876;
+ t11776 = RATIONAL(-25.0,96.0);
+ t11970 = t11776*t11876+t11842+t11822*t11881;
+ t11969 = t11842*t11876+t11850+t11835*t11881;
+ t11968 = t11842+t11822*t11882+t11776*t11877;
+ t11871 = RATIONAL(2.0,3.0);
+ t11967 = t11852*t11881+t11864*t11876+t11871;
+ t11966 = t12229+t12749;
+ t11965 = t12192+t11815+t12258;
+ t11964 = t11807+t12218+t12194;
+ t11770 = RATIONAL(25.0,32.0);
+ t11810 = RATIONAL(-5.0,32.0);
+ t11855 = RATIONAL(-5.0,8.0);
+ t11963 = t11855+t11810*t11881+t11770*t11876;
+ t11961 = t11836*t12170+t11842*t12104+t11850*t12263+t11860*t12401+t12706;
+ t11959 = t11825*t12104+x*t12331+t11780*t12170+t11882*t12254+t12703;
+ t11958 = t12615+t12635;
+ t11957 = t12593+t12603;
+ t11956 = t12594+t12667;
+ t11955 = t12594+t12666;
+ t11954 = t12594+t12665;
+ t11953 = t12593+t12621;
+ t11952 = t12598+t12637;
+ t11951 = t12648+t12698+t12722;
+ t11950 = t12598+t12625;
+ t11754 = RATIONAL(25.0,192.0);
+ t11949 = t11835*t12256+t11827*t12104+x*t12294+t11754*t12170+t12618+t12703
++t12708;
+ t11772 = RATIONAL(-25.0,48.0);
+ t11948 = t11852*t12065+t11772*t12191+t11871*t12347+x*t12247+t11961+t12690
+;
+ t11947 = x*t12295+t11852*t12104+t11871*t12256+t11772*t12170+t12660+t12690
++t12706;
+ t11946 = t11835*t12347+t11827*t12065+x*t12310+t11754*t12191+t11959+t12708
+;
+ t11945 = t12647+t12578+t12760*t11880+t12761*z;
+ t11944 = t11877*t11603+t12260*t12403+t12586+t12646+t12770*t11880;
+ t11943 = t11848*t12363+t11846*t12179+t12587+t12634+t12753*t11876;
+ t11942 = t12586+t11877*t11519+t11882*t12148+t12622+t12770*z;
+ t11941 = t12578+t12663+t12761*t11880+t12760*z;
+ t11940 = t12580+t12616+t11881*t12160+y*t12164+t12763*t11876;
+ t11939 = t12580+t12252*t12405+t11879*t12164+t12617+t12757*t11876;
+ t11938 = t11881*t12133+y*t11654+t11845*t12363+t11879*t11640+t12587+t12668
+;
+ t11937 = t12618+t11777*t12188+t11838*t12256+t11790*t12019+t11959+t12765*
+t11878+(t12258+t12752)*x;
+ t11786 = RATIONAL(-25.0,24.0);
+ t11936 = t11807*t12188+t12660+t11961+RATIONAL(4.0,3.0)*x+t11786*t12019+(
+t12376+t12397)*t11861+(t12345+t12749)*t11878;
+ t11935 = t11828*t12270+t11723+t12559+t11706+t11787*t11999+t11876*t12220+
+t11794*t12320+t12629+t12797*t11882;
+ t11934 = t12439+t11759*t12320+t11521+t11789*t11881+t12601+t11782*t11999+(
+t11997+t12207+t12297+t11791)*t11876;
+ t11933 = t11869*t11876+t11829*t11999+t11853*t12314+t12441+t11536+t11861*
+t12304+t11807*t12076+t12638+t12759;
+ t11932 = t12566+t11825*t12152+t11846*t12238+t11840*t11880+t11847*t12199+
+t12576+(t11417+t12348)*z;
+ t11931 = t11288+t12573+t12567+(t12315+t11569+t12079)*y+t12789;
+ t11930 = t12438+t11833*t12187+t11828*t12012+t11457+(t12060+t12272)*t11879
++(t12226+t12759+t12784)*y+t12823;
+ t11929 = t11483+t12440+t11792*t12174+t11879*t12078+t12606+t12836*y+t12748
+*x;
+ t11928 = t12439+t11600+t11827*t12304+t11781*t12076+t11788*t11999+t11254+
+t12651+t12781;
+ t11927 = t12566+t11808*t11880+t11800*t12199+t11819*t12238+t12575+(t12330+
+t12785)*z;
+ t11926 = t11878*t12178+t11880*t12240+t11767*t12098+t12560+t12599+t12842*z
++(t11465+t12766)*x;
+ t11925 = t11874*t11876+t11815*t12076+t12441+t11731+t11854*t12314+t11881*
+t12278+t11863*t12304+t11433+t11832*t11999+t12641;
+ t11924 = t11356+t12574+t11838*t12187+t12567+(t11523+t12299)*y+t12793;
+ t11923 = t11309+t11881*t12269+t11882*t12067+t12559+t11875*t12305+t11713+
+t11777*t11999+t12645+t12795*t11877;
+ t11922 = t12639+t12440+t11425+t11878*t11356+(t12334+t12078)*y+t12729*x;
+ t11921 = t11783*t12098+t12560+t12633+(t12253+t12186)*t11878+t12837*z+(
+t11507+t12769)*x;
+ t11920 = t11673+t11561+t12438+t11831*t12012+t11829*t12083+t11815*t12349+
+t11872*t12400+t11836*t12187+(t11433+t12820)*y+t12825;
+ t11919 = t11954+t12465+t10419+t12604+t12620+t12673+t12727;
+ t11918 = t11264+t12570+t11993+t11951+t12585+t12674+t12691+t12704;
+ t11917 = t12509+t12504+t12508+t12545;
+ t11916 = t11954+t12556+t10556+t11984+t12579+t12664+t12681;
+ t11915 = t12476+t12496+t12467+t12531;
+ t11914 = t12518+t11952+t10357+t12626+t12655+t12739+t12744;
+ t11913 = t12584+t10342+t10357+t11956+t12558+t12604+t12678+t12679;
+ t11912 = t11957+t12468+t12492+t12659+t12671;
+ t11911 = t12483+t11955+t10375+t12561+t12604+t12643;
+ t11910 = t12452+t11953+t12614+t12662+t12731+t12735;
+ t11909 = t12497+t12487+t10556+t11950+t12605+t12677;
+ t11908 = t12538+t12503+t12461+t12577+t12679;
+ t11907 = t12521+t12477+t12490+t12536;
+ t11906 = t12495+t12534+t11956+t12654+t12664;
+ t11905 = t12506+t11958+t12501+t12624+t12628;
+ t11904 = t11955+t12547+t12533+t12656+t12664;
+ t11903 = t12489+t12464+t12442+t12536;
+ t11902 = t12485+t10451+t12478+t11951+t12680+t12692+t12709;
+ t11901 = t12460+t12531+t12500+t12550;
+ t11900 = t12581+t12563+t10419+t10375+t11950+t12626+t12675+t12686;
+ t11899 = t12524+t12502+t12462+t12733+t12734;
+ t11898 = t12475+t12466+t12531+t12543;
+ t11897 = t12513+t12458+t12457+t12531;
+ t11896 = t12538+t12512+t12471+t10342+t12602+t12740;
+ t11895 = t12494+t12504+t11978+t12555+t12591;
+ t11894 = t12491+t12510+t12519+t12536;
+ t11893 = t12505+t11957+t12511+t12613+t12662;
+ t11892 = t11952+t12549+t12589+t12605+t12630+t12685;
+ t11891 = t12499+t12450+t11953+t12658+t12659;
+ t11890 = t12536+t12515+t12447+t12541;
+ t11889 = t11958+t12526+t12583+t12612+t12686+t12696+t12709;
+ t11888 = t11402+t12502+t12488+t12456+t12557;
+ t11868 = RATIONAL(-1.0,8.0);
+ t11858 = RATIONAL(1.0,8.0);
+ t11856 = RATIONAL(5.0,3.0);
+ t11851 = RATIONAL(5.0,8.0);
+ t11849 = RATIONAL(-5.0,4.0);
+ t11830 = RATIONAL(-1.0,16.0);
+ t11826 = RATIONAL(5.0,64.0);
+ t11818 = RATIONAL(5.0,32.0);
+ t11817 = RATIONAL(5.0,16.0);
+ t11805 = RATIONAL(-5.0,64.0);
+ t11804 = RATIONAL(25.0,8.0);
+ t11773 = RATIONAL(25.0,48.0);
+ t11769 = RATIONAL(-25.0,12.0);
+ coeffs_dx->coeff_m2_m2_m2 = t11897+t12460+t12475+t12469+t12476;
+ coeffs_dx->coeff_m1_m2_m2 = t11912+t12535+t11977+t12545+t12569+t12592;
+ coeffs_dx->coeff_0_m2_m2 = t11945+t12539+t12544;
+ coeffs_dx->coeff_p1_m2_m2 = t12509+t11891+t12470+t12520+t12535;
+ coeffs_dx->coeff_p2_m2_m2 = t12476+t12457+t12484+t11898+t12550;
+ coeffs_dx->coeff_m2_m1_m2 = t11914+t12512+t12481+t11985+t12564+t12577;
+ coeffs_dx->coeff_m1_m1_m2 = t12217+t12556+t11904+t12443+t12478+t12682+
+t12737;
+ coeffs_dx->coeff_0_m1_m2 = t12445+t11944+t12546;
+ coeffs_dx->coeff_p1_m1_m2 = t12455+t11902+t12579+t12547+t12654+t12667+
+t12685;
+ coeffs_dx->coeff_p2_m1_m2 = t11900+t12512+t12530+t12461+t12537;
+ coeffs_dx->coeff_m2_0_m2 = t12406+t12431+t11934;
+ coeffs_dx->coeff_m1_0_m2 = t11932+t12423+t12408;
+ coeffs_dx->coeff_0_0_m2 = t11949+(t11968*t11880+t11974*z)*x+(t11975*
+t11880+t11976*z)*t11878;
+ coeffs_dx->coeff_p1_0_m2 = t12426+t12423+t11927;
+ coeffs_dx->coeff_p2_0_m2 = t11928+t12421+t12406;
+ coeffs_dx->coeff_m2_p1_m2 = t11908+t12452+t12563+t12530+t12341+t12730+
+t12740;
+ coeffs_dx->coeff_m1_p1_m2 = t11916+t12455+t12478+t12534+t12656+t12666;
+ coeffs_dx->coeff_0_p1_m2 = t12454+t11944+t12548;
+ coeffs_dx->coeff_p1_p1_m2 = t11902+t12568+t10556+t12534+t12533+t12620+
+t12737;
+ coeffs_dx->coeff_p2_p1_m2 = t11914+t11988+t12503+t12473+t12581+t12728+
+t12740;
+ coeffs_dx->coeff_m2_p2_m2 = t12457+t11901+t12467+t12469+t12543;
+ coeffs_dx->coeff_m1_p2_m2 = t12535+t11895+t12492+t12508+t12621+t12658;
+ coeffs_dx->coeff_0_p2_m2 = t11945+t12448+t12463;
+ coeffs_dx->coeff_p1_p2_m2 = t12499+t11917+t12518+t11993+t12591+t12732+
+t12747;
+ coeffs_dx->coeff_p2_p2_m2 = t11897+t12484+t12466+t12467+t12500;
+ coeffs_dx->coeff_m2_m2_m1 = t12516+t12286+t11892+t12525+t12565+t12572;
+ coeffs_dx->coeff_m1_m2_m1 = t12453+t11911+t11988+t12443+t12583+t12678+
+t12727;
+ coeffs_dx->coeff_0_m2_m1 = t12486+t11940+t12527;
+ coeffs_dx->coeff_p1_m2_m1 = t12465+t12453+t12483+t11913+t12612+t12635;
+ coeffs_dx->coeff_p2_m2_m1 = t12493+t11893+t10416+t10556+t12549+t12565+
+t12614+t12741;
+ coeffs_dx->coeff_m2_m1_m1 = t11899+t11978+t12501+t12459+t12557+t12585;
+ coeffs_dx->coeff_m1_m1_m1 = t11903+t12472+t12477+t12447+t12510;
+ coeffs_dx->coeff_0_m1_m1 = t12474+t11938+t12523;
+ coeffs_dx->coeff_p1_m1_m1 = t12464+t11894+t12447+t12490+t12514;
+ coeffs_dx->coeff_p2_m1_m1 = t12507+t12488+t11918+t12459+t12624+t12635;
+ coeffs_dx->coeff_m2_0_m1 = t12435+t12407+t11926;
+ coeffs_dx->coeff_m1_0_m1 = t12424+t12427+t11933;
+ coeffs_dx->coeff_0_0_m1 = t11947+((t12276+t12765)*t11880+(t11870+t12345+
+t11850*t11882)*z)*t11878+((t11773*t11877+t12310+t11836)*t11880+(t11769*t11877+
+t12247+t11856)*z)*x;
+ coeffs_dx->coeff_p1_0_m1 = t12425+t11925+t12427;
+ coeffs_dx->coeff_p2_0_m1 = t12434+t12409+t11926;
+ coeffs_dx->coeff_m2_p1_m1 = t12444+t11905+t12456+t12459+t12524;
+ coeffs_dx->coeff_m1_p1_m1 = t12491+t11890+t12477+t12442+t12514;
+ coeffs_dx->coeff_0_p1_m1 = t12474+t11943+t12479;
+ coeffs_dx->coeff_p1_p1_m1 = t12472+t12489+t11890+t12490+t12519;
+ coeffs_dx->coeff_p2_p1_m1 = t12529+t11888+t11977+t12459+t12562+t12588;
+ coeffs_dx->coeff_m2_p2_m1 = t12451+t12505+t12497+t11910+t12549;
+ coeffs_dx->coeff_m1_p2_m1 = t11889+t12453+t12554+t12332+t12558+t12643+
+t12666;
+ coeffs_dx->coeff_0_p2_m1 = t11939+t12486+t12498;
+ coeffs_dx->coeff_p1_p2_m1 = t11919+t12453+t11991+t12526+t12561+t12584;
+ coeffs_dx->coeff_p2_p2_m1 = t12217+t12552+t12497+t11892+t12473+t12738+
+t12746;
+ coeffs_dx->coeff_m2_m2_0 = t12410+t11929+t12412;
+ coeffs_dx->coeff_m1_m2_0 = t12418+t12415+t11923;
+ coeffs_dx->coeff_0_m2_0 = (t11965*t11879+t11964*y)*t11878+t11946+(t11970*
+t11879+t11971*y)*x;
+ coeffs_dx->coeff_p1_m2_0 = t12417+t11935+t12418;
+ coeffs_dx->coeff_p2_m2_0 = t12411+t12416+t11929;
+ coeffs_dx->coeff_m2_m1_0 = t11924+t12432+t12420;
+ coeffs_dx->coeff_m1_m1_0 = t11930+t12430+t12437;
+ coeffs_dx->coeff_0_m1_0 = t11948+(t11973*t11879+t11966*y)*t11878+((t11836
++t12294+t11773*t11876)*t11879+(t12295+t11769*t11876+t11856)*y)*x;
+ coeffs_dx->coeff_p1_m1_0 = t12436+t11920+t12437;
+ coeffs_dx->coeff_p2_m1_0 = t11931+t12420+t12419;
+ coeffs_dx->coeff_m2_0_0 = t11937+(t11787*t11881+t11828+t12261)*t11882+(
+t11754*t11876+t11785*t11881+t11832)*t11877+(RATIONAL(-1.0,4.0)+t11830*t11881+
+t11817*t11876+(t11817+t11826*t11881+RATIONAL(-25.0,64.0)*t11876)*t11877+(t11830
++t11826*t11876+RATIONAL(-1.0,64.0)*t11881)*t11882)*t11875+t11964;
+ coeffs_dx->coeff_m1_0_0 = (t11867+t11786*t11876+t11842*t11881)*t11877+
+t11936+(RATIONAL(1.0,2.0)+t11858*t11881+t11855*t11876+t11963*t11877+(t11810*
+t11876+t11858+RATIONAL(1.0,32.0)*t11881)*t11882)*t11875+t11969*t11882+t11966;
+ coeffs_dx->coeff_0_0_0 = (1.0+t11849*t11876+t11857*t11881+(t11802*t11881+
+RATIONAL(25.0,16.0)*t11876+t11849)*t11877+t11972*t11882)*t11878+(t11804*t11876+
+t11855*t11881+RATIONAL(-5.0,2.0)+(t11804+RATIONAL(-125.0,32.0)*t11876+t11770*
+t11881)*t11877+t11963*t11882)*x;
+ coeffs_dx->coeff_p1_0_0 = t11973*t11882+(RATIONAL(25.0,24.0)*t11876+
+t11838*t11881+t11864)*t11877+t11936+(t11868*t11881+RATIONAL(-1.0,2.0)+t11851*
+t11876+(RATIONAL(-25.0,32.0)*t11876+t11818*t11881+t11851)*t11877+(RATIONAL(-1.0
+,32.0)*t11881+t11818*t11876+t11868)*t11882)*t11875+t11967;
+ coeffs_dx->coeff_p2_0_0 = t11937+((RATIONAL(25.0,64.0)*t11876+t11802+
+t11805*t11881)*t11877+(t11805*t11876+t11801+RATIONAL(1.0,64.0)*t11881)*t11882+
+t11972)*t11875+(t11831+t11780*t11876+t11777*t11881)*t11882+(t11755*t11876+
+t11780*t11881+t11829)*t11877+t11965;
+ coeffs_dx->coeff_m2_p1_0 = t11931+t12433+t12432;
+ coeffs_dx->coeff_m1_p1_0 = t12414+t11920+t12430;
+ coeffs_dx->coeff_0_p1_0 = t11948+((t11833+t11829*t11881+t11772*t11876)*
+t11879+(t11836*t11881+t11860+t11771*t11876)*y)*x+(t11969*t11879+t11967*y)*
+t11878;
+ coeffs_dx->coeff_p1_p1_0 = t12436+t11930+t12414;
+ coeffs_dx->coeff_p2_p1_0 = t11924+t12433+t12419;
+ coeffs_dx->coeff_m2_p2_0 = t12416+t12412+t11922;
+ coeffs_dx->coeff_m1_p2_0 = t12417+t12413+t11923;
+ coeffs_dx->coeff_0_p2_0 = t11946+(t11971*t11879+t11970*y)*x+(t11964*
+t11879+t11965*y)*t11878;
+ coeffs_dx->coeff_p1_p2_0 = t11935+t12415+t12413;
+ coeffs_dx->coeff_p2_p2_0 = t12410+t12411+t11922;
+ coeffs_dx->coeff_m2_m2_p1 = t12516+t12487+t11910+t11984+t12552+t12589;
+ coeffs_dx->coeff_m1_m2_p1 = t12482+t11911+t12554+t11985+t12584+t12612+
+t12736;
+ coeffs_dx->coeff_0_m2_p1 = t11940+t12498+t12540;
+ coeffs_dx->coeff_p1_m2_p1 = t11919+t12517+t12483+t11992+t12558+t12583;
+ coeffs_dx->coeff_p2_m2_p1 = t12451+t11893+t12487+t12532+t12602+t12735;
+ coeffs_dx->coeff_m2_m1_p1 = t11264+t11402+t12562+t11905+t12507+t12480+
+t12725+t12745;
+ coeffs_dx->coeff_m1_m1_p1 = t12521+t11903+t12519+t12514+t12541;
+ coeffs_dx->coeff_0_m1_p1 = t12449+t11938+t12479;
+ coeffs_dx->coeff_p1_m1_p1 = t12491+t12472+t11907+t12464+t12541;
+ coeffs_dx->coeff_p2_m1_p1 = t12444+t12506+t11899+t12488+t12528;
+ coeffs_dx->coeff_m2_0_p1 = t12435+t11921+t12434;
+ coeffs_dx->coeff_m1_0_p1 = t12425+t12422+t11933;
+ coeffs_dx->coeff_0_0_p1 = ((t11772*t11877+t11833+t11829*t11882)*t11880+(
+t11836*t11882+t11771*t11877+t11860)*z)*x+t11947+((t11850+t11835*t11882+t11842*
+t11877)*t11880+(t11864*t11877+t11852*t11882+t11871)*z)*t11878;
+ coeffs_dx->coeff_p1_0_p1 = t12424+t11925+t12422;
+ coeffs_dx->coeff_p2_0_p1 = t11921+t12407+t12409;
+ coeffs_dx->coeff_m2_p1_p1 = t12528+t12456+t12501+t11918+t12529;
+ coeffs_dx->coeff_m1_p1_p1 = t12472+t12442+t12515+t11894+t12521;
+ coeffs_dx->coeff_0_p1_p1 = t11943+t12449+t12523;
+ coeffs_dx->coeff_p1_p1_p1 = t12489+t12510+t11907+t12514+t12515;
+ coeffs_dx->coeff_p2_p1_p1 = t12482+t12553+t11980+t11888+t12585+t12624+
+t12725;
+ coeffs_dx->coeff_m2_p2_p1 = t11909+t11987+t12532+t12525+t12552+t12590;
+ coeffs_dx->coeff_m1_p2_p1 = t12517+t12446+t11913+t12526+t12643+t12727;
+ coeffs_dx->coeff_0_p2_p1 = t11939+t12527+t12540;
+ coeffs_dx->coeff_p1_p2_p1 = t11889+t12465+t12480+t12341+t12667+t12678+
+t12736+t12743;
+ coeffs_dx->coeff_p2_p2_p1 = t11909+t12572+t11983+t12511+t12589+t12600+
+t12762+t12767;
+ coeffs_dx->coeff_m2_m2_p2 = t12458+t11915+t12466+t12469+t12550;
+ coeffs_dx->coeff_m1_m2_p2 = t12493+t11912+t12542+t11980+t12591+t12658+
+t12742;
+ coeffs_dx->coeff_0_m2_p2 = t11941+t12463+t12544;
+ coeffs_dx->coeff_p1_m2_p2 = t12499+t12542+t11895+t12520+t12545;
+ coeffs_dx->coeff_p2_m2_p2 = t12513+t12460+t12484+t11915+t12543;
+ coeffs_dx->coeff_m2_m1_p2 = t11896+t12481+t12461+t11992+t12571+t12581;
+ coeffs_dx->coeff_m1_m1_p2 = t12455+t12495+t11904+t12286+t12551+t12568;
+ coeffs_dx->coeff_0_m1_p2 = t11942+t12445+t12454;
+ coeffs_dx->coeff_p1_m1_p2 = t11916+t12495+t12462+t12485+t12726+t12756+
+t12768;
+ coeffs_dx->coeff_p2_m1_p2 = t11896+t12522+t11991+t12537+t12563+t12577;
+ coeffs_dx->coeff_m2_0_p2 = t12429+t12421+t11934;
+ coeffs_dx->coeff_m1_0_p2 = t12428+t12408+t11927;
+ coeffs_dx->coeff_0_0_p2 = t11949+(t11974*t11880+t11968*z)*x+(t11976*
+t11880+t11975*z)*t11878;
+ coeffs_dx->coeff_p1_0_p2 = t12428+t11932+t12426;
+ coeffs_dx->coeff_p2_0_p2 = t11928+t12429+t12431;
+ coeffs_dx->coeff_m2_p1_p2 = t11900+t12481+t12471+t12503+t12522;
+ coeffs_dx->coeff_m1_p1_p2 = t11906+t12446+t11983+t12551+t12579+t12656+
+t12737;
+ coeffs_dx->coeff_0_p1_p2 = t11942+t12546+t12548;
+ coeffs_dx->coeff_p1_p1_p2 = t11906+t11987+t12455+t12485+t12556+t12582;
+ coeffs_dx->coeff_p2_p1_p2 = t11908+t12564+t12537+t12471+t12332+t12571;
+ coeffs_dx->coeff_m2_p2_p2 = t12496+t11898+t12469+t12500+t12513;
+ coeffs_dx->coeff_m1_p2_p2 = t11917+t12492+t12450+t12470+t12542;
+ coeffs_dx->coeff_0_p2_p2 = t12448+t11941+t12539;
+ coeffs_dx->coeff_p1_p2_p2 = t12494+t11891+t12468+t12508+t12542;
+ coeffs_dx->coeff_p2_p2_p2 = t12458+t12475+t12484+t11901+t12496;