fp t1153,
   t1158,
   t1054,
   t1160,
   t1055,
   t1212,
   t1146,
   t1060,
   t1159,
   t1078,
   t1264,
   t1076,
   t1263,
   t1150,
   t1069,
   t1087,
   t1206,
   t1053,
   t1262,
   t1152,
   t1062,
   t1261,
   t1260,
   t1061,
   t1201,
   t1259,
   t1258,
   t1057,
   t1199,
   t1257,
   t1075,
   t1256,
   t1255,
   t1254,
   t1253,
   t1252,
   t1251,
   t1083,
   t1250,
   t1086,
   t1249,
   t1135,
   t1044,
   t1001,
   t1248,
   t1082,
   t1247,
   t1080,
   t1246,
   t1245,
   t1244,
   t1077,
   t1243,
   t1081,
   t1242,
   t1238,
   t1003,
   t1241,
   t1240,
   t1239,
   t1237,
   t1131,
   t1034,
   t1138,
   t1049,
   t1141,
   t1043,
   t1236,
   t1007,
   t998,
   t1235,
   t999,
   t1234,
   t1006,
   t1233,
   t1004,
   t1232,
   t1231,
   t1230,
   t1009,
   t1229,
   t1073,
   t1228,
   t1008,
   t1227,
   t1225,
   t1223,
   t1222,
   t1010,
   t1221,
   t1220,
   t1219,
   t1217,
   t1216,
   t1215,
   t1011,
   t1214,
   t1211,
   t1005,
   t1210,
   t1208,
   t1115,
   t1207,
   t1204,
   t1203,
   t1202,
   t1198,
   t1151,
   t1197,
   t1196,
   t1195,
   t1194,
   t1193,
   t1192,
   t1191,
   t997,
   t1190,
   t996,
   t1189,
   t1188,
   t1187,
   t1186,
   t1002,
   t1185,
   t1184,
   t1085,
   t1183,
   t1182,
   t1181,
   t1180,
   t1179,
   t1178,
   t1177,
   t1176,
   t1175,
   t1174,
   t1173,
   t1000,
   t1172,
   t1171,
   t1051,
   t1170,
   t1169,
   t1168,
   t1167,
   t1166,
   t1074,
   t1165,
   t1164,
   t1163,
   t1162,
   t1161,
   t1149,
   t1148,
   t1147,
   t1144,
   t1143,
   t1142,
   t1140,
   t1137,
   t1136,
   t1134,
   t1129,
   t1128,
   t1127,
   t1126,
   t1124,
   t1121,
   t1119,
   t1117,
   t1113,
   t1112,
   t1111,
   t1109,
   t1108,
   t1107,
   t1106,
   t1105,
   t1102,
   t1098,
   t1070,
   t1068,
   t1067,
   t1065,
   t1064,
   t1063,
   t1059,
   t1058,
   t1056,
   t1052,
   t1050,
   t1048,
   t1047,
   t1046,
   t1045,
   t1042,
   t1041,
   t1040,
   t1039,
   t1038,
   t1037,
   t1036,
   t1035,
   t1033,
   t1032,
   t1030,
   t1029,
   t1028,
   t1027,
   t1026,
   t1025,
   t1024,
   t1023,
   t1022,
   t1021,
   t1020,
   t1019,
   t1018,
   t1017,
   t1016,
   t1015,
   t1014,
   t1013,
   t1012;
      t1153 = RATIONAL(-1.0,160.0);
      t1158 = z*z;
      t1054 = t1153*t1158;
      t1160 = x*x;
      t1055 = t1153*t1160;
      t1212 = t1054+t1055;
      t1146 = RATIONAL(3.0,160.0);
      t1060 = t1146*t1160;
      t1159 = y*y;
      t1078 = RATIONAL(-1.0,32.0)*t1159;
      t1264 = t1060+t1078;
      t1076 = RATIONAL(1.0,32.0)*t1159;
      t1263 = t1060+t1076;
      t1150 = RATIONAL(1.0,160.0);
      t1069 = t1150*t1158;
      t1087 = RATIONAL(-3.0,32.0)*t1159;
      t1206 = t1069+t1087;
      t1053 = t1150*t1160;
      t1262 = t1206+t1053;
      t1152 = RATIONAL(-3.0,160.0);
      t1062 = t1152*t1158;
      t1261 = t1062+t1264;
      t1260 = RATIONAL(-4.0,375.0)+RATIONAL(-1.0,40.0)*y;
      t1061 = t1152*t1160;
      t1201 = t1061+t1062;
      t1259 = t1076+t1201;
      t1258 = t1206+t1055;
      t1057 = t1146*t1158;
      t1199 = t1061+t1057;
      t1257 = t1199+t1078;
      t1075 = RATIONAL(3.0,40.0)*y;
      t1256 = RATIONAL(-97.0,3000.0)+t1075;
      t1255 = t1078+t1201;
      t1254 = t1057+t1264;
      t1253 = t1087+t1212;
      t1252 = t1053+t1087+t1054;
      t1251 = t1062+t1263;
      t1083 = RATIONAL(3.0,80.0)*y;
      t1250 = RATIONAL(53.0,12000.0)+t1083;
      t1086 = RATIONAL(1.0,40.0)*y;
      t1249 = RATIONAL(-17.0,3000.0)+t1086;
      t1135 = RATIONAL(-3.0,1000.0);
      t1044 = t1135*z;
      t1001 = x*t1044;
      t1248 = RATIONAL(53.0,1000.0)+t1075+t1001;
      t1082 = RATIONAL(1.0,20.0)*y;
      t1247 = t1082+RATIONAL(-29.0,6000.0);
      t1080 = RATIONAL(-1.0,80.0)*y;
      t1246 = t1080+RATIONAL(-167.0,12000.0);
      t1245 = t1057+t1263;
      t1244 = t1199+t1076;
      t1077 = RATIONAL(7.0,80.0)*y;
      t1243 = t1077+RATIONAL(-607.0,12000.0);
      t1081 = RATIONAL(1.0,80.0)*y;
      t1242 = RATIONAL(-137.0,12000.0)+t1081;
      t1238 = x*z;
      t1003 = RATIONAL(3.0,1000.0)*t1238;
      t1241 = t1003+RATIONAL(183.0,4000.0)+t1077;
      t1240 = RATIONAL(141.0,2000.0)+t1001+t1082;
      t1239 = RATIONAL(323.0,4000.0)+t1003+t1083;
      t1237 = x+z;
      t1131 = RATIONAL(-27.0,1000.0);
      t1034 = t1131*z;
      t1138 = RATIONAL(-9.0,1000.0);
      t1049 = t1138*x;
      t1141 = RATIONAL(-1.0,1000.0);
      t1043 = t1141*z;
      t1236 = RATIONAL(-3.0,80.0)*y;
      t1007 = x*t1083;
      t998 = z*t1049;
      t1235 = t1007+t998;
      t999 = RATIONAL(9.0,1000.0)*t1238;
      t1234 = t1007+t999;
      t1006 = x*t1081;
      t1233 = t1006+t999;
      t1004 = x*t1236;
      t1232 = t1004+t999;
      t1231 = t1004+t998;
      t1230 = t1069+t1007;
      t1009 = z*t1081;
      t1229 = t1009+t1055;
      t1073 = RATIONAL(3.0,32.0)*t1159;
      t1228 = t1073+t1001;
      t1008 = z*t1083;
      t1227 = t1008+t1007;
      t1225 = t1008+t1053;
      t1223 = t1009+t1006;
      t1222 = t1006+t1054;
      t1010 = z*t1236;
      t1221 = t1010+t1053;
      t1220 = t1010+t1004;
      t1219 = t1003+t1073;
      t1217 = t1069+t1004;
      t1216 = t1069+t1053;
      t1215 = t1073+RATIONAL(-1.0,8.0)*y;
      t1011 = z*t1080;
      t1214 = t1011+t1006;
      t1211 = t1010+t1007;
      t1005 = x*t1080;
      t1210 = t1009+t1005;
      t1208 = t1011+t1055;
      t1115 = RATIONAL(-21.0,2000.0);
      t1207 = t1115*z+t1005;
      t1204 = t1054+t1005;
      t1203 = t1008+t1004;
      t1202 = t1011+t1005;
      t1198 = t1034+t1005+t999;
      t1151 = RATIONAL(-9.0,500.0);
      t1197 = t1006+t1151*z+t998;
      t1196 = t1086+t1227;
      t1195 = RATIONAL(1.0,10.0)*y+t1220;
      t1194 = t1075+t1202;
      t1193 = t1082+t1223;
      t1192 = t999+t1262;
      t1191 = t1073+t998+t1212;
      t997 = RATIONAL(27.0,1000.0)*t1238;
      t1190 = t997+t1245;
      t996 = x*t1034;
      t1189 = t996+t1255;
      t1188 = RATIONAL(-3.0,20.0)*y+RATIONAL(-49.0,2000.0)+t1228;
      t1187 = t1010+t1261;
      t1186 = t1009+t1252;
      t1002 = x*t1043;
      t1185 = t1002+t1073+t1216;
      t1184 = t1008+t1261;
      t1085 = RATIONAL(-9.0,80.0)*y;
      t1183 = RATIONAL(-137.0,4000.0)+t1085+t1219;
      t1182 = t1011+t1252;
      t1181 = t1001+t1254;
      t1180 = t1008+t1244;
      t1179 = t1011+t1251;
      t1178 = t1009+t1251;
      t1177 = t1003+t1259;
      t1176 = t1010+t1244;
      t1175 = t1011+t1257;
      t1174 = t1006+t1258;
      t1173 = RATIONAL(-79.0,2000.0)+RATIONAL(-1.0,10.0)*y+t1228;
      t1000 = RATIONAL(1.0,1000.0)*t1238;
      t1172 = t1000+t1253;
      t1171 = t1009+t1257;
      t1051 = RATIONAL(-11.0,80.0)*y;
      t1170 = RATIONAL(-107.0,4000.0)+t1051+t1219;
      t1169 = t1005+t1258;
      t1168 = RATIONAL(-41.0,750.0)+t996+t1245;
      t1167 = t1001+RATIONAL(79.0,3000.0)+t1259;
      t1166 = RATIONAL(-33.0,2000.0)+t999+t1212+t1215;
      t1074 = RATIONAL(1.0,16.0)*y;
      t1165 = t1074+t997+RATIONAL(281.0,12000.0)+t1255;
      t1164 = t1074+RATIONAL(191.0,4000.0)+t998+t1262;
      t1163 = t1002+RATIONAL(299.0,4000.0)+t1074+t1253;
      t1162 = RATIONAL(-87.0,2000.0)+t1000+t1215+t1216;
      t1161 = t1003+t1074+RATIONAL(-691.0,12000.0)+t1254;
      t1149 = RATIONAL(-1.0,500.0);
      t1148 = RATIONAL(-9.0,250.0);
      t1147 = RATIONAL(2.0,125.0);
      t1144 = RATIONAL(-7.0,250.0);
      t1143 = RATIONAL(-1.0,250.0);
      t1142 = RATIONAL(-3.0,2000.0);
      t1140 = RATIONAL(-1.0,2000.0);
      t1137 = RATIONAL(11.0,500.0);
      t1136 = RATIONAL(-7.0,2000.0);
      t1134 = RATIONAL(-17.0,500.0);
      t1129 = RATIONAL(19.0,1000.0);
      t1128 = RATIONAL(43.0,2000.0);
      t1127 = RATIONAL(31.0,2000.0);
      t1126 = RATIONAL(37.0,2000.0);
      t1124 = RATIONAL(27.0,2000.0);
      t1121 = RATIONAL(-37.0,1000.0);
      t1119 = RATIONAL(13.0,1000.0);
      t1117 = RATIONAL(-19.0,2000.0);
      t1113 = RATIONAL(93.0,2000.0);
      t1112 = RATIONAL(-23.0,2000.0);
      t1111 = RATIONAL(-31.0,1000.0);
      t1109 = RATIONAL(-17.0,2000.0);
      t1108 = RATIONAL(-39.0,2000.0);
      t1107 = RATIONAL(33.0,2000.0);
      t1106 = RATIONAL(49.0,2000.0);
      t1105 = RATIONAL(-13.0,2000.0);
      t1102 = RATIONAL(111.0,2000.0);
      t1098 = RATIONAL(129.0,2000.0);
      t1070 = t1144*x;
      t1068 = t1147*x;
      t1067 = t1143*z;
      t1065 = t1149*z;
      t1064 = t1147*z;
      t1063 = t1144*z;
      t1059 = t1151*x;
      t1058 = t1148*x;
      t1056 = t1148*z;
      t1052 = t1149*x;
      t1050 = t1143*x;
      t1048 = t1135*x;
      t1047 = t1141*x;
      t1046 = t1137*x;
      t1045 = t1134*z;
      t1042 = t1136*x;
      t1041 = t1137*z;
      t1040 = t1140*x;
      t1039 = t1134*x;
      t1038 = t1138*z;
      t1037 = t1140*z;
      t1036 = t1136*z;
      t1035 = t1126*x;
      t1033 = t1121*z;
      t1032 = t1117*x;
      t1030 = t1127*x;
      t1029 = t1127*z;
      t1028 = t1106*z;
      t1027 = t1128*x;
      t1026 = t1119*z;
      t1025 = t1129*z;
      t1024 = t1111*z;
      t1023 = t1115*x;
      t1022 = t1105*x;
      t1021 = t1106*x;
      t1020 = t1126*z;
      t1019 = t1121*x;
      t1018 = t1111*x;
      t1017 = t1105*z;
      t1016 = t1131*x;
      t1015 = t1117*z;
      t1014 = t1128*z;
      t1013 = t1119*x;
      t1012 = t1129*x;
      coeff_dy_m1_m1_m1 = RATIONAL(-47.0,1500.0)+t1237*RATIONAL(147.0,2000.0)+
