fp t1423;
fp t1429;
fp t1339;
fp t1430;
fp t1336;
fp t1477;
fp t1352;
fp t1517;
fp t1516;
fp t1337;
fp t1515;
fp t1428;
fp t1342;
fp t1419;
fp t1320;
fp t1328;
fp t1514;
fp t1348;
fp t1513;
fp t1356;
fp t1420;
fp t1321;
fp t1322;
fp t1512;
fp t1344;
fp t1511;
fp t1403;
fp t1500;
fp t1270;
fp t1510;
fp t1341;
fp t1509;
fp t1351;
fp t1508;
fp t1468;
fp t1507;
fp t1467;
fp t1506;
fp t1405;
fp t1306;
fp t1268;
fp t1505;
fp t1415;
fp t1331;
fp t1335;
fp t1469;
fp t1504;
fp t1347;
fp t1406;
fp t1308;
fp t1269;
fp t1503;
fp t1353;
fp t1502;
fp t1271;
fp t1345;
fp t1501;
fp t1499;
fp t1411;
fp t1319;
fp t1498;
fp t1346;
fp t1297;
fp t1280;
fp t1281;
fp t1497;
fp t1277;
fp t1496;
fp t1275;
fp t1276;
fp t1495;
fp t1279;
fp t1494;
fp t1493;
fp t1491;
fp t1489;
fp t1488;
fp t1278;
fp t1487;
fp t1350;
fp t1354;
fp t1486;
fp t1485;
fp t1484;
fp t1483;
fp t1482;
fp t1481;
fp t1274;
fp t1480;
fp t1479;
fp t1478;
fp t1475;
fp t1474;
fp t1472;
fp t1471;
fp t1470;
fp t1466;
fp t1465;
fp t1464;
fp t1463;
fp t1462;
fp t1461;
fp t1266;
fp t1460;
fp t1273;
fp t1459;
fp t1458;
fp t1457;
fp t1456;
fp t1455;
fp t1454;
fp t1453;
fp t1452;
fp t1267;
fp t1451;
fp t1450;
fp t1449;
fp t1448;
fp t1447;
fp t1446;
fp t1445;
fp t1444;
fp t1443;
fp t1442;
fp t1441;
fp t1272;
fp t1440;
fp t1439;
fp t1438;
fp t1437;
fp t1436;
fp t1435;
fp t1358;
fp t1434;
fp t1433;
fp t1432;
fp t1431;
fp t1422;
fp t1421;
fp t1418;
fp t1417;
fp t1416;
fp t1413;
fp t1412;
fp t1410;
fp t1408;
fp t1407;
fp t1404;
fp t1402;
fp t1401;
fp t1397;
fp t1396;
fp t1395;
fp t1394;
fp t1392;
fp t1391;
fp t1388;
fp t1387;
fp t1384;
fp t1383;
fp t1382;
fp t1380;
fp t1378;
fp t1377;
fp t1376;
fp t1371;
fp t1369;
fp t1340;
fp t1338;
fp t1334;
fp t1333;
fp t1332;
fp t1330;
fp t1329;
fp t1327;
fp t1326;
fp t1325;
fp t1324;
fp t1323;
fp t1318;
fp t1317;
fp t1316;
fp t1315;
fp t1314;
fp t1313;
fp t1312;
fp t1311;
fp t1310;
fp t1309;
fp t1307;
fp t1305;
fp t1304;
fp t1303;
fp t1302;
fp t1301;
fp t1300;
fp t1299;
fp t1298;
fp t1296;
fp t1295;
fp t1294;
fp t1293;
fp t1292;
fp t1291;
fp t1290;
fp t1289;
fp t1288;
fp t1287;
fp t1285;
fp t1284;
fp t1283;
fp t1282;
      t1423 = RATIONAL(-3.0,160.0);
      t1429 = x*x;
      t1339 = t1423*t1429;
      t1430 = y*y;
      t1336 = t1423*t1430;
      t1477 = t1339+t1336;
      t1352 = RATIONAL(-9.0,80.0)*z;
      t1517 = t1352+RATIONAL(-137.0,4000.0);
      t1516 = RATIONAL(-4.0,375.0)+RATIONAL(-1.0,40.0)*z;
      t1337 = RATIONAL(-11.0,80.0)*z;
      t1515 = t1337+RATIONAL(-107.0,4000.0);
      t1428 = z*z;
      t1342 = RATIONAL(3.0,32.0)*t1428;
      t1419 = RATIONAL(1.0,160.0);
      t1320 = t1419*t1429;
      t1328 = t1419*t1430;
      t1514 = t1342+t1328+t1320;
      t1348 = RATIONAL(1.0,20.0)*z;
      t1513 = RATIONAL(-29.0,6000.0)+t1348;
      t1356 = RATIONAL(-3.0,32.0)*t1428;
      t1420 = RATIONAL(-1.0,160.0);
      t1321 = t1420*t1430;
      t1322 = t1420*t1429;
      t1512 = t1356+t1321+t1322;
      t1344 = RATIONAL(1.0,40.0)*z;
      t1511 = RATIONAL(-17.0,3000.0)+t1344;
      t1403 = RATIONAL(-27.0,1000.0);
      t1500 = x*y;
      t1270 = RATIONAL(9.0,1000.0)*t1500;
      t1510 = t1403*y+t1270;
      t1341 = RATIONAL(1.0,32.0)*t1428;
      t1509 = t1341+t1477;
      t1351 = RATIONAL(3.0,40.0)*z;
      t1508 = RATIONAL(-97.0,3000.0)+t1351;
      t1468 = t1342+t1321;
      t1507 = t1322+t1468;
      t1467 = t1320+t1356;
      t1506 = t1467+t1328;
      t1405 = RATIONAL(-3.0,1000.0);
      t1306 = t1405*y;
      t1268 = x*t1306;
      t1505 = RATIONAL(53.0,1000.0)+t1351+t1268;
      t1415 = RATIONAL(3.0,160.0);
      t1331 = t1415*t1430;
      t1335 = t1415*t1429;
      t1469 = t1341+t1335;
      t1504 = t1331+t1469;
      t1347 = RATIONAL(1.0,80.0)*z;
      t1406 = RATIONAL(-9.0,1000.0);
      t1308 = t1406*x;
      t1269 = y*t1308;
      t1503 = t1347+t1269+RATIONAL(-137.0,12000.0);
      t1353 = RATIONAL(7.0,80.0)*z;
      t1502 = t1353+t1269+RATIONAL(-607.0,12000.0);
      t1271 = RATIONAL(3.0,1000.0)*t1500;
      t1345 = RATIONAL(3.0,80.0)*z;
      t1501 = t1271+RATIONAL(323.0,4000.0)+t1345;
      t1499 = y+x;
      t1411 = RATIONAL(-1.0,1000.0);
      t1319 = t1411*x;
      t1498 = RATIONAL(-3.0,80.0)*z;
      t1346 = RATIONAL(-1.0,80.0)*z;
      t1297 = t1403*x;
      t1280 = x*t1345;
      t1281 = y*t1345;
      t1497 = t1280+t1281;
      t1277 = y*t1346;
      t1496 = t1280+t1277;
      t1275 = y*t1347;
      t1276 = x*t1498;
      t1495 = t1275+t1276;
      t1279 = x*t1347;
      t1494 = t1279+t1275;
      t1493 = t1279+t1281;
      t1491 = t1320+t1321;
      t1489 = t1280+t1275;
      t1488 = t1281+t1276;
      t1278 = y*t1498;
      t1487 = t1279+t1278;
      t1350 = RATIONAL(1.0,16.0)*z;
      t1354 = RATIONAL(-1.0,32.0)*t1428;
      t1486 = t1350+t1354;
      t1485 = t1322+t1328;
      t1484 = t1280+t1278;
      t1483 = t1279+t1277;
      t1482 = t1342+t1268;
      t1481 = t1276+t1278;
      t1274 = x*t1346;
      t1480 = t1275+t1274;
      t1479 = t1276+t1277;
      t1478 = t1335+t1336;
      t1475 = t1278+t1274;
      t1474 = t1339+t1331;
      t1472 = t1331+t1335;
      t1471 = t1277+t1274;
      t1470 = t1281+t1274;
      t1466 = t1344+t1497;
      t1465 = t1270+t1478;
      t1464 = t1348+t1494;
      t1463 = t1270+t1474;
      t1462 = t1351+t1471;
      t1461 = RATIONAL(1.0,10.0)*z+t1481;
      t1266 = RATIONAL(27.0,1000.0)*t1500;
      t1460 = t1266+t1504;
      t1273 = y*t1319;
      t1459 = t1273+t1514;
      t1458 = t1275+t1321+t1467;
      t1457 = t1342+t1271+t1485;
      t1456 = t1271+t1509;
      t1455 = t1354+t1269+RATIONAL(53.0,12000.0)+t1345;
      t1454 = t1279+t1356+t1485;
      t1453 = t1269+t1507;
      t1452 = RATIONAL(-3.0,20.0)*z+RATIONAL(-49.0,2000.0)+t1482;
      t1267 = y*t1297;
      t1451 = t1267+t1354+t1477;
      t1450 = t1341+t1465;
      t1449 = t1354+t1268+t1472;
      t1448 = t1341+t1278+t1474;
      t1447 = RATIONAL(-1.0,10.0)*z+RATIONAL(-79.0,2000.0)+t1482;
      t1446 = t1270+t1506;
      t1445 = t1356+t1268+t1348+RATIONAL(141.0,2000.0);
      t1444 = t1354+t1276+t1474;
      t1443 = t1346+t1341+t1269+RATIONAL(-167.0,12000.0);
      t1442 = t1354+t1274+t1478;
      t1441 = t1320+t1271+t1468;
      t1272 = RATIONAL(1.0,1000.0)*t1500;
      t1440 = t1272+t1512;
      t1439 = t1353+t1356+t1271+RATIONAL(183.0,4000.0);
      t1438 = RATIONAL(79.0,3000.0)+t1268+t1509;
      t1437 = RATIONAL(-41.0,750.0)+t1267+t1504;
      t1436 = RATIONAL(-691.0,12000.0)+t1271+t1472+t1486;
      t1435 = t1266+RATIONAL(281.0,12000.0)+t1477+t1486;
      t1358 = RATIONAL(-1.0,8.0)*z;
      t1434 = RATIONAL(-33.0,2000.0)+t1358+t1270+t1507;
      t1433 = t1350+RATIONAL(299.0,4000.0)+t1273+t1512;
      t1432 = t1358+t1272+RATIONAL(-87.0,2000.0)+t1514;
      t1431 = t1350+t1269+RATIONAL(191.0,4000.0)+t1506;
      t1422 = RATIONAL(-7.0,250.0);
      t1421 = RATIONAL(-9.0,500.0);
      t1418 = RATIONAL(-9.0,250.0);
      t1417 = RATIONAL(-1.0,500.0);
      t1416 = RATIONAL(2.0,125.0);
      t1413 = RATIONAL(-1.0,250.0);
      t1412 = RATIONAL(-17.0,500.0);
      t1410 = RATIONAL(-3.0,2000.0);
      t1408 = RATIONAL(11.0,500.0);
      t1407 = RATIONAL(-1.0,2000.0);
      t1404 = RATIONAL(-7.0,2000.0);
      t1402 = RATIONAL(37.0,2000.0);
      t1401 = RATIONAL(13.0,1000.0);
      t1397 = RATIONAL(49.0,2000.0);
      t1396 = RATIONAL(27.0,2000.0);
      t1395 = RATIONAL(-37.0,1000.0);
      t1394 = RATIONAL(43.0,2000.0);
      t1392 = RATIONAL(31.0,2000.0);
      t1391 = RATIONAL(-19.0,2000.0);
      t1388 = RATIONAL(93.0,2000.0);
      t1387 = RATIONAL(-21.0,2000.0);
      t1384 = RATIONAL(19.0,1000.0);
      t1383 = RATIONAL(-23.0,2000.0);
      t1382 = RATIONAL(-39.0,2000.0);
      t1380 = RATIONAL(-17.0,2000.0);
      t1378 = RATIONAL(-31.0,1000.0);
      t1377 = RATIONAL(33.0,2000.0);
      t1376 = RATIONAL(-13.0,2000.0);
      t1371 = RATIONAL(111.0,2000.0);
      t1369 = RATIONAL(129.0,2000.0);
      t1340 = t1416*y;
      t1338 = t1413*x;
      t1334 = t1417*y;
      t1333 = t1417*x;
      t1332 = t1418*x;
      t1330 = t1416*x;
      t1329 = t1413*y;
      t1327 = t1421*x;
      t1326 = t1418*y;
      t1325 = t1422*y;
      t1324 = t1422*x;
      t1323 = t1421*y;
      t1318 = t1408*x;
      t1317 = t1408*y;
      t1316 = t1407*x;
      t1315 = t1405*x;
      t1314 = t1407*y;
      t1313 = t1404*y;
      t1312 = t1404*x;
      t1311 = t1412*x;
      t1310 = t1412*y;
      t1309 = t1411*y;
      t1307 = t1406*y;
      t1305 = t1384*y;
      t1304 = t1387*y;
      t1303 = t1395*x;
      t1302 = t1397*x;
      t1301 = t1392*x;
      t1300 = t1376*y;
      t1299 = t1384*x;
      t1298 = t1391*y;
      t1296 = t1401*x;
      t1295 = t1395*y;
      t1294 = t1394*x;
      t1293 = t1378*x;
      t1292 = t1392*y;
      t1291 = t1376*x;
      t1290 = t1378*y;
      t1289 = t1402*x;
      t1288 = t1401*y;
      t1287 = t1397*y;
      t1285 = t1391*x;
      t1284 = t1387*x;
      t1283 = t1394*y;
      t1282 = t1402*y;
      coeffs_dz->coeff_m1_m1_m1 = RATIONAL(-47.0,1500.0)+t1499*RATIONAL(147.0,
2000.0)+t1451+t1461;
      coeffs_dz->coeff_0_m1_m1 = t1316+t1278+t1369*y+t1442+t1502;
      coeffs_dz->coeff_p1_m1_m1 = t1371*y+t1354+t1303+t1465+t1487+t1508;
      coeffs_dz->coeff_p2_m1_m1 = t1388*y+t1332+t1435+t1484;
      coeffs_dz->coeff_m1_0_m1 = t1277+t1314+t1369*x+t1444+t1502;
      coeffs_dz->coeff_0_0_m1 = t1312+t1313+RATIONAL(-437.0,6000.0)+t1449+t1462
