From e9f00ac8be804694fed90fee6dfaa45f9438ebb8 Mon Sep 17 00:00:00 2001
From: jthorn <jthorn@df1f8a13-aa1d-4dd4-9681-27ded5b42416>
Date: Sun, 6 Jul 2003 11:39:36 +0000
Subject: Remove Jonathan Thornburg's interpolator 	(which is GPL and thus
 not allowed to be in CactusBase; 	it now lives in
 AEIThorns/AEILocalInterp/) so this thorn contains only the interpolator
 written by Thomas Radke in early 2001.

The files for this interpolator are now in  src/ ; before this commit
they were in  src/UniformCartesian/ .


git-svn-id: http://svn.cactuscode.org/arrangements/CactusBase/LocalInterp/trunk@154 df1f8a13-aa1d-4dd4-9681-27ded5b42416
---
 .../3d.coeffs/3d.cube.order3/coeffs-I.compute.c    | 4190 --------------------
 1 file changed, 4190 deletions(-)
 delete mode 100644 src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-I.compute.c

(limited to 'src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-I.compute.c')

diff --git a/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-I.compute.c b/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-I.compute.c
deleted file mode 100644
index 9531cde..0000000
--- a/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-I.compute.c
+++ /dev/null
@@ -1,4190 +0,0 @@
-fp t8729;
-fp t8728;
-fp t9398;
-fp t8727;
-fp t8725;
-fp t9435;
-fp t9783;
-fp t8724;
-fp t9430;
-fp t9352;
-fp t9791;
-fp t8726;
-fp t9421;
-fp t8615;
-fp t9319;
-fp t9356;
-fp t8566;
-fp t8936;
-fp t9790;
-fp t9294;
-fp t9059;
-fp t9249;
-fp t9781;
-fp t9330;
-fp t9072;
-fp t9260;
-fp t9789;
-fp t8608;
-fp t9292;
-fp t8583;
-fp t8948;
-fp t9788;
-fp t8993;
-fp t8722;
-fp t9265;
-fp t8624;
-fp t9280;
-fp t9787;
-fp t9346;
-fp t9351;
-fp t8898;
-fp t9786;
-fp t9784;
-fp t8532;
-fp t9364;
-fp t8922;
-fp t8618;
-fp t9293;
-fp t9782;
-fp t9780;
-fp t9255;
-fp t8552;
-fp t8501;
-fp t9377;
-fp t9438;
-fp t6975;
-fp t9779;
-fp t8509;
-fp t8937;
-fp t9369;
-fp t8488;
-fp t9006;
-fp t6927;
-fp t9778;
-fp t8599;
-fp t8650;
-fp t9273;
-fp t9777;
-fp t9230;
-fp t8662;
-fp t9429;
-fp t9308;
-fp t8244;
-fp t8674;
-fp t9776;
-fp t9417;
-fp t8691;
-fp t9195;
-fp t8628;
-fp t9278;
-fp t9775;
-fp t8626;
-fp t8693;
-fp t8942;
-fp t7916;
-fp t9774;
-fp t9413;
-fp t9277;
-fp t8612;
-fp t7666;
-fp t8630;
-fp t9426;
-fp t9210;
-fp t9773;
-fp t9383;
-fp t9409;
-fp t9176;
-fp t9772;
-fp t9396;
-fp t9232;
-fp t9771;
-fp t8679;
-fp t8511;
-fp t9311;
-fp t9016;
-fp t9770;
-fp t8544;
-fp t9270;
-fp t8496;
-fp t9769;
-fp t8940;
-fp t8597;
-fp t9279;
-fp t9177;
-fp t7260;
-fp t9768;
-fp t8682;
-fp t9373;
-fp t8214;
-fp t8557;
-fp t9767;
-fp t8701;
-fp t9337;
-fp t8569;
-fp t9256;
-fp t9766;
-fp t9765;
-fp t9329;
-fp t8168;
-fp t9764;
-fp t9423;
-fp t9226;
-fp t7409;
-fp t9310;
-fp t8968;
-fp t8521;
-fp t9763;
-fp t8666;
-fp t9419;
-fp t9202;
-fp t8658;
-fp t9225;
-fp t8167;
-fp t9762;
-fp t8490;
-fp t8524;
-fp t9281;
-fp t9761;
-fp t8670;
-fp t8613;
-fp t9218;
-fp t7621;
-fp t9760;
-fp t8610;
-fp t8919;
-fp t7632;
-fp t9348;
-fp t8904;
-fp t9759;
-fp t8506;
-fp t9191;
-fp t8487;
-fp t6963;
-fp t9032;
-fp t9758;
-fp t8633;
-fp t7745;
-fp t9757;
-fp t9436;
-fp t9235;
-fp t8218;
-fp t9756;
-fp t9259;
-fp t8614;
-fp t7692;
-fp t8530;
-fp t9755;
-fp t8518;
-fp t8890;
-fp t9247;
-fp t7494;
-fp t9754;
-fp t8593;
-fp t9320;
-fp t9062;
-fp t8504;
-fp t9363;
-fp t8999;
-fp t7084;
-fp t9753;
-fp t9209;
-fp t7765;
-fp t9752;
-fp t8477;
-fp t8533;
-fp t7198;
-fp t9751;
-fp t9391;
-fp t9190;
-fp t7573;
-fp t9002;
-fp t9750;
-fp t7778;
-fp t8516;
-fp t9749;
-fp t8571;
-fp t9212;
-fp t8559;
-fp t7385;
-fp t9748;
-fp t9353;
-fp t8924;
-fp t9747;
-fp t8548;
-fp t9214;
-fp t8560;
-fp t9253;
-fp t7212;
-fp t9746;
-fp t8616;
-fp t8669;
-fp t8897;
-fp t9745;
-fp t9141;
-fp t9744;
-fp t6984;
-fp t8582;
-fp t9743;
-fp t9299;
-fp t7876;
-fp t9742;
-fp t9741;
-fp t8513;
-fp t8664;
-fp t9740;
-fp t7910;
-fp t8694;
-fp t9739;
-fp t8549;
-fp t8564;
-fp t7285;
-fp t9738;
-fp t9737;
-fp t8562;
-fp t9228;
-fp t7194;
-fp t9736;
-fp t9394;
-fp t9735;
-fp t8902;
-fp t7727;
-fp t9734;
-fp t9733;
-fp t9137;
-fp t7842;
-fp t8525;
-fp t9732;
-fp t8635;
-fp t8952;
-fp t7313;
-fp t9731;
-fp t7162;
-fp t9730;
-fp t9405;
-fp t9414;
-fp t9328;
-fp t7755;
-fp t9729;
-fp t7270;
-fp t8596;
-fp t9361;
-fp t9185;
-fp t9728;
-fp t9727;
-fp t9342;
-fp t9726;
-fp t8709;
-fp t9386;
-fp t8601;
-fp t9725;
-fp t8950;
-fp t9262;
-fp t9060;
-fp t7249;
-fp t9724;
-fp t9139;
-fp t8497;
-fp t6968;
-fp t9723;
-fp t9144;
-fp t9722;
-fp t9721;
-fp t8943;
-fp t9720;
-fp t8888;
-fp t8122;
-fp t9719;
-fp t8695;
-fp t9401;
-fp t8645;
-fp t9304;
-fp t9198;
-fp t9718;
-fp t8702;
-fp t9437;
-fp t8622;
-fp t9717;
-fp t9388;
-fp t9010;
-fp t8507;
-fp t7203;
-fp t9716;
-fp t8598;
-fp t8947;
-fp t6935;
-fp t9715;
-fp t8590;
-fp t7458;
-fp t8591;
-fp t9714;
-fp t8698;
-fp t9160;
-fp t8638;
-fp t9713;
-fp t7641;
-fp t8545;
-fp t9397;
-fp t9009;
-fp t9712;
-fp t8203;
-fp t9711;
-fp t8551;
-fp t8696;
-fp t9710;
-fp t7253;
-fp t9709;
-fp t7793;
-fp t9316;
-fp t9200;
-fp t9708;
-fp t9407;
-fp t8579;
-fp t7461;
-fp t8575;
-fp t9707;
-fp t9233;
-fp t9706;
-fp t9705;
-fp t9704;
-fp t8671;
-fp t9224;
-fp t8676;
-fp t9237;
-fp t8091;
-fp t9703;
-fp t9702;
-fp t9701;
-fp t9350;
-fp t9700;
-fp t8036;
-fp t8704;
-fp t9699;
-fp t6957;
-fp t9698;
-fp t9264;
-fp t7968;
-fp t9697;
-fp t7788;
-fp t8659;
-fp t9696;
-fp t9321;
-fp t9193;
-fp t9695;
-fp t8634;
-fp t7690;
-fp t9694;
-fp t8547;
-fp t9036;
-fp t6985;
-fp t9693;
-fp t8641;
-fp t9339;
-fp t8363;
-fp t8621;
-fp t9692;
-fp t8587;
-fp t9306;
-fp t9203;
-fp t7122;
-fp t9691;
-fp t9365;
-fp t8399;
-fp t9690;
-fp t9689;
-fp t9079;
-fp t6926;
-fp t9057;
-fp t9688;
-fp t9399;
-fp t9236;
-fp t7035;
-fp t9687;
-fp t8609;
-fp t7322;
-fp t8620;
-fp t9686;
-fp t9291;
-fp t9685;
-fp t9684;
-fp t8972;
-fp t8041;
-fp t9683;
-fp t9682;
-fp t9681;
-fp t8994;
-fp t7701;
-fp t9680;
-fp t9263;
-fp t9679;
-fp t9678;
-fp t8553;
-fp t8703;
-fp t9358;
-fp t9677;
-fp t8531;
-fp t6946;
-fp t9676;
-fp t7809;
-fp t9675;
-fp t8578;
-fp t9674;
-fp t9673;
-fp t9672;
-fp t7363;
-fp t9671;
-fp t8910;
-fp t9670;
-fp t7218;
-fp t9205;
-fp t7222;
-fp t9669;
-fp t8905;
-fp t9668;
-fp t8661;
-fp t7839;
-fp t8973;
-fp t9667;
-fp t7037;
-fp t8600;
-fp t9666;
-fp t9665;
-fp t8961;
-fp t9664;
-fp t9275;
-fp t8960;
-fp t9663;
-fp t8673;
-fp t9662;
-fp t8928;
-fp t7499;
-fp t9075;
-fp t9661;
-fp t9251;
-fp t7693;
-fp t9660;
-fp t9003;
-fp t8006;
-fp t9433;
-fp t9192;
-fp t9659;
-fp t7020;
-fp t9658;
-fp t7661;
-fp t8665;
-fp t9657;
-fp t7861;
-fp t8677;
-fp t9656;
-fp t9018;
-fp t7984;
-fp t9655;
-fp t9654;
-fp t8652;
-fp t9227;
-fp t9653;
-fp t7847;
-fp t9652;
-fp t8692;
-fp t9651;
-fp t8595;
-fp t9432;
-fp t9362;
-fp t7273;
-fp t9650;
-fp t9367;
-fp t9649;
-fp t9439;
-fp t7344;
-fp t9322;
-fp t9648;
-fp t7958;
-fp t9647;
-fp t8589;
-fp t9297;
-fp t8925;
-fp t8535;
-fp t9302;
-fp t9222;
-fp t7195;
-fp t9646;
-fp t9645;
-fp t8539;
-fp t8903;
-fp t8534;
-fp t7059;
-fp t9644;
-fp t9643;
-fp t7044;
-fp t9241;
-fp t9642;
-fp t9089;
-fp t7073;
-fp t8891;
-fp t9641;
-fp t7609;
-fp t9640;
-fp t9639;
-fp t9638;
-fp t8585;
-fp t8563;
-fp t7757;
-fp t9637;
-fp t9636;
-fp t8954;
-fp t9635;
-fp t7862;
-fp t9634;
-fp t7630;
-fp t7565;
-fp t9633;
-fp t9632;
-fp t9196;
-fp t7090;
-fp t9631;
-fp t8063;
-fp t9215;
-fp t9630;
-fp t9015;
-fp t9296;
-fp t8933;
-fp t7225;
-fp t9629;
-fp t8907;
-fp t9628;
-fp t9250;
-fp t8236;
-fp t9627;
-fp t9213;
-fp t7051;
-fp t9323;
-fp t8979;
-fp t9626;
-fp t7905;
-fp t9248;
-fp t9625;
-fp t9624;
-fp t7479;
-fp t9623;
-fp t9404;
-fp t9622;
-fp t7543;
-fp t9403;
-fp t9621;
-fp t9211;
-fp t8094;
-fp t8913;
-fp t9620;
-fp t9267;
-fp t9201;
-fp t6982;
-fp t9619;
-fp t8554;
-fp t9618;
-fp t9096;
-fp t7518;
-fp t9617;
-fp t9616;
-fp t7617;
-fp t7331;
-fp t9615;
-fp t9091;
-fp t9614;
-fp t7264;
-fp t9223;
-fp t9613;
-fp t8921;
-fp t7231;
-fp t9612;
-fp t9197;
-fp t8045;
-fp t9187;
-fp t9611;
-fp t8986;
-fp t9610;
-fp t9609;
-fp t8611;
-fp t9034;
-fp t7149;
-fp t9608;
-fp t7095;
-fp t9607;
-fp t8538;
-fp t7571;
-fp t8648;
-fp t9606;
-fp t7428;
-fp t9605;
-fp t8915;
-fp t9604;
-fp t9603;
-fp t8515;
-fp t7142;
-fp t9602;
-fp t9206;
-fp t7859;
-fp t9601;
-fp t9274;
-fp t8901;
-fp t9600;
-fp t8932;
-fp t7274;
-fp t9599;
-fp t9400;
-fp t9598;
-fp t9354;
-fp t9597;
-fp t9596;
-fp t7949;
-fp t8893;
-fp t9595;
-fp t9071;
-fp t7896;
-fp t9594;
-fp t7056;
-fp t9593;
-fp t9592;
-fp t9175;
-fp t9083;
-fp t9591;
-fp t8486;
-fp t9590;
-fp t7962;
-fp t9589;
-fp t7528;
-fp t8647;
-fp t9588;
-fp t9587;
-fp t9194;
-fp t8911;
-fp t9586;
-fp t8581;
-fp t8565;
-fp t7549;
-fp t9585;
-fp t7381;
-fp t9584;
-fp t7979;
-fp t8489;
-fp t9583;
-fp t8476;
-fp t8574;
-fp t8636;
-fp t9582;
-fp t8623;
-fp t7747;
-fp t8660;
-fp t8584;
-fp t9581;
-fp t8990;
-fp t8997;
-fp t7585;
-fp t9580;
-fp t9579;
-fp t9216;
-fp t9578;
-fp t9068;
-fp t9577;
-fp t8685;
-fp t9312;
-fp t9073;
-fp t7967;
-fp t8505;
-fp t9027;
-fp t6992;
-fp t9576;
-fp t7777;
-fp t9575;
-fp t9325;
-fp t8982;
-fp t9574;
-fp t8080;
-fp t9573;
-fp t8688;
-fp t8675;
-fp t8191;
-fp t9572;
-fp t8690;
-fp t9571;
-fp t9341;
-fp t8093;
-fp t6914;
-fp t9570;
-fp t9305;
-fp t9038;
-fp t8059;
-fp t9067;
-fp t7081;
-fp t9569;
-fp t8491;
-fp t7412;
-fp t8543;
-fp t9568;
-fp t9217;
-fp t8944;
-fp t7102;
-fp t9567;
-fp t7019;
-fp t9566;
-fp t8069;
-fp t9565;
-fp t7901;
-fp t9564;
-fp t9380;
-fp t8967;
-fp t7256;
-fp t9181;
-fp t7715;
-fp t9563;
-fp t7845;
-fp t9313;
-fp t9043;
-fp t9562;
-fp t8520;
-fp t9561;
-fp t8142;
-fp t9560;
-fp t8607;
-fp t8529;
-fp t8606;
-fp t9559;
-fp t7959;
-fp t9558;
-fp t8642;
-fp t9411;
-fp t9557;
-fp t9039;
-fp t8573;
-fp t8987;
-fp t7213;
-fp t9556;
-fp t7822;
-fp t9555;
-fp t7312;
-fp t9554;
-fp t7478;
-fp t9553;
-fp t7166;
-fp t9021;
-fp t9552;
-fp t9418;
-fp t9345;
-fp t8906;
-fp t7080;
-fp t8899;
-fp t9551;
-fp t9122;
-fp t9550;
-fp t9219;
-fp t9549;
-fp t9548;
-fp t8536;
-fp t7908;
-fp t9547;
-fp t7382;
-fp t9546;
-fp t9188;
-fp t9378;
-fp t9013;
-fp t9545;
-fp t9005;
-fp t9544;
-fp t9543;
-fp t9252;
-fp t7173;
-fp t9542;
-fp t7156;
-fp t9065;
-fp t9541;
-fp t7729;
-fp t9540;
-fp t8964;
-fp t7161;
-fp t8934;
-fp t9539;
-fp t8498;
-fp t8627;
-fp t9538;
-fp t8081;
-fp t9537;
-fp t7067;
-fp t8196;
-fp t8900;
-fp t9536;
-fp t7345;
-fp t9239;
-fp t7279;
-fp t9372;
-fp t9000;
-fp t9535;
-fp t8971;
-fp t9534;
-fp t9533;
-fp t9012;
-fp t8189;
-fp t9532;
-fp t8149;
-fp t9531;
-fp t9246;
-fp t8062;
-fp t9530;
-fp t9204;
-fp t9529;
-fp t9528;
-fp t9527;
-fp t7758;
-fp t9024;
-fp t9526;
-fp t9178;
-fp t9315;
-fp t9042;
-fp t9525;
-fp t8071;
-fp t9524;
-fp t9290;
-fp t8981;
-fp t8121;
-fp t7065;
-fp t9523;
-fp t9368;
-fp t8895;
-fp t9522;
-fp t9521;
-fp t9520;
-fp t9519;
-fp t8687;
-fp t7833;
-fp t9518;
-fp t9326;
-fp t8984;
-fp t9033;
-fp t9517;
-fp t8683;
-fp t9516;
-fp t9515;
-fp t7131;
-fp t9179;
-fp t9514;
-fp t9513;
-fp t9011;
-fp t7547;
-fp t9245;
-fp t9512;
-fp t9511;
-fp t8388;
-fp t9510;
-fp t7415;
-fp t9509;
-fp t8508;
-fp t8651;
-fp t9282;
-fp t8503;
-fp t9508;
-fp t9507;
-fp t9506;
-fp t8617;
-fp t8493;
-fp t9240;
-fp t7935;
-fp t9505;
-fp t7584;
-fp t9504;
-fp t9331;
-fp t8376;
-fp t9113;
-fp t9503;
-fp t8706;
-fp t8479;
-fp t9502;
-fp t9208;
-fp t8528;
-fp t9501;
-fp t8572;
-fp t8500;
-fp t7855;
-fp t9500;
-fp t9499;
-fp t8028;
-fp t8038;
-fp t9498;
-fp t9289;
-fp t9497;
-fp t9496;
-fp t8931;
-fp t9495;
-fp t8541;
-fp t9494;
-fp t8678;
-fp t9493;
-fp t9492;
-fp t8527;
-fp t8241;
-fp t9491;
-fp t9084;
-fp t9490;
-fp t8656;
-fp t8917;
-fp t8512;
-fp t7525;
-fp t9489;
-fp t8951;
-fp t9488;
-fp t9487;
-fp t8894;
-fp t9486;
-fp t8393;
-fp t9485;
-fp t9231;
-fp t9484;
-fp t8977;
-fp t9483;
-fp t9482;
-fp t9481;
-fp t9480;
-fp t9479;
-fp t9478;
-fp t9477;
-fp t8078;
-fp t9476;
-fp t9189;
-fp t9475;
-fp t7263;
-fp t9474;
-fp t9283;
-fp t9473;
-fp t9234;
-fp t8657;
-fp t7301;
-fp t9472;
-fp t8523;
-fp t8215;
-fp t9471;
-fp t8482;
-fp t8721;
-fp t8654;
-fp t9470;
-fp t9207;
-fp t8198;
-fp t7689;
-fp t9469;
-fp t8519;
-fp t8011;
-fp t9468;
-fp t9467;
-fp t9182;
-fp t7007;
-fp t9466;
-fp t8546;
-fp t9465;
-fp t7507;
-fp t9464;
-fp t9463;
-fp t8009;
-fp t6949;
-fp t9462;
-fp t8974;
-fp t9258;
-fp t9461;
-fp t9460;
-fp t7623;
-fp t8104;
-fp t9459;
-fp t7554;
-fp t9458;
-fp t7430;
-fp t9303;
-fp t8988;
-fp t9457;
-fp t9456;
-fp t9455;
-fp t8592;
-fp t7239;
-fp t9454;
-fp t8558;
-fp t8568;
-fp t8646;
-fp t9453;
-fp t7568;
-fp t9004;
-fp t7275;
-fp t9452;
-fp t9451;
-fp t8567;
-fp t9052;
-fp t8502;
-fp t9450;
-fp t9150;
-fp t9449;
-fp t9448;
-fp t7526;
-fp t9447;
-fp t8055;
-fp t9446;
-fp t7319;
-fp t9445;
-fp t9444;
-fp t9443;
-fp t8916;
-fp t7846;
-fp t8920;
-fp t7699;
-fp t9442;
-fp t9441;
-fp t7005;
-fp t9440;
-fp t9434;
-fp t9431;
-fp t9428;
-fp t9427;
-fp t9425;
-fp t9424;
-fp t8718;
-fp t9422;
-fp t9420;
-fp t9416;
-fp t9415;
-fp t9184;
-fp t7177;
-fp t8970;
-fp t9412;
-fp t9410;
-fp t9408;
-fp t9406;
-fp t9199;
-fp t7514;
-fp t9402;
-fp t7464;
-fp t9395;
-fp t9393;
-fp t7282;
-fp t9392;
-fp t9390;
-fp t9389;
-fp t7378;
-fp t7472;
-fp t9387;
-fp t9385;
-fp t7027;
-fp t9384;
-fp t7634;
-fp t9382;
-fp t7300;
-fp t7219;
-fp t9381;
-fp t9379;
-fp t7370;
-fp t9376;
-fp t9375;
-fp t9374;
-fp t7711;
-fp t9371;
-fp t7094;
-fp t9053;
-fp t9366;
-fp t7053;
-fp t9360;
-fp t9359;
-fp t9357;
-fp t9355;
-fp t9349;
-fp t8667;
-fp t9347;
-fp t9344;
-fp t8625;
-fp t9343;
-fp t7229;
-fp t7795;
-fp t9340;
-fp t8938;
-fp t7329;
-fp t7293;
-fp t9338;
-fp t9336;
-fp t9335;
-fp t8576;
-fp t9334;
-fp t9333;
-fp t7281;
-fp t9332;
-fp t9269;
-fp t8983;
-fp t6967;
-fp t7061;
-fp t9327;
-fp t7993;
-fp t6958;
-fp t9324;
-fp t8668;
-fp t9318;
-fp t9317;
-fp t8935;
-fp t7710;
-fp t9314;
-fp t9309;
-fp t9307;
-fp t9301;
-fp t9300;
-fp t7582;
-fp t9298;
-fp t7112;
-fp t9295;
-fp t9288;
-fp t7206;
-fp t9287;
-fp t9286;
-fp t9285;
-fp t9284;
-fp t9276;
-fp t7779;
-fp t9272;
-fp t8672;
-fp t9271;
-fp t8640;
-fp t9268;
-fp t9266;
-fp t9261;
-fp t9257;
-fp t9254;
-fp t9244;
-fp t9243;
-fp t9242;
-fp t9238;
-fp t9229;
-fp t9221;
-fp t9220;
-fp t8371;
-fp t9186;
-fp t9183;
-fp t9180;
-fp t9174;
-fp t9173;
-fp t6965;
-fp t9172;
-fp t9171;
-fp t7098;
-fp t6990;
-fp t9170;
-fp t9169;
-fp t9168;
-fp t9167;
-fp t9166;
-fp t9165;
-fp t9164;
-fp t9163;
-fp t9162;
-fp t8542;
-fp t9161;
-fp t9159;
-fp t7841;
-fp t9158;
-fp t9157;
-fp t9156;
-fp t9155;
-fp t9154;
-fp t9153;
-fp t7192;
-fp t7207;
-fp t9152;
-fp t9151;
-fp t7564;
-fp t9149;
-fp t9148;
-fp t8918;
-fp t9147;
-fp t7490;
-fp t9145;
-fp t9143;
-fp t9142;
-fp t9138;
-fp t9136;
-fp t9135;
-fp t7492;
-fp t9133;
-fp t9132;
-fp t9131;
-fp t7242;
-fp t9130;
-fp t9129;
-fp t9128;
-fp t9127;
-fp t8242;
-fp t9126;
-fp t7455;
-fp t7965;
-fp t9125;
-fp t9124;
-fp t9123;
-fp t9121;
-fp t9120;
-fp t9119;
-fp t9118;
-fp t8930;
-fp t9117;
-fp t9116;
-fp t9115;
-fp t9114;
-fp t9112;
-fp t9111;
-fp t9110;
-fp t9109;
-fp t9108;
-fp t9107;
-fp t9106;
-fp t9105;
-fp t7178;
-fp t7182;
-fp t9104;
-fp t9103;
-fp t9102;
-fp t9101;
-fp t9099;
-fp t9098;
-fp t9097;
-fp t8495;
-fp t6913;
-fp t9094;
-fp t9093;
-fp t8132;
-fp t8655;
-fp t8134;
-fp t9092;
-fp t9090;
-fp t9088;
-fp t9087;
-fp t9086;
-fp t9085;
-fp t7342;
-fp t9082;
-fp t9081;
-fp t7018;
-fp t9080;
-fp t9078;
-fp t9077;
-fp t9076;
-fp t9074;
-fp t9070;
-fp t9069;
-fp t9066;
-fp t9064;
-fp t8580;
-fp t9063;
-fp t7109;
-fp t9061;
-fp t9058;
-fp t9056;
-fp t9055;
-fp t9054;
-fp t9050;
-fp t9049;
-fp t7806;
-fp t9048;
-fp t9047;
-fp t9044;
-fp t9041;
-fp t9040;
-fp t9037;
-fp t7738;
-fp t9035;
-fp t9031;
-fp t9030;
-fp t9029;
-fp t9028;
-fp t7992;
-fp t9026;
-fp t9025;
-fp t9023;
-fp t9022;
-fp t9020;
-fp t9019;
-fp t9017;
-fp t9008;
-fp t9007;
-fp t8998;
-fp t8996;
-fp t8995;
-fp t8992;
-fp t8991;
-fp t8989;
-fp t8985;
-fp t8980;
-fp t8697;
-fp t8472;
-fp t8978;
-fp t8975;
-fp t8629;
-fp t8417;
-fp t8963;
-fp t8962;
-fp t8959;
-fp t7373;
-fp t8958;
-fp t8953;
-fp t8949;
-fp t8946;
-fp t8945;
-fp t8941;
-fp t8939;
-fp t8929;
-fp t8927;
-fp t8926;
-fp t8923;
-fp t7395;
-fp t8914;
-fp t8912;
-fp t8909;
-fp t8908;
-fp t8896;
-fp t8892;
-fp t8889;
-fp t8887;
-fp t8644;
-fp t8886;
-fp t8484;
-fp t8570;
-fp t8885;
-fp t8619;
-fp t8483;
-fp t8884;
-fp t8555;
-fp t8883;
-fp t8522;
-fp t8663;
-fp t8882;
-fp t8639;
-fp t8881;
-fp t8637;
-fp t8880;
-fp t8879;
-fp t8700;
-fp t8878;
-fp t8877;
-fp t8586;
-fp t8876;
-fp t8710;
-fp t8875;
-fp t8874;
-fp t8872;
-fp t8871;
-fp t8870;
-fp t7652;
-fp t8869;
-fp t7619;
-fp t8868;
-fp t7220;
-fp t8867;
-fp t7288;
-fp t7664;
-fp t8866;
-fp t8865;
-fp t8864;
-fp t8863;
-fp t8862;
-fp t8684;
-fp t8861;
-fp t8719;
-fp t8860;
-fp t8708;
-fp t8859;
-fp t8858;
-fp t8857;
-fp t8856;
-fp t8643;
-fp t8705;
-fp t8855;
-fp t8854;
-fp t8604;
-fp t8853;
-fp t8561;
-fp t8852;
-fp t8851;
-fp t8850;
-fp t8849;
-fp t8848;
-fp t8847;
-fp t8846;
-fp t8845;
-fp t8844;
-fp t8843;
-fp t8842;
-fp t8841;
-fp t8840;
-fp t8839;
-fp t8838;
-fp t8837;
-fp t8836;
-fp t8835;
-fp t8834;
-fp t8833;
-fp t8723;
-fp t8832;
-fp t8831;
-fp t8830;
-fp t8829;
-fp t8828;
-fp t8827;
-fp t8826;
-fp t8825;
-fp t8824;
-fp t8822;
-fp t8821;
-fp t8820;
-fp t8819;
-fp t7367;
-fp t8818;
-fp t7714;
-fp t8817;
-fp t8816;
-fp t8815;
-fp t8814;
-fp t8813;
-fp t6970;
-fp t8812;
-fp t8811;
-fp t8810;
-fp t8809;
-fp t8808;
-fp t8807;
-fp t8806;
-fp t8805;
-fp t8804;
-fp t8803;
-fp t8802;
-fp t8801;
-fp t8653;
-fp t8714;
-fp t8800;
-fp t7485;
-fp t8799;
-fp t8798;
-fp t8797;
-fp t7068;
-fp t8796;
-fp t8795;
-fp t8794;
-fp t8793;
-fp t8792;
-fp t8176;
-fp t8791;
-fp t8790;
-fp t7079;
-fp t8789;
-fp t8788;
-fp t8787;
-fp t8786;
-fp t7152;
-fp t8785;
-fp t8784;
-fp t8603;
-fp t7790;
-fp t8783;
-fp t8782;
-fp t7230;
-fp t8781;
-fp t7038;
-fp t8780;
-fp t8779;
-fp t8778;
-fp t7404;
-fp t8777;
-fp t8776;
-fp t8775;
-fp t7546;
-fp t8774;
-fp t8540;
-fp t7289;
-fp t8773;
-fp t8686;
-fp t8772;
-fp t8771;
-fp t8492;
-fp t8770;
-fp t8514;
-fp t8699;
-fp t8485;
-fp t8769;
-fp t8768;
-fp t8767;
-fp t8766;
-fp t7834;
-fp t8765;
-fp t8764;
-fp t8246;
-fp t8763;
-fp t8762;
-fp t7011;
-fp t8632;
-fp t8761;
-fp t8760;
-fp t8759;
-fp t8758;
-fp t8689;
-fp t8757;
-fp t8756;
-fp t8755;
-fp t8754;
-fp t8753;
-fp t8752;
-fp t8751;
-fp t8750;
-fp t8749;
-fp t8748;
-fp t8747;
-fp t8746;
-fp t8745;
-fp t8744;
-fp t8743;
-fp t8207;
-fp t8742;
-fp t8741;
-fp t8740;
-fp t8739;
-fp t8738;
-fp t8737;
-fp t8736;
-fp t8735;
-fp t8734;
-fp t8733;
-fp t8720;
-fp t8717;
-fp t8716;
-fp t8715;
-fp t8712;
-fp t8711;
-fp t8707;
-fp t8681;
-fp t8680;
-fp t8649;
-fp t8631;
-fp t8605;
-fp t8602;
-fp t8594;
-fp t8588;
-fp t8577;
-fp t8556;
-fp t8550;
-fp t8537;
-fp t8526;
-fp t8517;
-fp t8510;
-fp t8499;
-fp t8494;
-fp t8481;
-fp t8480;
-fp t8478;
-fp t8304;
-fp t8302;
-fp t8301;
-fp t8299;
-fp t8293;
-fp t8290;
-fp t8289;
-fp t8288;
-fp t8285;
-fp t8283;
-fp t8281;
-fp t8280;
-fp t8266;
-fp t8262;
-fp t8261;
-fp t8260;
-fp t8256;
-fp t8250;
-fp t8240;
-fp t8235;
-fp t8232;
-fp t8228;
-fp t8227;
-fp t8224;
-fp t8222;
-fp t8220;
-fp t8211;
-fp t8209;
-fp t8208;
-fp t8205;
-fp t8204;
-fp t8199;
-fp t8197;
-fp t8192;
-fp t8190;
-fp t8185;
-fp t8174;
-fp t8173;
-fp t8170;
-fp t8166;
-fp t8165;
-fp t8158;
-fp t8157;
-fp t8151;
-fp t8148;
-fp t8147;
-fp t8145;
-fp t8140;
-fp t8131;
-fp t8126;
-fp t8123;
-fp t8119;
-fp t8118;
-fp t8115;
-fp t8113;
-fp t8109;
-fp t8106;
-fp t8102;
-fp t8096;
-fp t8092;
-fp t8090;
-fp t8082;
-fp t8079;
-fp t8077;
-fp t8076;
-fp t8075;
-fp t8073;
-fp t8067;
-fp t8066;
-fp t8065;
-fp t8060;
-fp t8053;
-fp t8052;
-fp t8043;
-fp t8032;
-fp t8018;
-fp t8016;
-fp t8005;
-fp t8004;
-fp t7999;
-fp t7997;
-fp t7994;
-fp t7988;
-fp t7987;
-fp t7980;
-fp t7978;
-fp t7973;
-fp t7971;
-fp t7970;
-fp t7969;
-fp t7956;
-fp t7954;
-fp t7946;
-fp t7945;
-fp t7942;
-fp t7940;
-fp t7939;
-fp t7934;
-fp t7932;
-fp t7931;
-fp t7930;
-fp t7925;
-fp t7923;
-fp t7911;
-fp t7907;
-fp t7904;
-fp t7899;
-fp t7898;
-fp t7894;
-fp t7891;
-fp t7890;
-fp t7883;
-fp t7880;
-fp t7878;
-fp t7874;
-fp t7869;
-fp t7868;
-fp t7867;
-fp t7860;
-fp t7856;
-fp t7853;
-fp t7851;
-fp t7844;
-fp t7837;
-fp t7836;
-fp t7835;
-fp t7830;
-fp t7829;
-fp t7821;
-fp t7819;
-fp t7818;
-fp t7816;
-fp t7812;
-fp t7810;
-fp t7805;
-fp t7803;
-fp t7801;
-fp t7798;
-fp t7781;
-fp t7780;
-fp t7774;
-fp t7770;
-fp t7767;
-fp t7766;
-fp t7763;
-fp t7761;
-fp t7759;
-fp t7756;
-fp t7754;
-fp t7753;
-fp t7741;
-fp t7735;
-fp t7725;
-fp t7713;
-fp t7708;
-fp t7706;
-fp t7702;
-fp t7697;
-fp t7695;
-fp t7691;
-fp t7685;
-fp t7680;
-fp t7679;
-fp t7676;
-fp t7673;
-fp t7662;
-fp t7658;
-fp t7651;
-fp t7648;
-fp t7640;
-fp t7631;
-fp t7629;
-fp t7628;
-fp t7626;
-fp t7625;
-fp t7618;
-fp t7614;
-fp t7613;
-fp t7612;
-fp t7607;
-fp t7606;
-fp t7603;
-fp t7583;
-fp t7581;
-fp t7580;
-fp t7579;
-fp t7577;
-fp t7576;
-fp t7566;
-fp t7553;
-fp t7545;
-fp t7540;
-fp t7539;
-fp t7537;
-fp t7535;
-fp t7524;
-fp t7522;
-fp t7520;
-fp t7515;
-fp t7506;
-fp t7504;
-fp t7503;
-fp t7500;
-fp t7497;
-fp t7493;
-fp t7491;
-fp t7488;
-fp t7486;
-fp t7482;
-fp t7477;
-fp t7476;
-fp t7475;
-fp t7474;
-fp t7473;
-fp t7469;
-fp t7468;
-fp t7466;
-fp t7460;
-fp t7452;
-fp t7449;
-fp t7445;
-fp t7441;
-fp t7438;
-fp t7436;
-fp t7425;
-fp t7424;
-fp t7422;
-fp t7414;
-fp t7406;
-fp t7405;
-fp t7401;
-fp t7375;
-fp t7364;
-fp t7360;
-fp t7359;
-fp t7357;
-fp t7355;
-fp t7353;
-fp t7349;
-fp t7346;
-fp t7338;
-fp t7332;
-fp t7323;
-fp t7318;
-fp t7311;
-fp t7310;
-fp t7304;
-fp t7296;
-fp t7290;
-fp t7286;
-fp t7283;
-fp t7278;
-fp t7267;
-fp t7266;
-fp t7258;
-fp t7250;
-fp t7245;
-fp t7233;
-fp t7228;
-fp t7227;
-fp t7224;
-fp t7215;
-fp t7214;
-fp t7205;
-fp t7204;
-fp t7202;
-fp t7191;
-fp t7189;
-fp t7188;
-fp t7186;
-fp t7185;
-fp t7183;
-fp t7167;
-fp t7164;
-fp t7158;
-fp t7157;
-fp t7147;
-fp t7140;
-fp t7129;
-fp t7108;
-fp t7107;
-fp t7106;
-fp t7097;
-fp t7093;
-fp t7087;
-fp t7072;
-fp t7071;
-fp t7070;
-fp t7058;
-fp t7049;
-fp t7046;
-fp t7039;
-fp t7036;
-fp t7034;
-fp t7031;
-fp t7030;
-fp t7028;
-fp t7025;
-fp t7010;
-fp t7008;
-fp t7006;
-fp t7003;
-fp t6996;
-fp t6991;
-fp t6989;
-fp t6983;
-fp t6966;
-fp t6956;
-fp t6948;
-fp t6943;
-fp t6942;
-fp t6934;
-fp t6924;
-fp t6916;
-      t8729 = x*x;
-      t8728 = y*y;
-      t9398 = t8729*t8728;
-      t8727 = z*z;
-      t8725 = z*t8727;
-      t9435 = z+t8725;
-      t9783 = t9398*t9435;
-      t8724 = t8729*x;
-      t9430 = t8724+x;
-      t9352 = t8727*t8728;
-      t9791 = t9430*t9352;
-      t8726 = t8728*y;
-      t9421 = t8726+y;
-      t8615 = RATIONAL(1.0,144.0);
-      t9319 = t8724*t8615;
-      t9356 = t8724*t8727;
-      t8566 = RATIONAL(-7.0,432.0);
-      t8936 = t8566*t9356;
-      t9790 = t8936+t9319;
-      t9294 = t8729*t8727;
-      t9059 = t8726*t9294;
-      t9249 = y*t9294;
-      t9781 = t9059+t9249;
-      t9330 = t8724*t8728;
-      t9072 = t8727*t9330;
-      t9260 = x*t9352;
-      t9789 = t9072+t9260;
-      t8608 = RATIONAL(-1.0,144.0);
-      t9292 = t8724*t8608;
-      t8583 = RATIONAL(7.0,432.0);
-      t8948 = t8583*t9330;
-      t9788 = t8948+t9292;
-      t8993 = t9421*t8727;
-      t8722 = RATIONAL(1.0,9.0);
-      t9265 = t8724*t8722;
-      t8624 = RATIONAL(-7.0,27.0);
-      t9280 = t8724*t8624;
-      t9787 = t8727*t9280+t9265;
-      t9346 = t8608*t8726;
-      t9351 = t8729*t8726;
-      t8898 = t8583*t9351;
-      t9786 = t8898+t9346;
-      t9784 = t9294*t9421;
-      t8532 = RATIONAL(-49.0,432.0);
-      t9364 = t8725*t8728;
-      t8922 = t8532*t9364;
-      t8618 = RATIONAL(7.0,144.0);
-      t9293 = t8618*t8725;
-      t9782 = t9293+t8922;
-      t9780 = t9292+t8583*t9356;
-      t9255 = z*t9330;
-      t8552 = RATIONAL(-7.0,288.0);
-      t8501 = RATIONAL(-7.0,1728.0);
-      t9377 = t8501*t8724;
-      t9438 = y*z;
-      t6975 = t9377*t9438;
-      t9779 = t8552*t9255+t6975;
-      t8509 = RATIONAL(25.0,192.0);
-      t8937 = t8728*t9294;
-      t9369 = t8724*t8726;
-      t8488 = RATIONAL(-49.0,1728.0);
-      t9006 = t8488*t9369;
-      t6927 = t8725*t9006;
-      t9778 = t8509*t8937+t6927;
-      t8599 = RATIONAL(-49.0,54.0);
-      t8650 = RATIONAL(7.0,18.0);
-      t9273 = t8724*t8650;
-      t9777 = z*t9273+t8599*t9255;
-      t9230 = z*t9351;
-      t8662 = RATIONAL(-1.0,27.0);
-      t9429 = z*t8726;
-      t9308 = x*t9429;
-      t8244 = t8662*t9308;
-      t8674 = RATIONAL(5.0,72.0);
-      t9776 = t8244+t8674*t9230;
-      t9417 = x*t8728;
-      t8691 = RATIONAL(7.0,54.0);
-      t9195 = t8691*t9417;
-      t8628 = RATIONAL(-1.0,18.0);
-      t9278 = t8725*t8628;
-      t9775 = x*t9278+t8725*t9195;
-      t8626 = RATIONAL(-5.0,27.0);
-      t8693 = RATIONAL(4.0,27.0);
-      t8942 = t8693*t9369;
-      t7916 = z*t8942;
-      t9774 = t7916+t8626*t9230;
-      t9413 = t8725*y;
-      t9277 = x*t9413;
-      t8612 = RATIONAL(7.0,216.0);
-      t7666 = t8612*t9277;
-      t8630 = RATIONAL(-1.0,36.0);
-      t9426 = y*t8727;
-      t9210 = t8630*t9426;
-      t9773 = t7666+x*t9210;
-      t9383 = t8726*t8722;
-      t9409 = t8727*t8726;
-      t9176 = x*t9409;
-      t9772 = t8624*t9176+x*t9383;
-      t9396 = t8724*t8628;
-      t9232 = y*t9356;
-      t9771 = y*t9396+t8691*t9232;
-      t8679 = RATIONAL(-4.0,27.0);
-      t8511 = RATIONAL(35.0,108.0);
-      t9311 = t8729*t8725;
-      t9016 = t8726*t9311;
-      t9770 = t8511*t9072+t8679*t9016;
-      t8544 = RATIONAL(-7.0,144.0);
-      t9270 = t8544*t8726;
-      t8496 = RATIONAL(49.0,432.0);
-      t9769 = x*t9270+t8496*t9176;
-      t8940 = t8628*t9356;
-      t8597 = RATIONAL(-1.0,108.0);
-      t9279 = t8597*t8724;
-      t9177 = z*t9279;
-      t7260 = t8726*t9177;
-      t9768 = t8726*t8940+t7260;
-      t8682 = RATIONAL(1.0,27.0);
-      t9373 = t8682*t9438;
-      t8214 = x*t9373;
-      t8557 = RATIONAL(-25.0,24.0);
-      t9767 = t8557*t8937+t8214;
-      t8701 = RATIONAL(-8.0,9.0);
-      t9337 = t8725*t8701;
-      t8569 = RATIONAL(56.0,27.0);
-      t9256 = x*t9364;
-      t9766 = t8569*t9256+x*t9337;
-      t9765 = t9787*y;
-      t9329 = t8662*t8724;
-      t8168 = t9329*t9438;
-      t9764 = t8168+t8674*t9255;
-      t9423 = t8724*y;
-      t9226 = t8612*t9423;
-      t7409 = t8725*t9226;
-      t9310 = t8724*t8725;
-      t8968 = t8728*t9310;
-      t8521 = RATIONAL(-35.0,576.0);
-      t9763 = t8521*t8968+t7409;
-      t8666 = RATIONAL(5.0,54.0);
-      t9419 = t8729*y;
-      t9202 = t8666*t9419;
-      t8658 = RATIONAL(-2.0,27.0);
-      t9225 = t8658*t9423;
-      t8167 = z*t9225;
-      t9762 = z*t9202+t8167;
-      t8490 = RATIONAL(-343.0,432.0);
-      t8524 = RATIONAL(49.0,144.0);
-      t9281 = t8725*t8524;
-      t9761 = t8726*t9281+t8490*t9016;
-      t8670 = RATIONAL(-7.0,36.0);
-      t8613 = RATIONAL(-7.0,216.0);
-      t9218 = t8613*t9429;
-      t7621 = x*t9218;
-      t9760 = t7621+t8670*t9230;
-      t8610 = RATIONAL(-7.0,108.0);
-      t8919 = t8610*t9356;
-      t7632 = t8726*t8919;
-      t9348 = t8729*t8674;
-      t8904 = t8728*t9348;
-      t9759 = t7632+t8725*t8904;
-      t8506 = RATIONAL(-49.0,864.0);
-      t9191 = z*t9369;
-      t8487 = RATIONAL(49.0,1728.0);
-      t6963 = t8487*t9191;
-      t9032 = t8726*t9356;
-      t9758 = t8506*t9032+t6963;
-      t8633 = RATIONAL(7.0,36.0);
-      t7745 = z*t9226;
-      t9757 = t8633*t9255+t7745;
-      t9436 = z*t8728;
-      t9235 = t8666*t9436;
-      t8218 = t8658*t9308;
-      t9756 = x*t9235+t8218;
-      t9259 = y*t9310;
-      t8614 = RATIONAL(7.0,108.0);
-      t7692 = t8614*t9259;
-      t8530 = RATIONAL(-35.0,432.0);
-      t9755 = t7692+t8530*t9232;
-      t8518 = RATIONAL(35.0,576.0);
-      t8890 = t8518*t9356;
-      t9247 = t8613*t9423;
-      t7494 = z*t9247;
-      t9754 = t7494+y*t8890;
-      t8593 = RATIONAL(-5.0,576.0);
-      t9320 = t8593*t8728;
-      t9062 = t8725*t9320;
-      t8504 = RATIONAL(7.0,1728.0);
-      t9363 = t8504*t8726;
-      t8999 = t8724*t9363;
-      t7084 = t8727*t8999;
-      t9753 = t7084+t8729*t9062;
-      t9209 = t8612*t9429;
-      t7765 = x*t9209;
-      t9752 = t8633*t9230+t7765;
-      t8477 = RATIONAL(245.0,432.0);
-      t8533 = RATIONAL(49.0,216.0);
-      t7198 = t8533*t9191;
-      t9751 = t7198+t8477*t9032;
-      t9391 = t8725*t8726;
-      t9190 = x*t9391;
-      t7573 = t8610*t9190;
-      t9002 = t8691*t9311;
-      t9750 = t7573+t8726*t9002;
-      t7778 = t8610*t9016;
-      t8516 = RATIONAL(35.0,144.0);
-      t9749 = t7778+t8516*t9072;
-      t8571 = RATIONAL(40.0,27.0);
-      t9212 = y*t9311;
-      t8559 = RATIONAL(-32.0,27.0);
-      t7385 = t8559*t9259;
-      t9748 = t8571*t9212+t7385;
-      t9353 = t8544*t8725;
-      t8924 = t8496*t9364;
-      t9747 = (t8924+t9353)*x;
-      t8548 = RATIONAL(1.0,108.0);
-      t9214 = t8548*t9426;
-      t8560 = RATIONAL(-1.0,216.0);
-      t9253 = t8560*t9413;
-      t7212 = x*t9253;
-      t9746 = t7212+x*t9214;
-      t8616 = RATIONAL(49.0,72.0);
-      t8669 = RATIONAL(-7.0,72.0);
-      t8897 = t8669*t9294;
-      t9745 = y*t8897+t8616*t9059;
-      t9141 = t8516*t9398;
-      t9744 = t7632+t8725*t9141;
-      t6984 = z*t8999;
-      t8582 = RATIONAL(-1.0,288.0);
-      t9743 = t6984+t8582*t9255;
-      t9299 = z*t9417;
-      t7876 = t8682*t9308;
-      t9742 = t8658*t9299+t7876;
-      t9741 = t9788*z;
-      t8513 = RATIONAL(-112.0,27.0);
-      t8664 = RATIONAL(16.0,9.0);
-      t9740 = t8664*t9310+t8513*t8968;
-      t7910 = t8624*t9308;
-      t8694 = RATIONAL(5.0,9.0);
-      t9739 = t7910+t8694*t9299;
-      t8549 = RATIONAL(35.0,54.0);
-      t8564 = RATIONAL(-14.0,27.0);
-      t7285 = t8564*t9190;
-      t9738 = t8549*t9176+t7285;
-      t9737 = t9786*z;
-      t8562 = RATIONAL(5.0,576.0);
-      t9228 = t8562*t9417;
-      t7194 = t8501*t9308;
-      t9736 = t7194+z*t9228;
-      t9394 = t8724*t8701;
-      t9735 = t8569*t9232+y*t9394;
-      t8902 = t8614*t9364;
-      t7727 = t8724*t8902;
-      t9734 = t8726*t8897+t7727;
-      t9733 = t8513*t9032+t8664*t9369;
-      t9137 = t8679*t9369;
-      t7842 = t8725*t9137;
-      t8525 = RATIONAL(25.0,108.0);
-      t9732 = t7842+t8525*t8937;
-      t8635 = RATIONAL(-1.0,54.0);
-      t8952 = t8635*t9351;
-      t7313 = t8548*t9190;
-      t9731 = t8725*t8952+t7313;
-      t7162 = t8533*t9259;
-      t9730 = t8670*t9232+t7162;
-      t9405 = z*t9419;
-      t9414 = t8560*z;
-      t9328 = y*t9414;
-      t7755 = t8724*t9328;
-      t9729 = t8548*t9405+t7755;
-      t7270 = t8597*t9308;
-      t8596 = RATIONAL(5.0,432.0);
-      t9361 = t8728*t8596;
-      t9185 = z*t9361;
-      t9728 = x*t9185+t7270;
-      t9727 = t8724*t8924+t8544*t9310;
-      t9342 = t8726*t8615;
-      t9726 = z*t9342+t8566*t9230;
-      t8709 = RATIONAL(8.0,9.0);
-      t9386 = t8725*t8709;
-      t8601 = RATIONAL(-56.0,27.0);
-      t9725 = y*t9386+t8601*t9212;
-      t8950 = t8635*t9364;
-      t9262 = t8548*t8724;
-      t9060 = t8725*t9262;
-      t7249 = y*t9060;
-      t9724 = t8724*t8950+t7249;
-      t9139 = t8726*t9310;
-      t8497 = RATIONAL(-49.0,108.0);
-      t6968 = t8497*t9139;
-      t9723 = RATIONAL(125.0,48.0)*t8937+t6968;
-      t9144 = t8511*t9398;
-      t9722 = t8679*t9032+t8725*t9144;
-      t9721 = t8490*t8968+t8724*t9281;
-      t8943 = t8691*t9330;
-      t9720 = (t8943+t9396)*z;
-      t8888 = t8626*t9364;
-      t8122 = t8725*t9225;
-      t9719 = t8122+t8724*t8888;
-      t8695 = RATIONAL(-1.0,9.0);
-      t9401 = t8695*t8725;
-      t8645 = RATIONAL(7.0,27.0);
-      t9304 = t8725*t8645;
-      t9198 = y*t9304;
-      t9718 = y*t9401+t8729*t9198;
-      t8702 = RATIONAL(4.0,9.0);
-      t9437 = x*z;
-      t8622 = RATIONAL(-28.0,27.0);
-      t9717 = t8622*t9299+t8702*t9437;
-      t9388 = t8727*t8582;
-      t9010 = t8726*t9388;
-      t8507 = RATIONAL(-1.0,1728.0);
-      t7203 = t8507*t9191;
-      t9716 = t8724*t9010+t7203;
-      t8598 = RATIONAL(7.0,288.0);
-      t8947 = t8598*t9330;
-      t6935 = z*t9006;
-      t9715 = z*t8947+t6935;
-      t8590 = RATIONAL(32.0,27.0);
-      t7458 = t8590*t9190;
-      t8591 = RATIONAL(-40.0,27.0);
-      t9714 = t8591*t9176+t7458;
-      t8698 = RATIONAL(7.0,6.0);
-      t9160 = t8728*t9311;
-      t8638 = RATIONAL(14.0,9.0);
-      t9713 = t8698*t9398+t8638*t9160;
-      t7641 = t8548*t8968;
-      t8545 = RATIONAL(-5.0,432.0);
-      t9397 = t8545*t8727;
-      t9009 = t8726*t9397;
-      t9712 = t8729*t9009+t7641;
-      t8203 = t8682*t9277;
-      t9711 = t8666*t9256+t8203;
-      t8551 = RATIONAL(49.0,27.0);
-      t8696 = RATIONAL(-7.0,9.0);
-      t9710 = t8551*t9016+t8696*t9391;
-      t7253 = t8726*t9060;
-      t9709 = t7253+t8610*t8937;
-      t7793 = t8560*t9308;
-      t9316 = t8728*t8548;
-      t9200 = z*t9316;
-      t9708 = t7793+x*t9200;
-      t9407 = z*t9423;
-      t8579 = RATIONAL(-16.0,27.0);
-      t7461 = t8579*t9407;
-      t8575 = RATIONAL(20.0,27.0);
-      t9707 = t8575*t9405+t7461;
-      t9233 = z*t9280;
-      t9706 = t8728*t9233+z*t9265;
-      t9705 = t8214+RATIONAL(-25.0,96.0)*t8937;
-      t9704 = y*t9353+t8496*t9212;
-      t8671 = RATIONAL(-5.0,54.0);
-      t9224 = t8671*t9419;
-      t8676 = RATIONAL(2.0,27.0);
-      t9237 = t8676*t9423;
-      t8091 = z*t9237;
-      t9703 = t8091+z*t9224;
-      t9702 = t8725*t9383+t8624*t9016;
-      t9701 = (t9278+t9002)*y;
-      t9350 = t8695*t8724;
-      t9700 = t8645*t9032+t8726*t9350;
-      t8036 = t8645*t9308;
-      t8704 = RATIONAL(-2.0,9.0);
-      t9699 = t8704*t9299+t8036;
-      t6957 = t8488*t9190;
-      t9698 = t6957+t8518*t9256;
-      t9264 = t8682*t8724;
-      t7968 = t9264*t9438;
-      t9697 = t8724*t9235+t7968;
-      t7788 = x*t9328;
-      t8659 = RATIONAL(5.0,36.0);
-      t9696 = t7788+t8659*t8937;
-      t9321 = t8728*t8566;
-      t9193 = z*t9321;
-      t9695 = t8724*t9193+z*t9319;
-      t8634 = RATIONAL(20.0,9.0);
-      t7690 = t8559*t9190;
-      t9694 = t8634*t9016+t7690;
-      t8547 = RATIONAL(-35.0,72.0);
-      t9036 = t8547*t9409;
-      t6985 = t8533*t9190;
-      t9693 = x*t9036+t6985;
-      t8641 = RATIONAL(-35.0,9.0);
-      t9339 = t8728*t8641;
-      t8363 = t8727*t9339;
-      t8621 = RATIONAL(-35.0,12.0);
-      t9692 = t8621*t9352+t8724*t8363;
-      t8587 = RATIONAL(-7.0,864.0);
-      t9306 = t8504*t8725;
-      t9203 = x*t9306;
-      t7122 = y*t9203;
-      t9691 = t8587*t9256+t7122;
-      t9365 = t8628*t8726;
-      t8399 = z*t9365;
-      t9690 = t8399+t8691*t9230;
-      t9689 = x*t9365+t8691*t9176;
-      t9079 = t8487*t9391;
-      t6926 = x*t9079;
-      t9057 = t8521*t9364;
-      t9688 = x*t9057+t6926;
-      t9399 = t8504*t8724;
-      t9236 = y*t9399;
-      t7035 = t8725*t9236;
-      t9687 = t8725*t8947+t7035;
-      t8609 = RATIONAL(14.0,27.0);
-      t7322 = t8609*t9191;
-      t8620 = RATIONAL(-35.0,36.0);
-      t9686 = t7322+t8620*t9032;
-      t9291 = t8725*t8615;
-      t9685 = t8566*t8968+t8724*t9291;
-      t9684 = t9787*t8726;
-      t8972 = t8626*t9311;
-      t8041 = t8693*t9259;
-      t9683 = y*t8972+t8041;
-      t9682 = RATIONAL(5.0,16.0)*t8937+t7788;
-      t9681 = x*t9386+t8601*t9256;
-      t8994 = t8614*t9351;
-      t7701 = t8725*t8994;
-      t9680 = t7701+t8669*t9072;
-      t9263 = t8724*t8696;
-      t9679 = t8551*t9032+t8726*t9263;
-      t9678 = t7788+RATIONAL(5.0,144.0)*t8937;
-      t8553 = RATIONAL(-49.0,27.0);
-      t8703 = RATIONAL(7.0,9.0);
-      t9358 = t8703*t8726;
-      t9677 = t8553*t9032+t8724*t9358;
-      t8531 = RATIONAL(-49.0,288.0);
-      t6946 = t8488*t9259;
-      t9676 = t8531*t8968+t6946;
-      t7809 = t8693*t9190;
-      t9675 = t7809+x*t8888;
-      t8578 = RATIONAL(1.0,864.0);
-      t9674 = t8507*t8968+t8578*t9059;
-      t9673 = t8566*t9016+t8726*t9291;
-      t9672 = t9790*y;
-      t7363 = t8590*t9191;
-      t9671 = t7363+t8591*t9255;
-      t8910 = t8496*t9356;
-      t9670 = t8724*t9270+t8726*t8910;
-      t7218 = t8560*t9190;
-      t9205 = x*t9316;
-      t7222 = t8725*t9205;
-      t9669 = t7218+t7222;
-      t8905 = t8659*t9330;
-      t9668 = t8725*t8905+t8122;
-      t8661 = RATIONAL(1.0,54.0);
-      t7839 = t8661*t8968;
-      t8973 = t8566*t9294;
-      t9667 = t7839+y*t8973;
-      t7037 = t8501*t9016;
-      t8600 = RATIONAL(5.0,288.0);
-      t9666 = t7037+t8600*t9072;
-      t9665 = t8566*t9212+y*t9291;
-      t8961 = t8587*t9330;
-      t9664 = t8725*t8961+t7035;
-      t9275 = t8613*t8727;
-      t8960 = t8729*t9275;
-      t9663 = t7641+t8726*t8960;
-      t8673 = RATIONAL(1.0,48.0);
-      t9662 = t6927+t8673*t8937;
-      t8928 = t8614*t9409;
-      t7499 = t8724*t8928;
-      t9075 = t8669*t9398;
-      t9661 = t7499+t8725*t9075;
-      t9251 = x*t8725*t8613;
-      t7693 = y*t9251;
-      t9660 = t7693+t8530*t9256;
-      t9003 = t8661*t9351;
-      t8006 = t8725*t9003;
-      t9433 = x*t8727;
-      t9192 = t8566*t9433;
-      t9659 = t8006+t8728*t9192;
-      t7020 = t8725*t8999;
-      t9658 = t8582*t8937+t7020;
-      t7661 = t8613*t9191;
-      t8665 = RATIONAL(1.0,36.0);
-      t9657 = t8665*t9230+t7661;
-      t7861 = z*t9137;
-      t8677 = RATIONAL(5.0,27.0);
-      t9656 = t8677*t9255+t7861;
-      t9018 = t8659*t9356;
-      t7984 = t8658*t9191;
-      t9655 = t8726*t9018+t7984;
-      t9654 = t8725*t9265+t8624*t8968;
-      t8652 = RATIONAL(-5.0,72.0);
-      t9227 = t8652*t9426;
-      t9653 = x*t9227+t7666;
-      t7847 = t8676*t9190;
-      t9652 = t7847+t8671*t9176;
-      t8692 = RATIONAL(1.0,18.0);
-      t9651 = t8692*t8968+t7249;
-      t8595 = RATIONAL(1.0,216.0);
-      t9432 = t8595*z;
-      t9362 = y*t9432;
-      t7273 = x*t9362;
-      t9650 = t7273+RATIONAL(5.0,108.0)*t8937;
-      t9367 = t8709*t8726;
-      t9649 = t8601*t9230+z*t9367;
-      t9439 = x*y;
-      t7344 = t8597*t9277;
-      t9322 = t8727*t8596;
-      t9648 = t7344+t9322*t9439;
-      t7958 = t8658*t9190;
-      t9647 = t8726*t8972+t7958;
-      t8589 = RATIONAL(-1.0,864.0);
-      t9297 = t8589*t8728;
-      t8925 = t8725*t9297;
-      t8535 = RATIONAL(1.0,1728.0);
-      t9302 = t8725*t8535;
-      t9222 = y*t9302;
-      t7195 = t8724*t9222;
-      t9646 = t8724*t8925+t7195;
-      t9645 = t7958+t8659*t9016;
-      t8539 = RATIONAL(35.0,72.0);
-      t8903 = t8539*t9409;
-      t8534 = RATIONAL(-49.0,216.0);
-      t7059 = t8534*t9190;
-      t9644 = x*t8903+t7059;
-      t9643 = t8725*t9358+t8553*t9016;
-      t7044 = t8507*t9277;
-      t9241 = t8582*t9417;
-      t9642 = t8725*t9241+t7044;
-      t9089 = t8726*t9302;
-      t7073 = t8724*t9089;
-      t8891 = t8727*t9297;
-      t9641 = t8729*t8891+t7073;
-      t7609 = t8622*t9139;
-      t9640 = RATIONAL(125.0,36.0)*t8937+t7609;
-      t9639 = t8566*t9256+x*t9291;
-      t9638 = t8569*t9255+z*t9394;
-      t8585 = RATIONAL(-25.0,18.0);
-      t8563 = RATIONAL(28.0,27.0);
-      t7757 = t8563*t9139;
-      t9637 = t7757+t8585*t8937;
-      t9636 = RATIONAL(-25.0,54.0)*t8937+t8214;
-      t8954 = t8674*t9352;
-      t9635 = t7778+t8724*t8954;
-      t7862 = t8725*t8942;
-      t9634 = t7862+t8599*t8937;
-      t7630 = t8727*t8898;
-      t7565 = t8597*t8968;
-      t9633 = t7630+t7565;
-      t9632 = x*t9342+t8566*t9176;
-      t9196 = z*t9363;
-      t7090 = x*t9196;
-      t9631 = z*t9241+t7090;
-      t8063 = t8662*t9277;
-      t9215 = t8674*t9417;
-      t9630 = t8063+t8725*t9215;
-      t9015 = t8724*t9275;
-      t9296 = t8548*t8725;
-      t8933 = t8729*t9296;
-      t7225 = t8726*t8933;
-      t9629 = t8728*t9015+t7225;
-      t8907 = t8728*t9304;
-      t9628 = t8724*t8907+t8695*t9310;
-      t9250 = t8724*z*t8645;
-      t8236 = y*t9250;
-      t9627 = t8549*t9232+t8236;
-      t9213 = t8507*t9423;
-      t7051 = t8725*t9213;
-      t9323 = t8578*t8727;
-      t8979 = t8724*t9323;
-      t9626 = y*t8979+t7051;
-      t7905 = t8658*t9277;
-      t9248 = t8666*t9433;
-      t9625 = t7905+y*t9248;
-      t9624 = t8490*t9032+t8524*t9369;
-      t7479 = t8590*t9259;
-      t9623 = t8591*t9232+t7479;
-      t9404 = t8695*t8726;
-      t9622 = z*t9404+t8645*t9230;
-      t7543 = t8579*t9277;
-      t9403 = x*t9426;
-      t9621 = t7543+t8575*t9403;
-      t9211 = t8679*t9413;
-      t8094 = t8724*t9211;
-      t8913 = t8677*t9356;
-      t9620 = t8094+y*t8913;
-      t9267 = t8507*t8726;
-      t9201 = z*t9267;
-      t6982 = x*t9201;
-      t9619 = t8578*t9230+t6982;
-      t8554 = RATIONAL(35.0,27.0);
-      t9618 = t7322+t8554*t9032;
-      t9096 = t8614*t9369;
-      t7518 = t8725*t9096;
-      t9617 = t7518+RATIONAL(-25.0,72.0)*t8937;
-      t9616 = (t9401+t8907)*x;
-      t7617 = t8724*t9200;
-      t7331 = t8560*t9191;
-      t9615 = t7617+t7331;
-      t9091 = t8624*t9398;
-      t9614 = t8670*t9398+t8725*t9091;
-      t7264 = y*t9177;
-      t9223 = t8729*z*t8596;
-      t9613 = y*t9223+t7264;
-      t8921 = t8635*t9356;
-      t7231 = t8548*t9191;
-      t9612 = t8726*t8921+t7231;
-      t9197 = t8624*t9413;
-      t8045 = x*t9197;
-      t9187 = t8694*t9433;
-      t9611 = t8045+y*t9187;
-      t8986 = t8725*t9267;
-      t9610 = t8728*t8979+t8729*t8986;
-      t9609 = t8725*t9270+t8496*t9016;
-      t8611 = RATIONAL(1.0,288.0);
-      t9034 = t8611*t9311;
-      t7149 = t8501*t9032;
-      t9608 = t7149+t8728*t9034;
-      t7095 = t8534*t9259;
-      t9607 = t8539*t9232+t7095;
-      t8538 = RATIONAL(16.0,27.0);
-      t7571 = t8538*t9308;
-      t8648 = RATIONAL(-10.0,9.0);
-      t9606 = t8648*t9230+t7571;
-      t7428 = RATIONAL(-64.0,27.0)*t9139;
-      t9605 = t7428+RATIONAL(245.0,27.0)*t8937;
-      t8915 = t8679*t9330;
-      t9604 = t8725*t8915+t8511*t9059;
-      t9603 = t8692*t9032+t7231;
-      t8515 = RATIONAL(49.0,108.0);
-      t7142 = t8515*t9139;
-      t9602 = t7142+RATIONAL(-175.0,48.0)*t8937;
-      t9206 = t8676*t9429;
-      t7859 = x*t9206;
-      t9601 = t7859+t8671*t9299;
-      t9274 = t8727*t8611;
-      t8901 = t8724*t9274;
-      t9600 = t7037+t8728*t8901;
-      t8932 = t8610*t9310;
-      t7274 = t8728*t8932;
-      t9599 = t7274+t8516*t9059;
-      t9400 = t8726*t8701;
-      t9598 = t8569*t9176+x*t9400;
-      t9354 = t8726*t8650;
-      t9597 = t8599*t9230+z*t9354;
-      t9596 = t7313+t8692*t9016;
-      t7949 = t8679*t9190;
-      t8893 = t8677*t9409;
-      t9595 = t7949+x*t8893;
-      t9071 = t8547*t9364;
-      t7896 = x*t9198;
-      t9594 = x*t9071+t7896;
-      t7056 = t8504*t9190;
-      t9593 = t8598*t9016+t7056;
-      t9592 = t9790*t8726;
-      t9175 = z*t9398;
-      t9083 = t8587*t9311;
-      t9591 = t8726*t8901+t8728*t9083+t8578*t9175;
-      t8486 = RATIONAL(-245.0,108.0);
-      t9590 = t8511*t9249+t8486*t9059+t8709*t8968;
-      t7962 = t8677*t8968;
-      t9589 = t8564*t9059+t7962+t8645*t9249;
-      t7528 = t8554*t9016;
-      t8647 = RATIONAL(-14.0,9.0);
-      t9588 = t7528+t8703*t9260+t8647*t9072;
-      t9587 = t8578*t9016+t9430*t8891;
-      t9194 = x*t9323;
-      t8911 = t8611*t9351;
-      t9586 = t8728*t9194+t8725*t8911+t8727*t8961;
-      t8581 = RATIONAL(-49.0,72.0);
-      t8565 = RATIONAL(35.0,36.0);
-      t7549 = t8565*t9016;
-      t9585 = t8581*t9072+t8696*t9260+t7549;
-      t7381 = t8565*t9032;
-      t9584 = t8581*t9160+t7381+t8696*t9175;
-      t7979 = t8650*t9016;
-      t8489 = RATIONAL(-245.0,144.0);
-      t9583 = t7979+t8516*t9260+t8489*t9072;
-      t8476 = RATIONAL(245.0,108.0);
-      t8574 = RATIONAL(70.0,27.0);
-      t8636 = RATIONAL(-20.0,9.0);
-      t9582 = t8574*t9260+t8476*t9072+t8636*t9016;
-      t8623 = RATIONAL(-35.0,27.0);
-      t7747 = t8623*t9032;
-      t8660 = RATIONAL(35.0,9.0);
-      t8584 = RATIONAL(-35.0,18.0);
-      t9581 = t8660*t9160+t7747+t8584*t9175;
-      t8990 = t8552*t9364;
-      t8997 = t8598*t9356;
-      t7585 = t8726*t8997;
-      t9580 = t8611*t9175+t8729*t8990+t7585;
-      t9579 = t8709*t9032+t8486*t9160+z*t9144;
-      t9216 = t8597*t9419;
-      t9578 = t8545*t8968+(t9216+t9003)*t8727;
-      t9068 = t8661*t9311;
-      t9577 = t8597*t9175+t8724*t9009+t8728*t9068;
-      t8685 = RATIONAL(-5.0,36.0);
-      t9312 = t8729*t8685;
-      t9073 = t8728*t9312;
-      t7967 = z*t8904;
-      t8505 = RATIONAL(35.0,432.0);
-      t9027 = t8505*t9409;
-      t6992 = t8724*t9027;
-      t9576 = t7967+t8725*t9073+t6992;
-      t7777 = t8623*t9016;
-      t9575 = t8584*t9260+t7777+t8660*t9072;
-      t9325 = t8589*t8727;
-      t8982 = t8726*t9325;
-      t9574 = t8729*t8982+t8578*t8968+t8589*t9249;
-      t8080 = t8724*t8893;
-      t9573 = t8080+t8666*t9175+t8729*t8888;
-      t8688 = RATIONAL(7.0,72.0);
-      t8675 = RATIONAL(-7.0,54.0);
-      t8191 = t8675*t8968;
-      t9572 = t8191+t8688*t9784;
-      t8690 = RATIONAL(5.0,12.0);
-      t9571 = t8690*t8937+t7273+t6968;
-      t9341 = t8662*t9438;
-      t8093 = x*t9341;
-      t6914 = RATIONAL(343.0,1728.0)*t9139;
-      t9570 = t8093+RATIONAL(-25.0,32.0)*t8937+t6914;
-      t9305 = t8652*t8728;
-      t9038 = t8727*t9305;
-      t8059 = x*t9038;
-      t9067 = t8521*t9330;
-      t7081 = t8518*t9016;
-      t9569 = t8059+t8727*t9067+t7081;
-      t8491 = RATIONAL(245.0,144.0);
-      t7412 = t8620*t9016;
-      t8543 = RATIONAL(35.0,18.0);
-      t9568 = t7412+t8491*t9072+t8543*t9260;
-      t9217 = t8630*t9417;
-      t8944 = t8530*t9311;
-      t7102 = t8726*t8944;
-      t9567 = t8727*t9217+t8692*t9072+t7102;
-      t7019 = t8530*t8968;
-      t9566 = t8692*t9059+t7019+t8729*t9210;
-      t8069 = t8650*t9032;
-      t9565 = t8069+z*t9141+t8489*t9160;
-      t7901 = t8685*t9016;
-      t9564 = t7901+t8727*t9195+t8728*t8910;
-      t9380 = t8727*t8674;
-      t8967 = t8726*t9380;
-      t7256 = t8595*t9308;
-      t9181 = t8560*t9417;
-      t7715 = z*t9181;
-      t9563 = t7256+t7715+t7274+t8729*t8967;
-      t7845 = t8677*t9016;
-      t9313 = t8626*t8727;
-      t9043 = t8724*t9313;
-      t9562 = t7845+(t9043+t9248)*t8728;
-      t8520 = RATIONAL(-25.0,144.0);
-      t9561 = t7701+t8729*t9341+t8520*t9072;
-      t8142 = t8675*t9016;
-      t9560 = t8142+t9789*t8688;
-      t8607 = RATIONAL(-70.0,27.0);
-      t8529 = RATIONAL(140.0,27.0);
-      t8606 = RATIONAL(-80.0,27.0);
-      t9559 = t8606*t9032+t8529*t9160+t8607*t9175;
-      t7959 = t8628*t8968;
-      t9558 = y*t8960+t8533*t9059+t7959;
-      t8642 = RATIONAL(5.0,96.0);
-      t9411 = t7755+t8729*t9362;
-      t9557 = t8642*t9072+t8488*t9016+t9411;
-      t9039 = t8582*t9311;
-      t8573 = RATIONAL(7.0,864.0);
-      t8987 = t8573*t9356;
-      t7213 = t8726*t8987;
-      t9556 = t8582*t9175+t8728*t9039+t7213;
-      t7822 = t8628*t9016;
-      t9555 = t8533*t9072+t8613*t9260+t7822;
-      t7312 = t8554*t8968;
-      t9554 = t8703*t9249+t8647*t9059+t7312;
-      t7478 = t8623*t8968;
-      t9553 = t7478+t8584*t9249+t8660*t9059;
-      t7166 = t8530*t9032;
-      t9021 = t8692*t9311;
-      t9552 = t7166+t8728*t9021+t8630*t9175;
-      t9418 = t8507*z;
-      t9345 = y*t9418;
-      t8906 = t8729*t9306;
-      t7080 = t8726*t8906;
-      t8899 = t8728*t9292;
-      t9551 = t8727*t8899+t8729*t9345+t7080;
-      t9122 = t8520*t9398;
-      t9550 = t7499+t8725*t9122+t8662*t9403;
-      t9219 = t8597*t9417;
-      t9549 = t8661*t9072+t8727*t9219+t8545*t9016;
-      t9548 = t8574*t9175+t8636*t9032+t8476*t9160;
-      t8536 = RATIONAL(-35.0,144.0);
-      t7908 = t8725*t8943;
-      t9547 = t7908+t9781*t8536;
-      t7382 = t8565*t8968;
-      t9546 = t8696*t9249+t7382+t8581*t9059;
-      t9188 = t8595*t9426;
-      t9378 = x*t9188+t7212;
-      t9013 = t8642*t9398;
-      t9545 = t8727*t9006+t8725*t9013+t9378;
-      t9005 = t8593*t9351;
-      t9544 = t8725*t9005+t8727*t9205+t8728*t8987;
-      t9543 = t7845+t8564*t9072+t8645*t9260;
-      t9252 = t8665*t9417;
-      t7173 = t8521*t9016;
-      t9542 = t7173+(t9252+t8947)*t8727;
-      t7156 = t8521*t9032;
-      t9065 = t8598*t9311;
-      t9541 = t7156+t8728*t9065+t8665*t9175;
-      t7729 = t8620*t8968;
-      t9540 = t8543*t9249+t8491*t9059+t7729;
-      t8964 = t8501*t9330;
-      t7161 = t8725*t8964;
-      t8934 = t8600*t9294;
-      t9539 = t7161+t8726*t8934+t7715;
-      t8498 = RATIONAL(-35.0,108.0);
-      t8627 = RATIONAL(8.0,27.0);
-      t9538 = t8627*t9032+t8498*t9783;
-      t8081 = t8675*t9032;
-      t9537 = t8081+t8688*t9783;
-      t7067 = t8505*t9016;
-      t8196 = x*t8954;
-      t8900 = t8685*t9330;
-      t9536 = t7067+t8727*t8900+t8196;
-      t7345 = t8560*t9403;
-      t9239 = t8595*t9413;
-      t7279 = x*t9239;
-      t9372 = t7345+t7279;
-      t9000 = t8600*t9398;
-      t9535 = t9372+t8725*t9000+t7149;
-      t8971 = t8573*t9351;
-      t9534 = t8729*t9214+t8727*t8971+t8593*t8968;
-      t9533 = t8486*t9072+t8511*t9260+t8709*t9016;
-      t9012 = t8685*t9409;
-      t8189 = t8724*t9012;
-      t9532 = t8189+t8729*t8924+t8691*t9175;
-      t8149 = t8691*t9032;
-      t9531 = t8149+t8536*t9783;
-      t9246 = t8691*t9419;
-      t8062 = t8725*t8900;
-      t9530 = t8727*t9246+t8062+t8496*t9059;
-      t9204 = t8578*t9436;
-      t9529 = x*t9204+t8615*t9784;
-      t9528 = t8574*t9249+t8476*t9059+t8636*t8968;
-      t9527 = t8627*t8968+t9781*t8498;
-      t7758 = t8725*t8971;
-      t9024 = t8582*t9356;
-      t9526 = t7758+t8727*t9241+t8728*t9024;
-      t9178 = t8507*t9426;
-      t9315 = t8608*t8728;
-      t9042 = t8729*t9315;
-      t9525 = t8725*t9042+t7084+x*t9178;
-      t8071 = t8650*t8968;
-      t9524 = t8516*t9249+t8489*t9059+t8071;
-      t9290 = t8729*t8652;
-      t8981 = t8727*t9290;
-      t8121 = y*t8981;
-      t7065 = t8518*t8968;
-      t9523 = t8521*t9059+t8121+t7065;
-      t9368 = t8595*t9299+t7793;
-      t8895 = t8642*t9294;
-      t9522 = t9368+t8488*t8968+t8726*t8895;
-      t9521 = t8607*t9249+t8606*t8968+t8529*t9059;
-      t9520 = t8564*t9160+t8645*t9175+t8080;
-      t9519 = t8627*t9016+t9789*t8498;
-      t8687 = RATIONAL(-7.0,18.0);
-      t7833 = t8687*t9032;
-      t9518 = t7833+t8616*t9160+z*t9075;
-      t9326 = t8727*t8593;
-      t8984 = t8726*t9326;
-      t9033 = t8573*t9311;
-      t9517 = t8724*t8984+t8728*t9033+t8548*t9175;
-      t8683 = RATIONAL(-1.0,72.0);
-      t9516 = t8728*t8921+t8683*t9352+t9786*t8725;
-      t9515 = t8728*t8944+t8671*t9175+t9655;
-      t7131 = t8726*t8890;
-      t9179 = y*t9326;
-      t9514 = t7131+t8628*t9175+x*t9179+t8544*t9160;
-      t9513 = t9724+t9781*t8596;
-      t9011 = t8552*t9356;
-      t7547 = t8726*t9011;
-      t9245 = y*t9274;
-      t9512 = x*t9245+z*t9042+t8618*t9160+t7547;
-      t9511 = t9750+t8536*t9791;
-      t8388 = t8659*t9294;
-      t9510 = t8729*t8893+t8388+t9654;
-      t7415 = t8587*t9032;
-      t9509 = y*t9194+t7415+(t9175+t9160)*t8615;
-      t8508 = RATIONAL(112.0,27.0);
-      t8651 = RATIONAL(-16.0,9.0);
-      t9282 = t8724*t8651;
-      t8503 = RATIONAL(-140.0,27.0);
-      t9508 = t8503*t9059+t8641*t9294+t8725*t9282+t8508*t8968;
-      t9507 = z*t9091+t8534*t9160+t9655;
-      t9506 = t8703*t9175+t8647*t9160+t9618;
-      t8617 = RATIONAL(35.0,96.0);
-      t8493 = RATIONAL(-245.0,576.0);
-      t9240 = y*t9348;
-      t7935 = z*t9240;
-      t9505 = t8493*t9016+t8690*t9260+t8617*t9072+t7935;
-      t7584 = t8552*t9016;
-      t9504 = t8608*t9260+t8618*t9072+t8611*t9405+t7584;
-      t9331 = t8728*t8659;
-      t8376 = t8729*t9331;
-      t9113 = t8677*t9311;
-      t9503 = t8376+t8728*t9113+t9684;
-      t8706 = RATIONAL(-5.0,9.0);
-      t8479 = RATIONAL(-175.0,144.0);
-      t9502 = t8585*t9260+t8479*t9072+t8706*t9405+t7549;
-      t9208 = t8676*t9436;
-      t8528 = RATIONAL(25.0,144.0);
-      t9501 = x*t9208+t8191+t9781*t8528;
-      t8572 = RATIONAL(-35.0,96.0);
-      t8500 = RATIONAL(49.0,288.0);
-      t7855 = t8630*t9405;
-      t9500 = t8572*t9072+t7855+t8500*t9016+t8642*t9260;
-      t9499 = t8508*t9032+t8503*t9160+t8729*t9339+t8726*t9282;
-      t8028 = z*t9252;
-      t8038 = t8727*t9240;
-      t9498 = t8729*t9036+t8028+t8038+t8071;
-      t9289 = t8728*t8650;
-      t9497 = t8609*t9072+t8727*t9289+t9702;
-      t9496 = t8727*t8952+t8683*t9294+t9788*t8725;
-      t8931 = t8613*t9398;
-      t9495 = z*t8931+t8533*t9160+t9768;
-      t8541 = RATIONAL(10.0,27.0);
-      t9494 = t8541*t9072+t8626*t9260+t9762;
-      t8678 = RATIONAL(-1.0,24.0);
-      t9493 = t8678*t9294+t8628*t9059+t9727;
-      t9492 = t8624*t9249+t8534*t9059+t9668;
-      t8527 = RATIONAL(35.0,216.0);
-      t8241 = t9380*t9439;
-      t9491 = t8189+t8527*t9160+t8241+t8677*t9175;
-      t9084 = t8729*t9278;
-      t9490 = t8678*t9398+t8728*t9084+t9670;
-      t8656 = RATIONAL(-5.0,96.0);
-      t8917 = t8656*t9352;
-      t8512 = RATIONAL(49.0,864.0);
-      t7525 = z*t9216;
-      t9489 = t8512*t9016+t7525+t9430*t8917;
-      t8951 = t8624*t9352;
-      t9488 = x*t8951+t8534*t9072+t9645;
-      t9487 = t8552*t9059+t8729*t9245+t9687;
-      t8894 = t8725*t9361;
-      t9486 = t8596*t9175+t8729*t8894+t9612;
-      t8393 = t8727*t9331;
-      t9485 = t8393+t8728*t8913+t9702;
-      t9231 = t8671*t9433;
-      t9484 = t8530*t9072+t8728*t9231+t9645;
-      t8977 = t8612*t9364;
-      t9483 = t8729*t8977+t8612*t9175+t9612;
-      t9482 = t9731+t9789*t8612;
-      t9481 = t9731+t9430*t8728*t9322;
-      t9480 = t8621*t9398+t8641*t9160+t9679;
-      t9479 = t8650*t9294+t8609*t9059+t9654;
-      t9478 = t8728*t8940+t8678*t9352+t9609;
-      t9477 = t8638*t9072+t8698*t9352+t9643;
-      t8078 = z*t9215;
-      t9476 = t8690*t9249+t8078+t8493*t8968+t8617*t9059;
-      t9189 = t8665*t9426;
-      t9475 = t8729*t9189+t8598*t9059+t9763;
-      t7263 = t8597*t9403;
-      t9474 = t8512*t9032+t7263+t8656*t9783;
-      t9283 = t8670*t8727;
-      t9473 = t8729*t9283+t8624*t9059+t9628;
-      t9234 = t8706*t9426;
-      t8657 = RATIONAL(10.0,9.0);
-      t7301 = t8564*t9259;
-      t9472 = t7478+t8729*t9234+t8657*t9059+t7301;
-      t8523 = RATIONAL(35.0,288.0);
-      t8215 = t9290*t9438;
-      t9471 = t8523*t9072+t7173+x*t8393+t8215+t7745;
-      t8482 = RATIONAL(-245.0,432.0);
-      t8721 = RATIONAL(5.0,6.0);
-      t8654 = RATIONAL(-5.0,12.0);
-      t9470 = t8482*t8968+t8721*t9059+t8654*t9249+t9756;
-      t9207 = z*t9305;
-      t8198 = x*t9207;
-      t7689 = t8609*t9259;
-      t9469 = t8198+t8729*t8903+t8694*t9249+t7729+t7689;
-      t8519 = RATIONAL(-35.0,288.0);
-      t8011 = t8665*t9405;
-      t9468 = t8519*t9072+t8600*t9260+t8011+t9593;
-      t9467 = t7156+t8523*t9160+z*t8376+t9653;
-      t9182 = t8628*t9417;
-      t7007 = z*t9236;
-      t9466 = t8727*t9182+t8593*t9405+t7007+t7081+t8544*t9072;
-      t8546 = RATIONAL(-5.0,288.0);
-      t9465 = t7758+t9729+t8546*t9791;
-      t7507 = t8614*t9190;
-      t9464 = t8676*t9405+t7507+t8142+t8528*t9791;
-      t9463 = t7901+t8677*t9260+t7494+t8527*t9072+t7935;
-      t8009 = z*t9217;
-      t6949 = t8487*t9259;
-      t9462 = t8009+y*t8895+t8572*t9059+t8500*t8968+t6949;
-      t8974 = t8657*t9330;
-      t9258 = t8706*t9417;
-      t9461 = t7777+t9703+(t9258+t8974)*t8727;
-      t9460 = t8721*t9072+t8654*t9260+t8482*t9016+t9762;
-      t7623 = z*t9096;
-      t8104 = x*t9189;
-      t9459 = t7623+t8069+t7967+t8729*t9071+t8104;
-      t7554 = t8564*t9191;
-      t9458 = x*t9234+t7381+t8585*t9175+t8479*t9160+t7554;
-      t7430 = t8609*t9190;
-      t9303 = t8728*t8539;
-      t8988 = t8724*t9303;
-      t9457 = t8727*t8988+t7430+t7412+t8728*t9187+t8215;
-      t9456 = t7213+t9746+t8546*t9783;
-      t9455 = t7623+t8676*t9403+t8081+t8528*t9783;
-      t8592 = RATIONAL(-5.0,216.0);
-      t7239 = t8597*t9190;
-      t9454 = t8006+t7239+t7525+t9789*t8592;
-      t8558 = RATIONAL(-20.0,27.0);
-      t8568 = RATIONAL(25.0,18.0);
-      t8646 = RATIONAL(-25.0,9.0);
-      t9453 = t8646*t9059+t8568*t9249+t7312+t8558*t9299+t7689;
-      t7568 = z*t9219;
-      t9004 = t8725*t9279;
-      t7275 = y*t9004;
-      t9452 = t7568+t7839+t7275+t8592*t9784;
-      t9451 = t8059+t8724*t9038+t9729+t9750;
-      t8567 = RATIONAL(5.0,216.0);
-      t9052 = t8567*t9398;
-      t8502 = RATIONAL(-35.0,216.0);
-      t9450 = z*t9052+t8502*t9160+t9603+t9773;
-      t9150 = t8725*t9303;
-      t9449 = t8729*t9150+t8694*t9175+t9653+t9686;
-      t9448 = t8009+t8502*t9059+t7765+t8567*t9249+t9651;
-      t7526 = t8538*t9277;
-      t9447 = t7526+t8568*t9175+t8646*t9160+t8558*t9403+t9618;
-      t8055 = t8725*t9237;
-      t9446 = t8078+t7621+t8527*t9059+t8055+t8062+t8677*t9249;
-      t7319 = y*t8932;
-      t9445 = t8726*t8981+t7319+t8121+t7908+t9708;
-      t9444 = t8502*t9072+t7855+t8567*t9260+t7745+t9596;
-      t9443 = t7693+z*t9000+t6984+t8519*t9160+t8104+t7585;
-      t8916 = t8725*t9305;
-      t7846 = t8652*t9175;
-      t8920 = t8610*t9369;
-      t7699 = z*t8920;
-      t9442 = t8729*t8916+t7846+t7699+t8149+t9746;
-      t9441 = t8541*t9059+t8626*t9249+t9719+t9756;
-      t7005 = t8534*t9191;
-      t9440 = t8721*t9160+t7005+t8482*t9032+t8654*t9175+t9625;
-      t9434 = t8692*z;
-      t9431 = t8608*y;
-      t9428 = y*t9437;
-      t9427 = t8628*x;
-      t9425 = t8692*x;
-      t9424 = y*t8615;
-      t8718 = RATIONAL(-4.0,9.0);
-      t9422 = x*t8718;
-      t9420 = y*t8702;
-      t9416 = t8608*z;
-      t9415 = t8628*y;
-      t9184 = t8535*t9429;
-      t7177 = t8724*t9184;
-      t8970 = t8507*t9330;
-      t9412 = z*t8970+t7177;
-      t9410 = t8595*t9255+t7331;
-      t9408 = t8724*t8692;
-      t9406 = t8608*t8725;
-      t9199 = t8729*t9414;
-      t7514 = t8595*t9191;
-      t9402 = t8726*t9199+t7514;
-      t7464 = t8725*t9247;
-      t9395 = t8612*t9212+t7464;
-      t9393 = t8725*t8722;
-      t7282 = t8612*t9191;
-      t9392 = t8613*t9255+t7282;
-      t9390 = t8725*t8692;
-      t9389 = RATIONAL(35.0,24.0)*t8937+t6968;
-      t7378 = t8724*t9362;
-      t7472 = y*t9199;
-      t9387 = t7378+t7472;
-      t9385 = t8725*t8650;
-      t7027 = x*t8986;
-      t9384 = t8535*t9256+t7027;
-      t7634 = t8725*t8920;
-      t9382 = t8539*t8937+t7634;
-      t7300 = t8726*t8973;
-      t7219 = y*t8933;
-      t9381 = t7300+t7219;
-      t9379 = t8725*t8687;
-      t7370 = t8724*t9239;
-      t9376 = t8560*t9232+t7370;
-      t9375 = t8618*t8726;
-      t9374 = t8725+t8726;
-      t7711 = t8612*t9190;
-      t9371 = t8728*t9251+t7711;
-      t7094 = x*t9089;
-      t9053 = t8507*t9364;
-      t9366 = x*t9053+t7094;
-      t7053 = t8724*t8986;
-      t9360 = t8535*t9032+t7053;
-      t9359 = t8544*t8724;
-      t9357 = t8724*t8709;
-      t9355 = t7518+t8652*t8937;
-      t9349 = t8688*t8937+t7634;
-      t8667 = RATIONAL(1.0,24.0);
-      t9347 = t8667*t8727;
-      t9344 = t8535*t9438;
-      t8625 = RATIONAL(5.0,48.0);
-      t9343 = t8625*t8728;
-      t7229 = t8548*t9176;
-      t7795 = t8728*t8936;
-      t9340 = t7229+t7795;
-      t8938 = t8727*t9262;
-      t7329 = t8726*t8938;
-      t7293 = t8726*t9004;
-      t9338 = t7329+t7293;
-      t9336 = t8727+t8728;
-      t9335 = t8727*t9226+t7464;
-      t8576 = RATIONAL(25.0,12.0);
-      t9334 = t8576*t8728;
-      t9333 = t8618*t8724;
-      t7281 = t8595*t9190;
-      t9332 = t8560*t9176+t7281;
-      t9269 = t8501*t8725;
-      t8983 = t8724*t9269;
-      t6967 = t8726*t8983;
-      t7061 = t8504*t8968;
-      t9327 = t6967+t7061;
-      t7993 = t8729*t8917;
-      t6958 = t8724*t9079;
-      t9324 = t7993+t6958;
-      t8668 = RATIONAL(1.0,72.0);
-      t9318 = t8724*t8668;
-      t9317 = t7218+t8595*t9256;
-      t8935 = t8597*t9311;
-      t7710 = t8726*t8935;
-      t9314 = t7253+t7710;
-      t9309 = t8726*t8687;
-      t9307 = t8535*t9232+t7051;
-      t9301 = t8724+t8726;
-      t9300 = t8648*t8728;
-      t7582 = t8613*t9190;
-      t9298 = x*t8977+t7582;
-      t7112 = t8528*t8937;
-      t9295 = t7112+t7634;
-      t9288 = t8725*t8668;
-      t7206 = z*t9213;
-      t9287 = t7206+t8729*t9344;
-      t9286 = t8597*t9032+t7253;
-      t9285 = t8729*t8562;
-      t9284 = t8724*t8687;
-      t9276 = t8725+t8724;
-      t7779 = t8724*t9253;
-      t9272 = t8595*t9212+t7779;
-      t8672 = RATIONAL(1.0,12.0);
-      t9271 = t8672*t8728;
-      t8640 = RATIONAL(-5.0,48.0);
-      t9268 = t8640*t8727;
-      t9266 = t8535*t8728;
-      t9261 = t8726*t8692;
-      t9257 = t8675*t9417;
-      t9254 = t8611*t9417;
-      t9244 = t8545*t9417;
-      t9243 = t8675*t9426;
-      t9242 = x*t9320;
-      t9238 = t8583*t9419;
-      t9229 = t8692*t9426;
-      t9221 = t8582*t9419;
-      t9220 = t8583*t9417;
-      t8371 = z*t9261;
-      t9186 = t8692*t9417;
-      t9183 = t8545*t9419;
-      t9180 = t8583*t9433;
-      t9174 = t8167+(t9415+t9246)*z;
-      t9173 = t7430+t8599*t9256+x*t9385;
-      t6965 = y*t8983;
-      t9172 = t8573*t8968+t6965+t6967;
-      t9171 = t8599*t9212+y*t9385+t7689;
-      t7098 = t9269*t9439;
-      t6990 = t8501*t9190;
-      t9170 = t7098+t8573*t9256+t6990;
-      t9169 = x*t8990+t7098+t6926;
-      t9168 = t7634+t9696;
-      t9167 = t7056+t7020+t8587*t9016;
-      t9166 = t7095+t7745+t8633*t9232;
-      t9165 = t8670*t9176+t7621+t6985;
-      t9164 = t7859+(t9257+t9425)*z;
-      t9163 = t9435*t8729;
-      t9162 = t7059+t8633*t9176+t7765;
-      t8542 = RATIONAL(49.0,54.0);
-      t9161 = t8542*t9232+t7301+y*t9284;
-      t9159 = t9421*t8729;
-      t7841 = t8676*t9277;
-      t9158 = t7841+x*t9243+y*t9425;
-      t9157 = t7282+t8724*t9207+t7968;
-      t9156 = t8725*t9263+t7609+t8551*t8968;
-      t9155 = t8542*t9212+t7301+y*t9379;
-      t9154 = t8218+(t9427+t9195)*z;
-      t9153 = t7661+t7378+t8665*t9255;
-      t7192 = t8724*t9344;
-      t7207 = t8501*t9191;
-      t9152 = t7192+t8611*t9255+t7207;
-      t9151 = t7020+t9664;
-      t7564 = RATIONAL(64.0,27.0)*t9139;
-      t9149 = t8513*t9016+t8664*t9391+t7564;
-      t9148 = t8726*t9312;
-      t8918 = t8532*t9351;
-      t9147 = t7518+t8725*t8918+t8726*t9293;
-      t7490 = t8597*t9176;
-      t9145 = t7490+t7256+t7281;
-      t9143 = y*t9231+t8093+t7841;
-      t9142 = t7623+t8532*t9255+z*t9333;
-      t9138 = t7692+t8532*t9232+y*t9333;
-      t9136 = t8506*t8968+t6949+t6958;
-      t9135 = t8685*t9364;
-      t7492 = t8548*t9277;
-      t9133 = y*t9192+t7492+x*t9424;
-      t9132 = t7847+t8063+t8671*t9256;
-      t9131 = t8542*t9256+t7285+x*t9379;
-      t7242 = t9262*t9438;
-      t9130 = t7242+t8566*t9405+z*t9424;
-      t9129 = t8549*t9256+t7285+t7896;
-      t9128 = t7711+x*t8916+t8203;
-      t9127 = y*t9434+t8091+t8675*t9405;
-      t8242 = t8676*t9191;
-      t9126 = t8168+t8242+t8671*t9255;
-      t7455 = t8579*t9308;
-      t7965 = t8627*t9428;
-      t9125 = t8575*t9299+t7455+t7965;
-      t9124 = t8675*t9230+t8242+t8371;
-      t9123 = t8093+t9601;
-      t9121 = t7319+(t8910+t9359)*y;
-      t9120 = t7494+t8518*t9255+t6935;
-      t9119 = t8685*t9311;
-      t9118 = t7692+t8532*t9212+y*t9293;
-      t8930 = t8532*t9409;
-      t9117 = t7518+t8724*t8930+t8726*t9333;
-      t9116 = t7507+t9782*x;
-      t9115 = t7507+(t8930+t9375)*x;
-      t9114 = t7623+(t9375+t8918)*z;
-      t9112 = t8598*t9256+t6957+t7122;
-      t9111 = x*t9420+t7526+t8622*t9403;
-      t9110 = t8496*t9230+z*t9270+t7699;
-      t9109 = t7847+x*t9261+t8675*t9176;
-      t9108 = t7693+t7692+y*t8944;
-      t9107 = t8505*t8968+t7409+t7634;
-      t9106 = y*t9273+t7689+t8599*t9232;
-      t9105 = t8624*t9256+t7809+x*t9393;
-      t7178 = x*t9184;
-      t7182 = x*t9344;
-      t9104 = t7178+t7182+t9297*t9437;
-      t9103 = t8547*t9232+t7162+t8236;
-      t9102 = t7207+t6975+t8573*t9255;
-      t9101 = t8725*t9220+t7239+x*t9406;
-      t9099 = t7842+t9700;
-      t9098 = t8625*t8937+t7273+t6927;
-      t9097 = t8645*t9016+t7842+t8695*t9391;
-      t8495 = RATIONAL(245.0,576.0);
-      t6913 = RATIONAL(-343.0,1728.0)*t9139;
-      t9094 = t7005+t8495*t9032+t6913;
-      t9093 = t7905+t8691*t9403+x*t9415;
-      t8132 = y*t9233;
-      t8655 = RATIONAL(-8.0,27.0);
-      t8134 = t8655*t9428;
-      t9092 = t8132+t8694*t9405+t8134;
-      t9090 = y*t9357+t7479+t8601*t9232;
-      t9088 = t8496*t9255+z*t9359+t7699;
-      t9087 = t8582*t9230+t6982+t6984;
-      t9086 = t8671*t9230+t8244+t8242;
-      t9085 = t8542*t9255+z*t9284+t7554;
-      t7342 = t8548*t9308;
-      t9082 = t7342+x*t9193+t8615*t9437;
-      t9081 = t7275+t9780*y;
-      t7018 = x*t9345;
-      t9080 = z*t9221+t7018+t7007;
-      t9078 = t8729*t9321;
-      t9077 = z*t9350+t8728*t9250+t7861;
-      t9076 = t8562*t9364;
-      t9074 = t9430*t8683;
-      t9070 = t8657*t9311;
-      t9069 = t8661*t9032+t7260+t7293;
-      t9066 = y*t9390+t8055+t8675*t9212;
-      t9064 = t8583*t9311;
-      t8580 = RATIONAL(-1.0,432.0);
-      t9063 = t8580*t9398;
-      t7109 = x*t9222;
-      t9061 = x*t8925+t7094+t7109;
-      t9058 = t8724*t9320;
-      t9056 = t7862+t9647;
-      t9055 = t7363+z*t9357+t8601*t9255;
-      t9054 = t8675*t9255+z*t9408+t8242;
-      t9050 = t7275+(t9064+t9406)*y;
-      t9049 = x*t9346+t8583*t9176+t7239;
-      t7806 = t8538*t9407;
-      t9048 = z*t9420+t8622*t9405+t7806;
-      t9047 = t7573+t7142+t8687*t9016;
-      t9044 = t8645*t9409;
-      t9041 = t9430*t8678;
-      t9040 = t9430*t8615;
-      t9037 = t8659*t9409;
-      t7738 = t8597*t9230;
-      t9035 = t7738+t7514+t7256;
-      t9031 = t8685*t9356;
-      t9030 = t8562*t9330;
-      t9029 = t7430+t8599*t9176+x*t9354;
-      t9028 = t8545*t9311;
-      t7992 = t8687*t8968;
-      t9026 = t7142+t7319+t7992;
-      t9025 = t8518*t9311;
-      t9023 = t9421*t8683;
-      t9022 = t8578*t9364;
-      t9020 = t8725*t9254+t6990+t7109;
-      t9019 = t7609+t9710;
-      t9017 = t7847+t8675*t9256+x*t9390;
-      t9008 = t8545*t9352;
-      t9007 = t9435*t8728;
-      t8998 = t8542*t9230+z*t9309+t7554;
-      t8996 = x*t9367+t7458+t8601*t9176;
-      t8995 = t8505*t9364;
-      t8992 = t8693*t9351;
-      t8991 = y*t9408+t8055+t8675*t9232;
-      t8989 = t8530*t9351;
-      t8985 = t8726*t9313;
-      t8980 = t8729*t9197+y*t9393+t8041;
-      t8697 = RATIONAL(-5.0,6.0);
-      t8472 = t8697*t9352;
-      t8978 = t8547*t9330;
-      t8975 = t9430*t8659;
-      t8629 = RATIONAL(-5.0,18.0);
-      t8417 = t8629*t9352;
-      t8963 = t8569*t9212+t7385+y*t9337;
-      t8962 = x*t9309+t7285+t8542*t9176;
-      t8959 = t8725*t9300;
-      t7373 = t8597*t9232;
-      t8958 = t7370+t7378+t7373;
-      t8953 = t8552*t8968+t6965+t6958;
-      t8949 = t8589*t9255+t7192+t7177;
-      t8946 = t7757+t8553*t8968+t8703*t9310;
-      t8945 = t7518+t9782*t8724;
-      t8941 = t8615*t9421;
-      t8939 = t7582+t7279+t8725*t9252;
-      t8929 = y*t9350+t8094+t8645*t9232;
-      t8927 = t8515*t9352;
-      t8926 = t8725*t9331;
-      t8923 = t8625*t9430;
-      t7395 = t8559*t9191;
-      t8914 = t8569*t9230+t7395+z*t9400;
-      t8912 = t7862+t7984+t8724*t8985;
-      t8909 = t7571+t8571*t9230+t7395;
-      t8908 = t7044+x*t9022+t7027;
-      t8896 = t7949+(t9404+t9044)*x;
-      t8892 = t8724*t9300;
-      t8889 = t8624*t9230+t7916+z*t9383;
-      t8887 = t7757+t9677;
-      t8644 = RATIONAL(-1.0,12.0);
-      t8886 = t8633*t8727+t8644;
-      t8484 = RATIONAL(343.0,108.0);
-      t8570 = RATIONAL(-49.0,36.0);
-      t8885 = t8570+t8484*t8728;
-      t8619 = RATIONAL(49.0,36.0);
-      t8483 = RATIONAL(-343.0,108.0);
-      t8884 = t8619+t8483*t8728;
-      t8555 = RATIONAL(-98.0,27.0);
-      t8883 = t8638+t8555*t8728;
-      t8522 = RATIONAL(196.0,27.0);
-      t8663 = RATIONAL(-28.0,9.0);
-      t8882 = t8663+t8522*t8728;
-      t8639 = RATIONAL(7.0,12.0);
-      t8881 = t8570*t8728+t8639;
-      t8637 = RATIONAL(-7.0,12.0);
-      t8880 = t8637+t8619*t8728;
-      t8879 = t8497*t8728+t8633;
-      t8700 = RATIONAL(-2.0,3.0);
-      t8878 = t8638*t8728+t8700;
-      t8877 = t8644+t8633*t8728;
-      t8586 = RATIONAL(98.0,27.0);
-      t8876 = t8586*t8728+t8647;
-      t8710 = RATIONAL(2.0,3.0);
-      t8875 = t8710+t8647*t8728;
-      t8874 = t8633+t8497*t8727;
-      t8872 = t8729*t8993;
-      t8871 = t8729*t9007;
-      t8870 = t8507*t9032+t8729*t9022+t9641;
-      t7652 = t8596*t8937;
-      t8869 = t8724*t9008+t7652+t7293+t7225;
-      t7619 = t8562*t8937;
-      t8868 = t7080+t6967+t8727*t9058+t7619;
-      t7220 = t8612*t8937;
-      t8867 = t8725*t8931+t7220+t9338;
-      t7288 = t8728*t9064;
-      t7664 = t8566*t8937;
-      t8866 = t7288+t7664+t9286;
-      t8865 = t8727*t8911+t7161+t9658;
-      t8864 = t8688*t8726+t8722*y;
-      t8863 = t8636*t8725+t8657*z;
-      t8862 = t9404+t8692*y;
-      t8684 = RATIONAL(-7.0,24.0);
-      t8861 = t8667*x+t8684*t8724;
-      t8719 = RATIONAL(-5.0,3.0);
-      t8860 = t8719*t8726+t8721*y;
-      t8708 = RATIONAL(-1.0,3.0);
-      t8859 = t8710*t8725+t8708*z;
-      t8858 = t9434+t9401;
-      t8857 = t8648*y+t8620*t8726;
-      t8856 = t8668*z+t8669*t8725;
-      t8643 = RATIONAL(7.0,24.0);
-      t8705 = RATIONAL(1.0,3.0);
-      t8855 = t8705*z+t8643*t8725;
-      t8854 = t8719*t8724+t8721*x;
-      t8604 = RATIONAL(-35.0,48.0);
-      t8853 = t8604*t8724+t8697*x;
-      t8561 = RATIONAL(35.0,48.0);
-      t8852 = t8640*x+t8561*t8724;
-      t8851 = t8685*x+t8565*t8724;
-      t8850 = t8565*t8726+t8685*y;
-      t8849 = t8710*t8724+t8708*x;
-      t8848 = t8648*x+t8620*t8724;
-      t8847 = t8722*x+t8688*t8724;
-      t8846 = t8636*t8724+t8657*x;
-      t8845 = t9375+t9431;
-      t8844 = t8705*y+t8643*t8726;
-      t8843 = t8565*t8725+t8685*z;
-      t8842 = t8708*y+t8710*t8726;
-      t8841 = t8604*t8725+t8697*z;
-      t8840 = t9427+t9359;
-      t8839 = t8640*z+t8561*t8725;
-      t8838 = t9353+t8628*z;
-      t8837 = t8640*y+t8561*t8726;
-      t8836 = t9350+t9425;
-      t8835 = t8667*y+t8684*t8726;
-      t8834 = t8722*z+t8688*t8725;
-      t8833 = t8643*t8724+t8705*x;
-      t8723 = RATIONAL(2.0,9.0);
-      t8832 = t8723*t8724+t8695*x;
-      t8831 = t8608*x+t9333;
-      t8830 = t8667*z+t8684*t8725;
-      t8829 = t8695*y+t8723*t8726;
-      t8828 = t8669*t8724+t8668*x;
-      t8827 = t8723*t8725+t8695*z;
-      t8826 = t8697*y+t8604*t8726;
-      t8825 = t9416+t9293;
-      t8824 = t8719*t8725+t8721*z;
-      t8822 = t8620*t8725+t8648*z;
-      t8821 = t9270+t9415;
-      t8820 = t8668*y+t8669*t8726;
-      t8819 = t8636*t8726+t8657*y;
-      t7367 = t8546*t8937;
-      t8818 = t7367+t9151+t9285*t8993;
-      t7714 = t8592*t8937;
-      t8817 = t8567*t9072+t7714+t9314+t9411;
-      t8816 = t9349+t9651+(t9238+t8918)*t8727;
-      t8815 = t7112+t8729*t9012+t8038+t9107;
-      t8814 = t8729*t9179+t7993+t8518*t9059+t8953;
-      t8813 = t8363+t8503*t9072+t8508*t9016+t8651*t9391+t9605;
-      t6970 = t8536*t8937;
-      t8812 = t8625*t9294+t8729*t9037+t6970+t8945;
-      t8811 = t8727*t9183+t8729*t9027+t7275+t7959+t9355;
-      t8810 = t8567*t9059+t7253+t7714+t7565+t9368;
-      t8809 = t8609*t9160+t8729*t9289+t9634+t9684;
-      t8808 = t7727+t8520*t9059+t8662*t9299+t7876+t9295;
-      t8807 = x*t9008+t7239+t8505*t9072+t7822+t9355;
-      t8806 = t8728*t9180+t8532*t9072+t9349+t9596;
-      t8805 = t8543*t9175+t8491*t9160+t9602+t9686;
-      t8804 = t7547+t8728*t9025+t7207+t8593*t9175+t9324;
-      t8803 = t6970+t9117+(t8926+t9343)*t8729;
-      t8802 = t8683*t9398+t7220+t7293+t8729*t8950+t9780*t8726;
-      t8801 = t8729*t8985+t8055+t8727*t9202+t7962+t9732;
-      t8653 = RATIONAL(49.0,9.0);
-      t8714 = RATIONAL(-7.0,3.0);
-      t8800 = t8653*t8728+t8663*t8726+t8714;
-      t7485 = t8615*t8937;
-      t8799 = t7485+t8727*t9221+t8729*t9010+t9172;
-      t8798 = t8729*t8995+t8545*t9175+t9355+t9768;
-      t8797 = t8725*t9052+t7714+t9286+t9378;
-      t7068 = t8498*t8937;
-      t8796 = t9719+t7862+t7068+(t9243+t9044)*t8729;
-      t8795 = t6970+t9147+(t8905+t9343)*t8727;
-      t8794 = t9709+t9724+t9781*t8612;
-      t8793 = t7485+t7178+t8608*t9059+t8507*t9299+t9327;
-      t8792 = t6990+t8728*t8890+t8727*t9242+t7584+t9324;
-      t8176 = t8637*t8937;
-      t8791 = t8669*t9260+t8616*t9072+t8176+t9047;
-      t8790 = t9295+t9668+(t9224+t8989)*t8727;
-      t7079 = t8729*t8927;
-      t8789 = t8724*t8951+t7079+t8728*t9283+t9097;
-      t8788 = t7367+t9167+(t9030+t9228)*t8727;
-      t8787 = t8727*t9254+t8728*t9011+t9593+t9662;
-      t8786 = t8727*t9257+t7068+t8645*t9072+t9056;
-      t7152 = RATIONAL(-175.0,27.0)*t8937;
-      t8785 = t8606*t9016+t8607*t9260+t7152+t8529*t9072+t7690+t7564;
-      t8784 = t8583*t9175+t8729*t8922+t9349+t9603;
-      t8603 = RATIONAL(1.0,432.0);
-      t7790 = t8603*t8937;
-      t8783 = t8589*t9175+t8729*t8925+t8726*t8979+t7790+t7203+t7053;
-      t8782 = t8562*t9175+t8729*t9076+t7415+t7020+t7367+t6984;
-      t7230 = t8725*t9078;
-      t8781 = t7230+t7220+z*t9078+t9069;
-      t7038 = RATIONAL(245.0,36.0)*t8937;
-      t8780 = t8621*t9294+t7038+t8641*t9059+t9156;
-      t8779 = t7068+t8729*t8907+t8675*t9175+t8912;
-      t8778 = t7661+t7131+t8729*t9057+t7846+t9778;
-      t7404 = RATIONAL(-49.0,18.0)*t8937;
-      t8777 = t8698*t9294+t7404+t8638*t9059+t8946;
-      t8776 = t7485+t8587*t9059+t8611*t8968+t8578*t9249+t7195+t6967;
-      t8775 = t8695*t9072+t7711+t7242+z*t9183+t7067+t8727*t9186+t9168;
-      t7546 = t8543*t8937;
-      t8774 = t7546+t8727*t8892+t8472+t9019+t9174;
-      t8540 = RATIONAL(-10.0,27.0);
-      t7289 = t8549*t8937;
-      t8773 = t7842+t8540*t9059+t7289+t8629*t9294+t9164+t9628;
-      t8686 = RATIONAL(5.0,18.0);
-      t8772 = z*t9073+t7661+t7166+t8686*t9160+t9143+t9617;
-      t8771 = t8626*t9175+t8541*t9160+t8912+t9625+t9636;
-      t8492 = RATIONAL(175.0,144.0);
-      t8770 = t8132+t8520*t9260+t8723*t9405+t8492*t9072+t9047+t9767;
-      t8514 = RATIONAL(-49.0,144.0);
-      t8699 = RATIONAL(-5.0,8.0);
-      t8485 = RATIONAL(343.0,432.0);
-      t8769 = t8699*t9352+t8514*t9391+t8485*t9016+t8724*t8472+t9127+t9389;
-      t8768 = t8198+y*t8388+t6958+t8523*t9059+t7765+t9705+t9763;
-      t8767 = t8729*t9229+t7342+z*t9244+t8695*t9059+t9107+t9696;
-      t8766 = t8706*t9175+t8728*t9070+t7747+t7554+t9143+t9637;
-      t7834 = t8670*t8937;
-      t8765 = x*t9416+t7270+z*t9220+t8722*t9059+t8672*t9294+t7834+t8945;
-      t8764 = t8514*t9310+t8485*t8968+t8699*t9294+t8697*t9059+t9164+t9389;
-      t8246 = t8678*t8937;
-      t8763 = t8246+t8608*t9249+t7194+t8618*t9059+t7182+z*t9254+t8953;
-      t8762 = t8540*t9160+t7289+t8629*t9398+t9099+t9158;
-      t7011 = RATIONAL(-175.0,36.0)*t8937;
-      t8632 = RATIONAL(25.0,9.0);
-      t8761 = t7543+t8563*t9403+t7011+t8729*t9334+y*t9422+t8632*t9160+t8887;
-      t8760 = t9708+t9172+t9678+t9781*t8546;
-      t8759 = t8879*t8727+t8877;
-      t8758 = t7528+t7430+t7806+t8568*t9260+t8558*t9405+t8134+t8646*t9072+t9640
-;
-      t8689 = RATIONAL(-5.0,24.0);
-      t8757 = t8629*t9160+t8689*t9398+t9093+t9382+t9670;
-      t8756 = t8729*t9271+t8722*t9160+y*t9180+t7344+x*t9431+t7834+t9117;
-      t8755 = t8727*t8978+t7979+t7494+t7507+t8196+t8011+t9571;
-      t8754 = t8093+t7582+t7102+t8685*t9260+t8686*t9072+t9617+t9703;
-      t8753 = t7546+t8697*t9398+t8729*t8959+t7609+t9093+t9679;
-      t8752 = t7910+t8492*t9059+t8520*t9249+t8723*t9299+t9026+t9767;
-      t8751 = t8585*t9249+t8036+t7382+t7301+z*t9258+t8479*t9059+t7965+t9723;
-      t8750 = t8648*t9059+t7546+t8697*t9294+t9154+t9156;
-      t8749 = t8417+t7289+t8540*t9072+t9097+t9127;
-      t8748 = t8689*t9352+t8724*t8417+t9174+t9382+t9609;
-      t8747 = t7264+z*t9238+y*t9416+t8727*t9271+t8722*t9072+t7834+t9147;
-      t8746 = t9069+t7263+t7279+t9650+t8592*t9783;
-      t8745 = t8685*t9249+t7464+t8686*t9059+t7019+t9123+t9617;
-      t8744 = z*t9422+t8576*t9294+t7455+t8563*t9299+t7011+t8632*t9059+t8946;
-      t8743 = t8697*t9160+t8514*t9369+t8699*t9398+t8485*t9032+t9158+t9389;
-      t8207 = t8683*t8937;
-      t8742 = t8207+t7206+t7018+t8578*t9405+t9167+t9789*t8615;
-      t8741 = t8563*t9405+t7757+t7461+t8718*t9438+t8727*t9334+t7011+t8632*t9072
-+t9643;
-      t8740 = t8689*t9294+t8629*t9059+t9154+t9382+t9727;
-      t8739 = t8692*t9175+t7282+t7492+t9397*t9439+t6992+t8695*t9160+t9168;
-      t8738 = t8617*t9160+t7693+t8690*t9175+t7198+t8493*t9032+t8241+t9570;
-      t8737 = t7621+y*t8934+t8519*t9059+t8028+t9098+t9687;
-      t8736 = t7464+z*t9242+t7090+t8544*t9059+t8628*t9249+t7065+t9098;
-      t8735 = t8500*t9032+t6963+z*t9013+t8572*t9160+t6913+t9682+t9773;
-      t8734 = t7568+t7256+t8512*t8968+t6946+t9098+t9781*t8656;
-      t8733 = t8723*t9403+t8045+t7833+t7142+z*t9122+t8492*t9160+t7699+t9767;
-      t8720 = RATIONAL(5.0,3.0);
-      t8717 = RATIONAL(5.0,4.0);
-      t8716 = RATIONAL(-1.0,2.0);
-      t8715 = RATIONAL(-1.0,6.0);
-      t8712 = RATIONAL(1.0,4.0);
-      t8711 = RATIONAL(1.0,6.0);
-      t8707 = RATIONAL(-4.0,3.0);
-      t8681 = RATIONAL(-7.0,48.0);
-      t8680 = RATIONAL(-1.0,48.0);
-      t8649 = RATIONAL(28.0,9.0);
-      t8631 = RATIONAL(7.0,48.0);
-      t8605 = RATIONAL(25.0,16.0);
-      t8602 = RATIONAL(50.0,27.0);
-      t8594 = RATIONAL(-25.0,12.0);
-      t8588 = RATIONAL(25.0,24.0);
-      t8577 = RATIONAL(80.0,27.0);
-      t8556 = RATIONAL(-50.0,27.0);
-      t8550 = RATIONAL(-35.0,54.0);
-      t8537 = RATIONAL(-25.0,192.0);
-      t8526 = RATIONAL(-100.0,27.0);
-      t8517 = RATIONAL(100.0,27.0);
-      t8510 = RATIONAL(-196.0,27.0);
-      t8499 = RATIONAL(-25.0,108.0);
-      t8494 = RATIONAL(175.0,192.0);
-      t8481 = RATIONAL(-175.0,108.0);
-      t8480 = RATIONAL(-175.0,192.0);
-      t8478 = RATIONAL(175.0,108.0);
-      t8304 = t8702*t9212;
-      t8302 = t8702*t9256;
-      t8301 = t8718*t9256;
-      t8299 = t8704*t9405;
-      t8293 = t8702*t9255;
-      t8290 = t8701*t9032;
-      t8289 = t8702*t9230;
-      t8288 = t8702*t9232;
-      t8285 = t8701*t8968;
-      t8283 = t8704*t9403;
-      t8281 = t8718*t9212;
-      t8280 = t8718*t9255;
-      t8266 = t8718*t9230;
-      t8262 = t8718*t9232;
-      t8261 = t8701*t9016;
-      t8260 = t8718*t9176;
-      t8256 = t8702*t9176;
-      t8250 = t8635*t9176;
-      t8240 = y*t9031;
-      t8235 = y*t8921;
-      t8232 = t8655*t9016;
-      t8228 = y*t9068;
-      t8227 = t8657*t9176;
-      t8224 = t8670*t9255;
-      t8222 = t8724*t9208;
-      t8220 = t8659*t9230;
-      t8211 = t8693*t8968;
-      t8209 = t8666*t9230;
-      t8208 = t8658*t9403;
-      t8205 = t8729*t9211;
-      t8204 = t8652*t9212;
-      t8199 = t8679*t9230;
-      t8197 = t8671*t9232;
-      t8192 = t8682*t9403;
-      t8190 = t8670*t9212;
-      t8185 = t8725*t9182;
-      t8174 = y*t9021;
-      t8173 = t8725*t9186;
-      t8170 = z*t8905;
-      t8166 = t8693*t9232;
-      t8165 = x*t9135;
-      t8158 = t8729*t9373;
-      t8157 = t8674*t9232;
-      t8151 = t8724*t9229;
-      t8148 = t8670*t9256;
-      t8147 = x*t8967;
-      t8145 = t8676*t9256;
-      t8140 = t8677*t9256;
-      t8131 = t8693*t9212;
-      t8126 = t8655*t8968;
-      t8123 = t8727*t8942;
-      t8119 = t8657*t9230;
-      t8118 = y*t9113;
-      t8115 = t8630*t9230;
-      t8113 = t8729*t9206;
-      t8109 = t8630*t9255;
-      t8106 = x*t8926;
-      t8102 = t8630*t9176;
-      t8096 = z*t8900;
-      t8092 = t8682*t9299;
-      t8090 = t8679*t9232;
-      t8082 = z*t8992;
-      t8079 = t8727*t9225;
-      t8077 = t8725*t9202;
-      t8076 = t8679*t9256;
-      t8075 = x*t8985;
-      t8073 = t8724*t9210;
-      t8067 = t8652*t9176;
-      t8066 = z*t8974;
-      t8065 = t8671*t9212;
-      t8060 = t8692*t9176;
-      t8053 = z*t9003;
-      t8052 = t8693*t9255;
-      t8043 = x*t9037;
-      t8032 = t8648*t9212;
-      t8018 = t8658*t9212;
-      t8016 = x*t8959;
-      t8005 = t8635*t9212;
-      t8004 = x*t8950;
-      t7999 = t8676*t9176;
-      t7997 = t8676*t9232;
-      t7994 = t8657*t9232;
-      t7988 = t8628*t9255;
-      t7987 = y*t9043;
-      t7980 = t8665*t9212;
-      t7978 = z*t9148;
-      t7973 = t8633*t9256;
-      t7971 = t8724*t9227;
-      t7970 = t8658*t9405;
-      t7969 = t8657*t9256;
-      t7956 = t8729*t8371;
-      t7954 = t8634*t8968;
-      t7946 = t8628*t9176;
-      t7945 = t8648*t9176;
-      t7942 = t8634*t9032;
-      t7940 = t8665*t9176;
-      t7939 = y*t9018;
-      t7934 = t8666*t9176;
-      t7932 = y*t9070;
-      t7931 = x*t9012;
-      t7930 = t8725*t8992;
-      t7925 = t8658*t9256;
-      t7923 = t8693*t9176;
-      t7911 = t8655*t9032;
-      t7907 = t8659*t9212;
-      t7904 = t8674*t9212;
-      t7899 = t8692*t9255;
-      t7898 = t8676*t9212;
-      t7894 = z*t8952;
-      t7891 = y*t9084;
-      t7890 = t8661*t9256;
-      t7883 = z*t8892;
-      t7880 = t8724*t9189;
-      t7878 = t8658*t9176;
-      t7874 = t8633*t9212;
-      t7869 = y*t9119;
-      t7868 = t8693*t9256;
-      t7867 = t8658*t9255;
-      t7860 = t8677*t9230;
-      t7856 = t8652*t9230;
-      t7853 = t8666*t9232;
-      t7851 = y*t8940;
-      t7844 = t8679*t9176;
-      t7837 = t8661*t9232;
-      t7836 = t8725*t9217;
-      t7835 = t8729*t8399;
-      t7830 = t8661*t9255;
-      t7829 = t8626*t9255;
-      t7821 = t8661*t9176;
-      t7819 = t8630*t9212;
-      t7818 = t8635*t9255;
-      t7816 = t8648*t9232;
-      t7812 = z*t8915;
-      t7810 = t8658*t9230;
-      t7805 = t8562*t8968;
-      t7803 = t8562*t9230;
-      t7801 = t8724*t9204;
-      t7798 = z*t9030;
-      t7781 = t8596*t9176;
-      t7780 = z*t8971;
-      t7774 = x*t8982;
-      t7770 = t8725*t9244;
-      t7767 = t8547*t9230;
-      t7766 = t8589*t9405;
-      t7763 = t8577*t8968;
-      t7761 = t8573*t9176;
-      t7759 = t8724*t8982;
-      t7756 = x*t9076;
-      t7754 = t8562*t9403;
-      t7753 = y*t8938;
-      t7741 = y*t8919;
-      t7735 = t8587*t9232;
-      t7725 = t9325*t9439;
-      t7713 = t8589*t9230;
-      t7708 = x*t8902;
-      t7706 = t8545*t9255;
-      t7702 = t8589*t9232;
-      t7697 = t8612*t9176;
-      t7695 = t8571*t9176;
-      t7691 = t8562*t9232;
-      t7685 = t8614*t9212;
-      t7680 = t8587*t9230;
-      t7679 = t8614*t9255;
-      t7676 = t8725*t9181;
-      t7673 = t8729*t9209;
-      t7662 = x*t9009;
-      t7658 = z*t9005;
-      t7651 = t8582*t8968;
-      t7648 = t8571*t9232;
-      t7640 = t8578*t9212;
-      t7631 = t8549*t9255;
-      t7629 = y*t9034;
-      t7628 = t8598*t9176;
-      t7626 = t8552*t9176;
-      t7625 = t8613*t9212;
-      t7618 = y*t8997;
-      t7614 = t8571*t9256;
-      t7613 = t8610*t9256;
-      t7612 = y*t9065;
-      t7607 = t8562*t9032;
-      t7606 = t8724*t9185;
-      t7603 = t8550*t9256;
-      t7583 = t8550*t9176;
-      t7581 = t8547*t9212;
-      t7580 = t8589*t9212;
-      t7579 = t8539*t9212;
-      t7577 = t8595*t9230;
-      t7576 = t8729*t8984;
-      t7566 = t8550*t9232;
-      t7553 = t8549*t9230;
-      t7545 = t8591*t9212;
-      t7540 = t8728*t9177;
-      t7539 = y*t9011;
-      t7537 = t8550*t9230;
-      t7535 = t8724*t8894;
-      t7524 = t8545*t9230;
-      t7522 = x*t8928;
-      t7520 = t8612*t9255;
-      t7515 = t8724*t9179;
-      t7506 = t8729*t9218;
-      t7504 = t8598*t9230;
-      t7503 = t8593*t9212;
-      t7500 = y*t8935;
-      t7497 = z*t8911;
-      t7493 = t8614*t9232;
-      t7491 = x*t8894;
-      t7488 = t8613*t9176;
-      t7486 = y*t9033;
-      t7482 = t8727*t8948;
-      t7477 = t8589*t9016;
-      t7476 = t8610*t9230;
-      t7475 = t8611*t9176;
-      t7474 = t8552*t9230;
-      t7473 = t9388*t9439;
-      t7469 = t8550*t9255;
-      t7468 = x*t9062;
-      t7466 = x*t9150;
-      t7460 = t8591*t9230;
-      t7452 = y*t9024;
-      t7449 = y*t9015;
-      t7445 = t8577*t9032;
-      t7441 = z*t8994;
-      t7438 = t8577*t9016;
-      t7436 = y*t8901;
-      t7425 = t8582*t9016;
-      t7424 = y*t9039;
-      t7422 = t8587*t9176;
-      t7414 = t8571*t9255;
-      t7406 = t8560*t9212;
-      t7405 = t8545*t9232;
-      t7401 = t8610*t9212;
-      t7375 = t8596*t9232;
-      t7364 = x*t8984;
-      t7360 = z*t9058;
-      t7359 = z*t8988;
-      t7357 = t8578*t9176;
-      t7355 = t8610*t9255;
-      t7353 = y*t9028;
-      t7349 = t8539*t9230;
-      t7346 = t8728*t9028;
-      t7338 = t8591*t9256;
-      t7332 = t8549*t9212;
-      t7323 = t8610*t9176;
-      t7318 = t8596*t9032;
-      t7311 = t8724*t9188;
-      t7310 = t8550*t9212;
-      t7304 = t8552*t9212;
-      t7296 = z*t8961;
-      t7290 = t8596*t9016;
-      t7286 = t8725*t9219;
-      t7283 = y*t8987;
-      t7278 = t8596*t9212;
-      t7267 = t8560*t9255;
-      t7266 = y*t9083;
-      t7258 = t8726*t9223;
-      t7250 = t9285*t9438;
-      t7245 = t8595*t9176;
-      t7233 = t8562*t9176;
-      t7228 = t8548*t9230;
-      t7227 = t8562*t9016;
-      t7224 = x*t9010;
-      t7215 = t8562*t9212;
-      t7214 = z*t8978;
-      t7205 = t8729*t9184;
-      t7204 = t8535*t9016;
-      t7202 = t8501*t9232;
-      t7191 = t8521*t9230;
-      t7189 = z*t9067;
-      t7188 = t8521*t9232;
-      t7186 = t8535*t8968;
-      t7185 = t8535*t9255;
-      t7183 = t9266*t9437;
-      t7167 = t8531*t9016;
-      t7164 = z*t8964;
-      t7158 = y*t9025;
-      t7157 = t8518*t9176;
-      t7147 = t8521*t9212;
-      t7140 = t8728*t9203;
-      t7129 = z*t8989;
-      t7108 = t8518*t9230;
-      t7107 = t8504*t9232;
-      t7106 = t8530*t9176;
-      t7097 = t8507*t9176;
-      t7093 = t8501*t9212;
-      t7087 = t8505*t9255;
-      t7072 = y*t8906;
-      t7071 = t8505*t9212;
-      t7070 = t8530*t9255;
-      t7058 = t8504*t9255;
-      t7049 = t8535*t9212;
-      t7046 = x*t9027;
-      t7039 = t8729*t9201;
-      t7036 = t8535*t9176;
-      t7034 = t8724*t9178;
-      t7031 = t8531*t9032;
-      t7030 = t8501*t9230;
-      t7028 = t8506*t9016;
-      t7025 = t8521*t9176;
-      t7010 = t8535*t9403;
-      t7008 = t8507*t9212;
-      t7006 = t8504*t9176;
-      t7003 = t8505*t9230;
-      t6996 = t8505*t9232;
-      t6991 = t8729*t9196;
-      t6989 = t8501*t9256;
-      t6983 = t8501*t9176;
-      t6966 = x*t8995;
-      t6956 = t8487*t9032;
-      t6948 = t8487*t9016;
-      t6943 = t8495*t8968;
-      t6942 = t8477*t8968;
-      t6934 = t8487*t8968;
-      t6924 = t8495*t9016;
-      t6916 = t8477*t9016;
-      coeffs_I->coeff_m2_m2_m2 = t7713+t7766+t8560*t8937+t7702+(t9791+(t9007+
-t8993)*t8729)*t8603+t7477+t8949+t7774+t7759+t7073+t7725+t7580+t9061+t9104+t9646
-;
-      coeffs_I->coeff_m1_m2_m2 = t7803+t7250+t7283+t7227+t7215+t8760+t8635*
-t9260+t9102+t9340+t9456+t9669;
-      coeffs_I->coeff_0_m2_m2 = t8794+t7818+t8235+t8683*t9007+(t9023+(t9264+
-t8665)*t8728)*t8727+t9130+t9483+t9665+t9673+t9726;
-      coeffs_I->coeff_p1_m2_m2 = t7830+t7278+t7286+t7290+t7258+t8746+t7837+(
-t9329+t8661*x)*t9352+t9145+t9452+t9613;
-      coeffs_I->coeff_p2_m2_m2 = t8207+t7424+t7296+t7482+t7425+t7357+t9151+
-t9080+t9087+t8580*t9260+t7735+t8908+t9509+t9529;
-      coeffs_I->coeff_p3_m2_m2 = t8783+t7204+t7801+t7205+t8580*t9072+t7049+
-t9287+t9574+t9626;
-      coeffs_I->coeff_m2_m1_m2 = t7753+t9381+t7756+t7761+t7805+t8635*t9249+
-t9465+t9456+t6990+t7207+t6967+t7779+t7798+t7780+t9678+t9736;
-      coeffs_I->coeff_m1_m1_m2 = t8509*t8871+t8768+t8204+t7741+t7189+t7323+
-t7191+t8208+t9128+t9471+t9758;
-      coeffs_I->coeff_0_m1_m2 = t8625*t9007+t8864*t8727+t8166+t8748+t8170+t9110
-+t9492+t9531+t9701;
-      coeffs_I->coeff_p1_m1_m2 = t8090+t8096+t9446+t7522+t8754+t7129+t8065+
-t9455+t9630;
-      coeffs_I->coeff_p2_m1_m2 = t7493+t7468+t7422+t7504+t8736+t7279+t7980+
-t9120+t9468+t9474;
-      coeffs_I->coeff_p3_m1_m2 = t7406+t7360+t8782+t7472+t7030+t8958+t9534+
-t9666;
-      coeffs_I->coeff_m2_0_m2 = t8727*t9074+t9082+t9482+t8250+(t9435*t8683+(
-t8665+t8682*t8726)*t8727)*t8729+t7894+t9483+t9639+t9685+t9695+t9709;
-      coeffs_I->coeff_m1_0_m2 = t8847*t8727+t8740+t8625*t9163+t8220+t7923+t9088
-+t9488+t9531+t9775;
-      coeffs_I->coeff_0_0_m2 = t7911+t9435*t8672+t8515*t8871+(t8715+t9301*t8704
-)*t8727+(t9007+t9163)*t8670+t8889+t9479+t9497+t9634+t9706;
-      coeffs_I->coeff_p1_0_m2 = t7844+t7860+t8773+t8832*t8727+t8659*t9163+t9017
-+t9077+t9538+t9543;
-      coeffs_I->coeff_p2_0_m2 = t8765+t7835+t7821+t8828*t8727+t8678*t9163+t9101
-+t9142+t9537+t9555;
-      coeffs_I->coeff_p3_0_m2 = t7228+t8727*t9318+t8615*t9163+t8781+t9496+t9629
-+t9741;
-      coeffs_I->coeff_m2_p1_m2 = t7500+t7606+t7491+t7821+t8746+t8053+t7535+(
-t8661*y+t8662*t8726)*t9294+t8958+t9454+t9728;
-      coeffs_I->coeff_m1_p1_m2 = t7493+t7904+t7844+t7070+t8745+t7978+t9132+
-t9455+t9463;
-      coeffs_I->coeff_0_p1_m2 = t8090+t8829*t8727+t8749+t8659*t9007+t9066+t9538
-+t9589+t9622+t9656;
-      coeffs_I->coeff_p1_p1_m2 = t7829+t9056+t9441+t8208+t8166+t8525*t8871+
-t7923+t7911+t8077+t9494+t9636+t9711+t9774;
-      coeffs_I->coeff_p2_p1_m2 = t7741+t9442+t8767+t7819+t7087+t8250+t7956+
-t7770+t9444;
-      coeffs_I->coeff_p3_p1_m2 = t7738+t7753+t8817+t7706+t9272+t9486+t9578;
-      coeffs_I->coeff_m2_p2_m2 = t8580*t9249+t7422+t7651+t8742+t7680+t7640+
-t7630+t9509+t9626+t9631+t9642+t9743;
-      coeffs_I->coeff_m1_p2_m2 = t7503+t7522+t7108+t8737+t7735+t8939+t9466+
-t9474+t9715;
-      coeffs_I->coeff_0_p2_m2 = t7988+t8820*t8727+t8678*t9007+t8747+t7837+t9050
-+t9114+t9537+t9558;
-      coeffs_I->coeff_p1_p2_m2 = t7899+t7836+t9442+t7353+t7323+t7003+t8235+
-t8775+t9448;
-      coeffs_I->coeff_p2_p2_m2 = t7761+t8763+t7474+t7283+t8673*t8871+t7725+
-t7629+t9020+t9504+t9758+t9779;
-      coeffs_I->coeff_p3_p2_m2 = t7702+t8776+t7008+t6991+t9152+t9551+t9556;
-      coeffs_I->coeff_m2_p3_m2 = t8580*t9059+t8783+t7186+t7357+t7183+t7185+
-t9384+t9587+t9619;
-      coeffs_I->coeff_m1_p3_m2 = t7658+t7676+t7164+t8782+t9145+t9539+t9544;
-      coeffs_I->coeff_0_p3_m2 = t7617+t8668*t9409+t8615*t9007+t8781+t9516+t9663
-+t9737;
-      coeffs_I->coeff_p1_p3_m2 = t8810+t7524+t7229+t7540+t9317+t9486+t9549;
-      coeffs_I->coeff_p2_p3_m2 = t8793+t7497+t7058+t7207+t7774+t9366+t9556+
-t9586;
-      coeffs_I->coeff_p3_p3_m2 = t7759+t7039+t8535*t8871+t9412+t9610+t9641+
-t9674;
-      coeffs_I->coeff_m2_m2_m1 = t7691+t7486+t7228+t7230+t7607+t8635*t9175+
-t7233+t8760+t7754+t9170+t9465+t9615;
-      coeffs_I->coeff_m1_m2_m1 = t7613+t7856+t7711+t7282+t9471+t7188+t8509*
-t8872+t9467+t9136+t7355+t7147+t8067+t9705+t9742;
-      coeffs_I->coeff_0_m2_m1 = t7939+t8625*t8993+t8834*t8728+t7319+t8052+t8748
-+t9507+t9547+t9690+t9704;
-      coeffs_I->coeff_p1_m2_m1 = t7708+t8240+t8147+t7812+t8754+t9086+t9108+
-t9491+t9501;
-      coeffs_I->coeff_p2_m2_m1 = t7364+t9468+t7612+t8734+t7679+t9514+t9657+
-t9691+t9754;
-      coeffs_I->coeff_p3_m2_m1 = t7515+t8818+t7093+t7540+t9387+t9402+t9517+
-t9666;
-      coeffs_I->coeff_m2_m1_m1 = t8509*t9791+t8768+t7970+t7476+t7025+t7401+
-t7028+t7971+t9157+t9467+t9688;
-      coeffs_I->coeff_m1_m1_m1 = t7466+(t8480*t8724+t8557*x)*t9352+((t8557*z+
-t8480*t8725)*t8728+(t8480*t8726+t8557*y+RATIONAL(125.0,64.0)*t8728)*t8727)*
-t8729+t7349+t7359+t6924+t6943+t9092+t7579+t9094+t9607+t9611+t9644+t9739;
-      coeffs_I->coeff_0_m1_m1 = t8805+t7883+t8841*t8728+((t8576*t8724+t8605)*
-t8728+t8826)*t8727+t7816+t9048+t9171+t9540+t9597+t9761;
-      coeffs_I->coeff_p1_m1_m1 = t7553+t7994+t8066+t8751+(t8594*t8724+t8588*x)*
-t9352+t7332+t6916+t9458+t9594+t9693+t9707;
-      coeffs_I->coeff_p2_m1_m1 = (t8494*t8724+t8537*x)*t9352+t8738+t7214+t7167+
-t7157+t8190+t8299+t9103+t9476+t9698+t9760;
-      coeffs_I->coeff_p3_m1_m1 = t7673+t8778+t6948+t8157+t8158+t8537*t9072+
-t9395+t9523+t9764;
-      coeffs_I->coeff_m2_0_m1 = t8727*t8923+t8740+t8834*t8729+t8082+t8043+t9507
-+t9511+t9720+t9747;
-      coeffs_I->coeff_m1_0_m1 = t8805+((t8605+t8576*t8726)*t8727+t8841)*t8729+
-t8853*t8727+t7945+t9173+t9568+t9606+t9717+t9721+t9777;
-      coeffs_I->coeff_0_0_m1 = (t8717+t9301*t8720)*t8727+t8780+(t8883*z+t8884*
-t8725)*t8729+t8880*t8725+t8878*z+t7942+t8914+t9638+t9692+t9710;
-      coeffs_I->coeff_p1_0_m1 = t8854*t8727+t8744+t7460+t8227+t8822*t8729+t9055
-+t9131+t9548+t9575;
-      coeffs_I->coeff_p2_0_m1 = t7931+t8855*t8729+t8852*t8727+t8764+t8289+t9085
-+t9116+t9583+t9584;
-      coeffs_I->coeff_p3_0_m1 = t7810+t8724*t9268+t8838*t8729+t8812+t9054+t9532
-+t9749;
-      coeffs_I->coeff_m2_p1_m1 = t7931+t8745+t8199+t8157+t7685+t9126+t9464+
-t9491+t9660;
-      coeffs_I->coeff_m1_p1_m1 = t9129+t7581+t7631+t9103+t9458+(t8594*t8726+
-t8588*y)*t9294+t6942+t8227+t8119+t9125+t9502+t9723;
-      coeffs_I->coeff_0_p1_m1 = t7994+t8860*t8727+t8822*t8728+t8741+t9155+t9548
-+t9553+t9649+t9671;
-      coeffs_I->coeff_p1_p1_m1 = t7603+t7414+t7310+t8758+(t8556*z+t8481*t8725)*
-t9398+t7942+t7816+t7945+t8909+t9453+t9611;
-      coeffs_I->coeff_p2_p1_m1 = t7874+t7469+t9449+t8770+t6966+t8266+t8043+
-t9470+t9607;
-      coeffs_I->coeff_p3_p1_m1 = t8815+t7971+t8113+t7625+t9515+t9561+t9697;
-      coeffs_I->coeff_m2_p2_m1 = t7266+t7441+t7515+t8737+t7157+t9112+t9153+
-t9489+t9514;
-      coeffs_I->coeff_m1_p2_m1 = (t8537*y+t8494*t8726)*t9294+t8738+t7767+t7158+
-t8148+t8224+t9505+t9676+t9693+t9699+t9754;
-      coeffs_I->coeff_0_p2_m1 = t8240+t8855*t8728+t8837*t8727+t8769+t8293+t8998
-+t9118+t9524+t9584;
-      coeffs_I->coeff_p1_p2_m1 = t7973+t7939+t9449+t7537+t8752+t7071+t8280+
-t9460+t9644;
-      coeffs_I->coeff_p2_p2_m1 = t9462+t7304+t9169+t7188+t7025+(t8715*z+t8681*
-t8725)*t9398+t9094+t7754+t9500+t9682+t9752+t9757;
-      coeffs_I->coeff_p3_p2_m1 = t7691+t7506+t7282+t7072+t8109+t8814+t9541+
-t9557;
-      coeffs_I->coeff_m2_p3_m1 = t7364+t8788+t6989+t7267+t9035+t9517+t9539;
-      coeffs_I->coeff_m1_p3_m1 = t8147+t8778+t8537*t9059+t6934+t8092+t7520+
-t9298+t9569+t9776;
-      coeffs_I->coeff_0_p3_m1 = t8726*t9268+t7867+t8838*t8728+t8795+t9124+t9532
-+t9599;
-      coeffs_I->coeff_p1_p3_m1 = t8222+t8808+t8067+t8209+t9371+t9515+t9536;
-      coeffs_I->coeff_p2_p3_m1 = t8792+t7140+t7233+t8115+t9392+t9522+t9541;
-      coeffs_I->coeff_p3_p3_m1 = t7607+t7061+t7576+t7577+(t9414+t9269)*t9398+
-t8868+t9410;
-      coeffs_I->coeff_m2_m2_0 = t8794+t8728*t9074+(t9023+(t8665+t8682*t8725)*
-t8728)*t8729+t8004+t8005+t9133+t9482+t9592+t9632+t9672;
-      coeffs_I->coeff_m1_m2_0 = t8625*t9159+t8847*t8728+t7907+t7868+t8757+t9121
-+t9488+t9547+t9689;
-      coeffs_I->coeff_0_m2_0 = t8515*t8872+t8126+t9421*t8672+t8809+(t8715+t9276
-*t8704)*t8728+(t8993+t9159)*t8670+t8980+t9497+t9765;
-      coeffs_I->coeff_p1_m2_0 = t8762+t8832*t8728+t8659*t9159+t8118+t8076+t8929
-+t9109+t9527+t9543;
-      coeffs_I->coeff_p2_m2_0 = t8756+t8828*t8728+t7891+t8678*t9159+t7890+t9049
-+t9138+t9555+t9572;
-      coeffs_I->coeff_p3_m2_0 = t8728*t9318+t8729*t8941+t8802+t9081+t9381+t9629
-+t9667;
-      coeffs_I->coeff_m2_m1_0 = t8864*t8729+t8728*t8923+t8106+t8757+t8131+t9492
-+t9511+t9769+t9771;
-      coeffs_I->coeff_m1_m1_0 = t9106+((t8605+t8576*t8725)*t8728+t8826)*t8729+
-t8853*t8728+t8016+t8032+t9029+t9111+t9540+t9568+t9602+t9624;
-      coeffs_I->coeff_0_m1_0 = t7038+t7954+(t8637+t8619*t8727)*t8726+(t8638*
-t8727+t8700)*y+(t8717+t9276*t8720)*t8728+((t8619+t8483*t8727)*t8726+(t8638+
-t8555*t8727)*y)*t8729+t8963+t9019+t9480+t9692+t9735;
-      coeffs_I->coeff_p1_m1_0 = t8857*t8729+t8854*t8728+t8761+t7969+t7545+t8962
-+t9090+t9528+t9575;
-      coeffs_I->coeff_p2_m1_0 = t8165+t8743+t8304+t8844*t8729+t8852*t8728+t9115
-+t9161+t9546+t9583;
-      coeffs_I->coeff_p3_m1_0 = t8640*t9330+t8018+t8821*t8729+t8803+t8991+t9530
-+t9749;
-      coeffs_I->coeff_m2_0_0 = t8232+(t8715+t9374*t8704)*t8729+t8809+t9772+
-t9105+t9479+(t9336*t8670+t8672+t8927)*t9430;
-      coeffs_I->coeff_m1_0_0 = (t8717+t9374*t8720)*t8729+(t8883*t8727+t8878)*x+
-t8780+(t8884*t8727+t8880)*t8724+t9480+t9598+t9694+t9766;
-      coeffs_I->coeff_0_0_0 = RATIONAL(1.0,1.0)+(t8726+t9276)*RATIONAL(4.0,3.0)
-+(t8714+t9276*t8663)*t8728+(t8882*t8724+t8800)*t8727+(t8882*t8725+(t8522*t8726+
-t8653+RATIONAL(-343.0,27.0)*t8728)*t8727+t8800)*t8729+t9149+t9733+t9740;
-      coeffs_I->coeff_p1_0_0 = t7438+(t8720+t9374*t8634)*t8729+(t8876*t8727+
-t8875)*x+(t8510*t9352+t8707+t9336*t8649)*t8724+t8996+t9499+t9508+t9605+t9681;
-      coeffs_I->coeff_p2_0_0 = t8261+(t8885*t8727+t8881)*t8724+t8777+t8759*x+(
-t8716+t9374*t8700)*t8729+t8896+t9616+t9677+t9713;
-      coeffs_I->coeff_p3_0_0 = t7079+t7930+(t8672+t9374*t8722)*t8729+t8759*
-t8724+t9099+t9473+t9614;
-      coeffs_I->coeff_m2_p1_0 = t8762+t8205+t8829*t8729+t8140+t8728*t8975+t8896
-+t8991+t9519+t9589;
-      coeffs_I->coeff_m1_p1_0 = t8860*t8729+t7338+t8761+t8848*t8728+t7932+t8996
-+t9161+t9553+t9582;
-      coeffs_I->coeff_0_p1_0 = t7763+(t8649*t8727+t8707)*t8726+t8813+(t8720+
-t9276*t8634)*t8728+((t8649+t8510*t8727)*t8726+(t8647+t8586*t8727)*y)*t8729+(
-t8647*t8727+t8710)*y+t9090+t9499+t9725;
-      coeffs_I->coeff_p1_p1_0 = t8785+t8846*t8728+((t8517*t8725+t8632)*t8728+
-t8819)*t8729+t7614+t9111+t9521+t9598+t9733+t9735+t9748;
-      coeffs_I->coeff_p2_p1_0 = t8842*t8729+t8851*t8728+t8753+t8281+t9106+t9533
-+t9554+t9675+t9772;
-      coeffs_I->coeff_p3_p1_0 = t8900+t7898+t8862*t8729+t8796+t9503+t9770+t9771
-;
-      coeffs_I->coeff_m2_p2_0 = t8728*t9041+t8756+t8228+t8185+t8820*t8729+t9081
-+t9115+t9558+t9560;
-      coeffs_I->coeff_m1_p2_0 = t7869+t8837*t8729+t8833*t8728+t8743+t8302+t8962
-+t9138+t9524+t9585;
-      coeffs_I->coeff_0_p2_0 = t8285+t7404+(t8639+t8570*t8727)*t8726+t8886*y+(
-t8716+t9276*t8700)*t8728+((t8570+t8484*t8727)*t8726+t8874*y)*t8729+t8887+t8929+
-t9477+t9713+t9718;
-      coeffs_I->coeff_p1_p2_0 = t8850*t8729+t8753+t8849*t8728+t8301+t9029+t9588
-+t9590+t9683+t9765;
-      coeffs_I->coeff_p2_p2_0 = t8174+((t8712+t8705*t8725)*t8728+t8835)*t8729+
-t8791+t7992+t8861*t8728+t8173+t9121+t9133+t9624+t9745+t9769;
-      coeffs_I->coeff_p3_p2_0 = t7500+t8667*t9330+t8845*t8729+t8816+t9490+t9672
-+t9680;
-      coeffs_I->coeff_m2_p3_0 = t8668*t9351+t7795+t7222+t8728*t9040+t8802+t9049
-+t9659+t9663;
-      coeffs_I->coeff_m1_p3_0 = t8640*t9351+t7925+t8840*t8728+t8803+t9109+t9564
-+t9599;
-      coeffs_I->coeff_0_p3_0 = t8211+(t8672+t9276*t8722)*t8728+(t8874*t8729+
-t8886)*t8726+t8789+t9614+t9700;
-      coeffs_I->coeff_p1_p3_0 = t9148+t8145+t8836*t8728+t8786+t9503+t9604+t9689
-;
-      coeffs_I->coeff_p2_p3_0 = t7286+t8667*t9351+t8831*t8728+t8806+t9490+t9632
-+t9734;
-      coeffs_I->coeff_p3_p3_0 = t7664+t7482+t8899+(t9346+(t8615+t9296)*t8728)*
-t8729+t9314+t9592+t9633;
-      coeffs_I->coeff_m2_m2_p1 = (t8661*z+t8662*t8725)*t9398+t9454+t8228+t7781+
-t7378+t9452+t7318+t7293+t7375+t9035+t7540+t7890+t9648+t9650;
-      coeffs_I->coeff_m1_m2_p1 = t7869+t8772+t9463+t8076+t7679+t9501+t9652+
-t9755+t9776;
-      coeffs_I->coeff_0_m2_p1 = t7812+t8749+t8827*t8728+t8659*t8993+t9124+t9520
-+t9527+t9620+t9718;
-      coeffs_I->coeff_p1_m2_p1 = t8525*t8872+t8771+t8126+t7934+t7868+t8052+
-t8209+t7987+t9494+t9647+t9683+t9742;
-      coeffs_I->coeff_p2_m2_p1 = t8174+t7662+t7355+t6996+t9444+t8739+t8115+
-t8004+t9445;
-      coeffs_I->coeff_p3_m2_p1 = t7500+t8817+t7577+t7405+t9513+t9577+t9615;
-      coeffs_I->coeff_m2_m1_p1 = t8165+t9446+t8772+t7441+t7106+t8205+t8197+
-t9464+t9764;
-      coeffs_I->coeff_m1_m1_p1 = t8751+t7767+(t8588*z+t8594*t8725)*t9398+t7214+
-t7932+t7969+t9502+t9621+t9627+t9738+t9751;
-      coeffs_I->coeff_0_m1_p1 = t8066+t8857*t8727+t8741+t8824*t8728+t8998+t9528
-+t9581+t9623+t9725;
-      coeffs_I->coeff_p1_m1_p1 = t7648+t7583+(t8556*y+t8481*t8726)*t9294+t7883+
-t9447+t7537+t8758+t8016+t7954+t9739+t9748;
-      coeffs_I->coeff_p2_m1_p1 = t9440+t7566+t8770+t7046+t7359+t8106+t8281+
-t9469+t9752;
-      coeffs_I->coeff_p3_m1_p1 = t8790+t7898+t7853+t7506+t9157+t9561+t9576;
-      coeffs_I->coeff_m2_0_p1 = t8727*t8975+t8773+t8199+t8827*t8729+t9054+t9519
-+t9520+t9595+t9616;
-      coeffs_I->coeff_m1_0_p1 = t8848*t8727+t8744+t8119+t8824*t8729+t9085+t9581
-+t9582+t9681+t9714;
-      coeffs_I->coeff_0_0_p1 = (t8720+t9301*t8634)*t8727+t8813+(t8876*z+(t8649+
-t8510*t8728)*t8725)*t8729+t7445+(t8707+t8649*t8728)*t8725+t8875*z+t9055+t9508+
-t9649;
-      coeffs_I->coeff_p1_0_p1 = ((t8517*t8726+t8632)*t8727+t8863)*t8729+t8785+
-t8846*t8727+t7695+t8909+t9559+t9638+t9717+t9740+t9766;
-      coeffs_I->coeff_p2_0_p1 = t8075+t8859*t8729+t8851*t8727+t8750+t8266+t9105
-+t9506+t9533+t9777;
-      coeffs_I->coeff_p3_0_p1 = t9031+t8113+t8858*t8729+t8779+t9510+t9720+t9770
-;
-      coeffs_I->coeff_m2_p1_p1 = t8771+t8075+t7853+t7970+t9441+t8232+t8082+
-t8131+t8525*t9791+t9675+t9697;
-      coeffs_I->coeff_m1_p1_p1 = t9447+t7566+t7469+t9453+(t8556*x+t8481*t8724)*
-t9352+t9092+t8032+t7695+t7614+t9606+t9640+t9694;
-      coeffs_I->coeff_0_p1_p1 = t7648+((t8632+t8517*t8724)*t8728+t8819)*t8727+
-t7414+t7152+t8914+t8963+t8863*t8728+t9048+t9149+t9521+t9559;
-      coeffs_I->coeff_p1_p1_p1 = t7763+((t8526*t8725+t8602*z)*t8728+(t8526*
-t8726+t8602*y+RATIONAL(125.0,27.0)*t8728)*t8727)*t8729+t7428+t7438+t7338+t7460+
-t7445+(t8602*x+t8526*t8724)*t9352+t9125+t7545+t9621+t9623+t9671+t9707+t9714;
-      coeffs_I->coeff_p2_p1_p1 = (t8499*x+t8478*t8724)*t9352+t8261+t7631+t8304+
-t8289+t8140+t8766+t8299+t9472+t9595+t9601+t9627;
-      coeffs_I->coeff_p3_p1_p1 = t8018+t8801+t8158+t7930+t8197+t7810+t8499*
-t9072+t9126+t9573;
-      coeffs_I->coeff_m2_p2_p1 = t9448+t7476+t7405+t7046+t8739+t8109+t8173+
-t8005+t9451;
-      coeffs_I->coeff_m1_p2_p1 = t7583+t7907+t9440+t8752+t7349+t6996+t8301+
-t9457+t9757;
-      coeffs_I->coeff_0_p2_p1 = t8774+t8850*t8727+t8859*t8728+t8280+t7987+t8980
-+t9506+t9590+t9597;
-      coeffs_I->coeff_p1_p2_p1 = t7553+t8285+(t8478*t8726+t8499*y)*t9294+t8302+
-t8118+t8766+t8293+t9461+t9620+t9699+t9738;
-      coeffs_I->coeff_p2_p2_p1 = (t8708*t8725+t8711*z)*t9398+t7106+t7891+t8755+
-t8224+t8185+t9498+t9648+t9751+t9755+t9760;
-      coeffs_I->coeff_p3_p2_p1 = t7673+t8811+t7472+t7375+t7219+t9153+t9552+
-t9635;
-      coeffs_I->coeff_m2_p3_p1 = t8810+t7286+t7228+t7662+t9410+t9481+t9577;
-      coeffs_I->coeff_m1_p3_p1 = t7934+t7856+t8808+t8145+t9392+t9484+t9576;
-      coeffs_I->coeff_0_p3_p1 = t8222+t9012+t8858*t8728+t8779+t9485+t9604+t9690
-;
-      coeffs_I->coeff_p1_p3_p1 = t8211+t7867+t8499*t9059+t8092+t7925+t9086+
-t9562+t9573+t9652+t9732;
-      coeffs_I->coeff_p2_p3_p1 = t8807+t7781+t7222+t7520+t9552+t9563+t9657;
-      coeffs_I->coeff_p3_p3_p1 = t7318+t7267+(t9432+t8597*t8725)*t9398+t8869+
-t9402+t9712;
-      coeffs_I->coeff_m2_m2_p2 = t7473+t7452+t7266+t7288+t7224+t7801+z*t9063+
-t8742+t9529+t9619+t9664+t9691+t9716;
-      coeffs_I->coeff_m1_m2_p2 = t7618+t7708+t7658+t7940+t9443+t7296+t8734+
-t7582+t7158+t9466;
-      coeffs_I->coeff_0_m2_p2 = t8678*t8993+t8856*t8728+t7851+t7830+t8747+t9118
-+t9495+t9572+t9737;
-      coeffs_I->coeff_p1_m2_p2 = t9445+t7613+t8102+t7524+t7818+t7071+t8775+
-t8151+t9450;
-      coeffs_I->coeff_p2_m2_p2 = t9104+t8246+t7475+t7539+t7304+t7497+t9136+
-t8673*t8872+t9102+t9170+t9504+t9512;
-      coeffs_I->coeff_p3_m2_p2 = t7436+t8799+t7072+t7039+t8949+t9551+t9591;
-      coeffs_I->coeff_m2_m1_p2 = t7628+t7880+t7360+t7378+t9443+t8736+t7685+
-t7680+t9489+t9698;
-      coeffs_I->coeff_m1_m1_p2 = t7581+t9165+(t8494*t8725+t8537*z)*t9398+t9120+
-t9476+t7108+t8283+t7031+t9505+t9570+t9594+t9730;
-      coeffs_I->coeff_0_m1_p2 = t8288+t8096+t8844*t8727+t8839*t8728+t8769+t9114
-+t9155+t9546+t9565;
-      coeffs_I->coeff_p1_m1_p2 = t7466+t8733+t7310+t8262+t7003+t8170+t9162+
-t9460+t9469;
-      coeffs_I->coeff_p2_m1_p2 = t7874+t7626+t7474+t8735+t7189+(t8681*t8726+
-t8715*y)*t9294+t6943+t9166+t9500+t9688+t9736;
-      coeffs_I->coeff_p3_m1_p2 = t6991+t8804+t8073+t7798+t7625+t9475+t9557;
-      coeffs_I->coeff_m2_0_p2 = t8765+t8727*t9041+t7946+t8856*t8729+t8053+t9116
-+t9495+t9560+t9741;
-      coeffs_I->coeff_m1_0_p2 = t8764+t8256+t8839*t8729+t7978+t8833*t8727+t9131
-+t9142+t9565+t9585;
-      coeffs_I->coeff_0_0_p2 = (t8716+t9301*t8700)*t8727+(t8879*z+t8885*t8725)*
-t8729+t8881*t8725+t8877*z+t8777+t8290+t9077+t9477+t9622;
-      coeffs_I->coeff_p1_0_p2 = t8849*t8727+t8750+t8260+t8843*t8729+t9173+t9579
-+t9588+t9706+t9774;
-      coeffs_I->coeff_p2_0_p2 = t8060+t8791+t8861*t8727+((t8712+t8705*t8726)*
-t8727+t8830)*t8729+t7956+t9082+t9088+t9518+t9721+t9747;
-      coeffs_I->coeff_p3_0_p2 = t7738+t8724*t9347+t8825*t8729+t8784+t9493+t9680
-+t9695;
-      coeffs_I->coeff_m2_p1_p2 = t8060+t9450+t7706+t7401+t8767+t6966+t8073+
-t7894+t9451;
-      coeffs_I->coeff_m1_p1_p2 = t7603+t8733+t7087+t8220+t8260+t7579+t9166+
-t9457+t9470;
-      coeffs_I->coeff_0_p1_p2 = t8774+t7829+t8842*t8727+t8843*t8728+t8262+t8889
-+t9171+t9554+t9579;
-      coeffs_I->coeff_p1_p1_p2 = t8288+t9129+t7860+t9461+t7332+(t8478*t8725+
-t8499*z)*t9398+t9123+t8283+t8256+t8290+t9472+t9637+t9656;
-      coeffs_I->coeff_p2_p1_p2 = t7946+t7835+t7070+(t8711*y+t8708*t8726)*t9294+
-t8755+t6942+t8190+t9459+t9660+t9728+t9730;
-      coeffs_I->coeff_p3_p1_p2 = t7880+t7606+t7228+t8798+t9387+t9395+t9566+
-t9635;
-      coeffs_I->coeff_m2_p2_p2 = t7766+t7626+t8763+t7486+t7436+t7028+t8673*
-t9791+t7780+t9152+t9169+t9512;
-      coeffs_I->coeff_m1_p2_p2 = t7973+t7539+t8735+t7250+(t8681*t8724+t8715*x)*
-t9352+t7147+t7191+t6924+t9162+t9462+t9779;
-      coeffs_I->coeff_0_p2_p2 = t7899+((t8712+t8705*t8724)*t8728+t8835)*t8727+
-t9110+t8151+t8176+t8830*t8728+t9026+t9130+t9518+t9704+t9745+t9761;
-      coeffs_I->coeff_p1_p2_p2 = t7988+t9165+t7851+(t8711*x+t8708*t8724)*t9352+
-t9459+t6916+t7129+t8148+t9108+t9498+t9571+t9613;
-      coeffs_I->coeff_p2_p2_p2 = t7473+(t8631*t8724+t8680*x)*t9352+t7628+t7618+
-t7504+t7612+t9080+t7167+t7031+((t8680*z+t8631*t8725)*t8728+(t8680*y+t8631*t8726
-+RATIONAL(-1.0,8.0)*t8728)*t8727)*t8729+t6914+t9112+t9631+t9676+t9715;
-      coeffs_I->coeff_p3_p2_p2 = t7030+t8680*t9072+t7093+t7452+t6948+t9287+
-t9487+t9580+t9662+t9743;
-      coeffs_I->coeff_m2_p3_p2 = t7713+t7475+t8793+t7140+t6990+t9412+t9526+
-t9591;
-      coeffs_I->coeff_m1_p3_p2 = t8102+t7803+t7058+t8804+t9371+t9522+t9542;
-      coeffs_I->coeff_0_p3_p2 = t8726*t9347+t7540+t8825*t8728+t8784+t9478+t9726
-+t9734;
-      coeffs_I->coeff_p1_p3_p2 = t7940+t7258+t7617+t8798+t9298+t9563+t9567;
-      coeffs_I->coeff_p2_p3_p2 = t8787+t8680*t9059+t7224+t7164+t6989+t7183+
-t6934+t9087+t9580;
-      coeffs_I->coeff_p3_p3_p2 = t7185+t7205+(t9306+t9418)*t9398+t8865+t9600+
-t9716;
-      coeffs_I->coeff_m2_m2_p3 = t8725*t9063+t7790+t7036+t7640+t7010+t8908+
-t9307+t9360+t9574+t9587;
-      coeffs_I->coeff_m1_m2_p3 = t7503+t7286+t7202+t8818+t9332+t9535+t9544;
-      coeffs_I->coeff_0_m2_p3 = t7300+t8728*t9288+t7753+t8727*t8941+t8867+t9050
-+t9516+t9667;
-      coeffs_I->coeff_p1_m2_p3 = t7373+t7353+t7245+t8797+t9513+t9549+t9669;
-      coeffs_I->coeff_p2_m2_p3 = t8799+t7107+t7629+t7097+t9061+t9525+t9586;
-      coeffs_I->coeff_p3_m2_p3 = t7034+t7008+t8535*t8872+t8870+t9610+t9646;
-      coeffs_I->coeff_m2_m1_p3 = t7500+t7468+t8788+t6983+t9376+t9534+t9535;
-      coeffs_I->coeff_m1_m1_p3 = t8192+t7582+t7697+t6956+t8537*t9160+t7904+
-t9335+t9523+t9569+t9630+t9778;
-      coeffs_I->coeff_0_m1_p3 = t8640*t9364+t8079+t8821*t8727+t8795+t9066+t9530
-+t9744;
-      coeffs_I->coeff_p1_m1_p3 = t7488+t7997+t8790+t8077+t9128+t9536+t9550;
-      coeffs_I->coeff_p2_m1_p3 = t8792+t7756+t7449+t7819+t7006+t9475+t9545;
-      coeffs_I->coeff_p3_m1_p3 = t7311+t7805+(t8501*t8726+t8560*y)*t9294+t8868+
-t9272+t9753;
-      coeffs_I->coeff_m2_0_p3 = t8729*t9288+t8727*t9040+t8867+t9101+t9340+t9496
-+t9659;
-      coeffs_I->coeff_m1_0_p3 = t7878+t8640*t9311+t8840*t8727+t8812+t9017+t9564
-+t9744;
-      coeffs_I->coeff_0_0_p3 = t8123+(t8672+t9301*t8722)*t8727+(t8879*t8729+
-t8877)*t8725+t8789+t9473;
-      coeffs_I->coeff_p1_0_p3 = t7999+t9119+t8836*t8727+t8786+t9510+t9722+t9775
-;
-      coeffs_I->coeff_p2_0_p3 = t7490+t8667*t9311+t8831*t8727+t8806+t9493+t9639
-+t9661;
-      coeffs_I->coeff_p3_0_p3 = t8727*t9292+t7482+t7710+(t9406+(t8548*t8726+
-t8615)*t8727)*t8729+t8866+t9685;
-      coeffs_I->coeff_m2_p1_p3 = t7490+t8797+t7311+t7219+t7779+t7770+t9481+
-t9578;
-      coeffs_I->coeff_m1_p1_p3 = t8204+t7449+t8815+t7999+t9484+t9550+t9711;
-      coeffs_I->coeff_0_p1_p3 = t9135+t7997+t8862*t8727+t8796+t9485+t9701+t9722
-;
-      coeffs_I->coeff_p1_p1_p3 = t8192+t8123+t8499*t9160+t8801+t8079+t8065+
-t7878+t9132+t9562;
-      coeffs_I->coeff_p2_p1_p3 = t8807+t7491+t7229+t7980+t9335+t9372+t9566+
-t9759;
-      coeffs_I->coeff_p3_p1_p3 = t7346+t7329+t7535+t7406+(t8595*y+t8597*t8726)*
-t9294+t8869+t9376;
-      coeffs_I->coeff_m2_p2_p3 = t8776+t7006+t7034+t7580+t9020+t9525+t9526;
-      coeffs_I->coeff_m1_p2_p3 = t7488+t7711+t7836+t7215+t7107+t8814+t9542+
-t9545;
-      coeffs_I->coeff_0_p2_p3 = t7373+t8667*t9364+t8845*t8727+t8816+t9478+t9661
-+t9665;
-      coeffs_I->coeff_p1_p2_p3 = t7753+t7278+t8811+t7697+t7345+t8939+t9567+
-t9759;
-      coeffs_I->coeff_p2_p2_p3 = t8787+t8680*t9160+t7424+t7202+t7010+t6956+
-t6983+t9487+t9642;
-      coeffs_I->coeff_p3_p2_p3 = t7651+t7049+(t9363+t8507*y)*t9294+t9307+t9600+
-t9608+t9658;
-      coeffs_I->coeff_m2_p3_p3 = t7477+t7097+t8535*t9791+t8870+t9366+t9674;
-      coeffs_I->coeff_m1_p3_p3 = t7227+t7619+t7576+t7245+(t8560*x+t9377)*t9352+
-t9317+t9327+t9753;
-      coeffs_I->coeff_0_p3_p3 = t8725*t9315+(t9346+(t8615+t9262)*t8728)*t8727+
-t8866+t9633+t9673;
-      coeffs_I->coeff_p1_p3_p3 = t7652+t7676+t7290+t7346+(t8595*x+t9279)*t9352+
-t9332+t9338+t9712;
-      coeffs_I->coeff_p2_p3_p3 = t7425+t7036+(t8507*x+t9399)*t9352+t8865+t9384+
-t9608;
-      coeffs_I->coeff_p3_p3_p3 = t8727*t8970+t7186+t7204+(t9053+(t9266+t9267)*
-t8727)*t8729+t9360;
-- 
cgit v1.2.3