aboutsummaryrefslogtreecommitdiff
path: root/src/GeneralizedPolynomial-Uniform/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-I.compute.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/GeneralizedPolynomial-Uniform/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-I.compute.c')
-rw-r--r--src/GeneralizedPolynomial-Uniform/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-I.compute.c2724
1 files changed, 2724 insertions, 0 deletions
diff --git a/src/GeneralizedPolynomial-Uniform/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-I.compute.c b/src/GeneralizedPolynomial-Uniform/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-I.compute.c
new file mode 100644
index 0000000..64d1223
--- /dev/null
+++ b/src/GeneralizedPolynomial-Uniform/Lagrange-tensor-product/3d.coeffs/3d.cube.order4.smooth0/coeffs-I.compute.c
@@ -0,0 +1,2724 @@
+fp t9058;
+fp t9057;
+fp t9060;
+fp t9696;
+fp t8960;
+fp t9307;
+fp t9063;
+fp t8964;
+fp t9563;
+fp t9262;
+fp t10201;
+fp t9021;
+fp t9025;
+fp t9767;
+fp t9759;
+fp t10200;
+fp t9059;
+fp t9061;
+fp t9065;
+fp t9571;
+fp t8975;
+fp t9774;
+fp t9510;
+fp t10199;
+fp t9046;
+fp t9681;
+fp t9016;
+fp t9616;
+fp t9064;
+fp t8809;
+fp t10198;
+fp t9598;
+fp t9062;
+fp t9372;
+fp t9733;
+fp t9251;
+fp t10197;
+fp t9649;
+fp t9037;
+fp t10196;
+fp t9662;
+fp t9434;
+fp t9583;
+fp t10195;
+fp t8997;
+fp t9622;
+fp t8972;
+fp t9569;
+fp t10194;
+fp t9719;
+fp t9764;
+fp t9449;
+fp t10193;
+fp t8995;
+fp t9699;
+fp t9723;
+fp t10192;
+fp t9000;
+fp t9639;
+fp t9005;
+fp t9674;
+fp t9326;
+fp t10191;
+fp t9782;
+fp t9023;
+fp t9019;
+fp t9769;
+fp t10190;
+fp t9742;
+fp t9457;
+fp t9675;
+fp t9554;
+fp t10189;
+fp t9600;
+fp t9508;
+fp t9690;
+fp t9549;
+fp t10188;
+fp t9673;
+fp t9589;
+fp t10187;
+fp t9702;
+fp t9788;
+fp t9011;
+fp t10186;
+fp t9601;
+fp t9047;
+fp t9652;
+fp t10185;
+fp t9461;
+fp t9724;
+fp t9289;
+fp t10184;
+fp t9608;
+fp t9440;
+fp t9380;
+fp t10183;
+fp t10182;
+fp t8963;
+fp t9772;
+fp t9615;
+fp t9243;
+fp t10181;
+fp t9017;
+fp t8983;
+fp t9590;
+fp t10180;
+fp t8962;
+fp t9297;
+fp t10179;
+fp t9003;
+fp t9635;
+fp t9225;
+fp t9001;
+fp t9657;
+fp t10178;
+fp t9646;
+fp t9629;
+fp t9235;
+fp t10177;
+fp t9779;
+fp t9018;
+fp t9503;
+fp t9777;
+fp t8982;
+fp t10176;
+fp t9008;
+fp t9015;
+fp t9645;
+fp t10175;
+fp t9052;
+fp t10174;
+fp t9738;
+fp t9685;
+fp t10173;
+fp t9698;
+fp t8634;
+fp t9042;
+fp t9587;
+fp t10172;
+fp t8977;
+fp t10171;
+fp t9627;
+fp t8998;
+fp t10170;
+fp t9614;
+fp t8641;
+fp t10169;
+fp t9642;
+fp t8723;
+fp t9566;
+fp t8832;
+fp t10168;
+fp t9605;
+fp t10167;
+fp t10166;
+fp t9632;
+fp t9558;
+fp t10165;
+fp t9752;
+fp t10164;
+fp t9040;
+fp t9055;
+fp t9786;
+fp t10163;
+fp t9594;
+fp t9732;
+fp t10162;
+fp t9004;
+fp t9597;
+fp t10161;
+fp t8968;
+fp t9596;
+fp t10160;
+fp t9741;
+fp t9500;
+fp t9462;
+fp t10159;
+fp t9056;
+fp t9634;
+fp t9640;
+fp t10158;
+fp t9705;
+fp t10157;
+fp t9041;
+fp t9577;
+fp t10156;
+fp t9570;
+fp t9002;
+fp t9581;
+fp t10155;
+fp t10154;
+fp t9526;
+fp t10153;
+fp t9751;
+fp t10152;
+fp t8970;
+fp t8973;
+fp t10151;
+fp t9661;
+fp t8815;
+fp t10150;
+fp t9726;
+fp t10149;
+fp t8981;
+fp t9038;
+fp t9636;
+fp t10148;
+fp t9531;
+fp t9745;
+fp t10147;
+fp t8716;
+fp t8713;
+fp t10146;
+fp t9682;
+fp t10145;
+fp t9770;
+fp t9760;
+fp t10144;
+fp t8958;
+fp t10143;
+fp t10142;
+fp t8959;
+fp t9643;
+fp t9753;
+fp t10141;
+fp t9754;
+fp t10140;
+fp t9660;
+fp t10139;
+fp t9565;
+fp t10138;
+fp t9013;
+fp t9707;
+fp t9787;
+fp t10137;
+fp t10136;
+fp t9035;
+fp t9027;
+fp t9585;
+fp t10135;
+fp t8976;
+fp t9708;
+fp t9410;
+fp t9562;
+fp t10134;
+fp t9617;
+fp t9196;
+fp t10133;
+fp t9762;
+fp t9735;
+fp t9007;
+fp t9666;
+fp t9241;
+fp t10132;
+fp t9790;
+fp t9543;
+fp t9655;
+fp t9207;
+fp t9584;
+fp t9253;
+fp t10029;
+fp t9700;
+fp t9430;
+fp t9381;
+fp t7750;
+fp t10131;
+fp t8979;
+fp t9775;
+fp t9504;
+fp t8986;
+fp t9619;
+fp t9489;
+fp t10130;
+fp t9781;
+fp t9547;
+fp t9778;
+fp t9497;
+fp t10129;
+fp t9766;
+fp t9572;
+fp t9582;
+fp t9310;
+fp t10128;
+fp t8829;
+fp t10127;
+fp t9722;
+fp t10126;
+fp t9039;
+fp t9574;
+fp t9044;
+fp t10125;
+fp t9656;
+fp t9505;
+fp t7739;
+fp t9443;
+fp t9339;
+fp t9268;
+fp t10015;
+fp t9518;
+fp t10124;
+fp t9654;
+fp t10123;
+fp t9665;
+fp t10122;
+fp t9612;
+fp t10121;
+fp t9595;
+fp t10120;
+fp t9687;
+fp t10119;
+fp t9591;
+fp t9453;
+fp t10118;
+fp t9743;
+fp t9513;
+fp t10117;
+fp t9784;
+fp t9468;
+fp t9704;
+fp t9507;
+fp t10116;
+fp t10115;
+fp t9206;
+fp t10114;
+fp t9715;
+fp t9613;
+fp t10113;
+fp t9501;
+fp t10112;
+fp t9647;
+fp t9467;
+fp t9433;
+fp t10111;
+fp t9620;
+fp t9276;
+fp t9299;
+fp t9470;
+fp t10110;
+fp t9306;
+fp t10109;
+fp t9680;
+fp t9485;
+fp t9431;
+fp t9737;
+fp t9541;
+fp t10079;
+fp t10108;
+fp t9400;
+fp t9285;
+fp t10107;
+fp t9229;
+fp t9261;
+fp t10106;
+fp t9298;
+fp t10105;
+fp t9791;
+fp t9417;
+fp t10104;
+fp t9528;
+fp t10103;
+fp t9325;
+fp t9272;
+fp t10102;
+fp t8967;
+fp t9283;
+fp t8969;
+fp t10101;
+fp t9221;
+fp t10100;
+fp t9329;
+fp t8980;
+fp t9248;
+fp t10099;
+fp t9219;
+fp t10098;
+fp t9267;
+fp t9367;
+fp t10097;
+fp t9376;
+fp t9313;
+fp t8974;
+fp t8971;
+fp t10096;
+fp t9588;
+fp t9256;
+fp t9269;
+fp t10095;
+fp t10094;
+fp t9694;
+fp t9264;
+fp t9308;
+fp t10093;
+fp t10092;
+fp t9050;
+fp t9670;
+fp t9373;
+fp t10091;
+fp t9378;
+fp t10090;
+fp t8999;
+fp t9028;
+fp t10089;
+fp t9033;
+fp t9302;
+fp t10088;
+fp t10087;
+fp t9201;
+fp t10086;
+fp t10085;
+fp t9604;
+fp t9362;
+fp t10084;
+fp t10083;
+fp t10082;
+fp t9424;
+fp t10081;
+fp t9281;
+fp t9575;
+fp t9414;
+fp t10080;
+fp t9303;
+fp t9343;
+fp t9631;
+fp t9312;
+fp t10078;
+fp t9198;
+fp t9483;
+fp t10077;
+fp t9757;
+fp t9498;
+fp t9209;
+fp t10076;
+fp t9346;
+fp t9559;
+fp t9200;
+fp t10075;
+fp t9678;
+fp t9442;
+fp t10074;
+fp t9347;
+fp t10073;
+fp t9481;
+fp t9290;
+fp t10072;
+fp t9428;
+fp t9556;
+fp t9713;
+fp t9493;
+fp t10071;
+fp t10070;
+fp t9542;
+fp t10069;
+fp t9333;
+fp t10068;
+fp t10067;
+fp t8990;
+fp t9437;
+fp t9517;
+fp t9291;
+fp t9419;
+fp t10066;
+fp t9749;
+fp t9469;
+fp t9514;
+fp t10065;
+fp t9024;
+fp t9049;
+fp t9034;
+fp t9036;
+fp t10064;
+fp t9464;
+fp t9651;
+fp t9353;
+fp t10063;
+fp t9650;
+fp t9368;
+fp t9720;
+fp t9478;
+fp t9288;
+fp t10062;
+fp t9511;
+fp t9521;
+fp t10061;
+fp t9369;
+fp t8608;
+fp t10060;
+fp t10059;
+fp t9477;
+fp t9475;
+fp t10058;
+fp t9389;
+fp t9279;
+fp t10057;
+fp t9195;
+fp t9271;
+fp t10056;
+fp t9697;
+fp t9340;
+fp t10055;
+fp t8834;
+fp t9548;
+fp t8629;
+fp t10054;
+fp t9216;
+fp t10053;
+fp t9592;
+fp t9361;
+fp t10052;
+fp t10051;
+fp t9533;
+fp t9427;
+fp t10050;
+fp t10049;
+fp t9456;
+fp t9618;
+fp t9226;
+fp t9287;
+fp t10048;
+fp t10047;
+fp t8994;
+fp t9026;
+fp t9573;
+fp t9593;
+fp t8989;
+fp t10046;
+fp t8748;
+fp t9676;
+fp t8616;
+fp t10045;
+fp t9667;
+fp t9332;
+fp t9716;
+fp t9413;
+fp t10044;
+fp t10043;
+fp t9448;
+fp t10042;
+fp t9022;
+fp t9568;
+fp t9473;
+fp t10041;
+fp t10040;
+fp t9659;
+fp t9370;
+fp t9644;
+fp t9357;
+fp t8668;
+fp t10039;
+fp t9730;
+fp t9502;
+fp t9395;
+fp t9211;
+fp t10038;
+fp t9217;
+fp t10037;
+fp t9454;
+fp t9249;
+fp t10036;
+fp t10035;
+fp t9399;
+fp t10034;
+fp t9405;
+fp t9671;
+fp t8649;
+fp t9296;
+fp t10033;
+fp t10032;
+fp t9274;
+fp t9204;
+fp t8686;
+fp t10031;
+fp t8673;
+fp t9280;
+fp t10030;
+fp t10028;
+fp t10027;
+fp t9761;
+fp t9534;
+fp t9292;
+fp t10026;
+fp t9776;
+fp t9551;
+fp t9250;
+fp t10025;
+fp t10024;
+fp t10023;
+fp t9197;
+fp t9331;
+fp t10022;
+fp t9265;
+fp t9491;
+fp t10021;
+fp t9535;
+fp t9527;
+fp t9205;
+fp t9630;
+fp t9282;
+fp t10020;
+fp t9321;
+fp t10019;
+fp t10018;
+fp t9599;
+fp t9295;
+fp t9354;
+fp t9553;
+fp t10017;
+fp t9536;
+fp t9387;
+fp t9270;
+fp t9409;
+fp t10016;
+fp t9611;
+fp t10014;
+fp t9771;
+fp t9460;
+fp t10013;
+fp t10012;
+fp t9383;
+fp t9247;
+fp t10011;
+fp t10010;
+fp t10009;
+fp t9232;
+fp t10008;
+fp t9792;
+fp t9610;
+fp t9277;
+fp t9218;
+fp t10007;
+fp t9363;
+fp t9451;
+fp t10006;
+fp t9429;
+fp t10005;
+fp t9746;
+fp t9684;
+fp t10004;
+fp t9411;
+fp t10003;
+fp t10002;
+fp t9736;
+fp t8597;
+fp t10001;
+fp t8670;
+fp t9496;
+fp t10000;
+fp t9624;
+fp t8644;
+fp t9275;
+fp t9999;
+fp t9546;
+fp t9445;
+fp t9663;
+fp t9998;
+fp t9335;
+fp t9532;
+fp t9997;
+fp t9486;
+fp t9552;
+fp t9499;
+fp t9996;
+fp t9484;
+fp t9995;
+fp t9537;
+fp t9479;
+fp t9482;
+fp t9994;
+fp t9773;
+fp t9471;
+fp t9993;
+fp t9356;
+fp t9314;
+fp t9992;
+fp t9452;
+fp t9991;
+fp t9322;
+fp t9990;
+fp t9579;
+fp t9224;
+fp t9989;
+fp t9260;
+fp t9988;
+fp t9606;
+fp t9444;
+fp t9609;
+fp t9520;
+fp t9987;
+fp t9692;
+fp t8756;
+fp t9785;
+fp t9986;
+fp t9524;
+fp t9985;
+fp t9984;
+fp t9783;
+fp t9637;
+fp t9672;
+fp t8721;
+fp t9744;
+fp t9983;
+fp t9982;
+fp t8598;
+fp t9981;
+fp t9980;
+fp t9576;
+fp t8606;
+fp t9979;
+fp t9561;
+fp t9231;
+fp t9978;
+fp t8701;
+fp t9305;
+fp t9212;
+fp t9623;
+fp t9174;
+fp t9977;
+fp t9976;
+fp t9446;
+fp t9975;
+fp t9459;
+fp t9974;
+fp t9401;
+fp t9973;
+fp t9972;
+fp t8603;
+fp t9240;
+fp t9227;
+fp t9159;
+fp t8725;
+fp t9971;
+fp t9970;
+fp t9968;
+fp t9633;
+fp t9641;
+fp t8620;
+fp t9967;
+fp t9966;
+fp t9509;
+fp t9965;
+fp t9964;
+fp t8677;
+fp t9963;
+fp t9273;
+fp t9962;
+fp t9961;
+fp t9960;
+fp t9958;
+fp t7925;
+fp t9957;
+fp t9544;
+fp t9530;
+fp t9956;
+fp t9350;
+fp t9955;
+fp t9954;
+fp t9953;
+fp t9341;
+fp t9328;
+fp t9952;
+fp t9348;
+fp t9951;
+fp t9950;
+fp t9949;
+fp t9948;
+fp t9242;
+fp t9379;
+fp t9947;
+fp t9342;
+fp t9679;
+fp t9516;
+fp t9398;
+fp t9946;
+fp t9945;
+fp t9220;
+fp t9944;
+fp t9943;
+fp t9942;
+fp t9941;
+fp t9940;
+fp t9352;
+fp t9939;
+fp t9344;
+fp t9364;
+fp t9938;
+fp t9371;
+fp t9937;
+fp t9625;
+fp t9626;
+fp t9653;
+fp t8689;
+fp t9936;
+fp t9664;
+fp t9257;
+fp t9412;
+fp t9396;
+fp t9935;
+fp t7687;
+fp t9934;
+fp t9933;
+fp t9402;
+fp t9450;
+fp t9580;
+fp t9932;
+fp t9931;
+fp t9930;
+fp t9390;
+fp t9929;
+fp t9375;
+fp t9366;
+fp t9330;
+fp t9432;
+fp t9320;
+fp t9928;
+fp t9927;
+fp t9259;
+fp t9926;
+fp t9925;
+fp t9924;
+fp t9683;
+fp t9923;
+fp t9922;
+fp t9921;
+fp t9920;
+fp t9919;
+fp t9729;
+fp t9441;
+fp t9918;
+fp t9917;
+fp t8139;
+fp t9916;
+fp t9915;
+fp t9914;
+fp t8595;
+fp t9913;
+fp t9912;
+fp t9789;
+fp t9564;
+fp t9266;
+fp t9557;
+fp t9658;
+fp t9911;
+fp t9293;
+fp t9910;
+fp t9909;
+fp t9908;
+fp t9907;
+fp t9238;
+fp t9906;
+fp t9435;
+fp t8071;
+fp t9905;
+fp t9711;
+fp t9263;
+fp t9904;
+fp t9391;
+fp t9540;
+fp t9436;
+fp t9213;
+fp t9903;
+fp t9902;
+fp t9718;
+fp t9515;
+fp t9901;
+fp t9900;
+fp t9899;
+fp t9337;
+fp t9525;
+fp t9418;
+fp t9898;
+fp t9578;
+fp t8931;
+fp t9319;
+fp t8929;
+fp t9897;
+fp t9309;
+fp t9896;
+fp t9480;
+fp t9895;
+fp t9317;
+fp t9894;
+fp t9358;
+fp t9893;
+fp t9892;
+fp t9891;
+fp t9890;
+fp t9286;
+fp t9889;
+fp t9385;
+fp t9210;
+fp t9888;
+fp t9887;
+fp t7990;
+fp t9886;
+fp t9885;
+fp t8148;
+fp t9884;
+fp t9883;
+fp t9882;
+fp t8895;
+fp t8890;
+fp t9881;
+fp t9203;
+fp t9880;
+fp t9879;
+fp t9878;
+fp t9408;
+fp t9877;
+fp t9876;
+fp t9875;
+fp t9874;
+fp t9873;
+fp t9872;
+fp t9871;
+fp t8714;
+fp t8927;
+fp t9388;
+fp t8923;
+fp t9870;
+fp t9143;
+fp t9869;
+fp t9868;
+fp t9147;
+fp t9867;
+fp t9458;
+fp t9490;
+fp t9866;
+fp t9439;
+fp t9865;
+fp t8684;
+fp t9712;
+fp t9864;
+fp t9316;
+fp t9404;
+fp t9863;
+fp t9862;
+fp t9425;
+fp t8662;
+fp t9740;
+fp t9861;
+fp t9860;
+fp t9426;
+fp t9355;
+fp t9545;
+fp t9529;
+fp t9859;
+fp t8738;
+fp t9202;
+fp t9734;
+fp t9858;
+fp t9351;
+fp t9602;
+fp t9857;
+fp t8754;
+fp t9686;
+fp t9555;
+fp t9415;
+fp t9856;
+fp t9855;
+fp t9438;
+fp t9854;
+fp t9689;
+fp t8751;
+fp t8661;
+fp t9853;
+fp t9701;
+fp t9607;
+fp t8752;
+fp t8683;
+fp t9852;
+fp t9474;
+fp t9851;
+fp t9717;
+fp t9669;
+fp t8770;
+fp t8659;
+fp t9850;
+fp t9849;
+fp t9728;
+fp t9848;
+fp t9847;
+fp t9739;
+fp t9233;
+fp t9846;
+fp t9386;
+fp t9294;
+fp t9688;
+fp t8710;
+fp t9845;
+fp t9710;
+fp t9709;
+fp t9394;
+fp t9844;
+fp t9843;
+fp t9721;
+fp t9311;
+fp t9842;
+fp t9841;
+fp t9768;
+fp t9495;
+fp t9840;
+fp t9714;
+fp t9839;
+fp t9382;
+fp t8744;
+fp t9731;
+fp t9838;
+fp t9567;
+fp t9638;
+fp t9837;
+fp t8746;
+fp t9300;
+fp t9836;
+fp t8839;
+fp t9835;
+fp t9834;
+fp t9833;
+fp t9392;
+fp t9832;
+fp t9214;
+fp t9831;
+fp t8794;
+fp t9830;
+fp t9756;
+fp t9403;
+fp t8827;
+fp t9829;
+fp t8625;
+fp t9828;
+fp t8687;
+fp t9827;
+fp t8763;
+fp t8753;
+fp t9826;
+fp t9825;
+fp t9824;
+fp t9750;
+fp t9823;
+fp t9822;
+fp t9677;
+fp t9821;
+fp t8775;
+fp t9706;
+fp t8776;
+fp t9725;
+fp t9820;
+fp t9727;
+fp t8592;
+fp t9819;
+fp t8602;
+fp t9818;
+fp t9817;
+fp t9816;
+fp t9815;
+fp t9814;
+fp t9813;
+fp t9812;
+fp t9811;
+fp t9810;
+fp t9809;
+fp t9808;
+fp t9807;
+fp t9806;
+fp t9805;
+fp t9804;
+fp t7923;
+fp t9803;
+fp t9802;
+fp t9801;
+fp t9800;
+fp t9799;
+fp t9798;
+fp t9797;
+fp t9796;
+fp t9795;
+fp t9794;
+fp t9793;
+fp t8952;
+fp t9703;
+fp t8950;
+fp t9693;
+fp t7904;
+fp t9691;
+fp t9668;
+fp t8949;
+fp t9628;
+fp t7817;
+fp t9621;
+fp t8945;
+fp t9603;
+fp t7706;
+fp t9560;
+fp t8845;
+fp t9487;
+fp t8833;
+fp t8853;
+fp t9422;
+fp t9416;
+fp t9397;
+fp t9374;
+fp t9194;
+fp t9193;
+fp t9192;
+fp t9191;
+fp t9188;
+fp t9187;
+fp t9186;
+fp t9185;
+fp t9184;
+fp t9183;
+fp t9030;
+fp t8966;
+fp t8987;
+fp t9180;
+fp t9010;
+fp t9009;
+fp t9048;
+fp t9179;
+fp t9178;
+fp t9006;
+fp t9043;
+fp t9177;
+fp t9029;
+fp t8993;
+fp t8991;
+fp t9176;
+fp t9045;
+fp t9054;
+fp t9175;
+fp t9014;
+fp t9032;
+fp t9173;
+fp t8984;
+fp t9172;
+fp t9012;
+fp t8978;
+fp t9171;
+fp t9170;
+fp t9169;
+fp t9051;
+fp t8992;
+fp t9168;
+fp t8965;
+fp t9167;
+fp t9166;
+fp t9165;
+fp t8996;
+fp t9164;
+fp t9053;
+fp t9163;
+fp t9162;
+fp t9020;
+fp t9031;
+fp t9161;
+fp t9160;
+fp t9158;
+fp t8985;
+fp t9157;
+fp t9156;
+fp t9155;
+fp t9154;
+fp t9153;
+fp t9152;
+fp t9151;
+fp t9150;
+fp t9148;
+fp t9146;
+fp t9145;
+fp t9144;
+fp t9142;
+fp t9141;
+fp t9140;
+fp t8988;
+fp t8961;
+fp t9139;
+fp t9138;
+fp t9137;
+fp t9136;
+fp t9135;
+fp t9134;
+fp t9133;
+fp t9132;
+fp t9131;
+fp t9130;
+fp t9129;
+fp t9128;
+fp t9127;
+fp t9126;
+fp t9125;
+fp t9124;
+fp t9123;
+fp t9122;
+fp t9121;
+fp t9120;
+fp t9119;
+fp t9118;
+fp t9117;
+fp t9116;
+fp t9115;
+fp t9114;
+fp t9113;
+fp t9112;
+fp t9111;
+fp t9110;
+fp t9109;
+fp t9108;
+fp t9107;
+fp t9106;
+fp t9105;
+fp t9104;
+fp t9103;
+fp t9102;
+fp t9101;
+fp t9100;
+fp t9099;
+fp t9098;
+fp t9097;
+fp t9096;
+fp t9095;
+fp t9094;
+fp t9093;
+fp t9092;
+fp t9091;
+fp t9090;
+fp t9089;
+fp t9088;
+fp t9087;
+fp t9086;
+fp t9085;
+fp t9084;
+fp t9083;
+fp t9082;
+fp t9081;
+fp t9080;
+fp t9079;
+fp t9078;
+fp t9077;
+fp t9076;
+fp t9075;
+fp t9074;
+fp t9073;
+fp t9072;
+ t9058 = z*z;
+ t9057 = x*x;
+ t9060 = t9057*x;
+ t9696 = t9058*t9060;
+ t8960 = RATIONAL(1.0,1728.0);
+ t9307 = t8960*t9696;
+ t9063 = t9058*t9058;
+ t8964 = RATIONAL(-1.0,1728.0);
+ t9563 = t9063*t8964;
+ t9262 = t9060*t9563;
+ t10201 = t9262+t9307;
+ t9021 = RATIONAL(-1.0,54.0);
+ t9025 = RATIONAL(2.0,27.0);
+ t9767 = x*t9025;
+ t9759 = z*t9060;
+ t10200 = t9021*t9759+z*t9767;
+ t9059 = y*y;
+ t9061 = t9059*y;
+ t9065 = t9057*t9057;
+ t9571 = t9061*t9065;
+ t8975 = RATIONAL(1.0,216.0);
+ t9774 = y*t9065;
+ t9510 = t9021*t9774;
+ t10199 = t8975*t9571+t9510;
+ t9046 = RATIONAL(-1.0,9.0);
+ t9681 = t9046*t9060;
+ t9016 = RATIONAL(-1.0,36.0);
+ t9616 = t9016*t9060;
+ t9064 = t9059*t9059;
+ t8809 = t9064*t9616;
+ t10198 = t9681+t8809;
+ t9598 = t9064*t9057;
+ t9062 = t9058*z;
+ t9372 = t9062*t9598;
+ t9733 = t9062*t9065;
+ t9251 = t9059*t9733;
+ t10197 = t9251+t9372;
+ t9649 = t9065*t9046;
+ t9037 = RATIONAL(1.0,36.0);
+ t10196 = t9037*t9733+z*t9649;
+ t9662 = t9021*t9063;
+ t9434 = y*t9662;
+ t9583 = t9061*t8975;
+ t10195 = t9434+t9063*t9583;
+ t8997 = RATIONAL(-1.0,288.0);
+ t9622 = t8997*t9058;
+ t8972 = RATIONAL(-5.0,1152.0);
+ t9569 = t9063*t8972;
+ t10194 = t9057*t9569+t9622;
+ t9719 = t9061*t8964;
+ t9764 = z*t8960;
+ t9449 = t9061*t9764;
+ t10193 = t9062*t9719+t9449;
+ t8995 = RATIONAL(1.0,288.0);
+ t9699 = t8995*t9058;
+ t9723 = t9063*t8997;
+ t10192 = t9699+t9723;
+ t9000 = RATIONAL(1.0,144.0);
+ t9639 = t9062*t9000;
+ t9005 = RATIONAL(1.0,576.0);
+ t9674 = t9065*t9005;
+ t9326 = t9062*t9674;
+ t10191 = t9326+t9639;
+ t9782 = z*t9065;
+ t9023 = RATIONAL(-2.0,27.0);
+ t9019 = RATIONAL(8.0,27.0);
+ t9769 = z*t9019;
+ t10190 = t9023*t9782+t9057*t9769;
+ t9742 = t9062*t9059;
+ t9457 = x*t9742;
+ t9675 = t9060*t9059;
+ t9554 = z*t9675;
+ t10189 = t9554+t9457;
+ t9600 = t9058*t9059;
+ t9508 = x*t9600;
+ t9690 = t9063*t9064;
+ t9549 = x*t9690;
+ t10188 = t9549+t9508;
+ t9673 = t9061*t9063;
+ t9589 = t9063*t9046;
+ t10187 = y*t9589+t9037*t9673;
+ t9702 = t9063*t9060;
+ t9788 = x*t9063;
+ t9011 = RATIONAL(1.0,54.0);
+ t10186 = t9023*t9788+t9011*t9702;
+ t9601 = t9065*t9016;
+ t9047 = RATIONAL(1.0,9.0);
+ t9652 = t9047*t9065;
+ t10185 = t9062*t9601+z*t9652;
+ t9461 = z*t9719;
+ t9724 = t9062*t8960;
+ t9289 = t9061*t9724;
+ t10184 = t9461+t9289;
+ t9608 = t9058*t9064;
+ t9440 = x*t9608;
+ t9380 = t9060*t9600;
+ t10183 = t9380+t9440;
+ t10182 = t9065*t9639+z*t9601;
+ t8963 = RATIONAL(-1.0,3456.0);
+ t9772 = y*t9058;
+ t9615 = t9063*t8963;
+ t9243 = t9061*t9615;
+ t10181 = t9243+t8963*t9772;
+ t9017 = RATIONAL(1.0,27.0);
+ t8983 = RATIONAL(-1.0,108.0);
+ t9590 = t9063*t9059;
+ t10180 = t8983*t9590+t9017*t9600;
+ t8962 = RATIONAL(1.0,3456.0);
+ t9297 = t8962*t9696;
+ t10179 = t9060*t9615+t9297;
+ t9003 = RATIONAL(5.0,576.0);
+ t9635 = t9003*t9058;
+ t9225 = t9061*t9635;
+ t9001 = RATIONAL(-1.0,144.0);
+ t9657 = t9061*t9001;
+ t10178 = t9657+t9225;
+ t9646 = t9062*t9064;
+ t9629 = t8962*t9059;
+ t9235 = t9062*t9629;
+ t10177 = t8963*t9646+t9235;
+ t9779 = z*t9059;
+ t9018 = RATIONAL(-1.0,27.0);
+ t9503 = t9018*t9779;
+ t9777 = z*t9064;
+ t8982 = RATIONAL(1.0,108.0);
+ t10176 = t9503+t8982*t9777;
+ t9008 = RATIONAL(-1.0,72.0);
+ t9015 = RATIONAL(-1.0,18.0);
+ t9645 = t9015*t9057;
+ t10175 = t9645+t9008*t9598;
+ t9052 = RATIONAL(-4.0,9.0);
+ t10174 = x*t9052+t9047*t9060;
+ t9738 = t9064*t9046;
+ t9685 = t9064*t9060;
+ t10173 = t9037*t9685+x*t9738;
+ t9698 = t8995*t9065;
+ t8634 = t9062*t9698;
+ t9042 = RATIONAL(1.0,72.0);
+ t9587 = t9042*t9062;
+ t10172 = t8634+t9587;
+ t8977 = RATIONAL(-1.0,432.0);
+ t10171 = t9064*t9563+t8977*t9600;
+ t9627 = t9015*t9059;
+ t8998 = RATIONAL(-5.0,288.0);
+ t10170 = t9627+t8998*t9608;
+ t9614 = t9061*t9008;
+ t8641 = t8997*t9571;
+ t10169 = t9614+t8641;
+ t9642 = t9042*t9065;
+ t8723 = y*t9642;
+ t9566 = t9008*t9065;
+ t8832 = t9061*t9566;
+ t10168 = t8723+t8832;
+ t9605 = t9061*t9057;
+ t10167 = t9657+t9003*t9605;
+ t10166 = t9019*t9772+t9011*t9673;
+ t9632 = t9011*t9064;
+ t9558 = t9062*t9023;
+ t10165 = t9059*t9558+t9062*t9632;
+ t9752 = t9065*t9037;
+ t10164 = t9016*t9057+t9752;
+ t9040 = RATIONAL(-5.0,36.0);
+ t9055 = RATIONAL(5.0,9.0);
+ t9786 = y*t9057;
+ t10163 = t9055*t9786+t9040*t9605;
+ t9594 = t9061*t9016;
+ t9732 = t9063*t9047;
+ t10162 = y*t9732+t9063*t9594;
+ t9004 = RATIONAL(-1.0,576.0);
+ t9597 = t9064*t9004;
+ t10161 = z*t9597+t9639;
+ t8968 = RATIONAL(-1.0,6912.0);
+ t9596 = t8968*t9058;
+ t10160 = t9064*t9596+t8968*t9590;
+ t9741 = t9065*t9059;
+ t9500 = z*t9741;
+ t9462 = z*t9598;
+ t10159 = t9462+t9500;
+ t9056 = RATIONAL(4.0,9.0);
+ t9634 = t9056*t9057;
+ t9640 = t9063*t9057;
+ t10158 = t9047*t9640+t9634;
+ t9705 = t9021*t9059;
+ t10157 = t9062*t9705+t9025*t9779;
+ t9041 = RATIONAL(-5.0,72.0);
+ t9577 = t9058*t9041;
+ t10156 = t9057*t9577+t9065*t9723;
+ t9570 = t9062*t9001;
+ t9002 = RATIONAL(-5.0,576.0);
+ t9581 = t9002*t9057;
+ t10155 = z*t9581+t9570;
+ t10154 = t8964*t9608+t8977*t9590;
+ t9526 = z*t9571;
+ t10153 = t9526+y*t9733;
+ t9751 = t9047*t9064;
+ t10152 = t9016*t9646+z*t9751;
+ t8970 = RATIONAL(5.0,1152.0);
+ t8973 = RATIONAL(1.0,1152.0);
+ t10151 = t8973*t9608+t8970*t9590;
+ t9661 = t9061*t9047;
+ t8815 = t9037*t9571;
+ t10150 = t9661+t8815;
+ t9726 = t9062*t9046;
+ t10149 = t9726+z*t9056;
+ t8981 = RATIONAL(5.0,288.0);
+ t9038 = RATIONAL(1.0,18.0);
+ t9636 = t9038*t9058;
+ t10148 = t8981*t9640+t9636;
+ t9531 = z*t9605;
+ t9745 = z*t9774;
+ t10147 = t9531+t9745;
+ t8716 = y*t9566;
+ t8713 = t9042*t9571;
+ t10146 = t8713+t8716;
+ t9682 = t9001*t9060;
+ t10145 = x*t9000+t9682;
+ t9770 = y*t8982;
+ t9760 = y*t9018;
+ t10144 = t9057*t9760+t9065*t9770;
+ t8958 = RATIONAL(-1.0,1152.0);
+ t10143 = t8958*t9590+t8972*t9608;
+ t10142 = t8963*t9786+t8962*t9774;
+ t8959 = RATIONAL(1.0,6912.0);
+ t9643 = t8959*t9065;
+ t9753 = t9059*t9057;
+ t10141 = t9064*t9643+t8959*t9753;
+ t9754 = t9064*t9065;
+ t10140 = t9059*t9643+t8968*t9754;
+ t9660 = t9016*t9059;
+ t10139 = t9064*t9037+t9660;
+ t9565 = t8958*t9064;
+ t10138 = t9059*t9569+t9622+t9058*t9565;
+ t9013 = RATIONAL(-8.0,27.0);
+ t9707 = t9061*t9058;
+ t9787 = y*t9063;
+ t10137 = t9013*t9772+(t9707+t9787)*t9025;
+ t10136 = t9590+t9741;
+ t9035 = RATIONAL(1.0,24.0);
+ t9027 = RATIONAL(-5.0,96.0);
+ t9585 = t9027*t9057;
+ t10135 = t9035+t9585;
+ t8976 = RATIONAL(1.0,432.0);
+ t9708 = t9061*t9060;
+ t9410 = t8976*t9708;
+ t9562 = z*t9760;
+ t10134 = x*t9562+t9062*t9410;
+ t9617 = t8981*t9058;
+ t9196 = t9061*t9617;
+ t10133 = t9196+t9614;
+ t9762 = y*t8975;
+ t9735 = z*t9762;
+ t9007 = RATIONAL(-1.0,864.0);
+ t9666 = t9007*t9060;
+ t9241 = t9061*t9666;
+ t10132 = t9062*t9241+x*t9735;
+ t9790 = x*z;
+ t9543 = t9017*t9779;
+ t9655 = t8982*t9059;
+ t9207 = t9060*t9655;
+ t9584 = t9064*t8983;
+ t9253 = t9060*t9646;
+ t10029 = t9062*t9207+x*t9543+t9584*t9790+t8977*t9253;
+ t9700 = t9062*t8983;
+ t9430 = x*t9700;
+ t9381 = t8976*t9646;
+ t7750 = x*t9381;
+ t10131 = t9059*t9430+t10029+t10176*t9060+t7750;
+ t8979 = RATIONAL(1.0,864.0);
+ t9775 = t9061*z;
+ t9504 = t8979*t9775;
+ t8986 = RATIONAL(-1.0,216.0);
+ t9619 = t8986*t9060;
+ t9489 = y*t9619;
+ t10130 = x*t9504+t9062*t9489;
+ t9781 = x*t8986;
+ t9547 = t9061*t9781;
+ t9778 = y*t9060;
+ t9497 = t8979*t9778;
+ t10129 = z*t9547+t9062*t9497;
+ t9766 = y*t9017;
+ t9572 = x*t9766;
+ t9582 = t9061*t8977;
+ t9310 = t9062*t9582;
+ t10128 = t9060*t9310+z*t9572;
+ t8829 = t9016*t9571;
+ t10127 = t8829+y*t9652;
+ t9722 = t8997*t9059;
+ t10126 = t8972*t9598+t9722;
+ t9039 = RATIONAL(5.0,24.0);
+ t9574 = t9039*t9059;
+ t9044 = RATIONAL(-1.0,6.0);
+ t10125 = t9044+t9574;
+ t9656 = t9064*t8977;
+ t9505 = x*t9656;
+ t7739 = t9062*t9505;
+ t9443 = x*t9655;
+ t9339 = t9060*t9584;
+ t9268 = t9062*t9675;
+ t10015 = t8976*t9253+t8983*t9268+t10176*x;
+ t9518 = t9017*t9759;
+ t10124 = t7739+z*t9339+t9062*t9443+t9059*t9518+t10015;
+ t9654 = t9058*t9065;
+ t10123 = t9608+t9654;
+ t9665 = t8997*t9057;
+ t10122 = t9057*t9565+t9665;
+ t9612 = t9058*t9037;
+ t10121 = t9612+t9063*t9016;
+ t9595 = t9063*t8973;
+ t10120 = t8970*t9654+t9057*t9595;
+ t9687 = t8995*t9057;
+ t10119 = t8997*t9065+t9687;
+ t9591 = t9062*t9007;
+ t9453 = x*t9591;
+ t10118 = t9061*t9453+t9060*t9735;
+ t9743 = x*t9775;
+ t9513 = t9060*t9770;
+ t10117 = t9062*t9513+t8983*t9743;
+ t9784 = x*t8982;
+ t9468 = t9062*t9784;
+ t9704 = t8983*t9060;
+ t9507 = y*t9704;
+ t10116 = z*t9507+t9061*t9468;
+ t10115 = t9636+t8981*t9590;
+ t9206 = t9061*t9700;
+ t10114 = x*t9206+z*t9513;
+ t9715 = t9063*t9037;
+ t9613 = t9058*t9016;
+ t10113 = t9613+t9715;
+ t9501 = t9061*x*t9062;
+ t10112 = t8979*t9501+z*t9489;
+ t9647 = t9061*t8982;
+ t9467 = z*t9647;
+ t9433 = y*t9700;
+ t10111 = x*t9467+t9060*t9433;
+ t9620 = t8976*t9058;
+ t9276 = t9060*t9620;
+ t9299 = t9061*t9563;
+ t9470 = x*t9707;
+ t10110 = y*t9276+x*t9299+t8960*t9470;
+ t9306 = t9061*t9620;
+ t10109 = x*t9306+t10201*y;
+ t9680 = t9062*t8986;
+ t9485 = x*t9680;
+ t9431 = z*t9583;
+ t9737 = t9062*t9060;
+ t9541 = y*t9737;
+ t10079 = x*t9431+t9007*t9541;
+ t10108 = z*t9497+t9061*t9485+t10079;
+ t9400 = t9063*t9598;
+ t9285 = t9065*t9600;
+ t10107 = t8962*t9400+t9007*t9285;
+ t9229 = t9064*t9615;
+ t9261 = t8979*t9600;
+ t10106 = t9057*t9261+t9065*t9229;
+ t9298 = t8979*t9640;
+ t10105 = t9064*t9298+t8963*t9285;
+ t9791 = y*z;
+ t9417 = t8979*t9708;
+ t10104 = t9062*t9417+t9781*t9791;
+ t9528 = t9062*t9762;
+ t10103 = z*t9241+x*t9528;
+ t9325 = t9065*t9590;
+ t9272 = t9007*t9598;
+ t10102 = t9058*t9272+t8962*t9325;
+ t8967 = RATIONAL(5.0,2304.0);
+ t9283 = t9058*t9598;
+ t8969 = RATIONAL(-1.0,2304.0);
+ t10101 = t8967*t9283+t8969*t9325;
+ t9221 = t8979*t9590;
+ t10100 = t9065*t9221+t8963*t9283;
+ t9329 = t9065*t9608;
+ t8980 = RATIONAL(-5.0,144.0);
+ t9248 = t8980*t9590;
+ t10099 = t9005*t9329+t9057*t9248;
+ t9219 = t9064*t9581;
+ t10098 = t9058*t9219+t9000*t9325;
+ t9267 = t8980*t9600;
+ t9367 = t9005*t9598;
+ t10097 = t9065*t9267+t9063*t9367;
+ t9376 = t9057*t9600;
+ t9313 = t9065*t9690;
+ t8974 = RATIONAL(1.0,2304.0);
+ t8971 = RATIONAL(-5.0,2304.0);
+ t10096 = t8971*t9376+t8974*t9313;
+ t9588 = t8986*t9059;
+ t9256 = t9063*t9588;
+ t9269 = t8975*t9608;
+ t10095 = t9057*t9269+t9065*t9256;
+ t10094 = t8969*t9400+t8967*t9285;
+ t9694 = t8979*t9065;
+ t9264 = t9063*t9694;
+ t9308 = t9057*t9705;
+ t10093 = t9064*t9264+t9058*t9308;
+ t10092 = t9005*t9325+t8980*t9283;
+ t9050 = RATIONAL(-5.0,9.0);
+ t9670 = t9050*t9057;
+ t9373 = t9058*t9670;
+ t10091 = t9000*t9313+t9059*t9373;
+ t9378 = t9000*t9690;
+ t10090 = t9057*t9378+t9002*t9285;
+ t8999 = RATIONAL(25.0,24.0);
+ t9028 = RATIONAL(-1.0,96.0);
+ t10089 = t8999*t9376+t9028*t9313;
+ t9033 = RATIONAL(5.0,36.0);
+ t9302 = t9033*t9640;
+ t10088 = t9059*t9302+t9016*t9329;
+ t10087 = t8986*t9400+t8975*t9285;
+ t9201 = t9063*t9581;
+ t10086 = t9059*t9201+t9000*t9329;
+ t10085 = RATIONAL(1.0,384.0)*t9313+RATIONAL(-25.0,384.0)*t9376;
+ t9604 = t9063*t9007;
+ t9362 = t9057*t9604;
+ t10084 = t9059*t9362+t8962*t9329;
+ t10083 = t9011*t9283+t9007*t9325;
+ t10082 = t9016*t9325+t9033*t9283;
+ t9424 = t9057*t9590;
+ t10081 = t8979*t9329+t8963*t9424;
+ t9281 = t8986*t9608;
+ t9575 = t8975*t9057;
+ t9414 = t9063*t9575;
+ t10080 = t9065*t9281+t9059*t9414;
+ t9303 = t9058*t9583;
+ t9343 = t9060*t9673;
+ t9631 = t8975*t9058;
+ t9312 = t9060*t9631;
+ t10078 = t8979*t9343+x*t9303+y*t9312;
+ t9198 = t8982*t9605;
+ t9483 = t9057*t9766;
+ t10077 = t9065*t9433+t9062*t9483+z*t9198;
+ t9757 = t9062*t9057;
+ t9498 = y*t9757;
+ t9209 = t8982*t9733;
+ t10076 = y*t9209+t8983*t9531+t9018*t9498;
+ t9346 = t9065*t9591;
+ t9559 = t8986*t9057;
+ t9200 = t9061*t9559;
+ t10075 = z*t9200+t8986*t9498+t9061*t9346;
+ t9678 = t9065*t8983;
+ t9442 = z*t9678;
+ t10074 = t9061*t9442+t9017*t9531+t8982*t9498;
+ t9347 = t9058*t9619;
+ t10073 = y*t9347+t8986*t9470+t9063*t9241;
+ t9481 = y*t9575;
+ t9290 = t9062*t9694;
+ t10072 = t9062*t9481+t9061*t9290+t9057*t9431;
+ t9428 = x*t9724;
+ t9556 = x*t9646;
+ t9713 = t8976*t9059;
+ t9493 = z*t9713;
+ t10071 = t9060*t9493+t9059*t9428+t8964*t9556;
+ t10070 = t8979*t9253+t10189*t8975;
+ t9542 = t9063*t9784;
+ t10069 = t9058*t9507+t9018*t9470+t9061*t9542;
+ t9333 = t9018*t9605;
+ t10068 = t9057*t9433+z*t9333+t9065*t9467;
+ t10067 = t9007*t9253+t10189*t8986;
+ t8990 = RATIONAL(5.0,144.0);
+ t9437 = t8990*t9779;
+ t9517 = z*t9754;
+ t9291 = t9057*t9742;
+ t9419 = t9062*t9597;
+ t10066 = t9002*t9291+t9057*t9437+t9065*t9419+t9000*t9517;
+ t9749 = t9063*t9065;
+ t9469 = y*t9749;
+ t9514 = t9021*t9786;
+ t10065 = t8986*t9469+t9058*t9514+t9061*t9264+t9057*t9303;
+ t9024 = RATIONAL(5.0,96.0);
+ t9049 = RATIONAL(-5.0,6.0);
+ t9034 = RATIONAL(-1.0,24.0);
+ t9036 = RATIONAL(-5.0,24.0);
+ t10064 = t9034*t9690+t9036*t9285+t9024*t9400+t9049*t9600;
+ t9464 = x*t9021*t9058;
+ t9651 = t8979*t9064;
+ t9353 = t9063*t9651;
+ t10063 = t8986*t9549+t9060*t9353+(t9312+t9464)*t9059;
+ t9650 = t8976*t9057;
+ t9368 = t8964*t9733;
+ t9720 = t9065*t8977;
+ t9478 = z*t9720;
+ t9288 = t9062*t9605;
+ t10062 = y*t9478+t8960*t9288+t9650*t9791+t9061*t9368;
+ t9511 = t8964*t9777;
+ t9521 = t8960*t9759;
+ t10061 = t8976*t9457+t7739+t9060*t9511+t9059*t9521;
+ t9369 = t9033*t9605;
+ t8608 = t9000*t9571;
+ t10060 = t9063*t8608+y*t9373+t9016*t9469+t9058*t9369;
+ t10059 = t10106+t10107;
+ t9477 = x*t9713;
+ t9475 = t8960*t9788;
+ t10058 = t9058*t9477+t9064*t9475+t10171*t9060;
+ t9389 = t9063*t9565;
+ t9279 = t8970*t9600;
+ t10057 = t9060*t9389+t8973*t9549+x*t9279+t8972*t9380;
+ t9195 = t9011*t9600;
+ t9271 = t9064*t9604;
+ t10056 = t9065*t9195+t9057*t9271+t10095;
+ t9697 = t9063*t8976;
+ t9340 = t9060*t9697;
+ t10055 = t9059*t9340+t9064*t9307+t10154*x;
+ t8834 = t9064*t9752;
+ t9548 = z*t9753;
+ t8629 = t9065*t9570;
+ t10054 = t9040*t9291+z*t8834+t9055*t9548+t9064*t8629;
+ t9216 = t9060*t9595;
+ t10053 = t9060*t9279+t9064*t9216+x*t9389+t8972*t9508;
+ t9592 = t9064*t8960;
+ t9361 = t9060*t9592;
+ t10052 = t9063*t9361+t9059*t9276+t10171*x;
+ t10051 = t10100+t10107;
+ t9533 = y*t9620;
+ t9427 = t8977*t9788;
+ t10050 = x*t9533+y*t9427+t10201*t9061;
+ t10049 = t10084+t10100;
+ t9456 = t8976*t9782;
+ t9618 = t8977*t9059;
+ t9226 = t9062*t9618;
+ t9287 = t8964*t9757;
+ t10048 = t9064*t9287+t8960*t9462+t9065*t9226+t9059*t9456;
+ t10047 = t10080+t10083;
+ t8994 = RATIONAL(-5.0,384.0);
+ t9026 = RATIONAL(1.0,96.0);
+ t9573 = t9026*t9065;
+ t9593 = t9024*t9058;
+ t8989 = RATIONAL(5.0,384.0);
+ t10046 = t8989*t9283+t9057*t9593+t9063*t9573+t8994*t9325;
+ t8748 = t9065*t9715;
+ t9676 = t9063*t9001;
+ t8616 = t9065*t9676;
+ t10045 = y*t8748+t9061*t8616+t10163*t9058;
+ t9667 = t9064*t9007;
+ t9332 = t9065*t9667;
+ t9716 = t8975*t9064;
+ t9413 = t9065*t9716;
+ t10044 = t9062*t9332+z*t9413+t9011*t9548+t8986*t9291;
+ t10043 = t9065*t9310+t9062*t9198+z*t9483+y*t9442;
+ t9448 = x*t9716;
+ t10042 = t9059*t9347+t9063*t9448+x*t9195+t9060*t9271;
+ t9022 = RATIONAL(5.0,72.0);
+ t9568 = t9022*t9057;
+ t9473 = y*t9568;
+ t10041 = t8995*t9469+t9058*t9473+t10156*t9061;
+ t10040 = t10103+t10104;
+ t9659 = t9003*t9059;
+ t9370 = t9060*t9659;
+ t9644 = t9064*t9005;
+ t9357 = t9060*t9644;
+ t8668 = t9064*t9676;
+ t10039 = t9058*t9370+t9063*t9357+(t9267+t8668)*x;
+ t9730 = t8977*t9057;
+ t9502 = z*t9730;
+ t9395 = t9062*t9592;
+ t9211 = t9062*t9650;
+ t10038 = (t9211+t9502)*t9059+(t9395+t9511)*t9065;
+ t9217 = t9058*t9582;
+ t10037 = t9065*t9299+t8960*t9469+(t9217+t9533)*t9057;
+ t9454 = z*t9670;
+ t9249 = t9033*t9742;
+ t10036 = t9059*t9454+t9057*t9249+t10182*t9064;
+ t10035 = y*t9485+z*t9417+t10132;
+ t9399 = t9062*t9571;
+ t10034 = t8976*t9399+t9057*t9206+t10144*z;
+ t9405 = t9063*t9685;
+ t9671 = t8997*t9064;
+ t8649 = x*t9671;
+ t9296 = t9022*t9675;
+ t10033 = t9063*t8649+t8995*t9405+t9041*t9508+t9058*t9296;
+ t10032 = t8964*t9462+t9059*t9478+t8960*t9372+t8976*t9251;
+ t9274 = t9065*t9671;
+ t9204 = t9059*t9568;
+ t8686 = z*t9698;
+ t10031 = t9064*t8686+t9041*t9291+z*t9204+t9062*t9274;
+ t8673 = t8995*t9571;
+ t9280 = t9061*t9568;
+ t10030 = t9063*t8673+t9058*t9280+t10156*y;
+ t10028 = t10104+t10118;
+ t10027 = t8960*t9517+t9064*t9368+(t9226+t9493)*t9057;
+ t9761 = x*t8979;
+ t9534 = t9062*t9761;
+ t9292 = t9061*t9619;
+ t10026 = y*t9534+z*t9292+t10079;
+ t9776 = y*t9011;
+ t9551 = t9057*t9776;
+ t9250 = t9061*t9604;
+ t10025 = t9065*t9250+t8975*t9469+(t9200+t9551)*t9058;
+ t10024 = t9060*t9467+y*t9430+t10128;
+ t10023 = t10080+t10093;
+ t9197 = t9063*t9597;
+ t9331 = t8990*t9600;
+ t10022 = t9060*t9197+t9002*t9380+(t9378+t9331)*x;
+ t9265 = t8960*t9673;
+ t9491 = t8977*t9772;
+ t10021 = t9065*t9265+t8964*t9469+(t9491+t9306)*t9057;
+ t9535 = t8983*t9787;
+ t9527 = t9058*t9766;
+ t9205 = t9058*t9647;
+ t9630 = t8977*t9060;
+ t9282 = t9063*t9630;
+ t10020 = t9060*t9205+t9061*t9282+(t9535+t9527)*x;
+ t9321 = t8986*t9754;
+ t10019 = t9064*t9290+t8975*t9291+(t9308+t9321)*z;
+ t10018 = t9061*t9287+t9065*t9289+(t9456+t9502)*y;
+ t9599 = t9058*t9002;
+ t9295 = t9061*t9599;
+ t9354 = t9063*t9571;
+ t9553 = t9057*t9772;
+ t10017 = t9004*t9354+t9000*t9469+t8990*t9553+t9057*t9295;
+ t9536 = x*t9590;
+ t9387 = t8977*t9608;
+ t9270 = t8976*t9608;
+ t9409 = t9060*t9590;
+ t10016 = t8960*t9409+t9060*t9270+t8964*t9536+x*t9387;
+ t9611 = t9026*t9064;
+ t10014 = t9063*t9611+t9059*t9593+t8989*t9285+t8994*t9400;
+ t9771 = z*t9041;
+ t9460 = t9059*t9771;
+ t10013 = t9064*t8634+t9057*t9460+t9062*t9204+z*t9274;
+ t10012 = t10103+t10130;
+ t9383 = t9058*t9605;
+ t9247 = t8958*t9749;
+ t10011 = t8970*t9553+t8972*t9383+t8973*t9469+t9061*t9247;
+ t10010 = t10087+t10093;
+ t10009 = t8960*t9268+t8964*t9253+(t9477+t9505)*z;
+ t9232 = t8970*t9605;
+ t10008 = t8973*t9354+t8972*t9553+t9058*t9232+y*t9247;
+ t9792 = y*x;
+ t9610 = t9058*t9018;
+ t9277 = t8976*t9673;
+ t9218 = t9061*t9704;
+ t10007 = t9610*t9792+y*t9542+t9058*t9218+t9060*t9277;
+ t9363 = t8964*t9696;
+ t9451 = x*t9697;
+ t10006 = x*t9491+t9060*t9265+t9061*t9363+y*t9451;
+ t9429 = x*t8976*t9064;
+ t10005 = t8964*t9268+z*t9429+t9618*t9790+t8960*t9253;
+ t9746 = t9034*t9065;
+ t9684 = t9049*t9057;
+ t10004 = t9063*t9746+t9058*t9684+t9024*t9325+t9036*t9283;
+ t9411 = t9011*t9640;
+ t10003 = t9059*t9411+t9007*t9329+t10095;
+ t10002 = z*t9218+y*t9468+t10134;
+ t9736 = t9065*t9001;
+ t8597 = t9064*t9736;
+ t10001 = t8980*t9548+t9064*t9326+t9003*t9291+z*t8597;
+ t8670 = t9063*t9674;
+ t9496 = t8980*t9786;
+ t10000 = t9057*t9225+y*t8616+t9058*t9496+t9061*t8670;
+ t9624 = t8995*t9064;
+ t8644 = x*t9624;
+ t9275 = t9060*t9577;
+ t9999 = t9022*t9508+t9063*t8644+t9059*t9275+t8997*t9405;
+ t9546 = y*t9666;
+ t9445 = t9063*t9761;
+ t9663 = x*t9772;
+ t9998 = t8986*t9663+t9063*t9546+y*t9445+x*t9250+t9058*t9292;
+ t9335 = t9064*t9666;
+ t9532 = z*t9651;
+ t9997 = t8986*t9268+t9588*t9790+x*t9532+z*t9335+t9064*t9453;
+ t9486 = z*t9705;
+ t9552 = z*t9685;
+ t9499 = x*t9632;
+ t9996 = z*t9499+x*t9486+t9007*t9268+t9064*t9485+t8986*t9552;
+ t9484 = t9065*t9762;
+ t9995 = t8979*t9288+t9062*t9484+(t9551+t10199)*z;
+ t9537 = y*t9559;
+ t9479 = t9007*t9775;
+ t9482 = y*t9694;
+ t9994 = t9065*t9479+t9062*t9200+y*t9346+(t9482+t9537)*z;
+ t9773 = x*t9059;
+ t9471 = t8975*t9773;
+ t9993 = t9064*t9534+t9060*t9532+t8975*t9268+z*t9471+t9667*t9790;
+ t9356 = t8975*t9702;
+ t9314 = t8979*t9707;
+ t9992 = t9060*t9314+t9011*t9663+y*t9356+t10195*x;
+ t9452 = t9007*t9774;
+ t9991 = t8975*t9288+y*t9290+t9065*t9504+(t9452+t9481)*z;
+ t9322 = t9065*t9680;
+ t9990 = t9007*t9288+y*t9322+t9011*t9745+z*t9514+t8986*t9526;
+ t9579 = x*t9787;
+ t9224 = t9060*t9583;
+ t9989 = t9007*t9579+t9631*t9792+t9058*t9224+t9061*t9445+t9063*t9497;
+ t9260 = t9063*t9619;
+ t9988 = t9011*t9579+t9063*t9547+t9058*t9241+(t9464+t9260)*y;
+ t9606 = t9021*t9064;
+ t9444 = z*t9716;
+ t9609 = t9011*t9059;
+ t9520 = x*t9609;
+ t9987 = t9062*t9448+t8979*t9268+t9606*t9790+z*t9520+t9060*t9444;
+ t9692 = t9042*t9064;
+ t8756 = z*t9692;
+ t9785 = z*t9038;
+ t9986 = t8998*t9268+t8995*t9253+t9060*t9587+(t8756+t9460+t9785)*x;
+ t9524 = t9057*t9771;
+ t9985 = t8998*t9288+z*t8723+(t9785+t9524)*y+t10172*t9061;
+ t9984 = t10027+t10084;
+ t9783 = x*t9015;
+ t9637 = t9008*t9060;
+ t9672 = t9008*t9064;
+ t8721 = x*t9672;
+ t9744 = z*t9773;
+ t9983 = t8981*t9268+t9062*t9637+t9022*t9744+t8997*t9253+(t8721+t9783)*z;
+ t9982 = t9015*t9791+t8981*t9288+t10169*t9062+(t8716+t9473)*z;
+ t8598 = t9000*t9741;
+ t9981 = t9037*t9598+t8598+t10090+t10092;
+ t9980 = t8977*t9462+t8964*t9500+t8960*t9251+t9064*t9211+t10105;
+ t9576 = t9037*t9059;
+ t8606 = t9000*t9598;
+ t9979 = t8606+t9065*t9576+t10097+t10098;
+ t9561 = t9062*t9018;
+ t9231 = t9059*t9561;
+ t9978 = t9064*t9468+x*t9231+t8983*t9554+t10029;
+ t8701 = t9000*t9640;
+ t9305 = t9003*t9590;
+ t9212 = t9001*t9598;
+ t9623 = t9057*t9331+t9065*t9197;
+ t9174 = t9057*t9613+t8616+t9058*t9212+t9065*t9305+t9623;
+ t9977 = t9065*t9612+t8701+t9174+t10086+t10097;
+ t9976 = t9057*t9449+t9065*t9461+y*t9211+t10018;
+ t9446 = y*t9630;
+ t9975 = t8964*t9470+x*t9265+t9058*t9446+t10050;
+ t9459 = y*t9724;
+ t9974 = t8976*t9531+y*t9368+t9057*t9459+t10018;
+ t9401 = t8983*t9673;
+ t9973 = t9017*t9470+t9058*t9513+x*t9401+t10007;
+ t9972 = t10034+t10077;
+ t8603 = t9000*t9590;
+ t9240 = t9003*t9598;
+ t9227 = t9059*t9736;
+ t9159 = t9058*t9227+t9063*t9240+t9016*t9600+t8668+t9623;
+ t8725 = t9037*t9608;
+ t9971 = t8603+t9159+t8725+t10086+t10092;
+ t9970 = t10006+t10110;
+ t9968 = t10034+t10074;
+ t9633 = t9037*t9057;
+ t9641 = t9058*t9000;
+ t8620 = t9065*t9641;
+ t9967 = t9063*t9633+t8620+t9174+t10090+t10099;
+ t9966 = t10020+t10069;
+ t9509 = z*t9630;
+ t9965 = t9059*t9509+t8964*t9457+x*t9395+t10009;
+ t9964 = t9064*t9430+t9017*t9457+z*t9207+t10015;
+ t8677 = t9000*t9608;
+ t9963 = t9159+t9063*t9576+t8677+t10098+t10099;
+ t9273 = t9062*t9730;
+ t9962 = t9065*t9449+t9057*t9461+y*t9273+t10062;
+ t9961 = t9061*t9502+y*t9287+t9065*t9459+t10062;
+ t9960 = t10043+t10076;
+ t9958 = t10043+t10068;
+ t7925 = t9064*t9509;
+ t9957 = t7925+t9964;
+ t9544 = y*t9640;
+ t9530 = y*t9654;
+ t9956 = t9065*t9217+t8976*t9530+t9057*t9299+t8960*t9544+t10021;
+ t9350 = t8986*t9654;
+ t9955 = t9057*t9250+y*t9414+t9061*t9350+t9011*t9530+t10065;
+ t9954 = t10055+t10058;
+ t9953 = x*t9310+y*t9518+t10002+t10111;
+ t9341 = t9060*t9610;
+ t9328 = t8982*t9608;
+ t9952 = t9060*t9328+t9064*t9282+t9059*t9341+t8983*t9440+(t9207+t9429)*
+t9063+t10180*x;
+ t9348 = t8979*t9598;
+ t9951 = t9065*t9486+t8975*t9251+t9062*t9348+t8986*t9462+t10044;
+ t9950 = z*t9224+y*t9453+t10112+t10129+t10132;
+ t9949 = t9060*t9256+t9063*t9520+x*t9269+t9058*t9335+t10063;
+ t9948 = z*t9361+t8964*t9554+x*t9226+t7750+t10009;
+ t9242 = t9059*t9678;
+ t9379 = t9065*t9656;
+ t9947 = t9059*t9209+z*t9242+t9062*t9379+t8983*t9462+t9064*t9456+t8982*
+t9372+(t9231+t9543)*t9057;
+ t9342 = t8963*t9707;
+ t9679 = t8962*t9063;
+ t9516 = x*t9679;
+ t9398 = t9060*t9679;
+ t9946 = y*t9398+t8963*t9579+t8962*t9663+x*t9342+t10181*t9060+(t9297+t9516
+)*t9061;
+ t9945 = t8959*t9462+t10141*t9062+t10140*z+(t9548+t10197)*t8968;
+ t9220 = t8959*t9685;
+ t9944 = t9063*t9220+t10160*t9060+t10188*t8968+(t9536+t10183)*t8959;
+ t9943 = (t9325+t9376+t9400+t9329)*RATIONAL(-1.0,13824.0)+(t9285+t9313+
+t9283+t9424)*RATIONAL(1.0,13824.0);
+ t9942 = t10038+t10048;
+ t9941 = x*t9270+t9060*t9387+t10052+(t9475+t9262)*t9059;
+ t9940 = t8975*t9500+t8986*t9372+t9011*t9462+t9007*t9251+t10019;
+ t9352 = t8983*t9707;
+ t9939 = t9017*t9383+t8977*t9469+t9057*t9401+t8982*t9544+(t9277+t9352)*
+t9065+t10144*t9058;
+ t9344 = t8962*t9605;
+ t9364 = t8962*t9571;
+ t9938 = t9063*t9344+t9057*t9342+t8979*t9553+t9065*t9243+(t9364+t9452)*
+t9058+(t9362+t9264)*y;
+ t9371 = t9058*t9571;
+ t9937 = t8977*t9544+t9057*t9277+t8964*t9530+t8960*t9371+t10037;
+ t9625 = t9005*t9057;
+ t9626 = t9063*t9004;
+ t9653 = t9065*t9004;
+ t8689 = t9058*t9653;
+ t9936 = t8971*t9325+t9057*t9626+t8670+t8974*t9283+t8689+t9058*t9625+
+t10094;
+ t9664 = t8962*t9064;
+ t9257 = t9060*t9664;
+ t9412 = t8979*t9608;
+ t9396 = t8963*t9685;
+ t9935 = t9063*t9257+t9007*t9508+t9058*t9396+t10179*t9059+(t9412+t9221+
+t9271)*x;
+ t7687 = t8976*t9552;
+ t9934 = t7687+t9978;
+ t9933 = y*t9350+t9065*t9314+t10025+t10195*t9057;
+ t9402 = t9011*t9708;
+ t9450 = t9062*t9776;
+ t9580 = x*t9769;
+ t9932 = t9060*t9450+t9062*t9292+z*t9402+t9558*t9792+t9011*t9501+t9023*
+t9743+(t9580+t9023*t9759)*y;
+ t9931 = z*t9410+t9561*t9792+t10116+t10117+t10128;
+ t9930 = t9996+t10070;
+ t9390 = t9007*t9590;
+ t9929 = t8963*t9380+t9058*t9257+t9007*t9440+t9059*t9398+t9060*t9229+(
+t9390+t9261+t9353)*x;
+ t9375 = t8968*t9640;
+ t9366 = t9061*t9596;
+ t9330 = t8959*t9605;
+ t9432 = t8959*t9787;
+ t9320 = t9058*t9643;
+ t9928 = t9057*t9432+t9058*t9330+t8959*t9354+y*t9320+t9061*t9375+t9065*
+t9366+(t9469+t9553)*t8968;
+ t9927 = t9060*t9528+x*t9479+t10035+t10112;
+ t9259 = t9021*t9598;
+ t9926 = t8979*t9251+t8986*t9500+t8975*t9372+z*t9259+t10044;
+ t9925 = t9062*t9572+t9061*t9509+t10111+t10114+t10134;
+ t9924 = t9065*t9205+t8976*t9469+t9057*t9535+t8983*t9530+t8977*t9354+t9063
+*t9198+(t9483+t9333)*t9058;
+ t9683 = z*t9786;
+ t9923 = z*t9364+t10142*t9062+(t9288+t9683)*t8962+(t9399+t10147)*t8963;
+ t9922 = t9060*t9342+(t9343+t9470)*t8962+t10181*x+(t9516+t10179)*y;
+ t9921 = t9062*t9364+t8962*t9498+(t9288+t10153)*t8963+(t9344+t10142)*z;
+ t9920 = t8959*t9553+t9063*t9330+t9061*t9320+t9057*t9366+t9065*t9432+y*
+t9375+(t9530+t9354)*t8968;
+ t9919 = t10006+t10040;
+ t9729 = t8964*t9792;
+ t9441 = t8964*t9778;
+ t9918 = t9062*t9441+z*t9729+t10184*t9060+(t9428+t9521)*y+t10193*x;
+ t9917 = t10063+t9063*t9471+t9011*t9440+(t9281+t9390)*t9060;
+ t8139 = x*t9277;
+ t9916 = t8139+x*t9217+t10050+(t8960*t9702+t9363)*y;
+ t9915 = t9997+t10070;
+ t9914 = t9992+t10073;
+ t8595 = t9058*t9597;
+ t9913 = t8974*t9285+t9005*t9600+t8595+t9063*t9644+t9004*t9590+t8971*t9400
++t10101;
+ t9912 = t9058*t9220+(t9405+t9380)*t8968+t10160*x+(t9409+t10188)*t8959;
+ t9789 = y*t9062;
+ t9564 = t9061*t9021;
+ t9266 = t9062*t9564;
+ t9557 = t9025*t9060;
+ t9658 = t9013*t9790;
+ t9911 = t9062*t9224+x*t9266+t9557*t9791+y*t9658+t9021*t9541+t9767*t9789+
+t10200*t9061;
+ t9293 = t9021*t9590;
+ t9910 = t9060*t9412+t9059*t9356+t10042+(t9293+t9281)*x;
+ t9909 = t9060*t9562+t8976*t9501+t10024+t10117;
+ t9908 = t10052+t8960*t9440+t9059*t9451+t10154*t9060;
+ t9907 = t9063*t9507+t10007+t10023+t9060*t9527+x*t9205+t10056;
+ t9238 = t9065*t9609;
+ t9906 = t8986*t9251+t9062*t9272+z*t9238+t9057*t9444+t10019;
+ t9435 = t8976*t9789;
+ t8071 = t9065*t9435;
+ t9905 = t8071+t9962;
+ t9711 = x*t9777;
+ t9263 = t9060*t9632;
+ t9904 = t9011*t9268+t8986*t9253+t9059*t9580+z*t9263+(t9711+t9554)*t9023+
+t10165*x;
+ t9391 = t8962*t9646;
+ t9540 = z*t9629;
+ t9436 = t8963*t9779;
+ t9213 = t8962*t9737;
+ t9903 = z*t9257+t9059*t9213+t9060*t9436+(t9540+t9391)*x+(t9457+t9711+
+t9253)*t8963;
+ t9902 = t10027+t10032;
+ t9718 = t9058*t9023;
+ t9515 = y*t9718;
+ t9901 = t9058*t9402+t9061*t9260+t9023*t9470+t9060*t9515+t10186*y+t10166*x
+;
+ t9900 = t9060*t9540+z*t9396+t8963*t9268+t9064*t9213+t9664*t9790+(t9436+
+t10177)*x;
+ t9899 = t8983*t9372+t9062*t9242+t9057*t9503+t9017*t9291+t9065*t9381+z*
+t9379+t10159*t8982;
+ t9337 = t9058*t9557;
+ t9525 = x*t9662;
+ t9418 = t9061*t9696;
+ t9898 = y*t9337+t9021*t9418+t9060*t9434+t9063*t9224+t9061*t9525+t10137*x;
+ t9578 = t9046*t9059;
+ t8931 = t9065*t9578;
+ t9319 = t8980*t9654;
+ t8929 = t9046*t9598;
+ t9897 = t8931+t8834+t10082+t9064*t9319+t8929+t10158*t9059;
+ t9309 = t9058*t9606;
+ t9896 = t9013*t9508+t9059*t9337+(t9293+t9309)*t9060+(t9536+t9440)*t9025+(
+t9356+t9525)*t9064;
+ t9480 = y*t9720;
+ t9895 = t9065*t9306+t9058*t9480+t8964*t9544+t9057*t9265+t10037;
+ t9317 = t9011*t9571;
+ t9894 = t9065*t9450+z*t9317+t9011*t9288+t9061*t9322+(t9498+t9531)*t9023+
+t10190*y;
+ t9358 = t9065*t9564;
+ t9893 = z*t9358+t9013*t9683+t9057*t9266+t10199*t9062+(t9498+t10147)*t9025
+;
+ t9892 = t10042+(t9221+t9269)*t9060+(t9309+t9256)*x;
+ t9891 = t10003+t10010;
+ t9890 = t8975*t9253+t9021*t9556+t9025*t9457+t9059*t9658+t10157*t9060+
+t10200*t9064;
+ t9286 = t9019*t9600;
+ t9889 = t9058*t9263+t9064*t9260+x*t9286+t9063*t9499+t10183*t9023+t10186*
+t9059;
+ t9385 = t9023*t9640;
+ t9210 = t9057*t9718;
+ t9888 = t9058*t9317+y*t9385+t9061*t9210+t9065*t9515+t8986*t9354+t9011*
+t9469+t10166*t9057;
+ t9887 = t9018*t9743+t9060*t9435+t10024+t10116;
+ t7990 = y*t9340;
+ t9886 = t7990+t9975;
+ t9885 = z*t9441+t9764*t9792+t9062*t9729+t10184*x+(t9459+t10193)*t9060;
+ t8148 = t9062*t9480;
+ t9884 = t8148+t9976;
+ t9883 = t8962*t9354+t9063*t9452+t9007*t9553+t9065*t9342+t9057*t9243+y*
+t9298+(t9344+t9482)*t9058;
+ t9882 = t8959*t9372+t10140*t9062+t10141*z+(t9291+t10159)*t8968;
+ t8895 = t9057*t9589;
+ t8890 = t9058*t9649;
+ t9881 = t9065*t9248+t9058*t9634+t8748+t9047*t9283+t8895+t8890+t10088;
+ t9203 = t9065*t9632;
+ t9880 = t9023*t9462+z*t9203+t10165*t9057+t10190*t9059+(t9238+t9321)*t9062
+;
+ t9879 = t9018*t9508+t9058*t9339+t9063*t9443+x*t9328+t10180*t9060+(t9427+
+t9340)*t9064;
+ t9878 = t9063*t9200+y*t9411+t9007*t9371+t9058*t9484+t10065;
+ t9408 = t9063*t9605;
+ t9877 = t9058*t9358+t9025*t9530+t9021*t9408+t10195*t9065+t10137*t9057;
+ t9876 = z*t9546+t8975*t9501+t10035+t10129;
+ t9875 = t9065*t9303+t9058*t9510+t9063*t9537+t9061*t9298+t10025;
+ t9874 = t9013*t9548+t9021*t9517+t10157*t9065+(t9462+t9291)*t9025+(t9259+
+t9413)*t9062;
+ t9873 = t9017*t9743+t9062*t9446+t10002+t10114;
+ t9872 = t9063*t9238+t9064*t9210+t9057*t9286+t9058*t9203+t9023*t9285+t9011
+*t9400+t9059*t9385+t8986*t9313;
+ t9871 = t8960*t9530+t8976*t9544+t8977*t9408+t8964*t9371+t10021;
+ t8714 = t9037*t9690;
+ t8927 = t9046*t9608;
+ t9388 = t8980*t9598;
+ t8923 = t9063*t9578;
+ t9870 = t9056*t9600+t10088+t10091+t8714+t8927+t9047*t9285+t8923+t9063*
+t9388+t10082;
+ t9143 = t10020+t10023;
+ t9869 = t8139+y*t9341+t9143+x*t9352+t9063*t9513+t10056;
+ t9868 = t10096+t10101+t9065*t9644+t9057*t9597+t10094+t8974*t9424+t8971*
+t9329+(t9625+t9653)*t9059;
+ t9147 = t10038+t10084+t10106;
+ t9867 = t9064*t9273+t8976*t9462+t9147+t8960*t9500+t8964*t9251+t10102+
+t10105;
+ t9458 = t8979*t9779;
+ t9490 = t9007*t9779;
+ t9866 = z*t9272+t8979*t9517+t9057*t9458+t8962*t9372+t10081+t8963*t9291+(
+t9490+t10177)*t9065;
+ t9439 = x*t9644;
+ t9865 = t9003*t9457+t9005*t9253+t10161*t9060+(t9744+t9268)*t9002+(t9419+
+t9570)*x+(t9370+t9439+t10145)*z;
+ t8684 = t8997*t9702;
+ t9712 = t9063*t8995;
+ t9864 = t8684+t8995*t9696+t10057+t10151*t9060+(t9712+t10138)*x;
+ t9316 = t9008*t9640;
+ t9404 = t9042*t9640;
+ t9863 = t8998*t9530+t9065*t9196+t9038*t9605+t9061*t9404+t10041+(t9645+
+t9316)*y+t10168;
+ t9862 = t10081+t10102+(t9490+t9235)*t9057+(t9391+t9458)*t9065+t10197*
+t8963+(t9348+t9332)*z;
+ t9425 = t8970*t9608;
+ t8662 = t9060*t9624;
+ t9740 = t8995*t9059;
+ t9861 = t10053+t8997*t9675+t8649+t8662+t8973*t9536+t10143*t9060+(t9740+
+t9425)*x;
+ t9860 = t9057*t9639+t8980*t9500+t9062*t9367+t8629+t9003*t9251+t10066+(
+t9212+t10164)*z;
+ t9426 = t9060*t9635;
+ t9355 = t9060*t9626;
+ t9545 = t9005*t9788;
+ t9529 = x*t9626;
+ t9859 = t9000*t9708+t9599*t9792+t9005*t9343+t9060*t9295+t9061*t9529+
+t10178*x+(t9355+t9426+t9545+t10145)*y;
+ t8738 = t9037*t9646;
+ t9202 = t8990*t9675;
+ t9734 = t9047*t9062;
+ t9858 = t9055*t9744+t9001*t9253+t10189*t9040+(t9202+t9616)*t9062+(t9734+
+t8738)*x+(t10173+t10174)*z;
+ t9351 = t9016*t9640;
+ t9602 = t9061*t9046;
+ t9857 = t8815+t9057*t9602+t9033*t9530+t10060+(t9351+t9319)*t9061+(t9649+
+t10158)*y;
+ t8754 = t9063*t9616;
+ t9686 = t9061*t9037;
+ t9555 = y*t9696;
+ t9415 = t8980*t9696;
+ t9856 = t9000*t9343+t9061*t9415+t9060*t9686+t9056*t9792+t9050*t9663+(
+t9470+t9555)*t9033+(t8754+t9681)*y+(t9602+t10162)*x;
+ t9855 = t9004*t9372+t9065*t9437+t9002*t9251+t9057*t9570+t10001+(t9633+
+t8606)*z+t10182;
+ t9438 = t9040*t9786;
+ t9854 = t8990*t9288+t9061*t8629+t9052*t9791+(t9594+t9438)*t9062+(t9734+
+t10196)*y+(t10150+t10163)*z;
+ t9689 = t9015*t9062;
+ t8751 = t9008*t9646;
+ t8661 = t9060*t9671;
+ t9853 = t8981*t9554+t9022*t9457+t9986+(t9637+t8661)*z+(t9689+t8751)*x;
+ t9701 = t9038*t9060;
+ t9607 = t9042*t9060;
+ t8752 = t9064*t9607;
+ t8683 = t9062*t9624;
+ t9852 = t9060*t9460+t8998*t9457+t9983+(t8752+t9701)*z+(t9587+t8683)*x;
+ t9474 = t9033*t9779;
+ t9851 = t8980*t9268+t9037*t9737+t9000*t9253+t9050*t9744+t9060*t9474+
+t10198*z+(t9249+t10149+t10152)*x;
+ t9717 = t9015*t9060;
+ t9669 = t9008*t9062;
+ t8770 = t9064*t9637;
+ t8659 = t8997*t9646;
+ t9850 = t8981*t9457+t9986+(t8659+t9669)*x+(t9296+t9717+t8770)*z;
+ t9849 = t8980*t9251+t9065*t9474+t9047*t9462+t9016*t9372+t9057*t9726+z*
+t9634+t10036+t10196;
+ t9728 = t9052*t9057;
+ t9848 = t9037*t9372+t9057*t9734+t9040*t9500+t8990*t9251+t10054+(t8929+
+t9728)*z+t10185;
+ t9847 = t8980*t9288+t9033*t9498+(t8608+t9686)*t9062+(t9369+t8829+t9602)*z
++(t9454+t10149+t10185)*y;
+ t9739 = t9038*t9057;
+ t9233 = t8998*t9707;
+ t9846 = t9015*t9605+t8981*t9530+t9061*t9316+t9065*t9233+t10030+(t9404+
+t9739)*y+t10146;
+ t9386 = t9060*t9599;
+ t9294 = t8990*t9608;
+ t9688 = t9064*t9016;
+ t8710 = x*t9688;
+ t9845 = t9000*t9685+t9001*t9675+t8710+t9059*t9355+t9064*t9386+t10039+(
+t9576+t8603+t9294)*x;
+ t9710 = t9061*t9000;
+ t9709 = t9000*t9060;
+ t9394 = t9005*t9702;
+ t9844 = t9061*t9545+t9004*t9343+t10178*t9060+(t9001+t9635)*t9792+(t9710+
+t9295)*x+(t9386+t9529+t9709+t9394)*y;
+ t9843 = t9060*t9425+t8995*t9675+t8661+t10057+t9059*t9216+t8644+(t9722+
+t10143)*x;
+ t9721 = t9038*t9059;
+ t9311 = t9042*t9590;
+ t9842 = t9008*t9409+t8721+t8752+t8981*t9440+t10033+t10170*t9060+(t9311+
+t9721)*x;
+ t9841 = t10017+t9065*t9225+t9000*t9605+t9005*t9408+(t9544+t9571)*t9001+(
+t9319+t10164)*y;
+ t9768 = z*t9001;
+ t9495 = t9003*t9786;
+ t9840 = t9004*t9399+t9653*t9791+t9005*t9526+t9002*t9498+t9003*t9288+(
+t9710+t9495)*z+t10155*t9061+(t9768+t10191)*y;
+ t9714 = t9056*t9059;
+ t9839 = t9047*t9500+t8738+t9062*t9578+t8980*t9372+t9033*t9462+t9016*t9251
++t10036+(t9738+t9714)*z;
+ t9382 = t8998*t9605;
+ t8744 = t9042*t9673;
+ t9731 = t9063*t9008;
+ t9838 = t8744+t9015*t9707+t9063*t9382+t10030+t10168*t9058+(t9731+t10148)*
+y;
+ t9567 = t9047*t9059;
+ t9638 = t9052*t9059;
+ t9837 = t9040*t9462+t9062*t9567+t9037*t9251+t8990*t9372+t10054+(t8931+
+t9638)*z+t10152;
+ t8746 = t9037*t9702;
+ t9300 = t9040*t9696;
+ t9836 = t9001*t9343+t8990*t9418+t9060*t9594+t9040*t9470+t9055*t9663+(
+t9661+t10187)*x+(t8746+t9300+t10174)*y;
+ t8839 = t9062*t9566;
+ t9835 = t9062*t9473+t9985+t8981*t9531+t10169*z+(t8839+t9689)*y;
+ t9834 = t9004*t9408+t8990*t9530+t9065*t9295+t9001*t9605+t8608+t10000+(
+t8701+t9601+t9633)*y;
+ t9833 = t9037*t9408+t9047*t9605+t9040*t9530+t10127+t8990*t9371+t10045+(
+t9728+t8895)*y;
+ t9392 = t9060*t9617;
+ t9832 = t9064*t9392+t9038*t9675+t9060*t9311+t9008*t9536+t8770+t9999+(
+t9692+t10170)*x;
+ t9214 = t9001*t9590;
+ t9831 = t10022+t9059*t9394+t9000*t9675+t8980*t9440+(t9426+t9682)*t9064+(
+t9214+t10139)*x;
+ t8794 = z*t9642;
+ t9830 = t8998*t9500+t8981*t9251+t8794+t8839+t9062*t9739+t9042*t9372+
+t10031+t10175*z;
+ t9756 = t9062*t9038;
+ t9403 = t8998*t9675;
+ t8827 = t9064*t9587;
+ t9829 = t9041*t9457+t9983+(t9756+t8827)*x+(t8662+t9403+t9607)*z;
+ t8625 = t8995*t9673;
+ t9828 = t8970*t9544+t8973*t9530+t8625+t8958*t9371+t10008+t10192*y+t10194*
+t9061;
+ t8687 = t8995*t9702;
+ t9827 = t10053+t8687+t10138*t9060+(t10151+t10192)*x;
+ t8763 = t9065*t9587;
+ t8753 = z*t9566;
+ t9826 = t8998*t9251+t9042*t9462+t8763+t8753+z*t9739+t8981*t9500+t10013+
+t10175*t9062;
+ t9825 = t9002*t9288+t9062*t9495+t10153*t9004+t10167*z+t10155*y+(t9674+
+t9000)*t9791+t10191*t9061;
+ t9824 = t8998*t9372+t9059*t8794+t9062*t9627+t9008*t9251+t8981*t9462+t8827
++t10013+(t9721+t9672)*z;
+ t9750 = t9061*t9042;
+ t9823 = t9041*t9498+t9982+(t9756+t8763)*y+(t8673+t9382+t9750)*z;
+ t9822 = t9062*t9439+t9003*t9268+t9659*t9790+t9004*t9253+t9060*t9570+
+t10189*t9002+(t9357+t9709)*z+(t9768+t10161)*x;
+ t9677 = t9061*t9038;
+ t9821 = t8998*t9498+t9061*t9524+t9982+(t9677+t8713)*z+t10172*y;
+ t8775 = t9063*t9614;
+ t9706 = t9042*t9063;
+ t8776 = y*t9706;
+ t9725 = t9015*t9058;
+ t9820 = t10041+t8776+y*t9725+t8775+t8998*t9544+t10146*t9058+t10148*t9061;
+ t9727 = t9061*t9015;
+ t8592 = t8997*t9733;
+ t9819 = t8981*t9498+t9985+(t8592+t9669)*y+(t9280+t8832+t9727)*z;
+ t8602 = t8997*t9673;
+ t9818 = t9061*t9699+t9063*t9232+t8958*t9530+t8602+t8973*t9371+t10011+(
+t9712+t10194)*y;
+ t9817 = t8998*t9462+t9059*t8753+t8751+z*t9627+t8756+t9042*t9251+t9062*
+t9721+t8981*t9372+t10031;
+ t9816 = t10072+t9990+t10131;
+ t9815 = t9950+t9989;
+ t9814 = t10075+t9995+t10124;
+ t9813 = t9937+t9991;
+ t9812 = t9998+t10026+t10028;
+ t9811 = t9871+t9994;
+ t9810 = t9956+t9961;
+ t9809 = t9919+t10108+t10109;
+ t9808 = t9895+t9974;
+ t9807 = t9941+t9965;
+ t9806 = t9895+t9961;
+ t9805 = t9956+t9974;
+ t9804 = t10005+t10016+t10058+t10071;
+ t7923 = t9061*t9427;
+ t9803 = t7923+t9876+t10006+t10109;
+ t9802 = t9875+t9952;
+ t9801 = t9909+t9951;
+ t9800 = t9916+t10040+t10108;
+ t9799 = t9906+t9909;
+ t9798 = t9879+t9955;
+ t9797 = t9876+t9916;
+ t9796 = t9906+t9953;
+ t9795 = t9929+t10005+t10061;
+ t9794 = t9951+t9953;
+ t9793 = t9935+t9948;
+ t8952 = t9044*t9064;
+ t9703 = t8071+t7990;
+ t8950 = t9044*t9065;
+ t9693 = t9024*t9059;
+ t7904 = t9061*t9456;
+ t9691 = t7925+t7904;
+ t9668 = t9056*t9058;
+ t8949 = t9035*t9064;
+ t9628 = t9058*t9052;
+ t7817 = t9061*t9478;
+ t9621 = t7817+t7687;
+ t8945 = t9035*t9065;
+ t9603 = t9027*t9059;
+ t7706 = y*t9282;
+ t9560 = t8148+t7706;
+ t8845 = x*t9731;
+ t9487 = t9022*t9772;
+ t8833 = t9063*t9607;
+ t8853 = t9063*t9637;
+ t9422 = t8973*t9754;
+ t9416 = t9065*t9565;
+ t9397 = t8990*t9640;
+ t9374 = t8958*t9640;
+ t9194 = t7706+t10067;
+ t9193 = t7904+t10078;
+ t9192 = t7923+t10075;
+ t9191 = t7817+t10078;
+ t9188 = t9064*t9351+t9033*t9285+t10091;
+ t9187 = t8969*t9329+t8967*t9424+t10096;
+ t9186 = t7923+t10072;
+ t9185 = t7706+t10070;
+ t9184 = t7817+t10073;
+ t9183 = t7990+t10067;
+ t9030 = RATIONAL(5.0,48.0);
+ t8966 = RATIONAL(-25.0,192.0);
+ t8987 = RATIONAL(5.0,192.0);
+ t9180 = t8966*t9057+t8987*t9065+t9030;
+ t9010 = RATIONAL(-5.0,16.0);
+ t9009 = RATIONAL(1.0,16.0);
+ t9048 = RATIONAL(1.0,4.0);
+ t9179 = t9048+t9010*t9057+t9009*t9065;
+ t9178 = t9573+t10135;
+ t9006 = RATIONAL(25.0,16.0);
+ t9043 = RATIONAL(-5.0,4.0);
+ t9177 = t9006*t9057+t9010*t9065+t9043;
+ t9029 = RATIONAL(1.0,48.0);
+ t8993 = RATIONAL(1.0,192.0);
+ t8991 = RATIONAL(-5.0,192.0);
+ t9176 = t9029+t8993*t9065+t8991*t9057;
+ t9045 = RATIONAL(1.0,6.0);
+ t9054 = RATIONAL(2.0,3.0);
+ t9175 = t9045*t9065+t9684+t9054;
+ t9014 = RATIONAL(1.0,12.0);
+ t9032 = RATIONAL(-5.0,48.0);
+ t9173 = t9032*t9057+t9029*t9065+t9014;
+ t8984 = RATIONAL(-25.0,96.0);
+ t9172 = t8984*t9057+t9039+t9024*t9065;
+ t9012 = RATIONAL(-5.0,64.0);
+ t8978 = RATIONAL(25.0,64.0);
+ t9171 = t9012*t9065+t8978*t9057+t9010;
+ t9170 = t9045+t9036*t9057+t8945;
+ t9169 = t9034*t9064+t10125;
+ t9051 = RATIONAL(5.0,6.0);
+ t8992 = RATIONAL(-25.0,24.0);
+ t9168 = t8992*t9057+t9051+t9039*t9065;
+ t8965 = RATIONAL(25.0,192.0);
+ t9167 = t8965*t9057+t9032+t8991*t9065;
+ t9166 = t8949+t9036*t9059+t9045;
+ t9165 = t9024*t9329+t9064*t9746+t9036*t9424+t9059*t9684+t10089;
+ t8996 = RATIONAL(25.0,96.0);
+ t9164 = t9027*t9065+t9036+t8996*t9057;
+ t9053 = RATIONAL(-2.0,3.0);
+ t9163 = t9053+t9051*t9057+t8950;
+ t9162 = t9044+t9746+t9039*t9057;
+ t9020 = RATIONAL(-1.0,12.0);
+ t9031 = RATIONAL(-1.0,48.0);
+ t9161 = t9020+t9031*t9065+t9030*t9057;
+ t9160 = t9064*t9573+t8989*t9424+t8994*t9329+t9057*t9693+t10085;
+ t9158 = t8597+t9003*t9329+t9623+(t9214+t9660)*t9057;
+ t8985 = RATIONAL(-1.0,192.0);
+ t9157 = t8987*t9057+t9031+t8985*t9065;
+ t9156 = t8999*t9057+t9049+t9036*t9065;
+ t9155 = t9028*t9065+t9034+t9024*t9057;
+ t9154 = t10058+t10059;
+ t9153 = t9984+t10106;
+ t9152 = t10005+t10102+t10106;
+ t9151 = t10010+t10034;
+ t9150 = t10028+t10059;
+ t9148 = t8972*t9291+t9062*t9416+t8970*t9548+z*t9422+t9187;
+ t9146 = t9001*t9405+x*t8714+t9059*t9300+t9055*t9508+t9188;
+ t9145 = t10010+t10043;
+ t9144 = t8972*t9548+t9062*t9422+t8970*t9291+z*t9416+t9187;
+ t9142 = t9063*t8710+t9033*t9380+t9060*t9378+t9050*t9508+t9188;
+ t9141 = t9158+t8997*t9343+x*t9487+t10133*t9060+(t9783+t8845)*y;
+ t9140 = t9060*t9233+t9061*t9607+t9158+x*t8776+t8995*t9343+(t9577+t9038)*
+t9792;
+ t8988 = RATIONAL(-1.0,384.0);
+ t8961 = RATIONAL(25.0,384.0);
+ t9139 = t10014+t9027*t9590+t8988*t9329+t9034*t9058+t10085+t8961*t9424+
+t10046+t10123*t9028+t10135*t9063;
+ t9138 = t9034*t9059+t8949+t9064*t9585+t9027*t9608+t8961*t9283+t9160+t8988
+*t9325+t10014+t10136*t9028;
+ t9137 = t9065*t9574+t9165+t8984*t9285+t10004+t9035*t9400+t8950+t9039*
+t9654+(t9054+(t9064+t9063)*t9045)*t9057;
+ t9136 = t9034*t9057+t9065*t9603+t8945+t8961*t9285+t8988*t9400+t9160+t9027
+*t9654+t10046+(t9640+t9598)*t9028;
+ t9135 = t8984*t9283+t10064+t9054*t9059+t8952+t9165+t9035*t9325+(t9608+
+t9598)*t9039+t10136*t9045;
+ t9134 = t9035*t9329+t10064+t9054*t9058+t9039*t9640+t10089+t8984*t9424+
+t10004+t10123*t9045+t10125*t9063;
+ t9133 = t9180*t9058+t9157*t9063+t9161;
+ t9132 = t9167*t9059+t9176*t9064+t9173;
+ t9131 = t9020+t9031*t9064+t9030*t9059+(t8987*t9064+t9030+t8966*t9059)*
+t9058+(t9031+t8985*t9064+t8987*t9059)*t9063;
+ t9130 = t9167*t9058+t9176*t9063+t9173;
+ t9129 = t9180*t9059+t9157*t9064+t9161;
+ t9128 = t9029*t9064+t9014+t9032*t9059+(t8991*t9064+t9032+t8965*t9059)*
+t9058+(t8991*t9059+t9029+t8993*t9064)*t9063;
+ t9127 = t9060*t9578+t9064*t9415+t9142+t9047*t9536+t9033*t9440+x*t9714+
+t9016*t9409+t9897+t10173;
+ t9126 = t8998*t9555+t9141+t9041*t9470+t9981+(t9607+t8687)*y+(t8744+t9677)
+*x;
+ t9125 = t8973*t9251+t9148+t9913+t8958*t9500+t9062*t9740+t8659+t8970*t9372
++(t9624+t10126)*z;
+ t9124 = t9141+t9979+(t8833+t9275+t9701)*y+(t9233+t8625+t9750)*x;
+ t9123 = t9870+t8980*t9408+t10060+(t9302+t9668)*y+(t9602+t10127)*t9058+
+t10187;
+ t9122 = t9059*t9570+t9971+t9062*t9219+t8990*t9462+t9064*t9639+t10001+
+t9004*t9251+(t9688+t9576+t8598)*z;
+ t9121 = t9061*t9641+t10017+t9005*t9371+t9001*t9530+t9963+t10113*y+(t9496+
+t10167)*t9063;
+ t9120 = t8972*t9530+t9868+t8995*t9605+t8641+t10011+t10120*t9061+(t9665+
+t9698+t9374)*y;
+ t9119 = t9000*t9702+t9967+t9060*t8595+t9058*t9682+t8990*t9536+t9002*t9409
++t10039+(t8677+t10121)*x;
+ t9118 = t9058*t8770+t9042*t9440+t9015*t9696+t9063*t9403+t8833+t8845+t9977
++t10033+t10115*x;
+ t9117 = t9063*t9202+t8754+t9881+t9040*t9536+t9060*t8725+t9146+t9047*t9696
++(t9732+t9628+t8927)*x;
+ t9116 = t9060*t9248+t9881+t9047*t9440+t9142+t8746+t9033*t9536+t10198*
+t9058+(t9589+t9668)*x;
+ t9115 = t9060*t9487+t9140+t9979+(t9717+t8853)*y+(t8602+t10133)*x;
+ t9114 = t8970*t9462+t8683+t8958*t9251+t9144+t9913+t8973*t9500+t10126*
+t9062+(t9671+t9740)*z;
+ t9113 = t8972*t9371+t8673+t9868+t8997*t9605+t9061*t9374+t10008+(t10119+
+t10120)*y;
+ t9112 = t9005*t9251+t9062*t9240+t9971+t9059*t9639+t10066+t9064*t9570+(
+t9388+t9227+t10139)*z;
+ t9111 = t8973*t9372+t8970*t9251+t9062*t9687+t8592+t9148+t8686+t8972*t9500
++t9936+t10122*z;
+ t9110 = t8998*t9536+t9977+t8853+t9058*t8752+t9999+t9008*t9440+t10115*
+t9060+(t9725+t9706)*x;
+ t9109 = t9963+t9058*t9657+t9000*t9673+t10000+(t9201+t8689)*t9061+(t9397+
+t8620+t10121)*y;
+ t9108 = t9140+t9022*t9470+t9981+(t8775+t9727)*x+(t9392+t9637+t8684)*y;
+ t9107 = t8634+t9144+t8970*t9500+t8973*t9462+t8972*t9251+t9936+t10122*
+t9062+t10119*z;
+ t9106 = t9061*t9397+t9870+t10045+t9063*t9438+t10150*t9058+(t8890+t9628)*y
++t10162;
+ t9105 = t9967+t10022+t9058*t9357+t9001*t9440+(t9676+t9305+t9641)*t9060+(
+t9248+t10113)*x;
+ t9104 = t9040*t9440+t9897+t9146+t8809+t9037*t9409+(t9294+t9567)*t9060+(
+t9751+t8923+t9638)*x;
+ t9103 = t9957+t9191+t9151+t9988+t10003+t10077;
+ t9102 = t9877+t9874+t9872+t9894;
+ t9101 = t9150+t9883+t9993+t10012+t10049+t10067;
+ t9100 = t8071+t9194+t9973+t9145+t9987+t10047+t10068;
+ t9099 = t9900+t9920+t9885+t9943;
+ t9098 = t9950+t9862+t9998+t10059+t10078;
+ t9097 = t9150+t9862+t9989+t10026+t10073;
+ t9096 = t9869+t9952+t9955;
+ t9095 = t9151+t9940+t9939+t8148+t10047+t10074;
+ t9094 = t9893+t9889+t9872+t9911;
+ t9093 = t9905+t9927+t9154+t10049+t10055;
+ t9092 = t9878+t9145+t9947+t7904+t10003+t10076;
+ t9091 = t9186+t9907+t9990+t10124;
+ t9090 = t9867+t9937+t9994+t10072;
+ t9089 = t9928+t9882+t9923+t9943;
+ t9088 = t7687+t9154+t9866+t9965+t10016+t10102;
+ t9087 = t9143+t9917+t9924+t7990+t10069+t10083+t10087;
+ t9086 = t9192+t9907+t9995+t10131;
+ t9085 = t9884+t9147+t9938+t10048+t10051;
+ t9084 = t9929+t9153+t9948+t9980+t10102;
+ t9083 = t9880+t9890+t9872+t9896;
+ t9082 = t9918+t9943+t9921+t9944;
+ t9081 = t9926+t9930+t9892+t10010+t10047;
+ t9080 = t9152+t9935+t9980+t9984+t10061;
+ t9079 = t9914+t9891+t9899+t9931;
+ t9078 = t9912+t9903+t9943+t9945;
+ t9077 = t9891+t9925+t9933+t9934;
+ t9076 = t9888+t9904+t9872+t9932;
+ t9075 = t9908+t9153+t9915+t10032+t10051;
+ t9074 = t9871+t9867+t9991+t10075;
+ t9073 = t9869+t9875+t9879;
+ t9072 = t9152+t7925+t9941+t9866+t10071+t10107;
+ coeffs_I->coeff_m2_m2_m2 = t9912+t9882+t9099+t9921+t9922;
+ coeffs_I->coeff_m1_m2_m2 = t9800+t9074+t9793;
+ coeffs_I->coeff_0_m2_m2 = t9125+t9818+t9825;
+ coeffs_I->coeff_p1_m2_m2 = t9795+t9074+t9803;
+ coeffs_I->coeff_p2_m2_m2 = t9082+t9903+t9882+t9920+t9946;
+ coeffs_I->coeff_m2_m1_m2 = t9942+t9908+t9962+t9101+t9703+t9975;
+ coeffs_I->coeff_m1_m1_m2 = t9931+t9103+t9910+t9933+t9947;
+ coeffs_I->coeff_0_m1_m2 = t9109+t9823+t9824;
+ coeffs_I->coeff_p1_m1_m2 = t9077+t9949+t9947+t9184+t9972+t9992;
+ coeffs_I->coeff_p2_m1_m2 = t9942+t9185+t9883+t9093+t9970+t9997;
+ coeffs_I->coeff_m2_0_m2 = t9865+t9111+t9864;
+ coeffs_I->coeff_m1_0_m2 = t9826+t9119+t9829;
+ coeffs_I->coeff_0_0_m2 = t9129*t9062+t9139+t9132*z;
+ coeffs_I->coeff_p1_0_m2 = t9826+t9853+t9105;
+ coeffs_I->coeff_p2_0_m2 = t9822+t9827+t9111;
+ coeffs_I->coeff_m2_p1_m2 = t9194+t9085+t9908+t9927+t9970+t9993;
+ coeffs_I->coeff_m1_p1_m2 = t9092+t9914+t9910+t9925+t9957;
+ coeffs_I->coeff_0_p1_m2 = t9835+t9121+t9824;
+ coeffs_I->coeff_p1_p1_m2 = t9949+t9931+t9092+t9934+t9988+t10078;
+ coeffs_I->coeff_p2_p1_m2 = t9085+t9954+t9915+t9886+t10012+t10028;
+ coeffs_I->coeff_m2_p2_m2 = t9900+t9089+t9918+t9912+t9946;
+ coeffs_I->coeff_m1_p2_m2 = t9803+t9090+t9793;
+ coeffs_I->coeff_0_p2_m2 = t9828+t9840+t9125;
+ coeffs_I->coeff_p1_p2_m2 = t9795+t9800+t9090;
+ coeffs_I->coeff_p2_p2_m2 = t9089+t9903+t9922+t9885+t9944;
+ coeffs_I->coeff_m2_m2_m1 = t7687+t9097+t9810+t9807+t7904;
+ coeffs_I->coeff_m1_m2_m1 = t9887+t9924+t9560+t9081+t9968+t9973;
+ coeffs_I->coeff_0_m2_m1 = t9821+t9122+t9838;
+ coeffs_I->coeff_p1_m2_m1 = t9926+t9087+t9873+t8148+t9968+t9987+t10067;
+ coeffs_I->coeff_p2_m2_m1 = t9098+t9810+t9804+t9691;
+ coeffs_I->coeff_m2_m1_m1 = t9802+t9091+t9801;
+ coeffs_I->coeff_m1_m1_m1 = t9102+t9901+t9896+t9904+t9911;
+ coeffs_I->coeff_0_m1_m1 = t9106+t9847+t9837;
+ coeffs_I->coeff_p1_m1_m1 = t9890+t9898+t9102+t9889+t9932;
+ coeffs_I->coeff_p2_m1_m1 = t9073+t9816+t9794;
+ coeffs_I->coeff_m2_0_m1 = t9118+t9855+t9852;
+ coeffs_I->coeff_m1_0_m1 = t9851+t9848+t9117;
+ coeffs_I->coeff_0_0_m1 = (t9168*t9059+t9162*t9064+t9163)*z+(t9164*t9059+
+t9178*t9064+t9170)*t9062+t9134;
+ coeffs_I->coeff_p1_0_m1 = t9858+t9116+t9848;
+ coeffs_I->coeff_p2_0_m1 = t9110+t9850+t9855;
+ coeffs_I->coeff_m2_p1_m1 = t9814+t9794+t9096;
+ coeffs_I->coeff_m1_p1_m1 = t9076+t9893+t9896+t9874+t9898;
+ coeffs_I->coeff_0_p1_m1 = t9854+t9837+t9123;
+ coeffs_I->coeff_p1_p1_m1 = t9890+t9094+t9888+t9874+t9901;
+ coeffs_I->coeff_p2_p1_m1 = t9086+t9801+t9798;
+ coeffs_I->coeff_m2_p2_m1 = t9808+t9098+t9807+t9621;
+ coeffs_I->coeff_m1_p2_m1 = t9958+t9939+t9081+t9873+t9703+t9966;
+ coeffs_I->coeff_0_p2_m1 = t9122+t9819+t9820;
+ coeffs_I->coeff_p1_p2_m1 = t9100+t9887+t9917+t9926+t9939;
+ coeffs_I->coeff_p2_p2_m1 = t7817+t9808+t9097+t7925+t9804;
+ coeffs_I->coeff_m2_m2_0 = t9843+t9120+t9859;
+ coeffs_I->coeff_m1_m2_0 = t9846+t9126+t9845;
+ coeffs_I->coeff_0_m2_0 = t9138+t9130*y+t9133*t9061;
+ coeffs_I->coeff_p1_m2_0 = t9846+t9108+t9831;
+ coeffs_I->coeff_p2_m2_0 = t9861+t9844+t9120;
+ coeffs_I->coeff_m2_m1_0 = t9842+t9124+t9834;
+ coeffs_I->coeff_m1_m1_0 = t9856+t9104+t9833;
+ coeffs_I->coeff_0_m1_0 = t9135+(t9164*t9058+t9178*t9063+t9170)*t9061+(
+t9168*t9058+t9162*t9063+t9163)*y;
+ coeffs_I->coeff_p1_m1_0 = t9127+t9836+t9833;
+ coeffs_I->coeff_p2_m1_0 = t9115+t9834+t9832;
+ coeffs_I->coeff_m2_0_0 = t9131*t9060+t9136+t9128*x;
+ coeffs_I->coeff_m1_0_0 = (t9051*t9059+t8952+t9053+(t8992*t9059+t9039*
+t9064+t9051)*t9058+t9169*t9063)*x+((t8996*t9059+t9027*t9064+t9036)*t9058+(t9611
++t9035+t9603)*t9063+t9166)*t9060+t9137;
+ coeffs_I->coeff_0_0_0 = t9043*t9057+RATIONAL(1.0,1.0)+t9048*t9065+t9177*
+t9059+t9179*t9064+((RATIONAL(-125.0,64.0)*t9057+t9006+t8978*t9065)*t9059+t9171*
+t9064+t9177)*t9058+(t9171*t9059+(RATIONAL(1.0,64.0)*t9065+t9009+t9012*t9057)*
+t9064+t9179)*t9063;
+ coeffs_I->coeff_p1_0_0 = ((t9024*t9064+t9039+t8984*t9059)*t9058+(t9693+
+t9028*t9064+t9034)*t9063+t9169)*t9060+t9137+(t9054+t9049*t9059+t9045*t9064+(
+t8999*t9059+t9049+t9036*t9064)*t9058+t9166*t9063)*x;
+ coeffs_I->coeff_p2_0_0 = t9136+t9131*x+t9128*t9060;
+ coeffs_I->coeff_m2_p1_0 = t9842+t9115+t9841;
+ coeffs_I->coeff_m1_p1_0 = t9104+t9836+t9857;
+ coeffs_I->coeff_0_p1_0 = t9135+(t9156*t9058+t9170*t9063+t9175)*y+(t9172*
+t9058+t9155*t9063+t9162)*t9061;
+ coeffs_I->coeff_p1_p1_0 = t9856+t9127+t9857;
+ coeffs_I->coeff_p2_p1_0 = t9124+t9841+t9832;
+ coeffs_I->coeff_m2_p2_0 = t9113+t9844+t9843;
+ coeffs_I->coeff_m1_p2_0 = t9863+t9108+t9845;
+ coeffs_I->coeff_0_p2_0 = t9138+t9130*t9061+t9133*y;
+ coeffs_I->coeff_p1_p2_0 = t9863+t9126+t9831;
+ coeffs_I->coeff_p2_p2_0 = t9113+t9861+t9859;
+ coeffs_I->coeff_m2_m2_p1 = t9815+t9072+t9805+t9184;
+ coeffs_I->coeff_m1_m2_p1 = t9100+t9924+t9873+t9892+t9940;
+ coeffs_I->coeff_0_m2_p1 = t9819+t9112+t9838;
+ coeffs_I->coeff_p1_m2_p1 = t8071+t9887+t9940+t9087+t9930+t9958;
+ coeffs_I->coeff_p2_m2_p1 = t9088+t9191+t9805+t9812;
+ coeffs_I->coeff_m2_m1_p1 = t9802+t9086+t9796;
+ coeffs_I->coeff_m1_m1_p1 = t9893+t9901+t9083+t9877+t9932;
+ coeffs_I->coeff_0_m1_p1 = t9106+t9854+t9839;
+ coeffs_I->coeff_p1_m1_p1 = t9880+t9898+t9094+t9877+t9904;
+ coeffs_I->coeff_p2_m1_p1 = t9814+t9073+t9799;
+ coeffs_I->coeff_m2_0_p1 = t9118+t9850+t9860;
+ coeffs_I->coeff_m1_0_p1 = t9849+t9858+t9117;
+ coeffs_I->coeff_0_0_p1 = (t9156*t9059+t9170*t9064+t9175)*z+t9134+(t9172*
+t9059+t9155*t9064+t9162)*t9062;
+ coeffs_I->coeff_p1_0_p1 = t9849+t9851+t9116;
+ coeffs_I->coeff_p2_0_p1 = t9110+t9860+t9852;
+ coeffs_I->coeff_m2_p1_p1 = t9816+t9799+t9096;
+ coeffs_I->coeff_m1_p1_p1 = t9898+t9083+t9888+t9894+t9911;
+ coeffs_I->coeff_0_p1_p1 = t9847+t9839+t9123;
+ coeffs_I->coeff_p1_p1_p1 = t9880+t9076+t9889+t9894+t9901;
+ coeffs_I->coeff_p2_p1_p1 = t9091+t9796+t9798;
+ coeffs_I->coeff_m2_p2_p1 = t9806+t9193+t9072+t9812;
+ coeffs_I->coeff_m1_p2_p1 = t9095+t9887+t9183+t9892+t9966+t9987;
+ coeffs_I->coeff_0_p2_p1 = t9821+t9112+t9820;
+ coeffs_I->coeff_p1_p2_p1 = t9095+t9185+t9917+t9873+t9973+t9996;
+ coeffs_I->coeff_p2_p2_p1 = t9806+t9088+t9815+t7904+t10073;
+ coeffs_I->coeff_m2_m2_p2 = t9078+t9918+t9922+t9920+t9923;
+ coeffs_I->coeff_m1_m2_p2 = t9080+t9811+t9797+t10072;
+ coeffs_I->coeff_0_m2_p2 = t9840+t9818+t9114;
+ coeffs_I->coeff_p1_m2_p2 = t9811+t9809+t9084+t9186;
+ coeffs_I->coeff_p2_m2_p2 = t9945+t9099+t9923+t9944+t9946;
+ coeffs_I->coeff_m2_m1_p2 = t9884+t9886+t9883+t9075+t9927;
+ coeffs_I->coeff_m1_m1_p2 = t9077+t9193+t9899+t9910+t9960+t9988;
+ coeffs_I->coeff_0_m1_p2 = t9835+t9109+t9817;
+ coeffs_I->coeff_p1_m1_p2 = t9079+t9949+t9691+t9960+t9933+t9964;
+ coeffs_I->coeff_p2_m1_p2 = t9902+t9970+t9101+t9954+t9560+t9976;
+ coeffs_I->coeff_m2_0_p2 = t9107+t9822+t9864;
+ coeffs_I->coeff_m1_0_p2 = t9119+t9853+t9830;
+ coeffs_I->coeff_0_0_p2 = t9129*z+t9139+t9132*t9062;
+ coeffs_I->coeff_p1_0_p2 = t9830+t9829+t9105;
+ coeffs_I->coeff_p2_0_p2 = t9107+t9865+t9827;
+ coeffs_I->coeff_m2_p1_p2 = t9905+t9919+t7706+t9075+t9938+t10110+t10118+
+t10130;
+ coeffs_I->coeff_m1_p1_p2 = t9079+t9878+t9910+t9972+t9621+t9978;
+ coeffs_I->coeff_0_p1_p2 = t9121+t9817+t9823;
+ coeffs_I->coeff_p1_p1_p2 = t9103+t9878+t9899+t9925+t9949;
+ coeffs_I->coeff_p2_p1_p2 = t9902+t9183+t9093+t9938+t9975+t9993;
+ coeffs_I->coeff_m2_p2_p2 = t9928+t9078+t9885+t9921+t9946;
+ coeffs_I->coeff_m1_p2_p2 = t9080+t9192+t9809+t9813;
+ coeffs_I->coeff_0_p2_p2 = t9828+t9825+t9114;
+ coeffs_I->coeff_p1_p2_p2 = t9813+t9084+t9797+t10075;
+ coeffs_I->coeff_p2_p2_p2 = t9900+t9928+t9082+t9922+t9945;