t1189+t1195;
      coeff_dy_0_m1_m1 = t1040+t1098*z+t1005+t998+t1187+t1243;
      coeff_dy_p1_m1_m1 = t1019+t1102*z+t1187+t1233+t1256;
      coeff_dy_p2_m1_m1 = t1113*z+t1058+t1165+t1211;
      coeff_dy_m1_0_m1 = t1040+RATIONAL(-39.0,4000.0)+RATIONAL(-13.0,80.0)*y+
t1037+t1191+t1227;
      coeff_dy_0_0_m1 = t1109*x+t1036+t1188+t1222+t1225;
      coeff_dy_p1_0_m1 = t1017+t1050+t1170+t1204+t1225;
      coeff_dy_p2_0_m1 = t1015+t1013+t1166+t1203;
      coeff_dy_m1_p1_m1 = t1019+t1033+RATIONAL(157.0,2000.0)+t1192+t1196;
      coeff_dy_0_p1_m1 = t1045+t1008+t1050+t1174+t1239;
      coeff_dy_p1_p1_m1 = t1107*x+t1008+t1024+t1169+t1240;
      coeff_dy_p2_p1_m1 = t1063+t1021+t1164+t1203;
      coeff_dy_m1_p2_m1 = RATIONAL(-449.0,12000.0)+t1056+t1058+t1083+t1190+
