aboutsummaryrefslogtreecommitdiff
path: root/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeff-dx.compute.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeff-dx.compute.c')
-rw-r--r--src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeff-dx.compute.c4354
1 files changed, 4354 insertions, 0 deletions
diff --git a/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeff-dx.compute.c b/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeff-dx.compute.c
new file mode 100644
index 0000000..a6aa8af
--- /dev/null
+++ b/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeff-dx.compute.c
@@ -0,0 +1,4354 @@
+fp t11663,
+ t11662,
+ t12309,
+ t11661,
+ t12078,
+ t11639,
+ t12045,
+ t11657,
+ t12630,
+ t12294,
+ t12273,
+ t11660,
+ t11659,
+ t12263,
+ t11989,
+ t12629,
+ t11940,
+ t12310,
+ t12043,
+ t12141,
+ t12628,
+ t12313,
+ t12627,
+ t12042,
+ t11370,
+ t11363,
+ t12056,
+ t11834,
+ t9982,
+ t12246,
+ t11980,
+ t12626,
+ t12088,
+ t11837,
+ t9901,
+ t11839,
+ t11392,
+ t12625,
+ t11368,
+ t12311,
+ t12286,
+ t11384,
+ t11907,
+ t9969,
+ t12624,
+ t11524,
+ t11380,
+ t11820,
+ t12623,
+ t11346,
+ t11475,
+ t12622,
+ t11418,
+ t11459,
+ t9990,
+ t12621,
+ t11819,
+ t12620,
+ t11604,
+ t11394,
+ t12123,
+ t10920,
+ t9924,
+ t11790,
+ t12619,
+ t12239,
+ t12618,
+ t11345,
+ t11496,
+ t12040,
+ t10052,
+ t12617,
+ t11522,
+ t11355,
+ t11901,
+ t12616,
+ t11436,
+ t11865,
+ t10061,
+ t12212,
+ t12039,
+ t12615,
+ t11379,
+ t11598,
+ t12320,
+ t12037,
+ t10490,
+ t12614,
+ t11556,
+ t11206,
+ t12613,
+ t11621,
+ t11421,
+ t12060,
+ t11029,
+ t9997,
+ t12612,
+ t11395,
+ t12116,
+ t10904,
+ t9979,
+ t11647,
+ t12611,
+ t12610,
+ t12224,
+ t10822,
+ t12031,
+ t12609,
+ t12608,
+ t11538,
+ t12607,
+ t12606,
+ t11654,
+ t11554,
+ t12605,
+ t12233,
+ t11494,
+ t12291,
+ t11000,
+ t12604,
+ t11488,
+ t12185,
+ t11050,
+ t11489,
+ t12156,
+ t11026,
+ t12603,
+ t12307,
+ t11515,
+ t12030,
+ t11569,
+ t12013,
+ t10586,
+ t12602,
+ t11520,
+ t10503,
+ t12075,
+ t10981,
+ t10205,
+ t12601,
+ t11512,
+ t12079,
+ t11025,
+ t11585,
+ t12193,
+ t11250,
+ t10520,
+ t12600,
+ t11521,
+ t12140,
+ t11619,
+ t11336,
+ t12599,
+ t12209,
+ t11082,
+ t11495,
+ t12219,
+ t11064,
+ t12598,
+ t11426,
+ t12160,
+ t11951,
+ t11365,
+ t12243,
+ t10919,
+ t12597,
+ t11586,
+ t12206,
+ t11215,
+ t11590,
+ t12049,
+ t12596,
+ t11577,
+ t10729,
+ t12322,
+ t11534,
+ t12254,
+ t10669,
+ t12595,
+ t11593,
+ t11610,
+ t10416,
+ t12594,
+ t11561,
+ t11607,
+ t12041,
+ t10456,
+ t12593,
+ t11330,
+ t12274,
+ t10424,
+ t12592,
+ t11440,
+ t10079,
+ t11537,
+ t12591,
+ t11620,
+ t11337,
+ t11960,
+ t10833,
+ t11630,
+ t12102,
+ t11261,
+ t12590,
+ t11415,
+ t12319,
+ t11061,
+ t11519,
+ t12150,
+ t12589,
+ t11568,
+ t12300,
+ t11208,
+ t12588,
+ t11501,
+ t10255,
+ t10409,
+ t12587,
+ t12108,
+ t12586,
+ t12136,
+ t11961,
+ t10502,
+ t12585,
+ t11581,
+ t12584,
+ t11455,
+ t12073,
+ t11074,
+ t11500,
+ t11806,
+ t10133,
+ t12583,
+ t11628,
+ t12318,
+ t12091,
+ t11153,
+ t12582,
+ t11812,
+ t10800,
+ t12581,
+ t11498,
+ t11314,
+ t11986,
+ t11511,
+ t11796,
+ t10033,
+ t12580,
+ t11443,
+ t11635,
+ t11338,
+ t12579,
+ t12186,
+ t12018,
+ t10601,
+ t12578,
+ t11474,
+ t12153,
+ t11007,
+ t11479,
+ t12152,
+ t12577,
+ t11882,
+ t10156,
+ t11557,
+ t11817,
+ t12576,
+ t11448,
+ t11995,
+ t11438,
+ t11813,
+ t12575,
+ t12038,
+ t10553,
+ t12574,
+ t12312,
+ t12001,
+ t10889,
+ t11583,
+ t12270,
+ t12573,
+ t11589,
+ t10677,
+ t12572,
+ t11427,
+ t10166,
+ t12571,
+ t11476,
+ t12187,
+ t12290,
+ t11057,
+ t12570,
+ t11441,
+ t12321,
+ t12317,
+ t12284,
+ t11555,
+ t10478,
+ t12569,
+ t11580,
+ t11988,
+ t12568,
+ t12567,
+ t11319,
+ t12126,
+ t11093,
+ t12566,
+ t12101,
+ t12035,
+ t10263,
+ t11606,
+ t11892,
+ t12565,
+ t12289,
+ t11155,
+ t11547,
+ t12303,
+ t12564,
+ t11510,
+ t11027,
+ t12563,
+ t10224,
+ t12323,
+ t11503,
+ t12288,
+ t12562,
+ t11597,
+ t12081,
+ t11106,
+ t12148,
+ t12561,
+ t11567,
+ t12135,
+ t12000,
+ t10699,
+ t11497,
+ t12560,
+ t11523,
+ t11320,
+ t11233,
+ t10611,
+ t12324,
+ t12173,
+ t12559,
+ t10795,
+ t12558,
+ t12256,
+ t12029,
+ t10110,
+ t11456,
+ t12301,
+ t12277,
+ t12557,
+ t12223,
+ t10998,
+ t12090,
+ t10996,
+ t12556,
+ t11424,
+ t12261,
+ t11354,
+ t12231,
+ t10937,
+ t12555,
+ t11432,
+ t12167,
+ t12019,
+ t10273,
+ t11472,
+ t12554,
+ t11558,
+ t11974,
+ t11425,
+ t12553,
+ t11574,
+ t12552,
+ t10953,
+ t12551,
+ t11422,
+ t12070,
+ t10956,
+ t12162,
+ t12009,
+ t12550,
+ t11608,
+ t11508,
+ t12549,
+ t11407,
+ t11832,
+ t11592,
+ t12548,
+ t11587,
+ t11127,
+ t10740,
+ t10762,
+ t12547,
+ t12215,
+ t11230,
+ t12080,
+ t12546,
+ t12110,
+ t12015,
+ t10153,
+ t11463,
+ t12221,
+ t11822,
+ t12545,
+ t11130,
+ t11536,
+ t11793,
+ t10681,
+ t12544,
+ t11042,
+ t12089,
+ t12543,
+ t11430,
+ t12142,
+ t11067,
+ t11611,
+ t11178,
+ t12542,
+ t11514,
+ t11923,
+ t10709,
+ t12541,
+ t11655,
+ t11969,
+ t10794,
+ t11616,
+ t12268,
+ t12540,
+ t12252,
+ t11254,
+ t11596,
+ t12157,
+ t12539,
+ t10758,
+ t11543,
+ t11922,
+ t12538,
+ t11410,
+ t12072,
+ t11003,
+ t12537,
+ t11815,
+ t12536,
+ t11478,
+ t12051,
+ t11404,
+ t12120,
+ t10897,
+ t12535,
+ t11311,
+ t12137,
+ t10958,
+ t12534,
+ t12190,
+ t12533,
+ t11458,
+ t10042,
+ t12532,
+ t12166,
+ t11652,
+ t11341,
+ t12531,
+ t11626,
+ t12244,
+ t11435,
+ t12530,
+ t11469,
+ t11985,
+ t12113,
+ t11827,
+ t10597,
+ t12529,
+ t10988,
+ t12528,
+ t10887,
+ t12527,
+ t11539,
+ t11518,
+ t11161,
+ t12526,
+ t11409,
+ t12525,
+ t11433,
+ t11624,
+ t11333,
+ t12262,
+ t12524,
+ t12523,
+ t11461,
+ t11623,
+ t12074,
+ t10801,
+ t12522,
+ t10898,
+ t12114,
+ t12521,
+ t11506,
+ t12164,
+ t12520,
+ t10051,
+ t11535,
+ t12519,
+ t10608,
+ t11434,
+ t12265,
+ t12518,
+ t11866,
+ t11525,
+ t12182,
+ t12517,
+ t11640,
+ t12154,
+ t11921,
+ t12516,
+ t12218,
+ t11199,
+ t12515,
+ t11312,
+ t12514,
+ t11993,
+ t10726,
+ t12513,
+ t10165,
+ t12512,
+ t11644,
+ t11563,
+ t12511,
+ t11417,
+ t10076,
+ t11447,
+ t10199,
+ t12510,
+ t11603,
+ t12509,
+ t10450,
+ t12508,
+ t12036,
+ t10753,
+ t11564,
+ t12275,
+ t12507,
+ t11545,
+ t11791,
+ t11531,
+ t10467,
+ t12506,
+ t11486,
+ t12055,
+ t11037,
+ t12149,
+ t12505,
+ t12053,
+ t10929,
+ t12175,
+ t12504,
+ t12241,
+ t12503,
+ t10782,
+ t11366,
+ t12502,
+ t11851,
+ t10575,
+ t11795,
+ t12501,
+ t10732,
+ t12103,
+ t12023,
+ t12500,
+ t11533,
+ t11618,
+ t12238,
+ t12499,
+ t10980,
+ t11408,
+ t12498,
+ t11471,
+ t12127,
+ t11059,
+ t10243,
+ t12497,
+ t12076,
+ t11090,
+ t12496,
+ t11423,
+ t11579,
+ t12098,
+ t11978,
+ t10446,
+ t12495,
+ t11550,
+ t12494,
+ t10997,
+ t12493,
+ t11548,
+ t10483,
+ t12492,
+ t12205,
+ t11118,
+ t12491,
+ t12165,
+ t10970,
+ t11800,
+ t10394,
+ t12490,
+ t11641,
+ t11804,
+ t10870,
+ t12489,
+ t12010,
+ t12488,
+ t11444,
+ t11449,
+ t10966,
+ t12487,
+ t11229,
+ t12486,
+ t10869,
+ t11453,
+ t12485,
+ t11615,
+ t12100,
+ t11158,
+ t12083,
+ t12484,
+ t11653,
+ t11982,
+ t12483,
+ t10791,
+ t11406,
+ t12482,
+ t11217,
+ t12199,
+ t12481,
+ t11457,
+ t12255,
+ t12004,
+ t10335,
+ t11551,
+ t12480,
+ t11334,
+ t12012,
+ t10891,
+ t11845,
+ t12479,
+ t11643,
+ t11825,
+ t12478,
+ t10808,
+ t12477,
+ t12476,
+ t10574,
+ t10556,
+ t12475,
+ t12057,
+ t11249,
+ t12228,
+ t12474,
+ t10736,
+ t12473,
+ t11465,
+ t12472,
+ t11649,
+ t12471,
+ t11077,
+ t10600,
+ t12470,
+ t12025,
+ t9898,
+ t12172,
+ t11959,
+ t12469,
+ t11491,
+ t12468,
+ t11386,
+ t11401,
+ t11600,
+ t12467,
+ t11358,
+ t11364,
+ t11560,
+ t12466,
+ t12280,
+ t12465,
+ t11387,
+ t9971,
+ t11381,
+ t11594,
+ t10546,
+ t12464,
+ t11393,
+ t11617,
+ t12463,
+ t12139,
+ t11092,
+ t12033,
+ t12462,
+ t11197,
+ t11566,
+ t10496,
+ t12461,
+ t10783,
+ t12460,
+ t12259,
+ t11228,
+ t12459,
+ t10759,
+ t11402,
+ t12458,
+ t11431,
+ t12457,
+ t11612,
+ t12298,
+ t11966,
+ t10660,
+ t12086,
+ t12456,
+ t11317,
+ t11997,
+ t10129,
+ t11473,
+ t12119,
+ t12455,
+ t11403,
+ t11826,
+ t9942,
+ t12454,
+ t11829,
+ t9873,
+ t12204,
+ t10406,
+ t12453,
+ t11383,
+ t12011,
+ t9915,
+ t12044,
+ t11171,
+ t12452,
+ t10018,
+ t12451,
+ t12085,
+ t12450,
+ t11507,
+ t10066,
+ t11385,
+ t12034,
+ t12449,
+ t12054,
+ t12448,
+ t11352,
+ t11977,
+ t12447,
+ t9975,
+ t11236,
+ t12446,
+ t11546,
+ t12445,
+ t11571,
+ t11367,
+ t12444,
+ t11792,
+ t10641,
+ t12306,
+ t11972,
+ t12279,
+ t12443,
+ t11371,
+ t10834,
+ t12092,
+ t12442,
+ t10864,
+ t12441,
+ t11595,
+ t12308,
+ t11984,
+ t10468,
+ t12315,
+ t10003,
+ t12245,
+ t12440,
+ t11517,
+ t11981,
+ t12226,
+ t12439,
+ t11968,
+ t9984,
+ t12438,
+ t11376,
+ t11828,
+ t10811,
+ t12437,
+ t11532,
+ t11542,
+ t10598,
+ t12436,
+ t10515,
+ t11482,
+ t12435,
+ t12017,
+ t10751,
+ t12434,
+ t10495,
+ t11411,
+ t12133,
+ t10964,
+ t12022,
+ t12433,
+ t10777,
+ t12432,
+ t11553,
+ t12191,
+ t11509,
+ t12014,
+ t10312,
+ t12431,
+ t12058,
+ t11139,
+ t11505,
+ t12295,
+ t11994,
+ t10326,
+ t12430,
+ t10455,
+ t11541,
+ t11955,
+ t12429,
+ t11614,
+ t10000,
+ t12428,
+ t10722,
+ t12427,
+ t10037,
+ t12426,
+ t12006,
+ t12425,
+ t11454,
+ t12197,
+ t11044,
+ t12424,
+ t11485,
+ t12293,
+ t11975,
+ t12272,
+ t10292,
+ t12423,
+ t10807,
+ t12422,
+ t11467,
+ t10059,
+ t12421,
+ t11053,
+ t12420,
+ t12419,
+ t12418,
+ t10350,
+ t12417,
+ t11211,
+ t10651,
+ t12416,
+ t12003,
+ t10720,
+ t12415,
+ t11051,
+ t12024,
+ t10865,
+ t12414,
+ t12117,
+ t12069,
+ t11811,
+ t12413,
+ t11544,
+ t11998,
+ t10010,
+ t12412,
+ t10659,
+ t12411,
+ t11530,
+ t12016,
+ t10427,
+ t12410,
+ t10708,
+ t12409,
+ t11565,
+ t12189,
+ t12408,
+ t10815,
+ t12020,
+ t12407,
+ t10060,
+ t12406,
+ t11499,
+ t11350,
+ t12405,
+ t12132,
+ t11816,
+ t12404,
+ t11451,
+ t12096,
+ t11035,
+ t12403,
+ t11814,
+ t10603,
+ t12271,
+ t12402,
+ t11962,
+ t12214,
+ t12144,
+ t11786,
+ t10874,
+ t12401,
+ t12112,
+ t12201,
+ t10943,
+ t11875,
+ t12400,
+ t12230,
+ t12399,
+ t11999,
+ t11540,
+ t12398,
+ t11990,
+ t11420,
+ t12232,
+ t12397,
+ t11389,
+ t11588,
+ t11140,
+ t11490,
+ t12396,
+ t11808,
+ t9932,
+ t12395,
+ t12314,
+ t10902,
+ t11362,
+ t12097,
+ t12394,
+ t12393,
+ t11578,
+ t12392,
+ t12155,
+ t12391,
+ t12390,
+ t11163,
+ t10824,
+ t12389,
+ t11240,
+ t12388,
+ t10418,
+ t12387,
+ t12048,
+ t10917,
+ t11414,
+ t12163,
+ t10204,
+ t12386,
+ t12184,
+ t12385,
+ t12384,
+ t11224,
+ t12383,
+ t12382,
+ t12381,
+ t11055,
+ t12071,
+ t12380,
+ t11343,
+ t12258,
+ t11243,
+ t12379,
+ t12170,
+ t11954,
+ t10618,
+ t12378,
+ t12021,
+ t12377,
+ t12376,
+ t12032,
+ t12375,
+ t11437,
+ t12374,
+ t12373,
+ t11412,
+ t12372,
+ t12211,
+ t10967,
+ t12371,
+ t11149,
+ t11162,
+ t12370,
+ t12369,
+ t11973,
+ t12066,
+ t12368,
+ t12367,
+ t12366,
+ t12208,
+ t11313,
+ t11957,
+ t12365,
+ t12364,
+ t12302,
+ t12282,
+ t11789,
+ t12363,
+ t12316,
+ t12267,
+ t11799,
+ t10140,
+ t11823,
+ t12362,
+ t11439,
+ t11591,
+ t11575,
+ t12361,
+ t12046,
+ t12266,
+ t12360,
+ t10979,
+ t12359,
+ t12358,
+ t11353,
+ t11527,
+ t12008,
+ t12357,
+ t12356,
+ t12130,
+ t11184,
+ t12105,
+ t12355,
+ t12248,
+ t11204,
+ t11862,
+ t10253,
+ t12354,
+ t10850,
+ t12353,
+ t11634,
+ t12195,
+ t12352,
+ t12351,
+ t11842,
+ t9881,
+ t10931,
+ t12350,
+ t11964,
+ t12349,
+ t11374,
+ t10473,
+ t12348,
+ t11207,
+ t12347,
+ t11344,
+ t11650,
+ t11622,
+ t12346,
+ t11070,
+ t12345,
+ t11286,
+ t11493,
+ t11979,
+ t11356,
+ t12344,
+ t11445,
+ t12343,
+ t10942,
+ t12104,
+ t11905,
+ t11992,
+ t12342,
+ t12125,
+ t11160,
+ t12093,
+ t10940,
+ t12341,
+ t10748,
+ t12340,
+ t12174,
+ t10961,
+ t12339,
+ t12338,
+ t11572,
+ t12337,
+ t9929,
+ t12336,
+ t10084,
+ t12335,
+ t10977,
+ t12334,
+ t12333,
+ t11991,
+ t10494,
+ t12332,
+ t11182,
+ t11039,
+ t12331,
+ t11528,
+ t10477,
+ t12330,
+ t12111,
+ t11245,
+ t10690,
+ t12329,
+ t10701,
+ t11965,
+ t12328,
+ t12327,
+ t11470,
+ t12326,
+ t10775,
+ t12325,
+ t11327,
+ t12305,
+ t12304,
+ t11573,
+ t12299,
+ t12297,
+ t12296,
+ t11601,
+ t12292,
+ t12287,
+ t12285,
+ t12283,
+ t12281,
+ t12278,
+ t12276,
+ t12269,
+ t10741,
+ t12264,
+ t10906,
+ t12227,
+ t12260,
+ t11787,
+ t10379,
+ t12257,
+ t11405,
+ t12253,
+ t12251,
+ t10323,
+ t12250,
+ t12249,
+ t12247,
+ t12242,
+ t12240,
+ t11021,
+ t12237,
+ t12236,
+ t11502,
+ t11963,
+ t12235,
+ t11087,
+ t12234,
+ t11186,
+ t12229,
+ t12225,
+ t11552,
+ t12222,
+ t12220,
+ t12217,
+ t12216,
+ t12213,
+ t11970,
+ t10528,
+ t10158,
+ t12210,
+ t11307,
+ t12207,
+ t12128,
+ t11048,
+ t12203,
+ t12202,
+ t12200,
+ t12198,
+ t10414,
+ t12196,
+ t12194,
+ t12192,
+ t12188,
+ t10378,
+ t12183,
+ t12181,
+ t12177,
+ t10905,
+ t12180,
+ t10637,
+ t12179,
+ t11428,
+ t12178,
+ t12176,
+ t11156,
+ t10713,
+ t10747,
+ t12171,
+ t11309,
+ t12169,
+ t12168,
+ t11316,
+ t11329,
+ t11328,
+ t11326,
+ t12161,
+ t12159,
+ t11339,
+ t11466,
+ t12158,
+ t12151,
+ t11041,
+ t12147,
+ t11040,
+ t10168,
+ t12146,
+ t12145,
+ t12143,
+ t11058,
+ t12138,
+ t12134,
+ t11983,
+ t10295,
+ t12131,
+ t11958,
+ t12129,
+ t10627,
+ t10294,
+ t12124,
+ t12122,
+ t12121,
+ t10860,
+ t12118,
+ t12115,
+ t10031,
+ t12109,
+ t12107,
+ t12106,
+ t11132,
+ t12099,
+ t12007,
+ t10251,
+ t10582,
+ t12095,
+ t12094,
+ t12087,
+ t12084,
+ t12082,
+ t11089,
+ t12077,
+ t12068,
+ t12067,
+ t11034,
+ t12065,
+ t12064,
+ t11627,
+ t12063,
+ t12062,
+ t12061,
+ t12059,
+ t12052,
+ t12050,
+ t11036,
+ t12047,
+ t11318,
+ t11322,
+ t11324,
+ t11325,
+ t11332,
+ t11335,
+ t11340,
+ t12028,
+ t12027,
+ t12026,
+ t11648,
+ t11278,
+ t11172,
+ t11117,
+ t10990,
+ t12005,
+ t12002,
+ t11996,
+ t11516,
+ t11987,
+ t11971,
+ t11306,
+ t11264,
+ t11241,
+ t11133,
+ t11076,
+ t11956,
+ t11952,
+ t9842,
+ t11480,
+ t11950,
+ t9980,
+ t11949,
+ t9936,
+ t9968,
+ t11948,
+ t11348,
+ t9848,
+ t11947,
+ t10349,
+ t11946,
+ t11945,
+ t11944,
+ t11943,
+ t11942,
+ t11941,
+ t11939,
+ t11938,
+ t11937,
+ t11397,
+ t11936,
+ t11850,
+ t10521,
+ t11935,
+ t11098,
+ t11934,
+ t11933,
+ t11932,
+ t11931,
+ t11008,
+ t11390,
+ t11930,
+ t10959,
+ t11929,
+ t11928,
+ t10941,
+ t11927,
+ t11926,
+ t11925,
+ t11924,
+ t11920,
+ t11919,
+ t10392,
+ t11861,
+ t11918,
+ t10911,
+ t11917,
+ t11890,
+ t11916,
+ t11915,
+ t11914,
+ t10594,
+ t11913,
+ t11912,
+ t10789,
+ t11911,
+ t11910,
+ t10910,
+ t11909,
+ t11908,
+ t11906,
+ t10915,
+ t11904,
+ t11576,
+ t10493,
+ t10489,
+ t11903,
+ t11450,
+ t11902,
+ t10760,
+ t11900,
+ t11899,
+ t11898,
+ t11019,
+ t11897,
+ t11896,
+ t11895,
+ t11894,
+ t11893,
+ t11513,
+ t11891,
+ t11889,
+ t10475,
+ t11888,
+ t11123,
+ t11887,
+ t11886,
+ t11885,
+ t11884,
+ t11883,
+ t11881,
+ t11880,
+ t11879,
+ t11878,
+ t10948,
+ t11877,
+ t11504,
+ t11876,
+ t11043,
+ t11151,
+ t11874,
+ t11873,
+ t11613,
+ t11872,
+ t11871,
+ t11870,
+ t11869,
+ t11868,
+ t11867,
+ t11864,
+ t11863,
+ t11860,
+ t11030,
+ t11859,
+ t11858,
+ t11857,
+ t11856,
+ t11855,
+ t11854,
+ t11853,
+ t11852,
+ t11849,
+ t10377,
+ t11848,
+ t10985,
+ t11847,
+ t10457,
+ t11846,
+ t11844,
+ t11462,
+ t11843,
+ t11169,
+ t11841,
+ t11080,
+ t11840,
+ t11838,
+ t11836,
+ t11835,
+ t10901,
+ t11833,
+ t11831,
+ t11830,
+ t11824,
+ t10136,
+ t11821,
+ t11818,
+ t11460,
+ t11810,
+ t11809,
+ t11805,
+ t11259,
+ t11274,
+ t11226,
+ t11802,
+ t11012,
+ t11022,
+ t10972,
+ t11801,
+ t11798,
+ t11797,
+ t11794,
+ t11788,
+ t11785,
+ t11784,
+ t11783,
+ t11782,
+ t11602,
+ t11781,
+ t11780,
+ t11778,
+ t11777,
+ t11776,
+ t11775,
+ t11774,
+ t11773,
+ t11772,
+ t11771,
+ t11769,
+ t11768,
+ t11767,
+ t11766,
+ t11765,
+ t11582,
+ t11764,
+ t11763,
+ t11762,
+ t11761,
+ t11760,
+ t11759,
+ t11758,
+ t11757,
+ t11637,
+ t11756,
+ t10305,
+ t11755,
+ t11754,
+ t10088,
+ t10097,
+ t11753,
+ t11752,
+ t10258,
+ t10267,
+ t11751,
+ t10743,
+ t11750,
+ t10115,
+ t11749,
+ t10710,
+ t10124,
+ t10208,
+ t11748,
+ t11468,
+ t10351,
+ t11747,
+ t9858,
+ t11746,
+ t9891,
+ t11745,
+ t9962,
+ t11744,
+ t10426,
+ t11743,
+ t11742,
+ t11741,
+ t9947,
+ t11740,
+ t11739,
+ t11738,
+ t11737,
+ t11736,
+ t11735,
+ t9874,
+ t11734,
+ t11733,
+ t11732,
+ t11731,
+ t10655,
+ t11730,
+ t11729,
+ t11728,
+ t11419,
+ t10048,
+ t11727,
+ t11726,
+ t11725,
+ t11724,
+ t11723,
+ t11722,
+ t11721,
+ t11720,
+ t11719,
+ t11718,
+ t10591,
+ t11717,
+ t11716,
+ t11477,
+ t11715,
+ t10374,
+ t11714,
+ t11429,
+ t10325,
+ t11713,
+ t10191,
+ t11712,
+ t11711,
+ t10648,
+ t11710,
+ t11709,
+ t11708,
+ t11707,
+ t11706,
+ t11705,
+ t10827,
+ t11704,
+ t10540,
+ t11703,
+ t10364,
+ t11702,
+ t10342,
+ t11701,
+ t11700,
+ t10698,
+ t11699,
+ t11698,
+ t11697,
+ t10840,
+ t11696,
+ t11695,
+ t11694,
+ t11492,
+ t11347,
+ t11693,
+ t11692,
+ t11599,
+ t11559,
+ t11691,
+ t11690,
+ t10619,
+ t11689,
+ t11688,
+ t11687,
+ t11686,
+ t11685,
+ t11684,
+ t11683,
+ t11682,
+ t11681,
+ t11680,
+ t11679,
+ t11678,
+ t10584,
+ t11677,
+ t11526,
+ t11676,
+ t11675,
+ t10562,
+ t11674,
+ t11673,
+ t11672,
+ t11671,
+ t10609,
+ t11670,
+ t11669,
+ t11668,
+ t11667,
+ t11666,
+ t11656,
+ t11645,
+ t11638,
+ t11636,
+ t11633,
+ t11629,
+ t11625,
+ t11609,
+ t11605,
+ t11570,
+ t11562,
+ t11549,
+ t11484,
+ t11481,
+ t11452,
+ t11446,
+ t11416,
+ t11413,
+ t11400,
+ t11399,
+ t11398,
+ t11396,
+ t11391,
+ t11388,
+ t11382,
+ t11378,
+ t11377,
+ t11375,
+ t11373,
+ t11372,
+ t11369,
+ t11361,
+ t11360,
+ t11359,
+ t11357,
+ t11351,
+ t11349,
+ t11299,
+ t11280,
+ t11271,
+ t11253,
+ t11251,
+ t11247,
+ t11244,
+ t11239,
+ t11223,
+ t11218,
+ t11214,
+ t11205,
+ t11202,
+ t11200,
+ t11193,
+ t11192,
+ t11191,
+ t11188,
+ t11183,
+ t11179,
+ t11176,
+ t11170,
+ t11167,
+ t11154,
+ t11145,
+ t11143,
+ t11135,
+ t11129,
+ t11128,
+ t11121,
+ t11120,
+ t11116,
+ t11113,
+ t11109,
+ t11083,
+ t11075,
+ t11072,
+ t11066,
+ t11063,
+ t11060,
+ t11054,
+ t11052,
+ t11018,
+ t11017,
+ t11014,
+ t11010,
+ t11001,
+ t10999,
+ t10995,
+ t10994,
+ t10976,
+ t10975,
+ t10950,
+ t10947,
+ t10945,
+ t10936,
+ t10933,
+ t10928,
+ t10921,
+ t10914,
+ t10909,
+ t10907,
+ t10903,
+ t10899,
+ t10896,
+ t10894,
+ t10893,
+ t10892,
+ t10888,
+ t10885,
+ t10883,
+ t10882,
+ t10873,
+ t10861,
+ t10851,
+ t10844,
+ t10832,
+ t10831,
+ t10830,
+ t10828,
+ t10826,
+ t10823,
+ t10820,
+ t10818,
+ t10809,
+ t10805,
+ t10804,
+ t10799,
+ t10798,
+ t10793,
+ t10788,
+ t10787,
+ t10785,
+ t10780,
+ t10778,
+ t10771,
+ t10767,
+ t10765,
+ t10756,
+ t10749,
+ t10746,
+ t10745,
+ t10733,
+ t10724,
+ t10717,
+ t10716,
+ t10707,
+ t10705,
+ t10704,
+ t10702,
+ t10694,
+ t10689,
+ t10685,
+ t10679,
+ t10676,
+ t10675,
+ t10671,
+ t10668,
+ t10653,
+ t10650,
+ t10649,
+ t10644,
+ t10635,
+ t10634,
+ t10631,
+ t10628,
+ t10624,
+ t10621,
+ t10616,
+ t10614,
+ t10613,
+ t10610,
+ t10605,
+ t10604,
+ t10599,
+ t10595,
+ t10593,
+ t10592,
+ t10587,
+ t10577,
+ t10576,
+ t10569,
+ t10552,
+ t10544,
+ t10541,
+ t10535,
+ t10532,
+ t10529,
+ t10524,
+ t10523,
+ t10517,
+ t10516,
+ t10511,
+ t10504,
+ t10501,
+ t10500,
+ t10499,
+ t10497,
+ t10488,
+ t10481,
+ t10480,
+ t10472,
+ t10471,
+ t10470,
+ t10465,
+ t10449,
+ t10448,
+ t10440,
+ t10435,
+ t10433,
+ t10428,
+ t10422,
+ t10420,
+ t10419,
+ t10410,
+ t10407,
+ t10405,
+ t10404,
+ t10402,
+ t10398,
+ t10396,
+ t10390,
+ t10389,
+ t10387,
+ t10383,
+ t10375,
+ t10373,
+ t10371,
+ t10358,
+ t10356,
+ t10346,
+ t10332,
+ t10330,
+ t10329,
+ t10327,
+ t10322,
+ t10321,
+ t10320,
+ t10317,
+ t10315,
+ t10314,
+ t10310,
+ t10308,
+ t10302,
+ t10291,
+ t10286,
+ t10280,
+ t10278,
+ t10268,
+ t10266,
+ t10264,
+ t10260,
+ t10256,
+ t10247,
+ t10244,
+ t10241,
+ t10237,
+ t10236,
+ t10234,
+ t10233,
+ t10232,
+ t10228,
+ t10223,
+ t10221,
+ t10217,
+ t10215,
+ t10198,
+ t10197,
+ t10195,
+ t10192,
+ t10183,
+ t10176,
+ t10171,
+ t10170,
+ t10167,
+ t10164,
+ t10162,
+ t10161,
+ t10157,
+ t10155,
+ t10149,
+ t10148,
+ t10146,
+ t10145,
+ t10144,
+ t10139,
+ t10135,
+ t10122,
+ t10121,
+ t10119,
+ t10117,
+ t10116,
+ t10107,
+ t10105,
+ t10103,
+ t10100,
+ t10087,
+ t10085,
+ t10078,
+ t10075,
+ t10072,
+ t10070,
+ t10067,
+ t10063,
+ t10062,
+ t10053,
+ t10045,
+ t10039,
+ t10038,
+ t10036,
+ t10024,
+ t10022,
+ t10019,
+ t10014,
+ t10006,
+ t10002,
+ t9994,
+ t9993,
+ t9992,
+ t9991,
+ t9988,
+ t9986,
+ t9981,
+ t9978,
+ t9977,
+ t9974,
+ t9967,
+ t9960,
+ t9958,
+ t9954,
+ t9946,
+ t9943,
+ t9935,
+ t9926,
+ t9919,
+ t9918,
+ t9913,
+ t9911,
+ t9909,
+ t9908,
+ t9905,
+ t9904,
+ t9902,
+ t9893,
+ t9878,
+ t9876,
+ t9853,
+ t9847,
+ t9845,
+ t9844,
+ t9843;
+ t11663 = z*z;
+ t11662 = t11663*z;
+ t12309 = t11662+z;
+ t11661 = x*x;
+ t12078 = t11663*t11661;
+ t11639 = RATIONAL(-1.0,3.0);
+ t12045 = t11639*t11661;
+ t11657 = RATIONAL(7.0,9.0);
+ t12630 = t12045+t11657*t12078;
+ t12294 = x*t11663;
+ t12273 = y*t12294;
+ t11660 = y*y;
+ t11659 = t11660*y;
+ t12263 = t11659*t11663;
+ t11989 = x*t12263;
+ t12629 = t11989+t12273;
+ t11940 = t12309*t11660;
+ t12310 = t11659+y;
+ t12043 = x*t12310;
+ t12141 = t11660*t11657;
+ t12628 = t12045+t11661*t12141;
+ t12313 = x*t11660;
+ t12627 = t12309*t12313;
+ t12042 = x*t12309;
+ t11370 = RATIONAL(-35.0,192.0);
+ t11363 = RATIONAL(49.0,576.0);
+ t12056 = t11659*t11661;
+ t11834 = t11363*t12056;
+ t9982 = z*t11834;
+ t12246 = t11660*t11661;
+ t11980 = z*t12246;
+ t12626 = t11370*t11980+t9982;
+ t12088 = t11662*t11661;
+ t11837 = t11363*t12088;
+ t9901 = y*t11837;
+ t11839 = t11660*t12088;
+ t11392 = RATIONAL(-49.0,288.0);
+ t12625 = t9901+t11392*t11839;
+ t11368 = RATIONAL(35.0,288.0);
+ t12311 = x*t11659;
+ t12286 = z*t12311;
+ t11384 = RATIONAL(-49.0,576.0);
+ t11907 = t11384*t12056;
+ t9969 = z*t11907;
+ t12624 = t9969+t11368*t12286;
+ t11524 = RATIONAL(-7.0,48.0);
+ t11380 = RATIONAL(49.0,144.0);
+ t11820 = t11380*t12246;
+ t12623 = t11524*t12088+t11662*t11820;
+ t11346 = RATIONAL(-343.0,144.0);
+ t11475 = RATIONAL(49.0,48.0);
+ t12622 = t11475*t12088+t11346*t11839;
+ t11418 = RATIONAL(-5.0,288.0);
+ t11459 = RATIONAL(7.0,576.0);
+ t9990 = t11459*t11839;
+ t12621 = t11418*t11989+t9990;
+ t11819 = t11380*t12078;
+ t12620 = t11659*t11819+t11524*t12056;
+ t11604 = RATIONAL(5.0,12.0);
+ t11394 = RATIONAL(-49.0,216.0);
+ t12123 = t11394*t11659;
+ t10920 = t11662*t12123;
+ t9924 = x*t10920;
+ t11790 = t11660*t12078;
+ t12619 = t9924+t11604*t11790;
+ t12239 = t11524*t11661;
+ t12618 = (t12239+t11819)*y;
+ t11345 = RATIONAL(245.0,144.0);
+ t11496 = RATIONAL(49.0,72.0);
+ t12040 = y*t12088;
+ t10052 = t11496*t12040;
+ t12617 = t11345*t11839+t10052;
+ t11522 = RATIONAL(7.0,48.0);
+ t11355 = RATIONAL(-49.0,144.0);
+ t11901 = t11355*t12078;
+ t12616 = t11659*t11901+t11522*t12056;
+ t11436 = RATIONAL(-49.0,36.0);
+ t11865 = t11662*t12056;
+ t10061 = t11436*t11865;
+ t12212 = t11660*t11663;
+ t12039 = x*t12212;
+ t12615 = t10061+RATIONAL(125.0,24.0)*t12039;
+ t11379 = RATIONAL(35.0,144.0);
+ t11598 = RATIONAL(7.0,72.0);
+ t12320 = y*t11661;
+ t12037 = t11598*t12320;
+ t10490 = t11662*t12037;
+ t12614 = t11379*t11839+t10490;
+ t11556 = RATIONAL(-5.0,72.0);
+ t11206 = t11556*t12212;
+ t12613 = t11206+t11370*t11790;
+ t11621 = RATIONAL(5.0,9.0);
+ t11421 = RATIONAL(-14.0,27.0);
+ t12060 = t11659*t11421;
+ t11029 = t11662*t12060;
+ t9997 = x*t11029;
+ t12612 = t11621*t11790+t9997;
+ t11395 = RATIONAL(49.0,216.0);
+ t12116 = t11659*t11395;
+ t10904 = t11662*t12116;
+ t9979 = x*t10904;
+ t11647 = RATIONAL(-1.0,6.0);
+ t12611 = t11647*t11790+t9979;
+ t12610 = t11370*t11839+t10490;
+ t12224 = t11659*t11662;
+ t10822 = RATIONAL(-49.0,1728.0)*t12224;
+ t12031 = x*t12224;
+ t12609 = t10822+t11355*t12031;
+ t12608 = RATIONAL(-140.0,9.0)*t11790+RATIONAL(224.0,27.0)*t12031;
+ t11538 = RATIONAL(14.0,9.0);
+ t12607 = t9997+t11538*t11790;
+ t12606 = (t11820+t12239)*z;
+ t11654 = RATIONAL(7.0,3.0);
+ t11554 = RATIONAL(28.0,9.0);
+ t12605 = t11554*t11989+t11654*t12294;
+ t12233 = t11556*t11663;
+ t11494 = RATIONAL(7.0,216.0);
+ t12291 = y*t11662;
+ t11000 = t11494*t12291;
+ t12604 = y*t12233+t11000;
+ t11488 = RATIONAL(-7.0,216.0);
+ t12185 = t11488*t11659;
+ t11050 = z*t12185;
+ t11489 = RATIONAL(7.0,108.0);
+ t12156 = t11489*t11659;
+ t11026 = t11663*t12156;
+ t12603 = t11050+t11026;
+ t12307 = y*t11663;
+ t11515 = RATIONAL(-1.0,18.0);
+ t12030 = t11515*t12307;
+ t11569 = RATIONAL(1.0,36.0);
+ t12013 = t11569*t12320;
+ t10586 = t11662*t12013;
+ t12602 = t11661*t12030+t10586;
+ t11520 = RATIONAL(-1.0,36.0);
+ t10503 = t11520*t11839;
+ t12075 = t11494*t11663;
+ t10981 = t11659*t12075;
+ t10205 = x*t10981;
+ t12601 = t10503+t10205;
+ t11512 = RATIONAL(35.0,72.0);
+ t12079 = t11660*t11512;
+ t11025 = t11662*t12079;
+ t11585 = RATIONAL(-7.0,36.0);
+ t12193 = t11585*t11663;
+ t11250 = t11659*t12193;
+ t10520 = t11661*t11250;
+ t12600 = x*t11025+t10520;
+ t11521 = RATIONAL(7.0,27.0);
+ t12140 = t11521*t11662;
+ t11619 = RATIONAL(-1.0,9.0);
+ t11336 = t11619*t11662;
+ t12599 = t11660*t12140+t11336;
+ t12209 = t11494*t11659;
+ t11082 = z*t12209;
+ t11495 = RATIONAL(-7.0,108.0);
+ t12219 = t11659*t11495;
+ t11064 = t11663*t12219;
+ t12598 = t11082+t11064;
+ t11426 = RATIONAL(-7.0,432.0);
+ t12160 = t11659*t11426;
+ t11951 = x*t12160;
+ t11365 = RATIONAL(7.0,1728.0);
+ t12243 = t11659*t11365;
+ t10919 = z*t12243;
+ t12597 = z*t11951+t10919;
+ t11586 = RATIONAL(2.0,27.0);
+ t12206 = t11586*t11662;
+ t11215 = y*t12206;
+ t11590 = RATIONAL(-5.0,54.0);
+ t12049 = t11590*t11663;
+ t12596 = t11215+y*t12049;
+ t11577 = RATIONAL(1.0,72.0);
+ t10729 = t11577*t12040;
+ t12322 = x*y;
+ t11534 = RATIONAL(-1.0,54.0);
+ t12254 = t11534*t11662;
+ t10669 = t12254*t12322;
+ t12595 = t10729+t10669;
+ t11593 = RATIONAL(-7.0,24.0);
+ t11610 = RATIONAL(7.0,54.0);
+ t10416 = t11610*t12031;
+ t12594 = t10416+t11593*t11790;
+ t11561 = RATIONAL(-40.0,9.0);
+ t11607 = RATIONAL(32.0,9.0);
+ t12041 = z*t12056;
+ t10456 = t11607*t12041;
+ t12593 = t11561*t11980+t10456;
+ t11330 = t11515*z;
+ t12274 = x*t11330;
+ t10424 = z*t12037;
+ t12592 = y*t12274+t10424;
+ t11440 = RATIONAL(-49.0,72.0);
+ t10079 = t11440*t12041;
+ t11537 = RATIONAL(7.0,12.0);
+ t12591 = t11537*t11980+t10079;
+ t11620 = RATIONAL(4.0,9.0);
+ t11337 = t11620*y;
+ t11960 = t11661*t11337;
+ t10833 = t11662*t11960;
+ t11630 = RATIONAL(-5.0,9.0);
+ t12102 = t11630*t11663;
+ t11261 = y*t12102;
+ t12590 = t11661*t11261+t10833;
+ t11415 = RATIONAL(16.0,27.0);
+ t12319 = z*t11659;
+ t11061 = t11415*t12319;
+ t11519 = RATIONAL(-10.0,9.0);
+ t12150 = t11519*t11663;
+ t12589 = t11061+t11659*t12150;
+ t11568 = RATIONAL(-1.0,27.0);
+ t12300 = z*t11568;
+ t11208 = y*t12300;
+ t12588 = t11208+RATIONAL(-25.0,16.0)*t12039;
+ t11501 = RATIONAL(7.0,144.0);
+ t10255 = t11501*t11790;
+ t10409 = t11534*t12031;
+ t12587 = t10255+t10409;
+ t12108 = t11520*t11663;
+ t12586 = y*t12108+t11000;
+ t12136 = t11585*t11660;
+ t11961 = z*t12136;
+ t10502 = t11598*t12041;
+ t12585 = t11661*t11961+t10502;
+ t11581 = RATIONAL(5.0,72.0);
+ t12584 = t11581*t11790+t10409;
+ t11455 = RATIONAL(-1.0,288.0);
+ t12073 = t11455*t11663;
+ t11074 = t11659*t12073;
+ t11500 = RATIONAL(1.0,576.0);
+ t11806 = t11500*t12056;
+ t10133 = z*t11806;
+ t12583 = t10133+t11661*t11074;
+ t11628 = RATIONAL(-2.0,9.0);
+ t12318 = z*t11660;
+ t12091 = t11659*t11521;
+ t11153 = z*t12091;
+ t12582 = t11628*t12318+t11153;
+ t11812 = t11604*t12078;
+ t10800 = t11628*t12041;
+ t12581 = t10800+t11659*t11812;
+ t11498 = RATIONAL(1.0,144.0);
+ t11314 = t11498*t11659;
+ t11986 = x*t11314;
+ t11511 = RATIONAL(-7.0,576.0);
+ t11796 = t11511*t12088;
+ t10033 = t11660*t11796;
+ t12580 = t11663*t11986+t10033;
+ t11443 = RATIONAL(-56.0,27.0);
+ t11635 = RATIONAL(8.0,9.0);
+ t11338 = t11635*t11659;
+ t12579 = t11443*t12263+t11338;
+ t12186 = t11520*t11661;
+ t12018 = y*t12186;
+ t10601 = t11662*t12018;
+ t12578 = t11647*t11839+t10601;
+ t11474 = RATIONAL(1.0,216.0);
+ t12153 = t11474*t11659;
+ t11007 = z*t12153;
+ t11479 = RATIONAL(-1.0,108.0);
+ t12152 = t11479*t11660;
+ t12577 = t11007+z*t12152;
+ t11882 = t11511*t12056;
+ t10156 = z*t11882;
+ t11557 = RATIONAL(-7.0,96.0);
+ t11817 = t11557*t12078;
+ t12576 = t10156+t11659*t11817;
+ t11448 = RATIONAL(1.0,432.0);
+ t11995 = t11448*t12313;
+ t11438 = RATIONAL(-1.0,576.0);
+ t11813 = t11438*t12056;
+ t12575 = t11663*t11813+t11662*t11995;
+ t12038 = y*t12078;
+ t10553 = t11607*t12040;
+ t12574 = t11561*t12038+t10553;
+ t12312 = t11628*y;
+ t12001 = t11661*t12312;
+ t10889 = z*t12001;
+ t11583 = RATIONAL(5.0,27.0);
+ t12270 = t11583*t12322;
+ t12573 = t10889+z*t12270;
+ t11589 = RATIONAL(1.0,27.0);
+ t10677 = t11589*t12031;
+ t12572 = t11426*t12212+t10677;
+ t11427 = RATIONAL(-98.0,27.0);
+ t10166 = t11427*t12031;
+ t12571 = t10166+RATIONAL(14.0,3.0)*t11790;
+ t11476 = RATIONAL(5.0,432.0);
+ t12187 = t11476*t11660;
+ t12290 = t11479*z;
+ t11057 = t11659*t12290;
+ t12570 = z*t12187+t11057;
+ t11441 = RATIONAL(40.0,27.0);
+ t12321 = z*t12322;
+ t12317 = z*t11661;
+ t12284 = y*t12317;
+ t11555 = RATIONAL(-16.0,9.0);
+ t10478 = t11555*t12284;
+ t12569 = t11441*t12321+t10478;
+ t11580 = RATIONAL(-7.0,18.0);
+ t11988 = t11421*t12313;
+ t12568 = t11662*t11988+t11580*t12313;
+ t12567 = t12630*t11659;
+ t11319 = t11580*t11662;
+ t12126 = t11488*t11662;
+ t11093 = y*t12126;
+ t12566 = t11093+t11319*t12322;
+ t12101 = t11459*t11661;
+ t12035 = z*t12101;
+ t10263 = t11659*t12035;
+ t11606 = RATIONAL(7.0,96.0);
+ t11892 = t11606*t12078;
+ t12565 = t11659*t11892+t10263;
+ t12289 = t11589*z;
+ t11155 = t11659*t12289;
+ t11547 = RATIONAL(-2.0,27.0);
+ t12303 = z*t11547;
+ t12564 = t11660*t12303+t11155;
+ t11510 = RATIONAL(-7.0,288.0);
+ t11027 = t11510*t12263;
+ t12563 = t11661*t11027+t10263;
+ t10224 = y*t12035;
+ t12323 = y*z;
+ t11503 = RATIONAL(-1.0,144.0);
+ t12288 = x*t11503;
+ t12562 = t10224+t12288*t12323;
+ t11597 = RATIONAL(-4.0,27.0);
+ t12081 = t11659*t11597;
+ t11106 = t11662*t12081;
+ t12148 = t11583*t11663;
+ t12561 = t11106+t11659*t12148;
+ t11567 = RATIONAL(1.0,54.0);
+ t12135 = t11567*t11662;
+ t12000 = x*t12135;
+ t10699 = t11659*t12000;
+ t11497 = RATIONAL(-5.0,144.0);
+ t12560 = t10699+t11497*t11790;
+ t11523 = RATIONAL(1.0,18.0);
+ t11320 = t11523*t11659;
+ t11233 = t11663*t11320;
+ t10611 = t11661*t11233;
+ t12324 = x*z;
+ t12173 = t11488*t11660;
+ t12559 = t10611+t12173*t12324;
+ t10795 = t11620*t12041;
+ t12558 = t10795+t11630*t11980;
+ t12256 = t11500*t11661;
+ t12029 = y*t12256;
+ t10110 = z*t12029;
+ t11456 = RATIONAL(-1.0,432.0);
+ t12301 = x*t11456;
+ t12277 = z*t12301;
+ t12557 = t10110+y*t12277;
+ t12223 = t11479*t11663;
+ t10998 = t11659*t12223;
+ t12090 = t11474*t11662;
+ t10996 = t11659*t12090;
+ t12556 = t10998+t10996;
+ t11424 = RATIONAL(5.0,576.0);
+ t12261 = t11424*t11660;
+ t11354 = RATIONAL(-7.0,1728.0);
+ t12231 = t11354*t11659;
+ t10937 = z*t12231;
+ t12555 = t10937+z*t12261;
+ t11432 = RATIONAL(7.0,864.0);
+ t12167 = t11432*t11662;
+ t12019 = x*t12167;
+ t10273 = t11659*t12019;
+ t11472 = RATIONAL(-5.0,192.0);
+ t12554 = t10273+t11472*t11790;
+ t11558 = RATIONAL(-8.0,27.0);
+ t11974 = t11558*t12311;
+ t11425 = RATIONAL(35.0,36.0);
+ t12553 = t11662*t11974+t11425*t11790;
+ t11574 = RATIONAL(-7.0,72.0);
+ t12552 = t11574*t11790+t10699;
+ t10953 = t11662*t12209;
+ t12551 = x*t10953+t11515*t11790;
+ t11422 = RATIONAL(1.0,108.0);
+ t12070 = t11422*t11662;
+ t10956 = t11659*t12070;
+ t12162 = t11568*t11662;
+ t12009 = x*t12162;
+ t12550 = t10956+t11659*t12009;
+ t11608 = RATIONAL(16.0,3.0);
+ t11508 = RATIONAL(-112.0,9.0);
+ t12549 = t11608*t12088+t11508*t11839;
+ t11407 = RATIONAL(-7.0,144.0);
+ t11832 = t11407*t12246;
+ t11592 = RATIONAL(1.0,48.0);
+ t12548 = t11592*t12088+t11662*t11832;
+ t11587 = RATIONAL(5.0,18.0);
+ t11127 = t11587*t12294;
+ t10740 = t11660*t11127;
+ t10762 = t11585*t11865;
+ t12547 = t10740+t10762;
+ t12215 = t11586*t11659;
+ t11230 = z*t12215;
+ t12080 = t11660*t11590;
+ t12546 = t11230+z*t12080;
+ t12110 = t11511*t11661;
+ t12015 = y*t12110;
+ t10153 = z*t12015;
+ t11463 = RATIONAL(7.0,288.0);
+ t12221 = t11463*t11660;
+ t11822 = t11661*t12221;
+ t12545 = z*t11822+t10153;
+ t11130 = t11662*t12136;
+ t11536 = RATIONAL(7.0,36.0);
+ t11793 = t11536*t12056;
+ t10681 = t11663*t11793;
+ t12544 = t10681+x*t11130;
+ t11042 = t11479*t12291;
+ t12089 = t11476*t11663;
+ t12543 = y*t12089+t11042;
+ t11430 = RATIONAL(-35.0,54.0);
+ t12142 = t11660*t11430;
+ t11067 = t11662*t12142;
+ t11611 = RATIONAL(-7.0,27.0);
+ t11178 = t11611*t12291;
+ t12542 = t11067+t11178;
+ t11514 = RATIONAL(80.0,9.0);
+ t11923 = t11663*t12056;
+ t10709 = RATIONAL(-64.0,9.0)*t11865;
+ t12541 = t11514*t11923+t10709;
+ t11655 = RATIONAL(2.0,9.0);
+ t11969 = t11655*t12320;
+ t10794 = z*t11969;
+ t11616 = RATIONAL(-5.0,27.0);
+ t12268 = t11616*t12324;
+ t12540 = t10794+y*t12268;
+ t12252 = t11547*t11659;
+ t11254 = z*t12252;
+ t11596 = RATIONAL(5.0,54.0);
+ t12157 = t11596*t11660;
+ t12539 = t11254+z*t12157;
+ t10758 = t11585*t12041;
+ t11543 = RATIONAL(7.0,18.0);
+ t11922 = t11543*t12078;
+ t12538 = t10758+t11659*t11922;
+ t11410 = RATIONAL(35.0,54.0);
+ t12072 = t11410*t11663;
+ t11003 = t11659*t12072;
+ t12537 = t11029+t11003;
+ t11815 = t11659*t12102;
+ t12536 = t10800+t11661*t11815;
+ t11478 = RATIONAL(-1.0,864.0);
+ t12051 = t11478*t11663;
+ t11404 = RATIONAL(1.0,1728.0);
+ t12120 = t11404*t11662;
+ t10897 = y*t12120;
+ t12535 = t10897+y*t12051;
+ t11311 = t11498*t11662;
+ t12137 = t11426*t11662;
+ t10958 = t11660*t12137;
+ t12534 = t11311+t10958;
+ t12190 = t11592*t11661;
+ t12533 = (t11832+t12190)*z;
+ t11458 = RATIONAL(98.0,27.0);
+ t10042 = t11458*t12031;
+ t12532 = RATIONAL(-35.0,3.0)*t11790+t10042;
+ t12166 = t11611*t11660;
+ t11652 = RATIONAL(1.0,9.0);
+ t11341 = t11652*t11662;
+ t12531 = t11341+t11662*t12166;
+ t11626 = RATIONAL(7.0,6.0);
+ t12244 = t11626*t11661;
+ t11435 = RATIONAL(-49.0,18.0);
+ t12530 = z*t12244+t11435*t11980;
+ t11469 = RATIONAL(-5.0,216.0);
+ t11985 = t11469*t12311;
+ t12113 = t11569*t11660;
+ t11827 = t11661*t12113;
+ t10597 = t11662*t11827;
+ t12529 = t10597+t11663*t11985;
+ t10988 = t11663*t12160;
+ t12528 = t11314+t10988;
+ t10887 = t11662*t11969;
+ t12527 = t10887+t11621*t11839;
+ t11539 = RATIONAL(-35.0,6.0);
+ t11518 = RATIONAL(-70.0,9.0);
+ t11161 = t11518*t12313;
+ t12526 = t11662*t11161+t11539*t12313;
+ t11409 = RATIONAL(-28.0,27.0);
+ t12525 = t11620*z+t11409*t12318;
+ t11433 = RATIONAL(56.0,27.0);
+ t11624 = RATIONAL(-8.0,9.0);
+ t11333 = t11624*t11662;
+ t12262 = t11660*t11662;
+ t12524 = t11333+t11433*t12262;
+ t12523 = y*t12190+t11407*t12038;
+ t11461 = RATIONAL(-35.0,18.0);
+ t11623 = RATIONAL(-7.0,9.0);
+ t12074 = t11623*t11661;
+ t10801 = t12074*t12323;
+ t12522 = t11461*t11980+t10801;
+ t10898 = t11659*t12120;
+ t12114 = t11478*t11662;
+ t12521 = t11660*t12114+t10898;
+ t11506 = RATIONAL(1.0,288.0);
+ t12164 = t11506*t11660;
+ t12520 = t11663*t12164+t11557*t11790;
+ t10051 = t11496*t12041;
+ t11535 = RATIONAL(-7.0,12.0);
+ t12519 = t10051+t11535*t11980;
+ t10608 = z*t12018;
+ t11434 = RATIONAL(5.0,216.0);
+ t12265 = t11434*t12324;
+ t12518 = t10608+y*t12265;
+ t11866 = t11501*t12078;
+ t11525 = RATIONAL(-1.0,48.0);
+ t12182 = t11525*t11661;
+ t12517 = (t12182+t11866)*y;
+ t11640 = RATIONAL(1.0,6.0);
+ t12154 = t11640*t11661;
+ t11921 = t11580*t12078;
+ t12516 = (t11921+t12154)*y;
+ t12218 = t11659*t11611;
+ t11199 = z*t12218;
+ t12515 = t11199+t11621*t12318;
+ t11312 = t11498*y;
+ t12514 = t11426*t12307+t11312;
+ t11993 = t11577*t12317;
+ t10726 = y*t11993;
+ t12513 = t10726+t11534*t12321;
+ t10165 = y*t11796;
+ t12512 = t10165+t11662*t11822;
+ t11644 = RATIONAL(-7.0,3.0);
+ t11563 = RATIONAL(49.0,9.0);
+ t12511 = t11563*t11923+t11644*t12056;
+ t11417 = RATIONAL(49.0,36.0);
+ t10076 = t11417*t11865;
+ t11447 = RATIONAL(-25.0,12.0);
+ t10199 = t11447*t12039;
+ t12510 = t10076+t10199;
+ t11603 = RATIONAL(-49.0,9.0);
+ t12509 = t11654*t12088+t11603*t11839;
+ t10450 = t11574*t12041;
+ t12508 = t11536*t11980+t10450;
+ t12036 = t11574*t12320;
+ t10753 = z*t12036;
+ t11564 = RATIONAL(5.0,36.0);
+ t12275 = t11564*t12322;
+ t12507 = z*t12275+t10753;
+ t11545 = RATIONAL(20.0,3.0);
+ t11791 = t11545*t12078;
+ t11531 = RATIONAL(-32.0,9.0);
+ t10467 = t11531*t12041;
+ t12506 = t11659*t11791+t10467;
+ t11486 = RATIONAL(-1.0,216.0);
+ t12055 = t11486*t11662;
+ t11037 = y*t12055;
+ t12149 = t11422*t11663;
+ t12505 = y*t12149+t11037;
+ t12053 = t11354*t11662;
+ t10929 = t11659*t12053;
+ t12175 = t11432*t11659;
+ t12504 = t10929+t11663*t12175;
+ t12241 = t11647*t11661;
+ t12503 = z*t12241+t11543*t11980;
+ t10782 = RATIONAL(49.0,1728.0)*t12224;
+ t11366 = RATIONAL(-35.0,576.0);
+ t12502 = t11366*t12262+t10782;
+ t11851 = t11569*t12056;
+ t10575 = z*t11851;
+ t11795 = t11640*t12078;
+ t12501 = t11659*t11795+t10575;
+ t10732 = t11662*t12036;
+ t12103 = t11536*t11663;
+ t12023 = y*t12103;
+ t12500 = t11661*t12023+t10732;
+ t11533 = RATIONAL(56.0,9.0);
+ t11618 = RATIONAL(-8.0,3.0);
+ t12238 = t11618*t11661;
+ t12499 = z*t12238+t11533*t11980;
+ t10980 = RATIONAL(32.0,27.0)*t12224;
+ t11408 = RATIONAL(-40.0,27.0);
+ t12498 = t10980+t11408*t12262;
+ t11471 = RATIONAL(14.0,27.0);
+ t12127 = t11471*t11662;
+ t11059 = t11659*t12127;
+ t10243 = x*t11059;
+ t12497 = t11623*t11790+t10243;
+ t12076 = t11489*t11660;
+ t11090 = t11662*t12076;
+ t12496 = t11093+t11090;
+ t11423 = RATIONAL(35.0,48.0);
+ t11579 = RATIONAL(-7.0,54.0);
+ t12098 = t11579*t11662;
+ t11978 = x*t12098;
+ t10446 = t11659*t11978;
+ t12495 = t10446+t11423*t11790;
+ t11550 = RATIONAL(-5.0,12.0);
+ t12494 = t10887+t11550*t11839;
+ t10997 = y*t12090;
+ t12493 = y*t12223+t10997;
+ t11548 = RATIONAL(35.0,9.0);
+ t10483 = t11538*t12041;
+ t12492 = t11548*t11923+t10483;
+ t12205 = t11536*t11660;
+ t11118 = t11662*t12205;
+ t12491 = t11118+t10920;
+ t12165 = t11660*t11495;
+ t10970 = t11662*t12165;
+ t11800 = t11569*t12078;
+ t10394 = t11659*t11800;
+ t12490 = x*t10970+t10394;
+ t11641 = RATIONAL(-4.0,9.0);
+ t11804 = t11641*t12056;
+ t10870 = z*t11804;
+ t12489 = t11621*t11980+t10870;
+ t12010 = x*t12114;
+ t12488 = t11506*t11790+t11659*t12010;
+ t11444 = RATIONAL(20.0,27.0);
+ t11449 = RATIONAL(-16.0,27.0);
+ t10966 = t11449*t12291;
+ t12487 = t11444*t12307+t10966;
+ t11229 = y*t12289;
+ t12486 = t11229+RATIONAL(-25.0,27.0)*t12039;
+ t10869 = t11662*t11804;
+ t11453 = RATIONAL(25.0,54.0);
+ t12485 = t10869+t11453*t12039;
+ t11615 = RATIONAL(4.0,27.0);
+ t12100 = t11615*t11662;
+ t11158 = t11659*t12100;
+ t12083 = t11616*t11663;
+ t12484 = t11659*t12083+t11158;
+ t11653 = RATIONAL(5.0,6.0);
+ t11982 = t11653*t12294;
+ t12483 = t10061+t11660*t11982;
+ t10791 = t11657*t12284;
+ t11406 = RATIONAL(35.0,18.0);
+ t12482 = t10791+t11406*t11980;
+ t11217 = t11589*t12291;
+ t12199 = t11547*t11663;
+ t12481 = y*t12199+t11217;
+ t11457 = RATIONAL(-7.0,864.0);
+ t12255 = t11457*t11659;
+ t12004 = x*t12255;
+ t10335 = t11662*t12004;
+ t11551 = RATIONAL(1.0,96.0);
+ t12480 = t11551*t11790+t10335;
+ t11334 = t11641*y;
+ t12012 = t11661*t11334;
+ t10891 = t11662*t12012;
+ t11845 = t11621*t12078;
+ t12479 = t10891+y*t11845;
+ t11643 = RATIONAL(1.0,3.0);
+ t11825 = t11660*t12074;
+ t12478 = t11643*t12088+t11662*t11825;
+ t10808 = t11652*t12284;
+ t12477 = t11597*t12321+t10808;
+ t12476 = t11641*t11839+x*t11003;
+ t10574 = t11520*t11980;
+ t10556 = t11659*t11993;
+ t12475 = t10574+t10556;
+ t12057 = t11547*t11662;
+ t11249 = y*t12057;
+ t12228 = t11596*t11663;
+ t12474 = y*t12228+t11249;
+ t10736 = t11536*t11839;
+ t12473 = x*t11250+t10736;
+ t11465 = RATIONAL(5.0,108.0);
+ t12472 = t10503+t11465*t11989;
+ t11649 = RATIONAL(-7.0,6.0);
+ t12471 = t10758+t11649*t11923;
+ t11077 = t11434*t12212;
+ t10600 = t11520*t11865;
+ t12470 = x*t11077+t10600;
+ t12025 = x*t12262;
+ t9898 = t11370*t11923;
+ t12172 = t11660*t11587;
+ t11959 = z*t12172;
+ t12469 = t11379*t12025+t9898+x*t11959;
+ t11491 = RATIONAL(-70.0,27.0);
+ t12468 = RATIONAL(-160.0,27.0)*t12031+t11491*t12212+RATIONAL(140.0,9.0)*
+t11790;
+ t11386 = RATIONAL(140.0,27.0);
+ t11401 = RATIONAL(245.0,54.0);
+ t11600 = RATIONAL(-20.0,3.0);
+ t12467 = t11386*t12273+t11600*t11839+t11401*t11989;
+ t11358 = RATIONAL(-140.0,27.0);
+ t11364 = RATIONAL(280.0,27.0);
+ t11560 = RATIONAL(-80.0,9.0);
+ t12466 = t11560*t11839+t11364*t11989+t11358*t12273;
+ t12280 = z*t12313;
+ t12465 = t11386*t12280+t11600*t11923+t11401*t12025;
+ t11387 = RATIONAL(35.0,192.0);
+ t9971 = t11387*t11839;
+ t11381 = RATIONAL(-35.0,288.0);
+ t11594 = RATIONAL(-5.0,36.0);
+ t10546 = t11594*t12273;
+ t12464 = t9971+t10546+t11381*t11989;
+ t11393 = RATIONAL(-245.0,54.0);
+ t11617 = RATIONAL(8.0,3.0);
+ t12463 = t12072*t12322+t11617*t11839+t11393*t11989;
+ t12139 = t11430*t11663;
+ t11092 = t11659*t12139;
+ t12033 = x*t12139;
+ t12462 = y*t12033+t11635*t11839+x*t11092;
+ t11197 = t11558*t12323;
+ t11566 = RATIONAL(-28.0,9.0);
+ t10496 = t11566*t11865;
+ t12461 = t11197+RATIONAL(125.0,18.0)*t12039+t10496;
+ t10783 = t11657*t12031;
+ t12460 = RATIONAL(-245.0,48.0)*t11790+t11379*t12212+t10783;
+ t12259 = t11556*t11660;
+ t11228 = z*t12259;
+ t12459 = y*t11127+t11379*t11989+t11228;
+ t10759 = t11604*t11839;
+ t11402 = RATIONAL(-49.0,108.0);
+ t12458 = t10759+t11421*t12273+t11402*t11989;
+ t11431 = RATIONAL(70.0,27.0);
+ t12457 = t11431*t12212+t11561*t12031+RATIONAL(245.0,36.0)*t11790;
+ t11612 = RATIONAL(-5.0,18.0);
+ t12298 = x*t11612;
+ t11966 = t11662*t12298;
+ t10660 = t11659*t11966;
+ t12086 = t11610*t11663;
+ t12456 = t11660*t12086+t10660+t11380*t11790;
+ t11317 = t11407*t11659;
+ t11997 = x*t11317;
+ t10129 = t11662*t11997;
+ t11473 = RATIONAL(-5.0,576.0);
+ t12119 = t11473*t11663;
+ t12455 = t10129+t11387*t11790+t11660*t12119;
+ t11403 = RATIONAL(-35.0,144.0);
+ t11826 = t11403*t12262;
+ t9942 = t11661*t11826;
+ t12454 = t11652*t11989+x*t12030+t9942;
+ t11829 = t11379*t12078;
+ t9873 = t11659*t11829;
+ t12204 = t11564*t11660;
+ t10406 = t12204*t12324;
+ t12453 = t11660*t11966+t9873+t10406;
+ t11383 = RATIONAL(35.0,216.0);
+ t12011 = t11383*t12311;
+ t9915 = t11662*t12011;
+ t12044 = t11581*t11660;
+ t11171 = t11663*t12044;
+ t12452 = t9915+t11171+t11550*t11790;
+ t10018 = t11461*t12031;
+ t12451 = RATIONAL(245.0,48.0)*t11790+t11406*t12212+t10018;
+ t12085 = t11660*t11410;
+ t12450 = t12085*t12324+t11393*t12025+t11617*t11923;
+ t11507 = RATIONAL(-35.0,12.0);
+ t10066 = t11507*t11839;
+ t11385 = RATIONAL(245.0,72.0);
+ t12034 = t11548*t12294;
+ t12449 = t11385*t11989+t10066+y*t12034;
+ t12054 = t11523*t11660;
+ t12448 = t11501*t12025+t9898+t12054*t12324;
+ t11352 = RATIONAL(-35.0,216.0);
+ t11977 = t11352*t12311;
+ t12447 = t11663*t11977+t10759+t12083*t12322;
+ t9975 = t11662*t11977;
+ t11236 = t11660*t12108;
+ t12446 = t9975+t11236+t11640*t11790;
+ t11546 = RATIONAL(5.0,96.0);
+ t12445 = RATIONAL(-35.0,32.0)*t11790+t11380*t12031+t11546*t12212;
+ t11571 = RATIONAL(16.0,9.0);
+ t11367 = RATIONAL(35.0,108.0);
+ t12444 = t11571*t12031+RATIONAL(-245.0,36.0)*t11790+t11367*t12212;
+ t11792 = t11550*t12078;
+ t10641 = t11659*t11792;
+ t12306 = x*t11662;
+ t11972 = t11395*t12306;
+ t12279 = t11521*t12324;
+ t12443 = t10641+(t11972+t12279)*t11660;
+ t11371 = RATIONAL(-245.0,72.0);
+ t10834 = t11626*t11839;
+ t12092 = t11512*t11663;
+ t12442 = t11371*t11989+t10834+t12092*t12322;
+ t10864 = t11626*t11923;
+ t12441 = t10864+t11371*t12025+t12079*t12324;
+ t11595 = RATIONAL(-1.0,72.0);
+ t12308 = t11595*y;
+ t11984 = t11661*t12308;
+ t10468 = z*t11984;
+ t12315 = t11422*y;
+ t10003 = t12315*t12324;
+ t12245 = t10468+t10003;
+ t12440 = t12245+RATIONAL(-49.0,864.0)*t12031+RATIONAL(5.0,32.0)*t11790;
+ t11517 = RATIONAL(5.0,48.0);
+ t11981 = t11517*t12313;
+ t12226 = t11037+t11474*t12307;
+ t12439 = t11663*t11907+t11662*t11981+t12226;
+ t11968 = t11381*t12306;
+ t9984 = t11659*t11968;
+ t12438 = t11663*t12113+t9984+t11606*t11790;
+ t11376 = RATIONAL(49.0,108.0);
+ t11828 = t11647*t12078;
+ t10811 = t11659*t11828;
+ t12437 = t12165*t12324+t11376*t12025+t10811;
+ t11532 = RATIONAL(-35.0,9.0);
+ t11542 = RATIONAL(70.0,9.0);
+ t10598 = t11532*t11923;
+ t12436 = t11532*t12280+t11542*t12025+t10598;
+ t10515 = t11521*t12031;
+ t11482 = RATIONAL(-35.0,48.0);
+ t12435 = t10515+t11482*t11790+t11403*t12212;
+ t12017 = x*t12205;
+ t10751 = t11659*t11921;
+ t12434 = t10751+z*t12017+x*t11118;
+ t10495 = t11543*t11839;
+ t11411 = RATIONAL(-35.0,72.0);
+ t12133 = t11411*t11663;
+ t10964 = t11659*t12133;
+ t12022 = x*t12133;
+ t12433 = x*t10964+t10495+y*t12022;
+ t10777 = t11623*t12031;
+ t12432 = RATIONAL(49.0,24.0)*t11790+t11574*t12212+t10777;
+ t11553 = RATIONAL(-14.0,9.0);
+ t12191 = t11521*t11663;
+ t11509 = RATIONAL(10.0,27.0);
+ t12014 = t11509*t12311;
+ t10312 = t11662*t12014;
+ t12431 = t11660*t12191+t11553*t11790+t10312;
+ t12058 = t11579*t11663;
+ t11139 = t11660*t12058;
+ t11505 = RATIONAL(-10.0,27.0);
+ t12295 = x*t11505;
+ t11994 = t11659*t12295;
+ t10326 = t11662*t11994;
+ t12430 = t11139+t11657*t11790+t10326;
+ t10455 = t11554*t11865;
+ t11541 = RATIONAL(-25.0,9.0);
+ t11955 = t11541*t12294;
+ t12429 = t11208+t11660*t11955+t10455;
+ t11614 = RATIONAL(-14.0,3.0);
+ t10000 = t11431*t12031;
+ t12428 = t10000+t11663*t12141+t11614*t11790;
+ t10722 = t11548*t11839;
+ t12427 = t10722+t11566*t11989+t11538*t12273;
+ t10037 = t11491*t12031;
+ t12426 = t11461*t12212+t10037+RATIONAL(35.0,3.0)*t11790;
+ t12006 = t11418*t12311;
+ t12425 = t11662*t12006+t11463*t11790+t11660*t12149;
+ t11454 = RATIONAL(7.0,432.0);
+ t12197 = t11454*t11659;
+ t11044 = t11663*t12197;
+ t12424 = t11567*t12273+t11472*t11839+x*t11044;
+ t11485 = RATIONAL(5.0,288.0);
+ t12293 = x*t11485;
+ t11975 = t11659*t12293;
+ t12272 = y*t12293;
+ t10292 = t11510*t11839;
+ t12423 = t10292+(t12272+t11975)*t11663;
+ t10807 = t11649*t11839;
+ t12422 = t10807+t11417*t11989+t12193*t12322;
+ t11467 = RATIONAL(35.0,12.0);
+ t10059 = t11467*t11839;
+ t12421 = t10059+t11553*t12273+t11436*t11989;
+ t11053 = t11663*t12152;
+ t12420 = t11662*t11985+t11053+t11523*t11790;
+ t12419 = t11455*t11790+t11660*t12051+t11448*t12031;
+ t12418 = t11635*t11923+x*t11067+t12142*t12324;
+ t10350 = t11406*t12031;
+ t12417 = t10350+RATIONAL(-49.0,24.0)*t11790+t11623*t12212;
+ t11211 = t11659*t12103;
+ t10651 = t11580*t11839;
+ t12416 = t10651+(t11211+t12023)*x;
+ t12003 = t11587*t12306;
+ t10720 = t11659*t12003;
+ t12415 = t11663*t12166+t10720+t11440*t11790;
+ t11051 = t11663*t12173;
+ t12024 = x*t11336;
+ t10865 = t11659*t12024;
+ t12414 = t11051+t10865+t11496*t11790;
+ t12117 = t11534*t11663;
+ t12069 = t11660*t11497;
+ t11811 = t11661*t12069;
+ t12413 = t11589*t11989+t11662*t11811+t12117*t12322;
+ t11544 = RATIONAL(-1.0,96.0);
+ t11998 = x*t12197;
+ t10010 = t11662*t11998;
+ t12412 = t11544*t11790+t10010+t11660*t12073;
+ t10659 = t11532*t11839;
+ t12411 = t10659+t11542*t11989+t11532*t12273;
+ t11530 = RATIONAL(7.0,24.0);
+ t12016 = x*t12218;
+ t10427 = t11662*t12016;
+ t12410 = t11598*t12212+t10427+t11530*t11790;
+ t10708 = t11515*t11839;
+ t12409 = x*t11026+t10708+t11489*t12273;
+ t11565 = RATIONAL(-5.0,96.0);
+ t12189 = t11418*t11663;
+ t12408 = t11660*t12189+t10010+t11565*t11790;
+ t10815 = t11659*t11845;
+ t12020 = t11471*t12313;
+ t12407 = t11409*t12025+t10815+z*t12020;
+ t10060 = t11467*t11923;
+ t12406 = t10060+t11553*t12280+t11436*t12025;
+ t11499 = RATIONAL(-35.0,36.0);
+ t11350 = RATIONAL(-35.0,108.0);
+ t12405 = t11350*t12212+t11415*t12031+t11499*t11790;
+ t12132 = t11456*t11663;
+ t11816 = t11661*t12164;
+ t12404 = t11456*t11989+t11662*t11816+t12132*t12322;
+ t11451 = RATIONAL(1.0,864.0);
+ t12096 = t11451*t11660;
+ t11035 = t11663*t12096;
+ t12403 = t11510*t11790+t11035+t11662*t11986;
+ t11814 = t11663*t11317;
+ t10603 = t11606*t11839;
+ t12271 = x*t11312;
+ t12402 = t11663*t12271+x*t11814+t10603;
+ t11962 = t11471*t12311;
+ t12214 = t11611*t11663;
+ t12144 = t11630*t11660;
+ t11786 = t11662*t12144;
+ t10874 = t11661*t11786;
+ t12401 = t12214*t12322+t10874+t11663*t11962;
+ t12112 = t11660*t11567;
+ t12201 = t11454*t11660;
+ t10943 = t11662*t12201;
+ t11875 = t11472*t12078;
+ t12400 = x*t10943+t12112*t12324+t11659*t11875;
+ t12230 = t11473*t11660;
+ t12399 = t9971+z*t12230+t11619*t12273+t11574*t11989;
+ t11999 = t11619*t12313;
+ t11540 = RATIONAL(-1.0,12.0);
+ t12398 = t11540*t12313+t11662*t11999+t12620;
+ t11990 = t11652*t12313;
+ t11420 = RATIONAL(-5.0,432.0);
+ t12232 = t11420*t11663;
+ t12397 = y*t12232+t11628*t12025+z*t11990+t9873;
+ t11389 = RATIONAL(-280.0,27.0);
+ t11588 = RATIONAL(-16.0,3.0);
+ t11140 = t11518*t12294;
+ t11490 = RATIONAL(112.0,9.0);
+ t12396 = t11140+t11389*t11989+t11588*t12088+t11490*t11839;
+ t11808 = t11403*t12078;
+ t9932 = t11659*t11808;
+ t12395 = t10450+t11662*t11990+t11660*t12274+t9932;
+ t12314 = z*t11404;
+ t10902 = t11659*t12314;
+ t11362 = RATIONAL(-1.0,1728.0);
+ t12097 = t11660*t11362;
+ t12394 = t10902+t9990+z*t12097+t11595*t11989;
+ t12393 = RATIONAL(-25.0,18.0)*t12212+t10350+RATIONAL(-175.0,48.0)*t11790+
+t11519*t12321;
+ t11578 = RATIONAL(5.0,24.0);
+ t12392 = t11578*t12313+t11660*t12003+t12616;
+ t12155 = t11660*t11520;
+ t12391 = t11659*t11866+t11525*t12056+x*t12155+t11660*t12009;
+ t12390 = t11383*t11989+t11469*t12273+t12578;
+ t11163 = z*t12155;
+ t10824 = t11640*t11839;
+ t12389 = t11350*t11989+t11163+t10824+t11465*t12273;
+ t11240 = t11659*t12057;
+ t12388 = t11660*t12049+t11240+t10720+t11403*t11790;
+ t10418 = t11564*t12273;
+ t12387 = t10418+t11612*t11989+t12614;
+ t12048 = t11365*t11662;
+ t10917 = t11659*t12048;
+ t11414 = RATIONAL(5.0,192.0);
+ t12163 = t11424*t11663;
+ t10204 = t11662*t11951;
+ t12386 = t10917+t10204+t11414*t11790+t11660*t12163;
+ t12184 = t11616*t11660;
+ t12385 = t11352*t12025+t12184*t12324+t12581;
+ t12384 = z*t11988+t11402*t12025+t12581;
+ t11224 = t11540*t12294;
+ t12383 = t11224+t11619*t11989+t12623;
+ t12382 = t11376*t11989+t11495*t12273+t12578;
+ t12381 = t11418*t12280+t11368*t12025+t12576;
+ t11055 = t11479*t12224;
+ t12071 = t11660*t11420;
+ t12380 = t11663*t12071+t11055+t10865+t11379*t11790;
+ t11343 = RATIONAL(-245.0,192.0);
+ t12258 = t11581*t11663;
+ t11243 = y*t12258;
+ t12379 = t11423*t12025+t11343*t11923+t11653*t12280+t11243;
+ t12170 = t11469*t11660;
+ t11954 = x*t12170;
+ t10618 = t11520*t12041;
+ t12378 = z*t11954+t10618+t10811+t11383*t12025;
+ t12021 = t11660*t12295;
+ t12377 = t11444*t12025+z*t12021+t12474;
+ t12376 = t11660*t12075+t11598*t11790+t12550;
+ t12032 = t11577*t12307;
+ t12375 = z*t12096+x*t12032+t11577*t11989+t10292;
+ t11437 = RATIONAL(28.0,27.0);
+ t12374 = t11437*t11989+t11657*t12294+t12478;
+ t12373 = t10708+t10586+t12629*t11434;
+ t11412 = RATIONAL(5.0,144.0);
+ t12372 = t11660*t12089+t11412*t11790+t12550;
+ t12211 = t11411*t11660;
+ t10967 = t11662*t12211;
+ t12371 = x*t10967+t12211*t12324+t12538;
+ t11149 = t11659*t12206;
+ t11162 = t11663*t12157;
+ t12370 = t11149+t11630*t11790+t11162+t10312;
+ t12369 = t11471*t12273+t11409*t11989+t12527;
+ t11973 = t11662*t12293;
+ t12066 = t11660*t11485;
+ t12368 = t12066*t12324+t11660*t11973+t12563;
+ t12367 = t10677+t11055+t11663*t12170+t11556*t11790;
+ t12366 = t11538*t12280+t11566*t12025+t12492;
+ t12208 = t11503*t11663;
+ t11313 = t11503*t11659;
+ t11957 = x*t11313;
+ t12365 = t12208*t12322+t11663*t11957+t12512;
+ t12364 = t11505*t11989+t12148*t12322+t12527;
+ t12302 = t11478*z;
+ t12282 = x*t12302;
+ t11789 = t11525*t12078;
+ t12363 = t10273+t10110+y*t12282+t11660*t11789;
+ t12316 = x*t11448;
+ t12267 = y*t12316;
+ t11799 = t11500*t12088;
+ t10140 = y*t11799;
+ t11823 = t11551*t12246;
+ t12362 = t11662*t11823+t10140+t11663*t12267+x*t10988;
+ t11439 = RATIONAL(-20.0,27.0);
+ t11591 = RATIONAL(25.0,9.0);
+ t11575 = RATIONAL(-50.0,9.0);
+ t12361 = t11439*t12318+t10722+t11575*t11989+t11591*t12273;
+ t12046 = t11498*t11660;
+ t12266 = z*t12316;
+ t12360 = t11592*t11790+y*t12266+t10204+t11663*t12046;
+ t10979 = t11660*t12208;
+ t12359 = t11522*t11790+t10129+z*t12271+t10979;
+ t12358 = t11127+t11509*t11989+t12478;
+ t11353 = RATIONAL(49.0,288.0);
+ t11527 = RATIONAL(-5.0,48.0);
+ t12008 = t11527*t12313;
+ t12357 = t11353*t11923+t12493+t12309*t12008;
+ t12356 = RATIONAL(-245.0,288.0)*t12031+t11604*t12212+RATIONAL(35.0,32.0)*
+t11790+t12507;
+ t12130 = t11569*t11663;
+ t11184 = y*t12130;
+ t12105 = t11660*t11412;
+ t12355 = t11184+x*t11826+t12105*t12324+t12565;
+ t12248 = t11412*t11663;
+ t11204 = z*t12113;
+ t11862 = t11459*t12088;
+ t10253 = y*t11862;
+ t12354 = t11204+t10603+t10253+t12248*t12322+t11403*t11989;
+ t10850 = t11655*t12041;
+ t12353 = t10641+t11367*t12025+t11243+t10850+t11509*t12280;
+ t11634 = RATIONAL(5.0,2.0);
+ t12195 = t11550*t11663;
+ t12352 = t11660*t12195+RATIONAL(-245.0,216.0)*t12031+t11634*t11790+t12573
+;
+ t12351 = t11621*t12025+t11612*t12280+t9932+t12596;
+ t11842 = t11387*t12078;
+ t9881 = t11659*t11842;
+ t10931 = y*t12048;
+ t12350 = z*t11999+t11574*t12025+t9881+y*t12119+t10931;
+ t11964 = t11612*t12307;
+ t12349 = t11621*t11989+x*t11964+t9942+t12546;
+ t11374 = RATIONAL(-175.0,72.0);
+ t10473 = t11553*t12041;
+ t12348 = t10473+t11541*t12280+t10060+t11374*t12025+t11261;
+ t11207 = z*t12044;
+ t12347 = t11367*t11989+t11207+t11509*t12273+t12494;
+ t11344 = RATIONAL(-245.0,144.0);
+ t11650 = RATIONAL(5.0,3.0);
+ t11622 = RATIONAL(-5.0,6.0);
+ t12346 = t11650*t12025+t11622*t12280+t11344*t11923+t12474;
+ t11070 = t11662*t12219;
+ t12345 = RATIONAL(-25.0,144.0)*t12212+t11337*t12324+t11070+RATIONAL(175.0
+,48.0)*t11790+t10777;
+ t11286 = t11655*t12307;
+ t11493 = RATIONAL(-25.0,72.0);
+ t11979 = t11493*t12313;
+ t11356 = RATIONAL(175.0,72.0);
+ t12344 = t11286+t11356*t12025+z*t11979+t12471;
+ t11445 = RATIONAL(49.0,96.0);
+ t12343 = t11445*t11923+t11482*t12025+z*t11981+t12586;
+ t10942 = t11422*t12318;
+ t12104 = t11497*t11663;
+ t11905 = t11659*t12104;
+ t11992 = x*t12104;
+ t12342 = t10942+y*t11992+x*t11905+t12512;
+ t12125 = t11594*t11659;
+ t11160 = t11663*t12125;
+ t12093 = t11659*t11486;
+ t10940 = z*t12093;
+ t12341 = x*t11160+t10942+t10546+t10495+t10940;
+ t10748 = z*t11793;
+ t12340 = t11499*t12025+t11184+t10864+t10748+t10406;
+ t12174 = t11506*t11663;
+ t10961 = y*t12174;
+ t12339 = t10961+t11595*t12280+t11598*t12025+t12576;
+ t12338 = t11408*t12321+RATIONAL(-25.0,3.0)*t11790+t10000+t11059+RATIONAL(
+25.0,18.0)*t12212;
+ t11572 = RATIONAL(10.0,3.0);
+ t12337 = t11660*t12102+t11572*t11790+t10037+t12540;
+ t9929 = t11384*t12040;
+ t12336 = t12577+t9929+t11353*t11839+t12629*t11527;
+ t10084 = t11440*t12040;
+ t12335 = t11650*t11989+t11622*t12273+t10084+t11344*t11839+t12539;
+ t10977 = t11422*t12319;
+ t12334 = t10977+t11628*t11989+z*t12071+t11652*t12273+t12614;
+ t12333 = t11465*t12280+t11350*t12025+t12501+t12586;
+ t11991 = t11585*t12320;
+ t10494 = t11662*t11991;
+ t12332 = t11199+t10494+t11655*t12318+t10807+t11493*t12273+t11356*t11989;
+ t11182 = t11594*t12212;
+ t11039 = t11659*t12126;
+ t12331 = t9975+t11182+t11039+t11653*t11790+t12540;
+ t11528 = RATIONAL(20.0,9.0);
+ t10477 = t11553*t12040;
+ t12330 = t10659+t11528*t11989+t12150*t12322+t10477+t12546;
+ t12111 = t11594*t11662;
+ t11245 = t11660*t12111;
+ t10690 = t11594*t12280;
+ t12329 = t10690+x*t11245+t12505+t12538;
+ t10701 = t11536*t12040;
+ t11965 = t11499*t12311;
+ t12328 = t10701+t11050+t10834+t11204+t11663*t11965+t10418;
+ t12327 = t11512*t11790+t11149+t11660*t12148+t10660+t12507;
+ t11470 = RATIONAL(-5.0,108.0);
+ t12326 = t12493+t10611+t10618+(t12280+t12025)*t11470;
+ t10775 = t11662*t12001;
+ t12325 = t10775+t11505*t12273+t11444*t11989+t10874+t12539;
+ t11327 = t11523*z;
+ t12305 = z*t11486;
+ t12304 = z*t11586;
+ t11573 = RATIONAL(1.0,12.0);
+ t12299 = x*t11573;
+ t12297 = z*t11474;
+ t12296 = x*t11569;
+ t11601 = RATIONAL(-5.0,24.0);
+ t12292 = x*t11601;
+ t12287 = x*RATIONAL(-5.0,4.0);
+ t12285 = x*t12291;
+ t12283 = t11469*t12322;
+ t12281 = t10701+t11394*t12285;
+ t12278 = t10748+t12123*t12324;
+ t12276 = t10494+y*t11972;
+ t12269 = t11418*t12322;
+ t10741 = t11663*t12017;
+ t12264 = t10762+t10741;
+ t10906 = t11362*t12291;
+ t12227 = t11404*t11663;
+ t12260 = y*t12227+t10906;
+ t11787 = t11438*t12088;
+ t10379 = t11659*t11787;
+ t12257 = t10379+t11663*t11806;
+ t11405 = RATIONAL(49.0,54.0);
+ t12253 = t11405*t11660;
+ t12251 = t10061+t11467*t12039;
+ t10323 = t11659*t11862;
+ t12250 = t10323+t11660*t11992;
+ t12249 = t11595*t11980+t10556;
+ t12247 = t11643*t11661;
+ t12242 = t11663*t12015+t10253;
+ t12240 = t11519*t11660;
+ t11021 = t11660*t12126;
+ t12237 = t10953+t11021;
+ t12236 = t11659+t11662;
+ t11502 = RATIONAL(25.0,72.0);
+ t11963 = t11502*t12294;
+ t12235 = t11660*t11963+t10762;
+ t11087 = t11660*t12305;
+ t12234 = t11007+t11087;
+ t11186 = y*t12162;
+ t12229 = t11589*t12307+t11186;
+ t12225 = t11617*t11661;
+ t11552 = RATIONAL(10.0,9.0);
+ t12222 = t11552*t11660;
+ t12220 = t11662*t11597;
+ t12217 = y*t12279+t10889;
+ t12216 = t11619*t11661;
+ t12213 = t11534*t11659;
+ t11970 = t11577*t12313;
+ t10528 = t11663*t11970;
+ t10158 = t11659*t11796;
+ t12210 = t10528+t10158;
+ t11307 = t11503*t11662;
+ t12207 = t11663*t12243+t10929;
+ t12128 = t11494*t11660;
+ t11048 = t11662*t12128;
+ t12203 = t11039+t11048;
+ t12202 = x*t11082+t10618;
+ t12200 = t10794+t11611*t12321;
+ t12198 = t12219*t12324+t10502;
+ t10414 = t11662*t11984;
+ t12196 = t11661*t12032+t10414;
+ t12194 = t11574*t11980+t10502;
+ t12192 = t11620*t11659;
+ t12188 = t11405*t11663;
+ t10378 = y*t11787;
+ t12183 = t10378+t11663*t12029;
+ t12181 = t11663*t12037+t10732;
+ t12177 = t11659*t11362;
+ t10905 = t11662*t12177;
+ t12180 = t10905+t11659*t12227;
+ t10637 = z*t12013;
+ t12179 = t11488*t12321+t10637;
+ t11428 = RATIONAL(49.0,27.0);
+ t12178 = t11428*t12286+t10473;
+ t12176 = t10775+t11661*t11286;
+ t11156 = t11580*t12294;
+ t10713 = t11660*t11156;
+ t10747 = t11662*t11793;
+ t12171 = t10713+t10747;
+ t11309 = t11407*t11662;
+ t12169 = t11610*t11662;
+ t12168 = t11522*t11661;
+ t11316 = t11501*t11662;
+ t11329 = t11515*t11662;
+ t11328 = t11543*t11662;
+ t11326 = t11523*t11662;
+ t12161 = t11567*t11659;
+ t12159 = t11583*t11660;
+ t11339 = t11635*t11662;
+ t11466 = RATIONAL(-49.0,54.0);
+ t12158 = t11466*t11663;
+ t12151 = z*t12016+t10850;
+ t11041 = t11663*t12093;
+ t12147 = t11041+t10996;
+ t11040 = t11660*t12070;
+ t10168 = t11407*t11790;
+ t12146 = t11040+t10168;
+ t12145 = t11649*t11661;
+ t12143 = t11659*t11451;
+ t11058 = t11660*t12297;
+ t12138 = t11058+t10940;
+ t12134 = t11659*t11615;
+ t11983 = x*t12076;
+ t10295 = t11663*t11983;
+ t12131 = t10600+t10295;
+ t11958 = t11425*t12294;
+ t12129 = t10762+t11660*t11958;
+ t10627 = z*t11827;
+ t10294 = x*t11021;
+ t12124 = t10627+t10294;
+ t12122 = t11466*t11660;
+ t12121 = t11428*t12285+t10477;
+ t10860 = t12216*t12323;
+ t12118 = t10860+t12304*t12322;
+ t12115 = t11660*t11455;
+ t10031 = t11660*t12022;
+ t12109 = t10031+t10747;
+ t12107 = t11564*t11659;
+ t12106 = t11534*t11660;
+ t11132 = t11659*t12300;
+ t12099 = t11660*t12289+t11132;
+ t12007 = t11470*t12294;
+ t10251 = t11660*t12007;
+ t10582 = t11662*t11851;
+ t12095 = t10251+t10582;
+ t12094 = t11451*t11662;
+ t12087 = t11620*t11660;
+ t12084 = t11586*t11663;
+ t12082 = t11457*t11662;
+ t11089 = t11663*t12185;
+ t12077 = t10953+t11089;
+ t12068 = t11362*t11663;
+ t12067 = x*t11182+t10747;
+ t11034 = t11486*t12307;
+ t12065 = t11034+t10997;
+ t12064 = t11662*t12097+t10898;
+ t11627 = RATIONAL(-2.0,3.0);
+ t12063 = t11627*t11661;
+ t12062 = t10726+t12290*t12322;
+ t12061 = t11660*t12048+t10929;
+ t12059 = t11552*t11663;
+ t12052 = t10732+t11489*t12285;
+ t12050 = t10729+x*t11042;
+ t11036 = t11659*t12055;
+ t12047 = t11663*t12153+t11036;
+ t11318 = t11501*t11659;
+ t11322 = t11515*t11659;
+ t11324 = t11580*t11659;
+ t11325 = t11543*t11659;
+ t11332 = t11624*t11659;
+ t11335 = t11619*t11659;
+ t11340 = t11652*t11659;
+ t12028 = t11659*t12298;
+ t12027 = x*t11316;
+ t12026 = t11438*t12320;
+ t11648 = RATIONAL(-5.0,3.0);
+ t11278 = t11648*t12313;
+ t11172 = t11660*t12300;
+ t11117 = y*t12140;
+ t10990 = y*t12070;
+ t12005 = t11528*t12306;
+ t12002 = x*t11309;
+ t11996 = x*t11340;
+ t11516 = RATIONAL(8.0,27.0);
+ t11987 = t11516*t12311;
+ t11971 = t11662*t12301;
+ t11306 = t11628*t12307;
+ t11264 = t11648*t12294;
+ t11241 = t11568*t12307;
+ t11133 = t11578*t12294;
+ t11076 = y*t12073;
+ t11956 = x*t12143;
+ t11952 = t11523*t12307;
+ t9842 = RATIONAL(343.0,576.0)*t11865;
+ t11480 = RATIONAL(-49.0,96.0);
+ t11950 = t9929+t9842+t11480*t11839;
+ t9980 = t11662*t11834;
+ t11949 = t9980+t12610;
+ t9936 = t11368*t12031;
+ t9968 = t11384*t11865;
+ t11948 = t9936+t11039+t9968;
+ t11348 = RATIONAL(245.0,192.0);
+ t9848 = RATIONAL(-343.0,576.0)*t11865;
+ t11947 = t10084+t11348*t11839+t9848;
+ t10349 = t11659*t12027;
+ t11946 = t10917+t10349+t9968;
+ t11945 = t10076+t11346*t11923+t11475*t12056;
+ t11944 = t11318*t12324+t9969+t10919;
+ t11943 = t10701+(t12168+t11901)*y;
+ t11942 = t11557*t11980+t10153+t9982;
+ t11941 = t11355*t11980+z*t12168+t10748;
+ t11939 = t12310*t11663;
+ t11938 = t11355*t11839+t11522*t12088+t10747;
+ t11937 = t10165+t9980+t11557*t11839;
+ t11397 = RATIONAL(49.0,432.0);
+ t11936 = t11070+t11317+t11397*t12263;
+ t11850 = t11414*t12078;
+ t10521 = t11595*t12041;
+ t11935 = t10521+t11659*t11850+t10158;
+ t11098 = t11662*t12085;
+ t11934 = t11098+t11029+t11117;
+ t11933 = t11326+t11149+t11660*t12098;
+ t11932 = t11328+t11059+t11662*t12122;
+ t11931 = t11029+t11324+t11659*t12188;
+ t11008 = t11662*t12156;
+ t11390 = RATIONAL(-49.0,432.0);
+ t11930 = t11316+t11008+t11390*t12262;
+ t10959 = t11415*t12291;
+ t11929 = t11409*t12307+t11337+t10959;
+ t11928 = t11341*t12322+t10494+t10990;
+ t10941 = y*t12305;
+ t11927 = t10941+t12592;
+ t11926 = t10582+t11592*t12056+t11661*t11814;
+ t11925 = t11082+t11579*t12286+t10502;
+ t11924 = t10775+(t12241+t11922)*y;
+ t11920 = t11659*t12248;
+ t11919 = t11130+t11093+t10904;
+ t10392 = z*t12026;
+ t11861 = t11544*t12078;
+ t11918 = y*t11861+t10392+t10253;
+ t10911 = z*t12177;
+ t11917 = t10911+t10917+t11074;
+ t11890 = t11663*t12074;
+ t11916 = t10833+(t12247+t11890)*y;
+ t11915 = t10496+t12511;
+ t11914 = t10956+t10762+t11662*t11996;
+ t10594 = t11531*t12040;
+ t11913 = y*t12238+t10594+t11533*t12038;
+ t11912 = t11117+t10967+t10904;
+ t10789 = t11620*t11865;
+ t11911 = t10789+t12536;
+ t11910 = t11644*t12088+t11563*t11839+t10496;
+ t10910 = t11362*t12323;
+ t11909 = t11076+t10931+t10910;
+ t11908 = t11249+(t11515+t12086)*y;
+ t11906 = t11322+t11240+t11659*t12086;
+ t10915 = y*t12053;
+ t11904 = t10929+t11660*t12167+t10915;
+ t11576 = RATIONAL(-10.0,3.0);
+ t10493 = t11571*t12284;
+ t10489 = t11538*t12040;
+ t11903 = t11576*t12038+t10493+t10489;
+ t11450 = RATIONAL(49.0,18.0);
+ t11902 = t11450*t12038+y*t12145+t10477;
+ t10760 = RATIONAL(64.0,9.0)*t11865;
+ t11900 = t11608*t12056+t11508*t11923+t10760;
+ t11899 = t11523*t11839+t10600+t10601;
+ t11898 = t11510*t12262+t10782+t10915;
+ t11019 = y*t12297;
+ t11897 = t11019+t12513;
+ t11896 = t11325+t11659*t12158+t11059;
+ t11895 = t10980+t11339+t11443*t12262;
+ t11894 = t11106+t11663*t12091+t11335;
+ t11893 = t11320+t11149+t11659*t12058;
+ t11513 = RATIONAL(40.0,9.0);
+ t11891 = t11513*t12038+t10594+t10493;
+ t11889 = t11229+t12604;
+ t10475 = t11567*t12321;
+ t11888 = t10941+t10475+t10468;
+ t11123 = t11663*t11322;
+ t11887 = t10575+t10582+t11661*t11123;
+ t11886 = z*t12145+t10473+t11450*t11980;
+ t11885 = t10455+t11654*t12056+t11603*t11923;
+ t11884 = t11019+t11327*t12322+t10753;
+ t11883 = t11229+t11594*t12321+t10424;
+ t11881 = t11313+t11055+t11044;
+ t11880 = t10455+t12509;
+ t11879 = y*t12009+t10990+t10586;
+ t11878 = t11230+t11579*t12318+t11327;
+ t10948 = RATIONAL(-32.0,27.0)*t12224;
+ t11877 = t11061+t11441*t12263+t10948;
+ t11504 = RATIONAL(-25.0,36.0);
+ t11876 = t11208+t10747+t11504*t12039;
+ t11043 = t11449*t12319;
+ t11151 = t11516*t12323;
+ t11874 = t11043+t11151+t11444*t12318;
+ t11873 = t11332+t11433*t12263+t10948;
+ t11613 = RATIONAL(-56.0,9.0);
+ t11872 = z*t12225+t11613*t11980+t10456;
+ t11871 = t11397*t12262+t11070+t11309;
+ t11870 = y*t12244+t10489+t11435*t12038;
+ t11869 = z*t12154+t11580*t11980+t10850;
+ t11868 = t11093+t10732+t12169*t12322;
+ t11867 = t11025+t11178+t10920;
+ t11864 = t10076+t10483+t11507*t11923;
+ t11863 = y*t12225+t11613*t12038+t10553;
+ t11860 = t11329+t11240+t11660*t12169;
+ t11030 = t11659*t12149;
+ t11859 = t11030+t11036+t10940;
+ t11858 = t11340+t11158+t11659*t12214;
+ t11857 = t11254+t11610*t12318+t11330;
+ t11856 = t11550*t12246;
+ t11855 = t11008+t11318+t11390*t12263;
+ t11854 = t10891+t12630*y;
+ t11853 = t11215+(t11523+t12058)*y;
+ t11852 = t10869+t12567;
+ t11849 = t10869+t12628*t11662;
+ t10377 = z*t11813;
+ t11848 = t10377+t10323+t11659*t11861;
+ t10985 = t11463*t12263;
+ t11847 = t10156+t10158+t11661*t10985;
+ t10457 = y*t11800;
+ t11846 = t10457+t10468+t10414;
+ t11844 = t11501*t11980+z*t12182+t10618;
+ t11462 = RATIONAL(-35.0,24.0);
+ t11843 = t10051+t10791+t11462*t11980;
+ t11169 = t11662*t12204;
+ t11841 = t10911+t10905+t11663*t12143;
+ t11080 = t11660*t12055;
+ t11840 = t10392+t11661*t10961+t10378;
+ t11838 = t11050+t11610*t12286+t10450;
+ t11836 = t11319+t11029+t11662*t12253;
+ t11835 = t11544*t12246;
+ t10901 = y*t12314;
+ t11833 = t11660*t12302+t10902+t10901;
+ t11831 = t11643*t12056+t11659*t11890+t10789;
+ t11830 = t11307+t11055+t10943;
+ t11824 = t10795+(t12247+t11825)*z;
+ t10136 = t11659*t11799;
+ t11821 = t11455*t11839+t10136+t10140;
+ t11818 = t10977+t11498*z+t11426*t12318;
+ t11460 = RATIONAL(35.0,24.0);
+ t11810 = t11460*t11980+t10079+t10801;
+ t11809 = t11551*t12078;
+ t11805 = t11662*t12105;
+ t11259 = t11641*t12263;
+ t11274 = t11663*t12192;
+ t11226 = t11663*t12107;
+ t11802 = t10870+t12628*z;
+ t11012 = t11663*t12066;
+ t11022 = t11659*t12092;
+ t10972 = t11659*t12174;
+ t11801 = t11459*t12078;
+ t11798 = t11520*t12078;
+ t11797 = t11661*t12087;
+ t11794 = t11660*t12132;
+ t11788 = t11643*t12078;
+ t11785 = x*t11939;
+ t11784 = x*t11940;
+ t11783 = t11530*t11661+t11652;
+ t11782 = t11519+t11507*t11661;
+ t11602 = RATIONAL(-1.0,24.0);
+ t11781 = RATIONAL(-1.0,8.0)*t11661+t11602;
+ t11780 = RATIONAL(5.0,16.0)*t11661+t11517;
+ t11778 = t11523+t12045;
+ t11777 = t12239+t11515;
+ t11776 = t11602*t11661+t11595;
+ t11775 = RATIONAL(7.0,8.0)*t11661+t11643;
+ t11774 = t11585+t11535*t11661;
+ t11773 = t11553+RATIONAL(28.0,3.0)*t11661;
+ t11772 = t12190+t11498;
+ t11771 = RATIONAL(-5.0,1.0)*t11661+t11653;
+ t11769 = t11564+t11604*t11661;
+ t11768 = t11527+RATIONAL(35.0,16.0)*t11661;
+ t11767 = t11503+t12168;
+ t11766 = RATIONAL(-49.0,12.0)*t11661+t11536;
+ t11765 = t11543+t12158;
+ t11582 = RATIONAL(1.0,24.0);
+ t11764 = RATIONAL(-7.0,8.0)*t11661+t11582;
+ t11763 = RATIONAL(-35.0,16.0)*t11661+t11622;
+ t11762 = t11600*t11661+t11552;
+ t11761 = RATIONAL(49.0,12.0)*t11661+t11538;
+ t11760 = t12122+t11543;
+ t11759 = RATIONAL(2.0,1.0)*t11661+t11639;
+ t11758 = t11593*t11661+t11577;
+ t11757 = t11467*t11661+t11594;
+ t11637 = RATIONAL(2.0,3.0);
+ t11756 = t11637*t11661+t11619;
+ t10305 = t11660*t12033;
+ t11755 = t10305+t11661*t11259+t10789+x*t11098;
+ t11754 = x*t11064+t10597+t12131;
+ t10088 = t11663*t11882;
+ t10097 = x*t10979;
+ t11753 = t10323+t11498*t12025+t10088+t10097;
+ t11752 = t11662*t11954+t10394+t12470;
+ t10258 = t11659*t11801;
+ t10267 = x*t11012;
+ t11751 = t10258+t10267+t10158+t11418*t12025;
+ t10743 = t11585*t11839;
+ t11750 = t10743+x*t11022+t12109;
+ t10115 = x*t11794;
+ t11749 = t10136+t10115+t11660*t11787+t11448*t11989;
+ t10710 = t11659*t11798;
+ t10124 = x*t11048;
+ t10208 = x*t11051;
+ t11748 = t10710+t10124+t10582+t10208;
+ t11468 = RATIONAL(25.0,96.0);
+ t10351 = t11468*t12039;
+ t11747 = t11660*t11968+t9881+t10690+t9968+t10450+t10351;
+ t9858 = RATIONAL(-350.0,27.0)*t12039;
+ t11746 = t11358*t12280+t10467+t11364*t12025+t9858+t10760+t11560*t11923;
+ t9891 = RATIONAL(-175.0,24.0)*t12039;
+ t11745 = t11548*t12280+t9891+t11385*t12025+t11864;
+ t9962 = RATIONAL(490.0,27.0)*t12039;
+ t11744 = t11389*t12025+t11490*t11923+t11588*t12056+t11161+t10709+t9962;
+ t10426 = t11663*t12008;
+ t11743 = t12189*t12322+t11368*t11989+t10426+t11937;
+ t11742 = x*t11952+t11501*t11989+t10426+t11949;
+ t11741 = t11384*t11839+t9980+t11517*t11989+t10426+t12138;
+ t9947 = RATIONAL(-175.0,18.0)*t12039;
+ t11740 = t10166+t10455+t11433*t12321+RATIONAL(25.0,3.0)*t11790+t9947+
+t10478;
+ t11739 = t12191*t12322+t11395*t11989+t12109+t12494;
+ t11738 = t11660*t11788+t10608+t9924+t11494*t12321+t12171;
+ t11737 = RATIONAL(343.0,216.0)*t12031+RATIONAL(-5.0,2.0)*t11790+t12200+
+t12251;
+ t11736 = t10824+t12075*t12322+t11394*t11989+t10586+t12264;
+ t11735 = t12128*t12324+t11394*t12025+t12264+t12501;
+ t9874 = RATIONAL(245.0,18.0)*t12039;
+ t11734 = t9874+t11539*t12294+t11659*t11140+t11910;
+ t11733 = t9979+t11622*t11790+t12129+t12217;
+ t11732 = t10031+t11133+t11659*t11127+t11938;
+ t11731 = t10741+t11355*t11790+t11663*t12201+t11914;
+ t10655 = t11582*t12039;
+ t11730 = t12046*t12324+t10655+t9968+t11660*t12002+t12565;
+ t11729 = t11241+t11217+t11662*t11979+t10681+t12235;
+ t11728 = x*t11920+t10033+t12234+t12250;
+ t11419 = RATIONAL(-49.0,27.0);
+ t10048 = t11419*t12039;
+ t11727 = x*t12141+t11437*t12025+t10048+t11831;
+ t11726 = t12166*t12324+t10305+t11662*t12020+t11911;
+ t11725 = t10743+x*t11226+t12067+t12234;
+ t11724 = t10528+t11847+t12288*t11940;
+ t11723 = t11172+t11155+t11493*t11989+t10736+t12235;
+ t11722 = t11589*t12025+t10521+t11661*t11905+t12106*t12324+t12095;
+ t11721 = x*t11805+t10088+t12065+t12250;
+ t11720 = t10258+t10897+y*t12068+t11595*t12025+t12210;
+ t11719 = x*t11169+t10520+t12065+t12067;
+ t11718 = x*t12172+t10305+t11509*t12025+t11831;
+ t10591 = x*t11139;
+ t11717 = x*t11090+t10591+z*t11983+t11887;
+ t11716 = t10251+t11887+t11434*t12627;
+ t11477 = RATIONAL(-25.0,48.0);
+ t11715 = t10416+t11477*t11790+t12303*t12322+t10808+t12235;
+ t10374 = t11474*t12039;
+ t11714 = t10374+t10377+t10379+t11661*t10972+(t11971+t12277)*t11660;
+ t11429 = RATIONAL(35.0,27.0);
+ t10325 = t11429*t12039;
+ t11713 = t10869+t11519*t11790+t10243+t10325+t12200;
+ t10191 = t11405*t12039;
+ t11712 = t10191+t11421*t11989+t11156+t11849;
+ t11711 = z*t11995+t11659*t11809+t10133+x*t10958+t12210;
+ t10648 = t11603*t12039;
+ t11710 = t11554*t12025+t11654*t12313+t10648+t11885;
+ t11709 = t11501*t11839+t11525*t12088+x*t12108+t11568*t11989+t12131;
+ t11708 = t11546*t11790+t10335+t12062+t12250;
+ t11707 = t10710+t11465*t12025+t12095+t12226;
+ t11706 = t10446+t11578*t11790+t12062+t12067;
+ t11705 = t10815+t11662*t12021+t12159*t12324+t10850+t12485;
+ t10827 = t11649*t12039;
+ t11704 = t10076+t10827+t11417*t12025+x*t11961+t12471;
+ t10540 = t11660*t12034;
+ t11703 = t11576*t11790+t10540+t10042+t10496+t12217;
+ t10364 = x*t11089;
+ t11702 = t11488*t12273+t10295+t10364+t11899;
+ t10342 = t11477*t12039;
+ t11701 = t10953+t9980+t9984+RATIONAL(35.0,96.0)*t11790+t11663*t12204+
+t10342+t11883;
+ t11700 = t11151+y*t11955+z*t12144+t11374*t11989+t10059+t11153+t10477+
+t12615;
+ t10698 = t11660*t11133;
+ t11699 = t11397*t12031+t10698+t10822+t11565*t12212+t9968+RATIONAL(-5.0,
+32.0)*t11790+t11897;
+ t11698 = t11050+t9842+t11207+t11343*t11839+y*t11982+t10052+t11423*t11989+
+t12588;
+ t11697 = t11019+t10698+t11524*t11790+z*t12269+t10224+t11515*t12212+t11948
+;
+ t10840 = RATIONAL(5.0,8.0)*t12039;
+ t11696 = t9901+t10941+t11082+t11163+t11482*t11989+t11445*t11839+t9848+
+t10840+t11517*t12273;
+ t11695 = t10698+t11012+RATIONAL(-35.0,96.0)*t11790+t11884+t11946;
+ t11694 = t11655*t11989+t10713+t11938+t11640*t12294+t11057+(t12201+t11503)
+*z;
+ t11492 = RATIONAL(-49.0,48.0);
+ t11347 = RATIONAL(343.0,144.0);
+ t11693 = t11662*t11278+t11660*t12287+t11347*t11923+t11492*t12056+t11853+
+t12251;
+ t11692 = x*t11786+t11550*t12313+t11908+t12129+t12620;
+ t11599 = RATIONAL(50.0,9.0);
+ t11559 = RATIONAL(25.0,6.0);
+ t11691 = t11043+t11437*t12318+t11559*t12294+t11641*z+t11599*t11989+t9947+
+t11880;
+ t11690 = t11334+t11599*t12025+t11437*t12307+t10966+t11559*t12313+t9947+
+t11885;
+ t10619 = t11660*t11224;
+ t11689 = z*t12164+t10937+t10901+t10619+t11595*t12273+t11598*t11989+t11937
+;
+ t11688 = t10941+t10953+t11663*t12054+z*t12283+t9915+t11639*t11790+t10637+
+t12547;
+ t11687 = t11347*t11839+t11492*t12088+t11663*t12287+t11659*t11264+t11878+
+t12251;
+ t11686 = t11640*t12313+t11503*y+t11454*t12307+t11042+t11655*t12025+t12171
++t12616;
+ t11685 = t10959+t11439*t12307+t11575*t12025+t11591*t12280+t12461+t12492;
+ t11684 = t12623+t11857+t12129+(t12195+t11815)*x;
+ t11683 = t11439*t12025+x*t12144+t10325+t11852+t11853;
+ t11682 = t11659*t11958+t10066+t11082+t11229+t11228+t10489+t12059*t12322+
+t12510;
+ t11681 = t11070+t10515+t11206+t11601*t11790+t11888+t12547;
+ t11680 = y*t12084+t10748+t11876+t10751+t11186+t11502*t12627;
+ t11679 = t12222*t12324+t10199+t11425*t12025+t11864+t11889;
+ t11678 = x*t12102+t10325+t11439*t11989+t11849+t11878;
+ t10584 = x*t11162;
+ t11677 = t11019+t11470*t11989+y*t12007+t10584+t11899+t12577;
+ t11526 = RATIONAL(-20.0,9.0);
+ t11676 = t11278+t10540+t11526*t12025+t11908+t11915;
+ t11675 = t11264+t11526*t11989+t10540+t11857+t11910;
+ t10562 = x*t11171;
+ t11674 = t10941+t11497*t12025+t12069*t12324+t10562+t11847+t12505;
+ t11673 = t10473+t12240*t12324+t11660*t12005+t10598+t12429+t12596;
+ t11672 = RATIONAL(25.0,48.0)*t11790+t10860+t11008+RATIONAL(25.0,144.0)*
+t12212+t10427+t11615*t12321+t11876;
+ t11671 = t10740+t11077+t11411*t11790+t11914+t11927;
+ t10609 = x*t11236;
+ t11670 = t10906+t10609+t11451*t12307+t10323+t10910+t12563+t12309*t11970;
+ t11669 = t10701+t11660*t12304+t10651+t11132+t11876+t12310*t11963;
+ t11668 = t11660*t12083+t10326+t11240+t10789+t11552*t11790+t12486+t12573;
+ t11667 = t11621*t12212+t11460*t11790+t11059+t10018+t11883+t12510;
+ t11666 = t11008+t11171+t10783+t11462*t11790+t11884+t12483;
+ t11656 = RATIONAL(1.0,8.0);
+ t11645 = RATIONAL(4.0,3.0);
+ t11638 = RATIONAL(-1.0,4.0);
+ t11636 = RATIONAL(-4.0,3.0);
+ t11633 = RATIONAL(-2.0,1.0);
+ t11629 = RATIONAL(5.0,1.0);
+ t11625 = RATIONAL(1.0,2.0);
+ t11609 = RATIONAL(98.0,9.0);
+ t11605 = RATIONAL(-28.0,3.0);
+ t11570 = RATIONAL(-5.0,16.0);
+ t11562 = RATIONAL(25.0,8.0);
+ t11549 = RATIONAL(-25.0,6.0);
+ t11484 = RATIONAL(-80.0,27.0);
+ t11481 = RATIONAL(-25.0,54.0);
+ t11452 = RATIONAL(80.0,27.0);
+ t11446 = RATIONAL(-25.0,96.0);
+ t11416 = RATIONAL(-35.0,27.0);
+ t11413 = RATIONAL(25.0,12.0);
+ t11400 = RATIONAL(175.0,54.0);
+ t11399 = RATIONAL(-392.0,27.0);
+ t11398 = RATIONAL(392.0,27.0);
+ t11396 = RATIONAL(-175.0,54.0);
+ t11391 = RATIONAL(-175.0,96.0);
+ t11388 = RATIONAL(-35.0,432.0);
+ t11382 = RATIONAL(35.0,576.0);
+ t11378 = RATIONAL(196.0,27.0);
+ t11377 = RATIONAL(100.0,27.0);
+ t11375 = RATIONAL(-112.0,27.0);
+ t11373 = RATIONAL(-100.0,27.0);
+ t11372 = RATIONAL(175.0,96.0);
+ t11369 = RATIONAL(200.0,27.0);
+ t11361 = RATIONAL(-196.0,27.0);
+ t11360 = RATIONAL(112.0,27.0);
+ t11359 = RATIONAL(343.0,54.0);
+ t11357 = RATIONAL(-343.0,54.0);
+ t11351 = RATIONAL(35.0,432.0);
+ t11349 = RATIONAL(-200.0,27.0);
+ t11299 = t11641*t12262;
+ t11280 = t11621*t12307;
+ t11271 = t11662*t12087;
+ t11253 = t11660*t12100;
+ t11251 = t11662*t12157;
+ t11247 = t11663*t12134;
+ t11244 = t11659*t12049;
+ t11239 = t11659*t12258;
+ t11223 = t11662*t12054;
+ t11218 = t11663*t12081;
+ t11214 = t11660*t12220;
+ t11205 = t11663*t12161;
+ t11202 = t11662*t12112;
+ t11200 = t11659*t12228;
+ t11193 = t11662*t12113;
+ t11192 = t11662*t12044;
+ t11191 = t11660*t12057;
+ t11188 = t11659*t12130;
+ t11183 = t11659*t12059;
+ t11179 = t11662*t12240;
+ t11176 = t11662*t12184;
+ t11170 = t11659*t12199;
+ t11167 = t11659*t12108;
+ t11154 = t11660*t12206;
+ t11145 = t11662*t12106;
+ t11143 = t11662*t12155;
+ t11135 = t11662*t12080;
+ t11129 = t11662*t12159;
+ t11128 = t11662*t12222;
+ t11121 = t11659*t12084;
+ t11120 = t11659*t12233;
+ t11116 = t11660*t11329;
+ t11113 = t11662*t12259;
+ t11109 = t11659*t12117;
+ t11083 = t11659*t12119;
+ t11075 = t11660*t12082;
+ t11072 = t11662*t12071;
+ t11066 = t11662*t12261;
+ t11063 = t11660*t12090;
+ t11060 = z*t12115;
+ t11054 = t11662*t12115;
+ t11052 = t11441*t12262;
+ t11018 = t11662*t12221;
+ t11017 = t11662*t12230;
+ t11014 = t11662*t12187;
+ t11010 = t11663*t12255;
+ t11001 = y*t12163;
+ t10999 = t11659*t12163;
+ t10995 = t11662*t12152;
+ t10994 = t11408*t12263;
+ t10976 = t11659*t12089;
+ t10975 = t11660*t12094;
+ t10950 = t11662*t12164;
+ t10947 = t11659*t12051;
+ t10945 = t11659*t12232;
+ t10936 = t11660*t12120;
+ t10933 = t11660*t12314;
+ t10928 = t11351*t12263;
+ t10921 = t11660*t12053;
+ t10914 = t11663*t12231;
+ t10909 = t11659*t12068;
+ t10907 = t11382*t12263;
+ t10903 = t11388*t12263;
+ t10899 = t11351*t12262;
+ t10896 = t11388*t12262;
+ t10894 = t11382*t12262;
+ t10893 = t11366*t12263;
+ t10892 = t11663*t11960;
+ t10888 = t11628*t11980;
+ t10885 = t11663*t12012;
+ t10883 = t11662*t11797;
+ t10882 = t11655*t11980;
+ t10873 = t11335*t12324;
+ t10861 = t11338*t12324;
+ t10851 = t11339*t12322;
+ t10844 = t11624*t11839;
+ t10832 = t11618*t11923;
+ t10831 = t11647*t11980;
+ t10830 = y*t11828;
+ t10828 = t11640*t11980;
+ t10826 = t11645*t11980;
+ t10823 = t11618*t11839;
+ t10820 = t11636*t11980;
+ t10818 = t11645*t12038;
+ t10809 = y*t12024;
+ t10805 = t11661*t11306;
+ t10804 = t11636*t12038;
+ t10799 = z*t11797;
+ t10798 = t11641*t11980;
+ t10793 = t11334*t12324;
+ t10788 = y*t11795;
+ t10787 = z*t11996;
+ t10785 = t11333*t12322;
+ t10780 = t11624*t11923;
+ t10778 = t11332*t12324;
+ t10771 = t11661*t11274;
+ t10767 = t11578*t12038;
+ t10765 = t12111*t12322;
+ t10756 = x*t11117;
+ t10749 = t11662*t12270;
+ t10746 = t11616*t12285;
+ t10745 = z*t11856;
+ t10733 = t11326*t12322;
+ t10724 = y*t11798;
+ t10717 = x*t11132;
+ t10716 = t11587*t12286;
+ t10707 = t12100*t12322;
+ t10705 = t11526*t12285;
+ t10704 = y*t11817;
+ t10702 = t11516*t12285;
+ t10694 = t12161*t12324;
+ t10689 = t11583*t12286;
+ t10685 = t11659*t12268;
+ t10679 = x*t11217;
+ t10676 = t11661*t11964;
+ t10675 = x*t11155;
+ t10671 = t11322*t12324;
+ t10668 = t11526*t12286;
+ t10653 = z*t12028;
+ t10650 = y*t12005;
+ t10649 = t11662*t12275;
+ t10644 = x*t11178;
+ t10635 = y*t11809;
+ t10634 = t11604*t11980;
+ t10631 = z*t11835;
+ t10628 = t11662*t11835;
+ t10624 = t11555*t12031;
+ t10621 = t11577*t11980;
+ t10616 = t11537*t12038;
+ t10614 = t11606*t11980;
+ t10613 = t11663*t12036;
+ t10610 = t11578*t11980;
+ t10605 = t11523*t11980;
+ t10604 = t11661*t11952;
+ t10599 = y*t11966;
+ t10595 = t11573*t12038;
+ t10593 = t11515*t11980;
+ t10592 = t12213*t12324;
+ t10587 = t11545*t11839;
+ t10577 = t11587*t12038;
+ t10576 = t11662*t11987;
+ t10569 = t11663*t11984;
+ t10552 = t11558*t12285;
+ t10544 = t11514*t11839;
+ t10541 = t11535*t12038;
+ t10535 = z*t11987;
+ t10532 = y*t12003;
+ t10529 = z*t11823;
+ t10524 = t11325*t12324;
+ t10523 = t12220*t12322;
+ t10517 = t11601*t12038;
+ t10516 = t11601*t11980;
+ t10511 = y*t11978;
+ t10504 = t11552*t12321;
+ t10501 = t12125*t12324;
+ t10500 = y*t11812;
+ t10499 = x*t11153;
+ t10497 = y*t11792;
+ t10488 = t11576*t11980;
+ t10481 = t11572*t12038;
+ t10480 = t11572*t11980;
+ t10472 = t11329*t12322;
+ t10471 = t11513*t12031;
+ t10470 = t11324*t12324;
+ t10465 = y*t11892;
+ t10449 = t11320*t12324;
+ t10448 = t12081*t12324;
+ t10440 = t11612*t11980;
+ t10435 = z*t11974;
+ t10433 = t11663*t11991;
+ t10428 = t11328*t12322;
+ t10422 = t11528*t12286;
+ t10420 = t11540*t11980;
+ t10419 = t11513*t11980;
+ t10410 = t12134*t12324;
+ t10407 = y*t12000;
+ t10405 = t11540*t12038;
+ t10404 = t11661*t11959;
+ t10402 = t11573*t11980;
+ t10398 = t11598*t11980;
+ t10396 = t12107*t12324;
+ t10390 = t11509*t12285;
+ t10389 = t11451*t12321;
+ t10387 = t11662*t11956;
+ t10383 = z*t11956;
+ t10375 = z*t11816;
+ t10373 = t11480*t11923;
+ t10371 = t12094*t12322;
+ t10358 = x*t11057;
+ t10356 = t11472*t11980;
+ t10346 = t11505*t12285;
+ t10332 = z*t11994;
+ t10330 = z*t12004;
+ t10329 = x*t11039;
+ t10327 = t11434*t12031;
+ t10322 = t11307*t12322;
+ t10321 = t11497*t12038;
+ t10320 = t11662*t11957;
+ t10317 = t11455*t11980;
+ t10315 = t11659*t11971;
+ t10314 = z*t12272;
+ t10310 = z*t12014;
+ t10308 = t12060*t12324;
+ t10302 = x*t11000;
+ t10291 = y*t12010;
+ t10286 = t11412*t11980;
+ t10280 = z*t11811;
+ t10278 = t11661*t11805;
+ t10268 = t11421*t12285;
+ t10266 = x*t10977;
+ t10264 = t11461*t12038;
+ t10260 = y*t11801;
+ t10256 = t11406*t12038;
+ t10247 = z*t11957;
+ t10244 = t11660*t11799;
+ t10241 = z*t11962;
+ t10237 = t11510*t11980;
+ t10236 = t11510*t12038;
+ t10234 = z*t11965;
+ t10233 = t11663*t12026;
+ t10232 = t11659*t12266;
+ t10228 = t12156*t12324;
+ t10223 = t11500*t11980;
+ t10221 = t11661*t11920;
+ t10217 = t11659*t12265;
+ t10215 = t11414*t11839;
+ t10198 = z*t11985;
+ t10197 = t11434*t12285;
+ t10195 = t11412*t12038;
+ t10192 = t11662*t12269;
+ t10183 = x*t11093;
+ t10176 = z*t11997;
+ t10171 = t11659*t11973;
+ t10170 = x*t11050;
+ t10167 = t11662*t12283;
+ t10164 = y*t11973;
+ t10162 = t11459*t11980;
+ t10161 = t12127*t12322;
+ t10157 = z*t11975;
+ t10155 = z*t11986;
+ t10149 = t11484*t12285;
+ t10148 = t11463*t12038;
+ t10146 = t12082*t12322;
+ t10145 = t11661*t11076;
+ t10144 = t11311*t12322;
+ t10139 = y*t11971;
+ t10135 = t11659*t12277;
+ t10122 = y*t12002;
+ t10121 = t11416*t12286;
+ t10119 = t11659*t12282;
+ t10117 = t11438*t11980;
+ t10116 = t12175*t12324;
+ t10107 = y*t11875;
+ t10105 = y*t11850;
+ t10103 = y*t12019;
+ t10100 = t11454*t12285;
+ t10087 = t11460*t12038;
+ t10085 = t11425*t12285;
+ t10078 = t11425*t12286;
+ t10075 = t11662*t12267;
+ t10072 = t11419*t12286;
+ t10070 = t11443*t12321;
+ t10067 = t11419*t12285;
+ t10063 = t11429*t12285;
+ t10062 = t11429*t12286;
+ t10053 = t11462*t12038;
+ t10045 = y*t12027;
+ t10039 = t11414*t11980;
+ t10038 = t11484*t12286;
+ t10036 = x*t10990;
+ t10024 = t11416*t12285;
+ t10022 = t11452*t12286;
+ t10019 = z*t12006;
+ t10014 = t11499*t12285;
+ t10006 = t11511*t11980;
+ t10002 = t11495*t12285;
+ t9994 = t12137*t12322;
+ t9993 = t11449*t12031;
+ t9992 = z*t11998;
+ t9991 = t11452*t12285;
+ t9988 = RATIONAL(49.0,864.0)*t12031;
+ t9986 = t11392*t11923;
+ t9981 = t11381*t12286;
+ t9978 = t12116*t12324;
+ t9977 = t11387*t11980;
+ t9974 = z*t11977;
+ t9967 = RATIONAL(-224.0,27.0)*t12031;
+ t9960 = RATIONAL(160.0,27.0)*t12031;
+ t9958 = t11352*t12285;
+ t9954 = t11379*t11980;
+ t9946 = t11403*t11980;
+ t9943 = t11368*t12285;
+ t9935 = y*t11842;
+ t9926 = t11360*t12285;
+ t9919 = y*t11808;
+ t9918 = z*t12011;
+ t9913 = t11663*t11834;
+ t9911 = t11375*t12285;
+ t9909 = t11383*t12285;
+ t9908 = y*t11829;
+ t9905 = t11370*t12038;
+ t9904 = t11360*t12286;
+ t9902 = y*t11968;
+ t9893 = t11660*t11837;
+ t9878 = t11375*t12286;
+ t9876 = t11390*t12031;
+ t9853 = t11345*t11923;
+ t9847 = RATIONAL(245.0,288.0)*t12031;
+ t9845 = t11348*t11923;
+ t9844 = RATIONAL(-343.0,216.0)*t12031;
+ t9843 = RATIONAL(245.0,216.0)*t12031;
+ coeff_dx_m2_m2_m2 = t10947+t11821+(t11448+t11498*t11661)*t12212+t10317+
+t10145+t10135+t10139+(t11053+(t11939+t11940)*t11474)*x+t10315+t11833+t12521+
+t12535+t12557+t12583;
+ coeff_dx_m1_m2_m2 = t10171+t10314+t10164+t11674+t10148+t10157+t11663*
+t12106+t11859+t12146+t12342+t12545;
+ coeff_dx_0_m2_m2 = t11717+t10593+t10329+t10170+t10183+t11652*t11790+
+t12179+t12409+t12602;
+ coeff_dx_p1_m2_m2 = t10995+(t11567+t12216)*t12212+t10605+t12326+t10217+
+t10197+t10604+t10327+t11677+t12518+t12556;
+ coeff_dx_p2_m2_m2 = t10236+t10255+t10320+t10975+t10253+t10247+t10237+
+t11670+t11794+t10322+t11841+t12375+t12562;
+ coeff_dx_p3_m2_m2 = t11714+t10371+t10383+t10389+t10387+t10375+t11503*
+t11790+t11840+t12404;
+ coeff_dx_m2_m1_m2 = t10407+t10215+t10039+t11674+t11066+t10475+t9992+x*
+t11241+t10364+t11846+t12408+t12504+t12555;
+ coeff_dx_m1_m1_m2 = t9986+t9981+t11113+t11701+t11468*t11784+t10765+t10433
++t12459+t12481+t12598+t12610+t12626;
+ coeff_dx_0_m1_m2 = t11733+t10756+t10775+t9978+t10892+t10634+t12371+t12458
+;
+ coeff_dx_p1_m1_m2 = t10746+t12331+t9974+t10885+t11192+t11680+t10745+
+t12347+t12603;
+ coeff_dx_p2_m1_m2 = t11010+t11695+t11017+t10733+t9977+t11944+t12357+
+t12399+t12500;
+ coeff_dx_p3_m1_m2 = t10356+t11708+t10330+t10724+t12050+t12368+t12424;
+ coeff_dx_m2_0_m2 = t11717+t11109+t11776*t11663+((t11523+t12215)*t11663+
+t12309*t11520)*x+t10717+t11818+t12376+t12533+t12534+t12548;
+ coeff_dx_m1_0_m2 = t10716+t11247+t11783*t11663+t11684+t11578*t12042+
+t11860+t12371+t12415+t12606;
+ coeff_dx_0_0_m2 = t10308+t10789+t11663*t12063+t10780+t10048+(t11580+
+t12253)*t12042+t11824+t12374+t12607;
+ coeff_dx_p1_0_m2 = t11587*t12042+t11218+t11756*t11663+t11678+t10310+
+t11802+t11933+t12418+t12431;
+ coeff_dx_p2_0_m2 = t11205+t10873+t11758*t11663+t11540*t12042+t11694+
+t11830+t11941+t12414+t12434;
+ coeff_dx_p3_0_m2 = t11582*t12078+t10294+t10694+t11577*t12042+t11709+
+t11844+t12552+t12559;
+ coeff_dx_m2_p1_m2 = t11205+t10584+t12326+t10278+t11014+t11897+t10675+
+t10600+t10724+(t12252+t11589*y)*t12294+t10286+t12367+t12570+t12595;
+ coeff_dx_m1_p1_m2 = t12327+t9946+t10653+t11218+t11680+t11135+t10649+
+t12349+t12500;
+ coeff_dx_0_p1_m2 = t10241+t10644+t10885+t11713+t12369+t12418+t12489;
+ coeff_dx_p1_p1_m2 = t10749+t11247+t10332+t11251+t10780+t11668+t10892+
+t12325+t11453*t11784+t12481+t12558;
+ coeff_dx_p2_p1_m2 = t11109+t9954+t10787+t10433+t11072+t11671+t12329+
+t10472+t12334;
+ coeff_dx_p3_p1_m2 = t10036+t11716+t10003+t10592+t10280+t11846+t12413+
+t12584;
+ coeff_dx_m2_p2_m2 = t11010+t10917+t10205+t10075+t10631+t11060+t11054+
+t10628+t11670+x*t11034+t11840+t12360+t12597;
+ coeff_dx_m1_p2_m2 = t10236+t11193+t10614+t11697+t10192+t12354+t12357+
+t12603+t12624;
+ coeff_dx_0_p2_m2 = t11738+t10302+t10831+t10604+t12278+t12382+t12434;
+ coeff_dx_p1_p2_m2 = t11688+t11143+t10828+t9918+t10167+t12329+t12389+
+t12598+t12602;
+ coeff_dx_p2_p2_m2 = t9986+t10176+t10950+t10144+t11689+t10148+t11582*
+t11784+t11942+t12359+t12504+t12535;
+ coeff_dx_p3_p2_m2 = t10116+t11724+t10291+t10145+t10529+t12362+t12363;
+ coeff_dx_m2_p3_m2 = t11714+t10244+t10933+t10936+t10223+t10232+x*t11041+
+t11841+t12419;
+ coeff_dx_m1_p3_m2 = t10006+t10019+t11080+t11728+t12368+t12425+t12556;
+ coeff_dx_0_p3_m2 = t11754+t12124+t12202+t12551+t12559;
+ coeff_dx_p1_p3_m2 = t11058+t11063+t11716+t10198+t10574+t11859+t12420+
+t12472;
+ coeff_dx_p2_p3_m2 = t10947+t11724+t10155+t10162+t12064+t12394+t12403;
+ coeff_dx_p3_p3_m2 = t10119+t10117+t11451*t11784+t11749+t12488+t12583;
+ coeff_dx_m2_m2_m1 = t11001+t11888+t10100+t10105+t10999+x*t11172+t12342+
+t11904+t10940+t12124+t10694+t11935+t10562+t12408;
+ coeff_dx_m1_m2_m1 = t9905+t11701+t11468*t11785+t11120+t10501+t10970+t9902
++t12469+t12564+t12585+t12604+t12625;
+ coeff_dx_0_m2_m1 = t10500+t11733+t10799+t10499+t12276+t12384+t12433;
+ coeff_dx_p1_m2_m1 = t11669+t12331+t10497+t11239+t10798+t10685+t9958+
+t12353+t12496;
+ coeff_dx_p2_m2_m1 = t11695+t12336+t10449+t10045+t9935+t11083+t11075+
+t12350+t12508;
+ coeff_dx_p3_m2_m1 = t10146+t11708+t10253+t10107+t10358+t12400+t12423+
+t12475;
+ coeff_dx_m2_m1_m1 = t10893+t11925+t11949+t9876+t11889+t10511+t10517+
+t10516+(RATIONAL(25.0,64.0)*t11661+RATIONAL(25.0,192.0))*t12212+t10342+t12459+
+t12469+t12477+t12502;
+ coeff_dx_m1_m1_m1 = t11022+(RATIONAL(-175.0,64.0)*t11661+RATIONAL(-25.0,
+24.0))*t12212+t11280+t10085+t11197+t9847+((t11391*t11659+t11447*y)*t11663+(
+t11447*z+RATIONAL(125.0,32.0)*t11663+t11391*t11662)*t11660)*x+t10504+t10078+
+t9845+t10087+t11810+t11867+t11947+t12515;
+ coeff_dx_0_m1_m1 = t11745+t10070+t10488+t9844+t10067+t10072+RATIONAL(25.0
+,4.0)*t11790+t11903+t12449;
+ coeff_dx_p1_m1_m1 = t9843+t11700+t10481+t10480+t10063+t10964+t10062+(
+RATIONAL(25.0,24.0)+RATIONAL(-25.0,4.0)*t11661)*t12212+t11912+t12348+t12569;
+ coeff_dx_p2_m1_m1 = t10470+t10894+t10907+t10793+t10053+(RATIONAL(-25.0,
+192.0)+RATIONAL(175.0,64.0)*t11661)*t12212+t11698+t11843+t12379+t12566+t12609;
+ coeff_dx_p3_m1_m1 = t10767+t11747+t10228+t9988+t10610+RATIONAL(-25.0,64.0
+)*t11790+t12052+t12118+t12464;
+ coeff_dx_m2_0_m1 = t11226+(t11655*z+t11536*t11662)*x+t11780*t11663+t11684
++t10535+t11871+t12384+t12435+t12503;
+ coeff_dx_m1_0_m1 = t11745+t10668+t11763*t11663+(t11462*t11662+t11648*z+(
+t11562+t11559*t11659)*t11663)*x+t11932+t12451+t12525+t12530+t12589+t12622;
+ coeff_dx_0_0_m1 = t11629*t12078+t9904+((t11357*t11660+t11450)*t11662+(
+t11554+t11361*t11660)*z)*x+t11734+t12499+t12506+t12532;
+ coeff_dx_p1_0_m1 = (t11461*t11662+t11526*z)*x+t11771*t11663+t11183+t11691
++t10038+t11836+t11872+t12426+t12465;
+ coeff_dx_p2_0_m1 = t11160+t11687+t10861+(t11537*t11662+t11637*z)*x+t11768
+*t11663+t11886+t11930+t12406+t12460;
+ coeff_dx_p3_0_m1 = t10448+t11570*t12078+(t11574*t11662+t11619*z)*x+t11732
++t11869+t12443+t12495;
+ coeff_dx_m2_p1_m1 = t10896+t11160+t10767+t11672+t10440+t10435+t11868+
+t12349+t12353;
+ coeff_dx_m1_p1_m1 = (t11413*y+t11549*t11659)*t12294+t10422+t12348+t10014+
+t11934+t11183+t11874+t10053+t12393+t12482+t12615+t12617;
+ coeff_dx_0_p1_m1 = t9878+t11740+t10481+t12121+t12411+t12465+t12593;
+ coeff_dx_p1_p1_m1 = t12361+t11280+t10419+t12338+t10024+t11903+(t11396*
+t11662+t11373*z)*t12313+t10022+t12461+t12506+t12542+t12589;
+ coeff_dx_p2_p1_m1 = t10899+t11226+t11679+t10428+t10778+t10087+t12335+
+t12345+t12522;
+ coeff_dx_p3_p1_m1 = t10404+t10410+t11715+t10517+t10002+t12385+t12387;
+ coeff_dx_m2_p2_m1 = t11699+t9994+t10907+t11018+t10402+t10107+t11838+
+t12350+t12354;
+ coeff_dx_m1_p2_m1 = t12356+t11919+t10234+t9935+(t11372*t11659+t11446*y)*
+t12294+t9943+t10964+t11950+t12379+t12519+t12582+t12588;
+ coeff_dx_0_p2_m1 = t10497+t11737+t10826+t12178+t12281+t12406+t12442;
+ coeff_dx_p1_p2_m1 = t11022+t10121+t11679+t10500+t9909+t12332+t10820+
+t12352+t12491;
+ coeff_dx_p2_p2_m1 = t11001+t10893+t10524+(t11639*z+t11593*t11662)*t12313+
+t9905+t9845+t10122+t11696+t11898+t12445+t12591+t12592;
+ coeff_dx_p3_p2_m1 = t11743+t10105+t10103+t10420+t12198+t12440+t12448;
+ coeff_dx_m2_p3_m1 = t11083+t10921+t11728+t10592+t12249+t12386+t12400;
+ coeff_dx_m1_p3_m1 = t9936+t10398+t11239+t9893+t11747+t10396+t11446*t11989
++t12099+t12203+t12613;
+ coeff_dx_0_p3_m1 = t10888+t11750+t12151+t12443+t12619;
+ coeff_dx_p1_p3_m1 = t10689+t10882+t11120+t11723+t12237+t12385+t12452;
+ coeff_dx_p2_p3_m1 = t10671+t10999+t11741+t12061+t12194+t12448+t12455;
+ coeff_dx_p3_p3_m1 = t10267+t10266+t10621+(t12290+t12082)*t12313+t11935+
+t12554+t12621;
+ coeff_dx_m2_m2_0 = t11145+t11776*t11660+(t12310*t11520+(t12206+t11523)*
+t11660)*x+t11926+t10591+t11879+t12376+t12409+t12514+t12523+t12528;
+ coeff_dx_m1_m2_0 = t11578*t12043+t11253+t10494+t11692+t11783*t11660+
+t10532+t11906+t12415+t12433+t12618;
+ coeff_dx_0_m2_0 = t10268+t10844+t11660*t12063+(t11580+t12188)*t12043+
+t11727+t11916+t12607;
+ coeff_dx_p1_m2_0 = t11214+t11587*t12043+t11683+t10390+t11756*t11660+
+t11854+t11893+t12431+t12462;
+ coeff_dx_p2_m2_0 = t10809+t11202+t11540*t12043+t11686+t11758*t11660+
+t11881+t11943+t12414+t12416;
+ coeff_dx_p3_m2_0 = t11582*t12246+t10407+t11577*t12043+t11702+t12391+
+t12517+t12552;
+ coeff_dx_m2_m1_0 = t11169+t11780*t11660+(t11536*t11659+t11655*y)*x+t11692
++t10702+t11924+t11936+t12435+t12458;
+ coeff_dx_m1_m1_0 = t11896+t11179+t11763*t11660+t10705+t9891+t11870+(
+t11648*y+t11462*t11659+(t11562+t11559*t11662)*t11660)*x+t11929+t11945+t12449+
+t12451;
+ coeff_dx_0_m1_0 = t11629*t12246+t10587+t9874+t9926+((t11357*t11663+t11450
+)*t11659+(t11554+t11361*t11663)*y)*x+t11913+t11915+t12526+t12532;
+ coeff_dx_p1_m1_0 = t10149+t11128+(t11526*y+t11461*t11659)*x+t11690+t11771
+*t11660+t11863+t11931+t12426+t12467;
+ coeff_dx_p2_m1_0 = t10851+t11768*t11660+t11245+(t11537*t11659+t11637*y)*x
++t11693+t11855+t11902+t12421+t12460;
+ coeff_dx_p3_m1_0 = t10523+t11570*t12246+(t11574*t11659+t11619*y)*x+t11739
++t12392+t12495+t12516;
+ coeff_dx_m2_0_0 = t11727+t11573+t11774*t11663+RATIONAL(1.0,4.0)*t11661+(
+t11639+t12236*t11641)*x+((t11376+t11417*t11661)*t11663+t11774)*t11660+t9993+
+t11858+t12374+t12531;
+ coeff_dx_m1_0_0 = t11734+(t11634+t12236*t11572)*x+RATIONAL(-7.0,4.0)*
+t11661+((RATIONAL(-343.0,36.0)*t11661+t11427)*t11663+t11761)*t11660+t11627+
+t11761*t11663+t10471+t11873+t12511+t12524+t12526;
+ coeff_dx_0_0_0 = t9967+(t11605*t11663+RATIONAL(4.0,1.0)+(t11605+RATIONAL(
+196.0,9.0)*t11663)*t11660)*t11661+(t11614+(t11398*t11659+t11609)*t11663+t12236*
+t11613+(RATIONAL(-686.0,27.0)*t11663+t11609+t11398*t11662)*t11660)*x+t11900+
+t12549;
+ coeff_dx_p1_0_0 = (t11572+t12236*t11513)*x+((RATIONAL(-196.0,9.0)*t11661+
+t11458)*t11663+t11773)*t11660+t9960+t11773*t11663+RATIONAL(-4.0,1.0)*t11661+
+t11637+t11744+t11895+t12396+t12579;
+ coeff_dx_p2_0_0 = (-1.0+t12236*t11636)*x+((RATIONAL(343.0,36.0)*t11661+
+t11402)*t11663+t11766)*t11660+RATIONAL(7.0,4.0)*t11661+t11540+t11766*t11663+
+t10624+t11710+t11894+t12509+t12599+t12605;
+ coeff_dx_p3_0_0 = t10576+(t11640+t12236*t11655)*x+(t11638+t11537*t11663+(
+t11436*t11663+t11537)*t11660)*t11661+t11712+t12567+t12568;
+ coeff_dx_m2_p1_0 = (t12312+t12192)*x+t11769*t11660+t11129+t11683+t10552+
+t11894+t12369+t12405+t12516;
+ coeff_dx_m1_p1_0 = t11782*t11660+t10650+(t11650*y+t11576*t11659)*x+t11690
++t11902+t12411+t12457+t12498+t12579;
+ coeff_dx_0_p1_0 = t11545*t12246+t9911+t10544+((t11399*t11663+t11533)*
+t11659+(t11566+t11378*t11663)*y)*x+t11744+t11863+t12608;
+ coeff_dx_p1_p1_0 = t9991+t11873+t11052+t11762*t11660+t9858+t11900+(t11528
+*y+t11561*t11659+(t11599+t11369*t11662)*t11660)*x+t11913+t11929+t12466+t12468;
+ coeff_dx_p2_p1_0 = t10785+t11176+t11676+(t11645*t11659+t11627*y)*x+t11757
+*t11660+t11858+t11870+t12427+t12444;
+ coeff_dx_p3_p1_0 = t10707+t11856+(t11628*t11659+t11652*y)*x+t11718+t11924
++t12401+t12553;
+ coeff_dx_m2_p2_0 = t11781*t11660+(t11569*y+t11585*t11659)*x+t11116+t11686
++t10679+t11855+t12382+t12410+t12517;
+ coeff_dx_m1_p2_0 = t11271+t10599+t11693+(t11601*y+t11460*t11659)*x+t11775
+*t11660+t11931+t11943+t12417+t12442;
+ coeff_dx_0_p2_0 = t10161+t10823+t11633*t12246+((t11435+t11359*t11663)*
+t11659+t11765*y)*x+t11710+t11854+t12571;
+ coeff_dx_p1_p2_0 = (t11406*t11659+t11612*y)*x+t11299+t11676+t11759*t11660
++t10346+t11896+t11916+t12428+t12463;
+ coeff_dx_p2_p2_0 = t10827+t11223+t11928+t11936+t11764*t11660+(t11573*y+
+t11535*t11659+(t11637*t11662+t11625)*t11660)*x+t11945+t12422+t12432+t12514+
+t12618;
+ coeff_dx_p3_p2_0 = t10669+t11656*t12246+(t12308+t11598*t11659)*x+t11736+
+t12398+t12523+t12594;
+ coeff_dx_m2_p3_0 = t11659*t12296+t11772*t11660+t11754+t11881+t12146+
+t12391+t12572;
+ coeff_dx_m1_p3_0 = t11191+t11659*t12292+t11777*t11660+t11750+t11893+
+t12392+t12456;
+ coeff_dx_0_p3_0 = t10191+t10883+t11643*t12246+t11765*t12311+t11852+t12497
++t12568;
+ coeff_dx_p1_p3_0 = t11154+t12028+t11778*t11660+t11718+t11906+t12430+
+t12476;
+ coeff_dx_p2_p3_0 = t10995+t11659*t12299+t11767*t11660+t11731+t12398+
+t12473+t12528;
+ coeff_dx_p3_p3_0 = t11660*t12182+t10208+(t11595*t11659+(t11577+t12135)*
+t11660)*x+t11926+t12587+t12601;
+ coeff_dx_m2_m2_p1 = t10221+t11202+t10195+t10679+t10976+(t12057+t12289)*
+t12313+t11677+t10592+t12367+t12475+t12513+t12543;
+ coeff_dx_m1_m2_p1 = t12327+t11669+t11214+t11244+t10599+t9919+t10396+
+t12351+t12508;
+ coeff_dx_0_m2_p1 = t10161+t10798+t11713+t12151+t12407+t12462+t12479;
+ coeff_dx_p1_m2_p1 = t11253+t10689+t11453*t11785+t11200+t11668+t10799+
+t10844+t10346+t12377+t12536+t12564+t12590;
+ coeff_dx_p2_m2_p1 = t11145+t10671+t10945+t9908+t11671+t11928+t12341+
+t12397+t12585;
+ coeff_dx_p3_m2_p1 = t10266+t10669+t11722+t10627+t10321+t12245+t12373+
+t12584;
+ coeff_dx_m2_m1_p1 = t11672+t11245+t10903+t10552+t10676+t10610+t11838+
+t12347+t12351;
+ coeff_dx_m1_m1_p1 = t10650+t10234+t11128+t11700+(t11549*t11662+t11413*z)*
+t12313+t9853+t10256+t11843+t12393+t12487+t12537;
+ coeff_dx_0_m1_p1 = t9911+t11740+t10480+t12178+t12436+t12467+t12574;
+ coeff_dx_p1_m1_p1 = t10121+t9991+t10587+t10488+t11179+t11092+(t11396*
+t11659+t11373*y)*t12294+t11685+t11891+t12338+t12515;
+ coeff_dx_p2_m1_p1 = t10785+t11169+t11682+t10524+t10264+t10928+t11810+
+t12345+t12346;
+ coeff_dx_p3_m1_p1 = t10707+t11715+t10775+t10577+t10516+t12198+t12447+
+t12453;
+ coeff_dx_m2_0_p1 = (t11628*z+t11620*t11662)*x+t11769*t11663+t10435+t11678
++t11869+t12405+t12407+t12561+t12599;
+ coeff_dx_m1_0_p1 = t10422+(t11650*z+t11576*t11662)*x+t11782*t11663+t11691
++t10994+t11886+t11895+t12436+t12457;
+ coeff_dx_0_0_p1 = t9962+t11791+t9878+((t11399*t11660+t11533)*t11662+(
+t11566+t11378*t11660)*z)*x+t11872+t12396+t12541+t12608;
+ coeff_dx_p1_0_p1 = t11746+t11762*t11663+(t11528*z+t11561*t11662+(t11369*
+t11659+t11599)*t11663)*x+t10022+t11877+t12468+t12499+t12524+t12525+t12549;
+ coeff_dx_p2_0_p1 = (t11627*z+t11645*t11662)*x+t11757*t11663+t11675+t10778
++t12366+t12444+t12484+t12530+t12531;
+ coeff_dx_p3_0_p1 = t11792+t10410+(t11652*z+t11628*t11662)*x+t11726+t12358
++t12503+t12553;
+ coeff_dx_m2_p1_p1 = t10404+t11176+(RATIONAL(25.0,108.0)+RATIONAL(25.0,
+36.0)*t11661)*t12212+t11911+t10702+t10577+t10535+t9993+t12325+t12377+t12477+
+t12484+t12486;
+ coeff_dx_m1_p1_p1 = t11052+t10668+t10264+t10705+(RATIONAL(-50.0,27.0)+
+RATIONAL(-175.0,36.0)*t11661)*t12212+t10504+t10489+t10471+t11685+t11877+t12361+
+t12522;
+ coeff_dx_0_p1_p1 = t9926+t11746+t10419+t10070+t9904+t9967+RATIONAL(100.0,
+9.0)*t11790+t11891+t12466;
+ coeff_dx_p1_p1_p1 = (RATIONAL(50.0,27.0)+RATIONAL(-100.0,9.0)*t11661)*
+t12212+t9960+t10149+((t11377*y+t11349*t11659)*t11663+(RATIONAL(250.0,27.0)*
+t11663+t11377*z+t11349*t11662)*t11660)*x+t11874+t10994+t10038+t10544+t12487+
+t12498+t12541+t12569+t12574+t12593;
+ coeff_dx_p2_p1_p1 = t10851+t11673+(RATIONAL(-25.0,108.0)+RATIONAL(175.0,
+36.0)*t11661)*t12212+t10861+t11129+t12330+t10624+t10793+t10256+t12482+t12561;
+ coeff_dx_p3_p1_p1 = t10440+t10576+t11705+t10523+t10676+t11504*t11790+
+t10448+t12118+t12364;
+ coeff_dx_m2_p2_p1 = t11223+t11681+t10928+t10420+t10321+t11879+t11925+
+t12389+t12397;
+ coeff_dx_m1_p2_p1 = t11299+t11092+t12332+t11667+t10078+t9908+t10532+
+t12346+t12591;
+ coeff_dx_0_p2_p1 = t11703+t10820+t10072+t10268+t12366+t12463+t12590;
+ coeff_dx_p1_p2_p1 = (t11400*t11659+t11481*y)*t12294+t11271+t11673+t10823+
+t10826+t10390+t10062+t12337+t12479+t12537+t12582;
+ coeff_dx_p2_p2_p1 = t11666+t10809+t10470+t9919+t11116+t10903+(t11643*z+
+t11627*t11662)*t12313+t9853+t12328+t12519+t12543;
+ coeff_dx_p3_p2_p1 = t10407+t10195+t11706+t10228+t10402+t12390+t12395;
+ coeff_dx_m2_p3_p1 = t10995+t10945+t11722+t10621+t10694+t12138+t12372+
+t12472;
+ coeff_dx_m1_p3_p1 = t11154+t11200+t11723+t10501+t12194+t12388+t12453;
+ coeff_dx_0_p3_p1 = t10499+t10882+t11726+t12476+t12612;
+ coeff_dx_p1_p3_p1 = t11244+t11191+t10888+t10883+t10685+t11705+t11481*
+t11989+t12099+t12370;
+ coeff_dx_p2_p3_p1 = t11040+t10449+t10398+t10976+t11725+t12380+t12395;
+ coeff_dx_p3_p3_p1 = t10221+t10358+(t12254+t11422*z)*t12313+t12249+t12470+
+t12529+t12560;
+ coeff_dx_m2_m2_p2 = t11848+t10124+x*t11087+t11918+t9994+t11917+t11909+
+t11075+t10609+t10232+t10375+t12360+t12375;
+ coeff_dx_m1_m2_p2 = t12336+t10019+t11188+t11697+t10465+t10237+t9943+
+t12355+t12496;
+ coeff_dx_0_m2_p2 = t11738+t10830+t10605+t12202+t12281+t12416+t12437;
+ coeff_dx_p1_m2_p2 = t11688+t10788+t10593+t10494+t12333+t11167+t9909+
+t10198+t10970+t12341;
+ coeff_dx_p2_m2_p2 = t10704+t11833+t11582*t11785+t10155+t9980+t10972+
+t12339+t10619+t11904+t10122+t12359+t12545+t12625;
+ coeff_dx_p3_m2_p2 = t11711+t10635+t10317+t10119+t10103+t12363+t12365;
+ coeff_dx_m2_m1_p2 = t11699+t10356+t10894+t10985+t10595+t11868+t12355+
+t12399+t12597;
+ coeff_dx_m1_m1_p2 = t11250+t10014+t11306+t10541+t10373+t9977+(t11372*
+t11662+t11446*z)*t12313+t11698+t11912+t12356+t12624;
+ coeff_dx_0_m1_p2 = t10818+t10745+t11737+t12121+t12278+t12421+t12441;
+ coeff_dx_p1_m1_p2 = t11211+t11682+t10024+t10804+t9918+t10634+t11867+
+t12344+t12352;
+ coeff_dx_p2_m1_p2 = t10176+t11927+t10428+(t11639*y+t11593*t11659)*t12294+
+t10840+t11027+t10616+t11947+t12343+t12445+t12502+t12555+t12626;
+ coeff_dx_p3_m1_p2 = t10116+t10039+t11742+t10405+t10002+t12381+t12440;
+ coeff_dx_m2_0_p2 = (t11585*t11662+t11569*z)*x+t11781*t11663+t11123+t10675
++t11694+t11844+t11930+t12410+t12437;
+ coeff_dx_m1_0_p2 = t11274+t10653+(t11460*t11662+t11601*z)*x+t11687+t11775
+*t11663+t11836+t11941+t12417+t12441;
+ coeff_dx_0_0_p2 = t11633*t12078+t10832+t10241+t10648+((t11435+t11359*
+t11660)*t11662+t11760*z)*x+t11802+t11880+t12571+t12605;
+ coeff_dx_p1_0_p2 = t11259+t10332+(t11612*z+t11406*t11662)*x+t11759*t11663
++t11675+t11824+t11932+t12428+t12450;
+ coeff_dx_p2_0_p2 = t11704+t11233+t11764*t11663+(t11535*t11662+t11573*z+(
+t11625+t11637*t11659)*t11663)*x+t10787+t11818+t11871+t12432+t12606+t12622;
+ coeff_dx_p3_0_p2 = t11656*t12078+t10592+(t11595*z+t11598*t11662)*x+t11735
++t12383+t12533+t12594;
+ coeff_dx_m2_p1_p2 = t10899+t12333+t11233+t11681+t10717+t10511+t10405+
+t10280+t12334;
+ coeff_dx_m1_p1_p2 = t10716+t11259+t10085+t9954+t11667+t12335+t10616+
+t12344+t12542;
+ coeff_dx_0_p1_p2 = t10308+t11703+t10804+t10489+t10067+t12427+t12450+
+t12558;
+ coeff_dx_p1_p1_p2 = t10818+t11274+(t11400*t11662+t11481*z)*t12313+t11934+
+t11306+t12337+t12330+t10063+t10832+t10310+t12429+t12489;
+ coeff_dx_p2_p1_p2 = t9946+t11666+t10896+t10873+(t11627*t11659+t11643*y)*
+t12294+t11123+t10541+t12340+t12566+t12570+t12617;
+ coeff_dx_p3_p1_p2 = t11706+t10595+t10694+t10286+t12052+t12378+t12454;
+ coeff_dx_m2_p2_p2 = t10635+t10100+t9876+t11689+t11027+(RATIONAL(1.0,16.0)
+*t11661+t11592)*t12212+t10529+t9992+t11898+t12339+t12557;
+ coeff_dx_m1_p2_p2 = t9981+t11211+t10704+t10314+t9847+(RATIONAL(-7.0,16.0)
+*t11661+t11647)*t12212+t11696+t9902+t11942+t12343+t12491;
+ coeff_dx_0_p2_p2 = t11704+t10788+t9844+t10828+t9978+t11790+t12179+t12276+
+t12422;
+ coeff_dx_p1_p2_p2 = t11019+t10830+t11250+t11919+t9974+t9843+t12340+t10831
++t9958+(t11640-t11661)*t12212+t12328+t12483+t12518;
+ coeff_dx_p2_p2_p2 = t10614+(RATIONAL(7.0,16.0)*t11661+t11525)*t12212+
+t10045+((t11602*y+t11530*t11659)*t11663+(t11602*z+t11530*t11662+t11638*t11663)*
+t11660)*x+t11909+t10985+t11018+t11060+t10373+t10465+t11944+t11950+t12562+t12609
+;
+ coeff_dx_p3_p2_p2 = t10146+t11730+t10389+t10631+t9988+t10330+RATIONAL(
+-1.0,16.0)*t11790+t11918+t12402;
+ coeff_dx_m2_p3_p2 = t11711+t10135+t10972+t10117+t12061+t12394+t12412;
+ coeff_dx_m1_p3_p2 = t11167+t10162+t11741+t10157+t12237+t12381+t12438;
+ coeff_dx_0_p3_p2 = t10170+t10574+t11735+t12473+t12611;
+ coeff_dx_p1_p3_p2 = t11188+t10627+t10217+t11725+t12203+t12378+t12446;
+ coeff_dx_p2_p3_p2 = t10006+t11730+t9893+t10921+t10933+t10349+t10247+
+t11602*t11989+t11917+t12520;
+ coeff_dx_p3_p3_p2 = t10383+t10097+t10223+(t12167+t12302)*t12313+t11848+
+t12480+t12580;
+ coeff_dx_m2_m2_p3 = t10075+t10975+x*t11080+t10374+t12180+t12183+t12257+
+t12260+t12404+t12419;
+ coeff_dx_m1_m2_p3 = t10995+t11721+t10192+t12147+t12242+t12423+t12425;
+ coeff_dx_0_m2_p3 = t10302+t10457+t11702+t12490+t12551;
+ coeff_dx_p1_m2_p3 = t11040+t10167+t11707+t10724+t12047+t12373+t12420;
+ coeff_dx_p2_m2_p3 = t11720+t10260+t10144+t10909+t12365+t12403+t12521;
+ coeff_dx_p3_m2_p3 = t10291+t10233+t10115+t11451*t11785+t11821+t12488+
+t12575;
+ coeff_dx_m2_m1_p3 = t10914+t10569+t11017+t11721+t12386+t12424+t12595;
+ coeff_dx_m1_m1_p3 = t10981+t10649+t11192+t11446*t12025+t9913+t10351+
+t11948+t12181+t12229+t12464+t12613;
+ coeff_dx_0_m1_p3 = t10805+t10644+t11739+t12600+t12619;
+ coeff_dx_p1_m1_p3 = t10749+t11113+t11729+t12077+t12176+t12447+t12452;
+ coeff_dx_p2_m1_p3 = t11742+t10613+t11066+t10472+t12207+t12439+t12455;
+ coeff_dx_p3_m1_p3 = t10036+t10215+(t11479*y+t12255)*t12294+t11751+t12196+
+t12554;
+ coeff_dx_m2_0_p3 = t11030+t10168+t11662*t12296+t11772*t11663+t11709+
+t11830+t12490+t12572;
+ coeff_dx_m1_0_p3 = t11662*t12292+t11170+t11777*t11663+t11732+t11933+
+t12456+t12600;
+ coeff_dx_0_0_p3 = t11788+t10771+t11760*t12306+t11712+t12497;
+ coeff_dx_p1_0_p3 = t11966+t11121+t11778*t11663+t11755+t11860+t12358+
+t12430;
+ coeff_dx_p2_0_p3 = t10998+t11662*t12299+t11767*t11663+t11731+t12383+
+t12534+t12544;
+ coeff_dx_p3_0_p3 = t11789+(t11595*t11662+(t12161+t11577)*t11663)*x+t11748
++t12548+t12587;
+ coeff_dx_m2_p1_p3 = t10998+t10407+t11072+t11707+t12196+t12372+t12413;
+ coeff_dx_m1_p1_p3 = t11121+t11251+t10765+t11729+t10613+t12387+t12388;
+ coeff_dx_0_p1_p3 = t10756+t11755+t12176+t12401+t12612;
+ coeff_dx_p1_p1_p3 = t11170+t11481*t12025+t11135+t10746+t10771+t10805+
+t12229+t12364+t12370+t12485;
+ coeff_dx_p2_p1_p3 = t11014+t11719+t10733+t11030+t12181+t12380+t12454;
+ coeff_dx_p3_p1_p3 = t10278+t10569+(t12213+t12315)*t12294+t11752+t12050+
+t12560;
+ coeff_dx_m2_p2_p3 = t11720+t10950+t10139+t10233+t12207+t12362+t12412;
+ coeff_dx_m1_p2_p3 = t11743+t10260+t10164+t11143+t12077+t12438+t12439;
+ coeff_dx_0_p2_p3 = t10183+t10724+t11736+t12544+t12611;
+ coeff_dx_p1_p2_p3 = t11193+t10981+t11039+t11719+t10457+t10197+t12390+
+t12446;
+ coeff_dx_p2_p2_p3 = t10322+t11602*t12025+t10914+t10655+t11054+t9913+
+t11946+t12242+t12260+t12402+t12520;
+ coeff_dx_p3_p2_p3 = t10628+t10371+(t12175+t11478*y)*t12294+t11753+t12183+
+t12480;
+ coeff_dx_m2_p3_p3 = t10315+t10909+(t12256+t11404)*t12212+t11749+t12064+
+t12575;
+ coeff_dx_m1_p3_p3 = t11063+t10171+(t12110+t11486)*t12212+t11751+t12047+
+t12621;
+ coeff_dx_0_p3_p3 = t11569*t11790+t10329+t11748+t12601;
+ coeff_dx_p1_p3_p3 = t11080+t10327+(t12186+t11474)*t12212+t11752+t12147+
+t12529;
+ coeff_dx_p2_p3_p3 = t10936+t10320+(t12101+t11362)*t12212+t11753+t12180+
+t12580;
+ coeff_dx_p3_p3_p3 = t10244+t11438*t11790+t10387+(t11035+(t12263+t12262)*
+t11478)*x+t12257;