;
      coeffs_dz->coeff_p1_0_m1 = t1311+t1300+t1436+t1483;
      coeffs_dz->coeff_p2_0_m1 = t1354+t1297+t1298+t1463+t1496+t1513;
      coeffs_dz->coeff_m1_p1_m1 = t1270+t1371*x+t1275+t1295+t1444+t1508;
      coeffs_dz->coeff_0_p1_m1 = t1310+t1291+t1436+t1480;
      coeffs_dz->coeff_p1_p1_m1 = RATIONAL(-17.0,375.0)+t1293+t1290+t1449+t1464
;
      coeffs_dz->coeff_p2_p1_m1 = t1327+t1325+t1455+t1474+t1489;
      coeffs_dz->coeff_m1_p2_m1 = t1326+t1388*x+t1435+t1488;
      coeffs_dz->coeff_0_p2_m1 = t1285+t1281+t1442+t1510+t1513;
      coeffs_dz->coeff_p1_p2_m1 = t1324+t1323+t1455+t1478+t1493;
      coeffs_dz->coeff_p2_p2_m1 = t1308+RATIONAL(307.0,6000.0)+t1307+t1451+
t1466;
      coeffs_dz->coeff_m1_m1_0 = t1316+t1314+RATIONAL(-39.0,4000.0)+RATIONAL(
-13.0,80.0)*z+t1453+t1497;
      coeffs_dz->coeff_0_m1_0 = t1380*x+t1313+t1452+t1491+t1493;
      coeffs_dz->coeff_p1_m1_0 = t1338+t1300+t1441+t1470+t1515;
      coeffs_dz->coeff_p2_m1_0 = t1298+t1296+t1434+t1488;
      coeffs_dz->coeff_m1_0_0 = t1380*y+t1312+t1452+t1485+t1489;
      coeffs_dz->coeff_0_0_0 = t1337+t1298+RATIONAL(-161.0,4000.0)+t1285+t1459+
