aboutsummaryrefslogtreecommitdiff
path: root/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dxz.compute.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dxz.compute.c')
-rw-r--r--src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dxz.compute.c4606
1 files changed, 2130 insertions, 2476 deletions
diff --git a/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dxz.compute.c b/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dxz.compute.c
index ad552c3..09ca227 100644
--- a/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dxz.compute.c
+++ b/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-dxz.compute.c
@@ -1,2488 +1,2142 @@
-fp t24172;
-fp t24176;
-fp t24086;
-fp t24080;
-fp t24974;
-fp t24047;
-fp t24174;
-fp t24044;
-fp t24973;
-fp t24972;
-fp t24079;
-fp t24056;
-fp t24971;
-fp t24970;
-fp t24043;
-fp t24170;
-fp t24463;
-fp t24048;
-fp t24389;
-fp t24969;
-fp t24143;
-fp t24096;
-fp t24398;
-fp t24968;
-fp t24155;
-fp t24033;
-fp t24169;
-fp t24967;
-fp t24136;
-fp t24128;
-fp t24903;
-fp t24085;
-fp t24454;
-fp t23448;
-fp t24405;
-fp t24966;
-fp t24144;
-fp t24171;
-fp t24175;
-fp t24411;
-fp t23905;
-fp t24162;
-fp t24017;
-fp t24965;
-fp t24416;
-fp t24433;
-fp t24964;
-fp t24052;
-fp t24088;
-fp t23970;
-fp t24963;
-fp t24106;
-fp t24450;
-fp t23830;
-fp t24092;
-fp t23833;
-fp t24962;
-fp t24111;
-fp t24431;
-fp t24113;
-fp t24173;
-fp t24495;
-fp t24319;
-fp t24961;
-fp t24072;
-fp t24083;
-fp t23956;
-fp t24435;
-fp t24960;
-fp t24125;
-fp t24110;
-fp t24385;
-fp t24959;
-fp t24099;
-fp t24448;
-fp t24482;
-fp t24958;
-fp t24054;
-fp t23950;
-fp t24053;
-fp t23511;
-fp t24957;
-fp t24412;
-fp t23421;
-fp t24453;
-fp t24956;
-fp t24109;
-fp t24443;
-fp t24102;
-fp t23975;
-fp t24955;
-fp t24107;
-fp t24500;
-fp t24954;
-fp t24095;
-fp t24455;
-fp t24168;
-fp t24953;
-fp t24473;
-fp t24952;
-fp t23998;
-fp t24312;
-fp t24471;
-fp t24951;
-fp t24154;
-fp t24950;
-fp t24418;
-fp t24949;
-fp t24153;
-fp t24094;
-fp t24948;
-fp t24947;
-fp t24150;
-fp t24403;
-fp t24124;
-fp t24946;
-fp t24522;
-fp t24336;
-fp t24543;
-fp t24129;
-fp t24945;
-fp t24425;
-fp t23747;
-fp t24944;
-fp t24390;
-fp t24943;
-fp t24479;
-fp t23748;
-fp t24942;
-fp t24127;
-fp t24476;
-fp t24941;
-fp t24082;
-fp t24940;
-fp t24076;
-fp t23952;
-fp t24486;
-fp t24939;
-fp t24051;
-fp t24447;
-fp t24071;
-fp t24460;
-fp t24938;
-fp t24391;
-fp t23424;
-fp t24388;
-fp t24937;
-fp t23971;
-fp t24936;
-fp t24935;
-fp t24120;
-fp t24112;
-fp t24934;
-fp t24065;
-fp t24519;
-fp t23961;
-fp t24933;
-fp t24089;
-fp t23985;
-fp t24875;
-fp t23958;
-fp t24932;
-fp t24526;
-fp t23702;
-fp t24931;
-fp t24064;
-fp t24493;
-fp t23947;
-fp t24930;
-fp t24929;
-fp t24928;
-fp t24070;
-fp t24927;
-fp t24101;
-fp t23621;
-fp t24926;
-fp t23972;
-fp t24078;
-fp t24925;
-fp t24075;
-fp t24924;
-fp t24525;
-fp t23773;
-fp t23657;
-fp t24923;
-fp t23498;
-fp t24922;
-fp t24032;
-fp t24921;
-fp t24084;
-fp t23966;
-fp t24074;
-fp t24920;
-fp t24919;
-fp t24020;
-fp t23852;
-fp t24918;
-fp t24045;
-fp t24046;
-fp t24917;
-fp t24406;
-fp t24299;
-fp t24916;
-fp t23503;
-fp t24915;
-fp t24914;
-fp t23943;
-fp t24913;
-fp t23945;
-fp t24386;
-fp t24912;
-fp t24440;
-fp t24402;
-fp t24911;
-fp t24451;
-fp t24910;
-fp t24909;
-fp t24908;
-fp t24457;
-fp t24907;
-fp t24520;
-fp t24906;
-fp t24116;
-fp t23994;
-fp t24069;
-fp t24905;
-fp t24904;
-fp t24902;
-fp t23658;
-fp t24464;
-fp t23647;
-fp t24901;
-fp t24367;
-fp t24098;
-fp t24900;
-fp t23964;
-fp t23461;
-fp t24468;
-fp t23603;
-fp t24899;
-fp t24512;
-fp t24119;
-fp t24459;
-fp t23625;
-fp t24462;
-fp t24324;
-fp t24490;
-fp t24133;
-fp t24313;
-fp t24898;
-fp t24897;
-fp t23788;
-fp t23547;
-fp t24896;
-fp t23695;
-fp t23984;
-fp t24895;
-fp t24118;
-fp t23613;
-fp t24159;
-fp t24894;
-fp t24893;
-fp t23987;
-fp t23801;
-fp t24892;
-fp t23954;
-fp t24441;
-fp t24373;
-fp t24891;
-fp t24445;
-fp t24484;
-fp t24890;
-fp t24889;
-fp t24888;
-fp t24384;
-fp t23643;
-fp t24414;
-fp t23583;
-fp t24887;
-fp t24002;
-fp t24294;
-fp t24886;
-fp t24885;
-fp t24884;
-fp t24317;
-fp t24883;
-fp t24882;
-fp t24881;
-fp t24533;
-fp t23819;
-fp t24392;
-fp t23834;
-fp t24880;
-fp t24879;
-fp t23667;
-fp t23851;
-fp t24878;
-fp t24030;
-fp t24877;
-fp t24876;
-fp t23467;
-fp t23651;
-fp t24874;
-fp t23965;
-fp t24873;
-fp t24055;
-fp t24417;
-fp t23434;
-fp t24872;
-fp t24871;
-fp t23639;
-fp t24485;
-fp t24296;
-fp t24470;
-fp t24870;
-fp t23532;
-fp t24393;
-fp t24869;
-fp t24300;
-fp t23516;
-fp t24868;
-fp t24413;
-fp t23491;
-fp t24867;
-fp t24432;
-fp t23771;
-fp t23732;
-fp t24866;
-fp t24346;
-fp t24151;
-fp t24478;
-fp t24347;
-fp t24865;
-fp t24461;
-fp t23670;
-fp t24100;
-fp t24474;
-fp t24348;
-fp t24864;
-fp t24121;
-fp t24508;
-fp t24863;
-fp t23509;
-fp t24862;
-fp t23479;
-fp t23510;
-fp t24861;
-fp t24487;
-fp t24380;
-fp t24114;
-fp t24496;
-fp t24378;
-fp t24117;
-fp t24860;
-fp t24135;
-fp t23770;
-fp t24328;
-fp t24859;
-fp t23981;
-fp t23823;
-fp t24858;
-fp t24166;
-fp t24511;
-fp t24857;
-fp t24502;
-fp t24856;
-fp t24401;
-fp t23493;
-fp t23576;
-fp t24855;
-fp t23635;
-fp t24105;
-fp t24854;
-fp t24494;
-fp t23757;
-fp t24853;
-fp t24852;
-fp t23832;
-fp t24134;
-fp t24524;
-fp t24359;
-fp t24851;
-fp t24132;
-fp t24850;
-fp t23536;
-fp t23456;
-fp t24849;
-fp t23951;
-fp t24848;
-fp t23805;
-fp t24847;
-fp t24139;
-fp t24122;
-fp t24846;
-fp t24005;
-fp t24844;
-fp t23815;
-fp t24506;
-fp t24337;
-fp t24843;
-fp t23420;
-fp t24841;
-fp t23949;
-fp t23426;
-fp t24840;
-fp t23508;
-fp t23499;
-fp t24839;
-fp t23997;
-fp t23640;
-fp t24838;
-fp t24837;
-fp t23570;
-fp t23558;
-fp t24836;
-fp t24444;
-fp t23472;
-fp t24835;
-fp t24437;
-fp t23604;
-fp t23982;
-fp t23622;
-fp t24834;
-fp t24427;
-fp t23782;
-fp t23785;
-fp t24309;
-fp t24833;
-fp t23960;
-fp t24330;
-fp t24832;
-fp t24420;
-fp t24831;
-fp t23739;
-fp t23730;
-fp t24830;
-fp t23990;
-fp t23776;
-fp t24545;
-fp t24829;
-fp t23561;
-fp t24828;
-fp t23592;
-fp t24303;
-fp t24827;
-fp t23515;
-fp t24826;
-fp t24825;
-fp t24824;
-fp t24823;
-fp t23497;
-fp t24822;
-fp t23419;
-fp t24821;
-fp t24820;
-fp t24424;
-fp t24028;
-fp t24365;
-fp t24157;
-fp t24323;
-fp t24819;
-fp t23865;
-fp t23780;
-fp t24523;
-fp t23660;
-fp t24818;
-fp t23962;
-fp t23599;
-fp t24531;
-fp t24375;
-fp t24817;
-fp t24421;
-fp t23594;
-fp t24816;
-fp t23565;
-fp t24815;
-fp t23969;
-fp t23571;
-fp t24814;
-fp t23862;
-fp t23701;
-fp t24297;
-fp t24813;
-fp t23743;
-fp t23736;
-fp t24419;
-fp t24315;
-fp t24812;
-fp t24541;
-fp t23587;
-fp t23450;
-fp t24318;
-fp t24811;
-fp t24810;
-fp t24809;
-fp t24308;
-fp t24808;
-fp t23514;
-fp t23733;
-fp t24807;
-fp t23543;
-fp t24316;
-fp t24806;
-fp t24805;
-fp t23646;
-fp t24001;
-fp t24804;
-fp t24452;
-fp t23682;
-fp t24803;
-fp t24542;
-fp t24802;
-fp t24123;
-fp t24394;
-fp t23843;
-fp t24801;
-fp t24800;
-fp t24456;
-fp t23769;
-fp t24004;
-fp t23610;
-fp t24137;
-fp t24507;
-fp t23606;
-fp t24799;
-fp t23973;
-fp t24798;
-fp t24011;
-fp t24475;
-fp t24797;
-fp t24796;
-fp t23991;
-fp t24795;
-fp t24794;
-fp t24513;
-fp t23741;
-fp t23573;
-fp t24793;
-fp t23786;
-fp t23778;
-fp t24792;
-fp t24535;
-fp t24349;
-fp t23811;
-fp t24529;
-fp t24791;
-fp t24790;
-fp t23483;
-fp t24789;
-fp t24788;
-fp t24073;
-fp t24428;
-fp t23559;
-fp t23868;
-fp t24527;
-fp t23618;
-fp t24787;
-fp t24481;
-fp t23858;
-fp t24786;
-fp t24785;
-fp t23706;
-fp t24409;
-fp t23821;
-fp t24010;
-fp t23721;
-fp t24784;
-fp t24407;
-fp t23803;
-fp t24439;
-fp t23845;
-fp t24783;
-fp t23717;
-fp t23612;
-fp t24782;
-fp t24538;
-fp t23608;
-fp t23626;
-fp t24381;
-fp t24781;
-fp t23835;
-fp t24780;
-fp t24515;
-fp t24408;
-fp t23930;
-fp t23883;
-fp t24779;
-fp t23520;
-fp t23439;
-fp t24778;
-fp t23983;
-fp t24423;
-fp t23690;
-fp t24304;
-fp t24777;
-fp t24130;
-fp t24395;
-fp t24539;
-fp t24160;
-fp t24340;
-fp t24776;
-fp t24775;
-fp t24108;
-fp t23798;
-fp t23989;
-fp t24332;
-fp t24774;
-fp t24426;
-fp t24325;
-fp t24773;
-fp t23728;
-fp t24466;
-fp t24772;
-fp t24771;
-fp t23863;
-fp t23438;
-fp t24770;
-fp t23473;
-fp t24769;
-fp t24768;
-fp t24767;
-fp t24766;
-fp t24765;
-fp t24341;
-fp t24764;
-fp t24345;
-fp t23891;
-fp t24763;
-fp t24344;
-fp t23624;
-fp t24762;
-fp t24438;
-fp t23449;
-fp t24761;
-fp t24760;
-fp t23700;
-fp t24310;
-fp t24759;
-fp t24343;
-fp t24758;
-fp t23800;
-fp t24757;
-fp t24756;
-fp t23729;
-fp t23750;
-fp t24755;
-fp t24754;
-fp t24753;
-fp t24752;
-fp t24751;
-fp t23553;
-fp t24750;
-fp t24400;
-fp t23664;
-fp t24749;
-fp t24530;
-fp t24360;
-fp t24283;
-fp t24748;
-fp t24747;
-fp t23765;
-fp t24306;
-fp t24746;
-fp t24745;
-fp t23996;
-fp t24339;
-fp t24744;
-fp t23468;
-fp t24358;
-fp t24743;
-fp t24301;
-fp t24742;
-fp t24741;
-fp t24740;
-fp t23772;
-fp t23584;
-fp t23652;
-fp t24739;
-fp t23645;
-fp t24738;
-fp t24161;
-fp t24104;
-fp t24737;
-fp t24149;
-fp t24097;
-fp t24736;
-fp t23909;
-fp t24022;
-fp t24305;
-fp t24735;
-fp t24734;
-fp t23429;
-fp t24733;
-fp t24514;
-fp t23976;
-fp t23857;
-fp t24732;
-fp t23839;
-fp t24446;
-fp t24731;
-fp t23705;
-fp t24254;
-fp t24730;
-fp t24729;
-fp t24728;
-fp t23535;
-fp t24727;
-fp t24726;
-fp t24725;
-fp t23661;
-fp t24724;
-fp t24516;
-fp t24723;
-fp t23812;
-fp t24383;
-fp t24722;
-fp t24721;
-fp t24720;
-fp t24326;
-fp t23892;
-fp t24719;
-fp t23826;
-fp t24718;
-fp t24717;
-fp t24544;
-fp t24716;
-fp t24311;
-fp t24715;
-fp t24058;
-fp t24298;
-fp t24714;
-fp t24141;
-fp t24713;
-fp t24370;
-fp t24712;
-fp t24327;
-fp t24711;
-fp t24353;
-fp t24449;
-fp t24331;
-fp t24710;
-fp t24709;
-fp t24050;
-fp t24458;
-fp t23524;
-fp t24369;
-fp t24465;
-fp t24342;
-fp t24708;
-fp t23638;
-fp t24429;
-fp t24352;
-fp t24707;
-fp t24706;
-fp t24705;
-fp t24540;
-fp t24377;
-fp t24704;
-fp t24302;
-fp t24703;
-fp t24702;
-fp t24314;
-fp t24701;
-fp t24700;
-fp t24374;
-fp t24699;
-fp t23977;
-fp t24698;
-fp t24131;
-fp t24387;
-fp t24368;
-fp t24697;
-fp t24696;
-fp t24372;
-fp t24695;
-fp t23123;
-fp t24694;
-fp t24376;
-fp t24693;
-fp t24469;
-fp t24692;
-fp t24691;
-fp t24690;
-fp t24689;
-fp t23633;
-fp t24410;
-fp t23928;
-fp t24688;
-fp t24517;
-fp t24510;
-fp t24687;
-fp t24686;
-fp t24321;
-fp t24685;
-fp t24534;
-fp t24338;
-fp t24684;
-fp t24038;
-fp t24295;
-fp t24683;
-fp t23915;
-fp t24682;
-fp t24681;
-fp t24680;
-fp t24351;
-fp t24364;
-fp t24679;
-fp t23719;
-fp t24354;
-fp t24499;
-fp t24678;
-fp t24677;
-fp t24329;
-fp t24676;
-fp t24675;
-fp t24674;
-fp t24673;
-fp t24672;
-fp t24671;
-fp t23073;
-fp t24670;
-fp t24669;
-fp t24039;
-fp t23902;
-fp t23849;
-fp t24668;
-fp t24667;
-fp t24472;
-fp t24666;
-fp t24382;
-fp t23459;
-fp t24665;
-fp t23234;
-fp t24664;
-fp t24663;
-fp t24322;
-fp t24662;
-fp t24363;
-fp t24661;
-fp t23575;
-fp t24660;
-fp t24659;
-fp t23557;
-fp t23672;
-fp t23850;
-fp t24658;
-fp t24657;
-fp t24656;
-fp t24503;
-fp t24655;
-fp t24528;
-fp t23855;
-fp t24362;
-fp t24654;
-fp t24307;
-fp t24653;
-fp t23501;
-fp t24652;
-fp t24651;
-fp t24650;
-fp t24505;
-fp t24649;
-fp t23676;
-fp t24648;
-fp t23577;
-fp t24371;
-fp t24647;
-fp t24646;
-fp t24645;
-fp t24644;
-fp t24537;
-fp t23523;
-fp t24643;
-fp t23225;
-fp t24642;
-fp t24356;
-fp t24641;
-fp t24640;
-fp t24639;
-fp t24638;
-fp t24637;
-fp t23767;
-fp t24636;
-fp t24635;
-fp t24634;
-fp t24489;
-fp t24396;
-fp t24633;
-fp t24632;
-fp t24631;
-fp t23683;
-fp t24630;
-fp t24629;
-fp t24628;
-fp t24627;
-fp t23794;
-fp t24626;
-fp t24504;
-fp t24126;
-fp t24625;
-fp t24041;
-fp t23934;
-fp t24415;
-fp t24333;
-fp t24361;
-fp t24624;
-fp t24049;
-fp t24623;
-fp t24622;
-fp t24621;
-fp t24620;
-fp t24619;
-fp t24618;
-fp t24366;
-fp t24617;
-fp t23877;
-fp t24616;
-fp t24615;
-fp t24158;
-fp t24037;
-fp t23871;
-fp t24614;
-fp t24613;
-fp t24422;
-fp t24612;
-fp t24611;
-fp t24610;
-fp t24609;
-fp t24608;
-fp t24607;
-fp t24034;
-fp t23867;
-fp t24536;
-fp t23654;
-fp t24606;
-fp t24605;
-fp t24604;
-fp t24603;
-fp t24602;
-fp t24241;
-fp t24601;
-fp t24600;
-fp t23433;
-fp t24243;
-fp t24599;
-fp t24242;
-fp t24598;
-fp t24115;
-fp t24597;
-fp t24090;
-fp t24596;
-fp t23462;
-fp t24595;
-fp t24404;
-fp t24164;
-fp t24594;
-fp t24434;
-fp t24593;
-fp t24091;
-fp t24147;
-fp t24592;
-fp t24436;
-fp t23869;
-fp t23687;
-fp t24591;
-fp t23796;
-fp t24026;
-fp t23876;
-fp t24590;
-fp t24589;
-fp t24588;
-fp t24587;
-fp t24016;
-fp t23936;
-fp t24163;
-fp t24586;
-fp t24585;
-fp t24584;
-fp t24018;
-fp t24156;
-fp t24103;
-fp t24583;
-fp t24582;
-fp t24581;
-fp t24483;
-fp t24580;
-fp t24579;
-fp t24284;
-fp t24578;
-fp t24577;
-fp t24279;
-fp t24576;
-fp t24575;
-fp t24574;
-fp t24573;
-fp t24399;
-fp t24572;
-fp t24571;
-fp t24570;
-fp t24569;
-fp t24498;
-fp t24568;
-fp t24567;
-fp t24566;
-fp t24565;
-fp t24564;
-fp t24563;
-fp t24562;
-fp t24561;
-fp t24560;
-fp t24559;
-fp t24558;
-fp t24557;
-fp t24556;
-fp t24555;
-fp t24554;
-fp t24553;
-fp t24552;
-fp t24551;
-fp t24550;
-fp t24549;
-fp t24548;
-fp t24547;
-fp t24546;
-fp t24146;
-fp t24518;
-fp t24497;
-fp t24492;
-fp t24491;
-fp t24027;
-fp t24480;
-fp t24467;
-fp t24357;
-fp t24355;
-fp t24350;
-fp t24334;
-fp t24293;
-fp t24292;
-fp t24289;
-fp t24288;
-fp t24285;
-fp t24282;
-fp t24278;
-fp t24277;
-fp t24276;
-fp t24275;
-fp t24274;
-fp t24273;
-fp t24063;
-fp t24272;
-fp t24271;
-fp t24059;
-fp t24270;
-fp t24140;
-fp t24269;
-fp t24145;
-fp t24268;
-fp t24077;
-fp t24267;
-fp t24266;
-fp t24265;
-fp t24264;
-fp t24263;
-fp t24262;
-fp t24261;
-fp t24260;
-fp t24259;
-fp t24258;
-fp t24087;
-fp t24138;
-fp t24257;
-fp t24256;
-fp t24255;
-fp t24253;
-fp t24252;
-fp t24251;
-fp t24068;
-fp t24250;
-fp t24249;
-fp t24248;
-fp t24247;
-fp t24246;
-fp t24245;
-fp t24244;
-fp t24152;
-fp t24240;
-fp t24239;
-fp t24238;
-fp t24237;
-fp t24236;
-fp t24235;
-fp t24234;
-fp t24233;
-fp t24232;
-fp t24231;
-fp t24230;
-fp t24229;
-fp t24228;
-fp t24227;
-fp t24226;
-fp t24225;
-fp t24224;
-fp t24223;
-fp t24222;
-fp t24221;
-fp t24220;
-fp t24219;
-fp t24218;
-fp t24217;
-fp t24216;
-fp t24215;
-fp t24214;
-fp t24213;
-fp t24212;
-fp t24211;
-fp t24210;
-fp t24209;
-fp t24208;
-fp t24207;
-fp t24206;
-fp t24205;
-fp t24204;
-fp t24203;
-fp t24202;
-fp t24201;
-fp t24200;
-fp t24199;
-fp t24198;
-fp t24197;
-fp t24196;
-fp t24195;
-fp t24194;
-fp t24193;
-fp t24192;
-fp t24191;
-fp t24190;
-fp t24189;
-fp t24188;
-fp t24187;
-fp t24186;
-fp t24185;
-fp t24184;
-fp t24183;
-fp t24182;
-fp t24181;
- t24172 = y*y;
- t24176 = t24172*t24172;
- t24086 = RATIONAL(1.0,576.0);
- t24080 = RATIONAL(1.0,144.0);
- t24974 = t24086*t24176+t24080;
- t24047 = RATIONAL(-1.0,1728.0);
- t24174 = t24172*y;
- t24044 = RATIONAL(1.0,1728.0);
- t24973 = t24047*t24174+t24044*y;
- t24972 = t24047*y+t24044*t24174;
- t24079 = RATIONAL(-5.0,288.0);
- t24056 = RATIONAL(5.0,288.0);
- t24971 = y*t24056+t24174*t24079;
- t24970 = t24174*t24056+y*t24079;
- t24043 = RATIONAL(-1.0,1152.0);
- t24170 = x*x;
- t24463 = t24172*t24170;
- t24048 = RATIONAL(1.0,1152.0);
- t24389 = t24048*t24170;
- t24969 = t24043*t24463+t24176*t24389;
- t24143 = RATIONAL(-1.0,9.0);
- t24096 = RATIONAL(-1.0,36.0);
- t24398 = t24096*t24176;
- t24968 = t24398+t24143;
- t24155 = RATIONAL(-1.0,3.0);
- t24033 = t24155*t24170;
- t24169 = RATIONAL(4.0,9.0);
- t24967 = t24033+t24169;
- t24136 = RATIONAL(1.0,72.0);
- t24128 = RATIONAL(1.0,18.0);
- t24903 = t24136*t24176+t24128;
- t24085 = RATIONAL(-1.0,576.0);
- t24454 = t24085*t24170;
- t23448 = t24176*t24454;
- t24405 = t24172*t24086;
- t24966 = t24170*t24405+t23448;
- t24144 = RATIONAL(1.0,9.0);
- t24171 = z*z;
- t24175 = t24171*z;
- t24411 = t24174*t24175;
- t23905 = t24144*t24411;
- t24162 = RATIONAL(-4.0,9.0);
- t24017 = t24162*t24175;
- t24965 = t23905+y*t24017;
- t24416 = t24170*t24086;
- t24433 = t24174*t24170;
- t24964 = t24085*t24433+y*t24416;
- t24052 = RATIONAL(1.0,432.0);
- t24088 = RATIONAL(-1.0,864.0);
- t23970 = t24088*t24174;
- t24963 = t24052*t24411+z*t23970;
- t24106 = RATIONAL(-2.0,27.0);
- t24450 = t24175*t24106;
- t23830 = y*t24450;
- t24092 = RATIONAL(1.0,54.0);
- t23833 = t24092*t24411;
- t24962 = t23830+t23833;
- t24111 = RATIONAL(-5.0,96.0);
- t24431 = t24171*t24111;
- t24113 = RATIONAL(1.0,48.0);
- t24173 = x*t24170;
- t24495 = t24173*t24171;
- t24319 = t24113*t24495;
- t24961 = x*t24431+t24319;
- t24072 = RATIONAL(5.0,192.0);
- t24083 = RATIONAL(-5.0,576.0);
- t23956 = t24083*t24172;
- t24435 = t24172*t24171;
- t24960 = t23956+t24072*t24435;
- t24125 = RATIONAL(1.0,24.0);
- t24110 = RATIONAL(1.0,96.0);
- t24385 = t24171*t24110;
- t24959 = t24176*t24385+t24125*t24171;
- t24099 = RATIONAL(4.0,27.0);
- t24448 = t24174*t24099;
- t24482 = t24173*t24174;
- t24958 = x*t24448+t24106*t24482;
- t24054 = RATIONAL(1.0,864.0);
- t23950 = t24054*t24174;
- t24053 = RATIONAL(-1.0,432.0);
- t23511 = t24053*t24411;
- t24957 = t23511+z*t23950;
- t24412 = t24085*t24171;
- t23421 = t24172*t24412;
- t24453 = t24176*t24171;
- t24956 = t23421+t24086*t24453;
- t24109 = RATIONAL(2.0,27.0);
- t24443 = t24109*t24172;
- t24102 = RATIONAL(-1.0,54.0);
- t23975 = t24102*t24176;
- t24955 = t24443+t23975;
- t24107 = RATIONAL(-4.0,27.0);
- t24500 = t24107*t24174;
- t24954 = x*t24500+t24109*t24482;
- t24095 = RATIONAL(-1.0,18.0);
- t24455 = t24095*t24170;
- t24168 = RATIONAL(2.0,9.0);
- t24953 = t24168*t24463+t24176*t24455;
- t24473 = t24173*t24054;
- t24952 = t24088*t24482+y*t24473;
- t23998 = t24128*t24173;
- t24312 = t24171*t23998;
- t24471 = t24143*t24171;
- t24951 = t24312+x*t24471;
- t24154 = RATIONAL(8.0,9.0);
- t24950 = t24168*t24176+t24154;
- t24418 = t24095*t24171;
- t24949 = t24176*t24418+t24168*t24435;
- t24153 = RATIONAL(1.0,3.0);
- t24094 = RATIONAL(1.0,12.0);
- t24948 = t24153*t24171+t24094*t24453;
- t24947 = t24174*t24416+y*t24454;
- t24150 = RATIONAL(-2.0,9.0);
- t24403 = t24150*t24171;
- t24124 = RATIONAL(8.0,27.0);
- t24946 = (t24124+t24403)*t24173;
- t24522 = x*t24099;
- t24336 = t24175*t24522;
- t24543 = x*z;
- t24129 = RATIONAL(-8.0,27.0);
- t24945 = t24129*t24543+t24336;
- t24425 = t24175*t24129;
- t23747 = t24109*t24411;
- t24944 = y*t24425+t23747;
- t24390 = t24176*t24128;
- t24943 = t24171*t24390+t24172*t24403;
- t24479 = t24136*t24170;
- t23748 = t24176*t24479;
- t24942 = t23748+t23975;
- t24127 = RATIONAL(1.0,36.0);
- t24476 = t24127*t24176;
- t24941 = t24144+t24476;
- t24082 = RATIONAL(-1.0,144.0);
- t24940 = t24085*t24176+t24082;
- t24076 = RATIONAL(1.0,288.0);
- t23952 = t24088*t24176;
- t24486 = t24176*t24170;
- t24939 = t23952+t24076*t24486;
- t24051 = RATIONAL(1.0,216.0);
- t24447 = t24173*t24051;
- t24071 = RATIONAL(-1.0,216.0);
- t24460 = t24173*t24071;
- t24938 = t24174*t24460+y*t24447;
- t24391 = t24175*t24051;
- t23424 = t24174*t24391;
- t24388 = t24071*t24175;
- t24937 = t23424+y*t24388;
- t23971 = t24053*t24176;
- t24936 = t23971+t24052*t24172;
- t24935 = t24150*t24463+t24170*t24390;
- t24120 = RATIONAL(-1.0,24.0);
- t24112 = RATIONAL(-1.0,96.0);
- t24934 = t24112*t24453+t24120*t24171;
- t24065 = RATIONAL(-1.0,108.0);
- t24519 = y*t24065;
- t23961 = t24051*y;
- t24933 = z*t23961+t24175*t24519;
- t24089 = RATIONAL(-1.0,72.0);
- t23985 = t24089*t24176;
- t24875 = t23985+t24095;
- t23958 = t24052*t24176;
- t24932 = t23958+t24053*t24172;
- t24526 = y*t24175;
- t23702 = t24106*t24411;
- t24931 = t23702+t24124*t24526;
- t24064 = RATIONAL(1.0,108.0);
- t24493 = t24173*t24064;
- t23947 = t24071*y;
- t24930 = x*t23947+y*t24493;
- t24929 = t24174*t24447+y*t24460;
- t24928 = t24172*t24454+t24176*t24416;
- t24070 = RATIONAL(16.0,27.0);
- t24927 = t24070*t24172+t24107*t24176;
- t24101 = RATIONAL(-1.0,12.0);
- t23621 = t24101*t24486;
- t24926 = t24144*t24176+t23621;
- t23972 = t24054*t24176;
- t24078 = RATIONAL(-1.0,288.0);
- t24925 = t24078*t24453+t23972;
- t24075 = RATIONAL(1.0,192.0);
- t24924 = t24113*t24171+t24075*t24453;
- t24525 = y*t24109;
- t23773 = t24175*t24525;
- t23657 = t24102*t24411;
- t24923 = t23657+t23773;
- t23498 = t24174*t24388;
- t24922 = y*t24391+t23498;
- t24032 = t24155*t24171;
- t24921 = t24032+t24101*t24453;
- t24084 = RATIONAL(5.0,576.0);
- t23966 = t24084*t24172;
- t24074 = RATIONAL(-5.0,192.0);
- t24920 = t23966+t24074*t24435;
- t24919 = t24088*y*t24173+t24174*t24473;
- t24020 = t24143*t24176;
- t23852 = t24094*t24486;
- t24918 = t24020+t23852;
- t24045 = RATIONAL(1.0,3456.0);
- t24046 = RATIONAL(-1.0,3456.0);
- t24917 = t24046*t24176+t24045*t24172;
- t24406 = t24173*t24078;
- t24299 = t24171*t24406;
- t24916 = t24447+t24299;
- t23503 = t24171*t24405;
- t24915 = t23503+t24176*t24412;
- t24914 = t24089*t24175+t24974*z;
- t23943 = t24046*t24172;
- t24913 = t23943+t24172*t24389+t24043*t24486;
- t23945 = t24045*t24176;
- t24386 = t24043*t24171;
- t24912 = t24048*t24435+t23945+t24176*t24386;
- t24440 = t24175*t24172;
- t24402 = t24047*t24176;
- t24911 = t24175*t24402+t24044*t24440+z*t23945;
- t24451 = t24173*t24044;
- t24910 = x*t23943+t24172*t24451+t24173*t24402;
- t24909 = t24048*t24453+t24172*t24386+t24917;
- t24908 = t24054*t24526+t24088*t24411+t24972*z;
- t24457 = t24174*t24171;
- t24907 = t24086*t24457+y*t24412+t24973;
- t24520 = y*t24171;
- t24906 = t24174*t24412+t24086*t24520+t24972;
- t24116 = RATIONAL(-1.0,48.0);
- t23994 = t24116*t24171;
- t24069 = RATIONAL(-1.0,192.0);
- t24905 = t24069*t24453+t23994+t24974;
- t24904 = t24088*t24526+t24054*t24411+t24973*z;
- t24902 = t24967*t24175;
- t23658 = t24127*t24457;
- t24464 = t24096*t24170;
- t23647 = y*t24464;
- t24901 = t23658+t23647;
- t24367 = y*t23994;
- t24098 = RATIONAL(1.0,27.0);
- t24900 = t24170*t24367+t24098*t24174;
- t23964 = t24064*t24176;
- t23461 = t24175*t23964;
- t24468 = t24173*t24053;
- t23603 = t24172*t24468;
- t24899 = z*t23603+x*t23461;
- t24512 = t24176*t24543;
- t24119 = RATIONAL(5.0,36.0);
- t24459 = t24119*t24172;
- t23625 = x*t24459;
- t24462 = t24173*t24175;
- t24324 = t24176*t24462;
- t24490 = t24096*t24324+z*t23625;
- t24133 = RATIONAL(-5.0,36.0);
- t24313 = t24173*t24440;
- t24898 = t24490+t24127*t24313+t24133*t24512;
- t24897 = t24082*t24526+t24080*t24411;
- t23788 = y*t24479;
- t23547 = t24078*t24457;
- t24896 = t23788+t23547;
- t23695 = t24110*t24486;
- t23984 = t24125*t24170;
- t24895 = t23695+t23984;
- t24118 = RATIONAL(5.0,12.0);
- t23613 = t24118*t24435;
- t24159 = RATIONAL(-5.0,9.0);
- t24894 = t23613+t24159*t24172;
- t24893 = t24970*x;
- t23987 = t24120*t24170;
- t23801 = t24112*t24486;
- t24892 = t23987+t23801;
- t23954 = t24071*t24174;
- t24441 = t24171*t24170;
- t24373 = y*t24441;
- t24891 = t23954+t24110*t24373;
- t24445 = t24173*t24080;
- t24484 = t24173*t24082;
- t24890 = y*t24484+t24174*t24445;
- t24889 = t24968*x;
- t24888 = t24971*x;
- t24384 = t24171*t24136;
- t23643 = y*t24384;
- t24414 = t24078*t24170;
- t23583 = t24174*t24414;
- t24887 = t23643+t23583;
- t24002 = t24098*y;
- t24294 = t24116*t24457;
- t24886 = t24002+t24170*t24294;
- t24885 = t24082*t24482+y*t24445;
- t24884 = t24153*t24495+t24162*t24173;
- t24317 = t24171*t24433;
- t24883 = t23961+t24112*t24317;
- t24882 = t23950+t24120*t24373;
- t24881 = t24082*t24411+t24080*t24526;
- t24533 = y*t24170;
- t23819 = t24127*t24533;
- t24392 = t24096*t24171;
- t23834 = t24174*t24392;
- t24880 = t23819+t23834;
- t24879 = t24116*t24170+t24069*t24486;
- t23667 = t24127*t24433;
- t23851 = y*t24392;
- t24878 = t23667+t23851;
- t24030 = t24169*t24173;
- t24877 = t24173*t24032+t24030;
- t24876 = t23947+t24110*t24317;
- t23467 = t24076*t24433;
- t23651 = t24089*t24520;
- t24874 = t23467+t23651;
- t23965 = t24051*t24174;
- t24873 = t23965+t24112*t24373;
- t24055 = RATIONAL(-5.0,144.0);
- t24417 = t24176*t24055;
- t23434 = z*t24417;
- t24872 = x*t23434+t24144*t24313+t24490;
- t24871 = t24113*t24170+t24075*t24486+t24940;
- t23639 = t24170*t23985;
- t24485 = t24175*t24170;
- t24296 = t24082*t24485;
- t24470 = t24176*t24051;
- t24870 = t24052*t24440+t24172*t24296+(t24470+t23639)*z;
- t23532 = t24076*t24520;
- t24393 = t24089*t24174;
- t24869 = t23532+t24170*t24393+t24873;
- t24300 = t24175*t24464;
- t23516 = t24176*t24414;
- t24868 = t24172*t24300+t24064*t24440+(t23972+t23516)*z;
- t24413 = t24173*t24065;
- t23491 = t24176*t24413;
- t24867 = t24172*t24336+z*t23491;
- t24432 = t24174*t24096;
- t23771 = t24170*t24432;
- t23732 = t24127*t24520;
- t24866 = t23771+t23732;
- t24346 = x*t24440;
- t24151 = RATIONAL(-5.0,3.0);
- t24478 = t24173*t24176;
- t24347 = z*t24478;
- t24865 = t24118*t24347+t24151*t24346;
- t24461 = t24173*t24098;
- t23670 = t24172*t24461;
- t24100 = RATIONAL(-1.0,27.0);
- t24474 = t24175*t24100;
- t24348 = x*t24474;
- t24864 = z*t23670+t24176*t24348;
- t24121 = RATIONAL(-20.0,9.0);
- t24508 = t24172*t24543;
- t24863 = t24121*t24508+t24144*t24324;
- t23509 = z*t23956;
- t24862 = t24080*t24324+x*t23509;
- t23479 = t24173*t23958;
- t23510 = t24065*t24440;
- t24861 = z*t23479+x*t23510;
- t24487 = t24176*t24175;
- t24380 = x*t24487;
- t24114 = RATIONAL(5.0,48.0);
- t24496 = t24173*t24172;
- t24378 = z*t24496;
- t24117 = RATIONAL(-5.0,48.0);
- t24860 = t24117*t24380+t24114*t24378;
- t24135 = RATIONAL(-5.0,72.0);
- t23770 = t24135*t24496;
- t24328 = t24175*t24390;
- t24859 = x*t24328+z*t23770;
- t23981 = t24092*t24176;
- t23823 = z*t23981;
- t24858 = x*t23823+t24106*t24313;
- t24166 = RATIONAL(5.0,9.0);
- t24511 = t24166*t24543;
- t24857 = t24162*t24313+t24176*t24511;
- t24502 = RATIONAL(-25.0,96.0)*t24172;
- t24856 = t24125*t24324+t24502*t24543;
- t24401 = t24172*t24056;
- t23493 = t24175*t24401;
- t23576 = t24176*t24406;
- t24855 = x*t23493+z*t23576;
- t23635 = t24095*t24440;
- t24105 = RATIONAL(5.0,72.0);
- t24854 = t24105*t24347+x*t23635;
- t24494 = t24172*t24106;
- t23757 = x*t24494;
- t24853 = t24092*t24324+z*t23757;
- t24852 = t24151*t24378+t24118*t24380;
- t23832 = t24136*t24487;
- t24134 = RATIONAL(-5.0,18.0);
- t24524 = z*t24134;
- t24359 = t24173*t24524;
- t24851 = t24172*t24359+x*t23832;
- t24132 = RATIONAL(10.0,9.0);
- t24850 = t24132*t24346+t24150*t24347;
- t23536 = t24078*t24487;
- t23456 = t24173*t24401;
- t24849 = x*t23536+z*t23456;
- t23951 = t24064*t24174;
- t24848 = t23951+t24101*t24373;
- t23805 = t24135*t24440;
- t24847 = x*t23805+t24128*t24347;
- t24139 = RATIONAL(-1.0,6.0);
- t24122 = RATIONAL(25.0,6.0);
- t24846 = t24122*t24508+t24139*t24324;
- t24005 = t24100*y;
- t24844 = t24005+t24113*t24317;
- t23815 = t24098*t24440;
- t24506 = t24173*t24100;
- t24337 = z*t24506;
- t24843 = t24176*t24337+x*t23815;
- t23420 = x*t23952;
- t24841 = t24092*t24313+z*t23420;
- t23949 = t24051*t24172;
- t23426 = x*t23949;
- t24840 = t24071*t24324+z*t23426;
- t23508 = t24053*t24440;
- t23499 = t24173*t23964;
- t24839 = z*t23499+x*t23508;
- t23997 = t24136*t24173;
- t23640 = t24176*t23997;
- t24838 = t24134*t24346+z*t23640;
- t24837 = t24114*t24346+t24117*t24347;
- t23570 = t24172*t24413;
- t23558 = t24175*t23958;
- t24836 = x*t23558+z*t23570;
- t24444 = t24071*t24176;
- t23472 = x*t24444;
- t24835 = z*t23472+t24051*t24313;
- t24437 = t24176*t24105;
- t23604 = x*t24437;
- t23982 = t24095*t24173;
- t23622 = t24172*t23982;
- t24834 = z*t23622+t24175*t23604;
- t24427 = t24089*t24172;
- t23782 = t24171*t24427;
- t23785 = t24170*t24427;
- t24309 = t24176*t24441;
- t24833 = t23782+t23785+t24112*t24309;
- t23960 = t24065*t24174;
- t24330 = t24173*t24457;
- t24832 = t24089*t24330+(t23851+t23960)*x;
- t24420 = t24172*t24082;
- t24831 = t24170*t24420+t24956;
- t23739 = t24172*t24384;
- t23730 = t24136*t24463;
- t24830 = t23739+t24110*t24309+t23730;
- t23990 = t24106*t24174;
- t23776 = t24174*t24461;
- t24545 = y*x;
- t24829 = t23776+t24418*t24545+x*t23990;
- t23561 = t24076*t24533;
- t24828 = y*t24296+(t23561+t23965)*z;
- t23592 = z*t23960;
- t24303 = t24170*t24411;
- t24827 = t23592+t24089*t24303+z*t23647;
- t23515 = x*t23951;
- t24826 = t23515+t24136*t24330+x*t23732;
- t24825 = t24171*t24420+t24928;
- t24824 = z*t23788+t24957;
- t24823 = t24136*t24303+(t23951+t23819)*z;
- t23497 = t24174*t24468;
- t24822 = t23497+(t23643+t23950)*x;
- t23419 = t24072*t24463;
- t24821 = t24175*t23695+t23509+t23536+z*t23419;
- t24820 = t24176*t24296+t23558+(t23949+t23785)*z;
- t24424 = t24132*t24172;
- t24028 = t24144*t24173;
- t24365 = x*t24435;
- t24157 = RATIONAL(-5.0,6.0);
- t24323 = t24173*t24453;
- t24819 = x*t24424+t24157*t24365+t24101*t24323+t24176*t24028;
- t23865 = t24098*t24526;
- t23780 = t24095*t24433;
- t24523 = y*t24106;
- t23660 = z*t24523;
- t24818 = t23865+z*t23780+t24127*t24303+t23660;
- t23962 = t24065*t24176;
- t23599 = t24175*t23962;
- t24531 = t24173*z;
- t24375 = t24099*t24531;
- t24817 = t24172*t24375+x*t23599+t24843;
- t24421 = t24144*t24171;
- t23594 = t24082*t24433;
- t24816 = y*t24421+t23594+t24848;
- t23565 = t24076*t24496;
- t24815 = t24079*t24380+z*t23565+t24855;
- t23969 = t24071*t24172;
- t23571 = t24080*t24486;
- t24814 = (t23971+t23571)*t24175+(t23969+t23730)*z;
- t23862 = x*t24525;
- t23701 = t24128*t24457;
- t24297 = t24173*t24432;
- t24813 = x*t23701+y*t24506+t23862+t24171*t24297;
- t23743 = y*t24461;
- t23736 = t24174*t24418;
- t24419 = t24173*t24127;
- t24315 = t24174*t24419;
- t24812 = t23743+t24171*t24315+(t23736+t24523)*x;
- t24541 = y*t24064;
- t23587 = x*t24541;
- t23450 = t24064*t24526;
- t24318 = t24175*t24413;
- t24811 = t24174*t24318+z*t23587+t24173*t23450+x*t23592;
- t24810 = t24876+t24896;
- t24809 = t24841+t24861;
- t24308 = t24170*t24435;
- t24808 = t24075*t24308+t24069*t24309+t24936;
- t23514 = t24076*t24457;
- t23733 = t24089*t24533;
- t24807 = t23514+t23733+t24883;
- t23543 = y*t24413;
- t24316 = t24171*t24484;
- t24806 = t23543+t24174*t24316+(t23514+t23961)*x;
- t24805 = t24176*t24468+t24080*t24323+(t23969+t23739)*x;
- t23646 = t24127*t24463;
- t24001 = t24100*t24172;
- t24804 = t24942*t24175+(t24001+t23646)*z;
- t24452 = t24174*t24092;
- t23682 = x*t24452;
- t24803 = x*t23660+z*t23682+t24962*t24173;
- t24542 = y*t24543;
- t24802 = t24121*t24542+t24174*t24511+t24965*t24173;
- t24123 = RATIONAL(-5.0,12.0);
- t24394 = t24171*t24123;
- t23843 = t24172*t24394;
- t24801 = t24120*t24323+x*t23843+t23640+t23625;
- t24800 = t24174*t24296+z*t23467+t24933;
- t24456 = t24174*t24134;
- t23769 = z*t24456;
- t24004 = t24128*t24175;
- t23610 = y*t24004;
- t24137 = RATIONAL(5.0,18.0);
- t24507 = t24137*t24545;
- t23606 = t24095*t24411;
- t24799 = x*t23769+z*t24507+(t23606+t23610)*t24173;
- t23973 = t24098*t24172;
- t24798 = t24116*t24309+t23962+t24094*t24308+t23973;
- t24011 = t24089*t24173;
- t24475 = t24172*t24133;
- t24797 = t24176*t24011+t24125*t24323+(t24475+t23613)*x;
- t24796 = t24853+t24864;
- t23991 = t24109*t24176;
- t24795 = t24102*t24313+t23991*t24543+t24843;
- t24794 = t24075*t24309+t24069*t24308+t24932;
- t24513 = t24107*t24545;
- t23741 = t24098*t24411;
- t23573 = t24064*t24482;
- t24793 = y*t24337+t24175*t24513+z*t23573+x*t23741;
- t23786 = t24175*t23985;
- t23778 = t24096*t24463;
- t24792 = t24170*t23786+t24175*t23981+(t23778+t23973)*z;
- t24535 = x*t24171;
- t24349 = t24117*t24535;
- t23811 = y*t23998;
- t24529 = x*t24133;
- t24791 = t23811+t24174*t24349+t24125*t24330+y*t24529;
- t24790 = t23479+x*t23782+t23426+t24176*t24316;
- t23483 = t24076*t24440;
- t24789 = x*t23483+t24079*t24347+t24849;
- t24788 = t24076*t24478+t24112*t24323+t24920*x;
- t24073 = RATIONAL(5.0,144.0);
- t24428 = t24174*t24073;
- t23559 = x*t24428;
- t23868 = t24143*t24462;
- t24527 = z*t24133;
- t23618 = y*t24527;
- t24787 = x*t23618+y*t23868+z*t23559+t24175*t24315;
- t24481 = t24174*t24102;
- t23858 = x*t24481;
- t24786 = (t23858+t23862)*z+t24923*t24173;
- t24785 = t23450+t24080*t24303+(t23947+t23583)*z;
- t23706 = t24128*t24411;
- t24409 = t24137*t24174;
- t23821 = z*t24409;
- t24010 = t24095*t24175;
- t23721 = y*t24010;
- t24784 = t24524*t24545+x*t23821+(t23706+t23721)*t24173;
- t24407 = t24120*t24176;
- t23803 = t24170*t24407;
- t24439 = t24170*t24123;
- t23845 = t24172*t24439;
- t24783 = t23832+t24175*t23803+(t23845+t24459)*z;
- t23717 = t24176*t23984;
- t23612 = t24118*t24463;
- t24782 = t24175*t23717+t23786+(t23612+t24475)*z;
- t24538 = y*t24119;
- t23608 = x*t24538;
- t23626 = y*t23982;
- t24381 = t24114*t24535;
- t24781 = t23608+t23626+t24174*t24381+t24120*t24330;
- t23835 = t24127*t24435;
- t24780 = t24173*t23975+t24136*t24323+(t24001+t23835)*x;
- t24515 = t24174*t24543;
- t24408 = t24143*t24174;
- t23930 = t24175*t24408;
- t23883 = t24175*t24030;
- t24779 = y*t23883+t24173*t23930+RATIONAL(20.0,9.0)*t24542+t24159*t24515;
- t23520 = x*t24519;
- t23439 = t24064*t24411;
- t24778 = y*t24318+t24173*t23439+(t23520+t23515)*z;
- t23983 = t24105*t24172;
- t24423 = t24170*t24111;
- t23690 = t24172*t24423;
- t24304 = t24116*t24485;
- t24777 = t24175*t24476+t24176*t24304+(t23983+t23690)*z;
- t24130 = RATIONAL(-10.0,9.0);
- t24395 = t24172*t24130;
- t24539 = z*t24170;
- t24160 = RATIONAL(5.0,6.0);
- t24340 = t24160*t24539;
- t24776 = z*t24395+t24172*t24340+t24918*t24175;
- t24775 = t24876+t24887;
- t24108 = RATIONAL(5.0,96.0);
- t23798 = t24108*t24463;
- t23989 = t24135*t24172;
- t24332 = t24113*t24485;
- t24774 = t24175*t24398+t24176*t24332+(t23989+t23798)*z;
- t24426 = t24171*t24080;
- t24325 = t24173*t24426;
- t24773 = x*t23547+t24174*t24325+t24930;
- t23728 = t24172*t24392;
- t24466 = t24173*t24092;
- t24772 = t24089*t24323+t24176*t24466+(t23728+t23973)*x;
- t24771 = t23964+t24001+t24113*t24309+t24101*t24308;
- t23863 = t24100*t24411;
- t23438 = t24174*t24413;
- t24770 = x*t23863+y*t24336+(t23743+t23438)*z;
- t23473 = t24074*t24463;
- t24769 = t24175*t23801+t24076*t24487+(t23473+t23966)*z;
- t24768 = t24853+t24858;
- t24767 = t24835+t24840;
- t24766 = t24844+t24880;
- t24765 = t24844+t24866;
- t24341 = z*t24433;
- t24764 = t23610+t24117*t24341+t23618+t24125*t24303;
- t24345 = y*t24028;
- t23891 = y*t24403;
- t24763 = t24171*t24345+x*t23891+t23858+t23573;
- t24344 = t24157*t24539;
- t23624 = z*t24424;
- t24762 = t24172*t24344+t23624+t24926*t24175;
- t24438 = t24174*t24055;
- t23449 = z*t24438;
- t24761 = z*t23608+x*t23449+(t24297+t24345)*t24175;
- t24760 = t24836+t24840;
- t23700 = t24172*t24431;
- t24310 = t24116*t24478;
- t24759 = t24171*t24310+t24176*t24419+(t23700+t23983)*x;
- t24343 = t24160*t24535;
- t24758 = t24094*t24323+x*t24395+t24172*t24343+t24173*t24020;
- t23800 = t24108*t24435;
- t24757 = t24173*t24398+t24176*t24319+(t23989+t23800)*x;
- t24756 = t24094*t24373+t23960+t24886;
- t23729 = t24128*t24433;
- t23750 = y*t24474;
- t24755 = t23750+t24174*t24300+(t24525+t23729)*z;
- t24754 = t24114*t24341+t23721+z*t24538+t24120*t24303;
- t24753 = t24110*t24323+t23576+t24960*x;
- t24752 = t24851+t24854+t24872;
- t24751 = t24175*t23733+(t24519+t23771)*z+t24922;
- t23553 = t24076*t24453;
- t24750 = t23553+t23949+t24125*t24308+t24939;
- t24400 = t24176*t24134;
- t23664 = x*t24400;
- t24749 = t24154*t24378+t24175*t23664+t24850+t24863+t24857;
- t24530 = x*t24175;
- t24360 = t24150*t24530;
- t24283 = t24173*t23624+t24176*t24360+t24863;
- t24748 = t24134*t24347+t24283+t24154*t24346+t24857;
- t24747 = t24854+t24859+t24898;
- t23765 = t24176*t24384;
- t24306 = t24172*t24385;
- t24746 = t24170*t24306+t24092*t24172+t23765+t24942;
- t24745 = t23969+t24120*t24308+t23516+t24925;
- t23996 = t24136*t24175;
- t24339 = y*t23996;
- t24744 = t24170*t24339+(t24541+t23667)*z+t24937;
- t23468 = t24080*t24433;
- t24358 = y*t24485;
- t24743 = t24128*t24358+(t23468+t24002)*z+t24962;
- t24301 = t24175*t24455;
- t24742 = y*t24301+(t24005+t23594)*z+t24923;
- t24741 = t24847+t24834+t24898;
- t24740 = t24834+t24838+t24872;
- t23772 = t24173*t24523;
- t23584 = t24174*t24426;
- t23652 = t24173*t24452;
- t24739 = t23772+t23652+y*t24312+(t24002+t23584)*x;
- t23645 = t24089*t24453;
- t24738 = t24102*t24172+t23639+t23645+t24112*t24308+t23981;
- t24161 = RATIONAL(-1.0,8.0);
- t24104 = RATIONAL(5.0,32.0);
- t24737 = RATIONAL(-1.0,32.0)*t24309+t23983+t24104*t24308+t24161*t24441+
-t24875;
- t24149 = RATIONAL(1.0,8.0);
- t24097 = RATIONAL(-5.0,32.0);
- t24736 = t24149*t24441+t23989+t24097*t24308+RATIONAL(1.0,32.0)*t24309+
-t24903;
- t23909 = t24168*t24533;
- t24022 = t24143*t24175;
- t24305 = t24170*t24022;
- t24735 = y*t24305+t24818+(t24452+t23909)*z;
- t24734 = t23587+t24173*t23643+x*t23658+t24899+t24929;
- t23429 = y*t24414;
- t24733 = t24080*t24358+t24800+(t23954+t23429)*z;
- t24514 = x*t24520;
- t23976 = t24109*t24174;
- t23857 = t24100*t24482;
- t24732 = t23857+x*t23976+t24128*t24514+t24812;
- t23839 = t24170*t24398;
- t24446 = t24144*t24170;
- t24731 = t23835+t23839+t24172*t24446+t24771;
- t23705 = x*t24004;
- t24254 = t24119*t24313+t23868+t24490+t24889*z;
- t24730 = t24168*t24531+t23705+t24254+t24847+t24851;
- t24729 = z*t23733+t24800+t24963;
- t24728 = t24813+t24829;
- t23535 = t24052*t24482;
- t24727 = t23535+t24806+(t23970+t23651)*x;
- t24726 = t24773+t24822;
- t24725 = t24785+t24824;
- t23661 = t24176*t24392;
- t24724 = t23661+t24172*t24421+t23646+t24771;
- t24516 = z*t24533;
- t24723 = t23863+t24128*t24516+z*t23976+t24818;
- t23812 = t24170*t24476;
- t24383 = t24143*t24172;
- t24722 = t23812+t23728+t24170*t24383+t24798;
- t24721 = t24080*t24463+t24794+t24915;
- t24720 = t24172*t24426+t24794+t24966;
- t24326 = t24175*t24446;
- t23892 = t24150*t24533;
- t24719 = y*t24326+t24755+(t24481+t23892)*z;
- t23826 = t24127*t24453;
- t24718 = t23826+t24171*t24383+t23778+t24798;
- t24717 = z*t23998+t24254+t24168*t24530+t24838+t24859;
- t24544 = y*z;
- t24716 = t24455*t24544+z*t23990+t23741+t24755;
- t24311 = t24069*t24441;
- t24715 = t24075*t24373+t24174*t24311+t24907+t24947;
- t24058 = RATIONAL(-1.0,384.0);
- t24298 = RATIONAL(1.0,384.0)*t24441;
- t24714 = t24176*t24298+t24058*t24308+t24912+t24913;
- t24141 = RATIONAL(1.0,6.0);
- t24713 = t24124*y+t23990+t23701+t24120*t24317+t23891+t23729+t23892+t24141
-*t24373;
- t24370 = t24102*t24526;
- t24712 = (t24370+t23424)*t24173+(t23497+t24930)*z+(t23450+t24957)*x;
- t24327 = t24170*t24440;
- t24711 = t23508+t24080*t24327+t24820+(t24444+t23748)*z;
- t24353 = x*t24421;
- t24449 = t24173*t24129;
- t24331 = t24173*t24435;
- t24710 = t24168*t24331+t24109*t24478+t24172*t24449+t24162*t24365+t24095*
-t24323+t24176*t24353+t24927*x;
- t24709 = t24127*t24327+t23510+t24820+t24939*z;
- t24050 = RATIONAL(-16.0,27.0);
- t24458 = t24172*t24050;
- t23524 = z*t24458;
- t24369 = z*t24486;
- t24465 = t24176*t24099;
- t24342 = t24169*t24539;
- t24708 = z*t24465+t24176*t24450+t23524+t24143*t24369+t24172*t24342+t24170
-*t24328+t24150*t24327+t24124*t24440;
- t23638 = t24175*t23987;
- t24429 = t24119*t24174;
- t24352 = t24114*t24539;
- t24707 = z*t24429+t23606+t24764+(t24352+t23638)*y;
- t24706 = t24108*t24516+t24113*t24303+t24111*t24341+y*t24304+t24881+t24970
-*z;
- t24705 = t24750+t24833;
- t24540 = y*t24070;
- t24377 = y*t24495;
- t24704 = t24168*t24377+x*t24540+y*t24449+t24174*t24353+t24095*t24330+
-t24162*t24514+t24954;
- t24302 = t24173*t24392;
- t24703 = t24805+(t24493+t24302)*t24172+t24925*x;
- t24702 = t24775+t24882+t24896;
- t24314 = t24052*t24462;
- t24701 = t24173*t23511+y*t24314+t24919*z+t24904*x;
- t24700 = y*t24471+t23468+t24756+t24901;
- t24374 = y*t24462;
- t24699 = t24174*t24314+t24053*t24374+t24952*z+t24908*x;
- t23977 = t24106*t24176;
- t24698 = t24141*t24308+t23977+t24120*t24309+t24124*t24172+t24935+t24943;
- t24131 = RATIONAL(5.0,24.0);
- t24387 = t24131*t24171;
- t24368 = x*t24387;
- t24697 = t24176*t24368+t23664+t24162*t24496+t24153*t24331+t24819;
- t24696 = t24175*t23429+t24076*t24303+t24964*z+t24908;
- t24372 = t24092*t24526;
- t24695 = (t23543+t23535)*z+(t24372+t23498)*t24173+(t24933+t24963)*x;
- t23123 = y*t24300;
- t24694 = t23123+t24723;
- t24376 = t24162*t24539;
- t24693 = t24144*t24341+y*t24376+t24174*t24301+t24175*t23909+(t24500+
-t24540)*z+t24944;
- t24469 = t24176*t24098;
- t24692 = t24092*t24440+t24089*t24327+t24804+(t23839+t24469)*z;
- t24691 = t24176*t24451+t24085*t24323+t24047*t24496+t24173*t23503+t24909*x
+fp t21958;
+fp t21961;
+fp t22089;
+fp t22087;
+fp t22740;
+fp t21960;
+fp t21963;
+fp t22086;
+fp t22251;
+fp t22253;
+fp t22739;
+fp t22738;
+fp t21959;
+fp t21962;
+fp t22085;
+fp t22255;
+fp t22257;
+fp t22737;
+fp t21976;
+fp t21985;
+fp t22736;
+fp t22735;
+fp t22091;
+fp t22243;
+fp t22247;
+fp t22734;
+fp t22733;
+fp t21981;
+fp t22022;
+fp t22732;
+fp t21980;
+fp t21989;
+fp t22088;
+fp t22256;
+fp t22315;
+fp t22731;
+fp t22730;
+fp t22090;
+fp t22246;
+fp t22312;
+fp t22729;
+fp t22728;
+fp t22727;
+fp t21977;
+fp t21986;
+fp t22726;
+fp t22725;
+fp t21857;
+fp t21975;
+fp t21984;
+fp t22724;
+fp t21856;
+fp t22723;
+fp t21861;
+fp t22722;
+fp t21860;
+fp t22721;
+fp t22252;
+fp t22313;
+fp t22720;
+fp t22719;
+fp t22244;
+fp t22248;
+fp t22718;
+fp t22717;
+fp t22716;
+fp t21993;
+fp t21887;
+fp t21973;
+fp t22715;
+fp t21864;
+fp t22714;
+fp t21865;
+fp t22030;
+fp t22713;
+fp t21876;
+fp t22712;
+fp t21870;
+fp t21992;
+fp t22711;
+fp t21982;
+fp t21991;
+fp t22710;
+fp t22709;
+fp t22708;
+fp t22707;
+fp t21882;
+fp t21983;
+fp t22706;
+fp t21971;
+fp t21862;
+fp t21995;
+fp t22705;
+fp t22039;
+fp t22017;
+fp t22279;
+fp t22704;
+fp t22018;
+fp t22040;
+fp t22268;
+fp t22703;
+fp t22019;
+fp t22025;
+fp t22702;
+fp t22701;
+fp t22026;
+fp t22075;
+fp t22700;
+fp t22699;
+fp t22028;
+fp t22067;
+fp t22698;
+fp t22697;
+fp t22029;
+fp t22035;
+fp t22696;
+fp t22695;
+fp t22036;
+fp t22061;
+fp t22694;
+fp t22693;
+fp t22038;
+fp t22073;
+fp t22692;
+fp t22691;
+fp t21863;
+fp t21988;
+fp t22690;
+fp t21875;
+fp t21979;
+fp t22689;
+fp t22688;
+fp t22020;
+fp t22687;
+fp t22686;
+fp t22685;
+fp t22031;
+fp t21912;
+fp t22684;
+fp t22053;
+fp t22683;
+fp t22023;
+fp t22063;
+fp t22682;
+fp t22222;
+fp t22225;
+fp t22681;
+fp t22084;
+fp t22680;
+fp t21997;
+fp t22679;
+fp t21970;
+fp t22678;
+fp t22308;
+fp t22301;
+fp t22311;
+fp t22303;
+fp t22677;
+fp t22245;
+fp t22310;
+fp t22676;
+fp t22675;
+fp t21990;
+fp t22032;
+fp t22674;
+fp t22673;
+fp t22672;
+fp t22077;
+fp t22250;
+fp t22671;
+fp t22254;
+fp t22670;
+fp t22059;
+fp t22669;
+fp t22668;
+fp t21996;
+fp t22291;
+fp t21513;
+fp t22242;
+fp t22216;
+fp t22011;
+fp t22283;
+fp t21542;
+fp t22033;
+fp t22220;
+fp t22241;
+fp t22667;
+fp t21412;
+fp t21440;
+fp t21356;
+fp t21494;
+fp t22622;
+fp t22666;
+fp t21405;
+fp t21444;
+fp t21361;
+fp t21489;
+fp t22623;
+fp t22665;
+fp t22024;
+fp t21620;
+fp t21926;
+fp t22307;
+fp t22664;
+fp t22274;
+fp t21676;
+fp t21839;
+fp t22231;
+fp t22663;
+fp t21370;
+fp t21868;
+fp t21415;
+fp t21449;
+fp t22212;
+fp t22568;
+fp t22662;
+fp t21451;
+fp t21880;
+fp t21368;
+fp t21495;
+fp t22573;
+fp t22661;
+fp t22209;
+fp t22213;
+fp t22570;
+fp t22660;
+fp t22571;
+fp t22659;
+fp t22249;
+fp t22230;
+fp t22294;
+fp t21469;
+fp t21869;
+fp t21390;
+fp t22621;
+fp t22572;
+fp t22211;
+fp t22607;
+fp t22168;
+fp t21585;
+fp t22590;
+fp t22658;
+fp t21375;
+fp t21455;
+fp t21579;
+fp t22589;
+fp t22657;
+fp t22596;
+fp t22167;
+fp t21664;
+fp t22592;
+fp t22656;
+fp t21456;
+fp t21374;
+fp t21657;
+fp t22591;
+fp t22655;
+fp t21487;
+fp t22235;
+fp t22217;
+fp t22565;
+fp t22654;
+fp t22021;
+fp t21589;
+fp t22326;
+fp t21411;
+fp t21886;
+fp t21497;
+fp t22218;
+fp t22236;
+fp t22563;
+fp t22653;
+fp t21669;
+fp t21874;
+fp t21417;
+fp t22325;
+fp t21491;
+fp t22564;
+fp t22652;
+fp t21593;
+fp t22651;
+fp t21673;
+fp t22650;
+fp t21582;
+fp t22215;
+fp t21663;
+fp t22219;
+fp t22561;
+fp t22649;
+fp t21407;
+fp t22574;
+fp t22648;
+fp t21661;
+fp t22295;
+fp t21584;
+fp t21881;
+fp t22567;
+fp t22647;
+fp t21602;
+fp t22646;
+fp t21610;
+fp t22645;
+fp t21682;
+fp t22644;
+fp t21689;
+fp t22643;
+fp t22642;
+fp t22641;
+fp t22640;
+fp t22639;
+fp t22638;
+fp t22210;
+fp t22214;
+fp t22637;
+fp t22636;
+fp t22635;
+fp t22634;
+fp t22633;
+fp t22632;
+fp t22631;
+fp t22630;
+fp t21978;
+fp t21987;
+fp t22629;
+fp t22628;
+fp t22627;
+fp t22626;
+fp t22299;
+fp t21324;
+fp t22625;
+fp t21972;
+fp t21329;
+fp t21447;
+fp t22624;
+fp t21502;
+fp t22620;
+fp t22288;
+fp t22331;
+fp t22618;
+fp t22005;
+fp t22071;
+fp t22304;
+fp t22617;
+fp t22006;
+fp t22223;
+fp t22224;
+fp t22616;
+fp t22221;
+fp t22226;
+fp t22615;
+fp t21714;
+fp t22009;
+fp t22614;
+fp t21717;
+fp t22613;
+fp t22010;
+fp t22043;
+fp t22612;
+fp t22611;
+fp t22016;
+fp t22082;
+fp t22610;
+fp t22609;
+fp t21891;
+fp t22608;
+fp t21580;
+fp t22047;
+fp t22606;
+fp t21573;
+fp t22605;
+fp t22270;
+fp t21740;
+fp t22604;
+fp t21896;
+fp t21595;
+fp t22603;
+fp t22034;
+fp t21918;
+fp t22602;
+fp t21621;
+fp t22601;
+fp t21616;
+fp t22600;
+fp t22042;
+fp t21749;
+fp t22599;
+fp t21751;
+fp t22598;
+fp t22597;
+fp t21902;
+fp t22595;
+fp t22594;
+fp t22052;
+fp t22593;
+fp t21691;
+fp t22588;
+fp t21605;
+fp t22587;
+fp t21578;
+fp t22586;
+fp t22585;
+fp t21612;
+fp t22584;
+fp t21694;
+fp t21892;
+fp t22309;
+fp t22302;
+fp t22583;
+fp t21656;
+fp t22582;
+fp t21685;
+fp t22581;
+fp t22580;
+fp t22298;
+fp t21330;
+fp t21994;
+fp t22324;
+fp t21505;
+fp t22579;
+fp t22327;
+fp t21328;
+fp t22292;
+fp t21507;
+fp t22578;
+fp t22577;
+fp t21332;
+fp t21452;
+fp t22576;
+fp t21974;
+fp t22296;
+fp t21337;
+fp t22044;
+fp t22317;
+fp t21757;
+fp t22069;
+fp t21823;
+fp t22575;
+fp t22569;
+fp t21401;
+fp t21885;
+fp t22566;
+fp t22562;
+fp t21482;
+fp t21873;
+fp t22560;
+fp t21492;
+fp t22559;
+fp t21485;
+fp t22558;
+fp t22557;
+fp t21509;
+fp t22556;
+fp t22290;
+fp t21514;
+fp t22321;
+fp t21539;
+fp t22555;
+fp t21787;
+fp t22078;
+fp t22305;
+fp t22330;
+fp t22329;
+fp t22554;
+fp t22008;
+fp t21529;
+fp t21927;
+fp t22553;
+fp t21528;
+fp t22552;
+fp t22551;
+fp t22550;
+fp t21921;
+fp t21715;
+fp t22228;
+fp t22549;
+fp t21923;
+fp t21718;
+fp t22233;
+fp t22548;
+fp t21552;
+fp t22265;
+fp t22547;
+fp t21551;
+fp t22546;
+fp t22319;
+fp t21563;
+fp t22545;
+fp t22544;
+fp t21604;
+fp t21917;
+fp t22543;
+fp t21600;
+fp t22272;
+fp t22542;
+fp t21611;
+fp t22541;
+fp t21609;
+fp t22540;
+fp t22539;
+fp t22538;
+fp t22277;
+fp t21596;
+fp t22318;
+fp t21734;
+fp t22537;
+fp t22536;
+fp t22535;
+fp t22534;
+fp t21622;
+fp t21713;
+fp t22533;
+fp t21618;
+fp t21720;
+fp t22532;
+fp t21907;
+fp t22531;
+fp t21905;
+fp t21636;
+fp t22530;
+fp t21642;
+fp t21697;
+fp t22529;
+fp t21634;
+fp t21701;
+fp t22528;
+fp t22056;
+fp t22232;
+fp t22051;
+fp t22261;
+fp t22527;
+fp t22227;
+fp t22526;
+fp t21901;
+fp t22525;
+fp t21396;
+fp t22524;
+fp t21684;
+fp t22523;
+fp t21690;
+fp t22522;
+fp t21688;
+fp t22275;
+fp t22521;
+fp t22041;
+fp t21746;
+fp t21890;
+fp t22520;
+fp t21747;
+fp t22519;
+fp t22518;
+fp t22517;
+fp t22049;
+fp t21768;
+fp t22516;
+fp t21770;
+fp t22515;
+fp t22080;
+fp t22287;
+fp t22514;
+fp t22513;
+fp t21483;
+fp t22512;
+fp t22054;
+fp t22511;
+fp t21797;
+fp t22510;
+fp t21372;
+fp t21327;
+fp t22207;
+fp t22509;
+fp t21369;
+fp t22508;
+fp t21402;
+fp t21733;
+fp t22507;
+fp t21738;
+fp t22506;
+fp t21562;
+fp t22505;
+fp t21477;
+fp t21567;
+fp t22504;
+fp t22503;
+fp t22502;
+fp t22306;
+fp t22194;
+fp t22501;
+fp t22500;
+fp t21637;
+fp t22499;
+fp t22498;
+fp t21358;
+fp t22497;
+fp t22496;
+fp t22495;
+fp t21439;
+fp t22494;
+fp t22493;
+fp t21699;
+fp t22492;
+fp t21794;
+fp t22491;
+fp t22490;
+fp t21615;
+fp t22489;
+fp t22488;
+fp t22487;
+fp t22486;
+fp t21964;
+fp t22007;
+fp t22050;
+fp t22485;
+fp t22484;
+fp t22483;
+fp t22482;
+fp t22481;
+fp t22480;
+fp t22479;
+fp t22229;
+fp t22293;
+fp t22478;
+fp t22477;
+fp t22234;
+fp t22476;
+fp t22475;
+fp t21654;
+fp t22014;
+fp t22474;
+fp t21660;
+fp t22473;
+fp t22472;
+fp t21425;
+fp t22471;
+fp t22470;
+fp t22469;
+fp t21367;
+fp t22468;
+fp t21448;
+fp t22467;
+fp t22466;
+fp t22465;
+fp t21394;
+fp t22464;
+fp t21413;
+fp t22463;
+fp t22462;
+fp t22461;
+fp t22460;
+fp t21493;
+fp t22459;
+fp t22458;
+fp t21576;
+fp t22457;
+fp t21581;
+fp t22456;
+fp t21853;
+fp t22455;
+fp t21852;
+fp t22454;
+fp t22453;
+fp t22452;
+fp t22267;
+fp t22451;
+fp t22285;
+fp t22450;
+fp t22449;
+fp t22448;
+fp t22065;
+fp t22447;
+fp t21628;
+fp t22266;
+fp t22446;
+fp t21707;
+fp t22284;
+fp t22445;
+fp t22444;
+fp t21627;
+fp t22443;
+fp t21706;
+fp t22442;
+fp t22013;
+fp t22264;
+fp t22441;
+fp t22440;
+fp t22297;
+fp t22439;
+fp t22438;
+fp t21729;
+fp t22437;
+fp t21558;
+fp t22436;
+fp t21652;
+fp t22435;
+fp t22434;
+fp t21574;
+fp t22433;
+fp t21680;
+fp t22432;
+fp t22431;
+fp t22430;
+fp t22429;
+fp t22428;
+fp t22427;
+fp t22426;
+fp t22425;
+fp t22424;
+fp t21030;
+fp t22423;
+fp t20913;
+fp t22422;
+fp t22421;
+fp t22420;
+fp t22419;
+fp t22418;
+fp t22417;
+fp t22323;
+fp t22416;
+fp t22415;
+fp t22414;
+fp t22413;
+fp t21841;
+fp t22412;
+fp t22411;
+fp t22410;
+fp t22046;
+fp t22282;
+fp t22409;
+fp t22408;
+fp t22407;
+fp t22406;
+fp t22405;
+fp t22404;
+fp t22403;
+fp t22328;
+fp t22402;
+fp t22401;
+fp t22400;
+fp t22399;
+fp t21475;
+fp t22398;
+fp t22397;
+fp t22396;
+fp t22395;
+fp t22394;
+fp t22393;
+fp t22392;
+fp t22391;
+fp t22390;
+fp t22389;
+fp t21944;
+fp t22388;
+fp t21947;
+fp t22387;
+fp t21938;
+fp t22386;
+fp t21935;
+fp t22385;
+fp t22273;
+fp t21692;
+fp t21830;
+fp t22384;
+fp t21831;
+fp t21945;
+fp t22383;
+fp t22015;
+fp t22037;
+fp t22072;
+fp t22382;
+fp t22062;
+fp t22314;
+fp t22381;
+fp t21813;
+fp t22380;
+fp t21812;
+fp t22379;
+fp t22027;
+fp t22048;
+fp t22066;
+fp t22378;
+fp t22076;
+fp t22377;
+fp t22196;
+fp t22376;
+fp t22200;
+fp t22375;
+fp t22195;
+fp t22374;
+fp t22199;
+fp t22373;
+fp t22197;
+fp t22372;
+fp t22201;
+fp t22371;
+fp t22198;
+fp t22370;
+fp t22202;
+fp t22369;
+fp t22368;
+fp t22367;
+fp t20920;
+fp t22240;
+fp t22366;
+fp t22238;
+fp t22365;
+fp t21037;
+fp t22239;
+fp t22364;
+fp t22237;
+fp t22363;
+fp t22362;
+fp t22361;
+fp t22360;
+fp t22359;
+fp t22358;
+fp t22357;
+fp t22356;
+fp t22355;
+fp t22354;
+fp t22353;
+fp t22352;
+fp t22351;
+fp t22350;
+fp t22349;
+fp t22348;
+fp t22347;
+fp t22346;
+fp t22345;
+fp t22344;
+fp t22343;
+fp t22342;
+fp t22341;
+fp t22340;
+fp t22339;
+fp t22338;
+fp t22337;
+fp t22336;
+fp t22335;
+fp t22334;
+fp t22333;
+fp t22332;
+fp t22322;
+fp t22320;
+fp t22316;
+fp t22286;
+fp t22281;
+fp t22271;
+fp t22263;
+fp t22262;
+fp t22058;
+fp t22260;
+fp t21550;
+fp t21767;
+fp t21803;
+fp t21807;
+fp t21820;
+fp t21825;
+fp t22203;
+fp t21966;
+fp t22193;
+fp t22192;
+fp t22191;
+fp t22190;
+fp t22189;
+fp t22064;
+fp t22079;
+fp t22188;
+fp t22045;
+fp t22187;
+fp t22186;
+fp t21965;
+fp t22185;
+fp t22184;
+fp t22012;
+fp t22055;
+fp t22183;
+fp t22182;
+fp t22181;
+fp t22003;
+fp t22180;
+fp t22179;
+fp t22178;
+fp t22177;
+fp t21968;
+fp t22081;
+fp t22176;
+fp t22175;
+fp t22174;
+fp t22070;
+fp t22173;
+fp t22172;
+fp t22171;
+fp t22170;
+fp t22169;
+fp t22001;
+fp t22166;
+fp t22165;
+fp t22164;
+fp t22162;
+fp t22161;
+fp t22160;
+fp t22159;
+fp t22158;
+fp t22157;
+fp t22060;
+fp t22156;
+fp t22155;
+fp t22154;
+fp t22153;
+fp t22152;
+fp t22151;
+fp t22150;
+fp t22149;
+fp t22148;
+fp t22147;
+fp t22146;
+fp t22145;
+fp t22144;
+fp t22143;
+fp t22142;
+fp t22141;
+fp t22140;
+fp t22139;
+fp t22138;
+fp t22137;
+fp t22136;
+fp t22135;
+fp t22134;
+fp t22133;
+fp t22132;
+fp t22131;
+fp t22130;
+fp t22129;
+fp t22128;
+fp t22127;
+fp t22126;
+fp t22125;
+fp t22124;
+fp t22123;
+fp t22122;
+fp t22121;
+fp t22120;
+fp t22119;
+fp t22118;
+fp t22117;
+fp t22116;
+fp t22115;
+fp t22114;
+fp t22113;
+fp t22112;
+fp t22111;
+fp t22110;
+fp t22109;
+fp t22108;
+fp t22107;
+fp t22106;
+fp t22105;
+fp t22104;
+fp t22103;
+fp t22102;
+fp t22101;
+fp t22100;
+fp t22099;
+fp t22098;
+fp t22097;
+fp t22096;
+ t21958 = RATIONAL(1.0,3456.0);
+ t21961 = RATIONAL(-1.0,3456.0);
+ t22089 = y*y;
+ t22087 = t22089*t22089;
+ t22740 = t21958*t22087+t21961*t22089;
+ t21960 = RATIONAL(1.0,1152.0);
+ t21963 = RATIONAL(-1.0,1152.0);
+ t22086 = z*z;
+ t22251 = t22086*t22089;
+ t22253 = t22086*t22087;
+ t22739 = t21960*t22253+t21963*t22251;
+ t22738 = t21960*t22251+t21963*t22253;
+ t21959 = RATIONAL(1.0,1728.0);
+ t21962 = RATIONAL(-1.0,1728.0);
+ t22085 = z*t22086;
+ t22255 = t22085*t22089;
+ t22257 = t22085*t22087;
+ t22737 = t21962*t22257+t21959*t22255;
+ t21976 = RATIONAL(1.0,576.0);
+ t21985 = RATIONAL(-1.0,576.0);
+ t22736 = t21976*t22253+t21985*t22251;
+ t22735 = t21976*t22251+t21985*t22253;
+ t22091 = x*x;
+ t22243 = t22089*t22091;
+ t22247 = t22087*t22091;
+ t22734 = t21976*t22247+t21985*t22243;
+ t22733 = t21976*t22243+t21985*t22247;
+ t21981 = RATIONAL(1.0,192.0);
+ t22022 = RATIONAL(1.0,48.0);
+ t22732 = t21981*t22253+t22022*t22086;
+ t21980 = RATIONAL(1.0,216.0);
+ t21989 = RATIONAL(-1.0,216.0);
+ t22088 = y*t22089;
+ t22256 = t22085*t22088;
+ t22315 = t22085*y;
+ t22731 = t21989*t22256+t21980*t22315;
+ t22730 = t21989*t22315+t21980*t22256;
+ t22090 = x*t22091;
+ t22246 = t22088*t22090;
+ t22312 = t22090*y;
+ t22729 = t21989*t22246+t21980*t22312;
+ t22728 = t21989*t22312+t21980*t22246;
+ t22727 = t21958*t22089+t21961*t22087;
+ t21977 = RATIONAL(1.0,432.0);
+ t21986 = RATIONAL(-1.0,432.0);
+ t22726 = t21977*t22087+t21986*t22089;
+ t22725 = t21977*t22089+t21986*t22087;
+ t21857 = t21959*y;
+ t21975 = RATIONAL(1.0,864.0);
+ t21984 = RATIONAL(-1.0,864.0);
+ t22724 = z*t21857+t21984*t22315+t21975*t22256;
+ t21856 = t21959*t22088;
+ t22723 = x*t21856+t21984*t22246+t21975*t22312;
+ t21861 = t21962*y;
+ t22722 = z*t21861+t21984*t22256+t21975*t22315;
+ t21860 = t21962*t22088;
+ t22721 = x*t21860+t21984*t22312+t21975*t22246;
+ t22252 = t22086*t22088;
+ t22313 = t22086*y;
+ t22720 = t21976*t22252+t21857+t21985*t22313;
+ t22719 = t21976*t22313+t21861+t21985*t22252;
+ t22244 = t22089*t22090;
+ t22248 = t22087*t22090;
+ t22718 = t21962*t22248+t21959*t22244+t22740*x;
+ t22717 = t21960*t22247+t21963*t22243+t22727;
+ t22716 = t21960*t22243+t21963*t22247+t22740;
+ t21993 = RATIONAL(-5.0,576.0);
+ t21887 = t21993*t22089;
+ t21973 = RATIONAL(5.0,192.0);
+ t22715 = t21973*t22243+t21887;
+ t21864 = t21975*t22088;
+ t22714 = x*t21864+t21986*t22246;
+ t21865 = t21976*t22087;
+ t22030 = RATIONAL(-1.0,72.0);
+ t22713 = x*t21865+t22030*t22090;
+ t21876 = t21984*t22088;
+ t22712 = t21977*t22246+x*t21876;
+ t21870 = t21980*y;
+ t21992 = RATIONAL(-1.0,108.0);
+ t22711 = z*t21870+t21992*t22315;
+ t21982 = RATIONAL(1.0,144.0);
+ t21991 = RATIONAL(-1.0,144.0);
+ t22710 = t21982*t22256+t21991*t22315;
+ t22709 = t21982*t22315+t21991*t22256;
+ t22708 = t21982*t22246+t21991*t22312;
+ t22707 = t21982*t22312+t21991*t22246;
+ t21882 = t21989*y;
+ t21983 = RATIONAL(1.0,108.0);
+ t22706 = t21983*t22315+z*t21882;
+ t21971 = RATIONAL(5.0,576.0);
+ t21862 = t21971*t22089;
+ t21995 = RATIONAL(-5.0,192.0);
+ t22705 = t21995*t22243+t21862;
+ t22039 = RATIONAL(-2.0,27.0);
+ t22017 = RATIONAL(4.0,27.0);
+ t22279 = t22017*t22088;
+ t22704 = x*t22279+t22039*t22246;
+ t22018 = RATIONAL(2.0,27.0);
+ t22040 = RATIONAL(-4.0,27.0);
+ t22268 = t22040*t22088;
+ t22703 = t22018*t22246+x*t22268;
+ t22019 = RATIONAL(1.0,96.0);
+ t22025 = RATIONAL(1.0,24.0);
+ t22702 = t22019*t22253+t22025*t22086;
+ t22701 = t22019*t22247+t22025*t22091;
+ t22026 = RATIONAL(1.0,18.0);
+ t22075 = RATIONAL(-2.0,9.0);
+ t22700 = t22026*t22253+t22075*t22251;
+ t22699 = t22026*t22247+t22075*t22243;
+ t22028 = RATIONAL(1.0,12.0);
+ t22067 = RATIONAL(1.0,3.0);
+ t22698 = t22028*t22253+t22067*t22086;
+ t22697 = t22028*t22247+t22067*t22091;
+ t22029 = RATIONAL(-1.0,96.0);
+ t22035 = RATIONAL(-1.0,24.0);
+ t22696 = t22029*t22253+t22035*t22086;
+ t22695 = t22029*t22247+t22035*t22091;
+ t22036 = RATIONAL(-1.0,18.0);
+ t22061 = RATIONAL(2.0,9.0);
+ t22694 = t22036*t22253+t22061*t22251;
+ t22693 = t22036*t22247+t22061*t22243;
+ t22038 = RATIONAL(-1.0,12.0);
+ t22073 = RATIONAL(-1.0,3.0);
+ t22692 = t22038*t22253+t22073*t22086;
+ t22691 = t22038*t22247+t22073*t22091;
+ t21863 = t21975*t22087;
+ t21988 = RATIONAL(-1.0,288.0);
+ t22690 = t21863+t21988*t22247;
+ t21875 = t21984*t22087;
+ t21979 = RATIONAL(1.0,288.0);
+ t22689 = t21875+t21979*t22247;
+ t22688 = t21985*t22087+t21991;
+ t22020 = RATIONAL(1.0,72.0);
+ t22687 = t22020*t22087+t22026;
+ t22686 = t22030*t22085+t21982*z;
+ t22685 = t22030*t22087+t22036;
+ t22031 = RATIONAL(-1.0,54.0);
+ t21912 = t22031*t22087;
+ t22684 = t21912+t22018*t22089;
+ t22053 = RATIONAL(8.0,9.0);
+ t22683 = t22053+t22061*t22087;
+ t22023 = RATIONAL(1.0,36.0);
+ t22063 = RATIONAL(1.0,9.0);
+ t22682 = t22063+t22023*t22087;
+ t22222 = x*t22256;
+ t22225 = z*t22246;
+ t22681 = t22225+t22222;
+ t22084 = RATIONAL(-8.0,9.0);
+ t22680 = t22075*t22087+t22084;
+ t21997 = RATIONAL(-16.0,27.0);
+ t22679 = t21997*t22089+t22017*t22087;
+ t21970 = RATIONAL(16.0,27.0);
+ t22678 = t21970*t22089+t22040*t22087;
+ t22308 = x*t22085;
+ t22301 = y*t22308;
+ t22311 = t22090*z;
+ t22303 = y*t22311;
+ t22677 = t22303+t22301;
+ t22245 = t22088*t22091;
+ t22310 = t22091*y;
+ t22676 = t21976*t22245+t21860+t21985*t22310;
+ t22675 = t21856+t21976*t22310+t21985*t22245;
+ t21990 = RATIONAL(-1.0,192.0);
+ t22032 = RATIONAL(-1.0,48.0);
+ t22674 = t22032*t22086+t21982+t21990*t22253;
+ t22673 = t22032*t22091+t21865+t21990*t22247;
+ t22672 = t21981*t22247+t22022*t22091+t22688;
+ t22077 = RATIONAL(-4.0,9.0);
+ t22250 = t22086*t22090;
+ t22671 = t22067*t22250+t22077*t22090;
+ t22254 = t22085*t22091;
+ t22670 = t22067*t22254+t22077*t22085;
+ t22059 = RATIONAL(4.0,9.0);
+ t22669 = t22059*t22085+t22073*t22254;
+ t22668 = t22059*t22090+t22073*t22250;
+ t21996 = RATIONAL(-5.0,144.0);
+ t22291 = t21996*t22087;
+ t21513 = x*t22291;
+ t22242 = t22090*t22085;
+ t22216 = t22089*t22242;
+ t22011 = RATIONAL(5.0,36.0);
+ t22283 = t22011*t22089;
+ t21542 = x*t22283;
+ t22033 = RATIONAL(-1.0,36.0);
+ t22220 = t22087*t22242;
+ t22241 = z*t21542+t22033*t22220;
+ t22667 = t22241+z*t21513+t22063*t22216;
+ t21412 = t21983*t22248;
+ t21440 = t21986*t22255;
+ t21356 = t21977*t22257;
+ t21494 = t21992*t22244;
+ t22622 = x*t21356+z*t21494;
+ t22666 = z*t21412+x*t21440+t22622;
+ t21405 = t21983*t22257;
+ t21444 = t21986*t22244;
+ t21361 = t21977*t22248;
+ t21489 = t21992*t22255;
+ t22623 = z*t21361+x*t21489;
+ t22665 = x*t21405+z*t21444+t22623;
+ t22024 = RATIONAL(1.0,27.0);
+ t21620 = t22024*t22246;
+ t21926 = t22039*t22088;
+ t22307 = x*t22313;
+ t22664 = t22036*t22307+t21620+x*t21926;
+ t22274 = t22031*t22088;
+ t21676 = x*t22274;
+ t21839 = t22075*t22313;
+ t22231 = y*t22250;
+ t22663 = t22063*t22231+x*t21839+t21676;
+ t21370 = t21979*t22313;
+ t21868 = t21980*t22088;
+ t21415 = t21983*t22312;
+ t21449 = t21988*t22252;
+ t22212 = t22086*t22246;
+ t22568 = t21982*t22212+t21415+(t21449+t21882)*x;
+ t22662 = t21991*t22231+t22568+(t21370+t21868)*x;
+ t21451 = t21988*t22313;
+ t21880 = t21989*t22088;
+ t21368 = t21979*t22252;
+ t21495 = t21992*t22312;
+ t22573 = t21991*t22212+t21495+(t21368+t21870)*x;
+ t22661 = t21982*t22231+t22573+(t21451+t21880)*x;
+ t22209 = t22086*t22243;
+ t22213 = t22086*t22247;
+ t22570 = t21981*t22209+t21990*t22213+t22725;
+ t22660 = t21991*t22251+t22570+t22734;
+ t22571 = t21981*t22213+t21990*t22209+t22726;
+ t22659 = t21982*t22251+t22571+t22733;
+ t22249 = t22086*t22091;
+ t22230 = y*t22249;
+ t22294 = t21989*t22087;
+ t21469 = x*t22294;
+ t21869 = t21980*t22089;
+ t21390 = x*t21869;
+ t22621 = z*t21390+t21989*t22220;
+ t22572 = t21980*t22216+z*t21469+t22621;
+ t22211 = t22086*t22245;
+ t22607 = t22019*t22211+t21882;
+ t22168 = t22029*t22230+t21868+t22572+t22607;
+ t21585 = t22020*t22310;
+ t22590 = t21449+t21585;
+ t22658 = t21370+t22030*t22245+t22168+t22590;
+ t21375 = t21979*t22310;
+ t21455 = t21988*t22245;
+ t21579 = t22020*t22313;
+ t22589 = t21455+t21579;
+ t22657 = t21375+t22030*t22252+t22168+t22589;
+ t22596 = t22029*t22211+t21870;
+ t22167 = t22019*t22230+t21880+t22572+t22596;
+ t21664 = t22030*t22310;
+ t22592 = t21368+t21664;
+ t22656 = t21451+t22020*t22245+t22167+t22592;
+ t21456 = t21988*t22310;
+ t21374 = t21979*t22245;
+ t21657 = t22030*t22313;
+ t22591 = t21374+t21657;
+ t22655 = t21456+t22020*t22252+t22167+t22591;
+ t21487 = t21992*t22256;
+ t22235 = y*t22254;
+ t22217 = t22085*t22245;
+ t22565 = t21982*t22217+z*t21455+t22706;
+ t22654 = t22565+t21991*t22235+t21487+(t21868+t21375)*z;
+ t22021 = RATIONAL(1.0,54.0);
+ t21589 = t22021*t22256;
+ t22326 = t21983*y;
+ t21411 = z*t22326;
+ t21886 = t21992*t22088;
+ t21497 = x*t21886;
+ t22218 = t22088*t22242;
+ t22236 = y*t22242;
+ t22563 = t21983*t22236+x*t21411+t21992*t22218+z*t21497;
+ t22653 = t22563+x*t21589+t22031*t22301+t22728*z;
+ t21669 = t22031*t22256;
+ t21874 = t21983*t22088;
+ t21417 = x*t21874;
+ t22325 = t21992*y;
+ t21491 = z*t22325;
+ t22564 = t21983*t22218+z*t21417+t21992*t22236+x*t21491;
+ t22652 = t22564+t22021*t22301+x*t21669+t22729*z;
+ t21593 = t22021*t22246;
+ t22651 = t22563+z*t21593+t22031*t22303+t22730*x;
+ t21673 = t22031*t22246;
+ t22650 = t22564+t22021*t22303+z*t21673+t22731*x;
+ t21582 = t22020*t22247;
+ t22215 = t22085*t22243;
+ t21663 = t22030*t22243;
+ t22219 = t22085*t22247;
+ t22561 = t21991*t22219+t21356+(t21663+t21869)*z;
+ t22649 = t21982*t22215+t21440+t22561+(t21582+t22294)*z;
+ t21407 = t21983*t22256;
+ t22574 = z*t21374+t21991*t22217+t22711;
+ t22648 = t21982*t22235+t21407+t22574+(t21456+t21880)*z;
+ t21661 = t22030*t22247;
+ t22295 = t21980*t22087;
+ t21584 = t22020*t22243;
+ t21881 = t21989*t22089;
+ t22567 = t21982*t22219+t21986*t22257+(t21584+t21881)*z;
+ t22647 = t21991*t22215+t21977*t22255+t22567+(t21661+t22295)*z;
+ t21602 = t22023*t22252;
+ t22646 = t22020*t22231+(t21602+t22326)*x+t22728;
+ t21610 = t22023*t22245;
+ t22645 = t22020*t22235+z*t21610+t21411+t22730;
+ t21682 = t22033*t22252;
+ t22644 = t22030*t22231+(t21682+t22325)*x+t22729;
+ t21689 = t22033*t22245;
+ t22643 = t22030*t22235+z*t21689+t21491+t22731;
+ t22642 = t21984*t22216+t21975*t22220+t22737*x+t22718*z;
+ t22641 = t21977*t22218+t21986*t22236+t22723*z+t22722*x;
+ t22640 = t21977*t22236+t21986*t22218+t22721*z+t22724*x;
+ t22639 = t21959*t22257+t21976*t22215+t21985*t22219+t21962*t22255+t22717*z
+;
+ t22638 = t21976*t22219+t21985*t22215+t22716*z+t22737;
+ t22210 = t22086*t22244;
+ t22214 = t22086*t22248;
+ t22637 = t21959*t22248+t21976*t22210+t21985*t22214+t21962*t22244+(t22727+
+t22739)*x;
+ t22636 = t21976*t22214+t21985*t22210+t22738*x+t22718;
+ t22635 = t21979*t22215+t21988*t22219+t21980*t22257+t21989*t22255+(t22725+
+t22734)*z;
+ t22634 = t21979*t22219+t21988*t22215+t21980*t22255+t21989*t22257+(t22726+
+t22733)*z;
+ t22633 = t21979*t22210+t21988*t22214+t21980*t22248+t21989*t22244+(t22725+
+t22736)*x;
+ t22632 = t21979*t22231+t21988*t22212+t22720*x+t22721;
+ t22631 = t21979*t22214+t21988*t22210+t21980*t22244+t21989*t22248+(t22726+
+t22735)*x;
+ t22630 = t21979*t22212+t21988*t22231+t22719*x+t22723;
+ t21978 = RATIONAL(1.0,384.0);
+ t21987 = RATIONAL(-1.0,384.0);
+ t22629 = t21978*t22213+t21987*t22209+t22716+t22738;
+ t22628 = t21978*t22209+t21987*t22213+t22717+t22739;
+ t22627 = t21981*t22211+t21990*t22230+t22675+t22719;
+ t22626 = t21981*t22230+t21990*t22211+t22676+t22720;
+ t22299 = t21971*t22087;
+ t21324 = x*t22299;
+ t22625 = z*t21324+t21991*t22216;
+ t21972 = RATIONAL(5.0,288.0);
+ t21329 = t21972*t22244;
+ t21447 = t21988*t22257;
+ t22624 = z*t21329+x*t21447;
+ t21502 = x*t21887;
+ t22620 = t21982*t22220+z*t21502;
+ t22288 = RATIONAL(-25.0,96.0)*t22089;
+ t22331 = x*z;
+ t22618 = t22288*t22331+t22025*t22220;
+ t22005 = RATIONAL(25.0,6.0);
+ t22071 = RATIONAL(-1.0,6.0);
+ t22304 = t22089*t22331;
+ t22617 = t22005*t22304+t22071*t22220;
+ t22006 = RATIONAL(10.0,9.0);
+ t22223 = x*t22257;
+ t22224 = z*t22244;
+ t22616 = t22006*t22224+t22075*t22223;
+ t22221 = x*t22255;
+ t22226 = z*t22248;
+ t22615 = t22006*t22221+t22075*t22226;
+ t21714 = t22036*t22255;
+ t22009 = RATIONAL(5.0,72.0);
+ t22614 = t22009*t22226+x*t21714;
+ t21717 = t22036*t22244;
+ t22613 = t22009*t22223+z*t21717;
+ t22010 = RATIONAL(5.0,48.0);
+ t22043 = RATIONAL(-5.0,48.0);
+ t22612 = t22010*t22224+t22043*t22223;
+ t22611 = t22010*t22221+t22043*t22226;
+ t22016 = RATIONAL(5.0,12.0);
+ t22082 = RATIONAL(-5.0,3.0);
+ t22610 = t22016*t22226+t22082*t22221;
+ t22609 = t22016*t22223+t22082*t22224;
+ t21891 = t22018*t22087;
+ t22608 = t21891*t22331+t22031*t22216;
+ t21580 = t22020*t22248;
+ t22047 = RATIONAL(-5.0,18.0);
+ t22606 = z*t21580+t22047*t22221;
+ t21573 = t22020*t22257;
+ t22605 = x*t21573+t22047*t22224;
+ t22270 = t22039*t22089;
+ t21740 = x*t22270;
+ t22604 = t22021*t22220+z*t21740;
+ t21896 = t22021*t22087;
+ t21595 = x*t21896;
+ t22603 = z*t21595+t22039*t22216;
+ t22034 = RATIONAL(-1.0,27.0);
+ t21918 = t22034*y;
+ t22602 = t22022*t22211+t21918;
+ t21621 = t22024*t22244;
+ t22601 = z*t21621+t22034*t22223;
+ t21616 = t22024*t22255;
+ t22600 = x*t21616+t22034*t22226;
+ t22042 = RATIONAL(-5.0,72.0);
+ t21749 = t22042*t22255;
+ t22599 = t22026*t22226+x*t21749;
+ t21751 = t22042*t22244;
+ t22598 = t22026*t22223+z*t21751;
+ t22597 = t22028*t22230+t21886;
+ t21902 = t22024*y;
+ t22595 = t22032*t22211+t21902;
+ t22594 = t22038*t22230+t21874;
+ t22052 = RATIONAL(-20.0,9.0);
+ t22593 = t22052*t22304+t22063*t22220;
+ t21691 = t22033*t22310;
+ t22588 = t21602+t21691;
+ t21605 = t22023*t22313;
+ t22587 = t21605+t21689;
+ t21578 = t22020*t22251;
+ t22586 = t22019*t22213+t21578+t21584;
+ t22585 = t22020*t22212+x*t21605+t21417;
+ t21612 = t22023*t22310;
+ t22584 = t22020*t22217+(t21612+t21874)*z;
+ t21694 = t22034*t22256;
+ t21892 = t22018*t22088;
+ t22309 = t22091*z;
+ t22302 = y*t22309;
+ t22583 = t22026*t22302+z*t21892+t21694;
+ t21656 = t22030*t22251;
+ t22582 = t22029*t22213+t21656+t21663;
+ t21685 = t22033*t22313;
+ t22581 = t22030*t22212+x*t21685+t21497;
+ t22580 = t22030*t22217+(t21691+t21886)*z;
+ t22298 = t21972*t22088;
+ t21330 = x*t22298;
+ t21994 = RATIONAL(-5.0,288.0);
+ t22324 = t21994*y;
+ t21505 = z*t22324;
+ t22579 = z*t21330+x*t21505+t22020*t22218+t22030*t22236;
+ t22327 = t21972*y;
+ t21328 = z*t22327;
+ t22292 = t21994*t22088;
+ t21507 = x*t22292;
+ t22578 = x*t21328+z*t21507+t22020*t22236+t22030*t22218;
+ t22577 = t22019*t22219+t21447+t22715*z;
+ t21332 = t21973*t22251;
+ t21452 = t21988*t22248;
+ t22576 = x*t21332+t22019*t22214+t21452+t21502;
+ t21974 = RATIONAL(5.0,144.0);
+ t22296 = t21974*t22088;
+ t21337 = x*t22296;
+ t22044 = RATIONAL(-5.0,36.0);
+ t22317 = t22044*y;
+ t21757 = z*t22317;
+ t22069 = RATIONAL(-1.0,9.0);
+ t21823 = t22069*t22242;
+ t22575 = z*t21337+t22023*t22218+x*t21757+y*t21823;
+ t22569 = t21982*t22214+t21986*t22248+(t21578+t21881)*x;
+ t21401 = t21982*t22247;
+ t21885 = t21992*t22087;
+ t22566 = t22026*t22215+t22039*t22255+(t21401+t21885)*z;
+ t22562 = t21991*t22214+x*t21656+t21361+t21390;
+ t21482 = t21991*t22247;
+ t21873 = t21983*t22087;
+ t22560 = t22036*t22215+t22018*t22255+(t21482+t21873)*z;
+ t21492 = t21992*t22248;
+ t22559 = z*t21492+t22017*t22221+t22603;
+ t21485 = t21992*t22257;
+ t22558 = x*t21485+t22017*t22224+t22603;
+ t22557 = t22029*t22219+t21979*t22257+t22705*z;
+ t21509 = t21995*t22251;
+ t22556 = t22029*t22214+t21979*t22248+(t21509+t21862)*x;
+ t22290 = t21996*t22088;
+ t21514 = x*t22290;
+ t22321 = t22011*y;
+ t21539 = z*t22321;
+ t22555 = z*t21514+x*t21539+t22033*t22218+t22063*t22236;
+ t21787 = t22059*t22242;
+ t22078 = RATIONAL(-5.0,9.0);
+ t22305 = t22088*t22331;
+ t22330 = y*z;
+ t22329 = x*t22330;
+ t22554 = RATIONAL(20.0,9.0)*t22329+y*t21787+t22069*t22218+t22078*t22305;
+ t22008 = RATIONAL(5.0,96.0);
+ t21529 = t22008*t22243;
+ t21927 = t22042*t22089;
+ t22553 = t22022*t22219+t22033*t22257+(t21529+t21927)*z;
+ t21528 = t22008*t22251;
+ t22552 = t22022*t22214+t22033*t22248+(t21528+t21927)*x;
+ t22551 = t22598+t22614;
+ t22550 = t22599+t22613;
+ t21921 = t22036*t22085;
+ t21715 = y*t21921;
+ t22228 = z*t22245;
+ t22549 = t22010*t22228+t22035*t22217+t21539+t21715;
+ t21923 = t22036*t22090;
+ t21718 = y*t21923;
+ t22233 = x*t22252;
+ t22548 = t22010*t22233+t22035*t22212+x*t22321+t21718;
+ t21552 = t22016*t22243;
+ t22265 = t22044*t22089;
+ t22547 = t22025*t22219+t22030*t22257+(t21552+t22265)*z;
+ t21551 = t22016*t22251;
+ t22546 = t22025*t22214+t22030*t22248+(t21551+t22265)*x;
+ t22319 = t22018*y;
+ t21563 = z*t22319;
+ t22545 = t22018*t22236+x*t21563+t22031*t22218+z*t21676;
+ t22544 = t22600+t22608;
+ t21604 = t22023*t22251;
+ t21917 = t22034*t22089;
+ t22543 = t22020*t22214+t22031*t22248+(t21604+t21917)*x;
+ t21600 = t22023*t22253;
+ t22272 = t22034*t22087;
+ t22542 = t22020*t22210+t22031*t22244+(t21600+t22272)*x;
+ t21611 = t22023*t22243;
+ t22541 = t22020*t22219+t22031*t22257+(t21611+t21917)*z;
+ t21609 = t22023*t22247;
+ t22540 = t22020*t22215+t22031*t22255+(t21609+t22272)*z;
+ t22539 = t22601+t22604;
+ t22538 = t22600+t22604;
+ t22277 = t22021*t22088;
+ t21596 = x*t22277;
+ t22318 = t22039*y;
+ t21734 = z*t22318;
+ t22537 = t22021*t22218+z*t21596+t22039*t22236+x*t21734;
+ t22536 = t22022*t22213+t22038*t22209+t21873+t21917;
+ t22535 = t21612+t21682+t22602;
+ t22534 = t22022*t22230+t22034*t22088+t22588;
+ t21622 = t22024*t22312;
+ t21713 = t22036*t22252;
+ t22533 = t22023*t22212+t21622+(t21713+t22318)*x;
+ t21618 = t22024*t22315;
+ t21720 = t22036*t22245;
+ t22532 = t22023*t22217+z*t21720+t21618+t21734;
+ t21907 = t22026*t22090;
+ t22531 = t22025*t22212+t22043*t22233+y*t21907+x*t22317;
+ t21905 = t22026*t22085;
+ t21636 = y*t21905;
+ t22530 = t22025*t22217+t22043*t22228+t21636+t21757;
+ t21642 = t22026*t22245;
+ t21697 = t22034*t22315;
+ t22529 = z*t21642+t22033*t22217+t21563+t21697;
+ t21634 = t22026*t22252;
+ t21701 = t22034*t22312;
+ t22528 = t22033*t22212+t21701+(t21634+t22319)*x;
+ t22056 = RATIONAL(5.0,6.0);
+ t22232 = x*t22251;
+ t22051 = RATIONAL(-10.0,9.0);
+ t22261 = t22051*t22089;
+ t22527 = t22028*t22214+t22056*t22232+x*t22261+t22069*t22248;
+ t22227 = z*t22243;
+ t22526 = t22028*t22219+t22056*t22227+z*t22261+t22069*t22257;
+ t21901 = t22024*t22089;
+ t22525 = t22028*t22209+t22032*t22213+t21885+t21901;
+ t21396 = t21982*t22252;
+ t22524 = t21396+t22069*t22310+t22597;
+ t21684 = t22033*t22251;
+ t22523 = t22030*t22214+t22021*t22248+(t21684+t21901)*x;
+ t21690 = t22033*t22243;
+ t22522 = t22030*t22219+t22021*t22257+(t21690+t21901)*z;
+ t21688 = t22033*t22247;
+ t22275 = t22024*t22087;
+ t22521 = t22030*t22215+t22021*t22255+(t21688+t22275)*z;
+ t22041 = RATIONAL(-5.0,96.0);
+ t21746 = t22041*t22251;
+ t21890 = t22009*t22089;
+ t22520 = t22032*t22214+t22023*t22248+(t21746+t21890)*x;
+ t21747 = t22041*t22243;
+ t22519 = t22032*t22219+t22023*t22257+(t21747+t21890)*z;
+ t22518 = t21610+t21685+t22595;
+ t22517 = t22032*t22230+t22024*t22088+t22587;
+ t22049 = RATIONAL(-5.0,12.0);
+ t21768 = t22049*t22251;
+ t22516 = t22035*t22214+x*t21768+t21542+t21580;
+ t21770 = t22049*t22243;
+ t22515 = t22035*t22219+t21573+(t21770+t22283)*z;
+ t22080 = RATIONAL(-5.0,6.0);
+ t22287 = t22006*t22089;
+ t22514 = t22038*t22214+t22080*t22232+x*t22287+t22063*t22248;
+ t22513 = t22038*t22219+t22080*t22227+z*t22287+t22063*t22257;
+ t21483 = t21991*t22245;
+ t22512 = t21483+t22063*t22313+t22594;
+ t22054 = RATIONAL(5.0,9.0);
+ t22511 = t22052*t22329+t22054*t22305+t22063*t22218+t22077*t22236;
+ t21797 = t22061*t22310;
+ t22510 = t22069*t22235+t21487+(t21797+t22277)*z;
+ t21372 = t21979*t22244;
+ t21327 = t21972*t22255;
+ t22207 = x*t21327+z*t21452+t22620;
+ t22509 = z*t21372+t21994*t22223+t22207+t22625;
+ t21369 = t21979*t22255;
+ t22508 = x*t21369+t21994*t22226+t22620+t22624+t22625;
+ t21402 = t21982*t22245;
+ t21733 = t22039*t22315;
+ t22507 = t21733+t22026*t22235+t21589+(t21902+t21402)*z;
+ t21738 = t22039*t22312;
+ t22506 = t21738+t22026*t22231+t21593+(t21902+t21396)*x;
+ t21562 = t22018*t22315;
+ t22505 = t22036*t22235+t21562+t21669+(t21483+t21918)*z;
+ t21477 = t21991*t22252;
+ t21567 = t22018*t22312;
+ t22504 = t22036*t22231+t21567+t21673+(t21477+t21918)*x;
+ t22503 = t22605+t22614+t22667;
+ t22502 = t22606+t22613+t22667;
+ t22306 = t22087*t22331;
+ t22194 = t22054*t22306+t22077*t22216+t22593;
+ t22501 = t22047*t22226+t22053*t22221+t22194+t22616;
+ t22500 = t22047*t22223+t22053*t22224+t22194+t22615;
+ t21637 = z*t21907;
+ t22499 = t21637+t22061*t22308+t22598+t22606;
+ t22498 = x*t21905+t22061*t22311+t22599+t22605;
+ t21358 = t21977*t22256;
+ t22497 = t21358+t22574+(t21664+t21876)*z;
+ t22496 = x*t21657+t22573+t22712;
+ t22495 = x*t21579+t22568+t22714;
+ t21439 = t21986*t22256;
+ t22494 = t21439+t22565+(t21585+t21864)*z;
+ t22493 = t21604+t21688+t22063*t22243+t22536;
+ t21699 = t22034*t22246;
+ t22492 = t22026*t22307+x*t21892+t21699+t22533;
+ t21794 = t22061*t22313;
+ t22491 = x*t21794+t22069*t22231+t21596+t22533;
+ t22490 = t22532+t22583;
+ t21615 = t22024*t22256;
+ t22489 = t22036*t22302+t21615+z*t21926+t22529;
+ t22488 = t22528+t22664;
+ t22487 = t22528+t22663;
+ t22486 = t21609+t21684+t22069*t22243+t22525;
+ t21964 = RATIONAL(32.0,27.0);
+ t22007 = RATIONAL(8.0,27.0);
+ t22050 = RATIONAL(-8.0,27.0);
+ t22485 = t21964*t22304+t22050*t22306+t22039*t22220+t22007*t22216+(t22226+
+t22223)*t22017+(t22224+t22221)*t21997;
+ t22484 = t21964*t22329+t22050*t22305+t22039*t22218+t22007*t22236+t22681*
+t22017+t22677*t21997;
+ t22483 = t22018*t22218+t22050*t22236+RATIONAL(-32.0,27.0)*t22329+t22007*
+t22305+t22681*t22040+t22677*t21970;
+ t22482 = t21974*t22303+t21996*t22225+t22579+t22709*x;
+ t22481 = t21974*t22301+t21996*t22222+t22579+t22707*z;
+ t22480 = t21974*t22225+t21996*t22303+t22578+t22710*x;
+ t22479 = t21974*t22222+t21996*t22301+t22578+t22708*z;
+ t22229 = z*t22247;
+ t22293 = t21993*t22087;
+ t22478 = t21973*t22229+t22019*t22215+t21988*t22255+z*t22293+t22557;
+ t22477 = t21995*t22229+t22029*t22215+z*t22299+t21369+t22577;
+ t22234 = x*t22253;
+ t22476 = t21973*t22234+t22019*t22210+t21988*t22244+x*t22293+t22556;
+ t22475 = t21995*t22234+t22029*t22210+t21324+t21372+t22576;
+ t21654 = t22030*t22256;
+ t22014 = RATIONAL(5.0,18.0);
+ t22474 = t22014*t22303+t22042*t22225+t22575+(t21636+t21654)*x;
+ t21660 = t22030*t22246;
+ t22473 = t22014*t22301+y*t21637+z*t21660+t22042*t22222+t22575;
+ t22472 = t21980*t22218+t22031*t22236+(t21415+t22714)*z+(t21439+t22706)*x;
+ t21425 = x*t21875;
+ t22471 = z*t21425+t22021*t22216+t22621+t22622+t22623;
+ t22470 = t22021*t22236+t21989*t22218+(t21495+t22712)*z+(t21358+t22711)*x;
+ t22469 = t22561+t22023*t22215+t21489+t22689*z;
+ t21367 = t21979*t22253;
+ t22468 = x*t21367+t22023*t22210+t21425+t21494+t22562;
+ t21448 = t21988*t22253;
+ t22467 = t22569+t22033*t22210+t21983*t22244+(t21863+t21448)*x;
+ t22466 = t22567+t22033*t22215+t21983*t22255+t22690*z;
+ t22465 = t22507+t22580;
+ t21394 = t21982*t22253;
+ t22464 = t22558+t22026*t22210+t22039*t22244+(t21885+t21394)*x;
+ t21413 = t21983*t22246;
+ t22463 = t22545+x*t21615+t22040*t22301+(t21701+t21413)*z;
+ t22462 = t22545+z*t21620+t22040*t22303+(t21697+t21407)*x;
+ t22461 = t22541+t22560;
+ t22460 = t22505+t22584;
+ t21493 = t21992*t22246;
+ t22459 = t22537+t22017*t22301+x*t21694+(t21622+t21493)*z;
+ t22458 = t22537+t22017*t22303+z*t21699+(t21618+t21487)*x;
+ t21576 = t22020*t22256;
+ t22457 = t22009*t22225+t22047*t22303+t22555+(t21576+t21715)*x;
+ t21581 = t22020*t22246;
+ t22456 = t22009*t22222+t22047*t22301+t22555+(t21581+t21718)*z;
+ t21853 = t22084*t22308;
+ t22455 = t22014*t22225+t22051*t22303+t22061*t22222+y*t21853+t22554;
+ t21852 = t22084*t22311;
+ t22454 = t22014*t22222+t22051*t22301+t22061*t22225+y*t21852+t22554;
+ t22453 = t22006*t22303+t22047*t22225+t22053*t22301+t22075*t22222+t22511;
+ t22452 = t22006*t22301+t22047*t22222+t22053*t22303+t22075*t22225+t22511;
+ t22267 = t22042*t22087;
+ t22451 = t22008*t22229+t22022*t22215+t22033*t22255+z*t22267+t22519;
+ t22285 = t22009*t22087;
+ t22450 = t22032*t22215+t22041*t22229+z*t22285+t22023*t22255+t22553;
+ t22449 = t22008*t22234+t22022*t22210+t22033*t22244+x*t22267+t22520;
+ t22448 = t22032*t22210+t22041*t22234+x*t22285+t22023*t22244+t22552;
+ t22065 = RATIONAL(1.0,6.0);
+ t22447 = t22010*t22229+t22065*t22215+z*t22291+t21714+t22515;
+ t21628 = t22025*t22254;
+ t22266 = t22044*t22088;
+ t22446 = y*t21628+t22043*t22302+t22026*t22256+z*t22266+t22549;
+ t21707 = t22035*t22254;
+ t22284 = t22011*t22088;
+ t22445 = t22010*t22302+y*t21707+z*t22284+t22036*t22256+t22530;
+ t22444 = t22010*t22234+t22065*t22210+t21513+t21717+t22516;
+ t21627 = t22025*t22250;
+ t22443 = y*t21627+t22043*t22307+t22026*t22246+x*t22266+t22548;
+ t21706 = t22035*t22250;
+ t22442 = t22010*t22307+y*t21706+x*t22284+t22036*t22246+t22531;
+ t22013 = RATIONAL(5.0,24.0);
+ t22264 = t22047*t22087;
+ t22441 = t22013*t22229+t22067*t22215+z*t22264+t22077*t22255+t22513;
+ t22440 = t22013*t22234+t22067*t22210+x*t22264+t22077*t22244+t22514;
+ t22297 = t21974*t22087;
+ t22439 = t22043*t22229+t22071*t22215+z*t22297+t22026*t22255+t22547;
+ t22438 = t22043*t22234+t22071*t22210+x*t22297+t22026*t22244+t22546;
+ t21729 = t22039*t22256;
+ t22437 = t22034*t22236+t22024*t22218+t22040*t22329+(t21562+t21729)*x+(
+t21567+t22704)*z;
+ t21558 = t22018*t22256;
+ t22436 = t22017*t22329+t22024*t22236+t22034*t22218+(t21558+t21733)*x+(
+t21738+t22703)*z;
+ t21652 = t22030*t22253;
+ t22435 = t22029*t22209+t21652+t21661+t21896+t22031*t22089+t22586;
+ t22434 = t22035*t22230+t21864+t22589+t22590+t22607;
+ t21574 = t22020*t22253;
+ t22433 = t22019*t22209+t21574+t21582+t22021*t22089+t21912+t22582;
+ t21680 = t22033*t22253;
+ t22432 = t22030*t22210+t22021*t22244+t22543+(t21680+t22275)*x;
+ t22431 = t22523+t22542;
+ t22430 = t22521+t22541;
+ t22429 = t21482+t21611+t21680+t22063*t22251+t22536;
+ t22428 = t22517+t22535;
+ t22427 = t21477+t22063*t22310+t22587+t22594+t22602;
+ t22426 = t22512+t22535;
+ t22425 = t22518+t22534;
+ t22424 = t22023*t22214+t21595+t21621+t22069*t22210+t21492+t21740+t22694*x
;
- t24690 = t24172*t24298+t24058*t24309+t24909+t24969;
- t24689 = t24054*t24324+t24088*t24313+t24910*z+t24911*x;
- t23633 = t24175*t24393;
- t24410 = t24139*t24175;
- t23928 = t24170*t24410;
- t24688 = y*t23928+t23633+t24118*t24516+z*t24428+t24764;
- t24517 = x*t24526;
- t24510 = y*t24531;
- t24687 = t24154*t24517+t24132*t24510+t24802+(t24360+t24359)*t24174;
- t24686 = t24176*t24301+t24109*t24487+t24168*t24327+t24144*t24369+(t24376+
-t24425)*t24172+t24927*z;
- t24321 = t24175*t24416;
- t24685 = t24044*t24487+t24172*t24321+t24047*t24440+t24175*t23448+(t24917+
-t24969)*z;
- t24534 = t24131*z;
- t24338 = t24170*t24534;
- t24684 = t24162*t24440+z*t24400+t24153*t24327+t24176*t24338+t24762;
- t24038 = t24139*t24170;
- t24295 = t24172*t24038;
- t24683 = t24125*t24309+t24171*t24295+t23991+t24129*t24172+t24949+t24953;
- t23915 = t24168*t24520;
- t24682 = t23976+t24129*y+t24139*t24373+t23736+t23915+t23909+t24125*t24317
-+t23780;
- t24681 = t23429+t24174*t24384+t24874+t24883+t24891;
- t24680 = t24143*t24533+t23584+t24756+t24878;
- t24351 = t24107*t24531;
- t24364 = x*t24411;
- t24679 = t24107*t24364+t24124*t24515+t24174*t24351+RATIONAL(-32.0,27.0)*
-t24542+(t24510+t24517)*t24070+t24944*t24173;
- t23719 = t24175*t23984;
- t24354 = t24117*t24539;
- t24499 = t24174*t24133;
- t24678 = t23706+z*t24499+t24754+(t23719+t24354)*y;
- t24677 = t24795+t24796;
- t24329 = t24076*t24485;
- t24676 = t24172*t24391+t24078*t24327+(t24329+t24388)*t24176+(t24932+
-t24966)*z;
- t24675 = t24765+t24880+t24900;
- t24674 = t23472+t23603+x*t23765+t24172*t24325+t24790;
- t24673 = t24780+t24172*t24466+t24173*t23782+(t24469+t23661)*x;
- t24672 = t23970+t24125*t24373+t24807+t24874;
- t24671 = t24778+t24938*z+(t24372+t23657)*x;
- t23073 = y*t24302;
- t24670 = t23073+t24732;
- t24669 = t24814+t24868;
- t24039 = t24141*t24170;
- t23902 = t24175*t24039;
- t23849 = t24136*t24411;
- t24668 = t24439*t24544+y*t23902+t23449+t23849+t24754;
- t24667 = t24086*t24323+t24173*t23421+t24912*x+t24910;
- t24472 = t24176*t24073;
- t24666 = z*t24472+t24128*t24440+t24175*t24295+t24176*t24354+t24782;
- t24382 = t24176*t24082;
- t23459 = t24171*t24382;
- t24665 = t24780+t24095*t24331+t24173*t24443+(t23459+t23964)*x;
- t23234 = t24173*t23732;
- t24664 = t23234+t24727;
- t24663 = t24811+t24929*z+(t24370+t23833)*x;
- t24322 = t24173*t24471;
- t24662 = y*t24322+x*t23915+t23438+t23682+t24812;
- t24363 = t24108*t24535;
- t24661 = t24888+t24174*t24363+t24173*t24294+t24890+t24961*y;
- t23575 = t24176*t24426;
- t24660 = t24173*t24494+t24172*t24312+t24772+(t23962+t23575)*x;
- t24659 = t24171*t24393+t23561+t24775+t24873;
- t23557 = t24082*t24457;
- t23672 = t24173*t24525;
- t23850 = t24173*t24481;
- t24658 = t23850+t24095*t24377+t23672+t24826+(t23557+t24005)*x;
- t24657 = t23815+t23599+t23823+t24172*t24305+t24175*t23812+(t24494+t24953)
+ t21030 = t22033*t22231;
+ t22423 = t21030+t22492;
+ t20913 = t22023*t22231;
+ t22422 = t20913+t22488;
+ t22421 = t22023*t22219+t21616+t22069*t22215+t21485+(t21896+t22270+t22693)
*z;
- t24656 = t24173*t23977+t24169*t24365+t24946*t24172+t24951*t24176+(t24458+
-t24465)*x;
- t24503 = t24176*t24100;
- t24655 = t24173*t23739+t24102*t24496+t24772+(t23826+t24503)*x;
- t24528 = y*t24132;
- t23855 = x*t24528;
- t24362 = z*t24482;
- t24654 = t24150*t24362+t24134*t24364+t24154*t24510+t24175*t23855+t24802;
- t24307 = t24175*t24461;
- t24653 = t24173*t23863+y*t24307+t24522*t24544+(t23830+t23747)*x+(t23772+
-t24954)*z;
- t23501 = t24078*t24520;
- t24652 = t24136*t24433+t23501+t24807+t24891;
- t24651 = t24127*t24331+t23570+t23420+x*t23553+t24790;
- t24650 = t24136*t24327+t24102*t24440+t24792+(t24503+t23812)*z;
- t24505 = t24084*t24176;
- t24649 = t24074*t24369+t24112*t24327+z*t24505+t23483+t24821;
- t23676 = t24120*t24495;
- t24648 = x*t24429+t24174*t23982+t24791+(t23676+t24381)*y;
- t23577 = x*t24505;
- t24371 = x*t24453;
- t24647 = t24112*t24331+t23577+t23565+t24074*t24371+t24753;
- t24646 = t24174*t24299+t24173*t23532+t24907*x+t24919;
- t24645 = t24078*t24303+y*t24329+t24947*z+t24904;
- t24644 = t24760+t24809;
- t24537 = y*t24050;
- t23523 = x*t24537;
- t24643 = t23523+t24169*t24514+t24951*t24174+t24946*y+t24958;
- t23225 = t24175*t23819;
- t24642 = t23225+t24729;
- t24356 = z*t24423;
- t24641 = z*t24437+t24127*t24440+t24172*t24304+t24176*t24356+t24774;
- t24640 = t24805+t24172*t24316+t24052*t24496+(t23645+t24470)*x;
- t24639 = t24173*t24444+t24076*t24323+t24916*t24172+(t24915+t24932)*x;
- t24638 = y*t24311+t24075*t24317+t24906+t24964;
- t24637 = y*t24446+t23557+t24765+t24848;
- t23767 = t24125*t24495;
- t24636 = t24781+t24174*t23998+x*t24499+(t23767+t24349)*y;
- t24635 = t24127*t24323+t23670+t23491+t24172*t24322+t23757+(t23981+t24949)
-*x;
- t24634 = x*t24417+t24141*t24331+t24114*t24371+t23622+t24801;
- t24489 = t24083*t24176;
- t24396 = t24078*t24172;
- t24633 = t24175*t24396+t24110*t24327+z*t24489+t24072*t24369+t24769;
- t24632 = t24085*t24327+t24176*t24321+t24913*z+t24911;
- t24631 = z*t23850+t24466*t24544+t24778+t24922*x;
- t23683 = t24174*t23997;
- t24630 = t24761+t24105*t24364+t24134*t24517+(t23683+t23626)*z;
- t24629 = t23499+t24144*t24331+t24173*t24001+t24176*t24302+(t24943+t24955)
-*x;
- t24628 = t24113*t24373+t24100*t24174+t24878+t24886+t24901;
- t24627 = t23225+t24716;
- t23794 = t24173*t24393;
- t24626 = t24175*t24507+t24135*t24364+t24787+(t23811+t23794)*z;
- t24504 = t24137*t24176;
- t24126 = RATIONAL(-5.0,24.0);
- t24625 = z*t24504+t24155*t24327+t24126*t24369+t24169*t24440+t24776;
- t24041 = t24143*t24173;
- t23934 = t24174*t24028;
- t24415 = t24119*t24175;
- t24333 = x*t24415;
- t24361 = t24175*t24529;
- t24624 = t24041*t24544+t24174*t24333+y*t24361+z*t23934+t24799;
- t24049 = RATIONAL(32.0,27.0);
- t24623 = t24099*t24347+t24106*t24324+t24050*t24346+t24173*t23524+t24124*
-t24313+t24049*t24508+t24945*t24176;
- t24622 = t24175*t23523+t24050*t24510+t24049*t24542+t24099*t24362+t24945*
-t24174+t24931*t24173;
- t24621 = t24143*t24341+y*t24342+t24128*t24303+t24175*t23892+(t24537+
-t24448)*z+t24931;
- t24620 = t24746+t24833;
- t24619 = t24897+t24116*t24303+t24108*t24341+t24971*z+(t24332+t24356)*y;
- t24618 = t24176*t24300+t24175*t24001+t23461+t24172*t24326+(t24935+t24955)
+ t22420 = t22025*t22213+t22071*t22209+t21891+t22050*t22089+t22693+t22694;
+ t22419 = t22025*t22211+t22071*t22230+t21713+t21720+t21794+t21797+t21892+
+t22050*y;
+ t22418 = t22025*t22230+t21876+t22591+t22592+t22596;
+ t22417 = t22026*t22214+t22059*t22232+t22069*t22234+t22075*t22210+t22007*
+t22244+t22039*t22248+t22679*x;
+ t22323 = t21997*y;
+ t22416 = t22026*t22212+t22059*t22307+t22069*t22233+t22075*t22231+x*t22323
++t22007*t22312+t22704;
+ t22415 = t22026*t22219+t22059*t22227+t22069*t22229+t22075*t22215+t22007*
+t22255+t22039*t22257+t22679*z;
+ t22414 = t21405+t22033*t22219+t22063*t22215+t22034*t22255+(t22684+t22699)
*z;
- t24366 = t24126*t24535;
- t24617 = t24155*t24331+t24176*t24366+x*t24504+t24172*t24030+t24758;
- t23877 = t24173*t24408;
- t24616 = t24784+t24174*t24361+y*t24333+(t23877+t24345)*z;
- t24615 = t24141*t24327+t23635+t23434+t24176*t24352+t24783;
- t24158 = RATIONAL(-8.0,9.0);
- t24037 = t24158*x;
- t23871 = t24175*t24037;
- t24614 = t24168*t24364+t24137*t24362+t24130*t24510+y*t23871+t24779;
- t24613 = t24139*t24331+x*t24472+t24176*t24349+t24172*t23998+t24797;
- t24422 = t24176*t24135;
- t24612 = z*t24422+t24096*t24440+t24108*t24369+t24113*t24327+t24777;
- t24611 = t24173*t23750+t24174*t24307+(t23702+t23773)*x+(t24513+t23672+
-t24958)*z;
- t24610 = t24788+t24072*t24371+x*t24489+(t24396+t24306)*t24173;
- t24609 = t24173*t24367+t24893+y*t24363+t24885+t24961*t24174;
- t24608 = y*t24299+t24076*t24330+t24906*x+t24952;
- t24607 = t24810+t24814;
- t24034 = t24158*z;
- t23867 = t24173*t24034;
- t24536 = y*t24130;
- t23654 = x*t24536;
- t24606 = t24137*t24364+t24168*t24362+t24175*t23654+y*t23867+t24779;
- t24605 = t24176*t24391+t24172*t24388+t24170*t23536+t24076*t24327+(t24928+
-t24936)*z;
- t24604 = t24811+t24102*t24510+z*t23652+t24937*x;
- t24603 = t24173*t23969+t24076*t24331+t24916*t24176+(t24936+t24956)*x;
- t24602 = RATIONAL(16.0,9.0)*t24543+t24159*t24313+t23867+t24283+t23871+
-t24169*t24512+t23883+t24850;
- t24241 = t24768+t24786;
- t24601 = t24241+t24817+z*t23776+x*t23439+(t24348+t24351)*y;
- t24600 = t24862+t24175*t24419+t24855+t24849+z*t24011+t24055*t24313+t24914
+ t22413 = t22026*t22217+t22059*t22302+t22069*t22228+t22075*t22235+t22007*
+t22315+t21729+(t22323+t22279)*z;
+ t21841 = t22075*t22310;
+ t22412 = t22063*t22235+t21407+t22529+(t21841+t22274)*z;
+ t22411 = t21412+t22033*t22214+t22063*t22210+t22034*t22244+(t22684+t22700)
*x;
- t23433 = t24065*t24411;
- t24243 = t24768+t24803;
- t24599 = z*t23857+y*t24375+t24243+t24817+(t23865+t23433)*x;
- t24242 = t24760+t24773;
- t24598 = t23438+t24242+y*t24316+t24835+t24839+(t23532+t23965)*x;
- t24115 = RATIONAL(-1.0,16.0);
- t24597 = RATIONAL(5.0,64.0)*t24308+t24115*t24441+t23473+RATIONAL(-1.0,
-64.0)*t24309+t24871+t24920+t24924;
- t24090 = RATIONAL(1.0,16.0);
- t24596 = t23419+t24090*t24441+RATIONAL(1.0,64.0)*t24309+RATIONAL(-5.0,
-64.0)*t24308+t24879+t24905+t24960;
- t23462 = t24170*t24382;
- t24595 = t24172*t24301+t24109*t24440+t24867+t24804+t24858+(t23964+t23462)
-*z;
- t24404 = t24150*t24176;
- t24164 = RATIONAL(2.0,3.0);
- t24594 = t24034+t24164*t24539+z*t24404+t24141*t24369+t24159*t24440+t24118
-*t24327+t24762+t24902;
- t24434 = t24172*t24079;
- t24593 = t23676+t23997+t24788+(t23800+t24434)*t24173+(t24924+t24940)*x;
- t24091 = RATIONAL(-5.0,16.0);
- t24147 = RATIONAL(1.0,4.0);
- t24592 = t24147*t24441+t24091*t24308+t24090*t24309+t23612+t24894+t24921+
-t24926+t24967;
- t24436 = t24173*t24141;
- t23869 = t24171*t24436;
- t23687 = t24126*t24435;
- t24591 = t24173*t23687+t23869+t24105*t24496+t24797+t23982+(t24921+t24941)
+ t22410 = t22522+t22528;
+ t22046 = RATIONAL(-5.0,24.0);
+ t22282 = t22014*t22087;
+ t22409 = t22046*t22234+t22073*t22210+x*t22282+t22059*t22244+t22527;
+ t22408 = t22046*t22229+t22073*t22215+z*t22282+t22059*t22255+t22526;
+ t22407 = t21401+t21600+t21690+t22069*t22251+t22525;
+ t22406 = t21402+t22069*t22313+t22588+t22595+t22597;
+ t22405 = t22035*t22213+t22065*t22209+t22007*t22089+t22039*t22087+t22699+
+t22700;
+ t22404 = t22035*t22211+t22065*t22230+t21634+t21642+t21839+t21841+t22007*y
++t21926;
+ t22403 = t22036*t22214+t22061*t22210+t22063*t22234+t22077*t22232+t22018*
+t22248+t22050*t22244+t22678*x;
+ t22328 = t21970*y;
+ t22402 = t22036*t22212+t22061*t22231+t22063*t22233+t22077*t22307+x*t22328
++t22050*t22312+t22703;
+ t22401 = t22036*t22219+t22061*t22215+t22063*t22229+t22077*t22227+t22018*
+t22257+t22050*t22255+t22678*z;
+ t22400 = t22036*t22217+t22061*t22235+t22063*t22228+t22077*t22302+t21558+
+t22050*t22315+(t22328+t22268)*z;
+ t22399 = t21996*t22216+t22207+t22023*t22242+t22624+t22713*z+t22686*x;
+ t21475 = t21991*t22253;
+ t22398 = t22538+t22036*t22210+t22558+t22018*t22244+t22543+(t21475+t21873)
*x;
- t23796 = t24172*t24387;
- t24026 = t24139*t24171;
- t23876 = t24173*t24026;
- t24590 = t23770+t24173*t23796+t24801+t23998+t23876+t24889+t24948*x;
- t24589 = t24806+t23573+y*t24325+t24836+t24839+(t23501+t23954)*x;
- t24588 = t23796+t24026+t24171*t24407+t23798+t24736+t24892;
- t24587 = t24117*t24331+t24173*t24459+t24041+t24757+t24094*t24495+(t24934+
-t24903)*x;
- t24016 = t24153*t24170;
- t23936 = t24175*t24016;
- t24163 = RATIONAL(-2.0,3.0);
- t24586 = t24166*t24440+t24163*t24539+t24123*t24327+t24139*t24369+t24776+
-t23936+t24017+t24950*z;
- t24585 = t24106*t24440+t24864+t24128*t24327+t24792+t24867+(t23571+t23962)
+ t22397 = t22059*t22306+t22078*t22216+RATIONAL(16.0,9.0)*t22331+t21787+
+t21852+t21853+t22593+t22615+t22616;
+ t22396 = t21628+t22041*t22215+t21327+t22577+t22673*z+t22686;
+ t22395 = t21627+t22041*t22210+t21329+t22576+t22674*x+t22713;
+ t22394 = t21991*t22210+t22665+t21977*t22244+t22569+(t22295+t21652)*x;
+ t22393 = t21982*t22210+x*t21574+t21444+t21469+t22562+t22665;
+ t22392 = t21982*t22243+t21482+t22571+t22666+t22735;
+ t22391 = t21401+t21991*t22243+t22570+t22666+t22736;
+ t22390 = t22557+t22008*t22215+t21994*t22255+t21707+t22020*t22085+t22672*z
+;
+ t22389 = t22556+t22008*t22210+t21994*t22244+t21706+t22020*t22090+(t22688+
+t22732)*x;
+ t21944 = t22069*t22085;
+ t22388 = t22028*t22254+t22043*t22215+t22011*t22255+t21944+t22553+(t22687+
+t22695)*z;
+ t21947 = t22069*t22090;
+ t22387 = t22028*t22250+t22043*t22210+t22011*t22244+t21947+t22552+(t22687+
+t22696)*x;
+ t21938 = t22063*t22090;
+ t22386 = t22010*t22210+t22044*t22244+t21938+t22038*t22250+t22520+(t22685+
+t22702)*x;
+ t21935 = t22063*t22085;
+ t22385 = t22010*t22215+t22044*t22255+t21935+t22038*t22254+t22519+(t22685+
+t22701)*z;
+ t22273 = t22033*t22087;
+ t21692 = x*t22273;
+ t21830 = t22071*t22250;
+ t22384 = t22013*t22210+t21830+t21692+t21751+t22516+t21907+(t22069+t22698)
+*x;
+ t21831 = t22071*t22254;
+ t21945 = t22069*z;
+ t22383 = t22013*t22215+t21831+t21905+t21749+t22515+t21945+(t22273+t22697)
*z;
- t24584 = t24125*t24453+t23687+t24141*t24171+t23690+t24737+t24895;
- t24018 = t24166*t24172;
- t24156 = RATIONAL(-1.0,4.0);
- t24103 = RATIONAL(5.0,16.0);
- t24583 = t24018+t23845+t24162+t23843+t24016+t24103*t24308+t24115*t24309+
-t24156*t24441+t24918+t24948;
- t24582 = t24753+t24173*t23700+t24011+t23767+t23456+t24905*x;
- t24581 = t24782+t23902+t24010+t24126*t24327+t24105*t24440+(t24033+t23621+
-t24941)*z;
- t24483 = t24101*t24173;
- t24580 = t24759+t24028+t24171*t24483+t24173*t24475+t24114*t24331+(t24875+
-t24959)*x;
- t24579 = t24131*t24327+t23805+t24004+t23928+t24783+(t24016+t23852+t24968)
+ t22015 = RATIONAL(5.0,16.0);
+ t22037 = RATIONAL(-1.0,16.0);
+ t22072 = RATIONAL(-1.0,4.0);
+ t22382 = t22015*t22209+t22037*t22213+t21768+t21770+t22072*t22249+t22054*
+t22089+t22069*t22087+t22077+t22697+t22698;
+ t22062 = RATIONAL(2.0,3.0);
+ t22314 = t22086*x;
+ t22381 = t22016*t22210+t22065*t22234+t22062*t22314+t22668+t22078*t22244+
+t22514+t22680*x;
+ t21813 = t22065*t22254;
+ t22380 = t21813+t22046*t22215+t22009*t22255+t22547+t21921+(t22682+t22691)
*z;
- t24284 = t23571+t24823;
- t24578 = t24284+t24751+t24808+t24831;
- t24577 = t24742+t24770+t24803;
- t24279 = t23462+t24827;
- t24576 = t24279+t24721+t24744;
- t24575 = t24743+t24786+t24793;
- t24574 = t24660+t24739;
- t24573 = t24629+t24718;
- t24399 = t23439+t23459;
- t24572 = t24399+t24720+t24733;
- t24571 = t24680+t24731;
- t24570 = t24657+t24719;
- t24569 = t24680+t24722;
- t24498 = t23433+t23575;
- t24568 = t24498+t24785+t24808+t24825+t24828;
- t24567 = t24635+t24724;
- t24566 = t24618+t24735;
- t24565 = t24637+t24722;
- t24564 = t24637+t24731;
- t24563 = t24662+t24700;
- t24562 = t24629+t23462+t24724;
- t24561 = t24652+t24814+t24870;
- t24560 = t24711+t24810+t24869;
- t24559 = t24676+t24681;
- t24558 = t24652+t24711;
- t24557 = t24605+t24681;
- t24556 = t24603+t24604;
- t24555 = t24663+t24674;
- t24554 = t24635+t23571+t24718;
- t24553 = t24659+t24676;
- t24552 = t24640+t24671;
- t24551 = t24658+t24665;
- t24550 = t24631+t24639;
- t24549 = t24605+t24659;
- t24548 = t24763+t24766+t24813+t24816;
- t24547 = t23520+t24173*t23651+x*t23834+t24767+t24826+t24861+t24899+t24938
+ t21812 = t22065*t22250;
+ t22379 = t21812+t22046*t22210+t22009*t22244+t22546+t21923+(t22682+t22692)
+*x;
+ t22027 = RATIONAL(1.0,16.0);
+ t22048 = RATIONAL(-5.0,16.0);
+ t22066 = RATIONAL(1.0,4.0);
+ t22378 = t22027*t22213+t22048*t22209+t21551+t21552+t22066*t22249+t22063*
+t22087+t22078*t22089+t22059+t22691+t22692;
+ t22076 = RATIONAL(-2.0,3.0);
+ t22377 = t22049*t22210+t22071*t22234+t22054*t22244+t22671+t22076*t22314+
+t22527+t22683*x;
+ t22196 = t21413+t22580;
+ t22376 = t22196+t22645+t22661;
+ t22200 = t21413+t22584;
+ t22375 = t22200+t22643+t22661;
+ t22195 = t21493+t22580;
+ t22374 = t22195+t22645+t22662;
+ t22199 = t21493+t22584;
+ t22373 = t22199+t22643+t22662;
+ t22197 = t21475+t22581;
+ t22372 = t22197+t22646+t22659;
+ t22201 = t21475+t22585;
+ t22371 = t22201+t22644+t22659;
+ t22198 = t21394+t22581;
+ t22370 = t22198+t22646+t22660;
+ t22202 = t21394+t22585;
+ t22369 = t22202+t22644+t22660;
+ t22368 = t22458+t22506;
+ t22367 = t22462+t22504;
+ t20920 = t22023*t22235;
+ t22240 = t20913+t20920;
+ t22366 = t22240+t22496+t22497;
+ t22238 = t20920+t21030;
+ t22365 = t22238+t22495+t22497;
+ t21037 = t22033*t22235;
+ t22239 = t20913+t21037;
+ t22364 = t22239+t22494+t22496;
+ t22237 = t21030+t21037;
+ t22363 = t22237+t22494+t22495;
+ t22362 = t22414+t22493;
+ t22361 = t22421+t22486;
+ t22360 = t21988*t22217+t22642+t21979*t22235+t22676*z+t22724;
+ t22359 = t21979*t22217+t22642+t21988*t22235+t22675*z+t22722;
+ t22358 = t22632+t22637;
+ t22357 = t22630+t22637;
+ t22356 = t22632+t22636;
+ t22355 = t22630+t22636;
+ t22354 = t22418+t22472;
+ t22353 = t22635+t22653;
+ t22352 = t22635+t22652;
+ t22351 = t22634+t22653;
+ t22350 = t22634+t22652;
+ t22349 = t22633+t22647;
+ t22348 = t22633+t22649;
+ t22347 = t22631+t22647;
+ t22346 = t22631+t22649;
+ t22345 = t21448+t22471+t22035*t22209+t21881+t22586+t22690;
+ t22344 = t21367+t22471+t21869+t22025*t22209+t22582+t22689;
+ t22343 = t22434+t22470;
+ t22342 = t22627+t22629;
+ t22341 = t22626+t22629;
+ t22340 = t22627+t22628;
+ t22339 = t22626+t22628;
+ t22338 = t22468+t22469;
+ t22337 = t22466+t22467;
+ t22336 = t22462+t22506+t22581;
+ t22335 = t22458+t22504+t22585;
+ t22334 = t22427+t22510+t22532;
+ t22333 = t22412+t22518+t22524;
+ t22332 = x*y;
+ t22322 = t22006*y;
+ t22320 = t22013*x;
+ t22316 = t22051*y;
+ t22286 = t22008*t22087;
+ t22281 = t22014*t22088;
+ t22271 = t22038*t22090;
+ t22263 = t22047*t22088;
+ t22262 = t22049*t22090;
+ t22058 = RATIONAL(5.0,3.0);
+ t22260 = t22058*t22090;
+ t21550 = x*t22281;
+ t21767 = x*t22263;
+ t21803 = t22063*t22256;
+ t21807 = t22063*t22246;
+ t21820 = t22069*t22256;
+ t21825 = t22069*t22246;
+ t22203 = t22023*t22216+t22044*t22306+t22241;
+ t21966 = RATIONAL(25.0,48.0);
+ t22193 = t21966*x+t22046*t22090;
+ t22192 = t22013*t22090+RATIONAL(-25.0,48.0)*x;
+ t22191 = t22271+t22320;
+ t22190 = t22046*x+t22028*t22090;
+ t22189 = RATIONAL(5.0,4.0)+RATIONAL(-25.0,16.0)*t22089+t22015*t22087;
+ t22064 = RATIONAL(1.0,8.0);
+ t22079 = RATIONAL(-5.0,8.0);
+ t22188 = RATIONAL(1.0,2.0)+t22064*t22087+t22079*t22089;
+ t22045 = RATIONAL(-5.0,32.0);
+ t22187 = t22079+RATIONAL(25.0,32.0)*t22089+t22045*t22087;
+ t22186 = t22082+t22049*t22087+RATIONAL(25.0,12.0)*t22089;
+ t21965 = RATIONAL(25.0,96.0);
+ t22185 = t21965*t22089+t22046+t22041*t22087;
+ t22184 = t22288+t22286+t22013;
+ t22012 = RATIONAL(5.0,32.0);
+ t22055 = RATIONAL(5.0,8.0);
+ t22183 = RATIONAL(-25.0,32.0)*t22089+t22055+t22012*t22087;
+ t22182 = RATIONAL(25.0,8.0)*t22089+t22079*t22087+RATIONAL(-5.0,2.0);
+ t22181 = t22015*t22089+t22072+t22037*t22087;
+ t22003 = RATIONAL(-25.0,12.0);
+ t22180 = t22016*t22087+t22058+t22003*t22089;
+ t22179 = t22027*t22087+t22066+t22048*t22089;
+ t22178 = t22032*t22087+t22038+t22010*t22089;
+ t22177 = t22043*t22089+t22028+t22022*t22087;
+ t21968 = RATIONAL(25.0,16.0);
+ t22081 = RATIONAL(-5.0,4.0);
+ t22176 = t22048*t22087+t22081+t21968*t22089;
+ t22175 = t22056*t22089+t22071*t22087+t22076;
+ t22174 = t22065*t22087+t22080*t22089+t22062;
+ t22070 = RATIONAL(-1.0,8.0);
+ t22173 = t22070*t22087+RATIONAL(-1.0,2.0)+t22055*t22089;
+ t22172 = t22286*t22331+t22046*t22216+z*t22320+t22065*t22242+t22618;
+ t22171 = t22056*t22216+t22080*t22306+RATIONAL(-10.0,3.0)*t22331+t22076*
+t22242+t22617;
+ t22170 = t22011*t22216+z*t21692+t21823+x*t21945+t22241;
+ t22169 = t21965*t22306+t22035*t22216+t22611+t22612+t22618;
+ t22001 = RATIONAL(-25.0,24.0);
+ t22166 = t22001*t22306+t22062*t22216+t22609+t22610+t22617;
+ t22165 = z*t21550+t22026*t22218+t22036*t22236+t22047*t22329+t22203;
+ t22164 = t22014*t22329+t22026*t22236+t22036*t22218+z*t21767+t22203;
+ t22162 = t22539+t22541;
+ t22161 = t22535+t22539;
+ t22160 = t22522+t22539;
+ t22159 = t22523+t22538;
+ t22158 = t21966*t22224+t22032*t22223+t22038*t22308+z*t22262+t22172+t22611
+;
+ t22157 = t21966*t22221+t22032*t22226+z*t22271+t22049*t22308+t22172+t22612
+;
+ t22060 = RATIONAL(4.0,3.0);
+ t22156 = t22003*t22224+t22067*t22223+z*t22260+t22060*t22308+t22171+t22610
;
- t24546 = t24607+t24869+t24870;
- t24146 = RATIONAL(5.0,3.0);
- t24518 = t24146*z;
- t24497 = t24108*t24176;
- t24492 = t24146*t24175;
- t24491 = t24123*t24175;
- t24027 = t24144*t24175;
- t24480 = t24094*t24175;
- t24467 = t24101*t24175;
- t24357 = t24055*t24531;
- t24355 = t24173*t24527;
- t24350 = t24119*t24531;
- t24334 = t24073*t24531;
- t24293 = t23571+t24827;
- t24292 = t23123+t24833;
- t24289 = t23234+t24830;
- t24288 = t23575+t24832;
- t24285 = t23462+t24823;
- t24282 = z*t23577+t24082*t24313+t24862;
- t24278 = t23459+t24832;
- t24277 = t23225+t24830;
- t24276 = t23073+t24830;
- t24275 = t24131*t24175+RATIONAL(-25.0,48.0)*z;
- t24274 = t24126*z+t24480;
- t24273 = t24534+t24467;
- t24063 = RATIONAL(25.0,48.0);
- t24272 = t24063*z+t24126*t24175;
- t24271 = t24157*t24172+t24141*t24176+t24164;
- t24059 = RATIONAL(-25.0,12.0);
- t24270 = t24146+t24118*t24176+t24059*t24172;
- t24140 = RATIONAL(5.0,8.0);
- t24269 = t24140+t24104*t24176+RATIONAL(-25.0,32.0)*t24172;
- t24145 = RATIONAL(-5.0,8.0);
- t24268 = RATIONAL(25.0,8.0)*t24172+t24145*t24176+RATIONAL(-5.0,2.0);
- t24077 = RATIONAL(25.0,96.0);
- t24267 = t24126+t24111*t24176+t24077*t24172;
- t24266 = t24131+t24502+t24497;
- t24265 = t24113*t24176+t24117*t24172+t24094;
- t24264 = t24163+t24160*t24172+t24139*t24176;
- t24263 = t24101+t24114*t24172+t24116*t24176;
- t24262 = t24097*t24176+t24145+RATIONAL(25.0,32.0)*t24172;
- t24261 = t24103*t24176+RATIONAL(5.0,4.0)+RATIONAL(-25.0,16.0)*t24172;
- t24260 = t24147+t24091*t24172+t24090*t24176;
- t24259 = RATIONAL(1.0,2.0)+t24149*t24176+t24145*t24172;
- t24258 = RATIONAL(-1.0,2.0)+t24140*t24172+t24161*t24176;
- t24087 = RATIONAL(25.0,16.0);
- t24138 = RATIONAL(-5.0,4.0);
- t24257 = t24138+t24087*t24172+t24091*t24176;
- t24256 = t24115*t24176+t24156+t24103*t24172;
- t24255 = RATIONAL(25.0,12.0)*t24172+t24123*t24176+t24151;
- t24253 = t24497*t24543+t24175*t24436+t24126*t24313+x*t24534+t24856;
- t24252 = RATIONAL(-10.0,3.0)*t24543+t24160*t24313+t24157*t24512+t24163*
-t24462+t24846;
- t24251 = t24077*t24512+t24120*t24313+t24837+t24856+t24860;
- t24068 = RATIONAL(-25.0,24.0);
- t24250 = t24164*t24313+t24068*t24512+t24846+t24852+t24865;
- t24249 = t24282+t24888*z+(t24339+t23633)*t24173;
- t24248 = t24173*t23849+t24089*t24374+t24282+t24893*z;
- t24247 = t24785+t24840+t24861;
- t24246 = t24766+t24796;
- t24245 = t24767+t24808;
- t24244 = t24796+t24813;
- t24152 = RATIONAL(4.0,3.0);
- t24240 = t24152*t24531+x*t24492+t24153*t24347+t24059*t24346+t24252+t24852
+ t22155 = t22003*t22221+t22067*t22226+t22058*t22308+t22060*t22311+t22171+
+t22609;
+ t22154 = t22012*t22209+RATIONAL(-1.0,32.0)*t22213+t22070*t22249+t21890+
+t22170+t22685;
+ t22153 = RATIONAL(1.0,32.0)*t22213+t22045*t22209+t22064*t22249+t21927+
+t22170+t22687;
+ t22152 = t22008*t22228+t22022*t22235+t22032*t22217+t22041*t22302+t21328+z
+*t22292+t22508+t22710;
+ t22151 = t22008*t22302+t22022*t22217+t22032*t22235+t22041*t22228+z*t22298
++t21505+t22508+t22709;
+ t22150 = t22008*t22233+t22022*t22231+t22032*t22212+t22041*t22307+x*t22327
++t21507+t22509+t22708;
+ t22149 = t22008*t22307+t22022*t22212+t22032*t22231+t22041*t22233+t21330+x
+*t22324+t22509+t22707;
+ t22148 = t22049*t22302+y*t21813+z*t22290+t21576+t22503+t22549;
+ t22147 = t22016*t22302+y*t21831+z*t22296+t21654+t22503+t22530;
+ t22146 = t22049*t22307+y*t21812+t21514+t21581+t22502+t22548;
+ t22145 = t22016*t22307+y*t21830+t21337+t21660+t22502+t22531;
+ t22144 = t22013*t22228+t22038*t22217+t21803+t22080*t22302+t22501+(t22263+
+t22322)*z+t22670*y;
+ t22143 = t22028*t22217+t22046*t22228+t22056*t22302+t21820+t22501+(t22316+
+t22281)*z+t22669*y;
+ t22142 = t22013*t22233+t22038*t22212+t21807+t22080*t22307+x*t22322+t21767
++t22500+t22671*y;
+ t22141 = t22028*t22212+t22046*t22233+t22056*t22307+t21825+t21550+x*t22316
++t22500+t22668*y;
+ t22140 = t22164+x*t21803+t21944*t22332+t22011*t22225+t22044*t22303+t22551
;
- t24239 = t24253+x*t24491+t24063*t24346+t24860+(t24483+t24310)*z;
- t24238 = t24152*t24530+t24153*t24380+t24173*t24518+t24059*t24378+t24252+
-t24865;
- t24237 = t24116*t24380+t24123*t24531+x*t24467+t24063*t24378+t24253+t24837
+ t22139 = t22165+x*t21820+t22011*t22303+t21935*t22332+t22044*t22225+t22551
;
- t24236 = t24248+t24073*t24517+t24055*t24364+t24815+t24885*z;
- t24235 = x*t23930+t24027*t24545+y*t24350+t24174*t24355+t24747+t24784;
- t24234 = t23559+t23794+y*t23876+t24118*t24514+t24740+t24791;
- t24233 = t23877+x*t24409+t24094*t24330+t23654+t24174*t24366+t24749+(
-t24343+t24877)*y;
- t24232 = t24135*t24362+t24137*t24510+y*t23705+x*t23633+t24752+t24787;
- t24231 = y*t24357+t24249+t24174*t24334+t24789+t24897*x;
- t24230 = t24174*t24368+t23934+t24157*t24514+x*t24456+t23855+t24101*t24330
-+t24749+t24884*y;
- t24229 = t24174*t24357+t24248+y*t24334+t24789+t24881*x;
- t24228 = t24172*t24319+x*t24422+t24176*t24363+t24096*t24496+t24741+t24759
+ t22138 = t21947*t22330+t22164+z*t21807+t22011*t22222+t22044*t22301+t22550
;
- t24227 = t24748+z*t24536+t23821+t24126*t24341+t23930+t24094*t24303+(
-t24340+t24902)*y;
- t24226 = x*t23905+t24174*t24350+y*t24355+t24022*t24545+t24747+t24799;
- t24225 = x*t24438+t23683+y*t23869+t24394*t24545+t24740+t24781;
- t24224 = t24249+t24055*t24517+t24073*t24364+t24815+t24890*z;
- t24223 = t24752+t24105*t24362+y*t24359+t24761+(t23721+t23849)*x;
- t24222 = t23769+t24174*t24338+t24101*t24303+z*t24528+t24748+(t24344+
-t23936)*y+t24965;
- t24221 = t23604+t24111*t24371+t24172*t24419+t24116*t24331+t24741+t24757;
- t24220 = t24039+t24126*t24463+t24730+t23717+t23700+t24737+t24959;
- t24219 = t24123*t24331+t24602+t24163*t24535+t24139*t24371+t24173*t24018+
-t24758+t24950*x+t24884;
- t24218 = t24027+t24717+t24133*t24440+t24170*t24467+t24777+t24114*t24327+(
-t24875+t24895)*z;
- t24217 = t24117*t24327+t24170*t24480+t24022+t24172*t24415+t24774+t24717+(
-t24892+t24903)*z;
- t24216 = t24038+t23800+t23803+t24730+t24131*t24463+t24736+t24934;
- t24215 = t23996+t23638+t24108*t24327+t24175*t24434+t24600+t24769+t24871*z
+ t22137 = z*t21825+t21938*t22330+t22165+t22044*t22222+t22011*t22301+t22550
;
- t24214 = t24141*t24371+x*t24404+t24037+t24164*t24535+t24602+t24819+t24894
-*t24173+t24877;
- t24213 = t23493+t23719+t24600+t24111*t24327+t24821+t24879*z+t24914;
- t24212 = t24547+t24671+t24674;
- t24211 = t24727+t24247+t24289+t23123+t24745+t24824+t24836+t24841;
- t24210 = t24246+t24595+t24662+t24816;
- t24209 = t24285+t24721+t24589+t24751+t24767;
- t24208 = t24623+t24622+t24621+t24708;
- t24207 = t24601+t24665+t24739+t24832;
- t24206 = t24623+t24679+t24656+t24704;
- t24205 = t24655+t24627+t24246+t24795+t24866+t24900;
- t24204 = t24677+t24276+t24694+t24732+t24738;
- t24203 = t24241+t24585+t24742+t24793+t24823;
- t24202 = t24638+t24689+t24690+t24701;
- t24201 = t24242+t24669+t24672+t23073+t24809+t24822;
- t24200 = t24691+t24685+t24689+t24714;
- t24199 = t24245+t24589+t24293+t24744+t24831;
- t24198 = t24603+t24598+t24631;
- t24197 = t24623+t24643+t24683+t24693;
- t24196 = t23433+t24720+t24247+t24278+t24734+t24828+t24835;
- t24195 = t24620+t24611+t24628+t24677;
- t24194 = t24585+t24243+t24743+t24770+t24827;
- t24193 = t24618+t23439+t24599+t24719;
- t24192 = t24667+t24608+t24689+t24699;
- t24191 = t24644+t24702+t24705+t24712;
- t24190 = t24632+t24689+t24646+t24715;
- t24189 = t24244+t24595+t24700+t24763;
- t24188 = t24245+t24733+t23439+t24288+t24734+t24825+t24861;
- t24187 = t24547+t24640+t24663;
- t24186 = t24642+t24695+t24644+t24709;
- t24185 = t24623+t24698+t24686+t24710;
- t24184 = t24604+t24598+t24639;
- t24183 = t24653+t24244+t24673+t23234+t24795+t24829;
- t24182 = t24601+t24658+t24660;
- t24181 = t23433+t24657+t24599+t24735;
- coeffs_dxz->coeff_m2_m2_m2 = t24200+t24608+t24701+t24696+t24715;
- coeffs_dxz->coeff_m1_m2_m2 = t24553+t24188+t24552;
- coeffs_dxz->coeff_0_m2_m2 = t24609+t24224+t24610;
- coeffs_dxz->coeff_p1_m2_m2 = t24196+t24557+t24552;
- coeffs_dxz->coeff_p2_m2_m2 = t24202+t24632+t24608+t24645+t24691;
- coeffs_dxz->coeff_m2_m1_m2 = t24191+t24642+t24669+t24664+t24703;
- coeffs_dxz->coeff_m1_m1_m2 = t24563+t24203+t24562;
- coeffs_dxz->coeff_0_m1_m2 = t24225+t24613+t24626;
- coeffs_dxz->coeff_p1_m1_m2 = t24573+t24210+t24575+t24293;
- coeffs_dxz->coeff_p2_m1_m2 = t24703+t24211+t24672+t24709+t24712;
- coeffs_dxz->coeff_m2_0_m2 = t24215+t24596+t24593;
- coeffs_dxz->coeff_m1_0_m2 = t24217+t24584+t24591;
- coeffs_dxz->coeff_0_0_m2 = (t24256*t24171+t24265)*t24173+t24239+(t24269*
-t24171+t24267)*x;
- coeffs_dxz->coeff_p1_0_m2 = t24218+t24588+t24591;
- coeffs_dxz->coeff_p2_0_m2 = t24597+t24593+t24213;
- coeffs_dxz->coeff_m2_p1_m2 = t24695+t24703+t24201+t24292+t24725+t24750;
- coeffs_dxz->coeff_m1_p1_m2 = t24194+t24548+t24562;
- coeffs_dxz->coeff_0_p1_m2 = t24234+t24613+t24630;
- coeffs_dxz->coeff_p1_p1_m2 = t24573+t24577+t24189+t24284;
- coeffs_dxz->coeff_p2_p1_m2 = t24703+t24186+t24702+t24276+t24726+t24745;
- coeffs_dxz->coeff_m2_p2_m2 = t24200+t24638+t24645+t24646+t24699;
- coeffs_dxz->coeff_m1_p2_m2 = t24187+t24559+t24568;
- coeffs_dxz->coeff_0_p2_m2 = t24610+t24236+t24661;
- coeffs_dxz->coeff_p1_p2_m2 = t24187+t24572+t24549;
- coeffs_dxz->coeff_p2_p2_m2 = t24691+t24190+t24690+t24696+t24699;
- coeffs_dxz->coeff_m2_m2_m1 = t24550+t24546+t24199;
- coeffs_dxz->coeff_m1_m2_m1 = t24204+t24653+t24628+t24650+t24655;
- coeffs_dxz->coeff_0_m2_m1 = t24616+t24221+t24636;
- coeffs_dxz->coeff_p1_m2_m1 = t24620+t24653+t24205+t24670+t24692;
- coeffs_dxz->coeff_p2_m2_m1 = t24209+t24550+t24558;
- coeffs_dxz->coeff_m2_m1_m1 = t23433+t24571+t24182+t23459+t24566;
- coeffs_dxz->coeff_m1_m1_m1 = t24698+t24693+t24206+t24682+t24708;
- coeffs_dxz->coeff_0_m1_m1 = t24233+t24606+t24697;
- coeffs_dxz->coeff_p1_m1_m1 = t24206+t24621+t24686+t24683+t24713;
- coeffs_dxz->coeff_p2_m1_m1 = t23575+t24565+t23439+t24182+t24570;
- coeffs_dxz->coeff_m2_0_m1 = t24220+t24581+t24587;
- coeffs_dxz->coeff_m1_0_m1 = t24594+t24592+t24214;
- coeffs_dxz->coeff_0_0_m1 = (t24259*t24171+t24264)*t24173+t24240+(t24257*
-t24171+t24270)*x;
- coeffs_dxz->coeff_p1_0_m1 = t24586+t24214+t24583;
- coeffs_dxz->coeff_p2_0_m1 = t24216+t24587+t24579;
- coeffs_dxz->coeff_m2_p1_m1 = t24564+t24193+t24574+t24278;
- coeffs_dxz->coeff_m1_p1_m1 = t24698+t24643+t24208+t24656+t24713;
- coeffs_dxz->coeff_0_p1_m1 = t24230+t24654+t24697;
- coeffs_dxz->coeff_p1_p1_m1 = t24197+t24622+t24682+t24656+t24686;
- coeffs_dxz->coeff_p2_p1_m1 = t24569+t24181+t24574+t24288;
- coeffs_dxz->coeff_m2_p2_m1 = t24184+t24561+t24578;
- coeffs_dxz->coeff_m1_p2_m1 = t24205+t24289+t24611+t24650+t24728+t24738;
- coeffs_dxz->coeff_0_p2_m1 = t24624+t24221+t24648;
- coeffs_dxz->coeff_p1_p2_m1 = t24195+t24655+t24692+t23234+t24694+t24728;
- coeffs_dxz->coeff_p2_p2_m1 = t24184+t24560+t24576;
- coeffs_dxz->coeff_m2_m2_0 = t24231+t24633+t24706;
- coeffs_dxz->coeff_m1_m2_0 = t24235+t24641+t24678;
- coeffs_dxz->coeff_0_m2_0 = (t24273*t24174+t24274*y)*t24173+(t24275*t24174
-+t24272*y)*x+t24251;
- coeffs_dxz->coeff_p1_m2_0 = t24612+t24235+t24707;
- coeffs_dxz->coeff_p2_m2_0 = t24231+t24619+t24649;
- coeffs_dxz->coeff_m2_m1_0 = t24232+t24666+t24668;
- coeffs_dxz->coeff_m1_m1_0 = t24614+t24227+t24684;
- coeffs_dxz->coeff_0_m1_0 = ((t24141*t24175+t24123*z)*t24174+(t24163*
-t24175+t24518)*y)*t24173+((t24491+RATIONAL(25.0,24.0)*z)*t24174+(t24492+
-RATIONAL(-25.0,6.0)*z)*y)*x+t24250;
- coeffs_dxz->coeff_p1_m1_0 = t24614+t24222+t24625;
- coeffs_dxz->coeff_p2_m1_0 = t24232+t24615+t24688;
- coeffs_dxz->coeff_m2_0_0 = t24237+(t24256*t24170+t24265)*t24175+(t24269*
-t24170+t24267)*z;
- coeffs_dxz->coeff_m1_0_0 = (t24259*t24170+t24264)*t24175+(t24257*t24170+
-t24270)*z+t24238;
- coeffs_dxz->coeff_0_0_0 = ((t24138*t24172+1.0+t24147*t24176)*t24175+
-t24268*z)*t24173+(t24268*t24175+(RATIONAL(-125.0,16.0)*t24172+t24087*t24176+
-RATIONAL(25.0,4.0))*z)*x;
- coeffs_dxz->coeff_p1_0_0 = t24238+(t24258*t24170+t24271)*t24175+(t24261*
-t24170+t24255)*z;
- coeffs_dxz->coeff_p2_0_0 = (t24260*t24170+t24263)*t24175+(t24262*t24170+
-t24266)*z+t24237;
- coeffs_dxz->coeff_m2_p1_0 = t24223+t24666+t24688;
- coeffs_dxz->coeff_m1_p1_0 = t24684+t24222+t24687;
- coeffs_dxz->coeff_0_p1_0 = ((t24410+t24118*z)*t24174+(t24151*z+t24164*
-t24175)*y)*t24173+((t24068*z+t24118*t24175)*t24174+(t24151*t24175+t24122*z)*y)*
-x+t24250;
- coeffs_dxz->coeff_p1_p1_0 = t24227+t24625+t24687;
- coeffs_dxz->coeff_p2_p1_0 = t24223+t24615+t24668;
- coeffs_dxz->coeff_m2_p2_0 = t24229+t24619+t24633;
- coeffs_dxz->coeff_m1_p2_0 = t24641+t24226+t24707;
- coeffs_dxz->coeff_0_p2_0 = (t24274*t24174+t24273*y)*t24173+(t24272*t24174
-+t24275*y)*x+t24251;
- coeffs_dxz->coeff_p1_p2_0 = t24612+t24226+t24678;
- coeffs_dxz->coeff_p2_p2_0 = t24229+t24649+t24706;
- coeffs_dxz->coeff_m2_m2_p1 = t24198+t24561+t24576;
- coeffs_dxz->coeff_m1_m2_p1 = t24183+t24675+t24292+t24650+t24723+t24746;
- coeffs_dxz->coeff_0_m2_p1 = t24228+t24616+t24648;
- coeffs_dxz->coeff_p1_m2_p1 = t24183+t24692+t24277+t24628+t24716+t24738;
- coeffs_dxz->coeff_p2_m2_p1 = t24198+t24560+t24578;
- coeffs_dxz->coeff_m2_m1_p1 = t24207+t24565+t24498+t24566;
- coeffs_dxz->coeff_m1_m1_p1 = t24197+t24679+t24710+t24708+t24713;
- coeffs_dxz->coeff_0_m1_p1 = t24230+t24606+t24617;
- coeffs_dxz->coeff_p1_m1_p1 = t24679+t24643+t24185+t24621+t24682;
- coeffs_dxz->coeff_p2_m1_p1 = t24571+t24207+t24570+t24399;
- coeffs_dxz->coeff_m2_0_p1 = t24580+t24581+t24216;
- coeffs_dxz->coeff_m1_0_p1 = t24594+t24219+t24583;
- coeffs_dxz->coeff_0_0_p1 = t24240+(t24258*t24171+t24271)*t24173+(t24261*
-t24171+t24255)*x;
- coeffs_dxz->coeff_p1_0_p1 = t24219+t24592+t24586;
- coeffs_dxz->coeff_p2_0_p1 = t24220+t24580+t24579;
- coeffs_dxz->coeff_m2_p1_p1 = t24551+t23575+t24569+t24193;
- coeffs_dxz->coeff_m1_p1_p1 = t24208+t24683+t24682+t24704+t24710;
- coeffs_dxz->coeff_0_p1_p1 = t24233+t24617+t24654;
- coeffs_dxz->coeff_p1_p1_p1 = t24693+t24622+t24185+t24704+t24713;
- coeffs_dxz->coeff_p2_p1_p1 = t24551+t24564+t24181+t23459;
- coeffs_dxz->coeff_m2_p2_p1 = t24209+t24556+t24546;
- coeffs_dxz->coeff_m1_p2_p1 = t24195+t24627+t24670+t24650+t24673;
- coeffs_dxz->coeff_0_p2_p1 = t24228+t24624+t24636;
- coeffs_dxz->coeff_p1_p2_p1 = t24204+t24673+t24675+t24611+t24692;
- coeffs_dxz->coeff_p2_p2_p1 = t24556+t24558+t24199;
- coeffs_dxz->coeff_m2_m2_p2 = t24667+t24202+t24685+t24646+t24696;
- coeffs_dxz->coeff_m1_m2_p2 = t24212+t24559+t24572;
- coeffs_dxz->coeff_0_m2_p2 = t24647+t24224+t24661;
- coeffs_dxz->coeff_p1_m2_p2 = t24212+t24568+t24549;
- coeffs_dxz->coeff_p2_m2_p2 = t24667+t24190+t24645+t24701+t24714;
- coeffs_dxz->coeff_m2_m1_p2 = t24277+t24201+t24712+t24651+t24729+t24745;
- coeffs_dxz->coeff_m1_m1_p2 = t24203+t24548+t24554;
- coeffs_dxz->coeff_0_m1_p2 = t24234+t24626+t24634;
- coeffs_dxz->coeff_p1_m1_p2 = t24567+t24279+t24575+t24189;
- coeffs_dxz->coeff_p2_m1_p2 = t24191+t24709+t24651+t24725+t23123+t23073+
-t24726;
- coeffs_dxz->coeff_m2_0_p2 = t24215+t24582+t24597;
- coeffs_dxz->coeff_m1_0_p2 = t24217+t24588+t24590;
- coeffs_dxz->coeff_0_0_p2 = t24239+(t24260*t24171+t24263)*t24173+(t24262*
-t24171+t24266)*x;
- coeffs_dxz->coeff_p1_0_p2 = t24218+t24584+t24590;
- coeffs_dxz->coeff_p2_0_p2 = t24596+t24582+t24213;
- coeffs_dxz->coeff_m2_p1_p2 = t24695+t24607+t24211+t24651+t24868+t24882+
-t24887;
- coeffs_dxz->coeff_m1_p1_p2 = t24563+t24194+t24554;
- coeffs_dxz->coeff_0_p1_p2 = t24630+t24225+t24634;
- coeffs_dxz->coeff_p1_p1_p2 = t24567+t24285+t24210+t24577;
- coeffs_dxz->coeff_p2_p1_p2 = t24186+t24672+t24651+t24664+t24705;
- coeffs_dxz->coeff_m2_p2_p2 = t24192+t24685+t24645+t24690+t24715;
- coeffs_dxz->coeff_m1_p2_p2 = t24555+t24196+t24553;
- coeffs_dxz->coeff_0_p2_p2 = t24236+t24609+t24647;
- coeffs_dxz->coeff_p1_p2_p2 = t24555+t24557+t24188;
- coeffs_dxz->coeff_p2_p2_p2 = t24638+t24632+t24192+t24696+t24714;
+ t22136 = t22159+t22518+t22532;
+ t22135 = t21509+RATIONAL(5.0,64.0)*t22209+t22399+RATIONAL(-1.0,64.0)*
+t22213+t22037*t22249+t22672+t22705+t22732;
+ t22134 = RATIONAL(-5.0,64.0)*t22209+RATIONAL(1.0,64.0)*t22213+t22399+
+t21332+t22027*t22249+t22673+t22674+t22715;
+ t22133 = t22016*t22215+t22397+t22062*t22309+t22513+t22065*t22229+t22078*
+t22255+t22680*z+t22669;
+ t22132 = t22397+t22076*t22309+t22054*t22255+t22049*t22215+t22071*t22229+
+t22526+t22683*z+t22670;
+ t22131 = t22025*t22253+t21747+t22154+t22046*t22251+t22065*t22086+t22499+
+t22701;
+ t22130 = t22065*t22091+t22046*t22243+t21746+t22154+t22025*t22247+t22498+
+t22702;
+ t22129 = t22153+t21529+t22013*t22251+t22071*t22086+t22035*t22253+t22499+
+t22695;
+ t22128 = t22153+t22013*t22243+t21528+t22071*t22091+t22035*t22247+t22498+
+t22696;
+ t22127 = t22639+t22360+t22641;
+ t22126 = t22359+t22638+t22641;
+ t22125 = t22360+t22638+t22640;
+ t22124 = t22639+t22359+t22640;
+ t22123 = t22402+t22417+t22483+t22485;
+ t22122 = t22392+t22651+t22658;
+ t22121 = t22391+t22650+t22658;
+ t22120 = t22394+t22648+t22657;
+ t22119 = t22394+t22654+t22655;
+ t22118 = t22136+t22464+t22510+t22524;
+ t22117 = t21037+t22136+t22534+t22542+t22583+t22601+t22608;
+ t22116 = t22403+t22413+t22419+t22485;
+ t22115 = t22491+t22411+t22463+t21493+t22539+t22559;
+ t22114 = t22418+t22344+t22470;
+ t22113 = t22393+t22654+t22657;
+ t22112 = t22393+t22648+t22655;
+ t22111 = t22466+t22345+t22468;
+ t22110 = t22467+t22345+t22469;
+ t22109 = t22416+t22400+t22420+t22485;
+ t22108 = t22434+t22344+t22472;
+ t22107 = t22392+t22650+t22656;
+ t22106 = t22391+t22651+t22656;
+ t22105 = t22487+t22406+t22162+t21413+t22559+t22560;
+ t22104 = t22412+t22427+t22159+t22464;
+ t22103 = t22398+t21394+t22414+t22486;
+ t22102 = t22398+t22421+t21475+t22493;
+ t22101 = t22162+t22435+t22432+t22521+t22544;
+ t22100 = t22161+t22433+t22436+t22517+t22544;
+ t22099 = t22429+t22161+t22459+t22512+t22559;
+ t22098 = t22160+t22437+t22489+t20920+t22540+t22544;
+ t22097 = t22160+t22424+t22407+t22559+t22566;
+ t22096 = t22484+t22404+t22405+t22485;
+ coeffs_dxz->coeff_m2_m2_m2 = t22357+t22124+t22341;
+ coeffs_dxz->coeff_m1_m2_m2 = t22350+t22120+t22370;
+ coeffs_dxz->coeff_0_m2_m2 = t22149+t22476+t22479;
+ coeffs_dxz->coeff_p1_m2_m2 = t22352+t22119+t22372;
+ coeffs_dxz->coeff_p2_m2_m2 = t22340+t22125+t22357;
+ coeffs_dxz->coeff_m2_m1_m2 = t22337+t22366+t22108;
+ coeffs_dxz->coeff_m1_m1_m2 = t22115+t22460+t22406+t22429+t22522+t22566;
+ coeffs_dxz->coeff_0_m1_m2 = t22146+t22438+t22473;
+ coeffs_dxz->coeff_p1_m1_m2 = t22115+t22407+t22461+t22426+t22465;
+ coeffs_dxz->coeff_p2_m1_m2 = t22354+t22364+t22110;
+ coeffs_dxz->coeff_m2_0_m2 = t22134+t22389+t22390;
+ coeffs_dxz->coeff_m1_0_m2 = t22131+t22379+t22388;
+ coeffs_dxz->coeff_0_0_m2 = t22177*t22090+t22157+(t22183*x+t22181*t22090)*
+t22086+t22185*x;
+ coeffs_dxz->coeff_p1_0_m2 = t22385+t22379+t22129;
+ coeffs_dxz->coeff_p2_0_m2 = t22396+t22135+t22389;
+ coeffs_dxz->coeff_m2_p1_m2 = t22337+t22363+t22114;
+ coeffs_dxz->coeff_m1_p1_m2 = t22099+t22411+t22196+t22410+t22507+t22566+
+t22663;
+ coeffs_dxz->coeff_0_p1_m2 = t22438+t22145+t22456;
+ coeffs_dxz->coeff_p1_p1_m2 = t22105+t22407+t22411+t22459+t22460;
+ coeffs_dxz->coeff_p2_p1_m2 = t22365+t22110+t22343;
+ coeffs_dxz->coeff_m2_p2_m2 = t22127+t22342+t22358;
+ coeffs_dxz->coeff_m1_p2_m2 = t22351+t22119+t22369;
+ coeffs_dxz->coeff_0_p2_m2 = t22150+t22476+t22481;
+ coeffs_dxz->coeff_p1_p2_m2 = t22353+t22120+t22371;
+ coeffs_dxz->coeff_p2_p2_m2 = t22126+t22339+t22358;
+ coeffs_dxz->coeff_m2_m2_m1 = t22121+t22376+t22347;
+ coeffs_dxz->coeff_m1_m2_m1 = t22117+t22423+t22435+t22436+t22522+t22540;
+ coeffs_dxz->coeff_0_m2_m1 = t22137+t22443+t22448;
+ coeffs_dxz->coeff_p1_m2_m1 = t22430+t22431+t22489+t22100+t22238+t22492;
+ coeffs_dxz->coeff_p2_m2_m1 = t22107+t22375+t22346;
+ coeffs_dxz->coeff_m2_m1_m1 = t22118+t22367+t22362+t22201;
+ coeffs_dxz->coeff_m1_m1_m1 = t22123+t22415+t22405+t22400+t22419;
+ coeffs_dxz->coeff_0_m1_m1 = t22141+t22440+t22454;
+ coeffs_dxz->coeff_p1_m1_m1 = t22123+t22401+t22404+t22413+t22420;
+ coeffs_dxz->coeff_p2_m1_m1 = t22361+t22367+t22104+t22202;
+ coeffs_dxz->coeff_m2_0_m1 = t22387+t22380+t22130;
+ coeffs_dxz->coeff_m1_0_m1 = t22133+t22381+t22378;
+ coeffs_dxz->coeff_0_0_m1 = (t22176*x+t22188*t22090)*t22086+t22155+t22180*
+x+t22175*t22090;
+ coeffs_dxz->coeff_p1_0_m1 = t22381+t22382+t22132;
+ coeffs_dxz->coeff_p2_0_m1 = t22128+t22387+t22383;
+ coeffs_dxz->coeff_m2_p1_m1 = t22197+t22362+t22368+t22104;
+ coeffs_dxz->coeff_m1_p1_m1 = t22416+t22096+t22415+t22413+t22417;
+ coeffs_dxz->coeff_0_p1_m1 = t22142+t22440+t22452;
+ coeffs_dxz->coeff_p1_p1_m1 = t22401+t22417+t22109+t22419+t22484;
+ coeffs_dxz->coeff_p2_p1_m1 = t22361+t22118+t22198+t22368;
+ coeffs_dxz->coeff_m2_p2_m1 = t22106+t22373+t22347;
+ coeffs_dxz->coeff_m1_p2_m1 = t22098+t22431+t22428+t22422+t22435;
+ coeffs_dxz->coeff_0_p2_m1 = t22442+t22138+t22448;
+ coeffs_dxz->coeff_p1_p2_m1 = t22117+t22430+t22433+t22422+t22437;
+ coeffs_dxz->coeff_p2_p2_m1 = t22374+t22346+t22122;
+ coeffs_dxz->coeff_m2_m2_0 = t22151+t22478+t22480;
+ coeffs_dxz->coeff_m1_m2_0 = t22446+t22139+t22450;
+ coeffs_dxz->coeff_0_m2_0 = (t22193*y+t22192*t22088)*z+(t22190*y+t22191*
+t22088)*t22085+t22169;
+ coeffs_dxz->coeff_p1_m2_0 = t22445+t22139+t22451;
+ coeffs_dxz->coeff_p2_m2_0 = t22152+t22477+t22480;
+ coeffs_dxz->coeff_m2_m1_0 = t22148+t22439+t22474;
+ coeffs_dxz->coeff_m1_m1_0 = t22143+t22441+t22455;
+ coeffs_dxz->coeff_0_m1_0 = ((t22260+RATIONAL(-25.0,6.0)*x)*y+(RATIONAL(
+25.0,24.0)*x+t22262)*t22088)*z+((t22076*t22090+t22058*x)*y+(t22065*t22090+
+t22049*x)*t22088)*t22085+t22166;
+ coeffs_dxz->coeff_p1_m1_0 = t22408+t22144+t22455;
+ coeffs_dxz->coeff_p2_m1_0 = t22147+t22447+t22474;
+ coeffs_dxz->coeff_m2_0_0 = (t22181*t22091+t22177)*t22085+t22158+(t22183*
+t22091+t22185)*z;
+ coeffs_dxz->coeff_m1_0_0 = (t22176*t22091+t22180)*z+(t22188*t22091+t22175
+)*t22085+t22156;
+ coeffs_dxz->coeff_0_0_0 = ((RATIONAL(25.0,4.0)+RATIONAL(-125.0,16.0)*
+t22089+t21968*t22087)*x+t22182*t22090)*z+((t22081*t22089+1.0+t22066*t22087)*
+t22090+t22182*x)*t22085;
+ coeffs_dxz->coeff_p1_0_0 = (t22173*t22091+t22174)*t22085+(t22189*t22091+
+t22186)*z+t22156;
+ coeffs_dxz->coeff_p2_0_0 = (t22179*t22091+t22178)*t22085+t22158+(t22187*
+t22091+t22184)*z;
+ coeffs_dxz->coeff_m2_p1_0 = t22147+t22439+t22457;
+ coeffs_dxz->coeff_m1_p1_0 = t22441+t22144+t22453;
+ coeffs_dxz->coeff_0_p1_0 = ((t22082*t22090+t22005*x)*y+(t22016*t22090+
+t22001*x)*t22088)*z+((t22062*t22090+t22082*x)*y+(t22071*t22090+t22016*x)*t22088
+)*t22085+t22166;
+ coeffs_dxz->coeff_p1_p1_0 = t22143+t22408+t22453;
+ coeffs_dxz->coeff_p2_p1_0 = t22447+t22148+t22457;
+ coeffs_dxz->coeff_m2_p2_0 = t22152+t22478+t22482;
+ coeffs_dxz->coeff_m1_p2_0 = t22445+t22140+t22450;
+ coeffs_dxz->coeff_0_p2_0 = (t22192*y+t22193*t22088)*z+(t22191*y+t22190*
+t22088)*t22085+t22169;
+ coeffs_dxz->coeff_p1_p2_0 = t22446+t22140+t22451;
+ coeffs_dxz->coeff_p2_p2_0 = t22151+t22477+t22482;
+ coeffs_dxz->coeff_m2_m2_p1 = t22107+t22374+t22349;
+ coeffs_dxz->coeff_m1_m2_p1 = t22490+t22100+t22410+t22239+t22432+t22540+
+t22664;
+ coeffs_dxz->coeff_0_m2_p1 = t22442+t22137+t22449;
+ coeffs_dxz->coeff_p1_m2_p1 = t22101+t22240+t22436+t22488+t22425+t22489;
+ coeffs_dxz->coeff_p2_m2_p1 = t22348+t22121+t22373;
+ coeffs_dxz->coeff_m2_m1_p1 = t22336+t22103+t22334;
+ coeffs_dxz->coeff_m1_m1_p1 = t22403+t22404+t22109+t22415+t22483;
+ coeffs_dxz->coeff_0_m1_p1 = t22409+t22142+t22454;
+ coeffs_dxz->coeff_p1_m1_p1 = t22401+t22416+t22405+t22116+t22483;
+ coeffs_dxz->coeff_p2_m1_p1 = t22102+t22336+t22333;
+ coeffs_dxz->coeff_m2_0_p1 = t22128+t22380+t22386;
+ coeffs_dxz->coeff_m1_0_p1 = t22133+t22377+t22382;
+ coeffs_dxz->coeff_0_0_p1 = t22186*x+(t22189*x+t22173*t22090)*t22086+
+t22174*t22090+t22155;
+ coeffs_dxz->coeff_p1_0_p1 = t22377+t22378+t22132;
+ coeffs_dxz->coeff_p2_0_p1 = t22383+t22130+t22386;
+ coeffs_dxz->coeff_m2_p1_p1 = t22103+t22335+t22333;
+ coeffs_dxz->coeff_m1_p1_p1 = t22402+t22415+t22420+t22116+t22484;
+ coeffs_dxz->coeff_0_p1_p1 = t22409+t22141+t22452;
+ coeffs_dxz->coeff_p1_p1_p1 = t22401+t22402+t22096+t22400+t22403;
+ coeffs_dxz->coeff_p2_p1_p1 = t22102+t22335+t22334;
+ coeffs_dxz->coeff_m2_p2_p1 = t22375+t22349+t22122;
+ coeffs_dxz->coeff_m1_p2_p1 = t22098+t22423+t22432+t22425+t22433;
+ coeffs_dxz->coeff_0_p2_p1 = t22138+t22443+t22449;
+ coeffs_dxz->coeff_p1_p2_p1 = t22437+t22101+t22490+t22428+t22237+t22492;
+ coeffs_dxz->coeff_p2_p2_p1 = t22348+t22376+t22106;
+ coeffs_dxz->coeff_m2_m2_p2 = t22340+t22356+t22124;
+ coeffs_dxz->coeff_m1_m2_p2 = t22350+t22112+t22371;
+ coeffs_dxz->coeff_0_m2_p2 = t22150+t22475+t22479;
+ coeffs_dxz->coeff_p1_m2_p2 = t22113+t22352+t22369;
+ coeffs_dxz->coeff_p2_m2_p2 = t22356+t22125+t22341;
+ coeffs_dxz->coeff_m2_m1_p2 = t22365+t22354+t22111;
+ coeffs_dxz->coeff_m1_m1_p2 = t22097+t22200+t22463+t22426+t22487+t22505;
+ coeffs_dxz->coeff_0_m1_p2 = t22444+t22145+t22473;
+ coeffs_dxz->coeff_p1_m1_p2 = t22105+t22424+t22429+t22463+t22465;
+ coeffs_dxz->coeff_p2_m1_p2 = t22338+t22363+t22108;
+ coeffs_dxz->coeff_m2_0_p2 = t22135+t22395+t22390;
+ coeffs_dxz->coeff_m1_0_p2 = t22384+t22388+t22129;
+ coeffs_dxz->coeff_0_0_p2 = t22184*x+t22157+(t22187*x+t22179*t22090)*
+t22086+t22178*t22090;
+ coeffs_dxz->coeff_p1_0_p2 = t22385+t22384+t22131;
+ coeffs_dxz->coeff_p2_0_p2 = t22396+t22134+t22395;
+ coeffs_dxz->coeff_m2_p1_p2 = t22111+t22364+t22343;
+ coeffs_dxz->coeff_m1_p1_p2 = t22097+t22406+t22459+t22195+t22491+t22507;
+ coeffs_dxz->coeff_0_p1_p2 = t22444+t22146+t22456;
+ coeffs_dxz->coeff_p1_p1_p2 = t22199+t22424+t22099+t22461+t22491+t22505;
+ coeffs_dxz->coeff_p2_p1_p2 = t22366+t22338+t22114;
+ coeffs_dxz->coeff_m2_p2_p2 = t22127+t22339+t22355;
+ coeffs_dxz->coeff_m1_p2_p2 = t22351+t22113+t22372;
+ coeffs_dxz->coeff_0_p2_p2 = t22475+t22149+t22481;
+ coeffs_dxz->coeff_p1_p2_p2 = t22353+t22112+t22370;
+ coeffs_dxz->coeff_p2_p2_p2 = t22126+t22355+t22342;
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-17 08:57:26 +0000