diff options
Diffstat (limited to 'src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeff-dy.compute.c')
| -rw-r--r-- | src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeff-dy.compute.c | 4279 |
1 files changed, 4279 insertions, 0 deletions
diff --git a/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeff-dy.compute.c b/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeff-dy.compute.c new file mode 100644 index 0000000..7dc9076 --- /dev/null +++ b/src/GeneralizedPolynomial-Uniform/Hermite/3d.coeffs/3d.cube.order3/coeff-dy.compute.c @@ -0,0 +1,4279 @@ +fp t14454, + t14455, + t15061, + t14457, + t14456, + t15054, + t14825, + t14453, + t14201, + t14955, + t14386, + t14941, + t15406, + t14437, + t14930, + t14417, + t14947, + t15405, + t14433, + t14913, + t14451, + t14884, + t15404, + t14934, + t14816, + t15059, + t15029, + t15403, + t14316, + t14920, + t14149, + t14959, + t14599, + t15402, + t15041, + t15037, + t14855, + t14764, + t15401, + t15400, + t14826, + t14424, + t14592, + t14414, + t14944, + t14582, + t13587, + t15399, + t14704, + t15398, + t14306, + t14918, + t13832, + t14379, + t14043, + t13304, + t15397, + t14219, + t14981, + t14598, + t14352, + t15042, + t14795, + t15396, + t14253, + t14883, + t14671, + t13051, + t14304, + t14886, + t14581, + t15395, + t14312, + t15038, + t14012, + t15039, + t15394, + t14355, + t14974, + t14817, + t14956, + t14781, + t14401, + t13236, + t15393, + t14669, + t14252, + t14901, + t14805, + t12959, + t15392, + t14397, + t14448, + t14836, + t15391, + t14348, + t15390, + t14215, + t13766, + t13135, + t14332, + t15389, + t14090, + t14265, + t13794, + t13122, + t15388, + t14279, + t13838, + t14305, + t14971, + t14578, + t13019, + t15387, + t14449, + t15052, + t14809, + t13623, + t14415, + t14858, + t14602, + t15386, + t14363, + t13931, + t13482, + t14263, + t15051, + t14765, + t15385, + t14280, + t14827, + t13854, + t15384, + t14314, + t14026, + t13214, + t14288, + t14924, + t13735, + t13014, + t15383, + t14105, + t14579, + t15382, + t14330, + t13310, + t15031, + t14146, + t15381, + t14371, + t13436, + t14206, + t14606, + t15380, + t14392, + t14820, + t13349, + t14173, + t14684, + t15379, + t14350, + t14383, + t14978, + t13992, + t15378, + t14617, + t13544, + t14823, + t14298, + t15377, + t14245, + t15065, + t14156, + t13727, + t15376, + t14317, + t14023, + t13472, + t14282, + t14870, + t15068, + t15375, + t13900, + t13232, + t15374, + t14157, + t14647, + t12678, + t14186, + t15373, + t14209, + t15050, + t13767, + t14246, + t15372, + t14851, + t13977, + t13376, + t15371, + t14289, + t14837, + t13851, + t15370, + t14174, + t14935, + t14608, + t14318, + t15369, + t13382, + t14443, + t15368, + t14164, + t15367, + t14413, + t14131, + t14315, + t14841, + t15366, + t14216, + t14853, + t13825, + t14446, + t14130, + t14780, + t15365, + t14204, + t13763, + t15364, + t14351, + t14998, + t14753, + t12812, + t15363, + t14337, + t14667, + t14441, + t14898, + t14059, + t15362, + t14384, + t14380, + t14889, + t13945, + t15063, + t15361, + t14273, + t14865, + t14268, + t15064, + t13776, + t15360, + t14226, + t14148, + t14876, + t13717, + t15359, + t14411, + t14888, + t14801, + t14407, + t15358, + t14881, + t13805, + t14162, + t14743, + t15357, + t15356, + t14225, + t15355, + t14344, + t14679, + t15354, + t14127, + t14405, + t15353, + t14118, + t14373, + t15352, + t14232, + t14594, + t14242, + t14778, + t15351, + t14331, + t14234, + t12937, + t15350, + t15040, + t13798, + t15349, + t14203, + t15348, + t14135, + t15049, + t15347, + t14120, + t14260, + t15346, + t14309, + t14122, + t13986, + t14821, + t13423, + t15345, + t13517, + t14613, + t15344, + t13811, + t14313, + t15343, + t14104, + t14191, + t15342, + t14852, + t14121, + t15341, + t13925, + t14923, + t14635, + t13299, + t15340, + t14255, + t15070, + t13626, + t15339, + t15338, + t14262, + t14178, + t12772, + t15337, + t14361, + t14997, + t14782, + t13211, + t14368, + t14584, + t15336, + t14954, + t14587, + t12960, + t15335, + t15045, + t13831, + t14362, + t15053, + t14038, + t15334, + t14958, + t14057, + t14925, + t14607, + t13591, + t15333, + t14160, + t13631, + t15332, + t14357, + t14949, + t15331, + t15044, + t13733, + t14375, + t14952, + t13906, + t15330, + t14922, + t13964, + t14358, + t15062, + t15023, + t15329, + t13862, + t14963, + t15328, + t14083, + t15327, + t14341, + t14980, + t14033, + t14390, + t15326, + t14181, + t14658, + t14872, + t14683, + t12782, + t15325, + t15002, + t13980, + t14224, + t13858, + t15324, + t14874, + t13997, + t15323, + t14422, + t13672, + t14398, + t14871, + t14663, + t15322, + t14783, + t13673, + t14377, + t15069, + t15036, + t15321, + t14179, + t14342, + t14807, + t15320, + t13554, + t15319, + t13801, + t14328, + t15318, + t14294, + t14864, + t14808, + t12994, + t14345, + t14622, + t15317, + t14283, + t14842, + t13883, + t14182, + t15316, + t14217, + t14761, + t13266, + t15315, + t13837, + t14859, + t15314, + t14429, + t14129, + t14237, + t15313, + t13736, + t14202, + t15312, + t14589, + t15311, + t14213, + t13675, + t15310, + t13519, + t15309, + t14404, + t15308, + t13809, + t14372, + t13990, + t13537, + t15307, + t14247, + t14435, + t13648, + t15306, + t13582, + t15305, + t15005, + t15304, + t14292, + t14912, + t14796, + t14672, + t13152, + t15303, + t14107, + t14220, + t14834, + t13774, + t15302, + t15301, + t14891, + t14621, + t14188, + t14835, + t13714, + t12757, + t15300, + t14259, + t14790, + t15299, + t13166, + t15298, + t15048, + t14008, + t15297, + t14391, + t14857, + t14010, + t15296, + t14830, + t13818, + t14110, + t15295, + t14269, + t14140, + t15294, + t14211, + t12939, + t15293, + t15292, + t13680, + t14176, + t15291, + t14334, + t13937, + t12714, + t15290, + t14583, + t15289, + t15288, + t14862, + t14123, + t15287, + t14819, + t13446, + t15027, + t15286, + t14374, + t14434, + t14903, + t14074, + t15285, + t14109, + t15284, + t13021, + t15283, + t14661, + t15282, + t15281, + t14189, + t13691, + t12759, + t14631, + t15280, + t13711, + t14218, + t15279, + t14939, + t13901, + t15046, + t13708, + t15278, + t14159, + t13722, + t14251, + t15277, + t14229, + t14420, + t14848, + t15276, + t14243, + t13768, + t14238, + t15275, + t13725, + t14297, + t14111, + t14746, + t15274, + t14908, + t15273, + t15272, + t15271, + t13924, + t15270, + t14210, + t13974, + t15016, + t15269, + t14307, + t14325, + t14824, + t13539, + t15268, + t13773, + t15267, + t14212, + t13101, + t15266, + t14896, + t13808, + t14270, + t14879, + t15265, + t13430, + t14228, + t14929, + t13786, + t15264, + t14787, + t13429, + t15263, + t14200, + t13622, + t15262, + t15261, + t14387, + t13251, + t15260, + t14655, + t12706, + t15259, + t14917, + t13656, + t15258, + t14302, + t14839, + t15257, + t15017, + t13625, + t14395, + t15256, + t14115, + t15028, + t13551, + t15255, + t13401, + t14869, + t14580, + t15254, + t12807, + t15253, + t15252, + t13300, + t14335, + t14785, + t15251, + t14418, + t14132, + t14227, + t15250, + t14596, + t15249, + t13976, + t15248, + t13822, + t13375, + t15247, + t14198, + t13706, + t15246, + t14114, + t15245, + t14850, + t13965, + t15244, + t14577, + t14136, + t14789, + t13603, + t15243, + t15242, + t13913, + t15055, + t14099, + t15241, + t15240, + t12645, + t15239, + t12946, + t15238, + t14221, + t12910, + t15237, + t14962, + t14759, + t13501, + t15057, + t15236, + t14389, + t14822, + t13403, + t15025, + t15235, + t13778, + t14797, + t15234, + t14831, + t13751, + t14075, + t15233, + t14847, + t14875, + t13896, + t15232, + t15231, + t14084, + t15230, + t13668, + t14410, + t15020, + t15229, + t14966, + t14609, + t14085, + t15228, + t13849, + t14177, + t14804, + t15227, + t13842, + t15226, + t14868, + t13709, + t14249, + t14942, + t15225, + t15224, + t14339, + t13260, + t15223, + t15222, + t14409, + t14838, + t14028, + t15221, + t13871, + t15220, + t14660, + t15219, + t14840, + t13962, + t13418, + t15014, + t15218, + t13744, + t15217, + t14300, + t14921, + t13770, + t15216, + t14327, + t14412, + t14985, + t15215, + t14235, + t15067, + t14349, + t13293, + t15214, + t14932, + t13859, + t14742, + t15213, + t12741, + t14175, + t14388, + t15035, + t13512, + t15212, + t13921, + t15211, + t12739, + t15066, + t14788, + t14969, + t13272, + t15210, + t14365, + t14161, + t15209, + t13698, + t13600, + t15208, + t14144, + t14293, + t15207, + t14926, + t15206, + t12934, + t15205, + t13865, + t14291, + t15204, + t14670, + t14311, + t14902, + t14887, + t15203, + t14290, + t13817, + t14125, + t14747, + t13641, + t15202, + t15004, + t14360, + t13198, + t15201, + t14030, + t14961, + t15200, + t13370, + t15199, + t14285, + t15198, + t14933, + t14287, + t14750, + t15197, + t13769, + t15011, + t15196, + t12884, + t14067, + t14366, + t15195, + t14326, + t13289, + t14336, + t15194, + t14197, + t13696, + t14381, + t13540, + t15193, + t14170, + t13660, + t15192, + t12791, + t14762, + t13835, + t14829, + t15191, + t13316, + t13978, + t15190, + t13872, + t13070, + t15189, + t13301, + t15188, + t14276, + t14992, + t14793, + t13339, + t15187, + t14187, + t15186, + t14400, + t14664, + t13527, + t14815, + t15185, + t14230, + t14261, + t12889, + t14347, + t15003, + t15184, + t14832, + t14600, + t14806, + t15183, + t12932, + t15182, + t13616, + t14165, + t15181, + t15180, + t14319, + t14272, + t15043, + t15179, + t13948, + t13548, + t15178, + t14303, + t15047, + t14786, + t13064, + t15177, + t14576, + t15176, + t13595, + t15175, + t14301, + t12816, + t15174, + t13450, + t15173, + t14620, + t12723, + t15172, + t13604, + t14299, + t15056, + t14798, + t14965, + t15171, + t15170, + t14354, + t14152, + t14158, + t15169, + t14394, + t14195, + t14180, + t15168, + t14768, + t13996, + t15167, + t13856, + t14845, + t13863, + t15000, + t14752, + t15166, + t14738, + t13542, + t15165, + t14586, + t13181, + t14777, + t15164, + t13664, + t15163, + t14250, + t13759, + t15162, + t14740, + t13590, + t15161, + t15160, + t14811, + t14951, + t14792, + t14675, + t12768, + t15159, + t13649, + t15158, + t15157, + t14324, + t14799, + t13486, + t15156, + t14616, + t15155, + t15154, + t15153, + t14885, + t13347, + t15152, + t13915, + t15151, + t13979, + t15150, + t13431, + t15149, + t15034, + t15148, + t14771, + t13499, + t15015, + t15147, + t14205, + t13753, + t15146, + t14976, + t14860, + t13699, + t15145, + t13319, + t15144, + t13690, + t14894, + t15143, + t13959, + t14763, + t13467, + t15142, + t13556, + t14843, + t14767, + t13756, + t13285, + t15141, + t15140, + t14892, + t15139, + t13667, + t15138, + t14914, + t13949, + t14748, + t13252, + t15137, + t14772, + t14915, + t13830, + t15136, + t14267, + t14863, + t12988, + t15135, + t13970, + t15134, + t15058, + t14770, + t13103, + t14685, + t13377, + t15133, + t13804, + t14214, + t14867, + t15132, + t13732, + t14897, + t14773, + t13066, + t14208, + t15131, + t15130, + t15129, + t15128, + t14810, + t15127, + t15126, + t15125, + t15124, + t14970, + t15123, + t15012, + t15122, + t15121, + t15030, + t15120, + t14904, + t14077, + t14408, + t15119, + t14447, + t14137, + t15118, + t13779, + t15117, + t14814, + t14196, + t15116, + t14907, + t13754, + t15032, + t15115, + t14741, + t15114, + t14369, + t14233, + t14385, + t15113, + t15022, + t13549, + t15112, + t14744, + t15111, + t14231, + t15110, + t13624, + t15109, + t15108, + t15107, + t15106, + t14284, + t14183, + t14882, + t15105, + t13757, + t13178, + t14911, + t15104, + t14406, + t14758, + t13546, + t15103, + t14296, + t15102, + t14256, + t14119, + t13432, + t15101, + t14873, + t15100, + t14017, + t15099, + t15098, + t14150, + t14079, + t15097, + t14877, + t14818, + t13411, + t15096, + t15095, + t13908, + t15094, + t15093, + t15092, + t14444, + t14416, + t14138, + t15091, + t14991, + t13321, + t14168, + t15090, + t13337, + t15089, + t14866, + t13994, + t14428, + t15088, + t14248, + t14774, + t13151, + t15087, + t15086, + t14147, + t14321, + t15085, + t13058, + t14346, + t15084, + t14861, + t13758, + t15083, + t14029, + t15082, + t14037, + t14619, + t15081, + t14745, + t13543, + t15080, + t15079, + t12771, + t14739, + t15078, + t13533, + t15077, + t15076, + t14239, + t15075, + t14264, + t15074, + t15073, + t14045, + t15072, + t13334, + t14322, + t15071, + t15060, + t14112, + t15033, + t15026, + t15024, + t15021, + t15019, + t15018, + t15013, + t13557, + t13374, + t15010, + t15009, + t13187, + t15008, + t14593, + t13049, + t14757, + t15007, + t15006, + t13493, + t13843, + t13104, + t15001, + t14999, + t14124, + t13412, + t14996, + t13358, + t14995, + t14994, + t14993, + t14990, + t12834, + t13864, + t14989, + t13177, + t14988, + t14987, + t14126, + t14986, + t14893, + t13726, + t14984, + t14983, + t14982, + t14979, + t14977, + t14975, + t13147, + t14973, + t13353, + t14972, + t14968, + t13952, + t14967, + t14895, + t14769, + t13400, + t13422, + t14964, + t14222, + t14960, + t14957, + t14953, + t14950, + t14948, + t14946, + t14945, + t14943, + t14940, + t14938, + t13357, + t14937, + t14936, + t14611, + t14931, + t12933, + t14928, + t13938, + t14927, + t14919, + t14916, + t14910, + t14909, + t14880, + t12992, + t14906, + t14905, + t13850, + t13000, + t13966, + t13395, + t14900, + t14899, + t14101, + t14295, + t14102, + t13002, + t14890, + t14133, + t14117, + t14878, + t14856, + t14854, + t14849, + t14846, + t14844, + t14421, + t14833, + t14828, + t14108, + t13815, + t14813, + t14803, + t14802, + t14800, + t13867, + t14794, + t13764, + t14791, + t14784, + t14779, + t14776, + t14775, + t14766, + t14760, + t14310, + t14756, + t14755, + t14754, + t14749, + t14442, + t14091, + t14737, + t14736, + t13077, + t14735, + t14139, + t12928, + t14734, + t14733, + t13877, + t13951, + t14732, + t14731, + t14257, + t13861, + t12874, + t14730, + t14729, + t14728, + t14338, + t14727, + t13880, + t14726, + t12927, + t14725, + t13833, + t14724, + t14184, + t14723, + t14722, + t14721, + t14720, + t14719, + t14718, + t14717, + t14716, + t14715, + t14714, + t13687, + t14713, + t14712, + t13752, + t14711, + t14710, + t14329, + t13550, + t14709, + t14708, + t14707, + t14706, + t14705, + t14703, + t14702, + t14701, + t14615, + t13570, + t14700, + t13972, + t14699, + t14320, + t14698, + t14697, + t14696, + t14695, + t14694, + t14693, + t14692, + t14199, + t14691, + t14690, + t14689, + t14688, + t14244, + t14687, + t14686, + t12938, + t14682, + t14681, + t14680, + t14678, + t14677, + t14676, + t14674, + t13419, + t14673, + t14668, + t14666, + t13247, + t14665, + t14662, + t14659, + t14046, + t14657, + t14656, + t14274, + t12638, + t14654, + t14653, + t14652, + t14651, + t14649, + t13907, + t14648, + t14646, + t14645, + t14644, + t14643, + t14642, + t12997, + t14641, + t13496, + t14640, + t14639, + t14610, + t14638, + t14637, + t14636, + t14634, + t14633, + t14632, + t13886, + t14630, + t14629, + t14628, + t14627, + t13878, + t13823, + t14624, + t13918, + t14254, + t14623, + t13950, + t13870, + t13902, + t13782, + t13852, + t13783, + t13740, + t13749, + t14618, + t14614, + t13704, + t14612, + t14605, + t14604, + t14603, + t14370, + t14601, + t13233, + t14308, + t14597, + t12897, + t14595, + t14591, + t14590, + t14588, + t14098, + t14575, + t14574, + t14573, + t14396, + t14571, + t14570, + t14569, + t14568, + t14567, + t14566, + t14565, + t14564, + t14563, + t14562, + t14561, + t14560, + t14559, + t14557, + t14376, + t14556, + t14555, + t14554, + t14553, + t14431, + t14552, + t14551, + t14550, + t12956, + t14549, + t14548, + t14547, + t12830, + t14546, + t14545, + t13061, + t12822, + t14544, + t14543, + t14542, + t13230, + t14541, + t14540, + t12836, + t14539, + t13096, + t14538, + t12666, + t14537, + t14536, + t14535, + t14534, + t13378, + t14533, + t14532, + t14531, + t14530, + t14529, + t14528, + t14527, + t14526, + t14525, + t13479, + t14524, + t14523, + t14522, + t12711, + t14521, + t14520, + t12779, + t14519, + t14518, + t14517, + t14516, + t14515, + t13185, + t14514, + t14513, + t13277, + t14512, + t14511, + t14510, + t12716, + t14509, + t14508, + t14223, + t12867, + t14507, + t14506, + t13494, + t14505, + t13421, + t14504, + t12832, + t14503, + t14502, + t14501, + t14500, + t13227, + t14499, + t14498, + t12696, + t14497, + t14496, + t14241, + t12904, + t14495, + t14494, + t14493, + t14492, + t14491, + t14490, + t14489, + t14286, + t14141, + t14440, + t14488, + t14487, + t14486, + t14485, + t14484, + t14483, + t14482, + t14481, + t14480, + t14479, + t14478, + t14477, + t14476, + t14475, + t14353, + t14393, + t14474, + t14473, + t14472, + t14471, + t12708, + t14470, + t12949, + t14469, + t14468, + t14467, + t14466, + t14465, + t13569, + t14464, + t14463, + t14462, + t14461, + t14460, + t14450, + t14439, + t14432, + t14430, + t14423, + t14419, + t14403, + t14399, + t14378, + t14367, + t14356, + t14343, + t14278, + t14277, + t14275, + t14240, + t14236, + t14207, + t14194, + t14193, + t14192, + t14190, + t14185, + t14172, + t14171, + t14169, + t14167, + t14166, + t14163, + t14155, + t14154, + t14153, + t14151, + t14145, + t14143, + t14142, + t14089, + t14076, + t14073, + t14055, + t14036, + t14034, + t14021, + t14009, + t14002, + t13993, + t13988, + t13983, + t13973, + t13967, + t13954, + t13944, + t13941, + t13939, + t13935, + t13930, + t13929, + t13926, + t13922, + t13920, + t13905, + t13894, + t13866, + t13857, + t13847, + t13841, + t13839, + t13836, + t13834, + t13826, + t13824, + t13820, + t13816, + t13806, + t13800, + t13795, + t13792, + t13781, + t13780, + t13747, + t13743, + t13734, + t13730, + t13729, + t13723, + t13721, + t13716, + t13715, + t13713, + t13712, + t13703, + t13702, + t13695, + t13694, + t13689, + t13685, + t13682, + t13681, + t13677, + t13669, + t13666, + t13659, + t13655, + t13643, + t13640, + t13636, + t13633, + t13628, + t13617, + t13614, + t13613, + t13611, + t13610, + t13606, + t13601, + t13599, + t13596, + t13594, + t13586, + t13581, + t13579, + t13578, + t13573, + t13567, + t13562, + t13560, + t13558, + t13553, + t13547, + t13545, + t13538, + t13536, + t13522, + t13520, + t13515, + t13507, + t13505, + t13495, + t13492, + t13481, + t13476, + t13471, + t13469, + t13465, + t13459, + t13449, + t13442, + t13439, + t13435, + t13433, + t13428, + t13426, + t13424, + t13415, + t13413, + t13407, + t13406, + t13394, + t13390, + t13384, + t13383, + t13372, + t13369, + t13361, + t13356, + t13354, + t13350, + t13346, + t13345, + t13342, + t13341, + t13338, + t13335, + t13332, + t13329, + t13325, + t13320, + t13312, + t13311, + t13309, + t13306, + t13305, + t13295, + t13290, + t13286, + t13284, + t13283, + t13281, + t13278, + t13276, + t13273, + t13271, + t13265, + t13263, + t13257, + t13255, + t13254, + t13253, + t13245, + t13243, + t13240, + t13239, + t13235, + t13223, + t13222, + t13219, + t13217, + t13207, + t13201, + t13200, + t13196, + t13195, + t13188, + t13186, + t13183, + t13180, + t13176, + t13159, + t13154, + t13149, + t13146, + t13145, + t13142, + t13141, + t13140, + t13137, + t13131, + t13128, + t13113, + t13107, + t13102, + t13097, + t13095, + t13093, + t13088, + t13084, + t13081, + t13078, + t13071, + t13069, + t13068, + t13062, + t13057, + t13050, + t13047, + t13037, + t13032, + t13025, + t13015, + t13005, + t13004, + t13001, + t12998, + t12996, + t12995, + t12990, + t12989, + t12987, + t12983, + t12979, + t12976, + t12974, + t12972, + t12963, + t12958, + t12952, + t12950, + t12945, + t12940, + t12936, + t12926, + t12925, + t12923, + t12917, + t12902, + t12896, + t12894, + t12893, + t12890, + t12888, + t12882, + t12878, + t12869, + t12868, + t12866, + t12865, + t12861, + t12860, + t12855, + t12854, + t12853, + t12851, + t12850, + t12845, + t12833, + t12821, + t12820, + t12819, + t12810, + t12804, + t12797, + t12796, + t12790, + t12780, + t12777, + t12773, + t12767, + t12761, + t12760, + t12746, + t12744, + t12733, + t12729, + t12727, + t12725, + t12722, + t12720, + t12717, + t12707, + t12700, + t12697, + t12691, + t12682, + t12681, + t12676, + t12674, + t12670, + t12668, + t12657, + t12647, + t12646, + t12644, + t12643, + t12640, + t12636; + t14454 = x*x; + t14455 = x*t14454; + t15061 = t14455+x; + t14457 = z*z; + t14456 = t14457*z; + t15054 = t14456+z; + t14825 = y*t15061; + t14453 = y*y; + t14201 = RATIONAL(-7.0,144.0); + t14955 = t14453*t14201; + t14386 = RATIONAL(1.0,48.0); + t14941 = t14386*t14453; + t15406 = t14941+t14457*t14955; + t14437 = RATIONAL(1.0,3.0); + t14930 = t14453*t14437; + t14417 = RATIONAL(-7.0,9.0); + t14947 = t14453*t14417; + t15405 = t14457*t14947+t14930; + t14433 = RATIONAL(-1.0,3.0); + t14913 = t14433*t14453; + t14451 = RATIONAL(7.0,9.0); + t14884 = t14451*t14453; + t15404 = t14457*t14884+t14913; + t14934 = t14457*t14455; + t14816 = y*t14934; + t15059 = y*t14457; + t15029 = x*t15059; + t15403 = t14816+t15029; + t14316 = RATIONAL(7.0,48.0); + t14920 = t14316*t14453; + t14149 = RATIONAL(-49.0,144.0); + t14959 = t14454*t14453; + t14599 = t14149*t14959; + t15402 = t14599+t14920; + t15041 = y*t14454; + t15037 = z*t15041; + t14855 = t14454*t14456; + t14764 = y*t14855; + t15401 = t14764+t15037; + t15400 = t14913+t14454*t14884; + t14826 = y*t15054; + t14424 = RATIONAL(-5.0,9.0); + t14592 = t14424*t14959; + t14414 = RATIONAL(4.0,9.0); + t14944 = t14414*t14455; + t14582 = t14453*t14944; + t13587 = z*t14582; + t15399 = z*t14592+t13587; + t14704 = t14453*t14855; + t15398 = t14456*t14930+t14417*t14704; + t14306 = RATIONAL(35.0,72.0); + t14918 = t14306*t14457; + t13832 = t14455*t14918; + t14379 = RATIONAL(-7.0,36.0); + t14043 = t14379*t14855; + t13304 = t14453*t14043; + t15397 = t13304+y*t13832; + t14219 = RATIONAL(35.0,36.0); + t14981 = t14454*t14457; + t14598 = t14219*t14981; + t14352 = RATIONAL(-8.0,27.0); + t15042 = y*t14456; + t14795 = t14352*t15042; + t15396 = t14455*t14795+t14453*t14598; + t14253 = RATIONAL(7.0,576.0); + t14883 = t14253*t14453; + t14671 = t14455*t14883; + t13051 = z*t14671; + t14304 = RATIONAL(-7.0,288.0); + t14886 = t14304*t14457; + t14581 = t14453*t14886; + t15395 = t13051+t14455*t14581; + t14312 = RATIONAL(-70.0,9.0); + t15038 = y*t14312; + t14012 = t14457*t15038; + t15039 = y*RATIONAL(-35.0,6.0); + t15394 = t14457*t15039+t14455*t14012; + t14355 = RATIONAL(-40.0,9.0); + t14974 = t14453*t14457; + t14817 = x*t14974; + t14956 = t14456*t14453; + t14781 = x*t14956; + t14401 = RATIONAL(32.0,9.0); + t13236 = t14401*t14781; + t15393 = t14355*t14817+t13236; + t14669 = t14457*t14959; + t14252 = RATIONAL(98.0,27.0); + t14901 = t14456*t14455; + t14805 = y*t14901; + t12959 = t14252*t14805; + t15392 = t12959+RATIONAL(-35.0,3.0)*t14669; + t14397 = RATIONAL(-49.0,9.0); + t14448 = RATIONAL(7.0,3.0); + t14836 = t14453*t14448; + t15391 = t14456*t14836+t14397*t14704; + t14348 = RATIONAL(28.0,9.0); + t15390 = t14448*t15059+t14348*t14816; + t14215 = RATIONAL(-14.0,27.0); + t13766 = t14215*t14901; + t13135 = y*t13766; + t14332 = RATIONAL(14.0,9.0); + t15389 = t13135+t14332*t14669; + t14090 = t14417*t14981; + t14265 = RATIONAL(14.0,27.0); + t13794 = t14265*t14901; + t13122 = y*t13794; + t15388 = t14453*t14090+t13122; + t14279 = RATIONAL(5.0,288.0); + t13838 = t14279*t14981; + t14305 = RATIONAL(-7.0,576.0); + t14971 = t14453*t14455; + t14578 = t14305*t14971; + t13019 = t14456*t14578; + t15387 = t13019+y*t13838; + t14449 = RATIONAL(2.0,9.0); + t15052 = z*t14453; + t14809 = t14449*t15052; + t13623 = t14455*t14809; + t14415 = RATIONAL(5.0,9.0); + t14858 = t14457*t14415; + t14602 = t14453*t14858; + t15386 = t13623+t14455*t14602; + t14363 = RATIONAL(1.0,36.0); + t13931 = t14363*t14855; + t13482 = t14453*t13931; + t14263 = RATIONAL(-5.0,216.0); + t15051 = y*t14263; + t14765 = t14455*t15051; + t15385 = t13482+t14457*t14765; + t14280 = RATIONAL(-1.0,216.0); + t14827 = t14280*t14456; + t13854 = t14455*t14827; + t15384 = t14279*t14805+t13854; + t14314 = RATIONAL(-1.0,36.0); + t14026 = t14314*t14855; + t13214 = t14453*t14026; + t14288 = RATIONAL(7.0,216.0); + t14924 = t14455*t14288; + t13735 = t14457*t14924; + t13014 = y*t13735; + t15383 = t13214+t13014; + t14105 = t14201*t14456; + t14579 = t14454*t14105; + t15382 = t14453*t14579+t14456*t14941; + t14330 = RATIONAL(7.0,36.0); + t13310 = t14330*t14781; + t15031 = x*t15042; + t14146 = RATIONAL(-35.0,216.0); + t15381 = t13310+t14146*t15031; + t14371 = RATIONAL(1.0,72.0); + t13436 = t14371*t14781; + t14206 = RATIONAL(5.0,144.0); + t14606 = t14206*t14959; + t15380 = t13436+t14456*t14606; + t14392 = RATIONAL(7.0,72.0); + t14820 = t14392*t15052; + t13349 = t14455*t14820; + t14173 = RATIONAL(35.0,144.0); + t14684 = t14453*t14934; + t15379 = t13349+t14173*t14684; + t14350 = RATIONAL(-5.0,72.0); + t14383 = RATIONAL(1.0,27.0); + t14978 = t14456*t14383; + t13992 = x*t14978; + t15378 = t13992+t14350*t14855; + t14617 = t14453*t14901; + t13544 = t14330*t14617; + t14823 = y*t14981; + t14298 = RATIONAL(-25.0,36.0); + t15377 = t13544+t14298*t14823; + t14245 = RATIONAL(1.0,864.0); + t15065 = z*t14455; + t14156 = RATIONAL(-1.0,1728.0); + t13727 = t14156*t15065; + t15376 = t13727+t14245*t14934; + t14317 = RATIONAL(1.0,18.0); + t14023 = t14317*t14855; + t13472 = t14453*t14023; + t14282 = RATIONAL(-7.0,216.0); + t14870 = t14282*t14457; + t15068 = x*y; + t15375 = t13472+t14870*t15068; + t13900 = t14363*t14934; + t13232 = t14453*t13900; + t15374 = t13232+t14263*t14764; + t14157 = RATIONAL(49.0,576.0); + t14647 = t14157*t14956; + t12678 = x*t14647; + t14186 = RATIONAL(-49.0,288.0); + t15373 = t12678+t14186*t14704; + t14209 = RATIONAL(16.0,27.0); + t15050 = x*t14456; + t13767 = t14209*t15050; + t14246 = RATIONAL(80.0,27.0); + t15372 = t13767+t14246*t15031; + t14851 = t14330*t14457; + t13977 = t14455*t14851; + t13376 = t14453*t13977; + t15371 = t13376+y*t14043; + t14289 = RATIONAL(-7.0,108.0); + t14837 = t14289*t14457; + t13851 = t14455*t14837; + t15370 = t13482+y*t13851; + t14174 = RATIONAL(49.0,144.0); + t14935 = t14174*t14453; + t14608 = t14454*t14935; + t14318 = RATIONAL(-7.0,48.0); + t15369 = t14456*t14608+t14318*t14956; + t13382 = t14379*t14781; + t14443 = RATIONAL(-7.0,6.0); + t15368 = t13382+t14443*t14704; + t14164 = RATIONAL(-35.0,192.0); + t15367 = t13349+t14164*t14684; + t14413 = RATIONAL(-1.0,9.0); + t14131 = t14413*t14456; + t14315 = RATIONAL(7.0,27.0); + t14841 = t14315*t14456; + t15366 = t14454*t14841+t14131; + t14216 = RATIONAL(1.0,108.0); + t14853 = t14456*t14216; + t13825 = t14455*t14853; + t14446 = RATIONAL(1.0,9.0); + t14130 = t14446*t14456; + t14780 = y*t14130; + t15365 = t13825+t14455*t14780; + t14204 = RATIONAL(35.0,54.0); + t13763 = t14204*t14855; + t15364 = t13763+t13766; + t14351 = RATIONAL(-7.0,96.0); + t14998 = t14305*t14453; + t14753 = z*t14998; + t12812 = x*t14753; + t15363 = t14351*t14817+t12812; + t14337 = RATIONAL(7.0,18.0); + t14667 = t14337*t14959; + t14441 = RATIONAL(-1.0,6.0); + t14898 = t14441*t14453; + t14059 = z*t14898; + t15362 = z*t14667+t14059; + t14384 = RATIONAL(-5.0,54.0); + t14380 = RATIONAL(2.0,27.0); + t14889 = t14380*t14456; + t13945 = x*t14889; + t15063 = x*t14457; + t15361 = t14384*t15063+t13945; + t14273 = RATIONAL(-1.0,108.0); + t14865 = t14454*t14273; + t14268 = RATIONAL(1.0,216.0); + t15064 = z*t14268; + t13776 = t14455*t15064; + t15360 = t13776+z*t14865; + t14226 = RATIONAL(7.0,864.0); + t14148 = RATIONAL(-7.0,1728.0); + t14876 = t14456*t14148; + t13717 = t14455*t14876; + t15359 = t14226*t14855+t13717; + t14411 = RATIONAL(8.0,3.0); + t14888 = t14411*t14453; + t14801 = z*t14959; + t14407 = RATIONAL(-56.0,9.0); + t15358 = t14407*t14801+z*t14888; + t14881 = t14282*t14455; + t13805 = t14456*t14881; + t14162 = RATIONAL(35.0,288.0); + t14743 = t14162*t15042; + t15357 = t13805+t14455*t14743; + t15356 = t13805+t14146*t14805; + t14225 = RATIONAL(70.0,27.0); + t15355 = t14225*t14805+t13794; + t14344 = RATIONAL(-5.0,12.0); + t14679 = t14344*t14974; + t15354 = t13623+t14455*t14679; + t14127 = t14446*t14455; + t14405 = RATIONAL(-7.0,27.0); + t15353 = t14127+t14405*t14934; + t14118 = t14317*t14456; + t14373 = RATIONAL(-7.0,54.0); + t15352 = t14118+t14373*t14855; + t14232 = RATIONAL(-1.0,576.0); + t14594 = t14232*t14959; + t14242 = RATIONAL(1.0,432.0); + t14778 = t14242*t15059; + t15351 = t14456*t14594+t14455*t14778; + t14331 = RATIONAL(7.0,12.0); + t14234 = RATIONAL(-49.0,72.0); + t12937 = t14234*t14781; + t15350 = t14331*t14817+t12937; + t15040 = t14273*x; + t13798 = t14268*t15050; + t15349 = t14457*t15040+t13798; + t14203 = RATIONAL(-28.0,27.0); + t15348 = t14203*t15063+t14414*x; + t14135 = t14414*z; + t15049 = z*t14454; + t15347 = t14135+t14203*t15049; + t14120 = t14337*t14455; + t14260 = RATIONAL(-49.0,54.0); + t15346 = t14120+t14260*t14934; + t14309 = RATIONAL(-1.0,18.0); + t14122 = t14309*t14455; + t13986 = t14457*t14122; + t14821 = t14363*t15052; + t13423 = t14455*t14821; + t15345 = t14453*t13986+t13423; + t13517 = x*t14821; + t14613 = t14309*t14959; + t15344 = t13517+z*t14613; + t13811 = t14209*t15065; + t14313 = RATIONAL(-10.0,9.0); + t15343 = t14313*t14934+t13811; + t14104 = t14201*t14455; + t14191 = RATIONAL(49.0,432.0); + t15342 = t14104+t14191*t14934; + t14852 = t14260*t14454; + t14121 = t14337*t14456; + t15341 = t14456*t14852+t14121; + t13925 = t14379*t14934; + t14923 = t14330*t14454; + t14635 = t14453*t14923; + t13299 = t14456*t14635; + t15340 = t13299+y*t13925; + t14255 = RATIONAL(-35.0,18.0); + t15070 = x*z; + t13626 = t14947*t15070; + t15339 = t13626+t14255*t14817; + t15338 = t15406*x; + t14262 = RATIONAL(25.0,96.0); + t14178 = RATIONAL(-49.0,576.0); + t12772 = t14178*t14617; + t15337 = t14262*t14823+t12772; + t14361 = RATIONAL(1.0,54.0); + t14997 = t14361*t14455; + t14782 = y*t14997; + t13211 = t14456*t14782; + t14368 = RATIONAL(-7.0,72.0); + t14584 = t14368*t14959; + t15336 = t13211+t14457*t14584; + t14954 = RATIONAL(-5.0,192.0)*t14453; + t14587 = t14457*t14954; + t12960 = t14226*t14805; + t15335 = t14454*t14587+t12960; + t15045 = t14216*z; + t13831 = t14455*t15045; + t14362 = RATIONAL(-1.0,27.0); + t15053 = z*t14362; + t14038 = t14455*t15053; + t15334 = t13831+y*t14038; + t14958 = t14424*t14457; + t14057 = x*t14958; + t14925 = t14414*t14456; + t14607 = t14453*t14925; + t13591 = x*t14607; + t15333 = t14453*t14057+t13591; + t14160 = RATIONAL(-35.0,576.0); + t13631 = RATIONAL(49.0,1728.0)*t14901; + t15332 = t13631+t14160*t14934; + t14357 = RATIONAL(49.0,9.0); + t14949 = t14453*RATIONAL(-7.0,3.0); + t15331 = t14456*t14949+t14357*t14704; + t15044 = x*t14280; + t13733 = z*t15044; + t14375 = RATIONAL(5.0,72.0); + t14952 = t14454*t14375; + t13906 = t14457*t14952; + t15330 = t13733+y*t13906; + t14922 = t14362*t14456; + t13964 = x*t14922; + t14358 = RATIONAL(5.0,36.0); + t15062 = y*t14358; + t15023 = x*t15062; + t15329 = t13964+t14456*t15023; + t13862 = z*t14924; + t14963 = t14350*t14454; + t15328 = t13862+z*t14963; + t14083 = t14454*t14858; + t15327 = t13135+t14453*t14083; + t14341 = RATIONAL(-2.0,27.0); + t14980 = t14341*t14456; + t14033 = x*t14980; + t14390 = RATIONAL(5.0,54.0); + t15326 = t14033+t14390*t15063; + t14181 = RATIONAL(35.0,192.0); + t14658 = t14181*t14974; + t14872 = t14453*t14178; + t14683 = t14456*t14872; + t12782 = x*t14683; + t15325 = x*t14658+t12782; + t15002 = t14456*t14405; + t13980 = x*t15002; + t14224 = RATIONAL(-35.0,54.0); + t13858 = t14224*t14855; + t15324 = t13980+t13858; + t14874 = t14383*t14455; + t13997 = z*t14874; + t15323 = t13997+t14350*t14934; + t14422 = RATIONAL(-2.0,9.0); + t13672 = t14422*t14781; + t14398 = RATIONAL(5.0,12.0); + t14871 = t14454*t14398; + t14663 = t14453*t14871; + t15322 = t14456*t14663+t13672; + t14783 = t14422*t15052; + t13673 = x*t14783; + t14377 = RATIONAL(5.0,27.0); + t15069 = y*z; + t15036 = t14377*t15069; + t15321 = t13673+x*t15036; + t14179 = RATIONAL(245.0,72.0); + t14342 = RATIONAL(35.0,9.0); + t14807 = t14342*t15041; + t15320 = z*t14807+t14179*t14764; + t13554 = t14392*t14781; + t15319 = t13554+t14164*t14704; + t13801 = x*t14853; + t14328 = RATIONAL(-1.0,54.0); + t15318 = t14328*t14855+t13801; + t14294 = RATIONAL(1.0,576.0); + t14864 = t14294*t14453; + t14808 = z*t14864; + t12994 = x*t14808; + t14345 = RATIONAL(1.0,96.0); + t14622 = t14345*t14974; + t15317 = t12994+x*t14622; + t14283 = RATIONAL(7.0,108.0); + t14842 = t14456*t14283; + t13883 = t14455*t14842; + t14182 = RATIONAL(-35.0,432.0); + t15316 = t13883+t14182*t14855; + t14217 = RATIONAL(35.0,48.0); + t14761 = t14373*t15042; + t13266 = t14455*t14761; + t15315 = t14217*t14669+t13266; + t13837 = x*t14827; + t14859 = t14216*t14457; + t15314 = x*t14859+t13837; + t14429 = RATIONAL(8.0,9.0); + t14129 = t14429*t14455; + t14237 = RATIONAL(-56.0,27.0); + t15313 = t14129+t14237*t14934; + t13736 = RATIONAL(32.0,27.0)*t14901; + t14202 = RATIONAL(-40.0,27.0); + t15312 = t13736+t14202*t14855; + t14589 = t14232*t14971; + t15311 = t14457*t14589+t14242*t14764; + t14213 = RATIONAL(-49.0,27.0); + t13675 = t14456*t14582; + t15310 = t14213*t14823+t13675; + t13519 = t14363*t14781; + t15309 = t14456*t14613+t13519; + t14404 = RATIONAL(7.0,54.0); + t15308 = t14404*t14934+t14122; + t13809 = x*t15064; + t14372 = RATIONAL(5.0,24.0); + t13990 = t14372*t15059; + t13537 = t14454*t13990; + t15307 = t13809+t13537; + t14247 = RATIONAL(25.0,54.0); + t14435 = RATIONAL(-4.0,9.0); + t13648 = t14435*t14617; + t15306 = t14247*t14823+t13648; + t13582 = t14435*t14781; + t15305 = x*t14602+t13582; + t15005 = t14318*t14453; + t15304 = (t14608+t15005)*z; + t14292 = RATIONAL(1.0,144.0); + t14912 = t14292*t14457; + t14796 = y*t14912; + t14672 = t14305*t14956; + t13152 = t14454*t14672; + t15303 = t14455*t14796+t13152; + t14107 = t14292*t14455; + t14220 = RATIONAL(-7.0,432.0); + t14834 = t14220*t14455; + t13774 = t14457*t14834; + t15302 = t14107+t13774; + t15301 = t14375*t14934+t14038; + t14891 = t14398*t14453; + t14621 = t14457*t14891; + t14188 = RATIONAL(-49.0,216.0); + t14835 = t14456*t14188; + t13714 = t14455*t14835; + t12757 = y*t13714; + t15300 = t14454*t14621+t12757; + t14259 = RATIONAL(5.0,108.0); + t14790 = t14259*t15059; + t15299 = t13214+t14455*t14790; + t13166 = t14883*t15070; + t15298 = t13166+x*t14581; + t15048 = t14383*x; + t14008 = z*t15048; + t15297 = t14008+RATIONAL(-25.0,27.0)*t14823; + t14391 = RATIONAL(-4.0,27.0); + t14857 = t14391*t14455; + t14010 = t14456*t14857; + t15296 = t14010+t14377*t14934; + t14830 = t14220*t14456; + t13818 = t14454*t14830; + t14110 = t14292*t14456; + t15295 = t13818+t14110; + t14269 = RATIONAL(49.0,48.0); + t14140 = RATIONAL(-343.0,144.0); + t15294 = t14140*t14684+t14269*t14971; + t14211 = RATIONAL(49.0,36.0); + t12939 = t14211*t14617; + t15293 = t14443*t14823+t12939; + t15292 = t14269*t14956+t14140*t14704; + t13680 = RATIONAL(-49.0,1728.0)*t14901; + t14176 = RATIONAL(35.0,576.0); + t15291 = t14176*t14855+t13680; + t14334 = RATIONAL(-1.0,12.0); + t13937 = t14334*t15059; + t12714 = t14157*t14617; + t15290 = t12714+t14454*t13937; + t14583 = t14454*t14955; + t15289 = (t14941+t14583)*z; + t15288 = t15402*t14456; + t14862 = t14373*t14457; + t14123 = t14317*t14455; + t15287 = t14455*t14862+t14123; + t14819 = t14371*t15052; + t13446 = x*t14819; + t15027 = t14328*t15069; + t15286 = x*t15027+t13446; + t14374 = RATIONAL(-7.0,18.0); + t14434 = RATIONAL(1.0,6.0); + t14903 = t14434*t14453; + t14074 = z*t14903; + t15285 = t14074+t14374*t14801; + t14109 = t14292*z; + t15284 = t14220*t15049+t14109; + t13021 = z*t14578; + t15283 = t13021+t14351*t14684; + t14661 = t14337*t14974; + t15282 = (t14898+t14661)*x; + t15281 = t14434*t14684+t13423; + t14189 = RATIONAL(49.0,216.0); + t13691 = t14189*t14901; + t12759 = y*t13691; + t14631 = t14457*t14898; + t15280 = t12759+t14454*t14631; + t13711 = x*t14876; + t14218 = RATIONAL(5.0,576.0); + t15279 = t14218*t15063+t13711; + t14939 = t14314*t14457; + t13901 = t14454*t14939; + t15046 = x*t14156; + t13708 = z*t15046; + t15278 = t13708+y*t13901; + t14159 = RATIONAL(7.0,1728.0); + t13722 = t14159*t15050; + t14251 = RATIONAL(-7.0,864.0); + t15277 = t14251*t14855+t13722; + t14229 = RATIONAL(-49.0,18.0); + t14420 = RATIONAL(7.0,6.0); + t14848 = t14453*t14420; + t15276 = x*t14848+t14229*t14817; + t14243 = RATIONAL(-16.0,27.0); + t13768 = t14243*t15065; + t14238 = RATIONAL(20.0,27.0); + t15275 = t14238*t15049+t13768; + t13725 = t14156*t14901; + t14297 = RATIONAL(-1.0,144.0); + t14111 = t14297*t14456; + t14746 = y*t14111; + t15274 = t14455*t14746+t13725; + t14908 = t14220*t14457; + t15273 = (t14292+t14908)*x; + t15272 = RATIONAL(224.0,27.0)*t14805+RATIONAL(-140.0,9.0)*t14669; + t15271 = t15404*t14455; + t13924 = t14330*t14855; + t15270 = t13924+t13714; + t14210 = RATIONAL(-35.0,27.0); + t13974 = t14405*t15065; + t15016 = y*t15065; + t15269 = t14210*t15016+t13974; + t14307 = RATIONAL(40.0,9.0); + t14325 = RATIONAL(-32.0,9.0); + t14824 = z*t14971; + t13539 = t14325*t14824; + t15268 = t14307*t14801+t13539; + t13773 = t14288*t15050; + t15267 = x*t14939+t13773; + t14212 = RATIONAL(-5.0,288.0); + t13101 = t14457*t14671; + t15266 = t14212*t14764+t13101; + t14896 = t14273*t14455; + t13808 = z*t14896; + t14270 = RATIONAL(5.0,432.0); + t14879 = t14270*t14454; + t15265 = t13808+z*t14879; + t13430 = t14314*t14617; + t14228 = RATIONAL(5.0,216.0); + t14929 = t14454*t14228; + t13786 = t14457*t14929; + t15264 = t13430+y*t13786; + t14787 = y*t14978; + t13429 = t14455*t14787; + t15263 = t14454*t14908+t13429; + t14200 = RATIONAL(35.0,18.0); + t13622 = t14884*t15070; + t15262 = t13622+t14200*t14817; + t15261 = t13382+t14456*t14667; + t14387 = RATIONAL(-7.0,24.0); + t13251 = t14404*t14805; + t15260 = t13251+t14387*t14669; + t14655 = t14157*t14971; + t12706 = z*t14655; + t15259 = t12706+t14186*t14684; + t14917 = t14413*t14453; + t13656 = t14917*t15070; + t15258 = t13656+t14372*t14817; + t14302 = RATIONAL(-112.0,9.0); + t14839 = t14453*RATIONAL(16.0,3.0); + t15257 = t14455*t14839+t14302*t14684; + t15017 = x*t15052; + t13625 = t14446*t15017; + t14395 = RATIONAL(-5.0,24.0); + t15256 = t13625+t14395*t14801; + t14115 = t14309*z; + t15028 = y*t14115; + t13551 = x*t14820; + t15255 = t13551+x*t15028; + t13401 = t14455*t14819; + t14869 = t14206*t14457; + t14580 = t14455*t14869; + t15254 = t13401+t14453*t14580; + t12807 = t14251*t14805; + t15253 = t14454*t14622+t12807; + t15252 = t14149*t14684+t14455*t14920; + t13300 = t14348*t14617; + t14335 = RATIONAL(-25.0,9.0); + t14785 = t14335*t15059; + t15251 = t14454*t14785+t13300; + t14418 = RATIONAL(-8.0,9.0); + t14132 = t14418*t14456; + t14227 = RATIONAL(56.0,27.0); + t15250 = t14132+t14227*t14855; + t14596 = t14457*t14935; + t15249 = t14318*t14971+t14455*t14596; + t13976 = x*t15053; + t15248 = t13976+RATIONAL(-25.0,16.0)*t14823; + t13822 = t14306*t14855; + t13375 = t14453*t13925; + t15247 = y*t13822+t13375; + t14198 = RATIONAL(1.0,1728.0); + t13706 = t14198*t15065; + t15246 = t13706+t14107*t15069; + t14114 = t14309*t14456; + t15245 = t14114+t14404*t14855; + t14850 = t14454*t14384; + t13965 = t14455*t14889; + t15244 = t14456*t14850+t13965; + t14577 = t14415*t14959; + t14136 = t14435*z; + t14789 = t14453*t14136; + t13603 = t14455*t14789; + t15243 = z*t14577+t13603; + t15242 = (t15005+t14596)*x; + t13913 = x*t14841; + t15055 = t14422*x; + t14099 = t14457*t15055; + t15241 = t13913+t14099; + t15240 = t15406*t14455; + t12645 = RATIONAL(-343.0,576.0)*t14617; + t15239 = t12645+RATIONAL(5.0,8.0)*t14823; + t12946 = t14234*t14824; + t15238 = t12946+t14120*t15069; + t14221 = RATIONAL(-98.0,27.0); + t12910 = t14221*t14805; + t15237 = t12910+RATIONAL(14.0,3.0)*t14669; + t14962 = t14314*t14453; + t14759 = z*t14962; + t13501 = x*t14759; + t15057 = y*t14228; + t15236 = t13501+t15057*t15070; + t14389 = RATIONAL(-1.0,72.0); + t14822 = t14389*t15052; + t13403 = x*t14822; + t15025 = t14361*t15068; + t15235 = t13403+z*t15025; + t13778 = t14268*t14901; + t14797 = t14455*t15057; + t15234 = t13778+t14456*t14797; + t14831 = t14204*t14457; + t13751 = t14455*t14831; + t14075 = t14435*t14855; + t15233 = y*t13751+t14453*t14075; + t14847 = t14454*t14390; + t14875 = t14341*t14455; + t13896 = z*t14875; + t15232 = t13896+z*t14847; + t15231 = t15405*t14455; + t14084 = t14435*t14934; + t15230 = y*t13763+t14453*t14084; + t13668 = x*t14809; + t14410 = RATIONAL(-5.0,27.0); + t15020 = t14410*t15068; + t15229 = t13668+z*t15020; + t14966 = t14374*t14457; + t14609 = t14453*t14966; + t14085 = x*t14903; + t15228 = t14085+x*t14609; + t13849 = t14288*t14901; + t14177 = RATIONAL(35.0,216.0); + t14804 = t14177*t15042; + t15227 = t13849+t14455*t14804; + t13842 = t14289*t14855; + t15226 = t13232+y*t13842; + t14868 = t14159*t14455; + t13709 = z*t14868; + t14249 = RATIONAL(-1.0,288.0); + t14942 = t14249*t14454; + t15225 = t13709+z*t14942; + t15224 = t14374*t15041+t14215*t14764; + t14339 = RATIONAL(20.0,3.0); + t13260 = t14325*t14781; + t15223 = t13260+t14339*t14704; + t15222 = t14350*t15063+t13773; + t14409 = RATIONAL(4.0,27.0); + t14838 = t14409*t14455; + t14028 = t14456*t14838; + t15221 = t14028+t14410*t14855; + t13871 = t14282*t15050; + t15220 = t13871+t14375*t15063; + t14660 = t14173*t14959; + t15219 = t14456*t14660+t13554; + t14840 = t14317*t14457; + t13962 = t14455*t14840; + t13418 = t14453*t13962; + t15014 = t14282*t15069; + t15218 = t13418+t14454*t15014; + t13744 = t14456*t15040; + t15217 = t14270*t15063+t13744; + t14300 = RATIONAL(1.0,288.0); + t14921 = t14300*t14454; + t13770 = t14457*t14921; + t15216 = t13770+t14351*t14669; + t14327 = RATIONAL(56.0,9.0); + t14412 = RATIONAL(-8.0,3.0); + t14985 = t14453*t14412; + t15215 = x*t14985+t14327*t14817; + t14235 = RATIONAL(40.0,27.0); + t15067 = z*t15068; + t14349 = RATIONAL(-16.0,9.0); + t13293 = t14349*t15017; + t15214 = t14235*t15067+t13293; + t14932 = t14224*t14457; + t13859 = t14455*t14932; + t14742 = y*t14932; + t15213 = x*t14742+t14429*t14704+y*t13859; + t12741 = t14455*t14658; + t14175 = RATIONAL(-35.0,288.0); + t14388 = RATIONAL(-5.0,36.0); + t15035 = t14388*t15069; + t13512 = t14454*t15035; + t15212 = t12741+t14175*t14764+t13512; + t13921 = t14457*t14847; + t15211 = t13430+t13809+y*t13921; + t12739 = t14181*t14704; + t15066 = y*t14455; + t14788 = t14175*t15066; + t14969 = t14457*t14388; + t13272 = t14969*t15068; + t15210 = t14457*t14788+t12739+t13272; + t14365 = RATIONAL(16.0,9.0); + t14161 = RATIONAL(35.0,108.0); + t15209 = RATIONAL(-245.0,36.0)*t14669+t14161*t14981+t14365*t14805; + t13698 = t14173*t14981; + t13600 = t14451*t14805; + t15208 = RATIONAL(-245.0,48.0)*t14669+t13698+t13600; + t14144 = RATIONAL(-35.0,108.0); + t14293 = RATIONAL(-35.0,36.0); + t15207 = t14209*t14805+t14293*t14669+t14144*t14981; + t14926 = t13403+t15045*t15068; + t15206 = RATIONAL(-49.0,864.0)*t14805+RATIONAL(5.0,32.0)*t14669+t14926; + t12934 = t14200*t14805; + t15205 = t14090+t12934+RATIONAL(-49.0,24.0)*t14669; + t13865 = t14454*t15045; + t14291 = RATIONAL(-5.0,144.0); + t15204 = t13865+t15061*t14291*t15059; + t14670 = t14455*t14872; + t14311 = RATIONAL(5.0,48.0); + t14902 = t14457*t14268; + t14887 = x*t14902+t13837; + t15203 = t14311*t14764+t14457*t14670+t14887; + t14290 = RATIONAL(49.0,72.0); + t13817 = t14454*t14870; + t14125 = t14413*t14455; + t14747 = y*t14125; + t13641 = t14456*t14747; + t15202 = t13817+t13641+t14290*t14669; + t15004 = t14332*t14457; + t14360 = RATIONAL(-28.0,9.0); + t13198 = t14342*t14704; + t15201 = t14360*t14816+t15004*t15068+t13198; + t14030 = RATIONAL(5.0,96.0)*t14981; + t14961 = t15040*t15069+t13446; + t15200 = t14453*t14030+t14961+t12807; + t13370 = t14342*t14684; + t15199 = t14332*t15037+t13370+t14360*t14764; + t14285 = RATIONAL(-70.0,27.0); + t15198 = RATIONAL(-160.0,27.0)*t14805+t14285*t14981+RATIONAL(140.0,9.0)* +t14669; + t14933 = t14362*t14457; + t14287 = RATIONAL(-25.0,72.0); + t14750 = t14287*t15041; + t15197 = t13376+x*t14933+t14456*t14750; + t13769 = t14280*t15049; + t15011 = t13769+t13776; + t15196 = y*t14580+t15011+t13152; + t12884 = t14285*t14805; + t14067 = t14454*t14958; + t14366 = RATIONAL(10.0,3.0); + t15195 = t14366*t14669+t12884+t14067; + t14326 = RATIONAL(-35.0,9.0); + t13289 = t14326*t14704; + t14336 = RATIONAL(70.0,9.0); + t15194 = t14336*t14816+t13289+t14326*t15029; + t14197 = RATIONAL(-35.0,144.0); + t13696 = t14197*t14981; + t14381 = RATIONAL(5.0,18.0); + t13540 = t14381*t14805; + t15193 = t14457*t14850+t13540+t14453*t13696; + t14170 = RATIONAL(49.0,108.0); + t13660 = t14455*t14631; + t15192 = t14170*t14764+t13660+t14289*t15037; + t12791 = t14457*t14578; + t14762 = t14206*t15041; + t13835 = t14457*t15044; + t14829 = t13835+t13798; + t15191 = t12791+t14456*t14762+t14829; + t13316 = t14360*t14617; + t13978 = t14352*t15070; + t15190 = t13316+t13978+RATIONAL(125.0,18.0)*t14823; + t13872 = t14304*t14855; + t13070 = t14453*t13872; + t15189 = t13070+t15403*t14279; + t13301 = t14374*t14704; + t15188 = t13301+y*t13977+t14851*t15068; + t14276 = RATIONAL(-35.0,48.0); + t14992 = t14315*t14455; + t14793 = y*t14992; + t13339 = t14456*t14793; + t15187 = t14276*t14669+t13696+t13339; + t14187 = RATIONAL(-245.0,54.0); + t15186 = t14831*t15068+t14187*t14816+t14411*t14704; + t14400 = RATIONAL(7.0,96.0); + t14664 = t14400*t14959; + t13527 = t14456*t14664; + t14815 = y*t14104; + t15185 = t14457*t14815+t13527+x*t14796; + t14230 = RATIONAL(-49.0,36.0); + t14261 = RATIONAL(35.0,12.0); + t12889 = t14261*t14704; + t14347 = RATIONAL(-14.0,9.0); + t15003 = t14347*t14457; + t15184 = t15003*t15068+t12889+t14230*t14816; + t14832 = t14457*t14328; + t14600 = t14291*t14855; + t14806 = y*t14874; + t15183 = t14453*t14600+t14832*t15068+t14457*t14806; + t12932 = t14261*t14684; + t15182 = t14347*t15037+t14230*t14764+t12932; + t13616 = t14420*t14704; + t14165 = RATIONAL(-245.0,72.0); + t15181 = t14918*t15068+t13616+t14165*t14816; + t15180 = y*t13774+x*t14778+t14345*t14704; + t14319 = RATIONAL(-1.0,48.0); + t14272 = RATIONAL(-1.0,864.0); + t15043 = t14272*z; + t15179 = t14319*t14669+t15043*t15068+t12960; + t13948 = t14314*t14934; + t13548 = t14453*t13948; + t15178 = t14259*t14764+t13548+t14887; + t14303 = RATIONAL(10.0,27.0); + t15047 = y*t14303; + t14786 = t14455*t15047; + t13064 = t14456*t14786; + t15177 = t13064+t13921+t14453*t14067; + t14576 = t14291*t14974; + t15176 = t14454*t15027+t14455*t14576+t14383*t14764; + t13595 = t14417*t14805; + t15175 = t13595+t14368*t14981+RATIONAL(49.0,24.0)*t14669; + t14301 = RATIONAL(-35.0,12.0); + t12816 = t14301*t14704; + t15174 = t12816+t14342*t15029+t14179*t14816; + t13450 = t14326*t14684; + t15173 = t14336*t14764+t13450+t14326*t15037; + t14620 = t14197*t14934; + t12723 = t14453*t14620; + t15172 = t14454*t15028+t14446*t14764+t12723; + t13604 = t14456*t14577; + t14299 = RATIONAL(-10.0,27.0); + t15056 = y*t14299; + t14798 = t14455*t15056; + t14965 = t14377*t14457; + t15171 = t13604+t14965*t15068+t14457*t14798; + t15170 = t14429*t14684+y*t13858+t14224*t15037; + t14354 = RATIONAL(-80.0,9.0); + t14152 = RATIONAL(-140.0,27.0); + t14158 = RATIONAL(280.0,27.0); + t15169 = t14158*t14764+t14152*t15037+t14354*t14684; + t14394 = RATIONAL(-20.0,3.0); + t14195 = RATIONAL(245.0,54.0); + t14180 = RATIONAL(140.0,27.0); + t15168 = t14394*t14704+t14195*t14816+t14180*t15029; + t14768 = t14287*t15059; + t13996 = t14362*t15049; + t15167 = t14455*t14768+t13996+t13299; + t13856 = t14268*t15049; + t14845 = t14280*t14455; + t13863 = z*t14845; + t15000 = t13856+t13863; + t14752 = t14311*t15059; + t15166 = t15000+t14454*t14683+t14455*t14752; + t14738 = y*t14923; + t13542 = t14455*t14609; + t15165 = z*t14738+t13542+y*t13924; + t14586 = t14454*t14883; + t13181 = t14456*t14586; + t14777 = t14389*t15059; + t15164 = t14455*t14777+t13181+t14156*t15049; + t13664 = t14441*t14704; + t15163 = t14170*t14816+t13664+t14837*t15068; + t14250 = RATIONAL(-1.0,432.0); + t13759 = t14300*t14855; + t15162 = t14453*t13759+t15403*t14250; + t14740 = t14379*t15049; + t13590 = t14443*t14684; + t15161 = t14211*t14764+t13590+y*t14740; + t15160 = t14455*t14622+t14242*t15037+y*t13818; + t14811 = y*t14127; + t14951 = t14309*t14457; + t14792 = x*t14951; + t14675 = t14197*t14855; + t12768 = t14453*t14675; + t15159 = t14457*t14811+t12768+y*t14792; + t13649 = t14420*t14684; + t15158 = t13649+t14306*t15037+t14165*t14764; + t15157 = t14187*t14764+t14411*t14684+t14204*t15037; + t14324 = RATIONAL(7.0,24.0); + t14799 = y*t15002; + t13486 = t14455*t14799; + t15156 = t14392*t14981+t13486+t14324*t14669; + t14616 = RATIONAL(-25.0,48.0)*t14981; + t15155 = t14453*t14616+t13251+t14341*t15067; + t15154 = t12884+t14255*t14981+RATIONAL(35.0,3.0)*t14669; + t15153 = t14355*t14805+t14225*t14981+RATIONAL(245.0,36.0)*t14669; + t14885 = t14454*t14410; + t13347 = t14455*t14621; + t15152 = t14146*t14764+t14885*t15069+t13347; + t13915 = t14381*t15059; + t15151 = t13990+t14455*t13915+t15288; + t13979 = t14456*t14875; + t15150 = t14405*t14981+t13979+t14234*t14669+t13540; + t13431 = t14455*t14759; + t15149 = t14263*t15037+t13660+t13431+t14177*t14764; + t15034 = t14279*t15069; + t15148 = t14454*t15034+t14279*t14764+t15395; + t14771 = x*t14962; + t13499 = t14456*t14771; + t15015 = x*t15051; + t15147 = t14177*t14816+t13664+t13499+t14457*t15015; + t14205 = RATIONAL(-35.0,72.0); + t13753 = t14205*t14934; + t15146 = y*t13753+t14205*t15029+t15261; + t14976 = t14245*t14457; + t14860 = t14456*t14198; + t13699 = t14455*t14860; + t15145 = t13699+t14292*t14805+(t14581+t14976)*t14454; + t13319 = t14401*t14824; + t15144 = t14195*t14764+t13319+t14180*t15037+t14394*t14684; + t13690 = x*t14860; + t14894 = t14156*t14457; + t15143 = x*t14894+t13690+t14389*t14764+t13101; + t13959 = z*t14952; + t14763 = t14457*t15047; + t13467 = t14344*t14704; + t15142 = t13959+t13467+t14161*t14816+x*t14763; + t13556 = t14379*t14824; + t14843 = t14454*t14205; + t14767 = y*t14843; + t13756 = t14456*t14843; + t13285 = t14455*t14661; + t15141 = t13556+t13285+z*t14767+y*t13756; + t15140 = t14455*t14763+t13915+t15398; + t14892 = t14454*t14212; + t15139 = t14454*t14743+t14892*t15069+t15283; + t13667 = t14449*t14781; + t15138 = t13604+t14265*t15029+t13667+t14203*t14816; + t14914 = t14454*t14363; + t13949 = z*t14914; + t14748 = t14293*t15066; + t13252 = t14457*t15023; + t15137 = t13949+t13616+t13252+t14457*t14748; + t14772 = t14283*t15059; + t14915 = t14283*t14455; + t13830 = t14457*t14915; + t15136 = x*t14772+y*t13830+t15309; + t14267 = RATIONAL(-5.0,576.0); + t14863 = t14454*t14267; + t12988 = t14201*t14805; + t15135 = t14457*t14863+t14454*t14658+t13717+t12988; + t13970 = t14381*t15041; + t15134 = z*t13970+t14173*t14764+t15367; + t15058 = y*t14212; + t14770 = t14457*t15058; + t13103 = x*t14672; + t14685 = t14351*t14959; + t13377 = t14456*t14685; + t15133 = t13103+x*t14770+t13377+t14162*t14816; + t13804 = t14456*t14896; + t14214 = RATIONAL(-5.0,432.0); + t14867 = t14214*t14454; + t15132 = t14457*t14867+t13804+t13641+t14453*t13698; + t13732 = t14456*t14868; + t14897 = t14454*t14218; + t14773 = y*t14834; + t13066 = t14456*t14773; + t14208 = RATIONAL(5.0,192.0); + t15131 = t14208*t14669+t14457*t14897+t13732+t13066; + t15130 = t14413*t14764+t14334*t15041+t15249; + t15129 = t13901+t14434*t14669+t15356; + t15128 = t14929*t15069+t14228*t14764+t15345; + t14810 = t14146*t15066; + t15127 = t15322+(t15020+t14810)*t14457; + t15126 = t13937+t14457*t14747+t15369; + t15125 = t14203*t14764+t14265*t15037+t15386; + t15124 = x*t13915+t14173*t14816+t15328; + t14970 = t14315*t14454; + t15123 = t13064+t13965+t14457*t14970+t14347*t14669; + t15012 = t14313*t15068; + t15122 = RATIONAL(-25.0,18.0)*t14981+t12934+RATIONAL(-175.0,48.0)*t14669+ +z*t15012; + t15121 = z*t14921+t14392*t14816+x*t14777+t13377; + t15030 = t14409*t15068; + t15120 = RATIONAL(25.0,144.0)*t14981+t13486+z*t15030+RATIONAL(25.0,48.0)* +t14669; + t14904 = t14451*t14457; + t14077 = t14454*t14904; + t14408 = RATIONAL(-14.0,3.0); + t15119 = t14077+t14408*t14669+t15355; + t14447 = RATIONAL(5.0,6.0); + t14137 = RATIONAL(-245.0,192.0); + t15118 = t14217*t14816+t13959+t14137*t14704+t14447*t15029; + t13779 = t14454*t14842; + t15117 = y*t13779+t14283*t15037+t15345; + t14814 = t14215*t15059; + t14196 = RATIONAL(-49.0,108.0); + t15116 = t14196*t14816+x*t14814+t15322; + t14907 = t14297*t14457; + t13754 = t14454*t14907; + t15032 = y*t14109; + t15115 = x*t15032+t14316*t14669+t13754+t12988; + t14741 = t14371*t15059; + t15114 = t14245*t15049+t13070+t15061*t14741; + t14369 = RATIONAL(-50.0,9.0); + t14233 = RATIONAL(-20.0,27.0); + t14385 = RATIONAL(25.0,9.0); + t15113 = t14369*t14816+t14385*t15029+t14233*t15049+t13198; + t15022 = z*t15062; + t13549 = x*t15022; + t15112 = RATIONAL(35.0,32.0)*t14669+t14457*t14871+t13549+RATIONAL(-245.0, +288.0)*t14805; + t14744 = t14303*t15041; + t15111 = t13970+t14456*t14744+t15231; + t14231 = RATIONAL(28.0,27.0); + t15110 = y*t14904+t14231*t14816+t15398; + t13624 = t14455*t14783; + t15109 = t14196*t14764+t13624+t14215*t15037+t13347; + t15108 = t14238*t14764+t14299*t15037+t15326; + t15107 = t14228*t15029+t14457*t14797+t15309; + t15106 = t14386*t14669+t14242*t15067+t14454*t14912+t13066; + t14284 = RATIONAL(112.0,9.0); + t14183 = RATIONAL(-280.0,27.0); + t14882 = RATIONAL(-16.0,3.0)*t14453; + t15105 = t14284*t14704+t14012+t14456*t14882+t14183*t14816; + t13757 = t14300*t14934; + t13178 = z*t14589; + t14911 = t14250*t14454; + t15104 = t14250*t14764+t13178+t14453*t13757+t14911*t15069; + t14406 = RATIONAL(-5.0,18.0); + t14758 = t14406*t15042; + t13546 = t14455*t14758; + t15103 = t14454*t14965+t13546+t13549+t14306*t14669; + t14296 = RATIONAL(25.0,72.0); + t15102 = t13301+t14380*t15049+t15403*t14296; + t14256 = RATIONAL(-35.0,24.0); + t14119 = t14317*z; + t13432 = t14119*t15068; + t15101 = t13906+t13600+t13432+t14256*t14669; + t14873 = t14454*t14372; + t15100 = y*t14873+t14381*t14764+t15252; + t14017 = RATIONAL(-5.0,96.0)*t14981; + t15099 = t14017+RATIONAL(-5.0,32.0)*t14669+t14191*t14805+t15286; + t15098 = z*t14867+t14422*t14816+t14446*t15029+t15219; + t14150 = RATIONAL(175.0,72.0); + t14079 = t14449*t15063; + t15097 = z*t14750+t13556+t14150*t14764+t14079+t13590; + t14877 = t14267*t14457; + t14818 = t14368*t15052; + t13411 = t14455*t14818; + t15096 = t12741+x*t14877+t14413*t15037+t13411+t14368*t14764; + t15095 = t14422*t14764+t14446*t15037+t14214*t15063+t15379; + t13908 = t14388*t14855; + t15094 = t13512+y*t13908+t13285+t15314; + t15093 = t14030+RATIONAL(-35.0,32.0)*t14669+t14174*t14805+t15255; + t15092 = t14454*t14951+t14318*t14669+t15058*t15070+t15357; + t14444 = RATIONAL(5.0,3.0); + t14416 = RATIONAL(-5.0,6.0); + t14138 = RATIONAL(-245.0,144.0); + t15091 = t14138*t14704+t14416*t15029+t14444*t14816+t15232; + t14991 = t14454*t14424; + t13321 = t14347*t14781; + t14168 = RATIONAL(-175.0,72.0); + t15090 = z*t14991+x*t14785+t12889+t14168*t14816+t13321; + t13337 = t14332*t14824; + t15089 = t14233*t15063+t13337+t13370+t14385*t15037+t14369*t14764; + t14866 = t14344*t14454; + t13994 = t14457*t14866; + t14428 = RATIONAL(5.0,2.0); + t15088 = t13994+t14428*t14669+RATIONAL(-245.0,216.0)*t14805+t15321; + t14248 = RATIONAL(7.0,432.0); + t14774 = t14248*t15066; + t13151 = t14456*t14774; + t15087 = t14457*t14892+t14453*t14017+t13151+t15235; + t15086 = x*t14768+t14150*t14816+t14449*t15049+t15368; + t14147 = RATIONAL(49.0,288.0); + t14321 = RATIONAL(-5.0,48.0); + t15085 = t14147*t14704+t15360+t15403*t14321; + t13058 = t14456*t14798; + t14346 = RATIONAL(10.0,9.0); + t15084 = t13058+t14457*t14885+t14346*t14669+t15321; + t14861 = t14289*t14456; + t13758 = t14455*t14861; + t15083 = RATIONAL(-25.0,144.0)*t14981+t14135*t15068+t13595+RATIONAL(175.0 +,48.0)*t14669+t13758; + t14029 = t14454*t14840; + t15082 = z*t15015+t14029+t14433*t14669+t15227; + t14037 = t14457*t14963; + t14619 = t14395*t14974; + t15081 = t14037+t13339+t14454*t14619+t15235; + t14745 = t14296*t15041; + t13543 = t14330*t14824; + t15080 = t14380*t15063+t13542+t13543+t15054*t14745; + t15079 = t14416*t15037+t14138*t14684+t14444*t14764+t15326; + t12771 = z*t14670; + t14739 = t14321*t15041; + t15078 = t12771+t14147*t14684+t15349+t15054*t14739; + t13533 = t14368*t14781; + t15077 = t13709+t12739+z*t14863+t14413*t15029+t13533+t14368*t14816; + t15076 = z*t14744+t14161*t14764+t15220+t15354; + t14239 = RATIONAL(49.0,96.0); + t15075 = t12706+t14276*t14764+t14311*t15037+t14239*t14684+t15267; + t14264 = RATIONAL(-5.0,108.0); + t15074 = t13418+t13431+t15349+t15401*t14264; + t15073 = t14263*t14981+t13804+t13429+t14453*t14037+t15286; + t14045 = t14388*t14934; + t15072 = t13865+t13863+y*t14045+t13272+t15261; + t13334 = t14347*t14824; + t14322 = RATIONAL(20.0,9.0); + t15071 = t14313*t15037+t13334+t14322*t14764+t13450+t15361; + t15060 = t14363*x; + t14112 = t14297*z; + t15033 = y*t14112; + t15026 = t14391*t15068; + t15024 = t14315*t15068; + t15021 = t14405*t15068; + t15019 = t14288*t15068; + t15018 = x*t15056; + t15013 = t14346*t15069; + t13557 = t14379*t14617; + t13374 = t14457*t14738; + t15010 = t13557+t13374; + t15009 = t13557+y*t14598; + t13187 = t14232*t14781; + t15008 = t13187+t14294*t14817; + t14593 = t14456*t14883; + t13049 = t14455*t14593; + t14757 = t14291*t15041; + t15007 = t13049+t14457*t14757; + t15006 = t13673+z*t15024; + t13493 = t14363*t14801; + t13843 = t14282*t14855; + t13104 = y*t13843; + t15001 = t13493+t13104; + t14999 = t14454*t14772+t13430; + t14124 = t14374*t14456; + t13412 = t14389*t14781; + t14996 = t13412+t14371*t14817; + t13358 = t14365*t15017; + t14995 = t13358+t14237*t15067; + t14994 = t14251*t14456; + t14993 = t14454*t14314; + t14990 = t13533+t14842*t15068; + t12834 = t14457*t14583; + t13864 = t14455*t14859; + t14989 = t12834+t13864; + t13177 = t14456*t14589; + t14988 = t13177+t14245*t14805; + t14987 = t13544+t14457*t14767; + t14126 = t14429*t14456; + t14986 = t14226*t14455; + t14893 = t14457*t14198; + t13726 = t14456*t15046; + t14984 = x*t14893+t13726; + t14983 = t14328*t14455; + t14982 = t14379*t14457; + t14979 = t13499+y*t13773; + t14977 = y*t13862+t13431; + t14975 = t14272*t14456; + t13147 = x*t14593; + t14973 = t13147+t14305*t14817; + t13353 = t14332*t14781; + t14972 = t14213*t15031+t13353; + t14968 = t14454*t14404; + t13952 = y*t14966; + t14967 = t13544+t14454*t13952; + t14895 = t14328*t14456; + t14769 = y*t14895; + t13400 = t14455*t14769; + t13422 = t14363*t14617; + t14964 = t13400+t13422; + t14222 = RATIONAL(49.0,27.0); + t14960 = t14222*t15031+t13321; + t14957 = t14319*t14453; + t14953 = t13334+t14222*t15016; + t14950 = t13557+t14457*t14745; + t14948 = t14339*t14453; + t14946 = t14361*t14456; + t14945 = t13668+z*t15021; + t14943 = t13310+t14835*t15068; + t14940 = t13411+t14915*t15069; + t14938 = t14188*t15016+t13543; + t13357 = t14455*t14822; + t14937 = y*t13831+t13357; + t14936 = t14454*t14248; + t14611 = t14392*t14959; + t14931 = z*t14611+t13411; + t12933 = t14230*t14617; + t14928 = t12933+t14261*t14823; + t13938 = t14454*t14969; + t14927 = t13544+y*t13938; + t14919 = RATIONAL(-5.0,16.0)*t14453; + t14916 = t14380*t14455; + t14910 = t13533+t14392*t14817; + t14909 = t14455*t14410; + t14880 = t14272*t14455; + t12992 = t14455*t14808; + t14906 = t12992+t14880*t15069; + t14905 = t14455+t14456; + t13850 = t14455*t14870; + t13000 = y*t13850; + t13966 = t14457*t15060; + t13395 = t14453*t13966; + t14900 = t13000+t13395; + t14899 = t14346*t14457; + t14101 = t14297*t14455; + t14295 = RATIONAL(7.0,144.0); + t14102 = t14295*t14455; + t13002 = t14294*t14781; + t14890 = t14232*t14817+t13002; + t14133 = t14418*t14455; + t14117 = t14374*t14455; + t14878 = t14454*t14288; + t14856 = t14226*t14456; + t14854 = t14454*t14272; + t14849 = t14245*t14456; + t14846 = t14251*t14455; + t14844 = t14453*RATIONAL(-2.0,1.0); + t14421 = RATIONAL(-2.0,3.0); + t14833 = t14421*t14453; + t14828 = t14453*t14443; + t14108 = t14295*t14456; + t13815 = z*t14881; + t14813 = t14406*t15066; + t14803 = x*t14840; + t14802 = t14242*t15042; + t14800 = t14219*t15066; + t13867 = t14249*t15063; + t14794 = t14447*t15041; + t13764 = t14300*t15063; + t14791 = t14454*t14119; + t14784 = t14212*t15042; + t14779 = t14265*t15066; + t14776 = y*t14102; + t14775 = y*t14933; + t14766 = x*t14982; + t14760 = t14264*t15059; + t14310 = RATIONAL(8.0,27.0); + t14756 = t14310*t15066; + t14755 = y*t14922; + t14754 = t14189*t15066; + t14749 = t14406*t15041; + t14442 = RATIONAL(-5.0,3.0); + t14091 = t14442*t15059; + t14737 = t15054*t14454; + t14736 = t15061*t14457; + t13077 = t14232*t15017; + t14735 = t13187+t14453*t13764+t13077; + t14139 = RATIONAL(245.0,144.0); + t12928 = t14290*t14824; + t14734 = t14139*t14684+t12928+t12933; + t14733 = t13648+t15400*t14456; + t13877 = t14243*t15050; + t13951 = t14310*t15070; + t14732 = t13877+t14238*t15063+t13951; + t14731 = z*t14968+t13896+t14115; + t14257 = RATIONAL(7.0,288.0); + t13861 = t14257*t14855; + t12874 = t14453*t13861; + t14730 = t13103+t13019+t12874; + t14729 = t14010+t14125+t14315*t14934; + t14728 = t13499+x*t14957+t14295*t14817; + t14338 = RATIONAL(-1.0,96.0); + t14727 = t13147+t14338*t14817+t13077; + t13880 = t14249*t14934; + t14726 = t13880+t13727+t13732; + t12927 = t14290*t14781; + t14725 = t13622+t14256*t14817+t12927; + t13833 = t14248*t14934; + t14724 = t14101+t13833+t13804; + t14184 = RATIONAL(-49.0,432.0); + t14723 = t14184*t14934+t14102+t13883; + t14722 = t14453*t14866; + t14721 = x*t15035+t14008+t13551; + t14720 = t14456*t14592+t13672+t13675; + t14719 = t14229*t14801+t13337+z*t14848; + t14718 = t13603+t15400*z; + t14717 = z*t14985+t13539+t14327*t14801; + t14716 = t13997+t13979+t14390*t14934; + t14715 = t14105+t14191*t14855+t13758; + t14714 = t13051+t14400*t14684+t12772; + t13687 = t14148*t15065; + t14713 = t14226*t14934+t13717+t13687; + t14712 = t14130+t14028+t14405*t14855; + t13752 = RATIONAL(-32.0,27.0)*t14901; + t14711 = t14133+t13752+t14227*t14934; + t14710 = t13556+t13517+t14454*t14074; + t14329 = RATIONAL(-7.0,12.0); + t13550 = x*t14818; + t14709 = t13550+t14329*t14817+t12927; + t14708 = t13861+t13722+t13680; + t14707 = t13300+t15391; + t14706 = t13883+t13815+t14182*t14934; + t14705 = t13316+t15331; + t14703 = t13550+t13310+t14197*t14817; + t14702 = t14257*t14817+t13103+t12812; + t14701 = t14208*t14959; + t14615 = t14424*t14934; + t13570 = t14453*t14615; + t14700 = t13624+t13570+t13675; + t13972 = z*t14916; + t14699 = t14373*t15049+t14119+t13972; + t14320 = RATIONAL(-20.0,9.0); + t14698 = t13767+t13353+t14320*t15031; + t14697 = t14455*t14836+t13300+t14397*t14684; + t14696 = t14454*t14954; + t14695 = t13871+t13809+t13966; + t14694 = t14457*t14911; + t14693 = t13925+t13691+t13815; + t14692 = t14033+t14404*t15063+t14309*x; + t14199 = RATIONAL(49.0,54.0); + t14691 = t14117+t13766+t14199*t14934; + t14690 = t13667+t13656+t14406*t14817; + t14689 = t14255*t14805+t12939+t13794; + t14688 = z*t14930+t14417*t14801+t13587; + t14244 = RATIONAL(49.0,18.0); + t14687 = t13334+t14244*t14801+z*t14828; + t14686 = t13976+t15229; + t12938 = t14301*t14684; + t14682 = t13337+t12939+t12938; + t14681 = t14454*t14864; + t14680 = t13980+t13822+t13714; + t14678 = t13591+t15405*x; + t14677 = t13964+t13667+t14456*t15020; + t14676 = t13543+t15402*z; + t14674 = t14108+t14184*t14855+t13883; + t13419 = z*t14782; + t14673 = t13863+t13419+t13357; + t14668 = t13766+t14124+t14199*t14855; + t14666 = t12714+t15319; + t13247 = RATIONAL(64.0,9.0)*t14617; + t14665 = t14302*t14704+t13247+t14456*t14839; + t14662 = t13945+(t14862+t14317)*x; + t14659 = t13556+t13831+z*t14811; + t14046 = t14358*t14855; + t14657 = t14257*t14959; + t14656 = t13706+t12992+t14250*t15016; + t14274 = RATIONAL(-49.0,96.0); + t12638 = RATIONAL(343.0,576.0)*t14617; + t14654 = t12771+t14274*t14684+t12638; + t14653 = t13625+t13624+t14381*t14801; + t14652 = x*t14828+t13321+t14244*t14817; + t14651 = t14384*t14934+t13965+t14038; + t14649 = t13166+t14400*t14817+t12782; + t13907 = z*t14992; + t14648 = t13907+t13751+t13766; + t14646 = t14456*t14788+t12714+t13849; + t14645 = x*t14888+t14407*t14817+t13236; + t14644 = t14008+t15222; + t14643 = x*t14920+t13310+t14149*t14817; + t14642 = t13862+t13733+z*t14993; + t12997 = t14294*t14617; + t14641 = t13699+t12997+t14250*t14805; + t13496 = t14454*t13915; + t14640 = t13733+t13496+t13557; + t14639 = t13825+t14455*t14755+t13422; + t14610 = t14295*t14959; + t14638 = t13431+(t14957+t14610)*z; + t14637 = t13979+t13992+t14456*t14847; + t14636 = t13631+t14455*t14886+t13687; + t14634 = t14453*t14873; + t14633 = t13976+z*t14850+t13972; + t14632 = t14455*t14949+t13316+t14357*t14684; + t13886 = t14249*t14855; + t14630 = t13648+t15271; + t14629 = t14023+t13801+t13758; + t14628 = t13811+t14235*t14934+t13752; + t14627 = t13907+t13691+t13753; + t13878 = t14288*t14855; + t13823 = t14248*t14855; + t14624 = t13823+t14111+t13804; + t13918 = t14358*t14934; + t14254 = RATIONAL(35.0,24.0); + t14623 = t13626+t12937+t14254*t14817; + t13950 = t14457*t14914; + t13870 = t14457*t14865; + t13902 = t14454*t14862; + t13782 = t14457*t14880; + t13852 = t14257*t14934; + t13783 = t14454*t14827; + t13740 = t14457*t14845; + t13749 = t14457*t14942; + t14618 = t12946+t13974+z*t14800; + t14614 = t14338*t14959; + t13704 = t14198*t15070; + t14612 = t14272*t15063+t13704+t13690; + t14605 = t14453*t13867+t12994+t13002; + t14604 = t14237*t14855+t13736+t14126; + t14603 = t13021+t14453*t13852+t13019; + t14370 = RATIONAL(-10.0,3.0); + t14601 = t14370*t14959; + t13233 = RATIONAL(-64.0,9.0)*t14617; + t14308 = RATIONAL(80.0,9.0); + t14597 = t14308*t14684+t13319+t13233; + t12897 = t14456*t14776; + t14595 = t13732+t12897+t12772; + t14591 = t14434*t14704+t13557+t13519; + t14590 = t13178+t13049+t14338*t14684; + t14588 = t13582+t15404*x; + t14098 = t14414*t14934; + t14575 = y*t14736; + t14574 = y*t14737; + t14573 = t14311+RATIONAL(5.0,16.0)*t14453; + t14396 = RATIONAL(-1.0,24.0); + t14571 = t14396*t14453+t14389; + t14570 = t14309+t15005; + t14569 = t14371+t14387*t14453; + t14568 = RATIONAL(35.0,16.0)*t14453+t14321; + t14567 = t14313+t14301*t14453; + t14566 = RATIONAL(2.0,1.0)*t14453+t14433; + t14565 = t14337+t14260*t14457; + t14564 = t14394*t14453+t14346; + t14563 = t14447+RATIONAL(-5.0,1.0)*t14453; + t14562 = t14292+t14941; + t14561 = t14416+RATIONAL(-35.0,16.0)*t14453; + t14560 = RATIONAL(-1.0,8.0)*t14453+t14396; + t14559 = t14920+t14297; + t14557 = t14913+t14317; + t14376 = RATIONAL(1.0,24.0); + t14556 = RATIONAL(-7.0,8.0)*t14453+t14376; + t14555 = t14446+t14324*t14453; + t14554 = t14261*t14453+t14388; + t14553 = t14358+t14891; + t14431 = RATIONAL(2.0,3.0); + t14552 = t14431*t14453+t14413; + t14551 = t14852+t14337; + t14550 = RATIONAL(7.0,8.0)*t14453+t14437; + t12956 = y*t14694; + t14549 = t12956+t14453*t13770+t14272*t14805+t12997; + t14548 = t13211+t14454*t14576+t15264; + t14547 = t14457*t14613+y*t13849+t14999; + t12830 = y*t13754; + t14546 = t12791+t12830+t13049+t14292*t14764; + t14545 = t14455*t14770+t13181+t15387; + t13061 = y*t13817; + t12822 = y*t13878; + t14544 = t13061+t13548+t13422+t12822; + t14543 = t12759+t14416*t14669+t15006+t15009; + t14542 = t14454*t14859+t14457*t14657+t13778+t14455*t14784+t15007; + t13230 = t14457*t14739; + t14541 = t14457*t14664+t13950+t13230+t14646; + t14540 = RATIONAL(343.0,216.0)*t14805+RATIONAL(-5.0,2.0)*t14669+t14928+ +t14945; + t12836 = t14454*t14742; + t14539 = t12836+t14265*t14764+t14405*t15037+t14700; + t13096 = t14454*t14760; + t14538 = t13096+t14639+(t14879+t14606)*t14457; + t12666 = RATIONAL(490.0,27.0)*t14823; + t14537 = t14454*t15038+t14284*t14684+t14183*t14764+t14455*t14882+t12666+ +t13233; + t14536 = t12836+t14720+(t14779+t15021)*t14457; + t14535 = t15010+t15365+(t14936+t14599)*t14457; + t14534 = t14878*t15069+t14188*t14764+t15010+t15281; + t13378 = t14454*t14741; + t14533 = t13378+t14603+(t15033+t14746)*t14454; + t14532 = y*t13823+t14455*t14587+t14361*t15037+t13401+t15007; + t14531 = t13667+t13467+t14987+(t14754+t15024)*t14457; + t14530 = t14437*t14669+t13501+t12757+z*t15019+t14967; + t14529 = t14299*t14764+t14454*t15036+t15306+t15386; + t14528 = t14454*t14755+t14455*t14957+y*t14993+t14295*t14684+t14999; + t14527 = t13906+t14453*t13994+t14950+t15227; + t14526 = t14164*t14669+t14037+t15337+t15357; + t14525 = t14295*t14764+t12714+y*t14791+t13230+t15367; + t13479 = t14454*t15022; + t14524 = t14456*t14749+t13479+t14950+t15379; + t14523 = t12836+t13979+t13058+t13902+t13675+t14453*t14077; + t14522 = t14451*t15041+t14231*t14764+t15231+t15310; + t12711 = RATIONAL(-175.0,24.0)*t14823; + t14521 = t12711+t14200*t14981+RATIONAL(245.0,48.0)*t14669+t14689; + t14520 = t13375+y*t14046+t14829+t14927; + t12779 = RATIONAL(-350.0,27.0)*t14823; + t14519 = t14354*t14704+t13247+t12779+t14158*t14816+t13260+t14152*t15029; + t14518 = t14457*t14634+t13266+t14927+t14961; + t14517 = t14456*t14765+t13854+t13870+t14453*t14029+t13422+t13096; + t14516 = t13304+y*t13918+t14927+t15011; + t14515 = t13252+t14457*t14813+t14950+t15219; + t13185 = t14268*t14823; + t14514 = t14453*t13749+t14457*t14854+t13725+t13177+t13185+t14455*t14802; + t14513 = t13378+t14730+t14907*t14825; + t13277 = t14457*t14807; + t14512 = t14457*t14601+t13316+t13277+t12959+t15006; + t14511 = t14189*t14764+t14970*t15069+t14987+t15354; + t14510 = y*t14939+t14456*t14610+t14319*t14956+t14455*t14775+t14999; + t12716 = RATIONAL(-175.0,18.0)*t14823; + t14509 = t12716+t12910+t13300+t14227*t15067+RATIONAL(25.0,3.0)*t14669+ +t13293; + t14508 = t13436+t14456*t14696+y*t13833+t14457*t15025+t15007; + t14223 = RATIONAL(35.0,27.0); + t12867 = t14223*t14823; + t14507 = t13648+t14313*t14669+t12867+t13122+t14945; + t14506 = y*t14803+t14457*t14776+t13230+t14666; + t13494 = t14376*t14823; + t14505 = y*t14579+t14454*t15032+t13494+t14714; + t13421 = y*t13902; + t14504 = t13421+t14639+(t14878+t14611)*t14457; + t12832 = t14199*t14823; + t14503 = t13952+t14455*t14814+t12832+t14733; + t14502 = y*t14766+t14211*t14816+t15293+t15368; + t14501 = t14457*t14614+t13151+t13019+t13749+t13717+t13378; + t14500 = t14453*t13906+t13096+t14926+t14964; + t13227 = t14397*t14823; + t14499 = t14448*t15041+t14348*t14764+t13227+t14697; + t14498 = t14457*t14968+t13965+t13546+t14454*t14596+t14987; + t12696 = RATIONAL(245.0,18.0)*t14823; + t14497 = t12696+t14312*t14764+t14454*t15039+t14632; + t14496 = t14457*t15019+t14188*t14816+t13374+t14591; + t14241 = RATIONAL(-25.0,12.0); + t12904 = t14241*t14823; + t14495 = t12816+t12939+t12904+t14008+t14899*t15068+t14457*t14800+t13353+ +t15328; + t14494 = t13277+t14320*t14764+t14442*t15041+t14632+t14692; + t14493 = t12678+x*t14752+t14239*t14704+t14276*t14816+t14642+t15239; + t14492 = y*t14958+t14233*t14816+t12867+t14699+t14733; + t14491 = t14415*t14816+t13533+t14406*t15029+t12768+t14633+t15377; + t14490 = t13838+t13550+t13432+RATIONAL(-35.0,96.0)*t14669+t14595+t15307; + t14489 = t14457*t15012+t13289+t14322*t14816+t13321+t14633+t15251; + t14286 = RATIONAL(-49.0,48.0); + t14141 = RATIONAL(343.0,144.0); + t14440 = RATIONAL(-5.0,4.0); + t14488 = t14455*t14091+t14440*t15059+t14286*t14956+t14141*t14704+t14699+ +t14928; + t14487 = t13277+t14091+t14320*t14816+t14705+t14731; + t14486 = t14344*t15059+y*t14615+t14731+t15009+t15369; + t14485 = y*t14866+t14424*t14764+t14692+t15009+t15249; + t14484 = t14447*t14669+t13938+t14686+t15356+t15377; + t14483 = t14286*t14971+t14141*t14684+t14440*t15041+t14442*t14764+t14662+ +t14928; + t14482 = t13808+t14434*t15059+t14112+z*t14936+t14449*t14816+t14967+t15288 +; + t14481 = t14144*t14764+t14259*t15037+t14640+t15267+t15281; + t14480 = t13949+t13147+y*t14620+t13815+t13527+t12772+t14869*t15068+t15307 +; + t14479 = t13786+t14205*t14669+t14640+t15255+t15365; + t14478 = t13499+t13472+t15211+t15360+t15061*t14760; + t14477 = t14392*t14764+t13764+t13704+t13711+t14389*t15037+t15283+t15290; + t14476 = t13976+t14415*t14764+z*t14749+t13411+t12723+t15361+t15377; + t14475 = t14434*t15041+t14248*t15063+t14297*x+t13744+t14449*t14764+t14967 ++t15252; + t14353 = RATIONAL(25.0,6.0); + t14393 = RATIONAL(50.0,9.0); + t14474 = t12716+t13877+t14353*t15041+t14231*t15063+t14435*x+t14393*t14764 ++t14697; + t14473 = t13537+z*t14762+y*t14675+t14695+t14714; + t14472 = t14233*t14764+y*t14991+t12867+t14630+t14662; + t14471 = t13049+x*t14976+t13726+t15278+t15395+t15401*t14371; + t12708 = RATIONAL(125.0,24.0)*t14823; + t14470 = t13913+t14057+t13334+t14335*t15037+t14168*t14764+t13951+t12933+ +t12708+t12932; + t12949 = y*t14616; + t14469 = t12949+t14358*t14981+RATIONAL(35.0,96.0)*t14669+t14646+t14721; + t14468 = t14238*t14816+t14457*t15018+t14720+t15232+t15297; + t14467 = x*t14790+t14144*t14816+t13496+t14591+t14642; + t14466 = t14219*t14764+t14454*t15013+t12904+t14644+t14682; + t14465 = t12716+t14231*t15049+t14353*t15059+t14136+t13768+t14393*t14816+ +t14707; + t13569 = t14457*t14794; + t14464 = t13649+t14293*t14764+t13569+t13543+t13479+t12933+t14695; + t14463 = t12904+t14083+t14254*t14669+t14689+t14721; + t14462 = z*t14757+y*t14600+t14603+t15314+t15330; + t14461 = t14202*t15067+t13358+RATIONAL(-25.0,3.0)*t14669+RATIONAL(25.0, +18.0)*t14981+t15190+t15355; + t14460 = t14217*t14764+t14137*t14684+t12638+z*t14794+t12928+t15220+t15248 +; + t14450 = RATIONAL(1.0,8.0); + t14439 = RATIONAL(4.0,3.0); + t14432 = RATIONAL(-1.0,4.0); + t14430 = RATIONAL(-4.0,3.0); + t14423 = RATIONAL(5.0,1.0); + t14419 = RATIONAL(1.0,2.0); + t14403 = RATIONAL(98.0,9.0); + t14399 = RATIONAL(-28.0,3.0); + t14378 = RATIONAL(28.0,3.0); + t14367 = RATIONAL(1.0,12.0); + t14356 = RATIONAL(25.0,8.0); + t14343 = RATIONAL(-25.0,6.0); + t14278 = RATIONAL(-80.0,27.0); + t14277 = RATIONAL(-49.0,12.0); + t14275 = RATIONAL(-25.0,54.0); + t14240 = RATIONAL(-25.0,96.0); + t14236 = RATIONAL(49.0,12.0); + t14207 = RATIONAL(25.0,12.0); + t14194 = RATIONAL(175.0,54.0); + t14193 = RATIONAL(-392.0,27.0); + t14192 = RATIONAL(392.0,27.0); + t14190 = RATIONAL(-175.0,54.0); + t14185 = RATIONAL(-175.0,96.0); + t14172 = RATIONAL(196.0,27.0); + t14171 = RATIONAL(100.0,27.0); + t14169 = RATIONAL(-112.0,27.0); + t14167 = RATIONAL(-100.0,27.0); + t14166 = RATIONAL(175.0,96.0); + t14163 = RATIONAL(200.0,27.0); + t14155 = RATIONAL(-196.0,27.0); + t14154 = RATIONAL(112.0,27.0); + t14153 = RATIONAL(343.0,54.0); + t14151 = RATIONAL(-343.0,54.0); + t14145 = RATIONAL(35.0,432.0); + t14143 = RATIONAL(-200.0,27.0); + t14142 = RATIONAL(245.0,192.0); + t14089 = t14414*t14855; + t14076 = t14415*t15049; + t14073 = x*t14858; + t14055 = t14422*t15049; + t14036 = t14383*t15049; + t14034 = t14346*t14855; + t14021 = t14457*t14916; + t14009 = t14341*t14855; + t14002 = t14377*t14855; + t13993 = t14457*t14909; + t13988 = t14341*t15049; + t13983 = t14454*t14114; + t13973 = t14457*t14857; + t13967 = t14455*t14832; + t13954 = t14380*t14855; + t13944 = t14361*t14934; + t13941 = t14375*t14855; + t13939 = t14409*t14855; + t13935 = t14391*t14855; + t13930 = t14457*t15048; + t13929 = t14361*t14855; + t13926 = t14457*t14875; + t13922 = t14313*t14855; + t13920 = t14455*t14899; + t13905 = t14341*t15063; + t13894 = t14457*t14838; + t13866 = t14268*t14855; + t13857 = t14454*t14853; + t13847 = t14454*t14849; + t13841 = t14218*t14855; + t13839 = t14455*t14902; + t13836 = t14267*t14855; + t13834 = t14273*t14855; + t13826 = t14218*t14934; + t13824 = t14455*t14877; + t13820 = t14214*t14855; + t13816 = t14235*t14855; + t13806 = t14214*t14934; + t13800 = t14202*t14934; + t13795 = t14270*t14855; + t13792 = t14457*t14846; + t13781 = z*t14854; + t13780 = t14457*t14896; + t13747 = t14456*t14854; + t13743 = t14270*t14934; + t13734 = z*t14897; + t13730 = t14198*t15049; + t13729 = t14198*t14855; + t13723 = t14176*t14934; + t13721 = t14159*t14855; + t13716 = t14148*t14934; + t13715 = t14145*t14934; + t13713 = t14455*t14893; + t13712 = t14148*t14855; + t13703 = t14457*t14868; + t13702 = t14160*t14855; + t13695 = t14455*t14894; + t13694 = t14156*t14855; + t13689 = t14145*t14855; + t13685 = t14457*t14085; + t13682 = t14435*t14817; + t13681 = t14453*t14079; + t13677 = t14414*t14817; + t13669 = x*t14631; + t13666 = t14454*t14059; + t13659 = t14439*t14817; + t13655 = t14132*t15068; + t13643 = t14412*t14684; + t13640 = z*t14747; + t13636 = t14430*t14817; + t13633 = t14414*t14801; + t13628 = x*t14780; + t13617 = t14439*t14801; + t13614 = t14454*t14783; + t13613 = t14449*t14801; + t13611 = t14430*t14801; + t13610 = t14454*t14789; + t13606 = t14453*t14099; + t13601 = t14136*t15068; + t13599 = t14129*t15069; + t13596 = t14418*t14704; + t13594 = t14133*t15069; + t13586 = t14418*t14684; + t13581 = t14412*t14704; + t13579 = t14454*t14607; + t13578 = t14131*t15068; + t13573 = t14126*t15068; + t13567 = t14453*t14098; + t13562 = t14310*t15031; + t13560 = t14456*t14614; + t13558 = t14381*t15016; + t13553 = t14388*t15031; + t13547 = t14330*t14817; + t13545 = z*t14813; + t13538 = t14322*t15031; + t13536 = z*t14664; + t13522 = t14453*t14792; + t13520 = z*t14663; + t13515 = t14352*t15016; + t13507 = y*t13913; + t13505 = x*t14799; + t13495 = t14117*t15069; + t13492 = t14453*t14803; + t13481 = t14307*t14817; + t13476 = t14453*t14791; + t13471 = x*t14795; + t13469 = z*t14806; + t13465 = z*t14614; + t13459 = z*t14722; + t13449 = t14406*t14801; + t13442 = t14349*t14805; + t13439 = x*t14769; + t13435 = t14118*t15068; + t13433 = t14404*t15031; + t13428 = t14457*t14771; + t13426 = t14377*t15031; + t13424 = t14389*t14817; + t13415 = t14946*t15068; + t13413 = t14358*t15016; + t13407 = t14404*t15016; + t13406 = t14368*t14817; + t13394 = t14983*t15069; + t13390 = t14114*t15068; + t13384 = z*t14685; + t13383 = t14453*t14766; + t13372 = t14345*t14801; + t13369 = t14389*t14801; + t13361 = z*t14793; + t13356 = t14388*t15016; + t13354 = t14370*t14817; + t13350 = t14373*t15016; + t13346 = x*t15013; + t13345 = x*t14761; + t13342 = z*t15026; + t13341 = x*t14619; + t13338 = z*t14756; + t13335 = t14322*t15016; + t13332 = t14320*t15016; + t13329 = t14329*t14801; + t13325 = t14366*t14817; + t13320 = t14355*t14801; + t13312 = t14339*t14684; + t13311 = y*t13974; + t13309 = x*t14679; + t13306 = t14909*t15069; + t13305 = t14331*t14801; + t13295 = t14377*t15016; + t13290 = t14366*t14801; + t13286 = t14123*t15069; + t13284 = z*t14635; + t13283 = x*t14758; + t13281 = t14453*t14740; + t13278 = t14124*t15068; + t13276 = x*t14787; + t13273 = t14380*t15067; + t13271 = z*t14634; + t13265 = t14857*t15069; + t13263 = t14121*t15068; + t13257 = t14381*t15031; + t13255 = t14367*t14801; + t13254 = t14838*t15069; + t13253 = z*t14601; + t13245 = t14334*t14801; + t13243 = t14307*t14805; + t13240 = t14371*t14801; + t13239 = x*t14755; + t13235 = t14308*t14704; + t13223 = t14381*t14817; + t13222 = t14334*t14817; + t13219 = t14456*t15026; + t13217 = t14122*t15069; + t13207 = t14456*t14756; + t13201 = x*t14621; + t13200 = t14454*t14759; + t13196 = t14456*t15030; + t13195 = z*t14584; + t13188 = t14367*t14817; + t13186 = x*t14802; + t13183 = t14456*t14681; + t13180 = t14242*t15016; + t13176 = z*t14681; + t13159 = t14212*t15016; + t13154 = t14454*t14753; + t13149 = t14274*t14704; + t13146 = x*t14784; + t13145 = t14456*t14701; + t13142 = y*t13805; + t13141 = y*t13815; + t13140 = y*t13871; + t13137 = x*t15014; + t13131 = t14245*t15067; + t13128 = z*t14701; + t13113 = z*t14797; + t13107 = t14456*t15015; + t13102 = t14228*t15031; + t13097 = t14294*t14684; + t13095 = t14300*t14801; + t13093 = t14101*t15069; + t13088 = x*t15033; + t13084 = t14849*t15068; + t13081 = x*t14746; + t13078 = t14457*t14610; + t13071 = t14304*t14801; + t13069 = t14278*t15031; + t13068 = z*t14773; + t13062 = z*t14786; + t13057 = z*t14798; + t13050 = t14245*t15016; + t13047 = z*t14606; + t13037 = z*t14776; + t13032 = z*t14696; + t13025 = t14206*t14817; + t13015 = z*t14774; + t13005 = t14250*t15031; + t13004 = t14243*t14805; + t13001 = t14453*t13886; + t12998 = t14453*t13880; + t12996 = t14830*t15068; + t12995 = t14250*t15067; + t12990 = y*t13801; + t12989 = t14291*t14801; + t12987 = z*t14815; + t12983 = t14986*t15069; + t12979 = t14253*t14817; + t12976 = z*t14586; + t12974 = t14110*t15068; + t12972 = t14975*t15068; + t12963 = z*t14594; + t12958 = t14208*t14684; + t12952 = t14249*t14801; + t12950 = t14208*t14817; + t12945 = t14248*t15031; + t12940 = t14254*t14801; + t12936 = t14219*t15031; + t12926 = t14293*t15031; + t12925 = t14200*t14801; + t12923 = t14246*t15016; + t12917 = z*t14748; + t12902 = t14215*t15016; + t12896 = t14223*t15016; + t12894 = t14105*t15068; + t12893 = t14223*t15031; + t12890 = z*t14779; + t12888 = t14278*t15016; + t12882 = t14108*t15068; + t12878 = t14256*t14801; + t12869 = t14255*t14801; + t12868 = t14215*t15031; + t12866 = t14213*t15016; + t12865 = t14456*t15018; + t12861 = t14861*t15068; + t12860 = t14994*t15068; + t12855 = t14856*t15068; + t12854 = t14279*t15031; + t12853 = t14289*t15016; + t12851 = t14846*t15069; + t12850 = t14279*t15016; + t12845 = x*t14587; + t12833 = t14265*t15031; + t12821 = t14303*t15031; + t12820 = y*t13808; + t12819 = z*t14657; + t12810 = t14210*t15031; + t12804 = x*t14576; + t12797 = y*t13744; + t12796 = x*t15034; + t12790 = z*t14765; + t12780 = z*t14788; + t12777 = t14164*t14801; + t12773 = t14162*t15016; + t12767 = t14197*t14801; + t12761 = t14177*t15016; + t12760 = z*t14754; + t12746 = z*t14810; + t12744 = t14181*t14801; + t12733 = t14457*t14655; + t12729 = z*t14660; + t12727 = t14454*t14647; + t12725 = RATIONAL(160.0,27.0)*t14805; + t12722 = t14164*t14817; + t12720 = t14175*t15031; + t12717 = t14184*t14805; + t12707 = x*t14743; + t12700 = t14169*t15016; + t12697 = t14154*t15016; + t12691 = x*t14804; + t12682 = t14149*t14805; + t12681 = RATIONAL(49.0,864.0)*t14805; + t12676 = t14189*t15031; + t12674 = t14154*t15031; + t12670 = RATIONAL(-224.0,27.0)*t14805; + t12668 = t14169*t15031; + t12657 = t14173*t14817; + t12647 = t14142*t14684; + t12646 = RATIONAL(-343.0,216.0)*t14805; + t12644 = RATIONAL(245.0,288.0)*t14805; + t12643 = t14142*t14704; + t12640 = t14139*t14704; + t12636 = RATIONAL(245.0,216.0)*t14805; + coeff_dy_m2_m2_m2 = t13001+t13781+t14605+(t14242+t14292*t14453)*t14981+( +t13870+(t14736+t14737)*t14268)*y+t13782+t13747+t12998+t12952+t12995+t13005+ +t14612+t14641+t14656; + coeff_dy_m1_m2_m2 = x*t14775+t13412+t13415+t13145+t13841+t13734+t14462+ +t13128+t13015+t14713+t14900+t15087; + coeff_dy_0_m2_m2 = t13967+t14504+t14571*t14457+((t14916+t14317)*t14457+ +t15054*t14314)*y+t15117+t15284+t15289+t15295+t15334+t15382; + coeff_dy_p1_m2_m2 = t15073+(t14875+t15048)*t15059+t13469+t13439+t15074+ +t13944+t13795+t13428+t13047+t15211+t15265+t15380; + coeff_dy_p2_m2_m2 = t13886+y*t13835+t13014+t13732+t13792+t13560+t13186+ +t13465+t14471+t13068+t14735+t15106+t15225; + coeff_dy_p3_m2_m2 = t13730+y*t13740+t13729+t14514+t13180+t13183+t13176+ +t15104+t15376; + coeff_dy_m2_m1_m2 = t12796+t12850+t12819+t12854+t12874+t13857+t13863+ +t14462+t14454*t14832+t14702+t14989+t15204+t15384; + coeff_dy_m1_m1_m2 = t13553+t12780+t13905+t13851+t14469+t14262*t14574+ +t13383+t12777+t15124+t15259+t15319+t15378; + coeff_dy_0_m1_m2 = t14372*t14826+t13894+t14486+t14555*t14457+t13558+ +t15141+t15150+t15245+t15304; + coeff_dy_p1_m1_m2 = t15080+t13973+t13547+t13550+t14491+t13545+t12767+ +t15103+t15244+t15329; + coeff_dy_p2_m1_m2 = t13931+t13830+t14480+t13536+t12773+t15078+t13146+ +t15092+t15298; + coeff_dy_p3_m1_m2 = t13159+t13154+t13783+t14542+t13780+t15148+t15196; + coeff_dy_m2_0_m2 = t14446*t14669+t13421+t13137+t13422+t13140+t13141+ +t13522+t13142+t15117+t15136+t15344; + coeff_dy_m1_0_m2 = t14543+t13520+t12760+t13677+t13507+t15116+t15141; + coeff_dy_0_0_m2 = t12902+t13586+t14457*t14833+t14688+(t14374+t14199* +t14454)*t14826+t15110+t15310+t15389; + coeff_dy_p1_0_m2 = t13682+t13505+t14507+t12890+t15138+t15170+t15243; + coeff_dy_p2_0_m2 = t13666+t13492+t14530+t14938+t14979+t15163+t15165; + coeff_dy_p3_0_m2 = t14547+t14977+t15001+t15218+t15370; + coeff_dy_m2_p1_m2 = t14478+(t14917+t14361)*t14981+t15074+t13834+t13780+ +t13492+t13476+t13102+t13113+t15234+t15236; + coeff_dy_m1_p1_m2 = t14484+t12746+t13682+t13941+t13830+t13815+t13459+ +t14677+t15080+t15142; + coeff_dy_0_p1_m2 = t13973+t14552*t14457+t14381*t14826+t14492+t13062+ +t14718+t15123+t15170+t15352; + coeff_dy_p1_p1_m2 = t14468+t13586+t13057+t13905+t13677+t13894+t13426+ +t14247*t14574+t14637+t15084+t15399; + coeff_dy_p2_p1_m2 = t12761+t14467+t13851+t14026+t13522+t13107+t14710+ +t15082+t15094; + coeff_dy_p3_p1_m2 = t12790+t13866+t13864+t14517+t13200+t15000+t15128+ +t15299; + coeff_dy_m2_p2_m2 = t13847+t13147+t13081+t13093+t13088+t14694+t14471+ +t13078+t13071+t15114+t15274+t15298+t15376; + coeff_dy_m1_p2_m2 = t13547+t12744+t13836+t14490+t13792+t13435+t13037+ +t15077+t15078; + coeff_dy_0_p2_m2 = t13640+t13944+t14334*t14826+t14569*t14457+t14482+ +t14624+t14676+t15165+t15202; + coeff_dy_p1_p2_m2 = t13820+t13967+t12729+t14479+t13390+t13383+t14659+ +t15094+t15098; + coeff_dy_p2_p2_m2 = t14376*t14574+t12974+t14612+t13759+t14713+t13384+ +t12987+t14702+t15115+t15121+t15259+t15290; + coeff_dy_p3_p2_m2 = t12976+t13694+t13782+t14533+t15145+t15164+t15246; + coeff_dy_m2_p3_m2 = t14453*t13754+t13131+t13185+t13095+t13084+t13050+ +t14735+t14988+t15104+t15162; + coeff_dy_m1_p3_m2 = t12851+t13428+t14508+t13032+t12797+t15148+t15200; + coeff_dy_0_p3_m2 = t13419+t14376*t14974+t13104+t14371*t14826+t14510+ +t14638+t15218+t15336; + coeff_dy_p1_p3_m2 = t13412+t13394+t14500+t12989+t13395+t12990+t15128+ +t15183; + coeff_dy_p2_p3_m2 = t14533+t13372+t12983+t12972+t14605+t15179+t15180; + coeff_dy_p3_p3_m2 = t12963+t12998+t14245*t14574+t14549+t14906+t15351; + coeff_dy_m2_m2_m1 = t15087+t13826+t15001+t12945+y*t13996+t14730+t12958+ +t14673+t12950+t15204+t15279+t15330+t15359; + coeff_dy_m1_m2_m1 = t14644+t12949+t15124+t13702+t13342+(RATIONAL(25.0, +64.0)*t14453+RATIONAL(25.0,192.0))*t14981+t13345+t14666+t13350+t13341+t12717+ +t15134+t15256+t15332; + coeff_dy_0_m2_m1 = t13918+t14486+(t14330*t14456+t14449*z)*y+t14573*t14457 ++t13338+t14715+t15109+t15187+t15362; + coeff_dy_p1_m2_m1 = t15076+t14045+t14491+t13433+t13515+t13449+t15120+ +t15258+t15316; + coeff_dy_p2_m2_m1 = t12996+t12845+t13723+t14480+t13407+t13255+t14708+ +t15096+t15099; + coeff_dy_p3_m2_m1 = t13712+t13394+t13824+t13369+t14532+t15131+t15196; + coeff_dy_m2_m1_m1 = t13988+t12720+t13842+t14262*t14575+t14469+t13356+ +t13281+t12722+t15134+t15222+t15323+t15373; + coeff_dy_m1_m1_m1 = t13832+t12936+t14618+((t14185*t14455+t14241*x)*t14457 ++(t14241*z+t14185*t14456+RATIONAL(125.0,32.0)*t14457)*t14454)*y+t13346+t12940+ +t14073+t14076+t12645+t12644+t13978+(RATIONAL(-175.0,64.0)*t14453+RATIONAL(-25.0 +,24.0))*t14981+t12643+t12647+t14623+t14680; + coeff_dy_0_m1_m1 = t14521+t14561*t14457+(t14256*t14456+t14442*z+(t14353* +t14455+t14356)*t14457)*y+t12938+t13332+t14719+t15292+t15320+t15341+t15343+ +t15347; + coeff_dy_p1_m1_m1 = t12926+t12925+(t14343*t14455+t14207*x)*t15059+t13920+ +t12640+t14470+t13335+t14725+t15122+t15275+t15364; + coeff_dy_p2_m1_m1 = t13550+t14460+(t14166*t14455+t14240*x)*t15059+t14043+ +t14055+t12917+t13329+t13149+t12707+t14627+t15112+t15325; + coeff_dy_p3_m1_m1 = t14036+t14240*t14816+t13878+t13413+t14526+t12727+ +t14931+t15212+t15301; + coeff_dy_m2_0_m1 = t14543+t13361+t12676+t13633+t13201+t15109+t15146; + coeff_dy_m1_0_m1 = t12866+t13253+t13354+RATIONAL(25.0,4.0)*t14669+t12646+ +t12711+t14682+t14972+t14995+t15174+t15320; + coeff_dy_0_0_m1 = t13312+t14423*t14974+t12696+t12697+((t14244+t14151* +t14454)*t14456+(t14155*t14454+t14348)*z)*y+t14705+t14717+t15392+t15394; + coeff_dy_p1_0_m1 = t14509+t13325+t12700+t13320+t14960+t15144+t15194; + coeff_dy_p2_0_m1 = t14540+t13617+t13309+t14943+t14953+t15181+t15182; + coeff_dy_p3_0_m1 = t13311+t13614+t14511+t15300+t15397; + coeff_dy_m2_p1_m1 = t15076+t14484+t13610+t13779+t13306+t13309+t15102+ +t15301+t15381; + coeff_dy_m1_p1_m1 = (RATIONAL(25.0,24.0)+RATIONAL(-25.0,4.0)*t14453)* +t14981+t12896+t13325+t12636+t14470+t13756+t12893+t13290+t14627+t15090+t15214; + coeff_dy_0_p1_m1 = t13920+t14465+(t14255*t14456+t14320*z)*y+t14563*t14457 ++t12888+t14668+t15144+t15154+t15358; + coeff_dy_p1_p1_m1 = t14461+t12810+t14073+(t14167*z+t14190*t14456)*t15041+ +t13354+t13312+t12923+t13353+t15113+t15268+t15324+t15343; + coeff_dy_p2_p1_m1 = t12691+t13832+t15086+t13611+t14466+t13201+t15088+ +t15269+t15270; + coeff_dy_p3_p1_m1 = t14527+t13613+t13295+t13843+t13624+t15152+t15167+ +t15323; + coeff_dy_m2_p2_m1 = t13286+t15085+t13824+t14490+t12882+t13284+t15096+ +t15277+t15325; + coeff_dy_m1_p2_m1 = t13601+t14460+(RATIONAL(-25.0,192.0)+RATIONAL(175.0, +64.0)*t14453)*t14981+t12682+t13815+t13723+t13495+t12878+t13278+t14725+t15118+ +t15291; + coeff_dy_0_p2_m1 = t14045+t14488+t13599+(t14431*z+t14331*t14456)*y+t14568 +*t14457+t14674+t14687+t15182+t15208; + coeff_dy_p1_p2_m1 = t12869+t13689+t13918+t13594+t14466+t13263+t14623+ +t15083+t15091; + coeff_dy_p2_p2_m1 = t12894+t13872+t14493+t13305+t12647+t12722+(t14387* +t14456+t14433*z)*t15041+t15093+t15238+t15279+t15332; + coeff_dy_p3_p2_m1 = t13826+t13721+t13217+t14525+t13195+t15135+t15166; + coeff_dy_m2_p3_m1 = t13147+t12820+t12845+t12860+t14532+t13200+t15189+ +t15200; + coeff_dy_m1_p3_m1 = t13271+t12681+t13273+RATIONAL(-25.0,64.0)*t14669+ +t14940+t14990+t15210+t15212+t15258+t15337; + coeff_dy_0_p3_m1 = t14457*t14919+t13265+(t14413*z+t14368*t14456)*y+t14511 ++t15151+t15285+t15315; + coeff_dy_p1_p3_m1 = t12861+t13341+t13254+t14515+t14653+t15152+t15155; + coeff_dy_p2_p3_m1 = t12855+t12853+t14525+t13245+t12950+t15133+t15206; + coeff_dy_p3_p3_m1 = t12958+t13240+(t14273*z+t14994)*t15041+t14545+t14937+ +t15335; + coeff_dy_m2_m2_0 = t14504+t14571*t14454+(t15061*t14314+(t14889+t14317)* +t14454)*y+t13239+t15136+t15240+t15273+t15302+t15318+t15338; + coeff_dy_m1_m2_0 = t14573*t14454+t13562+(t14449*x+t14330*t14455)*y+t14046 ++t13758+t14485+t15116+t15187+t15282+t15342; + coeff_dy_0_m2_0 = t14367+t14982+(t14329*t14457+RATIONAL(1.0,4.0))*t14453+ +t13004+t14522+(t14433+t14905*t14435)*y+(t14170*t14457+t14379+(t14329+t14211* +t14457)*t14453)*t14454+t14712+t15110+t15353; + coeff_dy_p1_m2_0 = t14472+t14002+(t15055+t14944)*y+t13471+t14553*t14454+ +t14729+t15138+t15207+t15228; + coeff_dy_p2_m2_0 = t14475+t13983+(t15060+t14379*t14455)*y+t13276+t14560* +t14454+t14723+t14728+t15156+t15163; + coeff_dy_p3_m2_0 = t14363*t15066+t13857+t12834+t14562*t14454+t14528+ +t14724+t15263+t15370; + coeff_dy_m2_m1_0 = t14372*t14825+t13939+t14485+t14555*t14454+t13257+ +t15146+t15150+t15242+t15308; + coeff_dy_m1_m1_0 = t13922+t14521+t14561*t14454+(t14442*x+t14256*t14455+( +t14353*t14456+t14356)*t14454)*y+t14698+t15174+t15276+t15294+t15346+t15348; + coeff_dy_0_m1_0 = t15004+(RATIONAL(-7.0,4.0)+t14236*t14457)*t14453+t14421 ++(t14428+t14905*t14366)*y+t14497+(t14332+t14221*t14457+(RATIONAL(-343.0,36.0)* +t14457+t14236)*t14453)*t14454+t13243+t14711+t15250+t15331+t15394; + coeff_dy_p1_m1_0 = t13538+(t14444*x+t14370*t14455)*y+t14567*t14454+t14474 ++t14652+t15153+t15194+t15312+t15313; + coeff_dy_p2_m1_0 = t13283+t14089+t14483+(t14395*x+t14254*t14455)*y+t14550 +*t14454+t14643+t14691+t15181+t15205; + coeff_dy_p3_m1_0 = t14009+t14395*t15066+t14570*t14454+t14498+t15100+ +t15287+t15397; + coeff_dy_m2_0_0 = t14454*t14833+t13596+t12868+t14522+t14678+(t14374+ +t14199*t14457)*t14825+t15389; + coeff_dy_m1_0_0 = t12674+t14423*t14959+((t14151*t14457+t14244)*t14455+( +t14155*t14457+t14348)*x)*y+t14497+t15215+t15223+t15392; + coeff_dy_0_0_0 = t12670+(RATIONAL(4.0,1.0)+t14399*t14457+(RATIONAL(196.0, +9.0)*t14457+t14399)*t14454)*t14453+(t14408+t14905*t14407+(t14192*t14455+t14403) +*t14457+(RATIONAL(-686.0,27.0)*t14457+t14403+t14192*t14456)*t14454)*y+t14665+ +t15257; + coeff_dy_p1_0_0 = t14454*t14948+t13235+t12668+((t14193*t14457+t14327)* +t14455+(t14360+t14172*t14457)*x)*y+t14537+t14645+t15272; + coeff_dy_p2_0_0 = t13581+t14454*t14844+t12833+((t14153*t14457+t14229)* +t14455+t14565*x)*y+t14499+t14588+t15237; + coeff_dy_p3_0_0 = t12832+t13579+t14454*t14930+t14565*t15066+t14630+t15224 ++t15388; + coeff_dy_m2_p1_0 = t14381*t14825+t12821+t13935+t14472+t14552*t14454+ +t14588+t15123+t15213+t15287; + coeff_dy_m1_p1_0 = t13069+t14034+t14563*t14454+(t14255*t14455+t14320*x)*y ++t14474+t14645+t14691+t15154+t15168; + coeff_dy_0_p1_0 = t15003+t14537+t12725+(t14366+t14905*t14307)*y+t14431+( +t14252*t14457+t14347+(t14378+RATIONAL(-196.0,9.0)*t14457)*t14453)*t14454+( +t14378*t14457+RATIONAL(-4.0,1.0))*t14453+t14604+t15105+t15313; + coeff_dy_p1_p1_0 = t14564*t14454+t13816+(t14322*x+t14355*t14455+(t14163* +t14456+t14393)*t14454)*y+t14519+t14711+t15198+t15215+t15257+t15348+t15372; + coeff_dy_p2_p1_0 = t14494+t14075+(t14200*t14455+t14406*x)*y+t12865+t14566 +*t14454+t14678+t15119+t15186+t15346; + coeff_dy_p3_p1_0 = t14813+t13954+t14557*t14454+t14523+t15111+t15233+ +t15308; + coeff_dy_m2_p2_0 = t14334*t14825+t14475+t13929+t13578+t14569*t14454+ +t14643+t14724+t15188+t15202; + coeff_dy_m1_p2_0 = t14568*t14454+t13908+t14483+t13573+(t14331*t14455+ +t14431*x)*y+t14652+t14723+t15184+t15208; + coeff_dy_0_p2_0 = t14334+t13442+(-1.0+t14905*t14430)*y+(t14196*t14457+ +t14330+(t14277+RATIONAL(343.0,36.0)*t14457)*t14453)*t14454+(RATIONAL(7.0,4.0)+ +t14277*t14457)*t14453+t14851+t14499+t14729+t15366+t15390+t15391; + coeff_dy_p1_p2_0 = t14494+t14554*t14454+t13655+(t14439*t14455+t14421*x)*y ++t13353+t15201+t15209+t15221+t15276+t15353; + coeff_dy_p2_p2_0 = t13628+t14502+t14556*t14454+(t14367*x+t14329*t14455+( +t14419+t14431*t14456)*t14454)*y+t14629+t15175+t15242+t15273+t15294+t15342; + coeff_dy_p3_p2_0 = t14367*t15066+t13834+t14559*t14454+t14535+t15130+ +t15302+t15340; + coeff_dy_m2_p3_0 = t13415+t14376*t14959+t13000+t14371*t14825+t14528+ +t14728+t15336+t15375; + coeff_dy_m1_p3_0 = t13219+t14454*t14919+(t14368*t14455+t14413*x)*y+t14531 ++t15100+t15228+t15315; + coeff_dy_0_p3_0 = t13207+(t14434+t14905*t14449)*y+(t14432+t14331*t14457+( +t14331+t14230*t14457)*t14454)*t14453+t14503+t15224+t15271; + coeff_dy_p1_p3_0 = t14722+t13196+(t14446*x+t14422*t14455)*y+t14536+t15111 ++t15282+t15396; + coeff_dy_p2_p3_0 = t14450*t14959+t13439+(t14389*x+t14392*t14455)*y+t14496 ++t15130+t15260+t15338; + coeff_dy_p3_p3_0 = t14454*t14957+t13061+t13078+(t14389*t14455+(t14946+ +t14371)*t14454)*y+t14964+t15240+t15383; + coeff_dy_m2_m2_p1 = t15073+t14478+t13394+(t14980+t14383*z)*t15041+t13929+ +t13743+t13276+t13200+t13025+t15217+t15254; + coeff_dy_m1_m2_p1 = t13271+t13908+t13471+t13407+t14476+t14690+t14706+ +t15120+t15142; + coeff_dy_0_m2_p1 = t14492+(t14422*z+t14925)*y+t13515+t14553*t14457+t15125 ++t15207+t15285+t15296+t15366; + coeff_dy_p1_m2_p1 = t14468+t13562+t13223+t13004+t13993+t13570+t13342+( +RATIONAL(25.0,108.0)+RATIONAL(25.0,36.0)*t14453)*t14981+t13338+t14653+t15108+ +t15221; + coeff_dy_p2_m2_p1 = t13715+t12804+t14467+t13350+t13245+t13239+t14629+ +t15081+t15095; + coeff_dy_p3_m2_p1 = t13856+t13806+t13834+t13240+t14538+t14673+t15176+ +t15299; + coeff_dy_m2_m1_p1 = t13283+t13935+t13413+t13284+t14476+t14651+t14703+ +t15102+t15103; + coeff_dy_m1_m1_p1 = t13538+t14732+(t14207*z+t14343*t14456)*t15041+t14034+ +t14734+t14648+t12878+t12708+t12917+t15090+t15122+t15262; + coeff_dy_0_m1_p1 = t13800+t14465+(t14444*z+t14370*t14456)*y+t14567*t14457 ++t13335+t14604+t14687+t15153+t15173; + coeff_dy_p1_m1_p1 = t13346+t14628+(RATIONAL(-175.0,36.0)*t14453+RATIONAL( +-50.0,27.0))*t14981+t12869+t13816+t13332+t15089+t14698+t13243+t15113+t15190+ +t15339; + coeff_dy_p2_m1_p1 = t13859+t14075+t12657+t14463+t13305+t13257+t14618+ +t15079+t15086; + coeff_dy_p3_m1_p1 = t14524+t13954+t13356+t13195+t14716+t15167+t15193; + coeff_dy_m2_0_p1 = t13610+t14507+t12833+t13311+t15125+t15213+t15305; + coeff_dy_m1_0_p1 = t14509+t12668+t13290+t14953+t15168+t15173+t15393; + coeff_dy_0_0_p1 = t12700+t14457*t14948+t12666+((t14327+t14193*t14454)* +t14456+(t14360+t14172*t14454)*z)*y+t14597+t15105+t15272+t15358; + coeff_dy_p1_0_p1 = t13481+t12670+t12674+RATIONAL(100.0,9.0)*t14669+t14519 ++t12697+t14995+t15169+t15268; + coeff_dy_p2_0_p1 = t14512+t12866+t13337+t13611+t12868+t15186+t15199+ +t15333; + coeff_dy_p3_0_p1 = t13361+t13613+t14539+t15233+t15327; + coeff_dy_m2_p1_p1 = t14700+t13988+t14716+t13295+t12865+t15084+t13939+ +t13596+t13633+t14247*t14575+t15108+t15297+t15333; + coeff_dy_m1_p1_p1 = t13922+t13859+t14461+t13253+t13481+t14076+(t14167*x+ +t14190*t14455)*t15059+t15089+t15223+t15269+t15372; + coeff_dy_0_p1_p1 = (t14355*t14456+t14322*z+(t14393+t14163*t14455)*t14457) +*y+t14628+t14564*t14457+t12779+t14665+t12923+t14717+t15169+t15198+t15250+t15347 +; + coeff_dy_p1_p1_p1 = t13069+t13235+t12725+t13800+(RATIONAL(-100.0,9.0)* +t14453+RATIONAL(50.0,27.0))*t14981+((t14143*t14455+t14171*x)*t14457+(t14143* +t14456+t14171*z+RATIONAL(250.0,27.0)*t14457)*t14454)*y+t12888+t13320+t14597+ +t14732+t15214+t15275+t15312+t15393; + coeff_dy_p2_p1_p1 = t15071+t12821+t12896+(t14275*x+t14194*t14455)*t15059+ +t14089+t14055+t13617+t13581+t14648+t14686+t15195+t15251+t15305; + coeff_dy_p3_p1_p1 = t14009+t14036+t14275*t14816+t13614+t13579+t13306+ +t14529+t14651+t15177; + coeff_dy_m2_p2_p1 = t13628+t15072+t13217+t12657+t13806+t14479+t13281+ +t15095+t15318; + coeff_dy_m1_p2_p1 = t13715+t12940+t13655+t14046+t15079+t14495+t15083+ +t15238+t15339; + coeff_dy_0_p2_p1 = (t14439*t14456+t14421*z)*y+t13993+t14554*t14457+t13594 ++t14487+t14712+t14719+t15199+t15209; + coeff_dy_p1_p2_p1 = t15071+t13601+t13442+t12925+t14489+t14002+t13599+( +RATIONAL(-25.0,108.0)+RATIONAL(175.0,36.0)*t14453)*t14981+t13573+t15262+t15296; + coeff_dy_p2_p2_p1 = t13983+t14706+t13809+t15101+t14734+t14703+t13578+ +t13569+t13495+(t14437*z+t14421*t14456)*t15041+t13329+t15137+t15217; + coeff_dy_p3_p2_p1 = t13286+t13857+t13743+t14516+t14931+t15132+t15172; + coeff_dy_m2_p3_p1 = t13493+t13439+t14500+t12804+t14937+t15107+t15176; + coeff_dy_m1_p3_p1 = t14524+t13196+t13223+t12853+t15127+t15155+t15256; + coeff_dy_0_p3_p1 = t13254+t14679+(t14422*t14456+t14446*z)*y+t14539+t15140 ++t15362+t15396; + coeff_dy_p1_p3_p1 = t14298*t14669+t13265+t13449+t14529+t13273+t13219+ +t13207+t14690+t15171; + coeff_dy_p2_p3_p1 = t13415+t14518+t13025+t13255+t14940+t15147+t15172; + coeff_dy_p3_p3_p1 = t12820+t13369+(t15045+t14895)*t15041+t14548+t15254+ +t15385; + coeff_dy_m2_m2_p2 = t12996+y*t13769+t14726+t13867+t14590+t14727+t13180+ +t12822+t15106+t13095+t15114+t15277+t15278; + coeff_dy_m1_m2_p2 = t13433+t13852+t13032+t14473+t15077+t13188+t13068+ +t15099+t15291; + coeff_dy_0_m2_p2 = t13469+t13986+(t14379*t14456+t14363*z)*y+t14560*t14457 ++t14482+t14638+t14674+t15156+t15192; + coeff_dy_p1_m2_p2 = t14481+t12989+t13962+t13758+t13689+t13222+t13345+ +t15081+t15098+t15334; + coeff_dy_p2_m2_p2 = t12945+t13103+(t14386+RATIONAL(1.0,16.0)*t14453)* +t14981+t13872+t14477+t13372+t12717+t13015+t12995+t14636+t15121+t15317; + coeff_dy_p3_m2_p2 = t13721+t13757+t14501+t12963+t14656+t15160+t15164; + coeff_dy_m2_m1_p2 = t13159+t13779+t13900+t14473+t12707+t13071+t14649+ +t15085+t15092; + coeff_dy_m1_m1_p2 = t15112+t12926+t14693+t12744+(t14240*z+t14166*t14456)* +t15041+t13756+t12773+t14709+t14654+t15118+t15241+t15248; + coeff_dy_0_m1_p2 = t14550*t14457+(t14254*t14456+t14395*z)*y+t14488+t14098 ++t13545+t14668+t14676+t15158+t15205; + coeff_dy_p1_m1_p2 = t12936+t14084+t15091+t12729+t13558+t14463+t15097+ +t15324+t15350; + coeff_dy_p2_m1_p2 = t12796+t12780+t12720+t13977+t12644+t15075+t14493+ +t13384+(t14441+RATIONAL(-7.0,16.0)*t14453)*t14981+t15270+t15363; + coeff_dy_p3_m1_p2 = t12976+t14541+t12850+t13843+t13948+t15139+t15166; + coeff_dy_m2_0_p2 = t13669+t13476+t14530+t14943+t14977+t15188+t15192; + coeff_dy_m1_0_p2 = t14540+t13659+t13459+t14938+t14960+t15158+t15184; + coeff_dy_0_0_p2 = t13227+t12890+t14457*t14844+t13643+((t14229+t14153* +t14454)*t14456+t14551*z)*y+t14707+t14718+t15237+t15390; + coeff_dy_p1_0_p2 = t14512+t13636+t12902+t14972+t15157+t15201+t15399; + coeff_dy_p2_0_p2 = t13685+t12760+t12676+t12646+t14669+t14502+t13137+ +t14710+t15161; + coeff_dy_p3_0_p2 = t13141+t13200+t14534+t15280+t15340; + coeff_dy_m2_p1_p2 = t12691+t14481+t15072+t13685+t12790+t13842+t13948+ +t15082+t15344; + coeff_dy_m1_p1_p2 = t12761+t13520+t12810+t13977+t13636+t14495+t14680+ +t15088+t15097; + coeff_dy_0_p1_p2 = t14084+t13057+(t14406*z+t14200*t14456)*y+t14566*t14457 ++t14487+t14688+t15119+t15157+t15341; + coeff_dy_p1_p1_p2 = t13643+t14489+(t14275*z+t14194*t14456)*t15041+t14098+ +t13659+t12893+t13062+t15195+t15229+t15241+t15243+t15364; + coeff_dy_p2_p1_p2 = t12746+t14043+t12636+(-t14453+t14434)*t14981+t13666+ +t13669+t14464+t14693+t15137+t15236+t15381; + coeff_dy_p3_p1_p2 = t13493+t13878+t13900+t14516+t13113+t15129+t15149; + coeff_dy_m2_p2_p2 = t14376*t14575+t13757+t13781+t12819+t12894+t14477+ +t15115+t15246+t15359+t15363+t15373; + coeff_dy_m1_p2_p2 = t13733+(t14433*x+t14387*t14455)*t15059+t14636+t15093+ +t13734+t15075+t13702+t12987+t13263+t12777+t12643+t15239+t15350; + coeff_dy_0_p2_p2 = (t14367*z+t14329*t14456+(t14431*t14455+t14419)*t14457) +*y+t14715+t13962+t14659+t14556*t14457+t15161+t15175+t15284+t15292+t15293+t15304 +; + coeff_dy_p1_p2_p2 = (t14421*t14455+t14437*x)*t15059+t13640+t13986+t12640+ +t13278+t12767+t14464+t14709+t15101+t15265+t15316; + coeff_dy_p2_p2_p2 = t13088+t12682+t13867+t13852+t13708+(t14319+RATIONAL( +7.0,16.0)*t14453)*t14981+t13536+t13037+((t14324*t14455+t14396*x)*t14457+(t14396 +*z+t14432*t14457+t14324*t14456)*t14454)*y+t12882+t13149+t14649+t14654+t14708+ +t15225; + coeff_dy_p3_p2_p2 = t13712+t13730+t13093+t13154+t14396*t14816+t12897+ +t12727+t14505+t14726+t15216; + coeff_dy_m2_p3_p2 = t12855+t14513+t12952+t14906+t15160+t15179+t15317; + coeff_dy_m1_p3_p2 = t12861+t13222+t12983+t13128+t14506+t15139+t15206; + coeff_dy_0_p3_p2 = t13394+t14450*t14974+(t14389*z+t14392*t14456)*y+t14534 ++t15126+t15260+t15289; + coeff_dy_p1_p3_p2 = t14518+t13419+t13047+t13188+t14990+t15149+t15159; + coeff_dy_p2_p3_p2 = t12851+RATIONAL(-1.0,16.0)*t14669+t12860+t12681+ +t13465+t13131+t14505+t14727+t15185; + coeff_dy_p3_p3_p2 = t13050+t13176+t12830+(t15043+t14856)*t15041+t14590+ +t15253+t15303; + coeff_dy_m2_m2_p3 = t13847+t13097+t13713+y*t13783+t14514+t13186+t14984+ +t15008+t15162; + coeff_dy_m1_m2_p3 = t13424+t13439+t13836+t13716+t14508+t15131+t15191; + coeff_dy_0_m2_p3 = t14363*t15042+t14562*t14457+t14510+t14624+t14989+ +t15226+t15263; + coeff_dy_p1_m2_p3 = t13820+t13415+t13780+t14538+t14996+t15178+t15183; + coeff_dy_p2_m2_p3 = t13703+t13759+t14501+t13005+t14890+t15143+t15180; + coeff_dy_p3_m2_p3 = t13694+t12956+t13695+(t14864+t14198)*t14981+t14641+ +t15311+t15351; + coeff_dy_m2_m1_p3 = t13740+t14542+t13834+t13146+t14973+t15189+t15191; + coeff_dy_m1_m1_p3 = t14240*t14764+t13941+t13735+t13930+t14526+t12733+ +t14910+t15210+t15329; + coeff_dy_0_m1_p3 = t13926+t14395*t15042+t14570*t14457+t14498+t15151+ +t15247+t15352; + coeff_dy_p1_m1_p3 = t14021+t13553+t13406+t14515+t14637+t15193+t15197; + coeff_dy_p2_m1_p3 = t13850+t14541+t12979+t12854+t14026+t15133+t15203; + coeff_dy_p3_m1_p3 = t13866+t13839+(t14280+t14998)*t14981+t14545+t15266+ +t15384; + coeff_dy_m2_0_p3 = t14547+t14900+t14979+t15226+t15375; + coeff_dy_m1_0_p3 = t13505+t13606+t14531+t15247+t15300; + coeff_dy_0_0_p3 = t14457*t14930+t13567+t14551*t15042+t14503+t15388; + coeff_dy_p1_0_p3 = t13681+t13507+t14536+t15230+t15327; + coeff_dy_p2_0_p3 = t13428+t13140+t14496+t15280+t15371; + coeff_dy_p3_0_p3 = t13142+t14453*t13950+t14544+t15383; + coeff_dy_m2_p1_p3 = t13839+t13857+t13428+t14517+t13107+t15107+t15178; + coeff_dy_m1_p1_p3 = t13850+t14527+t13426+t13681+t15127+t15197+t15378; + coeff_dy_0_p1_p3 = t14758+t14021+t14557*t14457+t14523+t15140+t15230+ +t15245; + coeff_dy_p1_p1_p3 = t13567+t13926+t13930+t14275*t14764+t13606+t14677+ +t15171+t15177+t15244+t15306; + coeff_dy_p2_p1_p3 = t13931+t13735+t14520+t13395+t13102+t15129+t15147; + coeff_dy_p3_p1_p3 = t13783+t13740+(t14962+t14268)*t14981+t15234+t15264+ +t15374+t15385; + coeff_dy_m2_p2_p3 = t12974+t12979+t13747+t13695+t14513+t15143+t15145; + coeff_dy_m1_p2_p3 = t13703+t13406+t13841+t13390+t14506+t15135+t15203; + coeff_dy_0_p2_p3 = t14367*t15042+t13780+t14559*t14457+t14535+t15126+ +t15295+t15371; + coeff_dy_p1_p2_p3 = t13795+t14520+t13864+t13435+t14910+t15132+t15159; + coeff_dy_p2_p2_p3 = t14396*t14764+t12733+t13886+t13716+t13081+t13494+ +t14595+t14973+t14984+t15185+t15216; + coeff_dy_p3_p2_p3 = t13713+t13729+(t14156+t14883)*t14981+t14546+t15274+ +t15303; + coeff_dy_m2_p3_p3 = t12972+t13001+t14245*t14575+t14549+t14890+t15311; + coeff_dy_m1_p3_p3 = t13145+t12990+(t15040+t14846)*t15059+t14996+t15266+ +t15335+t15387; + coeff_dy_0_p3_p3 = t13078+t13400+t14457*t14957+(t14389*t14456+(t14371+ +t14997)*t14457)*y+t14544+t15382; + coeff_dy_p1_p3_p3 = t12797+t13424+(t14216*x+t14983)*t15059+t14548+t15374+ +t15380; + coeff_dy_p2_p3_p3 = t13560+t13084+(t14272*x+t14986)*t15059+t14546+t15008+ +t15253; + coeff_dy_p3_p3_p3 = t13183+t14457*t14594+t13097+(t13782+(t14975+t14976)* +t14454)*y+t14988; |