aboutsummaryrefslogtreecommitdiff
path: root/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeff-I.compute.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeff-I.compute.c')
-rw-r--r--src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeff-I.compute.c4369
1 files changed, 4369 insertions, 0 deletions
diff --git a/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeff-I.compute.c b/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeff-I.compute.c
new file mode 100644
index 0000000..92b01c5
--- /dev/null
+++ b/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeff-I.compute.c
@@ -0,0 +1,4369 @@
+fp t8637,
+ t8636,
+ t9316,
+ t8640,
+ t8639,
+ t9447,
+ t9836,
+ t8638,
+ t9453,
+ t9835,
+ t9834,
+ t8525,
+ t9051,
+ t8635,
+ t9450,
+ t8451,
+ t9410,
+ t9418,
+ t8444,
+ t9004,
+ t9833,
+ t8601,
+ t9277,
+ t8825,
+ t8631,
+ t9333,
+ t9832,
+ t9323,
+ t9171,
+ t9244,
+ t9021,
+ t9831,
+ t9414,
+ t9192,
+ t9285,
+ t9002,
+ t9830,
+ t8528,
+ t9345,
+ t8496,
+ t9237,
+ t9829,
+ t9297,
+ t9395,
+ t8965,
+ t9828,
+ t9284,
+ t8469,
+ t9299,
+ t8798,
+ t9827,
+ t9826,
+ t8590,
+ t8396,
+ t9247,
+ t8805,
+ t6837,
+ t9111,
+ t9822,
+ t8467,
+ t9339,
+ t8810,
+ t8517,
+ t9436,
+ t9185,
+ t7384,
+ t9821,
+ t9366,
+ t9014,
+ t9417,
+ t9820,
+ t9819,
+ t9425,
+ t9195,
+ t8518,
+ t7379,
+ t8574,
+ t9183,
+ t9818,
+ t8540,
+ t9045,
+ t8605,
+ t9254,
+ t9817,
+ t8584,
+ t9266,
+ t9816,
+ t8535,
+ t9343,
+ t8600,
+ t8956,
+ t9815,
+ t8559,
+ t9459,
+ t9144,
+ t7871,
+ t8594,
+ t9433,
+ t9149,
+ t9814,
+ t9302,
+ t8986,
+ t9813,
+ t8972,
+ t7309,
+ t8512,
+ t9235,
+ t8991,
+ t7589,
+ t9812,
+ t7833,
+ t8569,
+ t8914,
+ t9811,
+ t9456,
+ t8521,
+ t9178,
+ t7555,
+ t8522,
+ t9167,
+ t9810,
+ t8542,
+ t9397,
+ t8292,
+ t8465,
+ t9311,
+ t9173,
+ t7182,
+ t9809,
+ t9808,
+ t8554,
+ t8612,
+ t9255,
+ t9807,
+ t8433,
+ t9027,
+ t9443,
+ t9201,
+ t7512,
+ t9806,
+ t9805,
+ t8391,
+ t8889,
+ t6828,
+ t9804,
+ t9023,
+ t8472,
+ t8610,
+ t9398,
+ t9803,
+ t8419,
+ t9249,
+ t8820,
+ t6965,
+ t8494,
+ t9802,
+ t9393,
+ t8961,
+ t9801,
+ t9444,
+ t9430,
+ t7531,
+ t8539,
+ t9800,
+ t8493,
+ t9365,
+ t7493,
+ t8489,
+ t9799,
+ t7211,
+ t9798,
+ t8503,
+ t9346,
+ t9071,
+ t8420,
+ t9384,
+ t9130,
+ t7037,
+ t9797,
+ t8527,
+ t9259,
+ t8439,
+ t9248,
+ t9094,
+ t9796,
+ t8604,
+ t8865,
+ t8032,
+ t9795,
+ t8899,
+ t9794,
+ t8595,
+ t7834,
+ t8583,
+ t8852,
+ t9793,
+ t8422,
+ t9303,
+ t9097,
+ t9289,
+ t8981,
+ t9792,
+ t8412,
+ t9420,
+ t9223,
+ t7093,
+ t9449,
+ t9200,
+ t9791,
+ t8519,
+ t9350,
+ t8794,
+ t7414,
+ t8577,
+ t9252,
+ t8908,
+ t9790,
+ t8866,
+ t7297,
+ t8509,
+ t7300,
+ t9789,
+ t8454,
+ t9208,
+ t9168,
+ t7771,
+ t9788,
+ t7429,
+ t9134,
+ t9787,
+ t8406,
+ t8441,
+ t9205,
+ t7004,
+ t9042,
+ t9786,
+ t8443,
+ t7080,
+ t9204,
+ t9785,
+ t8859,
+ t9784,
+ t8869,
+ t8903,
+ t7424,
+ t9783,
+ t9344,
+ t9160,
+ t6968,
+ t9782,
+ t8417,
+ t9781,
+ t9224,
+ t8470,
+ t7683,
+ t8487,
+ t9780,
+ t9403,
+ t8867,
+ t9779,
+ t9451,
+ t9146,
+ t9137,
+ t7603,
+ t9778,
+ t9377,
+ t9777,
+ t8585,
+ t9446,
+ t9174,
+ t7775,
+ t8588,
+ t9186,
+ t9776,
+ t8603,
+ t9005,
+ t8006,
+ t9775,
+ t9245,
+ t9017,
+ t9774,
+ t9181,
+ t8587,
+ t7854,
+ t9773,
+ t8464,
+ t7233,
+ t9772,
+ t9104,
+ t9771,
+ t8957,
+ t9263,
+ t8853,
+ t9770,
+ t8430,
+ t8962,
+ t8949,
+ t7472,
+ t9769,
+ t9199,
+ t7650,
+ t9458,
+ t9164,
+ t7496,
+ t9768,
+ t9767,
+ t8463,
+ t8799,
+ t9257,
+ t8897,
+ t7165,
+ t9766,
+ t8846,
+ t9388,
+ t9198,
+ t7809,
+ t9765,
+ t8453,
+ t7323,
+ t9764,
+ t9258,
+ t9465,
+ t7936,
+ t9461,
+ t9180,
+ t9763,
+ t8971,
+ t9308,
+ t9191,
+ t7591,
+ t9762,
+ t8575,
+ t9378,
+ t8426,
+ t9761,
+ t9013,
+ t9760,
+ t7009,
+ t8508,
+ t9347,
+ t8808,
+ t9759,
+ t8409,
+ t9327,
+ t9177,
+ t7204,
+ t9758,
+ t9033,
+ t9757,
+ t8942,
+ t9756,
+ t8807,
+ t6868,
+ t8440,
+ t9755,
+ t9754,
+ t8617,
+ t9412,
+ t8488,
+ t9229,
+ t9753,
+ t8551,
+ t8427,
+ t7019,
+ t9752,
+ t8421,
+ t9269,
+ t9074,
+ t6863,
+ t9751,
+ t8611,
+ t9407,
+ t8477,
+ t9750,
+ t8445,
+ t7102,
+ t9749,
+ t8436,
+ t9018,
+ t9748,
+ t8389,
+ t7063,
+ t9747,
+ t8506,
+ t9746,
+ t8832,
+ t7794,
+ t8505,
+ t9745,
+ t8557,
+ t9415,
+ t9744,
+ t8530,
+ t9047,
+ t6960,
+ t9743,
+ t9742,
+ t8511,
+ t9330,
+ t9466,
+ t8447,
+ t9448,
+ t9151,
+ t7117,
+ t9741,
+ t8802,
+ t9457,
+ t9139,
+ t7738,
+ t9740,
+ t8507,
+ t7648,
+ t8474,
+ t9739,
+ t9271,
+ t8012,
+ t9389,
+ t9738,
+ t9428,
+ t9737,
+ t8039,
+ t9148,
+ t9736,
+ t7278,
+ t9735,
+ t9399,
+ t9080,
+ t7822,
+ t9734,
+ t9733,
+ t8921,
+ t7706,
+ t9732,
+ t8572,
+ t9731,
+ t9301,
+ t9730,
+ t8916,
+ t9411,
+ t9128,
+ t7272,
+ t9729,
+ t9011,
+ t9370,
+ t9728,
+ t8431,
+ t8402,
+ t9727,
+ t8094,
+ t8792,
+ t9726,
+ t8579,
+ t9402,
+ t8877,
+ t9725,
+ t7768,
+ t8438,
+ t9724,
+ t8537,
+ t9238,
+ t8309,
+ t9723,
+ t6856,
+ t9722,
+ t9234,
+ t8917,
+ t9147,
+ t6959,
+ t9721,
+ t8834,
+ t9261,
+ t9227,
+ t6987,
+ t9720,
+ t9337,
+ t9206,
+ t9719,
+ t9452,
+ t9193,
+ t7614,
+ t9718,
+ t7818,
+ t9717,
+ t8800,
+ t8847,
+ t7011,
+ t9716,
+ t7172,
+ t9329,
+ t9153,
+ t7178,
+ t9715,
+ t8598,
+ t8311,
+ t9714,
+ t9256,
+ t9713,
+ t9189,
+ t7345,
+ t9712,
+ t9210,
+ t7991,
+ t9165,
+ t9711,
+ t7091,
+ t8904,
+ t9710,
+ t7776,
+ t8891,
+ t9709,
+ t7137,
+ t8510,
+ t9708,
+ t9008,
+ t9707,
+ t9211,
+ t7400,
+ t9706,
+ t8414,
+ t6865,
+ t9705,
+ t9394,
+ t9704,
+ t9172,
+ t7281,
+ t9703,
+ t6824,
+ t9702,
+ t8500,
+ t8836,
+ t6953,
+ t9701,
+ t8497,
+ t8851,
+ t9464,
+ t6966,
+ t9700,
+ t8480,
+ t7221,
+ t9699,
+ t7180,
+ t9267,
+ t8868,
+ t9698,
+ t9290,
+ t9697,
+ t9426,
+ t9696,
+ t9288,
+ t8870,
+ t7107,
+ t9695,
+ t9694,
+ t8987,
+ t9693,
+ t7464,
+ t9058,
+ t9692,
+ t9218,
+ t7184,
+ t9691,
+ t7248,
+ t9690,
+ t9326,
+ t8824,
+ t7394,
+ t7442,
+ t9689,
+ t7580,
+ t8547,
+ t9688,
+ t9220,
+ t9295,
+ t9687,
+ t9371,
+ t9686,
+ t9685,
+ t7579,
+ t9684,
+ t9322,
+ t7360,
+ t9683,
+ t9682,
+ t9312,
+ t9156,
+ t9681,
+ t7094,
+ t9680,
+ t8495,
+ t7340,
+ t9679,
+ t9409,
+ t7179,
+ t9678,
+ t8900,
+ t9677,
+ t6876,
+ t9676,
+ t9675,
+ t8456,
+ t7369,
+ t8452,
+ t9674,
+ t9460,
+ t9194,
+ t7814,
+ t9170,
+ t9673,
+ t9672,
+ t9368,
+ t9671,
+ t8910,
+ t9670,
+ t8478,
+ t8953,
+ t9669,
+ t9169,
+ t9668,
+ t7598,
+ t9667,
+ t8838,
+ t9666,
+ t9019,
+ t7688,
+ t8947,
+ t9665,
+ t9275,
+ t9664,
+ t9332,
+ t8894,
+ t6956,
+ t9663,
+ t8885,
+ t9662,
+ t9661,
+ t7285,
+ t7282,
+ t9660,
+ t8140,
+ t9659,
+ t7460,
+ t9658,
+ t9657,
+ t9300,
+ t9040,
+ t6883,
+ t8476,
+ t9656,
+ t8931,
+ t9243,
+ t6978,
+ t9655,
+ t9166,
+ t7113,
+ t9654,
+ t7773,
+ t9653,
+ t9652,
+ t7962,
+ t9651,
+ t8482,
+ t7556,
+ t8485,
+ t8821,
+ t9650,
+ t8634,
+ t8462,
+ t9649,
+ t8552,
+ t6980,
+ t9648,
+ t8549,
+ t8531,
+ t9231,
+ t9647,
+ t7144,
+ t9646,
+ t9645,
+ t9240,
+ t9216,
+ t9644,
+ t9391,
+ t9643,
+ t8974,
+ t9001,
+ t6833,
+ t9642,
+ t9641,
+ t9640,
+ t7495,
+ t9639,
+ t7506,
+ t9278,
+ t8281,
+ t9638,
+ t9190,
+ t9637,
+ t9636,
+ t9293,
+ t8930,
+ t9635,
+ t9413,
+ t9634,
+ t9376,
+ t9217,
+ t7687,
+ t9633,
+ t8795,
+ t9632,
+ t9003,
+ t9631,
+ t8839,
+ t7559,
+ t9630,
+ t7592,
+ t8812,
+ t9629,
+ t7517,
+ t9628,
+ t9627,
+ t8473,
+ t7594,
+ t9626,
+ t9028,
+ t7291,
+ t9625,
+ t9328,
+ t9624,
+ t9197,
+ t9155,
+ t7128,
+ t9623,
+ t9182,
+ t8130,
+ t9382,
+ t8614,
+ t9622,
+ t8922,
+ t9621,
+ t8580,
+ t7719,
+ t8523,
+ t9108,
+ t9620,
+ t8397,
+ t9619,
+ t8400,
+ t8450,
+ t8526,
+ t7377,
+ t9618,
+ t8405,
+ t8545,
+ t8475,
+ t9617,
+ t8831,
+ t9379,
+ t8822,
+ t9616,
+ t8117,
+ t8596,
+ t8935,
+ t9615,
+ t8893,
+ t7155,
+ t9291,
+ t8948,
+ t9129,
+ t9614,
+ t8581,
+ t8069,
+ t8592,
+ t9374,
+ t8884,
+ t7111,
+ t9613,
+ t9162,
+ t9612,
+ t8864,
+ t7130,
+ t8983,
+ t9611,
+ t7979,
+ t8398,
+ t9610,
+ t7624,
+ t9609,
+ t9188,
+ t8816,
+ t9608,
+ t7810,
+ t9607,
+ t9230,
+ t9606,
+ t9321,
+ t8793,
+ t8857,
+ t6924,
+ t9296,
+ t9145,
+ t8128,
+ t9605,
+ t8550,
+ t9268,
+ t8878,
+ t7761,
+ t9253,
+ t9604,
+ t9603,
+ t8075,
+ t9262,
+ t9602,
+ t8459,
+ t7388,
+ t8560,
+ t8502,
+ t9601,
+ t8033,
+ t8446,
+ t9600,
+ t8019,
+ t9599,
+ t9598,
+ t8536,
+ t8407,
+ t9597,
+ t8533,
+ t8888,
+ t7540,
+ t9596,
+ t9010,
+ t7550,
+ t8911,
+ t8988,
+ t9595,
+ t7192,
+ t9594,
+ t9081,
+ t6911,
+ t9133,
+ t7855,
+ t9593,
+ t8960,
+ t6971,
+ t8806,
+ t8566,
+ t9179,
+ t8047,
+ t9592,
+ t7751,
+ t9591,
+ t7896,
+ t9590,
+ t8486,
+ t8558,
+ t8803,
+ t8411,
+ t9589,
+ t8801,
+ t7856,
+ t8996,
+ t9588,
+ t8593,
+ t8285,
+ t9438,
+ t9383,
+ t6932,
+ t6964,
+ t9587,
+ t8484,
+ t8468,
+ t7502,
+ t9586,
+ t8951,
+ t9082,
+ t7828,
+ t9585,
+ t9225,
+ t9584,
+ t9031,
+ t7466,
+ t9583,
+ t8514,
+ t8520,
+ t8435,
+ t9582,
+ t8563,
+ t7259,
+ t9581,
+ t9580,
+ t9207,
+ t7048,
+ t9579,
+ t7963,
+ t9578,
+ t9577,
+ t7937,
+ t9576,
+ t9007,
+ t8990,
+ t7482,
+ t9575,
+ t7126,
+ t9574,
+ t8861,
+ t7056,
+ t9573,
+ t7219,
+ t9572,
+ t7643,
+ t9571,
+ t7258,
+ t9570,
+ t8871,
+ t7439,
+ t9569,
+ t7764,
+ t8964,
+ t9568,
+ t9039,
+ t7335,
+ t9363,
+ t9015,
+ t9567,
+ t8892,
+ t9566,
+ t8829,
+ t7050,
+ t9565,
+ t8599,
+ t8909,
+ t9434,
+ t9357,
+ t7236,
+ t9564,
+ t9127,
+ t9298,
+ t8830,
+ t9563,
+ t8946,
+ t9338,
+ t9562,
+ t7434,
+ t9260,
+ t8843,
+ t9561,
+ t9048,
+ t9560,
+ t9340,
+ t8890,
+ t9559,
+ t9307,
+ t8933,
+ t8057,
+ t8826,
+ t9032,
+ t9558,
+ t9052,
+ t9557,
+ t7781,
+ t9556,
+ t9555,
+ t9554,
+ t8461,
+ t9553,
+ t8926,
+ t7888,
+ t8999,
+ t7000,
+ t9552,
+ t8932,
+ t8818,
+ t6877,
+ t9551,
+ t7212,
+ t9550,
+ t8608,
+ t8080,
+ t8534,
+ t8886,
+ t9549,
+ t9548,
+ t8401,
+ t8633,
+ t8442,
+ t8944,
+ t9547,
+ t9546,
+ t7121,
+ t9545,
+ t8410,
+ t9141,
+ t8079,
+ t9544,
+ t8532,
+ t9543,
+ t9542,
+ t9274,
+ t9541,
+ t9540,
+ t8300,
+ t8827,
+ t9539,
+ t9538,
+ t8423,
+ t9373,
+ t9135,
+ t8086,
+ t9537,
+ t9213,
+ t9536,
+ t8796,
+ t9535,
+ t9534,
+ t9533,
+ t9532,
+ t8992,
+ t9531,
+ t9530,
+ t9282,
+ t9233,
+ t8828,
+ t9529,
+ t8797,
+ t9528,
+ t9527,
+ t7997,
+ t8855,
+ t7666,
+ t9526,
+ t9525,
+ t8565,
+ t9250,
+ t8416,
+ t8415,
+ t9524,
+ t8875,
+ t9523,
+ t8809,
+ t9522,
+ t9521,
+ t9142,
+ t7160,
+ t9086,
+ t9520,
+ t9519,
+ t9518,
+ t9136,
+ t7982,
+ t8434,
+ t7967,
+ t9517,
+ t8874,
+ t8331,
+ t9516,
+ t9212,
+ t7770,
+ t9515,
+ t7934,
+ t8432,
+ t8516,
+ t9514,
+ t8306,
+ t9513,
+ t9512,
+ t9272,
+ t8849,
+ t9511,
+ t9510,
+ t8919,
+ t7860,
+ t7723,
+ t9509,
+ t9508,
+ t9507,
+ t9506,
+ t7748,
+ t8862,
+ t9505,
+ t9504,
+ t9292,
+ t9503,
+ t8615,
+ t9214,
+ t8562,
+ t9331,
+ t8883,
+ t7171,
+ t9502,
+ t9501,
+ t9362,
+ t9500,
+ t9499,
+ t9498,
+ t9497,
+ t8850,
+ t9496,
+ t9495,
+ t8387,
+ t9494,
+ t7114,
+ t9493,
+ t8880,
+ t9492,
+ t9132,
+ t9491,
+ t8969,
+ t8149,
+ t9490,
+ t9489,
+ t9488,
+ t9150,
+ t9487,
+ t9226,
+ t6878,
+ t9287,
+ t8817,
+ t9486,
+ t9485,
+ t9228,
+ t7988,
+ t9484,
+ t8390,
+ t8561,
+ t8632,
+ t9483,
+ t8819,
+ t9482,
+ t8524,
+ t8403,
+ t9481,
+ t9480,
+ t8437,
+ t8927,
+ t7311,
+ t9479,
+ t8490,
+ t8458,
+ t7251,
+ t8556,
+ t8483,
+ t9478,
+ t9477,
+ t9476,
+ t8898,
+ t7642,
+ t9475,
+ t8586,
+ t9474,
+ t6997,
+ t9473,
+ t7381,
+ t9472,
+ t9408,
+ t7312,
+ t9471,
+ t8455,
+ t8943,
+ t9470,
+ t7690,
+ t8863,
+ t9469,
+ t7430,
+ t9049,
+ t9468,
+ t8844,
+ t9467,
+ t9463,
+ t9462,
+ t9455,
+ t9454,
+ t9445,
+ t8606,
+ t9442,
+ t8622,
+ t9441,
+ t8573,
+ t9440,
+ t9439,
+ t9437,
+ t9435,
+ t8856,
+ t7702,
+ t6887,
+ t9432,
+ t7685,
+ t7649,
+ t9431,
+ t7491,
+ t9429,
+ t9159,
+ t6946,
+ t9304,
+ t9427,
+ t8570,
+ t9281,
+ t8912,
+ t9424,
+ t7029,
+ t9423,
+ t9422,
+ t9421,
+ t8872,
+ t9419,
+ t9416,
+ t9239,
+ t9406,
+ t9405,
+ t9219,
+ t7484,
+ t9404,
+ t9401,
+ t9187,
+ t7084,
+ t9400,
+ t8413,
+ t9396,
+ t9392,
+ t9390,
+ t9387,
+ t9386,
+ t9385,
+ t9381,
+ t9175,
+ t9380,
+ t8896,
+ t7053,
+ t9375,
+ t9372,
+ t9369,
+ t9367,
+ t9364,
+ t9361,
+ t9360,
+ t7578,
+ t9359,
+ t9358,
+ t9356,
+ t9355,
+ t7010,
+ t9354,
+ t9353,
+ t8984,
+ t7108,
+ t9138,
+ t9352,
+ t9351,
+ t9349,
+ t9341,
+ t7949,
+ t9348,
+ t9342,
+ t9336,
+ t7105,
+ t8887,
+ t9335,
+ t9152,
+ t9334,
+ t9325,
+ t7103,
+ t9324,
+ t9320,
+ t9319,
+ t8815,
+ t7525,
+ t9318,
+ t9317,
+ t9315,
+ t9314,
+ t9313,
+ t8457,
+ t9310,
+ t8607,
+ t9309,
+ t8576,
+ t9306,
+ t9305,
+ t8395,
+ t9294,
+ t9286,
+ t9283,
+ t9280,
+ t8609,
+ t9279,
+ t9276,
+ t9273,
+ t8578,
+ t9270,
+ t8471,
+ t9265,
+ t9264,
+ t9251,
+ t8597,
+ t9246,
+ t9242,
+ t9241,
+ t9236,
+ t8501,
+ t9232,
+ t9222,
+ t9221,
+ t9215,
+ t9209,
+ t9203,
+ t9202,
+ t9196,
+ t9184,
+ t9176,
+ t9163,
+ t9161,
+ t9158,
+ t9157,
+ t9154,
+ t9143,
+ t9140,
+ t9131,
+ t7570,
+ t9126,
+ t8449,
+ t9125,
+ t7433,
+ t9124,
+ t8966,
+ t9123,
+ t8076,
+ t9122,
+ t9121,
+ t9120,
+ t7974,
+ t9119,
+ t9034,
+ t9118,
+ t9117,
+ t9116,
+ t9115,
+ t9114,
+ t9113,
+ t9112,
+ t7120,
+ t9110,
+ t9109,
+ t9107,
+ t7913,
+ t7378,
+ t9103,
+ t9102,
+ t8499,
+ t9099,
+ t9098,
+ t9096,
+ t7062,
+ t7843,
+ t9095,
+ t7089,
+ t7092,
+ t9093,
+ t7670,
+ t9091,
+ t7095,
+ t9090,
+ t9089,
+ t9088,
+ t9087,
+ t7200,
+ t9085,
+ t9084,
+ t9079,
+ t9078,
+ t9077,
+ t7086,
+ t9076,
+ t9075,
+ t7772,
+ t9073,
+ t9072,
+ t9070,
+ t9069,
+ t9068,
+ t8088,
+ t9067,
+ t9066,
+ t9065,
+ t7438,
+ t9064,
+ t9063,
+ t9062,
+ t9061,
+ t9060,
+ t6838,
+ t6825,
+ t9059,
+ t7969,
+ t9057,
+ t9056,
+ t9055,
+ t9054,
+ t8000,
+ t8567,
+ t7820,
+ t9053,
+ t9050,
+ t8813,
+ t9046,
+ t9044,
+ t9043,
+ t9041,
+ t9038,
+ t9037,
+ t8041,
+ t9036,
+ t9035,
+ t9030,
+ t9029,
+ t7445,
+ t9026,
+ t9025,
+ t9024,
+ t7510,
+ t9022,
+ t8538,
+ t9016,
+ t8602,
+ t8329,
+ t8361,
+ t9009,
+ t8301,
+ t9006,
+ t8998,
+ t8997,
+ t8995,
+ t8994,
+ t8993,
+ t8989,
+ t8985,
+ t8980,
+ t8978,
+ t8977,
+ t8976,
+ t8975,
+ t8973,
+ t8970,
+ t8968,
+ t8967,
+ t8963,
+ t8959,
+ t8958,
+ t8955,
+ t8954,
+ t8952,
+ t8950,
+ t8945,
+ t8941,
+ t8940,
+ t8938,
+ t8937,
+ t8936,
+ t8934,
+ t8929,
+ t8925,
+ t8924,
+ t8923,
+ t8918,
+ t8837,
+ t8915,
+ t8913,
+ t8907,
+ t8906,
+ t8905,
+ t7413,
+ t8902,
+ t8901,
+ t8895,
+ t8882,
+ t8881,
+ t8879,
+ t8876,
+ t8873,
+ t8858,
+ t8854,
+ t8848,
+ t8845,
+ t8842,
+ t8841,
+ t8840,
+ t8835,
+ t8833,
+ t8823,
+ t8814,
+ t8811,
+ t8804,
+ t8791,
+ t8418,
+ t8564,
+ t8790,
+ t8789,
+ t8618,
+ t8788,
+ t8026,
+ t8787,
+ t7382,
+ t8786,
+ t8785,
+ t8784,
+ t8783,
+ t7549,
+ t8782,
+ t7423,
+ t8781,
+ t8780,
+ t7695,
+ t7627,
+ t8779,
+ t8591,
+ t8582,
+ t8778,
+ t8513,
+ t8777,
+ t8776,
+ t8775,
+ t8774,
+ t8773,
+ t8772,
+ t8771,
+ t8770,
+ t8769,
+ t8768,
+ t8767,
+ t8619,
+ t8620,
+ t8766,
+ t8624,
+ t8548,
+ t8765,
+ t8764,
+ t8763,
+ t8762,
+ t8761,
+ t8760,
+ t8759,
+ t8758,
+ t8757,
+ t8466,
+ t8546,
+ t8756,
+ t8755,
+ t8754,
+ t8628,
+ t8753,
+ t8752,
+ t8751,
+ t8750,
+ t8749,
+ t8748,
+ t8747,
+ t8746,
+ t8745,
+ t8744,
+ t8743,
+ t8742,
+ t8741,
+ t8740,
+ t8739,
+ t8738,
+ t8737,
+ t8736,
+ t8735,
+ t8734,
+ t7318,
+ t8733,
+ t8732,
+ t8731,
+ t8730,
+ t8729,
+ t8728,
+ t7167,
+ t7232,
+ t8727,
+ t7047,
+ t8726,
+ t6925,
+ t8725,
+ t8492,
+ t7715,
+ t8724,
+ t8723,
+ t7280,
+ t8722,
+ t8721,
+ t8720,
+ t8719,
+ t6998,
+ t8718,
+ t8717,
+ t8716,
+ t8715,
+ t8714,
+ t8713,
+ t6993,
+ t8712,
+ t8711,
+ t7629,
+ t8710,
+ t8709,
+ t8708,
+ t8707,
+ t8706,
+ t7753,
+ t8705,
+ t8704,
+ t8703,
+ t6886,
+ t8702,
+ t6922,
+ t8701,
+ t8700,
+ t8699,
+ t8698,
+ t7176,
+ t8697,
+ t8696,
+ t8695,
+ t8694,
+ t8693,
+ t8692,
+ t8555,
+ t8691,
+ t7209,
+ t8529,
+ t8689,
+ t8688,
+ t8589,
+ t6910,
+ t8687,
+ t8686,
+ t8424,
+ t8685,
+ t7443,
+ t8684,
+ t8683,
+ t8682,
+ t8681,
+ t8680,
+ t8679,
+ t8678,
+ t8677,
+ t8676,
+ t8675,
+ t8394,
+ t8674,
+ t8673,
+ t8672,
+ t7656,
+ t8671,
+ t8670,
+ t8669,
+ t8668,
+ t8667,
+ t8666,
+ t8665,
+ t7153,
+ t8664,
+ t8663,
+ t8662,
+ t8661,
+ t7831,
+ t8660,
+ t7148,
+ t8658,
+ t7263,
+ t8657,
+ t8655,
+ t8654,
+ t8653,
+ t8652,
+ t8651,
+ t8650,
+ t8649,
+ t8648,
+ t8647,
+ t8646,
+ t8645,
+ t8644,
+ t8630,
+ t8629,
+ t8627,
+ t8625,
+ t8623,
+ t8621,
+ t8616,
+ t8613,
+ t8571,
+ t8568,
+ t8553,
+ t8544,
+ t8543,
+ t8541,
+ t8515,
+ t8504,
+ t8498,
+ t8491,
+ t8481,
+ t8479,
+ t8460,
+ t8448,
+ t8429,
+ t8428,
+ t8425,
+ t8408,
+ t8404,
+ t8399,
+ t8393,
+ t8392,
+ t8388,
+ t8213,
+ t8209,
+ t8207,
+ t8204,
+ t8200,
+ t8197,
+ t8196,
+ t8193,
+ t8191,
+ t8187,
+ t8183,
+ t8181,
+ t8176,
+ t8173,
+ t8171,
+ t8170,
+ t8169,
+ t8166,
+ t8162,
+ t8160,
+ t8158,
+ t8157,
+ t8152,
+ t8147,
+ t8146,
+ t8145,
+ t8143,
+ t8136,
+ t8135,
+ t8129,
+ t8125,
+ t8116,
+ t8114,
+ t8111,
+ t8107,
+ t8104,
+ t8100,
+ t8098,
+ t8097,
+ t8092,
+ t8083,
+ t8081,
+ t8072,
+ t8064,
+ t8060,
+ t8054,
+ t8053,
+ t8051,
+ t8050,
+ t8048,
+ t8046,
+ t8042,
+ t8034,
+ t8024,
+ t8023,
+ t8020,
+ t8017,
+ t8013,
+ t8011,
+ t8007,
+ t8002,
+ t7994,
+ t7990,
+ t7986,
+ t7983,
+ t7981,
+ t7980,
+ t7977,
+ t7970,
+ t7966,
+ t7964,
+ t7960,
+ t7954,
+ t7952,
+ t7950,
+ t7948,
+ t7946,
+ t7944,
+ t7943,
+ t7942,
+ t7938,
+ t7935,
+ t7931,
+ t7930,
+ t7927,
+ t7923,
+ t7919,
+ t7918,
+ t7917,
+ t7916,
+ t7914,
+ t7907,
+ t7901,
+ t7900,
+ t7895,
+ t7893,
+ t7892,
+ t7889,
+ t7882,
+ t7880,
+ t7878,
+ t7870,
+ t7869,
+ t7868,
+ t7866,
+ t7858,
+ t7853,
+ t7851,
+ t7840,
+ t7838,
+ t7827,
+ t7826,
+ t7823,
+ t7821,
+ t7815,
+ t7813,
+ t7811,
+ t7807,
+ t7803,
+ t7802,
+ t7795,
+ t7793,
+ t7791,
+ t7785,
+ t7784,
+ t7783,
+ t7777,
+ t7774,
+ t7765,
+ t7760,
+ t7759,
+ t7757,
+ t7756,
+ t7754,
+ t7746,
+ t7742,
+ t7739,
+ t7734,
+ t7731,
+ t7726,
+ t7725,
+ t7724,
+ t7714,
+ t7708,
+ t7707,
+ t7699,
+ t7698,
+ t7689,
+ t7684,
+ t7681,
+ t7678,
+ t7672,
+ t7671,
+ t7667,
+ t7665,
+ t7664,
+ t7660,
+ t7644,
+ t7641,
+ t7640,
+ t7628,
+ t7623,
+ t7622,
+ t7620,
+ t7616,
+ t7613,
+ t7607,
+ t7602,
+ t7597,
+ t7590,
+ t7587,
+ t7586,
+ t7581,
+ t7577,
+ t7571,
+ t7563,
+ t7552,
+ t7551,
+ t7546,
+ t7545,
+ t7544,
+ t7543,
+ t7541,
+ t7536,
+ t7532,
+ t7527,
+ t7524,
+ t7520,
+ t7515,
+ t7507,
+ t7501,
+ t7497,
+ t7481,
+ t7480,
+ t7473,
+ t7471,
+ t7470,
+ t7461,
+ t7459,
+ t7455,
+ t7451,
+ t7447,
+ t7440,
+ t7428,
+ t7422,
+ t7421,
+ t7417,
+ t7408,
+ t7403,
+ t7401,
+ t7392,
+ t7376,
+ t7373,
+ t7367,
+ t7359,
+ t7358,
+ t7346,
+ t7344,
+ t7343,
+ t7339,
+ t7332,
+ t7331,
+ t7325,
+ t7306,
+ t7290,
+ t7288,
+ t7277,
+ t7276,
+ t7273,
+ t7269,
+ t7267,
+ t7266,
+ t7256,
+ t7249,
+ t7235,
+ t7229,
+ t7195,
+ t7194,
+ t7183,
+ t7181,
+ t7175,
+ t7162,
+ t7157,
+ t7156,
+ t7150,
+ t7149,
+ t7147,
+ t7146,
+ t7145,
+ t7141,
+ t7139,
+ t7135,
+ t7125,
+ t7096,
+ t7085,
+ t7082,
+ t7081,
+ t7068,
+ t7066,
+ t7065,
+ t7064,
+ t7060,
+ t7058,
+ t7054,
+ t7049,
+ t7007,
+ t7001,
+ t6996,
+ t6995,
+ t6991,
+ t6981,
+ t6979,
+ t6969,
+ t6967,
+ t6963,
+ t6962,
+ t6955,
+ t6950,
+ t6949,
+ t6933,
+ t6928,
+ t6927,
+ t6908,
+ t6906,
+ t6904,
+ t6892,
+ t6880,
+ t6864,
+ t6861,
+ t6852,
+ t6849,
+ t6836,
+ t6831;
+ t8637 = x*x;
+ t8636 = y*y;
+ t9316 = t8637*t8636;
+ t8640 = z*z;
+ t8639 = z*t8640;
+ t9447 = t8639+z;
+ t9836 = t9316*t9447;
+ t8638 = t8637*x;
+ t9453 = x+t8638;
+ t9835 = t9453*t8640;
+ t9834 = t8637*t9447;
+ t8525 = RATIONAL(1.0,144.0);
+ t9051 = t9453*t8525;
+ t8635 = t8636*y;
+ t9450 = t8635+y;
+ t8451 = RATIONAL(-7.0,144.0);
+ t9410 = t8451*t8638;
+ t9418 = t8636*t8638;
+ t8444 = RATIONAL(49.0,432.0);
+ t9004 = t8444*t9418;
+ t9833 = t9410+t9004;
+ t8601 = RATIONAL(-7.0,27.0);
+ t9277 = t8601*t8636;
+ t8825 = t8638*t9277;
+ t8631 = RATIONAL(1.0,9.0);
+ t9333 = t8631*t8638;
+ t9832 = t8825+t9333;
+ t9323 = t8636*t8640;
+ t9171 = x*t9323;
+ t9244 = t8640*t8638;
+ t9021 = t8636*t9244;
+ t9831 = t9171+t9021;
+ t9414 = t8637*t8640;
+ t9192 = y*t9414;
+ t9285 = t8635*t8637;
+ t9002 = t8640*t9285;
+ t9830 = t9002+t9192;
+ t8528 = RATIONAL(-1.0,144.0);
+ t9345 = t8528*t8639;
+ t8496 = RATIONAL(7.0,432.0);
+ t9237 = t8639*t8637;
+ t9829 = t8496*t9237+t9345;
+ t9297 = t8635*t8631;
+ t9395 = t8635*t8640;
+ t8965 = t8601*t9395;
+ t9828 = t8965+t9297;
+ t9284 = t8525*t8638;
+ t8469 = RATIONAL(-7.0,432.0);
+ t9299 = t8469*t8636;
+ t8798 = t8638*t9299;
+ t9827 = t8798+t9284;
+ t9826 = t9284+t8469*t9244;
+ t8590 = RATIONAL(1.0,48.0);
+ t8396 = RATIONAL(-49.0,1728.0);
+ t9247 = t8639*t8396;
+ t8805 = t8638*t9247;
+ t6837 = t8635*t8805;
+ t9111 = t8640*t9316;
+ t9822 = t8590*t9111+t6837;
+ t8467 = RATIONAL(5.0,576.0);
+ t9339 = t8467*t8640;
+ t8810 = t8635*t9339;
+ t8517 = RATIONAL(-1.0,216.0);
+ t9436 = t8517*z;
+ t9185 = t8638*t9436;
+ t7384 = t8635*t9185;
+ t9821 = t7384+t8638*t8810;
+ t9366 = t8636*t8639;
+ t9014 = t8444*t9366;
+ t9417 = t8451*t8639;
+ t9820 = (t9014+t9417)*x;
+ t9819 = t9828*x;
+ t9425 = t8639*t8638;
+ t9195 = y*t9425;
+ t8518 = RATIONAL(-7.0,216.0);
+ t7379 = t8518*t9195;
+ t8574 = RATIONAL(1.0,36.0);
+ t9183 = y*t9244;
+ t9818 = t8574*t9183+t7379;
+ t8540 = RATIONAL(7.0,27.0);
+ t9045 = t8540*t9285;
+ t8605 = RATIONAL(-1.0,9.0);
+ t9254 = t8605*t8639;
+ t9817 = t8639*t9045+t8635*t9254;
+ t8584 = RATIONAL(-7.0,36.0);
+ t9266 = t8584*t8636;
+ t9816 = (t9266+t8825)*t8640;
+ t8535 = RATIONAL(-1.0,18.0);
+ t9343 = t8535*t8635;
+ t8600 = RATIONAL(7.0,54.0);
+ t8956 = t8600*t9285;
+ t9815 = (t8956+t9343)*z;
+ t8559 = RATIONAL(-2.0,27.0);
+ t9459 = x*t8635;
+ t9144 = t8559*t9459;
+ t7871 = z*t9144;
+ t8594 = RATIONAL(5.0,54.0);
+ t9433 = z*t8636;
+ t9149 = t8594*t9433;
+ t9814 = t7871+x*t9149;
+ t9302 = t8635*t8638;
+ t8986 = t8540*t9244;
+ t9813 = t8635*t8986+t8605*t9302;
+ t8972 = t8496*t9323;
+ t7309 = t8638*t8972;
+ t8512 = RATIONAL(-1.0,108.0);
+ t9235 = t8512*t8635;
+ t8991 = t8639*t9235;
+ t7589 = t8637*t8991;
+ t9812 = t7309+t7589;
+ t7833 = t8639*t9144;
+ t8569 = RATIONAL(5.0,36.0);
+ t8914 = t8569*t9285;
+ t9811 = t8639*t8914+t7833;
+ t9456 = t8639*x;
+ t8521 = RATIONAL(7.0,216.0);
+ t9178 = t8521*t9456;
+ t7555 = t8635*t9178;
+ t8522 = RATIONAL(-7.0,108.0);
+ t9167 = x*t9366;
+ t9810 = t7555+t8522*t9167;
+ t8542 = RATIONAL(1.0,18.0);
+ t9397 = t8542*t8638;
+ t8292 = y*t9397;
+ t8465 = RATIONAL(1.0,108.0);
+ t9311 = t8465*t8638;
+ t9173 = y*t9311;
+ t7182 = z*t9173;
+ t9809 = t7182+t8640*t8292;
+ t9808 = t9829*y;
+ t8554 = RATIONAL(14.0,9.0);
+ t8612 = RATIONAL(7.0,6.0);
+ t9255 = t8612*t8640;
+ t9807 = t8636*t9255+t8554*t9021;
+ t8433 = RATIONAL(35.0,576.0);
+ t9027 = t8433*t9395;
+ t9443 = z*t8518;
+ t9201 = t8635*t9443;
+ t7512 = t8638*t9201;
+ t9806 = t8638*t9027+t7512;
+ t9805 = t9832*t8639;
+ t8391 = RATIONAL(49.0,1728.0);
+ t8889 = t8639*t9302;
+ t6828 = t8391*t8889;
+ t9804 = RATIONAL(-25.0,96.0)*t9111+t6828;
+ t9023 = t8638*t9366;
+ t8472 = RATIONAL(49.0,27.0);
+ t8610 = RATIONAL(-7.0,9.0);
+ t9398 = t8639*t8610;
+ t9803 = t8638*t9398+t8472*t9023;
+ t8419 = RATIONAL(-1.0,1728.0);
+ t9249 = t8639*t8419;
+ t8820 = t8635*t9249;
+ t6965 = x*t8820;
+ t8494 = RATIONAL(1.0,864.0);
+ t9802 = t8494*t9167+t6965;
+ t9393 = t8535*t8638;
+ t8961 = t8600*t9244;
+ t9801 = (t8961+t9393)*y;
+ t9444 = y*t8640;
+ t9430 = x*t9444;
+ t7531 = y*t9178;
+ t8539 = RATIONAL(-1.0,36.0);
+ t9800 = t7531+t8539*t9430;
+ t8493 = RATIONAL(-16.0,27.0);
+ t9365 = y*t9456;
+ t7493 = t8493*t9365;
+ t8489 = RATIONAL(20.0,27.0);
+ t9799 = t7493+t8489*t9430;
+ t7211 = t8465*t8889;
+ t9798 = t7211+t8522*t9111;
+ t8503 = RATIONAL(7.0,288.0);
+ t9346 = t8636*t8503;
+ t9071 = t8639*t9346;
+ t8420 = RATIONAL(7.0,1728.0);
+ t9384 = t8420*t8639;
+ t9130 = y*t9384;
+ t7037 = x*t9130;
+ t9797 = x*t9071+t7037;
+ t8527 = RATIONAL(7.0,144.0);
+ t9259 = t8527*t8639;
+ t8439 = RATIONAL(-49.0,432.0);
+ t9248 = t8635*t8439;
+ t9094 = t8637*t9248;
+ t9796 = t8635*t9259+t8639*t9094;
+ t8604 = RATIONAL(-5.0,27.0);
+ t8865 = t8604*t9418;
+ t8032 = t8559*t9195;
+ t9795 = t8032+t8639*t8865;
+ t8899 = t8640*t9299;
+ t9794 = t8637*t8899+t7211;
+ t8595 = RATIONAL(-4.0,27.0);
+ t7834 = t8595*t9195;
+ t8583 = RATIONAL(5.0,27.0);
+ t8852 = t8583*t9237;
+ t9793 = y*t8852+t7834;
+ t8422 = RATIONAL(35.0,108.0);
+ t9303 = t8636*t8422;
+ t9097 = t8637*t9303;
+ t9289 = t8595*t8638;
+ t8981 = t8635*t9289;
+ t9792 = t8640*t8981+t8639*t9097;
+ t8412 = RATIONAL(-7.0,1728.0);
+ t9420 = t8412*t8638;
+ t9223 = z*t9420;
+ t7093 = y*t9223;
+ t9449 = z*t8637;
+ t9200 = t8467*t9449;
+ t9791 = y*t9200+t7093;
+ t8519 = RATIONAL(7.0,108.0);
+ t9350 = t8635*t8519;
+ t8794 = t8640*t9350;
+ t7414 = t8638*t8794;
+ t8577 = RATIONAL(-7.0,72.0);
+ t9252 = t8577*t8637;
+ t8908 = t8636*t9252;
+ t9790 = t7414+t8639*t8908;
+ t8866 = t8512*t9244;
+ t7297 = y*t8866;
+ t8509 = RATIONAL(1.0,216.0);
+ t7300 = t8509*t9195;
+ t9789 = t7297+t7300;
+ t8454 = RATIONAL(35.0,54.0);
+ t9208 = x*t9395;
+ t9168 = t8540*t9459;
+ t7771 = z*t9168;
+ t9788 = t8454*t9208+t7771;
+ t7429 = x*t9201;
+ t9134 = z*t9350;
+ t9787 = t7429+t8637*t9134;
+ t8406 = RATIONAL(245.0,576.0);
+ t8441 = RATIONAL(-49.0,216.0);
+ t9205 = z*t9302;
+ t7004 = t8441*t9205;
+ t9042 = t8635*t9244;
+ t9786 = t7004+t8406*t9042;
+ t8443 = RATIONAL(49.0,216.0);
+ t7080 = t8443*t9195;
+ t9204 = y*t9237;
+ t9785 = t7080+t8584*t9204;
+ t8859 = t8439*t9244;
+ t9784 = t8635*t8859+t8527*t9302;
+ t8869 = t8518*t9316;
+ t8903 = t8465*t9302;
+ t7424 = t8640*t8903;
+ t9783 = t8639*t8869+t7424;
+ t9344 = t8420*t8635;
+ t9160 = x*t9344;
+ t6968 = z*t9160;
+ t9782 = t6968+t8503*t9208;
+ t8417 = RATIONAL(25.0,192.0);
+ t9781 = t8417*t9111+t6837;
+ t9224 = z*t9285;
+ t8470 = RATIONAL(-32.0,27.0);
+ t7683 = t8470*t9205;
+ t8487 = RATIONAL(40.0,27.0);
+ t9780 = t7683+t8487*t9224;
+ t9403 = t8639*t8525;
+ t8867 = t8639*t9299;
+ t9779 = (t8867+t9403)*x;
+ t9451 = x*t8640;
+ t9146 = t8574*t9451;
+ t9137 = t8518*t9456;
+ t7603 = y*t9137;
+ t9778 = t7603+y*t9146;
+ t9377 = t8528*t8635;
+ t9777 = x*t9377+t8496*t9208;
+ t8585 = RATIONAL(2.0,27.0);
+ t9446 = z*t8585;
+ t9174 = t8635*t9446;
+ t7775 = x*t9174;
+ t8588 = RATIONAL(-5.0,54.0);
+ t9186 = t8588*t9433;
+ t9776 = x*t9186+t7775;
+ t8603 = RATIONAL(4.0,27.0);
+ t9005 = t8603*t9425;
+ t8006 = y*t9005;
+ t9775 = t8006+t8604*t9183;
+ t9245 = t8636*t8600;
+ t9017 = t8638*t9245;
+ t9774 = (t9017+t9393)*z;
+ t9181 = t8559*t9444;
+ t8587 = RATIONAL(1.0,27.0);
+ t7854 = t8587*t9365;
+ t9773 = x*t9181+t7854;
+ t8464 = RATIONAL(-14.0,27.0);
+ t7233 = t8464*t9195;
+ t9772 = t7233+t8454*t9183;
+ t9104 = t8635*t9237;
+ t9771 = t8472*t9104+t8635*t9398;
+ t8957 = t8494*t9237;
+ t9263 = t8419*t8638;
+ t8853 = t8635*t9263;
+ t9770 = t8636*t8957+t8640*t8853;
+ t8430 = RATIONAL(35.0,144.0);
+ t8962 = t8430*t9316;
+ t8949 = t8522*t9244;
+ t7472 = t8635*t8949;
+ t9769 = t8639*t8962+t7472;
+ t9199 = t8512*t9449;
+ t7650 = t8635*t9199;
+ t9458 = z*t8635;
+ t9164 = t8509*t9458;
+ t7496 = t8638*t9164;
+ t9768 = t7650+t7496;
+ t9767 = t9828*t8638;
+ t8463 = RATIONAL(-5.0,432.0);
+ t8799 = t8463*t9323;
+ t9257 = t8637*t8465;
+ t8897 = t8635*t9257;
+ t7165 = t8639*t8897;
+ t9766 = t8638*t8799+t7165;
+ t8846 = t8604*t9285;
+ t9388 = t8635*t8603;
+ t9198 = z*t9388;
+ t7809 = t8638*t9198;
+ t9765 = z*t8846+t7809;
+ t8453 = RATIONAL(-28.0,27.0);
+ t7323 = t8453*t8889;
+ t9764 = t7323+RATIONAL(125.0,36.0)*t9111;
+ t9258 = t8587*t8638;
+ t9465 = y*z;
+ t7936 = t9258*t9465;
+ t9461 = y*t8637;
+ t9180 = t8559*t9461;
+ t9763 = z*t9180+t7936;
+ t8971 = t8535*t9244;
+ t9308 = t8512*t8638;
+ t9191 = z*t9308;
+ t7591 = t8635*t9191;
+ t9762 = t8635*t8971+t7591;
+ t8575 = RATIONAL(16.0,9.0);
+ t9378 = t8639*t8575;
+ t8426 = RATIONAL(-112.0,27.0);
+ t9761 = t8638*t9378+t8426*t9023;
+ t9013 = t8518*t9244;
+ t9760 = t7165+t8636*t9013;
+ t7009 = t8420*t9023;
+ t8508 = RATIONAL(-5.0,576.0);
+ t9347 = t8508*t8640;
+ t8808 = t8637*t9347;
+ t9759 = t8635*t8808+t7009;
+ t8409 = RATIONAL(35.0,432.0);
+ t9327 = t8639*t8522;
+ t9177 = y*t9327;
+ t7204 = t8638*t9177;
+ t9758 = t7204+t8409*t9204;
+ t9033 = t8444*t9395;
+ t9757 = t8638*t9033+t8451*t9302;
+ t8942 = t8463*t9316;
+ t9756 = t7424+t8639*t8942;
+ t8807 = t8635*t9247;
+ t6868 = x*t8807;
+ t8440 = RATIONAL(-49.0,288.0);
+ t9755 = t6868+t8440*t9104;
+ t9754 = t9833*t8639;
+ t8617 = RATIONAL(8.0,9.0);
+ t9412 = t8617*t8638;
+ t8488 = RATIONAL(-56.0,27.0);
+ t9229 = z*t9418;
+ t9753 = z*t9412+t8488*t9229;
+ t8551 = RATIONAL(-7.0,12.0);
+ t8427 = RATIONAL(49.0,108.0);
+ t7019 = t8427*t8889;
+ t9752 = t7019+t8551*t9111;
+ t8421 = RATIONAL(-35.0,576.0);
+ t9269 = t8635*t8421;
+ t9074 = t8637*t9269;
+ t6863 = t8391*t9205;
+ t9751 = z*t9074+t6863;
+ t8611 = RATIONAL(-8.0,9.0);
+ t9407 = t8639*t8611;
+ t8477 = RATIONAL(56.0,27.0);
+ t9750 = x*t9407+t8477*t9167;
+ t8445 = RATIONAL(-49.0,108.0);
+ t7102 = t8445*t8889;
+ t9749 = t7102+RATIONAL(125.0,48.0)*t9111;
+ t8436 = RATIONAL(-35.0,432.0);
+ t9018 = t8436*t9395;
+ t9748 = t8638*t9018+t7512;
+ t8389 = RATIONAL(245.0,432.0);
+ t7063 = t8443*t9205;
+ t9747 = t8389*t9042+t7063;
+ t8506 = RATIONAL(-5.0,216.0);
+ t9746 = t9830*t8506;
+ t8832 = t8639*t9388;
+ t7794 = t8638*t8832;
+ t8505 = RATIONAL(-49.0,54.0);
+ t9745 = t7794+t8505*t9111;
+ t8557 = RATIONAL(7.0,18.0);
+ t9415 = t8635*t8557;
+ t9744 = t8505*t9224+z*t9415;
+ t8530 = RATIONAL(1.0,288.0);
+ t9047 = t8412*t9285;
+ t6960 = t8639*t9047;
+ t9743 = t8530*t9021+t6960;
+ t9742 = t9826*t8635;
+ t8511 = RATIONAL(-1.0,864.0);
+ t9330 = t8511*t8636;
+ t9466 = x*z;
+ t8447 = RATIONAL(1.0,1728.0);
+ t9448 = x*t8447;
+ t9151 = t8635*t9448;
+ t7117 = z*t9151;
+ t9741 = t7117+t9330*t9466;
+ t8802 = t8569*t9244;
+ t9457 = z*t8638;
+ t9139 = t8559*t9457;
+ t7738 = t8635*t9139;
+ t9740 = t8635*t8802+t7738;
+ t8507 = RATIONAL(14.0,27.0);
+ t7648 = t8507*t9195;
+ t8474 = RATIONAL(-35.0,54.0);
+ t9739 = t7648+t8474*t9204;
+ t9271 = t8587*t8635;
+ t8012 = t9271*t9466;
+ t9389 = x*t9433;
+ t9738 = t8012+t8559*t9389;
+ t9428 = t8638*t8611;
+ t9737 = t8477*t9229+z*t9428;
+ t8039 = y*t9139;
+ t9148 = t8594*t9461;
+ t9736 = t8039+z*t9148;
+ t7278 = x*t9164;
+ t9735 = t8512*t9389+t7278;
+ t9399 = t8639*t8635;
+ t9080 = t8595*t9399;
+ t7822 = x*t9080;
+ t9734 = t8583*t9167+t7822;
+ t9733 = x*t9343+t8600*t9208;
+ t8921 = t8635*t9327;
+ t7706 = t8637*t8921;
+ t9732 = t7706+t8430*t9021;
+ t8572 = RATIONAL(1.0,54.0);
+ t9731 = t8572*t9042+t7591;
+ t9301 = t8639*t8535;
+ t9730 = x*t9301+t8600*t9167;
+ t8916 = t8636*t9301;
+ t9411 = t8512*t8639;
+ t9128 = y*t9411;
+ t7272 = t8638*t9128;
+ t9729 = t8638*t8916+t7272;
+ t9011 = t8601*t9237;
+ t9370 = t8639*t8631;
+ t9728 = (t9370+t9011)*y;
+ t8431 = RATIONAL(49.0,144.0);
+ t8402 = RATIONAL(-343.0,432.0);
+ t9727 = t8431*t9399+t8402*t9104;
+ t8094 = t8638*t9174;
+ t8792 = t8583*t9244;
+ t9726 = t8635*t8792+t8094;
+ t8579 = RATIONAL(-7.0,54.0);
+ t9402 = t8579*t8636;
+ t8877 = t8638*t9402;
+ t9725 = (t8877+t9397)*z;
+ t7768 = t8595*t8889;
+ t8438 = RATIONAL(25.0,108.0);
+ t9724 = t7768+t8438*t9111;
+ t8537 = RATIONAL(5.0,48.0);
+ t9238 = t8637*t8537;
+ t8309 = t8636*t9238;
+ t9723 = t6837+t8640*t8309;
+ t6856 = y*t8805;
+ t9722 = t6856+t8440*t9023;
+ t9234 = t8636*t8494;
+ t8917 = t8638*t9234;
+ t9147 = y*t9263;
+ t6959 = z*t9147;
+ t9721 = t6959+z*t8917;
+ t8834 = t8638*t9346;
+ t9261 = t8420*t8638;
+ t9227 = z*t9261;
+ t6987 = y*t9227;
+ t9720 = t6987+z*t8834;
+ t9337 = t8635*t8525;
+ t9206 = t8469*t9451;
+ t9719 = t8635*t9206+x*t9337;
+ t9452 = y*t8638;
+ t9193 = t8521*t9452;
+ t7614 = z*t9193;
+ t9718 = t7614+t8421*t9183;
+ t7818 = t8559*t9365;
+ t9717 = t7818+t8594*t9430;
+ t8800 = t8508*t9316;
+ t8847 = t8635*t9261;
+ t7011 = t8640*t8847;
+ t9716 = t8639*t8800+t7011;
+ t7172 = t8517*t9195;
+ t9329 = t8465*t8639;
+ t9153 = y*t9329;
+ t7178 = t8637*t9153;
+ t9715 = t7172+t7178;
+ t8598 = RATIONAL(-1.0,24.0);
+ t8311 = t8598*t9316;
+ t9714 = t6828+t8640*t8311;
+ t9256 = t8639*t8617;
+ t9713 = y*t9256+t8488*t9204;
+ t9189 = x*t9399;
+ t7345 = t8507*t9189;
+ t9712 = t8474*t9167+t7345;
+ t9210 = t8638*t9446;
+ t7991 = y*t9210;
+ t9165 = t8588*t9461;
+ t9711 = z*t9165+t7991;
+ t7091 = t8447*t9205;
+ t8904 = t8511*t9285;
+ t9710 = z*t8904+t7091;
+ t7776 = z*t8981;
+ t8891 = t8583*t9418;
+ t9709 = t7776+z*t8891;
+ t7137 = x*t9128;
+ t8510 = RATIONAL(5.0,432.0);
+ t9708 = t7137+t8510*t9430;
+ t9008 = t8572*t9366;
+ t9707 = t7272+t8638*t9008;
+ t9211 = t8638*t9443;
+ t7400 = y*t9211;
+ t9706 = t7400+t8519*t9229;
+ t8414 = RATIONAL(-49.0,864.0);
+ t6865 = t8391*t9195;
+ t9705 = t8414*t9023+t6865;
+ t9394 = t8639*t8542;
+ t9704 = t8579*t9167+x*t9394;
+ t9172 = t8512*t9451;
+ t7281 = t8509*t9365;
+ t9703 = t7281+y*t9172;
+ t6824 = RATIONAL(-343.0,1728.0)*t8889;
+ t9702 = t8406*t9023+t6824;
+ t8500 = RATIONAL(-7.0,864.0);
+ t8836 = t8500*t9418;
+ t6953 = t8638*t9130;
+ t9701 = t8639*t8836+t6953;
+ t8497 = RATIONAL(-1.0,288.0);
+ t8851 = t8497*t9237;
+ t9464 = x*y;
+ t6966 = t9249*t9464;
+ t9700 = y*t8851+t6966;
+ t8480 = RATIONAL(-25.0,24.0);
+ t7221 = t8480*t9111;
+ t9699 = t7221+t7019;
+ t7180 = x*t8991;
+ t9267 = t8535*t8637;
+ t8868 = t8635*t9267;
+ t9698 = t8639*t8868+t7180;
+ t9290 = t8638*t8431;
+ t9697 = t8639*t9290+t8402*t9023;
+ t9426 = t8605*t8635;
+ t9696 = t8640*t9168+x*t9426;
+ t9288 = t8639*t8447;
+ t8870 = t8635*t9288;
+ t7107 = x*t8870;
+ t9695 = t8511*t9208+t7107;
+ t9694 = (t9426+t9045)*z;
+ t8987 = t8640*t9303;
+ t9693 = t8638*t8987+t8637*t9080;
+ t7464 = x*t8921;
+ t9058 = t8409*t9366;
+ t9692 = t7464+x*t9058;
+ t9218 = t8510*t9433;
+ t7184 = t9235*t9466;
+ t9691 = t7184+x*t9218;
+ t7248 = t8465*t9189;
+ t9690 = t8463*t9167+t7248;
+ t9326 = t8639*t8519;
+ t8824 = t8638*t9326;
+ t7394 = t8635*t8824;
+ t7442 = RATIONAL(-25.0,72.0)*t9111;
+ t9689 = t7394+t7442;
+ t7580 = t8470*t9189;
+ t8547 = RATIONAL(20.0,9.0);
+ t9688 = t7580+t8547*t9104;
+ t9220 = t8496*t9433;
+ t9295 = t8528*t8638;
+ t9687 = t8638*t9220+z*t9295;
+ t9371 = t8635*t8611;
+ t9686 = t8477*t9208+x*t9371;
+ t9685 = t8439*t9023+t8638*t9259;
+ t7579 = t8639*t9193;
+ t9684 = t8637*t9177+t7579;
+ t9322 = z*t9452;
+ t7360 = t8509*t9322;
+ t9683 = y*t9199+t7360;
+ t9682 = y*t9428+t8477*t9183;
+ t9312 = t8469*t8637;
+ t9156 = z*t9312;
+ t9681 = y*t9156+t8525*t9465;
+ t7094 = z*t8853;
+ t9680 = t8497*t9042+t7094;
+ t8495 = RATIONAL(80.0,27.0);
+ t7340 = RATIONAL(-64.0,27.0)*t8889;
+ t9679 = t7340+t8495*t9042;
+ t9409 = x*t9458;
+ t7179 = t8493*t9409;
+ t9678 = t8489*t9389+t7179;
+ t8900 = t8636*t9289;
+ t9677 = t8422*t9002+t8639*t8900;
+ t6876 = t8443*t9189;
+ t9676 = t8584*t9208+t6876;
+ t9675 = t7738+t8604*t9042;
+ t8456 = RATIONAL(32.0,27.0);
+ t7369 = t8456*t9189;
+ t8452 = RATIONAL(-40.0,27.0);
+ t9674 = t7369+t8452*t9167;
+ t9460 = t8639*y;
+ t9194 = t8585*t9460;
+ t7814 = x*t9194;
+ t9170 = t8588*t9444;
+ t9673 = x*t9170+t7814;
+ t9672 = t8402*t9042+t8635*t9290;
+ t9368 = t8635*t8542;
+ t9671 = z*t9368+t8579*t9224;
+ t8910 = t8469*t9237;
+ t9670 = (t8910+t9403)*y;
+ t8478 = RATIONAL(5.0,216.0);
+ t8953 = t8478*t9323;
+ t9669 = t8638*t8953+t7589;
+ t9169 = t8496*t9444;
+ t9668 = y*t9295+t8638*t9169;
+ t7598 = t8456*t9195;
+ t9667 = t8452*t9183+t7598;
+ t8838 = t8579*t9237;
+ t9666 = (t8838+t9394)*y;
+ t9019 = t8522*t9418;
+ t7688 = t8639*t9019;
+ t8947 = t8430*t9414;
+ t9665 = t7688+t8635*t8947;
+ t9275 = t8635*t8617;
+ t9664 = t8488*t9208+x*t9275;
+ t9332 = t8508*t8636;
+ t8894 = t8638*t9332;
+ t6956 = z*t8847;
+ t9663 = z*t8894+t6956;
+ t8885 = t8640*t9234;
+ t9662 = t8638*t8885+t8637*t8820;
+ t9661 = t9827*t8639;
+ t7285 = t8509*t9189;
+ t7282 = t8635*t9172;
+ t9660 = t7285+t7282;
+ t8140 = x*t8832;
+ t9659 = t8604*t9167+t8140;
+ t7460 = t8512*t9023;
+ t9658 = t7460+t8478*t9002;
+ t9657 = t8639*t9337+t8635*t8910;
+ t9300 = t8412*t8635;
+ t9040 = t8638*t9300;
+ t6883 = z*t9040;
+ t8476 = RATIONAL(7.0,864.0);
+ t9656 = t8476*t9229+t6883;
+ t8931 = t8476*t9366;
+ t9243 = t8412*t8639;
+ t6978 = t9243*t9464;
+ t9655 = x*t8931+t6978;
+ t9166 = x*t9288;
+ t7113 = y*t9166;
+ t9654 = t8511*t9430+t7113;
+ t7773 = t8585*t9189;
+ t9653 = t8588*t9167+t7773;
+ t9652 = t8639*t9297+t8635*t9011;
+ t7962 = t8638*t9194;
+ t9651 = t8639*t9165+t7962;
+ t8482 = RATIONAL(28.0,27.0);
+ t7556 = t8482*t8889;
+ t8485 = RATIONAL(-25.0,18.0);
+ t8821 = t8485*t9414;
+ t9650 = t7556+t8636*t8821;
+ t8634 = RATIONAL(7.0,9.0);
+ t8462 = RATIONAL(-49.0,27.0);
+ t9649 = t8634*t9425+t8462*t9023;
+ t8552 = RATIONAL(7.0,36.0);
+ t6980 = t8441*t9189;
+ t9648 = t8552*t9208+t6980;
+ t8549 = RATIONAL(-35.0,9.0);
+ t8531 = RATIONAL(-35.0,12.0);
+ t9231 = t8531*t8637;
+ t9647 = t8549*t9002+t8640*t9231;
+ t7144 = t8456*t9205;
+ t9646 = t7144+t8452*t9224;
+ t9645 = t8426*t9042+t8575*t9302;
+ t9240 = t8496*t8637;
+ t9216 = z*t9240;
+ t9644 = t8635*t9216+z*t9377;
+ t9391 = t8451*t8635;
+ t9643 = (t9033+t9391)*x;
+ t8974 = t8421*t9366;
+ t9001 = t8391*t9399;
+ t6833 = x*t9001;
+ t9642 = x*t8974+t6833;
+ t9641 = t9832*z;
+ t9640 = t8579*t9183+t8292;
+ t7495 = t8496*t9002;
+ t9639 = t7495+t7460;
+ t7506 = t8522*t8889;
+ t9278 = t8569*t8636;
+ t8281 = t8637*t9278;
+ t9638 = t8640*t8281+t7506;
+ t9190 = t8600*t9461;
+ t9637 = y*t9301+t8639*t9190;
+ t9636 = t8639*t8834+t6953;
+ t9293 = t8579*t8640;
+ t8930 = t8635*t9293;
+ t9635 = (t9368+t8930)*x;
+ t9413 = t8557*t8638;
+ t9634 = t8505*t9229+z*t9413;
+ t9376 = t8637*t8510;
+ t9217 = z*t9376;
+ t7687 = y*t9191;
+ t9633 = y*t9217+t7687;
+ t8795 = t8638*t9278;
+ t9632 = t8639*t8795+t8032;
+ t9003 = t8496*t9366;
+ t9631 = (t9345+t9003)*x;
+ t8839 = t8636*t9329;
+ t7559 = t8638*t8839;
+ t9630 = t8518*t9002+t7559;
+ t7592 = t8636*t8824;
+ t8812 = t8640*t9252;
+ t9629 = t8635*t8812+t7592;
+ t7517 = t8470*t9195;
+ t9628 = t8487*t9204+t7517;
+ t9627 = t8462*t9104+t8634*t9399;
+ t8473 = RATIONAL(35.0,27.0);
+ t7594 = t8507*t9205;
+ t9626 = t8473*t9042+t7594;
+ t9028 = t8640*t9376;
+ t7291 = t8512*t8889;
+ t9625 = t7291+t8636*t9028;
+ t9328 = t8605*t8638;
+ t9624 = (t9328+t8986)*y;
+ t9197 = t8465*t9451;
+ t9155 = t8517*t9456;
+ t7128 = y*t9155;
+ t9623 = y*t9197+t7128;
+ t9182 = t8540*t9457;
+ t8130 = y*t9182;
+ t9382 = y*t9449;
+ t8614 = RATIONAL(-2.0,9.0);
+ t9622 = t8614*t9382+t8130;
+ t8922 = t8638*t9330;
+ t9621 = t8635*t8957+t8511*t9171+t8640*t8922;
+ t8580 = RATIONAL(-7.0,18.0);
+ t7719 = t8580*t9042;
+ t8523 = RATIONAL(49.0,72.0);
+ t9108 = t8636*t9237;
+ t9620 = z*t8908+t7719+t8523*t9108;
+ t8397 = RATIONAL(-245.0,108.0);
+ t9619 = t8617*t9104+x*t8987+t8397*t9021;
+ t8400 = RATIONAL(245.0,144.0);
+ t8450 = RATIONAL(35.0,18.0);
+ t8526 = RATIONAL(-35.0,36.0);
+ t7377 = t8526*t9104;
+ t9618 = t8450*t9171+t8400*t9021+t7377;
+ t8405 = RATIONAL(245.0,108.0);
+ t8545 = RATIONAL(-20.0,9.0);
+ t8475 = RATIONAL(70.0,27.0);
+ t9617 = t8545*t9104+t8405*t9021+t8475*t9171;
+ t8831 = t8572*t9285;
+ t9379 = t8463*t8636;
+ t8822 = t8638*t9379;
+ t9616 = t8512*t9192+t8640*t8831+t8639*t8822;
+ t8117 = t8639*t8877;
+ t8596 = RATIONAL(7.0,72.0);
+ t8935 = t8596*t9414;
+ t9615 = t8117+t9450*t8935;
+ t8893 = t8476*t9237;
+ t7155 = t8635*t8893;
+ t9291 = t8497*t8636;
+ t8948 = t8638*t9291;
+ t9129 = x*t9291;
+ t9614 = t7155+(t8948+t9129)*t8640;
+ t8581 = RATIONAL(5.0,72.0);
+ t8069 = t8581*t9192;
+ t8592 = RATIONAL(-5.0,36.0);
+ t9374 = t8592*t8640;
+ t8884 = t8637*t9374;
+ t7111 = t8409*t9023;
+ t9613 = t8069+t8635*t8884+t7111;
+ t9162 = y*t9257;
+ t9612 = t8639*t8894+t8476*t9002+t8640*t9162;
+ t8864 = t8476*t9244;
+ t7130 = t8635*t8864;
+ t8983 = t8637*t9291;
+ t9611 = t8636*t8851+z*t8983+t7130;
+ t7979 = t8557*t9042;
+ t8398 = RATIONAL(-245.0,144.0);
+ t9610 = t7979+z*t8962+t8398*t9108;
+ t7624 = t8526*t9023;
+ t9609 = t7624+t8450*t9192+t8400*t9002;
+ t9188 = t8465*t9433;
+ t8816 = t8635*t9347;
+ t9608 = t8637*t9188+t8638*t8816+t8636*t8893;
+ t7810 = t8639*t8891;
+ t9607 = t7810+(t8846+t9148)*t8640;
+ t9230 = z*t9316;
+ t9606 = t8545*t9042+t8475*t9230+t8405*t9108;
+ t9321 = t8592*t8636;
+ t8793 = t8638*t9321;
+ t8857 = t8409*t9285;
+ t6924 = t8639*t8857;
+ t9296 = t8581*t8640;
+ t9145 = x*t9296;
+ t8128 = t8636*t9145;
+ t9605 = t6924+t8640*t8793+t8128;
+ t8550 = RATIONAL(-1.0,54.0);
+ t9268 = t8635*t8550;
+ t8878 = t8640*t9268;
+ t7761 = t8638*t8878;
+ t9253 = t8636*t8521;
+ t9604 = t7761+t9253*t9834;
+ t9603 = t8475*t9192+t8405*t9002+t8545*t9023;
+ t8075 = t8635*t8838;
+ t9262 = t8636*t8596;
+ t9602 = t8075+t9262*t9835;
+ t8459 = RATIONAL(-35.0,27.0);
+ t7388 = t8459*t9023;
+ t8560 = RATIONAL(35.0,9.0);
+ t8502 = RATIONAL(-35.0,18.0);
+ t9601 = t7388+t8502*t9192+t8560*t9002;
+ t8033 = t8635*t8961;
+ t8446 = RATIONAL(-35.0,144.0);
+ t9600 = t8033+t8446*t9836;
+ t8019 = t8557*t9023;
+ t9599 = y*t8947+t8019+t8398*t9002;
+ t9598 = t8397*t9002+t8422*t9192+t8617*t9023;
+ t8536 = RATIONAL(8.0,27.0);
+ t8407 = RATIONAL(-35.0,108.0);
+ t9597 = t8536*t9042+(t9230+t9108)*t8407;
+ t8533 = RATIONAL(-7.0,288.0);
+ t8888 = t8533*t9366;
+ t7540 = t8638*t8888;
+ t9596 = t7540+y*t8808+t8433*t9002;
+ t9010 = t8500*t9237;
+ t7550 = t8635*t9010;
+ t8911 = t8467*t9244;
+ t8988 = t8467*t9323;
+ t9595 = t7550+x*t8988+t8636*t8911;
+ t7192 = t8459*t9104;
+ t9594 = t8560*t9021+t8502*t9171+t7192;
+ t9081 = t8639*t9321;
+ t6911 = t8409*t9042;
+ t9133 = t8581*t9449;
+ t7855 = t8636*t9133;
+ t9593 = t8637*t9081+t6911+t7855;
+ t8960 = t8433*t9366;
+ t6971 = t8638*t8960;
+ t8806 = t8640*t9269;
+ t8566 = RATIONAL(-5.0,72.0);
+ t9179 = t8566*t9461;
+ t8047 = t8640*t9179;
+ t9592 = t8637*t8806+t6971+t8047;
+ t7751 = t8639*t9017;
+ t9591 = t7751+t9450*t8446*t9414;
+ t7896 = t8557*t9104;
+ t9590 = t8430*t9171+t8398*t9021+t7896;
+ t8486 = RATIONAL(-35.0,96.0);
+ t8558 = RATIONAL(5.0,96.0);
+ t8803 = t8558*t9316;
+ t8411 = RATIONAL(49.0,288.0);
+ t9589 = z*t8803+t8411*t9042+t8486*t9108;
+ t8801 = t8542*t9366;
+ t7856 = t8638*t8801;
+ t8996 = t8640*t9248;
+ t9588 = t7856+(t9169+t8996)*t8637;
+ t8593 = RATIONAL(-1.0,72.0);
+ t8285 = t8593*t9316;
+ t9438 = t8419*x;
+ t9383 = y*t9438;
+ t6932 = z*t9383;
+ t6964 = t8639*t8847;
+ t9587 = t6932+t6964+t8640*t8285;
+ t8484 = RATIONAL(-49.0,72.0);
+ t8468 = RATIONAL(35.0,36.0);
+ t7502 = t8468*t9104;
+ t9586 = t8484*t9021+t8610*t9171+t7502;
+ t8951 = t8510*t9244;
+ t9082 = t8637*t9268;
+ t7828 = t8639*t9082;
+ t9585 = t8510*t9171+t8636*t8951+t7828;
+ t9225 = z*t9234;
+ t9584 = t8636*t9010+t8637*t9225+t8530*t9042;
+ t9031 = t8503*t9285;
+ t7466 = t8639*t9031;
+ t9583 = t8533*t9021+t7466+t8530*t9171;
+ t8514 = RATIONAL(-80.0,27.0);
+ t8520 = RATIONAL(-70.0,27.0);
+ t8435 = RATIONAL(140.0,27.0);
+ t9582 = t8520*t9192+t8514*t9023+t8435*t9002;
+ t8563 = RATIONAL(-14.0,9.0);
+ t7259 = t8473*t9023;
+ t9581 = t8634*t9192+t7259+t8563*t9002;
+ t9580 = t8617*t9042+z*t9097+t8397*t9108;
+ t9207 = t8574*t9449;
+ t7048 = t8638*t8806;
+ t9579 = t8637*t9071+t7048+t8636*t9207;
+ t7963 = t8638*t8930;
+ t9578 = t7963+t9262*t9834;
+ t9577 = t8520*t9230+t8514*t9042+t8435*t9108;
+ t7937 = t8580*t9023;
+ t9576 = y*t8812+t7937+t8523*t9002;
+ t9007 = t8433*t9418;
+ t8990 = t8533*t9285;
+ t7482 = t8639*t8990;
+ t9575 = t8508*t9171+t8640*t9007+t7482;
+ t7126 = t8638*t8931;
+ t9574 = t7126+t9830*t8497;
+ t8861 = t8421*t9418;
+ t7056 = t8639*t8861;
+ t9573 = t8503*t9002+t7056+t8574*t9192;
+ t7219 = t8468*t9042;
+ t9572 = t7219+t8484*t9108+t8610*t9230;
+ t7643 = t8459*t9042;
+ t9571 = t7643+t8560*t9108+t8502*t9230;
+ t7258 = t8473*t9104;
+ t9570 = t8563*t9021+t7258+t8634*t9171;
+ t8871 = t8533*t9395;
+ t7439 = t8638*t8871;
+ t9569 = z*t8800+t7439+t8637*t8960;
+ t7764 = t8550*t9023;
+ t8964 = t8521*t9395;
+ t9568 = t8637*t8964+t7764+t8521*t9192;
+ t9039 = t8500*t9244;
+ t7335 = t8635*t9039;
+ t9363 = t8636*t8467;
+ t9015 = t8639*t9363;
+ t9567 = t8636*t9200+t7335+t8637*t9015;
+ t8892 = t8508*t9237;
+ t9566 = t8635*t8892+t8465*t9171+t8636*t8864;
+ t8829 = t8503*t9244;
+ t7050 = t8639*t9074;
+ t9565 = t7050+(t8829+t9146)*t8636;
+ t8599 = RATIONAL(5.0,12.0);
+ t8909 = t8599*t9414;
+ t9434 = t8509*y;
+ t9357 = z*t9434;
+ t7236 = x*t9357;
+ t9564 = t7236+t7102+t8636*t8909;
+ t9127 = t8517*t9433;
+ t9298 = x*t9127+t7278;
+ t8830 = t8635*t9296;
+ t9563 = t9298+t7688+t8637*t8830;
+ t8946 = t8581*t9237;
+ t9338 = t7281+t8517*t9430;
+ t9562 = t8636*t8946+t9338+t7472;
+ t7434 = t8635*t8829;
+ t9260 = t8637*t8530;
+ t8843 = t8636*t9260;
+ t9561 = z*t8843+t7434+t8637*t8888;
+ t9048 = t8407*t9323;
+ t9560 = t8536*t9104+t8407*t9021+x*t9048;
+ t9340 = t8637*t8511;
+ t8890 = t8640*t9340;
+ t9559 = t8639*t8917+t9450*t8890;
+ t9307 = t8542*t8640;
+ t8933 = t8635*t9307;
+ t8057 = t8638*t8933;
+ t8826 = t8636*t9240;
+ t9032 = t8439*t9366;
+ t9558 = t8057+t8637*t9032+z*t8826;
+ t9052 = t8635*t9260;
+ t9557 = t8639*t9052+t8640*t8836+x*t8885;
+ t7781 = t8635*t8852;
+ t9556 = t8594*t9171+t7781+t8640*t8865;
+ t9555 = t8536*t9023+t9830*t8407;
+ t9554 = t7764+t8510*t9002+y*t9028;
+ t8461 = RATIONAL(-5.0,288.0);
+ t9553 = t7130+t8461*t9836;
+ t8926 = t8566*t9323;
+ t7888 = x*t8926;
+ t8999 = t8433*t9237;
+ t7000 = t8635*t8999;
+ t9552 = t7888+t8640*t8861+t7000;
+ t8932 = t8637*t9307;
+ t8818 = t8436*t9366;
+ t6877 = t8638*t8818;
+ t9551 = t6877+t8539*t9192+t8635*t8932;
+ t7212 = t8468*t9023;
+ t9550 = t8484*t9002+t7212+t8610*t9192;
+ t8608 = RATIONAL(5.0,9.0);
+ t8080 = z*t9179;
+ t8534 = RATIONAL(35.0,72.0);
+ t8886 = t8534*t9244;
+ t9549 = t8636*t8886+t8608*t9171+t8080+t7377;
+ t9548 = z*t8942+t8637*t9058+t9762;
+ t8401 = RATIONAL(175.0,144.0);
+ t8633 = RATIONAL(2.0,9.0);
+ t8442 = RATIONAL(-25.0,144.0);
+ t8944 = t8442*t9414;
+ t9547 = t8633*t9389+t7937+y*t8944+t8401*t9002;
+ t9546 = t8518*t9171+t8443*t9021+t9698;
+ t7121 = x*t9188;
+ t9545 = t7751+t7121+t8566*t9002+t8047;
+ t8410 = RATIONAL(-35.0,216.0);
+ t9141 = t8539*t9433;
+ t8079 = x*t9141;
+ t9544 = t8478*t9192+t7856+t8079+t8410*t9002;
+ t8532 = RATIONAL(10.0,27.0);
+ t9543 = t8532*t9002+t8604*t9192+t9814;
+ t9542 = t8537*t9323+t8640*t8795+t9796;
+ t9274 = t8637*t8557;
+ t9541 = t8507*t9002+t8640*t9274+t9805;
+ t9540 = t8601*t9192+t8441*t9002+t9632;
+ t8300 = t8569*t9414;
+ t8827 = t8583*t9395;
+ t9539 = t8300+t8637*t8827+t9805;
+ t9538 = t8604*t9230+t8532*t9108+t9675;
+ t8423 = RATIONAL(35.0,288.0);
+ t9373 = t8636*t8566;
+ t9135 = z*t9373;
+ t8086 = x*t9135;
+ t9537 = t7056+t8423*t9002+y*t8300+t8086;
+ t9213 = t8463*t9449;
+ t9536 = y*t9213+t6924+t8605*t9021+t8542*t9171;
+ t8796 = t8640*t9267;
+ t9535 = t8635*t8796+t8598*t9414+t9754;
+ t9534 = t8436*t9021+t8588*t9171+t9811;
+ t9533 = t8640*t9165+t8436*t9002+t9632;
+ t9532 = t8634*t9230+t8563*t9108+t9626;
+ t8992 = t8534*t9395;
+ t9531 = t8637*t8992+t7624+t8608*t9192+t8086;
+ t9530 = t7550+t8494*t9382+t9323*t9051;
+ t9282 = t8640*t8593;
+ t9233 = t8550*t8636;
+ t8828 = t8640*t9233;
+ t9529 = t8636*t9282+t8638*t8828+t9829*t8635;
+ t8797 = t8436*t9237;
+ t9528 = t8637*t9186+t8636*t8797+t9740;
+ t9527 = t7781+t7773+t8464*t9021+t8540*t9171;
+ t7997 = t8639*t8956;
+ t8855 = t8638*t9373;
+ t7666 = z*t9162;
+ t9526 = t7997+t7888+t8640*t8855+t7666;
+ t9525 = t9685+(t8914+t9238)*t8640;
+ t8565 = RATIONAL(-16.0,9.0);
+ t9250 = t8639*t8565;
+ t8416 = RATIONAL(112.0,27.0);
+ t8415 = RATIONAL(-140.0,27.0);
+ t9524 = t8549*t9323+t8635*t9250+t8415*t9021+t8416*t9104;
+ t8875 = t8550*t9414;
+ t9523 = t8639*t9295+t8637*t9282+t8635*t8875+t8638*t9003;
+ t8809 = t8446*t9323;
+ t9522 = t7997+t7464+t9453*t8809;
+ t9521 = t8443*t9108+z*t8869+t9762;
+ t9142 = t8517*t9459;
+ t7160 = t8639*t9142;
+ t9086 = t8463*t9237;
+ t9520 = t8635*t9086+t8512*t9171+t7160+t8572*t9021;
+ t9519 = t8443*t9002+t8518*t9192+t9729;
+ t9518 = t8311+t8637*t8916+t9757;
+ t9136 = t8581*t9433;
+ t7982 = x*t9136;
+ t8434 = RATIONAL(35.0,216.0);
+ t7967 = t8639*t8793;
+ t9517 = t7982+t7967+t8434*t9002+t8583*t9192;
+ t8874 = t8639*t9277;
+ t8331 = t8637*t9266;
+ t9516 = t8331+t8637*t8874+t9813;
+ t9212 = t8539*t9449;
+ t7770 = y*t9212;
+ t9515 = t7770+t8486*t9021+t8411*t9104+t8558*t9171;
+ t7934 = y*t9207;
+ t8432 = RATIONAL(-35.0,288.0);
+ t8516 = RATIONAL(5.0,288.0);
+ t9514 = t7934+t7466+t8432*t9021+t8516*t9171;
+ t8306 = t8640*t9278;
+ t9513 = t8423*t9021+t7050+t8080+x*t8306;
+ t9512 = t8463*t9192+t8640*t8857+t9729;
+ t9272 = t8636*t8528;
+ t8849 = t8637*t9272;
+ t9511 = z*t8849+t7439+t8530*t9430+t8527*t9108;
+ t9510 = t8441*t9021+t8601*t9171+t9811;
+ t8919 = t8592*t9285;
+ t7860 = t8639*t8919;
+ t7723 = y*t9133;
+ t9509 = t8434*t9021+t7860+t8583*t9171+t7723;
+ t9508 = t8467*t9192+t8637*t8810+t9701;
+ t9507 = t8306+t8636*t8792+t9652;
+ t9506 = t9332*t9466+t8451*t9002+t6971+y*t8796;
+ t7748 = t8580*t9104;
+ t8862 = t8442*t9323;
+ t9505 = t7748+t8401*t9021+x*t8862+t8633*t9382;
+ t9504 = t8554*t9002+t8637*t9255+t9649;
+ t9292 = t8549*t8637;
+ t9503 = t8638*t9250+t8416*t9023+t8415*t9002+t8640*t9292;
+ t8615 = RATIONAL(-5.0,9.0);
+ t9214 = t8615*t9433;
+ t8562 = RATIONAL(10.0,9.0);
+ t9331 = t8562*t8636;
+ t8883 = t8639*t9331;
+ t7171 = t8464*t9205;
+ t9502 = t7643+t7171+(t8883+t9214)*t8637;
+ t9501 = t9748+(t8801+t9141)*t8637;
+ t9362 = t8640*t8494;
+ t9500 = t7335+t9362*t9464+t8525*t9836;
+ t9499 = t8281+t8636*t8852+t9767;
+ t9498 = t8540*t9192+t7810+t8464*t9002+t7962;
+ t9497 = t8507*t9021+t8557*t9323+t9652;
+ t8850 = t8637*t9233;
+ t9496 = t8285+t8496*t9042+t8639*t8850+t8635*t9295;
+ t9495 = t8309+t8639*t8281+t9784;
+ t8387 = RATIONAL(-175.0,144.0);
+ t9494 = x*t9214+y*t8821+t7212+t8387*t9002;
+ t7114 = t8447*t9195;
+ t9493 = t8530*t9023+t8500*t9002+t8494*t9192+t7114;
+ t8880 = t8540*t9316;
+ t9492 = t8464*t9108+z*t8880+t9726;
+ t9132 = t8535*t9451;
+ t9491 = t8451*t9021+t8508*t9382+t7000+t8636*t9132;
+ t8969 = t8542*t9237;
+ t8149 = t8635*t8969;
+ t9490 = t7770+x*t8953+t8410*t9021+t8149;
+ t9489 = t8531*t9323+t8549*t9021+t9771;
+ t9488 = t8601*t9230+t8441*t9108+t9740;
+ t9150 = t8535*t9433;
+ t9487 = t8451*t9108+t9347*t9464+t8637*t9150+t9806;
+ t9226 = t8530*t9433;
+ t6878 = t8412*t9195;
+ t9287 = t8528*t8640;
+ t8817 = t8637*t9287;
+ t9486 = t7540+t8527*t9002+y*t8817+x*t9226+t6878;
+ t9485 = t8562*t9002+t7388+t8615*t9192+t9776;
+ t9228 = t8574*t9433;
+ t7988 = x*t9228;
+ t9484 = t7988+t8516*t9192+t8432*t9002+t9636;
+ t8390 = RATIONAL(-245.0,432.0);
+ t8561 = RATIONAL(-5.0,12.0);
+ t8632 = RATIONAL(5.0,6.0);
+ t9483 = t8632*t9002+t8390*t9023+t8561*t9192+t9814;
+ t8819 = t8516*t9316;
+ t9482 = t8432*t9108+t7434+z*t8819+t9778;
+ t8524 = RATIONAL(35.0,96.0);
+ t8403 = RATIONAL(-245.0,576.0);
+ t9481 = t8524*t9002+t7982+t7429+t8403*t9023+y*t8909;
+ t9480 = t8390*t9104+t8561*t9171+t8632*t9021+t9736;
+ t8437 = RATIONAL(25.0,144.0);
+ t8927 = t8635*t9326;
+ t7311 = x*t8927;
+ t9479 = t8075+t7311+t8585*t9382+t9831*t8437;
+ t8490 = RATIONAL(25.0,18.0);
+ t8458 = RATIONAL(16.0,27.0);
+ t7251 = t8458*t9322;
+ t8556 = RATIONAL(-25.0,9.0);
+ t8483 = RATIONAL(-20.0,27.0);
+ t9478 = t8556*t9021+t8490*t9171+t7251+t8483*t9382+t7258;
+ t9477 = t7219+t7171+t8485*t9230+t8387*t9108+t8615*t9430;
+ t9476 = t7400+t8524*t9021+t8403*t9104+t8599*t9171+t7723;
+ t8898 = t8437*t9414;
+ t7642 = y*t8824;
+ t9475 = t8117+t8585*t9389+t7642+t9450*t8898;
+ t8586 = RATIONAL(5.0,18.0);
+ t9474 = y*t8884+t6877+t8586*t9002+t9776;
+ t6997 = t8635*t8797;
+ t9473 = t6997+t8592*t9171+t8586*t9021+t9711;
+ t7381 = t8458*t9409;
+ t9472 = t8483*t9389+t7381+t7259+t8490*t9192+t8556*t9002;
+ t9408 = t8465*t8635;
+ t7312 = t9408*t9466;
+ t9471 = y*t8932+t9379*t9466+t7312+t7111+t8605*t9002;
+ t8455 = RATIONAL(-35.0,72.0);
+ t8943 = t8455*t9244;
+ t9470 = t7400+t7934+t7311+t8636*t8943+t8128+t7896;
+ t7690 = z*t9142;
+ t8863 = t8461*t9414;
+ t9469 = t7121+t6878+t7690+t7126+t9450*t8863;
+ t7430 = t8638*t9134;
+ t9049 = t8455*t9366;
+ t9468 = t7430+t7979+t7855+t8637*t9049+t9778;
+ t8844 = t8506*t9316;
+ t9467 = t9703+t9731+t9447*t8844;
+ t9463 = t8528*y;
+ t9462 = t8535*x;
+ t9455 = z*t9464;
+ t9454 = t8535*y;
+ t9445 = t8542*x;
+ t8606 = RATIONAL(4.0,9.0);
+ t9442 = x*t8606;
+ t8622 = RATIONAL(-4.0,9.0);
+ t9441 = z*t8622;
+ t8573 = RATIONAL(-1.0,27.0);
+ t9440 = x*t8573;
+ t9439 = t8542*z;
+ t9437 = t8528*z;
+ t9435 = x*t8525;
+ t8856 = t8525*t9414;
+ t7702 = t8636*t8856;
+ t6887 = t8412*t8889;
+ t9432 = t7702+t6887;
+ t7685 = y*t9185;
+ t7649 = t8637*t9357;
+ t9431 = t7685+t7649;
+ t7491 = t8521*t9205;
+ t9429 = t7491+t8637*t9201;
+ t9159 = t8635*t9438;
+ t6946 = z*t9159;
+ t9304 = z*t9448;
+ t9427 = t8636*t9304+t6946;
+ t8570 = RATIONAL(-5.0,96.0);
+ t9281 = t8570*t8636;
+ t8912 = t8637*t9281;
+ t9424 = t6828+t8640*t8912;
+ t7029 = t8636*t8898;
+ t9423 = t7506+t7029;
+ t9422 = t8639*t8557;
+ t9421 = t8580*t8638;
+ t8872 = t8420*t9285;
+ t9419 = z*t8872+t6883;
+ t9416 = t8527*t8635;
+ t9239 = y*t9436;
+ t9406 = t7360+t8637*t9239;
+ t9405 = t8584*t8640;
+ t9219 = t8509*t9433;
+ t7484 = x*t9219;
+ t9404 = t7484+t7690;
+ t9401 = t8639*t8580;
+ t9187 = x*t9300;
+ t7084 = t8639*t9187;
+ t9400 = t7084+t8420*t9167;
+ t8413 = RATIONAL(-49.0,144.0);
+ t9396 = t8639*t8413;
+ t9392 = t8637*t9130+t6878;
+ t9390 = t8636*t9223+t6956;
+ t9387 = t7084+t8640*t9160;
+ t9386 = t6878+t8420*t9183;
+ t9385 = z*t9440;
+ t9381 = t8636*t9137+t7555;
+ t9175 = t8419*t9449;
+ t9380 = t7091+t8635*t9175;
+ t8896 = t8636*t9243;
+ t7053 = t8638*t8896;
+ t9375 = t7053+t6964;
+ t9372 = t8636*t9227+t6883;
+ t9369 = y*t9013+t7579;
+ t9367 = t8638+t8639;
+ t9364 = t7555+t8518*t9208;
+ t9361 = t8636*t9166+t6965;
+ t9360 = t8640+t8637;
+ t7578 = t8638*t9153;
+ t9359 = t7578+t7297;
+ t9358 = t8636+t8637;
+ t9356 = t8527*t8638;
+ t9355 = t8517*t9224+t7496;
+ t7010 = t8639*t9160;
+ t9354 = t8640*t9187+t7010;
+ t9353 = t8640*t8331+t7394;
+ t8984 = t8638*t9249;
+ t7108 = y*t8984;
+ t9138 = t8447*t9461;
+ t9352 = t7108+t8639*t9138;
+ t9351 = t7285+t8640*t9142;
+ t9349 = t7300+t8517*t9183;
+ t9341 = y*t9440;
+ t7949 = t8639*t9341;
+ t9348 = t8587*t9430+t7949;
+ t9342 = t7107+t8640*t9159;
+ t9336 = t7379+t8521*t9183;
+ t7105 = t8638*t8820;
+ t8887 = t8447*t9244;
+ t9335 = t7105+t8635*t8887;
+ t9152 = t8640*t9434;
+ t9334 = t7128+x*t9152;
+ t9325 = t7211+t8640*t8844;
+ t7103 = t8637*t8809;
+ t9324 = t7394+t7103;
+ t9320 = t8640*t9040+t6964;
+ t9319 = t8518*t9204+t7579;
+ t8815 = t8534*t9316;
+ t7525 = t8640*t8815;
+ t9318 = t7525+t7506;
+ t9317 = t8637*t8926+t7394;
+ t9315 = t8587*t9465;
+ t9314 = t7172+t8509*t9204;
+ t9313 = t8635+t8639;
+ t8457 = RATIONAL(25.0,12.0);
+ t9310 = t8457*t8636;
+ t8607 = RATIONAL(-5.0,8.0);
+ t9309 = t8607*t8636;
+ t8576 = RATIONAL(1.0,12.0);
+ t9306 = t8576*t8640;
+ t9305 = t8636+t8640;
+ t8395 = RATIONAL(-343.0,108.0);
+ t9294 = t8395*t8640;
+ t9286 = t8447*t8638;
+ t9283 = t7491+t8636*t9211;
+ t9280 = t8573*t9465;
+ t8609 = RATIONAL(-5.0,6.0);
+ t9279 = t8637*t8609;
+ t9276 = t8639*t8872+t6887;
+ t9273 = t7010+x*t8896;
+ t8578 = RATIONAL(1.0,72.0);
+ t9270 = t8635*t8578;
+ t8471 = RATIONAL(-98.0,27.0);
+ t9265 = t8637*t8471;
+ t9264 = RATIONAL(35.0,24.0)*t9111+t7102;
+ t9251 = t8635+t8638;
+ t8597 = RATIONAL(-5.0,24.0);
+ t9246 = t8637*t8597;
+ t9242 = t8580*t8635;
+ t9241 = t8445*t8636;
+ t9236 = t8637*t8927+t7506;
+ t8501 = RATIONAL(98.0,27.0);
+ t9232 = t8636*t8501;
+ t9222 = z*t9363;
+ t9221 = z*t9402;
+ t9215 = t8521*t9458;
+ t9209 = t8419*t9433;
+ t9203 = t8583*t9449;
+ t9202 = t8585*t9451;
+ t9196 = t8601*t9458;
+ t9184 = t8637*t9439;
+ t9176 = t8600*t9444;
+ t9163 = t8497*t9449;
+ t9161 = z*t9245;
+ t9158 = t8608*t9433;
+ t9157 = t8566*t9451;
+ t9154 = t8540*t9460;
+ t9143 = t8522*t9458;
+ t9140 = t8463*t9451;
+ t9131 = z*t9299;
+ t7570 = x*t9215;
+ t9126 = t7570+t7464+t8409*t9208;
+ t8449 = RATIONAL(49.0,54.0);
+ t9125 = t8449*t9224+t7171+z*t9242;
+ t7433 = t8458*t9365;
+ t9124 = t8453*t9430+t7433+y*t9442;
+ t8966 = t8463*t9244;
+ t9123 = t7685+t7578+y*t8966;
+ t8076 = x*t9315;
+ t9122 = y*t9157+t7531+t8076;
+ t9121 = t7991+t8579*t9382+y*t9439;
+ t9120 = y*t9422+t7648+t8505*t9204;
+ t7974 = x*t9280;
+ t9119 = t7603+y*t9145+t7974;
+ t9034 = t8444*t9237;
+ t9118 = t8639*t9391+t7506+t8635*t9034;
+ t9117 = t7311+(t9259+t9032)*x;
+ t9116 = t8449*t9229+t7171+z*t9421;
+ t9115 = t8634*t9302+t8462*t9042+t7556;
+ t9114 = t7818+(t9454+t9176)*x;
+ t9113 = t7775+(t9221+t9439)*x;
+ t9112 = y*t8949+t7614+t7579;
+ t7120 = x*t9239;
+ t9110 = t7120+t9800;
+ t9109 = t8439*t9204+y*t9259+t7642;
+ t9107 = y*t9254+t7834+t8637*t9154;
+ t7913 = t8536*t9455;
+ t7378 = t8493*t9322;
+ t9103 = t7913+t7378+t8489*t9382;
+ t9102 = t8635*t9374;
+ t8499 = RATIONAL(-1.0,432.0);
+ t9099 = t8499*t9316;
+ t9098 = t7814+y*t9445+t9293*t9464;
+ t9096 = t9453*t8636;
+ t7062 = t8441*t9195;
+ t7843 = t8601*t9322;
+ t9095 = y*t8886+t7062+t7843;
+ t7089 = y*t9304;
+ t7092 = t9286*t9465;
+ t9093 = t9340*t9465+t7089+t7092;
+ t7670 = t8464*t9189;
+ t9091 = t7670+t8449*t9208+x*t9242;
+ t7095 = t8638*t8870;
+ t9090 = t7095+t7114+t8639*t8922;
+ t9089 = z*t9371+t7683+t8477*t9224;
+ t9088 = t8592*t9237;
+ t9087 = t7233+t8449*t9183+y*t9421;
+ t7200 = z*t8903;
+ t9085 = t7200+t9827*z;
+ t9084 = t7974+t9673;
+ t9079 = t7648+t8474*t9183+t7843;
+ t9078 = t7312+x*t9131+z*t9435;
+ t9077 = t8449*t9204+t7233+y*t9401;
+ t7086 = z*t9187;
+ t9076 = t8476*t9224+t7086+t6883;
+ t9075 = t8569*t9453;
+ t7772 = x*t9154;
+ t9073 = t7772+t7080+t8455*t9204;
+ t9072 = t7556+t9627;
+ t9070 = t7614+t7204+t8409*t9183;
+ t9069 = t7430+(t9416+t9094)*z;
+ t9068 = t8505*t9167+t7345+x*t9422;
+ t8088 = t8635*t9385;
+ t9067 = t7773+t8088+t8588*t9208;
+ t9066 = t6959+z*t8948+t6956;
+ t9065 = t8637*t9450;
+ t7438 = t8635*t9137;
+ t9064 = x*t8830+t7438+t8088;
+ t9063 = t7430+z*t9356+t8439*t9229;
+ t9062 = t7120+t9623;
+ t9061 = t7323+t8472*t9042+t8610*t9302;
+ t9060 = t7236+t9723;
+ t6838 = t8396*t9205;
+ t6825 = RATIONAL(343.0,1728.0)*t8889;
+ t9059 = t6838+t8440*t9042+t6825;
+ t7969 = x*t9196;
+ t9057 = x*t8992+t6980+t7969;
+ t9056 = x*t9401+t7670+t8449*t9167;
+ t9055 = t7369+x*t9256+t8488*t9167;
+ t9054 = t8500*t9208+t7010+t6968;
+ t8000 = t8601*t9365;
+ t8567 = RATIONAL(-8.0,27.0);
+ t7820 = t8567*t9455;
+ t9053 = t8000+t7820+t8608*t9430;
+ t9050 = y*t8957+t7108+t6966;
+ t8813 = t8604*t9237;
+ t9046 = t7794+t8635*t8813+t7833;
+ t9044 = t7772+t7233+t8454*t9204;
+ t9043 = t8606*t9465+t8453*t9382+t7251;
+ t9041 = t7204+t8444*t9183+y*t9410;
+ t9038 = t7648+t8505*t9183+y*t9413;
+ t9037 = t8477*t9204+y*t9407+t7517;
+ t8041 = t8638*t9280;
+ t9036 = t8638*t9170+t7962+t8041;
+ t9035 = t8635*t9156+t7200+z*t9337;
+ t9030 = t7871+z*t9462+x*t9161;
+ t9029 = t7345+t8474*t9208+t7969;
+ t7445 = RATIONAL(64.0,27.0)*t8889;
+ t9026 = t7445+t8635*t9378+t8426*t9104;
+ t9025 = t7311+(t9416+t8996)*x;
+ t9024 = x*t8794+t7438+t7429;
+ t7510 = t8638*t9143;
+ t9022 = t7510+t9833*z;
+ t8538 = RATIONAL(-10.0,9.0);
+ t9016 = t8538*t9237;
+ t8602 = RATIONAL(-5.0,18.0);
+ t8329 = t8602*t9316;
+ t8361 = t8636*t9279;
+ t9009 = t8636*t9286;
+ t8301 = t8636*t9292;
+ t9006 = t7400+t8519*t9183+t7379;
+ t8998 = t8592*t9244;
+ t8997 = t8540*t9167+t7822+x*t9254;
+ t8995 = t8526*t9042+t7594+t7019;
+ t8994 = t8076+t9717;
+ t8993 = t7578+t7182+t8550*t9183;
+ t8989 = t8598*t9453;
+ t8985 = t9453*t8537;
+ t8980 = t8638*t9331;
+ t8978 = t7248+t7690+t8635*t9140;
+ t8977 = t7379+t8581*t9183+t8041;
+ t8976 = z*t8836+t6987+t6956;
+ t8975 = t7614+t7062+t8552*t9183;
+ t8973 = t8566*t9366;
+ t8970 = t7394+t8635*t8998+t8094;
+ t8968 = t7642+(t9356+t8859)*y;
+ t8967 = t8511*t9244;
+ t8963 = t8540*t9023+t7768+t8638*t9254;
+ t8959 = t8478*t9316;
+ t8958 = t8510*t9366;
+ t8955 = t7768+t9817;
+ t8954 = t8637*t9196+t7809+z*t9297;
+ t8952 = t8488*t9224+t7144+z*t9275;
+ t8950 = t7578+t9826*y;
+ t8945 = z*t9442+t8453*t9389+t7381;
+ t8941 = t8505*t9208+t7345+x*t9415;
+ t8940 = x*t8888+t6978+t6833;
+ t8938 = t7204+(t9034+t9417)*y;
+ t8937 = t7776+t8636*t9182+z*t9328;
+ t8936 = t8450*t9316;
+ t8934 = t7037+t7010+t8500*t9167;
+ t8929 = t9447*t8636;
+ t8925 = t7236+t9735;
+ t8924 = t7510+t8444*t9224+z*t9391;
+ t8923 = t7794+t9795;
+ t8918 = t7570+t7555+t8522*t9208;
+ t8837 = t8455*t9395;
+ t8915 = x*t8837+t6876+t7771;
+ t8913 = t8467*t9285;
+ t8907 = t8636*t9397;
+ t8906 = t8140+(t8874+t9370)*x;
+ t8905 = t9450*t8640;
+ t7413 = x*t9153;
+ t8902 = t7413+(t9435+t9206)*y;
+ t8901 = t8640*t9312;
+ t8895 = t8538*t9395;
+ t8882 = t7323+t9803;
+ t8881 = z*t8990+t7086+t6863;
+ t8879 = t8639*t8831+t7291+t7180;
+ t8876 = t8039+(t9454+t9190)*z;
+ t8873 = t7598+t8488*t9183+y*t9412;
+ t8858 = t8635*t9362;
+ t8854 = t7291+t9707;
+ t8848 = t8603*t9244;
+ t8845 = t8577*t9323;
+ t8842 = t8638*t9272;
+ t8841 = t8639*t8913+t7160+t6887;
+ t8840 = t8006+y*t9333+t8601*t9183;
+ t8835 = t9447*t8537;
+ t8833 = t9447*t8593;
+ t8823 = t8558*t9414;
+ t8814 = t8640*t9253;
+ t8811 = t8510*t9237;
+ t8804 = t8447*t9285;
+ t8791 = t9405+t8576;
+ t8418 = RATIONAL(-196.0,27.0);
+ t8564 = RATIONAL(28.0,9.0);
+ t8790 = t8418*t8640+t8564;
+ t8789 = t8584+t8427*t8640;
+ t8618 = RATIONAL(-4.0,3.0);
+ t8788 = t8564*t8640+t8618;
+ t8026 = t8636*t8935;
+ t8787 = t8638*t8845+t8026+t9236;
+ t7382 = t8636*t8890;
+ t8786 = t7095+t8637*t8858+t8636*t8984+t7382;
+ t8785 = t8640*t9096;
+ t8784 = t8637*t8929;
+ t8783 = t8637*t8905;
+ t7549 = t8637*t8988;
+ t8782 = t7549+t8640*t8894+t9276;
+ t7423 = t8640*t8983;
+ t8781 = t8639*t8843+t7423+t9320;
+ t8780 = t8463*t9002+t7559+t9625;
+ t7695 = t8639*t8826;
+ t7627 = t8635*t8866;
+ t8779 = t7695+t7627+t9794;
+ t8591 = RATIONAL(-7.0,24.0);
+ t8582 = RATIONAL(1.0,24.0);
+ t8778 = t8591*t8639+t8582*z;
+ t8513 = RATIONAL(-35.0,48.0);
+ t8777 = t8609*x+t8513*t8638;
+ t8776 = t9426+t8542*y;
+ t8775 = t8526*t8638+t8538*x;
+ t8774 = t8538*y+t8526*t8635;
+ t8773 = t9417+t8535*z;
+ t8772 = t9463+t9416;
+ t8771 = t8468*t8639+t8592*z;
+ t8770 = t9462+t9410;
+ t8769 = t8596*t8635+t8631*y;
+ t8768 = t8562*x+t8545*t8638;
+ t8767 = t8609*y+t8513*t8635;
+ t8619 = RATIONAL(2.0,3.0);
+ t8620 = RATIONAL(-1.0,3.0);
+ t8766 = t8619*t8635+t8620*y;
+ t8624 = RATIONAL(1.0,3.0);
+ t8548 = RATIONAL(7.0,24.0);
+ t8765 = t8548*t8635+t8624*y;
+ t8764 = t8548*t8639+t8624*z;
+ t8763 = t8633*t8639+t8605*z;
+ t8762 = t8619*t8639+t8620*z;
+ t8761 = t9391+t9454;
+ t8760 = t8619*t8638+t8620*x;
+ t8759 = t8468*t8635+t8592*y;
+ t8758 = t8468*t8638+t8592*x;
+ t8757 = t8545*t8639+t8562*z;
+ t8466 = RATIONAL(35.0,48.0);
+ t8546 = RATIONAL(-5.0,48.0);
+ t8756 = t8546*x+t8466*t8638;
+ t8755 = t9356+t8528*x;
+ t8754 = t8591*t8638+t8582*x;
+ t8628 = RATIONAL(-5.0,3.0);
+ t8753 = t8628*t8639+t8632*z;
+ t8752 = t8596*t8638+t8631*x;
+ t8751 = t8577*t8638+t8578*x;
+ t8750 = t8577*t8635+t8578*y;
+ t8749 = t8577*t8639+t8578*z;
+ t8748 = t9445+t9328;
+ t8747 = t8513*t8639+t8609*z;
+ t8746 = t8633*t8638+t8605*x;
+ t8745 = t8605*y+t8633*t8635;
+ t8744 = t8466*t8635+t8546*y;
+ t8743 = t8526*t8639+t8538*z;
+ t8742 = t8545*t8635+t8562*y;
+ t8741 = t8628*t8635+t8632*y;
+ t8740 = t8628*t8638+t8632*x;
+ t8739 = t8466*t8639+t8546*z;
+ t8738 = t9437+t9259;
+ t8737 = t9254+t9439;
+ t8736 = t8548*t8638+t8624*x;
+ t8735 = t8596*t8639+t8631*z;
+ t8734 = t8582*y+t8591*t8635;
+ t7318 = t8636*t8863;
+ t8733 = t8516*t9002+t7318+t9298+t9375;
+ t8732 = t8639*t8959+t7627+t9325+t9334;
+ t8731 = t8530*t9192+t8637*t8871+t9636+t9822;
+ t8730 = t8516*t9021+t7318+t6964+t6960+t9406;
+ t8729 = t7773+t8640*t9004+t7860+t8600*t9171+t9324;
+ t8728 = t8639*t8803+t8396*t9042+t9334+t9424;
+ t7167 = t8637*t8814;
+ t7232 = t8640*t8798;
+ t8727 = x*t8899+t7167+t7232+t8879;
+ t7047 = RATIONAL(-175.0,27.0)*t9111;
+ t8726 = t7445+t7580+t7047+t8435*t9021+t8514*t9104+t8520*t9171;
+ t6925 = t8637*t9048;
+ t8725 = t7794+t6925+t8637*t9221+t8639*t8880+t9675;
+ t8492 = RATIONAL(1.0,432.0);
+ t7715 = t8492*t9111;
+ t8724 = t7715+t8638*t8858+t7105+t7094+t8511*t9836;
+ t8723 = t8637*t9176+t7967+t8444*t9002+t7962+t9324;
+ t7280 = RATIONAL(-49.0,18.0)*t9111;
+ t8722 = t7280+t8612*t9316+t8554*t9108+t9115;
+ t8721 = t9325+t7761+t7200+(t8811+t9217)*t8636;
+ t8720 = t7414+t8442*t9108+t8640*t9341+t7854+t9423;
+ t8719 = x*t8972+t7506+t7248+t8636*t8859+t8149+t8026;
+ t6998 = RATIONAL(245.0,27.0)*t9111;
+ t8718 = t7340+t8301+t8416*t9042+t8415*t9108+t6998+t8565*t9302;
+ t8717 = t8639*t8819+t7318+t9320+t9338;
+ t8716 = t6925+t8579*t9192+t8540*t9002+t8923;
+ t8715 = t8636*t9385+t8012+t8635*t8944+t7592+t9423;
+ t8714 = t8640*t8842+t7092+t7702+y*t9175+t9276;
+ t8713 = t9798+t7248+t7828+t9453*t8814;
+ t6993 = t8427*t9111;
+ t8712 = t6993+t8963+(t8965+t9405)*t8637;
+ t8711 = x*t8799+t8409*t9021+t9317+t9698;
+ t7629 = t8635*t8901;
+ t8710 = y*t8901+t7629+t7167+t8854;
+ t8709 = t8635*t8823+t8636*t8805+t9404+t9424;
+ t8708 = t7438+t6997+t8640*t8907+t8539*t9171+t9317;
+ t8707 = t8507*t9108+t8636*t9274+t9745+t9767;
+ t8706 = t8637*t8807+t8558*t9021+t9424+t9431;
+ t7753 = t8637*t9135;
+ t8705 = t8637*t8974+t7753+t9781+t9806;
+ t8704 = t8636*t9199+t7384+t8635*t8966+t8637*t9008+t9325;
+ t8703 = t8637*t9149+t8636*t8813+t9724+t9726;
+ t6886 = RATIONAL(-175.0,48.0)*t9111;
+ t8702 = z*t8936+t8400*t9108+t6886+t8995;
+ t6922 = RATIONAL(245.0,36.0)*t9111;
+ t8701 = t8636*t9231+t8639*t8301+t6922+t9061;
+ t8700 = t8636*t8971+t8598*t9323+t8026+t9118;
+ t8699 = t6925+t8579*t9171+t8636*t8986+t9046;
+ t8698 = t7748+t7464+x*t8845+t8523*t9021+t9752;
+ t7176 = t8637*t8867;
+ t8697 = t7291+t7167+t8637*t9131+t7176+t9731;
+ t8696 = t7706+t8581*t9021+t9317+t9406;
+ t8695 = t8639*t8849+t7113+t7011+t8640*t9383+t9432;
+ t8694 = t7103+t8970+(t9014+t9161)*t8637;
+ t8693 = t8637*t9280+t7936+t7029+t8638*t8862+t9236;
+ t8692 = t8635*t8817+t7117+t7009+x*t9209+t9432;
+ t8555 = RATIONAL(-1.0,12.0);
+ t8691 = t8555+t8640*t9241+t9305*t8552;
+ t7209 = t8454*t9111;
+ t8529 = RATIONAL(-10.0,27.0);
+ t8689 = t7209+t7768+t8529*t9108+t8329+t9098+t9813;
+ t8688 = t8602*t9414+t7209+t8529*t9002+t8963+t9113;
+ t8589 = RATIONAL(25.0,9.0);
+ t6910 = RATIONAL(-175.0,36.0)*t9111;
+ t8687 = t7556+x*t9441+t8482*t9389+t7179+t8457*t9414+t6910+t8589*t9002+
+t9649;
+ t8686 = t8576*t9316+t7137+t8631*t9108+t9353+t9784+(t9463+t9169)*x;
+ t8424 = RATIONAL(49.0,864.0);
+ t8685 = t6838+t9703+t8424*t9042+t9060+t9447*t8912;
+ t7443 = t8640*t8936;
+ t8684 = t7443+t7323+t8609*t9323+t8538*t9021+t8876+t9771;
+ t8683 = t8592*t9230+t8586*t9108+t9084+t9689+t9748;
+ t8682 = t8640*t9246+t8602*t9002+t9030+t9318+t9754;
+ t8681 = t7493+t8482*t9430+t6910+t8622*t9464+t8637*t9310+t8589*t9108+t9115
+;
+ t8680 = t8631*t9002+t9353+t7184+t8637*t9306+t9685+(t9437+t9220)*x;
+ t8679 = t8069+t7988+t8637*t8837+t7429+t8019+t7642+t9564;
+ t8678 = t7510+t8000+t8633*t9430+t7719+t8442*t9230+t8401*t9108+t8076+t9699
+;
+ t8677 = t7413+t8636*t9184+t7491+y*t9140+t7120+t6911+t8605*t9108+t9638;
+ t8676 = t7820+t8490*t9230+t7433+t8556*t9108+t8483*t9430+t9626+t9764;
+ t8675 = t7510+t8637*t8973+t8033+t7753+t9062+t9638;
+ t8394 = RATIONAL(343.0,432.0);
+ t8674 = t8609*t9002+t8638*t9396+t8394*t9023+t8607*t9414+t9113+t9264;
+ t8673 = t7430+y*t9202+t7949+t9689+t7974+t7963+t8437*t9836;
+ t8672 = t8529*t9021+t7209+t8602*t9323+t8955+t9121;
+ t7656 = RATIONAL(-25.0,32.0)*t9111;
+ t8671 = t8599*t9230+t7063+t8403*t9042+t6825+t7656+t8524*t9108+t9119;
+ t8670 = t8615*t9382+t7670+t7913+t8387*t9021+t8130+t8485*t9171+t7502+t9749
+;
+ t8669 = t8555+t8552*t8640+(t8552+t8445*t8640)*t8637;
+ t8668 = t7004+t8390*t9042+t8561*t9230+t8632*t9108+t8994+t9699;
+ t8667 = t9587+t9701+x*t9225+t6946+t9450*t8856;
+ t8666 = t8434*t9108+t8636*t9203+t7442+t8970+t9119;
+ t8665 = t8637*t9158+t8639*t8815+t7221+t8995+t9122;
+ t7153 = RATIONAL(5.0,144.0)*t9111;
+ t8664 = t7685+t7084+t7153+t7155+t7120+t6887+t7666+t9831*t8461;
+ t8663 = t7670+t7192+t8615*t9171+t7974+t8640*t8980+t9650+t9711;
+ t8662 = t7525+t8597*t9323+t8602*t9021+t8876+t9118;
+ t8661 = y*t9441+t8482*t9382+t7378+t8640*t9310+t6910+t8589*t9021+t9072;
+ t7831 = RATIONAL(5.0,16.0)*t9111;
+ t8660 = t7570+y*t8823+t7120+t8411*t9023+t8079+t6865+t7831+t8486*t9002+
+t6824;
+ t7148 = RATIONAL(-25.0,54.0)*t9111;
+ t8658 = t8604*t9171+t7148+t8532*t9021+t8076+t9046+t9736;
+ t7263 = RATIONAL(5.0,108.0)*t9111;
+ t8657 = t7263+t7236+t8879+t9683+t9453*t8506*t9323;
+ t8655 = t8394*t9042+t8639*t8361+t8637*t9309+t8413*t9302+t9098+t9264;
+ t8654 = t7491+z*t8281+t8423*t9108+t7048+t9122+t9804;
+ t8653 = t7687+t8636*t9306+t8631*t9021+t9353+t9796+(t9437+t9216)*y;
+ t8652 = t8636*t9246+t8639*t8329+t9114+t9318+t9757;
+ t8651 = t8057+z*t8959+t7200+t8410*t9108+t9110+t9638;
+ t8650 = t7089+t7093+t8527*t9021+t9260*t9465+t8528*t9171+t7084+t7482+t9714
+;
+ t8649 = t8640*t9309+t8635*t9396+t8609*t9021+t8394*t9104+t9121+t9264;
+ t8648 = t6856+t8424*t9023+t8925+t9723+t9830*t8570;
+ t8647 = t8640*t9279+t8637*t8895+t7443+t8882+t9030;
+ t8646 = t8552*t8636+t8555+(t8552+t9241)*t8637;
+ t8645 = t9060+t6868+t8424*t9104+t9683+t9281*t9835;
+ t8644 = t8636*t9016+t7443+t8361+t9061+t9114;
+ t8630 = RATIONAL(5.0,3.0);
+ t8629 = RATIONAL(5.0,4.0);
+ t8627 = RATIONAL(-1.0,6.0);
+ t8625 = RATIONAL(-7.0,3.0);
+ t8623 = RATIONAL(-1.0,2.0);
+ t8621 = RATIONAL(1.0,6.0);
+ t8616 = RATIONAL(1.0,4.0);
+ t8613 = RATIONAL(-2.0,3.0);
+ t8571 = RATIONAL(-28.0,9.0);
+ t8568 = RATIONAL(49.0,9.0);
+ t8553 = RATIONAL(7.0,12.0);
+ t8544 = RATIONAL(-1.0,48.0);
+ t8543 = RATIONAL(-7.0,48.0);
+ t8541 = RATIONAL(7.0,48.0);
+ t8515 = RATIONAL(50.0,27.0);
+ t8504 = RATIONAL(25.0,16.0);
+ t8498 = RATIONAL(25.0,24.0);
+ t8491 = RATIONAL(-25.0,12.0);
+ t8481 = RATIONAL(-49.0,36.0);
+ t8479 = RATIONAL(-50.0,27.0);
+ t8460 = RATIONAL(49.0,36.0);
+ t8448 = RATIONAL(-25.0,192.0);
+ t8429 = RATIONAL(196.0,27.0);
+ t8428 = RATIONAL(100.0,27.0);
+ t8425 = RATIONAL(-100.0,27.0);
+ t8408 = RATIONAL(-25.0,108.0);
+ t8404 = RATIONAL(175.0,192.0);
+ t8399 = RATIONAL(-175.0,108.0);
+ t8393 = RATIONAL(343.0,108.0);
+ t8392 = RATIONAL(-175.0,192.0);
+ t8388 = RATIONAL(175.0,108.0);
+ t8213 = t8606*t9204;
+ t8209 = t8606*t9167;
+ t8207 = t8622*t9167;
+ t8204 = t8614*t9389;
+ t8200 = t8606*t9183;
+ t8197 = t8606*t9229;
+ t8196 = t8611*t9042;
+ t8193 = t8622*t9229;
+ t8191 = t8622*t9208;
+ t8187 = t8622*t9204;
+ t8183 = t8611*t9023;
+ t8181 = t8606*t9224;
+ t8176 = t8611*t9104;
+ t8173 = t8622*t9183;
+ t8171 = t8608*t9382;
+ t8170 = x*t9158;
+ t8169 = t8614*t9430;
+ t8166 = t8606*t9208;
+ t8162 = t8622*t9224;
+ t8160 = t8567*t9104;
+ t8158 = y*t8969;
+ t8157 = x*t9008;
+ t8152 = t8635*t9184;
+ t8147 = y*t8998;
+ t8146 = t8562*t9208;
+ t8145 = t8636*t9139;
+ t8143 = t8638*t9186;
+ t8136 = y*t8848;
+ t8135 = x*t8878;
+ t8129 = z*t8900;
+ t8125 = z*t8907;
+ t8116 = t8635*t8848;
+ t8114 = t8584*t9229;
+ t8111 = t8594*t9224;
+ t8107 = t8572*t9204;
+ t8104 = t8595*t9204;
+ t8100 = t8550*t9229;
+ t8098 = t8636*t9210;
+ t8097 = t8588*t9224;
+ t8092 = t8584*t9224;
+ t8083 = x*t9081;
+ t8081 = t8584*t9167;
+ t8072 = x*t8801;
+ t8064 = t8639*t9179;
+ t8060 = y*t8792;
+ t8054 = t8595*t9224;
+ t8053 = t8635*t9212;
+ t8051 = t8603*t9204;
+ t8050 = t8637*t9315;
+ t8048 = t8638*t9136;
+ t8046 = x*t8973;
+ t8042 = z*t8795;
+ t8034 = t8637*t8832;
+ t8024 = t8585*t9167;
+ t8023 = t8569*t9167;
+ t8020 = t8539*t9208;
+ t8017 = t8635*t9207;
+ t8013 = t8587*t9389;
+ t8011 = t8567*t9023;
+ t8007 = t8638*t9141;
+ t8002 = t8562*t9224;
+ t7994 = z*t8793;
+ t7990 = t8566*t9224;
+ t7986 = t8595*t9183;
+ t7983 = t8637*t9198;
+ t7981 = t8539*t9183;
+ t7980 = t8638*t9181;
+ t7977 = t8637*t9194;
+ t7970 = y*t9016;
+ t7966 = t8569*t9208;
+ t7964 = t8635*t9202;
+ t7960 = t8635*t9157;
+ t7954 = x*t8916;
+ t7952 = t8581*t9167;
+ t7950 = t8584*t9183;
+ t7948 = t8585*t9183;
+ t7946 = t8574*t9167;
+ t7944 = t8635*t9133;
+ t7943 = x*t8883;
+ t7942 = t8637*t9174;
+ t7938 = t8538*t9167;
+ t7935 = y*t8802;
+ t7931 = t8638*t9150;
+ t7930 = t8566*t9183;
+ t7927 = t8550*t9204;
+ t7923 = t8550*t9167;
+ t7919 = z*t8855;
+ t7918 = t8562*t9183;
+ t7917 = t8638*t9149;
+ t7916 = t8640*t9144;
+ t7914 = t8574*t9204;
+ t7907 = t8552*t9167;
+ t7901 = t8559*t9167;
+ t7900 = t8635*t9132;
+ t7895 = t8538*t9224;
+ t7893 = x*t8895;
+ t7892 = z*t8980;
+ t7889 = t8594*t9208;
+ t7882 = t8603*t9229;
+ t7880 = y*t8946;
+ t7878 = t8639*t9180;
+ t7870 = t8552*t9229;
+ t7869 = t8594*t9183;
+ t7868 = t8547*t9023;
+ t7866 = z*t8914;
+ t7858 = t8538*t9183;
+ t7853 = t8635*t9146;
+ t7851 = z*t8919;
+ t7840 = t8636*t9005;
+ t7838 = t8604*t9208;
+ t7827 = y*t8971;
+ t7826 = t8569*t9204;
+ t7823 = t8547*t9042;
+ t7821 = t8538*t9229;
+ t7815 = t8562*t9204;
+ t7813 = t8567*t9042;
+ t7811 = t8638*t9228;
+ t7807 = t8595*t9167;
+ t7803 = x*t8827;
+ t7802 = t8572*t9229;
+ t7795 = t8603*t9167;
+ t7793 = t8552*t9224;
+ t7791 = t8552*t9204;
+ t7785 = x*t9102;
+ t7784 = t8572*t9183;
+ t7783 = t8559*t9224;
+ t7777 = t8635*t9203;
+ t7774 = t8595*t9208;
+ t7765 = t8539*t9167;
+ t7760 = z*t8865;
+ t7759 = x*t8933;
+ t7757 = t8535*t9204;
+ t7756 = z*t8868;
+ t7754 = t8572*t9208;
+ t7746 = y*t9088;
+ t7742 = y*t8813;
+ t7739 = t8639*t9148;
+ t7734 = z*t8831;
+ t7731 = t8539*t9204;
+ t7726 = t8594*t9167;
+ t7725 = z*t9082;
+ t7724 = t8603*t9208;
+ t7714 = t8494*t9183;
+ t7708 = t8635*t8967;
+ t7707 = t8635*t8811;
+ t7699 = t8638*t9226;
+ t7698 = z*t8922;
+ t7689 = t8511*t9167;
+ t7684 = t8455*t9229;
+ t7681 = t8640*t9173;
+ t7678 = t8494*t9224;
+ t7672 = t8510*t9208;
+ t7671 = y*t8943;
+ t7667 = x*t9222;
+ t7665 = y*t8967;
+ t7664 = t8638*t9222;
+ t7660 = t8452*t9204;
+ t7644 = t8497*t9208;
+ t7641 = t8495*t9023;
+ t7640 = x*t9015;
+ t7628 = t8476*t9208;
+ t7623 = t8519*t9167;
+ t7622 = t8519*t9204;
+ t7620 = x*t8964;
+ t7616 = t8638*t9127;
+ t7613 = t8487*t9208;
+ t7607 = t8508*t9224;
+ t7602 = t8534*t9204;
+ t7597 = t8455*t9224;
+ t7590 = z*t8822;
+ t7587 = t8509*t9208;
+ t7586 = t8636*t9155;
+ t7581 = y*t8829;
+ t7577 = t8452*t9208;
+ t7571 = t8530*t9204;
+ t7563 = z*t9129;
+ t7552 = t8487*t9183;
+ t7551 = t8454*t9229;
+ t7546 = t8521*t9204;
+ t7545 = t8637*t9215;
+ t7544 = t8503*t9204;
+ t7543 = t8639*t8948;
+ t7541 = t9339*t9464;
+ t7536 = x*t8871;
+ t7532 = t8511*t9204;
+ t7527 = t8487*t9167;
+ t7524 = t8500*t9224;
+ t7520 = t8638*t9188;
+ t7515 = t8533*t9183;
+ t7507 = t8639*t9129;
+ t7501 = t8454*t9167;
+ t7497 = x*t8816;
+ t7481 = t8635*t9213;
+ t7480 = t8509*t9167;
+ t7473 = t8508*t9183;
+ t7471 = t8638*t9219;
+ t7470 = t8637*t9164;
+ t7461 = t8636*t9191;
+ t7459 = y*t8893;
+ t7455 = y*t8892;
+ t7451 = t8497*t9183;
+ t7447 = t8530*t9167;
+ t7440 = t8639*t8904;
+ t7428 = t8534*t9167;
+ t7422 = t8530*t9002;
+ t7421 = t8452*t9229;
+ t7417 = t8534*t9224;
+ t7408 = y*t9086;
+ t7403 = y*t8951;
+ t7401 = t8530*t9208;
+ t7392 = t8495*t9104;
+ t7376 = t8474*t9224;
+ t7373 = z*t9052;
+ t7367 = t8530*t9183;
+ t7359 = t8517*t9204;
+ t7358 = x*t8858;
+ t7346 = t8508*t9167;
+ t7344 = z*t9031;
+ t7343 = t8635*t9163;
+ t7339 = t8474*t9229;
+ t7332 = t8635*t8851;
+ t7331 = t8637*t9143;
+ t7325 = y*t9163;
+ t7306 = t8487*t9229;
+ t7290 = y*t9039;
+ t7288 = t8521*t9167;
+ t7277 = t8635*t9217;
+ t7276 = t8512*t9167;
+ t7273 = y*t8811;
+ t7269 = x*t8810;
+ t7267 = t8534*t9229;
+ t7266 = y*t8911;
+ t7256 = t8533*t9204;
+ t7249 = y*t8864;
+ t7235 = t8638*t9152;
+ t7229 = t8521*t9229;
+ t7195 = t8497*t9430;
+ t7194 = t8635*t8951;
+ t7183 = y*t9010;
+ t7181 = z*t9019;
+ t7175 = z*t8897;
+ t7162 = t8635*t9197;
+ t7157 = t8638*t9218;
+ t7156 = x*t8839;
+ t7150 = t8454*t9224;
+ t7149 = t8637*t9128;
+ t7147 = z*t8913;
+ t7146 = t8638*t8958;
+ t7145 = x*t9049;
+ t7141 = x*t8958;
+ t7139 = t8638*t9015;
+ t7135 = t8533*t9229;
+ t7125 = t8467*t9204;
+ t7096 = z*t9009;
+ t7085 = t8436*t9183;
+ t7082 = y*t8797;
+ t7081 = t8639*t9009;
+ t7068 = z*t8861;
+ t7066 = y*t8999;
+ t7065 = x*t8960;
+ t7064 = x*t9027;
+ t7060 = t8433*t9183;
+ t7058 = t8421*t9204;
+ t7054 = t8414*t9042;
+ t7049 = x*t8818;
+ t7007 = t8412*t9204;
+ t7001 = t8436*t9224;
+ t6996 = x*t9018;
+ t6995 = t8433*t9224;
+ t6991 = z*t9007;
+ t6981 = t8419*t9167;
+ t6979 = t8638*t9209;
+ t6969 = t8447*t9430;
+ t6967 = y*t8887;
+ t6963 = z*t8804;
+ t6962 = z*t9138;
+ t6955 = t8414*t9104;
+ t6950 = t8640*t9151;
+ t6949 = z*t9047;
+ t6933 = x*t8806;
+ t6928 = t8419*t9204;
+ t6927 = t8639*t8804;
+ t6908 = t8412*t9183;
+ t6906 = z*t8857;
+ t6904 = t8409*t9229;
+ t6892 = t8640*t9147;
+ t6880 = t8436*t9229;
+ t6864 = t8391*t9042;
+ t6861 = t8637*t9001;
+ t6852 = t8389*t9023;
+ t6849 = t8406*t9104;
+ t6836 = t8391*t9023;
+ t6831 = t8389*t9104;
+ coeff_I_m2_m2_m2 = t7440+t7665+t8517*t9111+t7689+t7698+t9090+t7708+(t8785
++(t8905+t8929)*t8637)*t8492+t7532+t9093+t9654+t9695+t9710+t9741;
+ coeff_I_m1_m2_m2 = t7249+t7153+t8841+t7147+t7125+t7232+t9469+t7156+t7162+
+t9062+x*t8828+t9553+t9656+t9791;
+ coeff_I_0_m2_m2 = t8593*t8905+t8993+t8100+t9035+(t8833+(t8574+t9258)*
+t8640)*t8636+t9568+t9604+t9657+t9670+t9681+t9798;
+ coeff_I_p1_m2_m2 = (t8572*x+t8573*t8638)*t9323+t9467+t8925+t7784+t7802+
+t7707+t7263+t7273+t7277+t7276+t8854+t9633+t9660+t9746;
+ coeff_I_p2_m2_m2 = t7343+t8499*t9171+t7325+t8667+t7309+t7332+t7358+t7290+
+t8976+t9500+t9700+t9802;
+ coeff_I_p3_m2_m2 = t8499*t9021+t7714+t6962+t6963+t6927+t8724+t9352+t9559+
+t9721;
+ coeff_I_m2_m1_m2 = t7640+t7628+y*t8875+t8664+t7629+t7664+t7139+t7667+
+t7681+t9076+t9553+t9623+t9715;
+ coeff_I_m1_m1_m2 = t9513+t7068+t7054+t8076+t8064+t8046+t8918+t8417*t8784+
+t9112+t9537+t9751+t9773+t9804;
+ coeff_I_0_m1_m2 = t8636*t8835+t8042+t8769*t8640+t8136+t8662+t8924+t9540+
+t9600+t9637;
+ coeff_I_p1_m1_m2 = t8673+t7952+t7994+t7001+t7986+t9024+t9473+t9517+t9651;
+ coeff_I_p2_m1_m2 = t8685+t7344+t7346+t6991+t7914+t9006+t9054+t9506+t9514;
+ coeff_I_p3_m1_m2 = t8730+t7359+t6949+t9567+t9612+t9663+t9789;
+ coeff_I_m2_0_m2 = t8135+t7725+t8713+t9453*t9282+(t8833+(t8574+t9271)*
+t8640)*t8637+t9078+t9085+t9604+t9661+t9779;
+ coeff_I_m1_0_m2 = t8682+t7724+t8752*t8640+t7866+t8637*t8835+t9022+t9510+
+t9600+t9730;
+ coeff_I_0_0_m2 = t7813+(t8627+t9251*t8614)*t8640+t8954+t9447*(t8576+t9266
++(t8427*t8636+t8584)*t8637)+t9497+t9541+t9641+t9745;
+ coeff_I_p1_0_m2 = t8688+t8569*t9834+t7774+t8746*t8640+t7777+t8937+t9527+
+t9597+t9704;
+ coeff_I_p2_0_m2 = t7754+t8751*t8640+t7756+t8680+t8598*t9834+t9063+t9546+
+t9578+t9631;
+ coeff_I_p3_0_m2 = t7175+t8578*t9244+t8525*t9834+t8697+t9523+t9687+t9760;
+ coeff_I_m2_p1_m2 = t9467+t8657+t7754+t7734+t7157+t7149+t7141+(t8572*y+
+t8573*t8635)*t9414+t7146+t9691+t9789;
+ coeff_I_m1_p1_m2 = t8673+t7880+t6880+t7774+t7851+t9006+t9474+t9509+t9653;
+ coeff_I_0_p1_m2 = t8569*t8929+t8745*t8640+t7986+t8672+t9498+t9597+t9666+
+t9694+t9709;
+ coeff_I_p1_p1_m2 = t7760+t7724+t7739+t7726+t8136+t8658+t7813+t8438*t8784+
+t9543+t9765+t9773+t9795;
+ coeff_I_p2_p1_m2 = t8135+t7731+t8675+t6904+t8152+t9112+t9471+t9490+t9690;
+ coeff_I_p3_p1_m2 = t7590+t7650+t8721+t7681+t9314+t9431+t9616+t9669;
+ coeff_I_m2_p2_m2 = t7495+t9050+t9054+t7563+t9066+t7543+t9500+t7524+t7714+
+t8499*t9192+t7507+t9530+t9587;
+ coeff_I_m1_p2_m2 = t7455+t8685+t7946+t7290+t6995+t9024+t9484+t9491+t9720;
+ coeff_I_0_p2_m2 = t7931+t7784+t8653+t8750*t8640+t8598*t8929+t9069+t9519+
+t9578+t9808;
+ coeff_I_p1_p2_m2 = t7408+t8675+t6906+t8125+t7765+t8918+t8993+t9536+t9544;
+ coeff_I_p2_p2_m2 = t7628+t7249+t7135+t8650+t8590*t8784+t7054+t7447+t7571+
+t8881+t9486+t9654;
+ coeff_I_p3_p2_m2 = t7665+t8714+t6928+t7699+t9419+t9493+t9611;
+ coeff_I_m2_p3_m2 = t8499*t9002+t7678+t7081+t7358+t7096+t8724+t9361+t9427+
+t9621;
+ coeff_I_m1_p3_m2 = t8733+t7586+t7607+t9390+t9566+t9567+t9660;
+ coeff_I_0_p3_m2 = t7520+t8640*t9270+t8525*t8929+t8697+t9529+t9630+t9644;
+ coeff_I_p1_p3_m2 = t7480+t7481+t7461+t8721+t7162+t9404+t9520+t9658;
+ coeff_I_p2_p3_m2 = t8692+t7373+t6981+t9372+t9557+t9611+t9695;
+ coeff_I_p3_p3_m2 = t6979+t7708+t8447*t8784+t8786+t9380+t9662;
+ coeff_I_m2_m2_m1 = t7520+z*t8850+t7541+t8664+t7269+t7175+t7459+t9469+
+t7176+t7266+t9655+t9821;
+ coeff_I_m1_m2_m1 = t8417*t8783+t8654+t7181+t7058+t7960+t7990+t9513+t9705+
+t9718+t9738+t9810;
+ coeff_I_0_m2_m1 = t8735*t8636+t7882+t8537*t8905+t8662+t7935+t8938+t9488+
+t9591+t9815;
+ coeff_I_p1_m2_m1 = t8147+t8129+t7623+t8666+t7082+t8097+t9064+t9473+t9475;
+ coeff_I_p2_m2_m1 = t8648+t7544+t7060+t8017+t7497+t8934+t9487+t9514+t9706;
+ coeff_I_p3_m2_m1 = t8730+t7461+t7473+t7007+t9355+t9508+t9608;
+ coeff_I_m2_m1_m1 = t7570+t7919+t7331+t8654+t8417*t8785+t6955+t6933+t7930+
+t9537+t9642+t9684+t9763;
+ coeff_I_m1_m1_m1 = t8171+((t8480*y+t8392*t8635)*t8640+(t8392*t8639+
+RATIONAL(125.0,64.0)*t8640+t8480*z)*t8636)*t8637+t7428+t7267+t9053+t6849+t8170+
+t7602+t7417+(t8480*x+t8392*t8638)*t9323+t9057+t9095+t9702+t9786;
+ coeff_I_0_m1_m1 = t7858+t7821+t8702+t8767*t8640+((t8504+t8457*t8638)*
+t8640+t8747)*t8636+t9043+t9120+t9609+t9727+t9744;
+ coeff_I_p1_m1_m1 = t9044+t7918+t7892+(t8498*x+t8491*t8638)*t9323+t7145+
+t9103+t7150+t8915+t6831+t9477+t9494+t9749;
+ coeff_I_p2_m1_m1 = t7684+t7065+t7064+(t8404*t8638+t8448*x)*t9323+t8671+
+t8092+t7671+t9481+t9622+t9755+t9785;
+ coeff_I_p3_m1_m1 = t7545+t8048+t7546+t8448*t9021+t8705+t6861+t8050+t8977+
+t9592;
+ coeff_I_m2_0_m1 = t8640*t8985+t8682+t7983+t7966+t8735*t8637+t9488+t9522+
+t9774+t9820;
+ coeff_I_m1_0_m1 = t7895+t8702+t8777*t8640+((t8504+t8457*t8635)*t8640+
+t8747)*t8637+t7893+t8945+t9068+t9618+t9634+t9697;
+ coeff_I_0_0_m1 = t7823+t6922+(t8629+t9251*t8630)*t8640+(t8636*t9265+t8613
++t9358*t8554)*z+(t8395*t9316+t8551+t9358*t8460)*t8639+t8882+t9089+t9489+t9647+
+t9737;
+ coeff_I_p1_0_m1 = t8687+t8743*t8637+t8146+t8740*t8640+t9056+t9594+t9606+
+t9646+t9753;
+ coeff_I_p2_0_m1 = t7785+t8764*t8637+t8756*t8640+t8181+t8674+t9116+t9117+
+t9572+t9590;
+ coeff_I_p3_0_m1 = t8546*t9244+t7783+t8773*t8637+t8694+t9525+t9725+t9732;
+ coeff_I_m2_p1_m1 = t8054+t7785+t8666+t7049+t8143+t7622+t8977+t9474+t9479;
+ coeff_I_m1_p1_m1 = (t8491*t8635+t8498*y)*t9414+t7551+t7501+t6852+t8002+
+t8670+t8146+t7671+t9073+t9477+t9678;
+ coeff_I_0_p1_m1 = t7918+t7421+t8661+t8743*t8636+t8741*t8640+t8952+t9077+
+t9601+t9606;
+ coeff_I_p1_p1_m1 = t7823+t7858+t9472+t9478+t7306+t9053+t7893+(t8479*z+
+t8399*t8639)*t9316+t9712+t9739+t9764+t9780;
+ coeff_I_p2_p1_m1 = t8162+t8665+t7791+t7339+t7966+t9095+t9483+t9505+t9692;
+ coeff_I_p3_p1_m1 = t8693+t7930+t7917+t7942+t9319+t9528+t9613;
+ coeff_I_m2_p2_m1 = t9484+t7811+t7183+t7473+t7064+t8645+t9487+t9787+t9797;
+ coeff_I_m1_p2_m1 = (t8448*y+t8404*t8635)*t9414+t8204+t8081+t8114+t7060+
+t7066+t8671+t7597+t8915+t9476+t9722;
+ coeff_I_0_p2_m1 = t8147+t8764*t8636+t8744*t8640+t8649+t8197+t9109+t9125+
+t9572+t9599;
+ coeff_I_p1_p2_m1 = t7907+t8665+t7376+t8193+t7935+t9057+t9480+t9547+t9758;
+ coeff_I_p2_p2_m1 = t7870+t7793+t7541+(t8543*t8639+t8627*z)*t9316+t8660+
+t7256+t6933+t8940+t9515+t9718+t9786;
+ coeff_I_p3_p2_m1 = t8706+t7266+t8007+t9392+t9429+t9579+t9596;
+ coeff_I_m2_p3_m1 = t8733+t7497+t7616+t9273+t9595+t9608+t9768;
+ coeff_I_m1_p3_m1 = t8448*t9002+t8705+t7229+t7288+t6836+t8013+t7944+t9064+
+t9552;
+ coeff_I_0_p3_m1 = t8546*t9395+t8145+t8773*t8636+t8694+t9542+t9665+t9671;
+ coeff_I_p1_p3_m1 = t8111+t7960+t8098+t8715+t9381+t9528+t9605;
+ coeff_I_p2_p3_m1 = t7269+t8709+t8053+t9283+t9400+t9575+t9579;
+ coeff_I_p3_p3_m1 = t7471+t7470+(t9243+t9436)*t9316+t8782+t9759+t9821;
+ coeff_I_m2_m2_0 = t8593*t9096+(t9450*t8593+(t8587*t8639+t8574)*t8636)*
+t8637+t8713+t7923+t7927+t8902+t8950+t9568+t9719+t9742;
+ coeff_I_m1_m2_0 = t7826+t8652+t8537*t9065+t8752*t8636+t7795+t9041+t9510+
+t9591+t9733;
+ coeff_I_0_m2_0 = (t8627+t9367*t8614)*t8636+t8707+t8840+t8011+t9450*(t8789
+*t8637+t8791)+t9497+t9728;
+ coeff_I_p1_m2_0 = t7807+t8746*t8636+t8569*t9065+t8689+t9527+t9555+t9624+
+t9635+t9793;
+ coeff_I_p2_m2_0 = t7757+t8598*t9065+t8157+t8686+t8751*t8636+t8968+t9546+
+t9615+t9777;
+ coeff_I_p3_m2_0 = t8578*t9418+t7178+t8525*t9065+t8710+t9496+t9668+t9760;
+ coeff_I_m2_m1_0 = t8051+t8652+t8769*t8637+t8636*t8985+t8023+t9522+t9540+
+t9643+t9801;
+ coeff_I_m1_m1_0 = t7970+t8777*t8636+((t8504+t8457*t8639)*t8636+t8767)*
+t8637+t7019+t6886+t7938+t8941+t9038+t9124+t9609+t9618+t9672;
+ coeff_I_0_m1_0 = t7868+(t8629+t9367*t8630)*t8636+(t8637*t9294+t8551+t9360
+*t8460)*t8635+t8701+(t8640*t9265+t8613+t9360*t8554)*y+t9037+t9489+t9682;
+ coeff_I_p1_m1_0 = t7660+t7943+t8681+t8774*t8637+t8740*t8636+t8873+t9091+
+t9594+t9603;
+ coeff_I_p2_m1_0 = t8213+t8765*t8637+t8756*t8636+t8083+t8655+t9025+t9087+
+t9550+t9590;
+ coeff_I_p3_m1_0 = t8546*t9418+t7878+t8761*t8637+t8723+t9495+t9640+t9732;
+ coeff_I_m2_0_0 = t8707+(t8627+t9313*t8614)*t8637+t8160+t8906+t9453*(t8789
+*t8636+t8791)+t9541+t9819;
+ coeff_I_m1_0_0 = (t8613+t8471*t9323+t9305*t8554)*x+t8701+(t8629+t9313*
+t8630)*t8637+(t8636*t9294+t8551+t9305*t8460)*t8638+t9647+t9686+t9688+t9750+
+t9803;
+ coeff_I_0_0_0 = RATIONAL(1.0,1.0)+(t8625+t9251*t8571)*t8640+(t8639+t9251)
+*RATIONAL(4.0,3.0)+(t8625+(t8568+t8429*t8638)*t8640+t9367*t8571)*t8636+(t8625+(
+t8429*t8635+t8568)*t8640+t9313*t8571+(t8568+t8429*t8639+RATIONAL(-343.0,27.0)*
+t8640)*t8636)*t8637+t9026+t9645+t9761;
+ coeff_I_p1_0_0 = (t8630+t9313*t8547)*t8637+t8718+(t8790*t8636+t8788)*
+t8638+t7392+(t8640*t9232+t8619+t9305*t8563)*x+t9055+t9503+t9664;
+ coeff_I_p2_0_0 = (t8623+t9313*t8613)*t8637+(t8393*t9323+t8553+t9305*t8481
+)*t8638+t8722+t8691*x+t8176+t8997+t9504+t9696;
+ coeff_I_p3_0_0 = t8034+(t8576+t9313*t8631)*t8637+t8691*t8638+t8712+t9516;
+ coeff_I_m2_p1_0 = t8745*t8637+t8636*t9075+t8104+t8689+t9498+t9560+t9640+
+t9696+t9734;
+ coeff_I_m1_p1_0 = t7815+t8681+t8741*t8637+t8775*t8636+t9087+t9601+t9617+
+t9664+t9674;
+ coeff_I_0_p1_0 = (t8630+t9367*t8547)*t8636+(t8790*t8637+t8788)*t8635+(
+t8619+t8501*t9414+t9360*t8563)*y+t8718+t7641+t8873+t9524+t9713;
+ coeff_I_p1_p1_0 = t8768*t8636+t8726+((t8428*t8639+t8589)*t8636+t8742)*
+t8637+t7527+t9124+t9582+t9628+t9645+t9682+t9686;
+ coeff_I_p2_p1_0 = t8644+t8766*t8637+t8758*t8636+t8187+t9038+t9581+t9619+
+t9659+t9819;
+ coeff_I_p3_p1_0 = t7977+t8793+t8776*t8637+t8716+t9499+t9693+t9801;
+ coeff_I_m2_p2_0 = t8750*t8637+t8636*t8989+t8686+t8107+t7954+t9025+t9519+
+t9602+t9668;
+ coeff_I_m1_p2_0 = t8736*t8636+t7746+t8209+t8655+t8744*t8637+t8968+t9091+
+t9586+t9599;
+ coeff_I_0_p2_0 = t8183+(t8623+t9367*t8613)*t8636+(t8553+t8393*t9414+t9360
+*t8481)*t8635+t8669*y+t8722+t9107+t9624+t9627+t9807;
+ coeff_I_p1_p2_0 = t8644+t8207+t7742+t8759*t8637+t8760*t8636+t8840+t8941+
+t9570+t9598;
+ coeff_I_p2_p2_0 = t8072+t8754*t8636+((t8624*t8639+t8616)*t8636+t8734)*
+t8637+t8698+t8158+t8902+t9041+t9576+t9643+t9672;
+ coeff_I_p3_p2_0 = t7149+t8582*t9418+t8772*t8637+t8787+t8950+t9518+t9588;
+ coeff_I_m2_p3_0 = t8637*t9270+t7156+t8636*t9051+t8727+t9496+t9630+t9777;
+ coeff_I_m1_p3_0 = t8546*t9285+t7901+t8770*t8636+t8729+t9495+t9635+t9665;
+ coeff_I_0_p3_0 = t7840+t6993+(t8576+t9367*t8631)*t8636+t8669*t8635+t8955+
+t9516+t9816;
+ coeff_I_p1_p3_0 = t8024+t8919+t8748*t8636+t8699+t9499+t9677+t9733;
+ coeff_I_p2_p3_0 = t7276+t8582*t9285+t8755*t8636+t8719+t9518+t9629+t9719;
+ coeff_I_p3_p3_0 = t8842+(t9377+(t8525+t9329)*t8636)*t8637+t9639+t9742+
+t9794+t9812;
+ coeff_I_m2_m2_p1 = t8657+(t8572*z+t8573*t8639)*t9316+t7403+t7461+t7194+
+t8157+t8107+t7672+t9707+t9708+t9735+t9746+t9768;
+ coeff_I_m1_m2_p1 = t7746+t7085+t7944+t8683+t7807+t9067+t9475+t9509+t9706;
+ coeff_I_0_m2_p1 = t8129+t8060+t8763*t8636+t8569*t8905+t8672+t9107+t9492+
+t9555+t9671;
+ coeff_I_p1_m2_p1 = t8111+t7889+t7742+t7882+t8658+t8011+t8438*t8783+t7795+
+t9538+t9717+t9738+t9775;
+ coeff_I_p2_m2_p1 = t7181+t8677+t8053+t7923+t8158+t8978+t9070+t9490+t9545;
+ coeff_I_p3_m2_p1 = t7520+t7470+t7649+t7149+t8704+t9123+t9554+t9669;
+ coeff_I_m2_m1_p1 = t8048+t6996+t8083+t8683+t8104+t9036+t9479+t9517+t9787;
+ coeff_I_m1_m1_p1 = t7943+t7815+t7684+(t8491*t8639+t8498*z)*t9316+t8670+
+t7597+t9494+t9747+t9772+t9788+t9799;
+ coeff_I_0_m1_p1 = t8774*t8640+t7892+t8753*t8636+t8661+t9125+t9571+t9603+
+t9667+t9713;
+ coeff_I_p1_m1_p1 = t8676+t7868+(t8479*y+t8399*t8635)*t9414+t7821+t7376+
+t7938+t8170+t7552+t9029+t9478+t9628;
+ coeff_I_p2_m1_p1 = t7793+t7267+t8187+t8023+t8668+t9079+t9126+t9505+t9531;
+ coeff_I_p3_m1_p1 = t7919+t8693+t7977+t7869+t9429+t9533+t9593;
+ coeff_I_m2_0_p1 = t8688+t8054+t7803+t8763*t8637+t8640*t9075+t8997+t9492+
+t9560+t9725;
+ coeff_I_m1_0_p1 = t8775*t8640+t8687+t8753*t8637+t8002+t7577+t9055+t9116+
+t9571+t9617;
+ coeff_I_0_0_p1 = t6998+(t8630+t9251*t8547)*t8640+(t8637*t9232+t8619+t9358
+*t8563)*z+(t8564*t8636+t8618+(t8564+t8418*t8636)*t8637)*t8639+t8952+t9503+t9524
++t9679+t9753;
+ coeff_I_p1_0_p1 = t7613+((t8589+t8428*t8635)*t8640+t8757)*t8637+t8726+
+t8768*t8640+t8945+t9577+t9737+t9750+t9761+t9780;
+ coeff_I_p2_0_p1 = t8162+t7838+t8762*t8637+t8758*t8640+t8647+t8906+t9532+
+t9619+t9634;
+ coeff_I_p3_0_p1 = t8998+t7942+t8737*t8637+t8725+t9539+t9693+t9774;
+ coeff_I_m2_p1_p1 = t8051+t8923+t7838+t9538+t7148+t8438*t8785+t8160+t8994+
+t7983+t7917+t7869+t9543+t9659+t9763;
+ coeff_I_m1_p1_p1 = (t8399*t8638+t8479*x)*t9323+t8676+t8171+t7895+t7613+
+t7970+t7339+t7527+t9079+t9472+t9688;
+ coeff_I_0_p1_p1 = t9026+t8742*t8640+t7047+t7306+((t8428*t8638+t8589)*
+t8640+t8757)*t8636+t7552+t9037+t9043+t9089+t9577+t9582;
+ coeff_I_p1_p1_p1 = t7660+t7421+t9103+(t8425*t8638+t8515*x)*t9323+((t8515*
+y+t8425*t8635)*t8640+(t8515*z+t8425*t8639+RATIONAL(125.0,27.0)*t8640)*t8636)*
+t8637+t7577+t7641+t7392+t9646+t9667+t9674+t9678+t9679+t9799;
+ coeff_I_p2_p1_p1 = t8213+t7803+t7551+t9485+t9502+t8181+(t8388*t8638+t8408
+*x)*t9323+t8176+t9084+t9622+t9650+t9734+t9772;
+ coeff_I_p3_p1_p1 = t8408*t9021+t8703+t8034+t8143+t7878+t7783+t8050+t9036+
+t9607;
+ coeff_I_m2_p2_p1 = t8072+t7331+t8677+t8007+t7927+t9123+t9126+t9526+t9544;
+ coeff_I_m1_p2_p1 = t7870+t8207+t7826+t8668+t7417+t9029+t9070+t9547+t9549;
+ coeff_I_0_p2_p1 = t8762*t8636+t8759*t8640+t8684+t8193+t9532+t9598+t9728+
+t9744+t9775;
+ coeff_I_p1_p2_p1 = t8183+t8204+t8060+t8663+(t8388*t8635+t8408*y)*t9414+
+t7150+t8209+t8197+t9502+t9673+t9788+t9793;
+ coeff_I_p2_p2_p1 = t9470+t8679+t8114+t7757+(t8620*t8639+t8621*z)*t9316+
+t7085+t6996+t7954+t8092+t9708+t9747;
+ coeff_I_p3_p2_p1 = t7545+t7811+t7403+t8696+t7178+t9501+t9512;
+ coeff_I_m2_p3_p1 = t7471+t7175+t7484+t7276+t8704+t8978+t9585+t9658;
+ coeff_I_m1_p3_p1 = t8024+t7889+t7990+t8715+t9283+t9534+t9593;
+ coeff_I_0_p3_p1 = t9102+t8098+t8737*t8636+t8725+t9507+t9677+t9815;
+ coeff_I_p1_p3_p1 = t8703+t7901+t7840+t8408*t9002+t8145+t8097+t8013+t9067+
+t9556;
+ coeff_I_p2_p3_p1 = t7229+t7156+t8017+t7672+t8711+t9501+t9563;
+ coeff_I_p3_p3_p1 = t7616+t7194+(t8509*z+t9411)*t9316+t8780+t9355+t9766;
+ coeff_I_m2_m2_p2 = t7451+t7695+t8667+t7644+t7195+t7678+t7183+z*t9099+
+t8934+t9530+t9680+t9721;
+ coeff_I_m1_m2_p2 = t7853+t7623+t7438+t8648+t7066+t7607+t7581+t8976+t9482+
+t9491;
+ coeff_I_0_m2_p2 = t7802+t7827+t8653+t8749*t8636+t8598*t8905+t9109+t9521+
+t9615+t9644;
+ coeff_I_p1_m2_p2 = t7481+t8651+t7690+t8100+t8020+t9536+t9545+t9758+t9809+
+t9810;
+ coeff_I_p2_m2_p2 = t7515+t7373+t7401+t8650+t7256+t8590*t8783+t9511+t9655+
+t9656+t9705+t9741;
+ coeff_I_p3_m2_p2 = t7367+t7698+t8714+t9380+t9392+t9574+t9584;
+ coeff_I_m2_m1_p2 = t9482+t7524+t7065+t8645+t7622+t9506+t9663+t9782+t9818;
+ coeff_I_m1_m1_p2 = t9476+t9073+t7145+(t8448*z+t8404*t8639)*t9316+t9059+
+t6991+t6995+t8169+t7974+t7950+t7656+t9481+t9676;
+ coeff_I_0_m1_p2 = t8739*t8636+t7994+t8765*t8640+t8649+t8200+t9069+t9077+
+t9550+t9610;
+ coeff_I_p1_m1_p2 = t7570+t8042+t7428+t8678+t6906+t9480+t8173+t9531+t9648+
+t9739;
+ coeff_I_p2_m1_p2 = (t8627*y+t8543*t8635)*t9414+t7536+t7791+t9515+t8881+
+t7068+t9110+t7667+t8975+t7831+t9589+t9642+t9702;
+ coeff_I_p3_m1_p2 = t8706+t7664+t7981+t9319+t9419+t9569+t9573;
+ coeff_I_m2_0_p2 = t7900+t7734+t8749*t8637+t8680+t8640*t8989+t9117+t9521+
+t9602+t9687;
+ coeff_I_m1_0_p2 = t8166+t8674+t7851+t8739*t8637+t8736*t8640+t9056+t9063+
+t9586+t9610;
+ coeff_I_0_0_p2 = t7280+t8196+(t8623+t9251*t8613)*t8640+t8646*z+(t8393*
+t9316+t8553+t9358*t8481)*t8639+t8937+t9072+t9504+t9694+t9807;
+ coeff_I_p1_0_p2 = t8771*t8637+t8760*t8640+t8647+t8191+t9068+t9570+t9580+
+t9641+t9765;
+ coeff_I_p2_0_p2 = t8754*t8640+((t8624*t8635+t8616)*t8640+t8778)*t8637+
+t8698+t8152+t7759+t9022+t9078+t9620+t9697+t9820;
+ coeff_I_p3_0_p2 = t7650+t8582*t9244+t8738*t8637+t8787+t9085+t9535+t9558;
+ coeff_I_m2_p1_p2 = t7590+t7685+t9471+t7725+t8651+t7981+t7759+t9526+t9684+
+t9692;
+ coeff_I_m1_p1_p2 = t8678+t6904+t8191+t7866+t7602+t8975+t9483+t9549+t9712;
+ coeff_I_0_p1_p2 = t7760+t8771*t8636+t8766*t8640+t8684+t8173+t8954+t9120+
+t9580+t9581;
+ coeff_I_p1_p1_p2 = t7501+t8663+t8196+t8169+t8166+t8200+(t8408*z+t8388*
+t8639)*t9316+t7777+t9044+t9485+t9709;
+ coeff_I_p2_p1_p2 = t9470+t9468+t7900+(t8621*y+t8620*t8635)*t9414+t6880+
+t6852+t7049+t7756+t7950+t9564+t9691+t9785;
+ coeff_I_p3_p1_p2 = t7546+t8696+t7175+t7157+t9548+t9551+t9818;
+ coeff_I_m2_p2_p2 = t8590*t8785+t9486+t7536+t7367+t7459+t8940+t9093+t6955+
+t9076+t7699+t9511+t9714;
+ coeff_I_m1_p2_p2 = t7515+t7907+(t8627*x+t8543*t8638)*t9323+t7135+t8660+
+t7058+t6849+t9589+t9648+t9751+t9791+t9800;
+ coeff_I_0_p2_p2 = t8924+t8734*t8640+((t8624*t8638+t8616)*t8640+t8778)*
+t8636+t8125+t8938+t9576+t9620+t9681+t9727+t9752+t9809;
+ coeff_I_p1_p2_p2 = t8679+t9468+t8081+t7931+t7827+(t8621*x+t8620*t8638)*
+t9323+t7001+t7082+t6831+t9633+t9676;
+ coeff_I_p2_p2_p2 = (t8544*x+t8541*t8638)*t9323+t7563+t7325+t7544+t7195+
+t7344+t9059+t6932+((t8541*t8635+t8544*y)*t8640+(RATIONAL(-1.0,8.0)*t8640+t8541*
+t8639+t8544*z)*t8636)*t8637+t7581+t9720+t9722+t9755+t9782+t9797;
+ coeff_I_p3_p2_p2 = t8544*t9021+t7451+t8731+t7007+t6962+t6949+t6861+t9066+
+t9561;
+ coeff_I_m2_p3_p2 = t8692+t7401+t6979+t9400+t9584+t9614+t9710;
+ coeff_I_m1_p3_p2 = t7147+t8709+t8020+t9372+t9381+t9565+t9569;
+ coeff_I_0_p3_p2 = t8582*t9395+t7461+t8738*t8636+t8700+t9035+t9558+t9629;
+ coeff_I_p1_p3_p2 = t7520+t8708+t7853+t7277+t7288+t9548+t9563;
+ coeff_I_p2_p3_p2 = t7343+t7644+t6836+t8544*t9002+t9273+t9390+t9427+t9561+
+t9583+t9822;
+ coeff_I_p3_p3_p2 = t7096+t7422+t7423+t6963+(t9384+t8419*z)*t9316+t9375+
+t9680+t9743;
+ coeff_I_m2_m2_p3 = t6969+t6967+t8639*t9099+t6950+t7715+t9050+t9335+t9559+
+t9621+t9802;
+ coeff_I_m1_m2_p3 = t7455+t8717+t7276+t6908+t9351+t9508+t9566;
+ coeff_I_0_m2_p3 = t7681+t8578*t9366+t8525*t8905+t8710+t9529+t9783+t9808;
+ coeff_I_p1_m2_p3 = t7408+t8732+t7156+t7587+t9359+t9520+t9554;
+ coeff_I_p2_m2_p3 = t7689+t8695+t7571+t9342+t9386+t9557+t9574;
+ coeff_I_p3_m2_p3 = t7382+t6892+t6928+t8447*t8783+t9090+t9662+t9770;
+ coeff_I_m2_m1_p3 = t8717+t7149+t7346+t9349+t9354+t9595+t9612;
+ coeff_I_m1_m1_p3 = t7438+t7952+t7620+t6864+t8448*t9108+t7880+t9336+t9348+
+t9552+t9592+t9781;
+ coeff_I_0_m1_p3 = t8546*t9366+t7980+t8761*t8640+t8723+t9542+t9666+t9769;
+ coeff_I_p1_m1_p3 = t7739+t8720+t8046+t7948+t9364+t9533+t9605;
+ coeff_I_p2_m1_p3 = t7640+t7731+t8728+t9369+t9387+t9573+t9575;
+ coeff_I_p3_m1_p3 = t7235+t7139+(t8517*y+t9300)*t9414+t8782+t9314+t9716;
+ coeff_I_m2_0_p3 = t7162+t8578*t9237+t8640*t9051+t8727+t9523+t9631+t9783;
+ coeff_I_m1_0_p3 = t7916+t8546*t9237+t8770*t8640+t8729+t9525+t9704+t9769;
+ coeff_I_0_0_p3 = t8116+(t8576+t9251*t8631)*t8640+t8646*t8639+t8712+t9816+
+t9817;
+ coeff_I_p1_0_p3 = t7964+t9088+t8748*t8640+t8699+t9539+t9730+t9792;
+ coeff_I_p2_0_p3 = t7282+t8582*t9237+t8755*t8640+t8719+t9535+t9779+t9790;
+ coeff_I_p3_0_p3 = t8528*t9244+(t9345+(t9408+t8525)*t8640)*t8637+t8779+
+t9661+t9812;
+ coeff_I_m2_p1_p3 = t8732+t7235+t7282+t9585+t9616+t9690+t9715;
+ coeff_I_m1_p1_p3 = t7964+t8720+t7726+t8064+t9369+t9534+t9613;
+ coeff_I_0_p1_p3 = t7948+t9081+t8776*t8640+t8716+t9507+t9637+t9792;
+ coeff_I_p1_p1_p3 = t8116+t7916+t7980+t8408*t9108+t9348+t9556+t9607+t9651+
+t9653+t9724;
+ coeff_I_p2_p1_p3 = t7141+t7162+t7914+t8711+t9336+t9551+t9562;
+ coeff_I_p3_p1_p3 = t7359+t7146+(t9434+t9235)*t9414+t9349+t9625+t9756+
+t9766;
+ coeff_I_m2_p2_p3 = t6892+t7532+t7447+t8695+t9387+t9493+t9614;
+ coeff_I_m1_p2_p3 = t7125+t7765+t8728+t9364+t9386+t9565+t9596;
+ coeff_I_0_p2_p3 = t8582*t9366+t8772*t8640+t8700+t9359+t9588+t9670+t9790;
+ coeff_I_p1_p2_p3 = t7620+t8708+t7946+t7273+t7681+t9512+t9562;
+ coeff_I_p2_p2_p3 = t8731+t6864+t6969+t6908+t8544*t9108+t7507+t9354+t9583+
+t9700;
+ coeff_I_p3_p2_p3 = t7543+t6967+(t9344+t8419*y)*t9414+t8781+t9352+t9743;
+ coeff_I_m2_p3_p3 = t6981+t7440+t8447*t8785+t8786+t9342+t9770;
+ coeff_I_m1_p3_p3 = t7587+t7549+t7480+(t9420+t8517*x)*t9323+t8841+t9716+
+t9759;
+ coeff_I_0_p3_p3 = t8635*t9287+(t9345+(t9311+t8525)*t8640)*t8636+t8779+
+t9639+t9657;
+ coeff_I_p1_p3_p3 = t7586+t7707+(t9308+t8509*x)*t9323+t8780+t9351+t9756;
+ coeff_I_p2_p3_p3 = t7053+t6950+t7422+t7332+(t9438+t9261)*t9323+t8781+
+t9361;
+ coeff_I_p3_p3_p3 = t6927+t7081+t8447*t9111+(t9021+(t9395+t9366)*t8637)*
+t8419+t9335;
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-03 08:59:42 +0000