aboutsummaryrefslogtreecommitdiff
path: root/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-I.compute.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-I.compute.c')
-rw-r--r--src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeffs-I.compute.c4190
1 files changed, 0 insertions, 4190 deletions
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;
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-23 19:15:10 +0000