t1220;
      coeff_dy_0_p2_m1 = t1013+t1176+t1198+t1249;
      coeff_dy_p1_p2_m1 = t1021+t1176+t1197+t1242;
      coeff_dy_p2_p2_m1 = t1038+t1142*x+t1168+t1211;
      coeff_dy_m1_m1_0 = t1037+t1098*x+t1175+t1231+t1243;
      coeff_dy_0_m1_0 = RATIONAL(-437.0,6000.0)+t1036+t1042+t1181+t1194;
      coeff_dy_p1_m1_0 = t1039+t1017+t1161+t1214;
      coeff_dy_p2_m1_0 = t1015+t1016+t1175+t1234+t1247;
      coeff_dy_m1_0_0 = t1109*z+t1042+t1188+t1229+t1230;
      coeff_dy_0_0_0 = t1051+t1032+RATIONAL(-161.0,4000.0)+t1015+t1185+t1223;
      coeff_dy_p1_0_0 = t1048+t1009+t1162+t1207;
      coeff_dy_p2_0_0 = t1068+t1112*z+t1183+t1217+t1229;
      coeff_dy_m1_p1_0 = t1039+t1007+t1067+t1186+t1239;
      coeff_dy_0_p1_0 = RATIONAL(21.0,250.0)+t1048+t1044+t1172+t1193;
      coeff_dy_p1_p1_0 = t1065+t1030+t1163+t1210;
      coeff_dy_p2_p1_0 = t1043+t1004+t1027+t1186+t1248;
      coeff_dy_m1_p2_0 = t1016+t1026+t1179+t1232+t1249;
      coeff_dy_0_p2_0 = t1068+t1064+t1081+RATIONAL(349.0,12000.0)+t1177+t1202;
      coeff_dy_p1_p2_0 = t1027+t1025+t1167+t1214;
      coeff_dy_p2_p2_0 = t1041+t1023+t1179+t1235+t1246;
      coeff_dy_m1_m1_p1 = t1102*x+t1033+t1171+t1232+t1256;
      coeff_dy_0_m1_p1 = t1022+t1045+t1161+t1210;
      coeff_dy_p1_m1_p1 = t1018+RATIONAL(-17.0,375.0)+t1024+t1181+t1193;
      coeff_dy_p2_m1_p1 = t1059+t1063+t1171+t1235+t1250;
      coeff_dy_m1_0_p1 = t1022+t1067+t1170+t1208+t1230;
      coeff_dy_0_0_p1 = t1044+t1023+t1162+t1214;
      coeff_dy_p1_0_p1 = RATIONAL(-191.0,4000.0)+t1052+t1085+t1065+t1185+t1202;
      coeff_dy_p2_0_p1 = t1043+t1012+t1173+t1208+t1217;
      coeff_dy_m1_p1_p1 = t1007+t1107*z+t1018+t1182+t1240;
      coeff_dy_0_p1_p1 = t1052+t1029+t1163+t1214;
      coeff_dy_p1_p1_p1 = RATIONAL(133.0,2000.0)+t1237*RATIONAL(29.0,2000.0)+