t1494;
      coeffs_dz->coeff_p1_0_0 = t1315+t1304+t1432+t1480;
      coeffs_dz->coeff_p2_0_0 = t1383*y+t1330+t1457+t1495+t1517;
      coeffs_dz->coeff_m1_p1_0 = t1329+t1291+t1457+t1496+t1515;
      coeffs_dz->coeff_0_p1_0 = t1284+t1306+t1432+t1483;
      coeffs_dz->coeff_p1_p1_0 = t1352+RATIONAL(-191.0,4000.0)+t1334+t1333+
t1459+t1471;
      coeffs_dz->coeff_p2_p1_0 = t1299+t1309+t1447+t1479+t1485;
      coeffs_dz->coeff_m1_p2_0 = t1285+t1288+t1434+t1484;
      coeffs_dz->coeff_0_p2_0 = t1383*x+t1340+t1441+t1487+t1517;
      coeffs_dz->coeff_p1_p2_0 = t1305+t1319+t1447+t1475+t1491;
      coeffs_dz->coeff_p2_p2_0 = t1318+RATIONAL(-7.0,80.0)*z+t1317+RATIONAL(
-129.0,4000.0)+t1453+t1481;
      coeffs_dz->coeff_m1_m1_p1 = t1303+t1295+RATIONAL(157.0,2000.0)+t1446+
