fp t1281; fp t1280; fp t1278; fp t1491; fp t1587; fp t1279; fp t1484; fp t1217; fp t1282; fp t1431; fp t1320; fp t1258; fp t1460; fp t1586; fp t1265; fp t1427; fp t1226; fp t1585; fp t1404; fp t1394; fp t1418; fp t1223; fp t1338; fp t893; fp t1238; fp t1409; fp t1584; fp t1208; fp t1449; fp t1269; fp t1425; fp t1362; fp t1583; fp t1261; fp t1479; fp t1379; fp t1340; fp t1582; fp t1260; fp t1492; fp t1131; fp t1581; fp t1219; fp t1495; fp t1387; fp t886; fp t1211; fp t1580; fp t1244; fp t1143; fp t1241; fp t1120; fp t956; fp t1579; fp t1323; fp t864; fp t1277; fp t1276; fp t1578; fp t1246; fp t1191; fp t1382; fp t1252; fp t1341; fp t1577; fp t1216; fp t1343; fp t851; fp t1251; fp t1348; fp t1576; fp t1445; fp t1272; fp t1262; fp t931; fp t1356; fp t934; fp t1575; fp t1228; fp t876; fp t1574; fp t1253; fp t1328; fp t979; fp t1254; fp t1469; fp t1270; fp t1573; fp t1264; fp t1325; fp t935; fp t1572; fp t1462; fp t1351; fp t1571; fp t1398; fp t982; fp t1243; fp t1330; fp t1570; fp t884; fp t1248; fp t1569; fp t1255; fp t1176; fp t1249; fp t1448; fp t1169; fp t1568; fp t1321; fp t927; fp t1450; fp t1390; fp t1567; fp t897; fp t1232; fp t1566; fp t1132; fp t946; fp t1496; fp t1275; fp t1565; fp t1489; fp t1268; fp t981; fp t1564; fp t1220; fp t1352; fp t1563; fp t1432; fp t1150; fp t1485; fp t1388; fp t1562; fp t1155; fp t1561; fp t1199; fp t1381; fp t1065; fp t1560; fp t1225; fp t1324; fp t1443; fp t1559; fp t1204; fp t1214; fp t1088; fp t1360; fp t1558; fp t1094; fp t1557; fp t1172; fp t1222; fp t1556; fp t1555; fp t1342; fp t1554; fp t1423; fp t1093; fp t1553; fp t1552; fp t1267; fp t1446; fp t1146; fp t1551; fp t1130; fp t1550; fp t1549; fp t1548; fp t1405; fp t888; fp t1349; fp t1547; fp t1482; fp t1426; fp t1240; fp t1440; fp t1106; fp t1546; fp t882; fp t1332; fp t1545; fp t1038; fp t1544; fp t1250; fp t1441; fp t1543; fp t1048; fp t1257; fp t1422; fp t1179; fp t1542; fp t1166; fp t1419; fp t1108; fp t1541; fp t1197; fp t1540; fp t1245; fp t1386; fp t1231; fp t1435; fp t1154; fp t1539; fp t1198; fp t1538; fp t1266; fp t1263; fp t1537; fp t1401; fp t1037; fp t1536; fp t1101; fp t1535; fp t1331; fp t1534; fp t1192; fp t1533; fp t1193; fp t1089; fp t1532; fp t1481; fp t1103; fp t1486; fp t1271; fp t1531; fp t1416; fp t1354; fp t1452; fp t1385; fp t1039; fp t1530; fp t1190; fp t1454; fp t1124; fp t1529; fp t1201; fp t1447; fp t1528; fp t1236; fp t1437; fp t1392; fp t1527; fp t1200; fp t1526; fp t1428; fp t1167; fp t1187; fp t1525; fp t1224; fp t1205; fp t1524; fp t1424; fp t1107; fp t1461; fp t1128; fp t1523; fp t1522; fp t1456; fp t1402; fp t925; fp t1521; fp t1414; fp t1135; fp t1483; fp t1134; fp t1520; fp t1242; fp t1436; fp t1407; fp t1438; fp t1519; fp t1395; fp t1353; fp t963; fp t1518; fp t1133; fp t1212; fp t1517; fp t1516; fp t1464; fp t1361; fp t1515; fp t1148; fp t1514; fp t1234; fp t1488; fp t1209; fp t1087; fp t1513; fp t1413; fp t1346; fp t1168; fp t1512; fp t1511; fp t1510; fp t1400; fp t1092; fp t1509; fp t1011; fp t1410; fp t1391; fp t1508; fp t938; fp t1507; fp t1459; fp t1233; fp t1480; fp t1170; fp t1506; fp t1505; fp t1326; fp t1504; fp t1203; fp t1490; fp t1221; fp t1503; fp t1329; fp t902; fp t1466; fp t1183; fp t1502; fp t1501; fp t1259; fp t1412; fp t1127; fp t1500; fp t1247; fp t1499; fp t1122; fp t1498; fp t1497; fp t1494; fp t1493; fp t1235; fp t1487; fp t1195; fp t1202; fp t988; fp t1453; fp t1478; fp t868; fp t1477; fp t907; fp t1476; fp t1383; fp t998; fp t976; fp t1475; fp t1029; fp t1139; fp t1474; fp t1439; fp t1473; fp t1010; fp t1396; fp t1472; fp t1471; fp t1470; fp t1467; fp t1417; fp t1384; fp t1077; fp t1458; fp t1463; fp t1274; fp t1434; fp t1457; fp t1008; fp t1455; fp t1161; fp t1451; fp t1444; fp t1442; fp t1433; fp t1430; fp t1429; fp t1421; fp t1355; fp t1026; fp t1420; fp t1415; fp t1411; fp t1406; fp t1403; fp t1125; fp t1397; fp t1393; fp t1389; fp t1113; fp t1380; fp t1090; fp t1378; fp t1377; fp t1376; fp t1165; fp t1375; fp t1374; fp t1373; fp t1372; fp t1371; fp t1370; fp t1369; fp t974; fp t1164; fp t1368; fp t1160; fp t1367; fp t1366; fp t1365; fp t1364; fp t1363; fp t1156; fp t1105; fp t1359; fp t1358; fp t1357; fp t1350; fp t1237; fp t1347; fp t1345; fp t1256; fp t1344; fp t1339; fp t1337; fp t1336; fp t1335; fp t1333; fp t1327; fp t1152; fp t1147; fp t1055; fp t1273; fp t1104; fp t1322; fp t1140; fp t1319; fp t1121; fp t1318; fp t1316; fp t1315; fp t970; fp t1314; fp t1313; fp t1227; fp t1311; fp t1310; fp t1309; fp t950; fp t1308; fp t1014; fp t911; fp t1307; fp t937; fp t1306; fp t1305; fp t983; fp t1304; fp t831; fp t1303; fp t1302; fp t1218; fp t890; fp t1301; fp t1213; fp t859; fp t1300; fp t836; fp t1299; fp t1298; fp t945; fp t1297; fp t1072; fp t1296; fp t1054; fp t1295; fp t912; fp t1294; fp t1044; fp t1293; fp t1007; fp t1292; fp t1291; fp t1290; fp t1289; fp t1288; fp t1239; fp t1287; fp t1286; fp t906; fp t1285; fp t1230; fp t1229; fp t1215; fp t1207; fp t1206; fp t1188; fp t1182; fp t1180; fp t1175; fp t1163; fp t1157; fp t1144; fp t1137; fp t1136; fp t1119; fp t1115; fp t1112; fp t1100; fp t1095; fp t1086; fp t1082; fp t1078; fp t1076; fp t1066; fp t1057; fp t1056; fp t1042; fp t1040; fp t1034; fp t1030; fp t1028; fp t1027; fp t1025; fp t1018; fp t1016; fp t1015; fp t1006; fp t1000; fp t992; fp t991; fp t984; fp t978; fp t972; fp t967; fp t964; fp t962; fp t958; fp t952; fp t949; fp t947; fp t944; fp t941; fp t929; fp t928; fp t922; fp t914; fp t889; fp t877; fp t873; fp t871; fp t854; fp t852; fp t850; fp t849; fp t845; fp t832; fp t830; t1281 = y*y; t1280 = z*z; t1278 = z*t1280; t1491 = z+t1278; t1587 = t1281*t1491; t1279 = y*t1281; t1484 = y+t1279; t1217 = RATIONAL(45.0,8.0); t1282 = x*x; t1431 = t1282*t1280; t1320 = t1217*t1431; t1258 = RATIONAL(-9.0,4.0); t1460 = t1282*t1258; t1586 = t1460+t1320; t1265 = RATIONAL(9.0,4.0); t1427 = t1265*t1282; t1226 = RATIONAL(-45.0,8.0); t1585 = t1427+t1226*t1431; t1404 = x*t1484; t1394 = x*t1491; t1418 = t1278*t1282; t1223 = RATIONAL(27.0,8.0); t1338 = t1223*t1418; t893 = y*t1338; t1238 = RATIONAL(-9.0,2.0); t1409 = y*t1431; t1584 = t893+t1238*t1409; t1208 = RATIONAL(45.0,4.0); t1449 = t1278*t1279; t1269 = x*t1449; t1425 = t1281*t1282; t1362 = t1280*t1425; t1583 = RATIONAL(-45.0,2.0)*t1362+t1208*t1269; t1261 = RATIONAL(5.0,4.0); t1479 = x*t1261; t1379 = t1278*t1479; t1340 = t1258*t1431; t1582 = t1279*t1379+t1281*t1340; t1260 = RATIONAL(-5.0,1.0); t1492 = t1260*x; t1131 = t1280*t1492; t1581 = t1281*t1338+t1279*t1131; t1219 = RATIONAL(15.0,4.0); t1495 = x*t1278; t1387 = t1219*t1495; t886 = t1279*t1387; t1211 = RATIONAL(-45.0,4.0); t1580 = t1211*t1362+t886; t1244 = RATIONAL(3.0,4.0); t1143 = t1244*t1418; t1241 = RATIONAL(-3.0,8.0); t1120 = t1241*t1449; t956 = t1282*t1120; t1579 = t956+t1281*t1143; t1323 = t1279*t1418; t864 = RATIONAL(-81.0,8.0)*t1323; t1277 = t1281*t1280; t1276 = x*t1277; t1578 = RATIONAL(25.0,1.0)*t1276+t864; t1246 = RATIONAL(1.0,4.0); t1191 = t1246*t1279; t1382 = x*t1191; t1252 = RATIONAL(-3.0,4.0); t1341 = t1252*t1431; t1577 = t1281*t1341+t1278*t1382; t1216 = RATIONAL(-27.0,8.0); t1343 = t1216*t1418; t851 = y*t1343; t1251 = RATIONAL(9.0,2.0); t1348 = t1251*t1431; t1576 = y*t1348+t851; t1445 = t1278*t1281; t1272 = x*t1445; t1262 = RATIONAL(3.0,1.0); t931 = t1262*t1272; t1356 = t1279*t1431; t934 = t1238*t1356; t1575 = t931+t934; t1228 = RATIONAL(-15.0,4.0); t876 = t1228*t1269; t1574 = t1281*t1320+t876; t1253 = RATIONAL(9.0,8.0); t1328 = t1253*t1425; t979 = t1278*t1328; t1254 = RATIONAL(-5.0,2.0); t1469 = t1279*t1280; t1270 = x*t1469; t1573 = t979+t1254*t1270; t1264 = RATIONAL(-9.0,8.0); t1325 = t1264*t1431; t935 = t1279*t1325; t1572 = t1281*t1379+t935; t1462 = t1282*t1279; t1351 = t1223*t1462; t1571 = t1260*t1272+t1280*t1351; t1398 = y*t1282*t1253; t982 = t1278*t1398; t1243 = RATIONAL(-3.0,2.0); t1330 = t1243*t1431; t1570 = y*t1330+t982; t884 = t1216*t1323; t1248 = RATIONAL(8.0,1.0); t1569 = t1248*t1276+t884; t1255 = RATIONAL(-1.0,2.0); t1176 = t1255*t1445; t1249 = RATIONAL(3.0,8.0); t1448 = t1279*t1249; t1169 = t1280*t1448; t1568 = t1282*t1169+x*t1176; t1321 = t1253*t1431; t927 = t1279*t1321; t1450 = t1281*t1254; t1390 = x*t1450; t1567 = t927+t1278*t1390; t897 = t1223*t1323; t1232 = RATIONAL(-4.0,1.0); t1566 = t897+t1232*t1276; t1132 = t1258*t1418; t946 = t1281*t1132; t1496 = x*t1280; t1275 = y*t1496; t1565 = t946+t1270+t1275; t1489 = z*t1281; t1268 = x*t1489; t981 = t1279*t1340; t1564 = t981+t1268+t1272; t1220 = RATIONAL(-15.0,8.0); t1352 = t1220*t1425; t1563 = t1143+t1278*t1352; t1432 = t1278*t1249; t1150 = t1279*t1432; t1485 = x*t1279; t1388 = t1262*t1485; t1562 = t1278*t1388+t1150; t1155 = z*t1448; t1561 = t1155+z*t1388; t1199 = t1244*t1279; t1381 = x*t1199; t1065 = t1278*t1381; t1560 = t1228*t1362+t1065; t1225 = RATIONAL(15.0,8.0); t1324 = t1225*t1431; t1443 = t1282*t1252; t1559 = (t1324+t1443)*y; t1204 = RATIONAL(-135.0,8.0); t1214 = RATIONAL(27.0,4.0); t1088 = t1214*t1418; t1360 = t1281*t1418; t1558 = t1204*t1360+t1088; t1094 = t1214*t1462; t1557 = t1204*t1356+t1094; t1172 = t1281*t1492; t1222 = RATIONAL(-15.0,2.0); t1556 = t1222*t1272+t1172; t1555 = t1222*t1362+t1265*t1269; t1342 = t1225*t1425; t1554 = (t1443+t1342)*z; t1423 = t1244*t1282; t1093 = t1220*t1469; t1553 = t1279*t1423+t1282*t1093; t1552 = t1585*t1279; t1267 = RATIONAL(5.0,2.0); t1446 = t1281*t1267; t1146 = x*t1446; t1551 = t1281*t1387+t1146; t1130 = t1264*t1449; t1550 = t1251*t1269+t1130; t1549 = t1586*t1279; t1548 = (t1352+t1423)*z; t1405 = z*t1462; t888 = t1216*t1405; t1349 = t1251*t1425; t1547 = t888+z*t1349; t1482 = t1255*z; t1426 = x*t1482; t1240 = RATIONAL(1.0,8.0); t1440 = t1240*t1279; t1106 = z*t1440; t1546 = t1106+t1279*t1426; t882 = z*t1351; t1332 = t1238*t1425; t1545 = t882+z*t1332; t1038 = t1282*t1130; t1544 = t1038+t1276; t1250 = RATIONAL(-5.0,8.0); t1441 = t1250*t1280; t1543 = t1191+t1279*t1441; t1048 = t1282*t1155; t1257 = RATIONAL(3.0,2.0); t1422 = t1257*t1279; t1179 = t1280*t1422; t1542 = t1282*t1179+t1048; t1166 = t1253*t1449; t1419 = t1279*t1243; t1108 = t1280*t1419; t1541 = t1166+t1108; t1197 = t1246*t1278; t1540 = t1250*t1445+t1197; t1245 = RATIONAL(1.0,2.0); t1386 = t1245*t1485; t1231 = RATIONAL(-1.0,8.0); t1435 = t1278*t1231; t1154 = t1279*t1435; t1539 = t1278*t1386+t1154; t1198 = t1246*z; t1538 = t1250*t1489+t1198; t1266 = RATIONAL(5.0,8.0); t1263 = RATIONAL(-1.0,4.0); t1537 = t1266*t1445+t1263*t1278; t1401 = y*t1418; t1037 = t1264*t1401; t1536 = t1037+t1278*t1332; t1101 = t1278*t1440; t1535 = t1101+t1263*t1445; t1331 = t1265*t1425; t1534 = t1037+t1278*t1331; t1192 = t1252*t1278; t1533 = t1225*t1445+t1192; t1193 = t1252*t1279; t1089 = t1225*t1469; t1532 = t1193+t1089; t1481 = y*t1240; t1103 = t1278*t1481; t1486 = t1278*y; t1271 = x*t1486; t1531 = t1103+t1271; t1416 = t1257*t1282; t1354 = t1281*t1416; t1452 = t1264*t1282; t1385 = z*t1452; t1039 = t1279*t1385; t1530 = z*t1354+t1039; t1190 = t1245*t1489; t1454 = t1241*t1279; t1124 = z*t1454; t1529 = t1190+t1124; t1201 = t1263*t1279; t1447 = t1266*t1280; t1528 = t1201+t1279*t1447; t1236 = RATIONAL(-3.0,1.0); t1437 = t1236*t1279; t1392 = x*t1437; t1527 = t1278*t1392+t1120; t1200 = t1244*t1278; t1526 = t1200+t1245; t1428 = t1245*t1280; t1167 = y*t1428; t1187 = t1241*t1486; t1525 = t1167+t1187; t1224 = RATIONAL(15.0,1.0); t1205 = RATIONAL(-27.0,2.0); t1524 = y*t1131+t1224*t1270+t1205*t1360; t1424 = t1257*t1278; t1107 = t1281*t1424; t1461 = t1255*t1281; t1128 = z*t1461; t1523 = t1282*t1108+(t1128+t1107)*x; t1522 = t1205*t1356+z*t1172+t1224*t1272; t1456 = z*t1479; t1402 = t1228*t1495; t925 = t1279*t1348; t1521 = t925+(t1402+t1456)*t1281; t1414 = t1278*t1243; t1135 = t1281*t1414; t1483 = t1255*y; t1134 = t1280*t1483; t1520 = t1282*t1135+(t1134+t1179)*x; t1242 = RATIONAL(2.0,1.0); t1436 = t1242*t1281; t1407 = x*t1436; t1438 = t1240*t1280; t1519 = t1278*t1407+y*t1438+t935; t1395 = t1242*t1485; t1353 = t1264*t1425; t963 = t1278*t1353; t1518 = t1280*t1395+t963+t1240*t1489; t1133 = t1280*t1446; t1212 = RATIONAL(15.0,2.0); t1517 = t1133+t1238*t1269+t1212*t1362; t1516 = t981+t1491*t1146; t1464 = t1246*t1281; t1361 = t1281*t1423; t1515 = t1255*t1269+(t1464+t1361)*t1280; t1148 = t1267*t1496; t1514 = t946+t1484*t1148; t1234 = RATIONAL(5.0,1.0); t1488 = x*t1234; t1209 = RATIONAL(-27.0,4.0); t1087 = t1209*t1462; t1513 = t1280*t1087+t1488*t1587; t1413 = t1281*t1252; t1346 = t1282*t1413; t1168 = t1279*t1428; t1512 = t1278*t1346+(t1167+t1168)*x; t1511 = t1279*t1443+x*t1135+t1282*t1089; t1510 = x*t1108+t1252*t1418+t1278*t1342; t1400 = t1280*t1488; t1092 = t1209*t1418; t1509 = y*t1400+t1281*t1092+t1234*t1270; t1011 = t1278*t1349; t1410 = t1261*t1280; t1391 = x*t1410; t1508 = t1011+y*t1391+t1228*t1270; t938 = t1281*t1348; t1507 = t938+t1527; t1459 = t1263*t1281; t1233 = RATIONAL(-2.0,1.0); t1480 = x*t1233; t1170 = t1280*t1480; t1506 = z*t1459+t1484*t1170; t1505 = t1212*t1272+t1039+t934+z*t1390; t1326 = t1226*t1425; t1504 = t1281*t1447+t1280*t1326+t1562; t1203 = RATIONAL(135.0,8.0); t1490 = x*RATIONAL(-10.0,1.0); t1221 = RATIONAL(-15.0,1.0); t1503 = t1281*t1490+t1221*t1272+t1087+t1203*t1356; t1329 = t1280*t1427; t902 = t1279*t1329; t1466 = t1263*t1280; t1183 = t1281*t1480; t1502 = z*t1183+t1233*t1272+t902+y*t1466; t1501 = t1212*t1270+t1254*t1275+t1536; t1259 = RATIONAL(-5.0,4.0); t1412 = t1259*t1280; t1127 = t1281*t1412; t1500 = t1208*t1362+t1127+t1527; t1247 = RATIONAL(-6.0,1.0); t1499 = t1247*t1270+t1011+t1128+t1242*t1275; t1122 = y*t1432; t1498 = z*t1407+t1247*t1272+t925+t1122+t1134; t1497 = x*y; t1494 = z*t1231; t1493 = x*t1259; t1235 = RATIONAL(4.0,1.0); t1487 = t1235*x; t1195 = t1246*y; t1202 = t1263*y; t988 = t1241*t1401; t1453 = x*t1195; t1478 = t988+t1278*t1453; t868 = RATIONAL(81.0,8.0)*t1323; t1477 = t1211*t1269+t868; t907 = t1282*t1124; t1476 = z*t1382+t907; t1383 = x*t1193; t998 = t1278*t1383; t976 = t1253*t1323; t1475 = t998+t976; t1029 = t1249*t1323; t1139 = t1280*t1454; t1474 = t1029+t1282*t1139; t1439 = y*t1493; t1473 = t982+t1278*t1439; t1010 = t1253*t1405; t1396 = t1259*t1485; t1472 = t1010+z*t1396; t1471 = t1010+z*t1383; t1470 = t1255*t1278; t1467 = -t1272-t1270; t1417 = t1282*t1249; t1384 = y*t1417; t1077 = z*t1384; t1458 = x*t1202; t1463 = t1077+z*t1458; t1274 = z*t1485; t1434 = t1281*t1231; t1457 = t1101+t1278*t1434; t1008 = z*t1398; t1455 = z*t1439+t1008; t1161 = t1280*t1461; t1451 = t1161-t1268; t1444 = t1241*t1282; t1442 = t1236*t1278; t1433 = t1245*t1497; t1430 = t1255*t1279; t1429 = t1280*t1231; t1421 = t1278+t1279; t1355 = t1278*t1417; t1026 = y*t1355; t1420 = t1026+t1278*t1458; t1415 = t1281*t1241; t1411 = t1281*t1249; t1406 = y*t1444; t1403 = z*t1425; t1125 = y*t1423; t1397 = x*t1442; t1393 = x*t1419; t1389 = x*t1422; t1113 = t1280*t1487; t1380 = x*t1201; t1090 = t1280*t1490; t1378 = t884+t1132+t1217*t1360; t1377 = t1220*t1409+t982+t1125; t1376 = t851+t1586*y; t1165 = t1279*t1494; t1375 = z*t1386+t1165+t907; t1374 = t893+t1585*y; t1373 = t884+t1549; t1372 = z*t1460+t888+t1217*t1403; t1371 = t882+(t1427+t1326)*z; t1370 = t897+t1278*t1326+t1265*t1418; t1369 = t897+t1552; t974 = z*t1406; t1164 = y*t1494; t1368 = t974+z*t1433+t1164; t1160 = y*t1435; t1367 = -t1271+t982+t1160; t1366 = t1150+t976+t1278*t1393; t1365 = t988+t1278*t1433+t1160; t1364 = t1258*t1425; t1363 = t1195+y*t1441+t1122; t1156 = t1245*t1445; t1105 = t1281*t1428; t1359 = t1282*t1411; t1358 = t1282*t1415; t1357 = t1470*t1497+t1103+t1026; t1350 = t1280*t1416; t1237 = RATIONAL(-9.0,1.0); t1347 = t1237*t1431; t1345 = t1236*t1431; t1256 = RATIONAL(9.0,1.0); t1344 = t1256*t1425; t1339 = t1262*t1431; t1337 = t1038+t1534; t1336 = t1038+t1278*t1389+t1120; t1335 = t1166+t1093+t1199; t1333 = t1106+t1274+t1039; t1327 = -t1274+t1165+t1010; t1152 = t1280*t1193; t1147 = t1280*t1191; t1055 = y*t1385; t1273 = z*t1497; t1104 = z*t1481; t1322 = t1055+t1273+t1104; t1140 = t1280*t1430; t1319 = z*t1393+t1155+t1010; t1121 = t1280*t1199; t1318 = t1255+t1243*t1282; t1316 = t1280*t1404; t1315 = t1281*t1394; t970 = x*t1105; t1314 = x*t1140+t970+t1281*t1355+t956; t1313 = t1238*t1282+t1245; t1227 = RATIONAL(25.0,4.0); t1311 = t1227*t1280+t1254; t1310 = t1254+t1227*t1281; t1309 = t1263+t1427; t950 = x*t1127; t1308 = t1279*t1391+t950+t976+t963; t1014 = t1281*t1400; t911 = t1280*t1332; t1307 = t886+t884+t1014+t911; t937 = t1281*t1330; t1306 = t937+t1065+t1544; t1305 = -x+t1246+t1423; t983 = t1281*t1170; t1304 = t1281*t1339+t983+t974+z*t1453+t1475; t831 = RATIONAL(-20.0,1.0)*t1276; t1303 = t1237*t1269+RATIONAL(45.0,2.0)*t1362+t868+t1130+t1280*t1450+t831; t1302 = t1203*t1360+t1221*t1270+t1090+t1092+t1578; t1218 = RATIONAL(25.0,2.0); t890 = t1218*t1276; t1301 = t1131+t1222*t1270+t890+t1378; t1213 = RATIONAL(-25.0,4.0); t859 = t1213*t1276; t1300 = t859+t1219*t1270+t1148+t1370; t836 = t1281*t1090; t1299 = t1055+t897+y*t1456+t836+t876+t1280*t1344; t1298 = t1280*t1459-t1269+t983+t1281*t1329+t976+t1154; t945 = t1281*t1131; t1297 = t1219*t1362+t1281*t1410+t945+t1366; t1072 = t1280*t1392; t1296 = t1170+t1014+t1072+t1378; t1054 = t1281*t1350; t1295 = t1105+t983+t1054+t1366; t912 = x*t1133; t1294 = t912+t1281*t1441+t1280*t1352+t1336; t1044 = t1280*t1388; t1293 = -t1275+t1044+t1536+t1566; t1007 = t1281*t1397; t1292 = t1007+t1183+t1014+t1373; t1291 = t902+t1039+t912+t1038+t1493*t1587; t1290 = t1412*t1497+t1280*t1396+t912+t1337; t1289 = -t1276+t1029+t1282*t1152+t1048+(t1190+t1156)*x; t1288 = -t1273+t1277+t1281*t1347+t1008+t1164+t1562+t1569; t1239 = RATIONAL(6.0,1.0); t1287 = t1113+t1263*z+t836+t1239*t1270+t1266*t1489+t1124+t1370; t1286 = t1239*t1272+y*t1447+t1281*t1487+t1187+t836+t1202+t1369; t906 = t1281*t1113; t1285 = -t1277+y*t1426+t906+t1077+t1104+t1281*t1345+t1336; t1230 = RATIONAL(75.0,4.0); t1229 = RATIONAL(12.0,1.0); t1215 = RATIONAL(-12.0,1.0); t1207 = RATIONAL(-75.0,4.0); t1206 = RATIONAL(27.0,2.0); t1188 = t1244*t1445; t1182 = t1279*t1429; t1180 = y*t1429; t1175 = t1278*t1411; t1163 = z*t1434; t1157 = t1246*t1445; t1144 = z*t1464; t1137 = t1240*t1445; t1136 = t1280*t1195; t1119 = t1278*t1413; t1115 = t1279*t1438; t1112 = t1278*t1415; t1100 = t1280*t1201; t1095 = t1220*t1445; t1086 = z*t1389; t1082 = y*t1397; t1078 = t1259*t1269; t1076 = t1278*t1354; t1066 = z*t1381; t1057 = y*t1379; t1056 = z*t1392; t1042 = t1200*t1497; t1040 = t1252*t1271; t1034 = z*t1331; t1030 = t1278*t1380; t1028 = z*t1346; t1027 = z*t1380; t1025 = y*t1341; t1018 = y*t1340; t1016 = z*t1364; t1015 = y*t1329; t1006 = z*t1361; t1000 = t1243*t1403; t992 = z*t1358; t991 = z*t1328; t984 = t1278*t1358; t978 = t1279*t1456; t972 = t1256*t1269; t967 = z*t1359; t964 = t1414*t1497; t962 = t1258*t1269; t958 = t1424*t1497; t952 = z*t1353; t949 = t1282*t1121; t947 = y*t1350; t944 = t1262*t1271; t941 = t1280*t1406; t929 = y*t1321; t928 = t1280*t1125; t922 = y*t1325; t914 = t1280*t1384; t889 = t1280*t1094; t877 = t1219*t1274; t873 = t1228*t1274; t871 = t1206*t1356; t854 = t1281*t1343; t852 = y*t1387; t850 = y*t1402; t849 = t1206*t1360; t845 = t1281*t1324; t832 = t1281*t1088; t830 = t1216*t1356; coeffs_dx->coeff_m1_m1_m1 = t1375+t1006+t937+t1280*t1407+t1365+t1136+ t1157+t1147-t1275+t1368+t949+t928+t1144+t1451+t1467+t1539+t1579; coeffs_dx->coeff_0_m1_m1 = t976+t945+t1018+t1078+t938+t1016+t1455+t1472+ t1473+t1514+t1516; coeffs_dx->coeff_p1_m1_m1 = t1034+t1015+t1105+t1322+t1333+t906+t1502+ t1100+t1269+t1337+t911+t1506+t1531+t1535; coeffs_dx->coeff_p2_m1_m1 = t1025+t1027+t1028+t1289+t1030+t1054+t1420+ t1463+t1512; coeffs_dx->coeff_m1_0_m1 = t1297+(t1242*t1280-t1491)*x+t1044+t1318*t1280+ t1152+t1319+t1516+t1538+t1540+t1548+t1563; coeffs_dx->coeff_0_0_m1 = t889+t1348+t877+t1301+t1372+(t1267+t1213*t1281) *t1394+t1580; coeffs_dx->coeff_p1_0_m1 = t1121+t1056+t1313*t1280+t1233*t1394+t1287+ t1371+t1500+t1513+t1537; coeffs_dx->coeff_p2_0_m1 = t1350+t1066+(-t1280+t1491*t1245)*x+t1291+t1510 +t1554+t1560; coeffs_dx->coeff_m1_p1_m1 = t1025+t1121+t1285+t1156+t1086+t1076+t1275+ t1072+t1357+t1502+t1529+t1530; coeffs_dx->coeff_0_p1_m1 = t1015+t1299+t873+t1057+t1501+t1513+t1545; coeffs_dx->coeff_p1_p1_m1 = t1018+t1176+t889+t1232*t1315+t1136+t1288+ t1152+t1367+t1499+t1547+t1561; coeffs_dx->coeff_p2_p1_m1 = t1304+t1000+t928+t1471+t1478+t1520+t1564; coeffs_dx->coeff_m1_p2_m1 = t1270+t1163+t1289+t992+t984+t1100+t1457+t1515 +t1546; coeffs_dx->coeff_0_p2_m1 = t991+t978+t1291+t1573+t1582; coeffs_dx->coeff_p1_p2_m1 = t952+t1298+t1137+t1147+t1327+t1518+t1564; coeffs_dx->coeff_p2_p2_m1 = t967+t949+t1263*t1315+t1314+t1476+t1577; coeffs_dx->coeff_m1_m1_0 = t1318*t1281+t1297+t964+t931+(t1436-t1484)*x+ t1119+t1363+t1377+t1514+t1543+t1553; coeffs_dx->coeff_0_m1_0 = t852+t832+t1349+t890+t1373+t1376+(t1213*t1280+ t1267)*t1404+t1556+t1580; coeffs_dx->coeff_p1_m1_0 = t1286+t1313*t1281+t1188+t1233*t1404+t1082+ t1374+t1500+t1509+t1528; coeffs_dx->coeff_p2_m1_0 = t1042+t1354+(-t1281+t1484*t1245)*x+t1290+t1511 +t1559+t1560; coeffs_dx->coeff_m1_0_0 = (t1243+t1219*t1280)*t1282+(t1242+t1421*t1262)*x +(t1261+RATIONAL(-25.0,8.0)*t1280+(t1219+RATIONAL(-75.0,8.0)*t1280)*t1282)* t1281+t1255+t1301+t1410+t1532+t1533+t1549+t1550+t1556; coeffs_dx->coeff_0_0_0 = (t1211*t1280+t1251+(t1211+RATIONAL(225.0,8.0)* t1280)*t1281)*t1282+(t1222*t1278+t1218*t1280+t1260+(t1222+t1230*t1280)*t1279+( t1230*t1278+RATIONAL(-125.0,4.0)*t1280+t1218)*t1281)*x+t1477+t1557+t1558; coeffs_dx->coeff_p1_0_0 = t1302+t1095+(t1238+t1208*t1280)*t1282+t972+( t1235+t1421*t1239)*x+(t1259+RATIONAL(25.0,8.0)*t1280+(t1208+RATIONAL(-225.0,8.0 )*t1280)*t1282)*t1281+t1412+t1335+t1503+t1526; coeffs_dx->coeff_p2_0_0 = t962+(-1.0+t1421*t1243)*x+(t1257+t1228*t1280+( RATIONAL(75.0,8.0)*t1280+t1228)*t1281)*t1282+t1300+t1551+t1552; coeffs_dx->coeff_m1_p1_0 = t1236*t1425-t1281+t1135+t1286+(y+t1437)*x+t958 +t1335+t1501+t1517+t1559; coeffs_dx->coeff_0_p1_0 = t849+t850+t1344+((t1212+t1207*t1280)*t1279+ t1311*y)*x+t1374+t1503+t1578+t1583; coeffs_dx->coeff_p1_p1_0 = t1237*t1425+t944+t1281+(t1242*y+t1247*t1279+( t1229*t1278+t1248)*t1281)*x+t1303+t1107+t1363+t1376+t1524+t1532+t1557; coeffs_dx->coeff_p2_p1_0 = t1040+t1262*t1425+(t1483+t1422)*x+t1292+t1377+ t1508+t1555; coeffs_dx->coeff_m1_p2_0 = t1485+t1175+t1305*t1281+t1294+t1511+t1528+ t1573; coeffs_dx->coeff_0_p2_0 = t854+t859+t1364+t1311*t1485+t1369+t1551+t1574; coeffs_dx->coeff_p1_p2_0 = t1112+t1395+t1309*t1281+t1292+t1504+t1543+ t1581; coeffs_dx->coeff_p2_p2_0 = t998+t1346+t845+(t1430+t1526*t1281)*x+t1308+ t1553; coeffs_dx->coeff_m1_m1_p1 = t1268+t1007+t1028+t1285+t947+t1188+t1168+t958 +t1506+t1525+t1534+t1542+t1546; coeffs_dx->coeff_0_m1_p1 = t1034+t1299+t978+t850+t1505+t1509+t1584; coeffs_dx->coeff_p1_m1_p1 = t1016+t944+t832+t1140+t1119+t1232*t1316+t1288 +t1144+t1327+t1498+t1576; coeffs_dx->coeff_p2_m1_p1 = t1304+t1006+t1040+t1476+t1523+t1565+t1570; coeffs_dx->coeff_m1_0_p1 = t1095+t1345+t1086+(t1442+z)*x+t1287+t1200- t1280+t1505+t1517+t1541+t1554; coeffs_dx->coeff_0_0_p1 = t873+t1256*t1431+t871+(t1310*z+(t1212+t1207* t1281)*t1278)*x+t1302+t1371+t1583; coeffs_dx->coeff_p1_0_p1 = t1347+t1303+(t1242*z+t1247*t1278+(t1248+t1229* t1279)*t1280)*x+t1280+t1179+t1372+t1522+t1533+t1538+t1558+t1561; coeffs_dx->coeff_p2_0_p1 = t1339+(t1424+t1482)*x+t1296+t1471+t1521+t1548+ t1555; coeffs_dx->coeff_m1_p1_p1 = t1000+t964+(t1233+t1247*t1282)*t1277+t1107+ t1498+t1319+t1368+t1179+t1499+t1550+t1569+t1570; coeffs_dx->coeff_0_p1_p1 = t831+RATIONAL(18.0,1.0)*t1362+t852+t877+t1455+ t1477+t1522+t1524+t1547+t1576; coeffs_dx->coeff_p1_p1_p1 = (RATIONAL(-18.0,1.0)*t1282+t1242)*t1277+(( t1235*y+t1215*t1279)*t1280+(t1215*t1278+RATIONAL(16.0,1.0)*t1280+t1235*z)*t1281 )*x+t864+t1135+t1322+t1056+t849+t972+t871+t1082+t1525+t1529+t1541+t1545+t1584; coeffs_dx->coeff_p2_p1_p1 = -t1268+t1042+t962+t1293+t1239*t1362+t947+ t1066+t1463+t1530+t1575; coeffs_dx->coeff_m1_p2_p1 = t1295+t1140+t967+t1112+t1375+t1518+t1523; coeffs_dx->coeff_0_p2_p1 = t952+t1307+t1472+t1521+t1581; coeffs_dx->coeff_p1_p2_p1 = t854+t1175+t1168+t991+t1163+t1279*t1113+t1333 +t1451+t1507+t1566+t1575; coeffs_dx->coeff_p2_p2_p1 = t992+t979+t1027-t1270+(t1198+t1192)*t1281*x+ t1306+t1542; coeffs_dx->coeff_m1_m1_p2 = t1180+t941-t1276+t1182+t1272+t1357+t1474+ t1512+t1515+t1535; coeffs_dx->coeff_0_m1_p2 = t929+t1057+t1290+t1567+t1582; coeffs_dx->coeff_p1_m1_p2 = t1298+t1115+t1157+t922+t1367+t1519+t1565; coeffs_dx->coeff_p2_m1_p2 = t970+t914+t1263*t1316+t1478+t1568+t1577+t1579 ; coeffs_dx->coeff_m1_0_p2 = t1169+t1495+t1305*t1280+t1294+t1510+t1537+ t1567; coeffs_dx->coeff_0_0_p2 = t830+t1340+t1310*t1495+t1300+t1574; coeffs_dx->coeff_p1_0_p2 = t1139+t1242*t1495+t1309*t1280+t1296+t1504+ t1540+t1571; coeffs_dx->coeff_p2_0_p2 = t1341+t845+t950+(t1470+(t1245+t1199)*t1280)*x+ t1475+t1563+t1572; coeffs_dx->coeff_m1_p1_p2 = t1295+t1176+t914+t1139+t1365+t1519+t1520; coeffs_dx->coeff_0_p1_p2 = t922+t1307+t1473+t1508+t1571; coeffs_dx->coeff_p1_p1_p2 = t1161+t1235*t1272+t830+t929+t1293+t1156+t1180 +t1169+t1507+t1531; coeffs_dx->coeff_p2_p1_p2 = t927+t1076-t1272+t941+(t1193+t1195)*t1496+ t1306+t1420; coeffs_dx->coeff_m1_p2_p2 = t1115+t1137+(t1444+t1231)*t1277+t1314+t1539+ t1568; coeffs_dx->coeff_0_p2_p2 = t1078+t1281*t1321+t1308+t1572; coeffs_dx->coeff_p1_p2_p2 = t979+t1269+t1182+t927+(t1452+t1240)*t1277+ t1457+t1467+t1544; coeffs_dx->coeff_p2_p2_p2 = t984+t1030+t1280*t1359+(t1147+(t1466+t1197)* t1281)*x+t1474;