t1172+t1194;
      coeff_dy_p2_p1_p1 = t1035+t1124*z+t1004+t1182+t1241;
      coeff_dy_m1_p2_p1 = t1059+t1028+t1178+t1231+t1242;
      coeff_dy_0_p2_p1 = t1012+t1014+t1167+t1210;
      coeff_dy_p1_p2_p1 = RATIONAL(319.0,12000.0)+t1035+t1020+t1080+t1177+t1223
;
      coeff_dy_p2_p2_p1 = t1108*x+t1029+t1178+t1234+t1260;
      coeff_dy_m1_m1_p2 = t1113*x+t1056+t1165+t1203;
      coeff_dy_0_m1_p2 = t1032+t1184+t1198+t1247;
      coeff_dy_p1_m1_p2 = t1070+t1184+t1197+t1250;
      coeff_dy_p2_m1_p2 = t1038+t1049+RATIONAL(307.0,6000.0)+t1189+t1196;
      coeff_dy_m1_0_p2 = t1026+t1032+t1166+t1211;
      coeff_dy_0_0_p2 = t1064+t1112*x+t1183+t1221+t1222;
      coeff_dy_p1_0_p2 = t1047+t1025+t1173+t1204+t1221;
      coeff_dy_p2_0_p2 = t1046+RATIONAL(-7.0,80.0)*y+t1041+RATIONAL(-129.0,
4000.0)+t1191+t1220;
      coeff_dy_m1_p1_p2 = t1070+t1028+t1164+t1211;
      coeff_dy_0_p1_p2 = t1047+t1010+t1014+t1174+t1248;
      coeff_dy_p1_p1_p2 = t1010+t1124*x+t1020+t1169+t1241;
      coeff_dy_p2_p1_p2 = RATIONAL(13.0,500.0)+t1030+t1029+t1192+t1195;
      coeff_dy_m1_p2_p2 = t1049+t1142*z+t1168+t1203;
      coeff_dy_0_p2_p2 = t1046+t998+t1180+t1207+t1246;
      coeff_dy_p1_p2_p2 = t1030+t1108*z+t1180+t1233+t1260;
      coeff_dy_p2_p2_p2 = RATIONAL(-539.0,12000.0)+t1236+t1237*RATIONAL(-57.0,
2000.0)+t1190+t1227;