t1466;
      coeffs_dz->coeff_0_m1_p1 = t1281+t1310+t1338+t1454+t1501;
      coeffs_dz->coeff_p1_m1_p1 = t1377*x+t1290+t1445+t1470+t1485;
      coeffs_dz->coeff_p2_m1_p1 = t1302+t1325+t1431+t1488;
      coeffs_dz->coeff_m1_0_p1 = t1280+t1329+t1311+t1458+t1501;
      coeffs_dz->coeff_0_0_p1 = RATIONAL(21.0,250.0)+t1315+t1306+t1440+t1464;
      coeffs_dz->coeff_p1_0_p1 = t1334+t1301+t1433+t1480;
      coeffs_dz->coeff_p2_0_p1 = t1309+t1294+t1276+t1458+t1505;
      coeffs_dz->coeff_m1_p1_p1 = t1377*y+t1293+t1445+t1491+t1496;
      coeffs_dz->coeff_0_p1_p1 = t1292+t1333+t1433+t1483;
      coeffs_dz->coeff_p1_p1_p1 = RATIONAL(133.0,2000.0)+t1499*RATIONAL(29.0,
2000.0)+t1440+t1462;
      coeffs_dz->coeff_p2_p1_p1 = t1289+t1396*y+t1439+t1479+t1491;
      coeffs_dz->coeff_m1_p2_p1 = t1287+t1324+t1431+t1484;
      coeffs_dz->coeff_0_p2_p1 = t1319+t1283+t1278+t1454+t1505;
      coeffs_dz->coeff_p1_p2_p1 = t1396*x+t1282+t1439+t1475+t1485;
      coeffs_dz->coeff_p2_p2_p1 = t1301+RATIONAL(13.0,500.0)+t1292+t1446+t1461;
      coeffs_dz->coeff_m1_m1_p2 = t1345+t1326+t1332+RATIONAL(-449.0,12000.0)+
t1460+t1481;
      coeffs_dz->coeff_0_m1_p2 = t1274+t1296+t1448+t1510+t1511;
      coeffs_dz->coeff_p1_m1_p2 = t1302+t1323+t1279+t1448+t1503;
      coeffs_dz->coeff_p2_m1_p2 = t1410*x+t1307+t1437+t1484;
      coeffs_dz->coeff_m1_0_p2 = t1288+t1297+t1450+t1479+t1511;
      coeffs_dz->coeff_0_0_p2 = RATIONAL(349.0,12000.0)+t1347+t1340+t1330+t1456
+t1471;
      coeffs_dz->coeff_p1_0_p2 = t1305+t1294+t1438+t1483;
      coeffs_dz->coeff_p2_0_p2 = t1284+t1317+t1443+t1478+t1496;
      coeffs_dz->coeff_m1_p1_p2 = t1327+t1336+t1287+t1469+t1495+t1503;
      coeffs_dz->coeff_0_p1_p2 = t1283+t1299+t1438+t1480;
      coeffs_dz->coeff_p1_p1_p2 = t1282+RATIONAL(319.0,12000.0)+t1346+t1289+
t1456+t1494;
      coeffs_dz->coeff_p2_p1_p2 = t1382*x+t1292+t1450+t1489+t1516;
      coeffs_dz->coeff_m1_p2_p2 = t1308+t1410*y+t1437+t1488;
      coeffs_dz->coeff_0_p2_p2 = t1304+t1318+t1443+t1470+t1474;
      coeffs_dz->coeff_p1_p2_p2 = t1382*y+t1341+t1301+t1463+t1493+t1516;
      coeffs_dz->coeff_p2_p2_p2 = t1498+RATIONAL(-539.0,12000.0)+t1499*RATIONAL
(-57.0,2000.0)+t1460+t1497;