aboutsummaryrefslogtreecommitdiff
path: root/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order3.smooth0/coeffs-I.compute.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/Lagrange-tensor-product/3d.coeffs/3d.cube.order3.smooth0/coeffs-I.compute.c')
-rw-r--r--src/Lagrange-tensor-product/3d.coeffs/3d.cube.order3.smooth0/coeffs-I.compute.c2408
1 files changed, 1116 insertions, 1292 deletions
diff --git a/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order3.smooth0/coeffs-I.compute.c b/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order3.smooth0/coeffs-I.compute.c
index 1e10970..4b1d69f 100644
--- a/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order3.smooth0/coeffs-I.compute.c
+++ b/src/Lagrange-tensor-product/3d.coeffs/3d.cube.order3.smooth0/coeffs-I.compute.c
@@ -1,1421 +1,1245 @@
-fp t1283;
-fp t1277;
-fp t1252;
-fp t1274;
-fp t1282;
-fp t1286;
-fp t1488;
-fp t1236;
-fp t1692;
-fp t1281;
-fp t1250;
-fp t1468;
-fp t1691;
-fp t1263;
-fp t1456;
-fp t1284;
-fp t1258;
-fp t1461;
-fp t1393;
-fp t867;
-fp t1592;
-fp t1285;
-fp t1454;
-fp t1369;
-fp t874;
-fp t1690;
-fp t1259;
-fp t1453;
-fp t1264;
-fp t1470;
-fp t1138;
-fp t934;
-fp t1689;
-fp t1688;
-fp t1469;
-fp t1182;
-fp t1161;
-fp t1651;
fp t1270;
-fp t1568;
-fp t1687;
-fp t1686;
-fp t1463;
-fp t1214;
-fp t1251;
-fp t1685;
-fp t1275;
-fp t1450;
-fp t1240;
-fp t1684;
-fp t1591;
-fp t1506;
-fp t1227;
-fp t1466;
-fp t1683;
-fp t1444;
-fp t1531;
-fp t1175;
-fp t1517;
-fp t1153;
-fp t1648;
-fp t1215;
-fp t1682;
-fp t1249;
-fp t1271;
-fp t1449;
-fp t1376;
-fp t1681;
-fp t1451;
-fp t1191;
-fp t1586;
-fp t1680;
-fp t1198;
-fp t1276;
-fp t1483;
-fp t1400;
-fp t1518;
-fp t1381;
-fp t1086;
-fp t1243;
-fp t1046;
-fp t1679;
-fp t1278;
-fp t1588;
-fp t1522;
-fp t1422;
-fp t1678;
-fp t1204;
-fp t1385;
-fp t1579;
-fp t1472;
-fp t1590;
-fp t1677;
-fp t1585;
-fp t1508;
-fp t1582;
-fp t1256;
-fp t1425;
-fp t1255;
-fp t1676;
-fp t1511;
-fp t1411;
-fp t1261;
-fp t1497;
-fp t1417;
-fp t924;
-fp t1262;
-fp t1675;
-fp t1266;
-fp t1516;
-fp t1428;
-fp t882;
-fp t1572;
-fp t881;
-fp t1674;
-fp t1254;
-fp t1457;
-fp t1395;
-fp t816;
-fp t1253;
-fp t1569;
-fp t1418;
-fp t1673;
-fp t1500;
-fp t1442;
-fp t1384;
-fp t1672;
-fp t1486;
-fp t1433;
-fp t1414;
-fp t1671;
-fp t1477;
-fp t1443;
-fp t1471;
-fp t1426;
-fp t947;
-fp t1670;
-fp t1402;
-fp t1496;
-fp t1441;
-fp t1669;
-fp t1260;
-fp t879;
-fp t1257;
-fp t1455;
-fp t1375;
-fp t843;
-fp t1668;
-fp t888;
-fp t1513;
-fp t1136;
-fp t967;
-fp t1667;
-fp t1447;
-fp t1377;
-fp t1494;
-fp t1440;
-fp t1666;
-fp t1410;
-fp t1503;
-fp t1391;
-fp t1665;
-fp t1664;
-fp t1178;
-fp t935;
-fp t1663;
-fp t844;
-fp t1273;
-fp t1662;
-fp t1157;
-fp t1661;
-fp t1152;
-fp t1660;
-fp t1659;
-fp t1491;
-fp t1179;
-fp t1183;
-fp t1658;
-fp t1388;
-fp t1657;
-fp t1162;
-fp t1656;
-fp t1485;
-fp t1164;
-fp t1174;
-fp t1655;
-fp t1509;
-fp t1438;
-fp t1654;
-fp t1490;
-fp t1370;
-fp t851;
-fp t1269;
-fp t1498;
-fp t1226;
-fp t1078;
-fp t1653;
fp t1280;
-fp t1589;
-fp t1199;
-fp t1652;
-fp t1474;
-fp t1434;
-fp t1004;
-fp t1397;
-fp t1650;
-fp t1171;
-fp t1143;
-fp t1649;
-fp t1154;
-fp t1459;
-fp t1177;
-fp t939;
-fp t1647;
-fp t1372;
-fp t1185;
-fp t1075;
-fp t1646;
-fp t1479;
-fp t1223;
-fp t1481;
-fp t1184;
-fp t1645;
-fp t1242;
-fp t1129;
-fp t1221;
-fp t1065;
-fp t1644;
-fp t1478;
-fp t1205;
-fp t1475;
-fp t1224;
-fp t1643;
-fp t1232;
-fp t1642;
-fp t1194;
-fp t1109;
-fp t1378;
-fp t1641;
-fp t921;
-fp t1137;
-fp t962;
-fp t1504;
-fp t1188;
-fp t1033;
-fp t1640;
-fp t1234;
-fp t1051;
-fp t1639;
-fp t1458;
-fp t1241;
-fp t1464;
fp t1247;
-fp t1638;
-fp t1208;
-fp t1246;
-fp t1072;
-fp t1637;
-fp t1202;
-fp t1510;
-fp t1427;
-fp t1636;
-fp t1217;
-fp t1200;
-fp t1635;
-fp t1399;
-fp t944;
-fp t1150;
-fp t957;
-fp t1524;
-fp t1233;
-fp t1114;
-fp t1634;
-fp t1492;
-fp t1387;
-fp t910;
-fp t1421;
-fp t1558;
-fp t1267;
-fp t1575;
-fp t1155;
-fp t1633;
-fp t908;
-fp t1519;
-fp t1435;
-fp t1462;
-fp t1380;
-fp t1560;
-fp t1448;
-fp t1632;
-fp t1562;
-fp t946;
-fp t1631;
+fp t1268;
+fp t1282;
+fp t1281;
fp t1412;
-fp t1383;
-fp t1577;
-fp t1512;
-fp t1525;
-fp t1630;
-fp t1159;
-fp t850;
-fp t1629;
-fp t959;
-fp t1628;
-fp t1627;
-fp t1482;
-fp t1245;
-fp t1027;
-fp t1626;
-fp t1543;
-fp t1156;
-fp t1625;
-fp t1163;
-fp t1574;
-fp t1624;
-fp t1394;
-fp t1452;
-fp t1220;
-fp t1623;
-fp t1430;
-fp t1549;
-fp t1622;
-fp t1437;
-fp t1559;
-fp t1520;
-fp t1172;
-fp t1621;
-fp t1501;
-fp t1170;
-fp t1620;
-fp t1222;
-fp t1052;
-fp t1239;
-fp t1209;
-fp t1619;
-fp t1460;
-fp t1244;
-fp t1248;
-fp t1618;
-fp t1617;
-fp t1176;
-fp t1616;
-fp t833;
-fp t1615;
-fp t1473;
-fp t1614;
-fp t1578;
-fp t1502;
-fp t1165;
-fp t1613;
-fp t1576;
-fp t1487;
-fp t1382;
-fp t1149;
-fp t1612;
-fp t1571;
fp t1611;
-fp t1216;
+fp t1274;
+fp t1278;
+fp t1277;
+fp t1418;
+fp t1227;
+fp t1279;
+fp t1482;
+fp t1404;
fp t1610;
-fp t1235;
+fp t1416;
+fp t1229;
+fp t1480;
+fp t1402;
fp t1609;
-fp t1073;
-fp t1374;
-fp t1074;
+fp t1246;
+fp t1417;
fp t1608;
-fp t1231;
-fp t1108;
-fp t1059;
+fp t1484;
+fp t1406;
fp t1607;
-fp t1392;
-fp t1068;
-fp t1031;
-fp t1135;
-fp t1495;
-fp t1230;
-fp t1022;
+fp t1259;
+fp t1388;
+fp t1253;
+fp t1371;
+fp t826;
+fp t1476;
+fp t1258;
+fp t1415;
+fp t1141;
+fp t912;
+fp t1264;
+fp t1170;
+fp t986;
fp t1606;
-fp t1279;
-fp t902;
-fp t1032;
-fp t831;
-fp t1587;
-fp t1514;
+fp t1481;
+fp t1403;
+fp t1262;
+fp t1369;
+fp t955;
fp t1605;
-fp t1467;
-fp t1416;
-fp t1565;
+fp t1438;
+fp t1146;
fp t1604;
-fp t887;
-fp t856;
+fp t1255;
+fp t1134;
+fp t846;
+fp t1413;
+fp t1368;
+fp t953;
+fp t1378;
+fp t1263;
+fp t1499;
+fp t1478;
+fp t981;
fp t1603;
-fp t950;
-fp t1139;
+fp t1273;
+fp t1424;
+fp t1212;
+fp t1267;
+fp t1387;
fp t1602;
-fp t1026;
-fp t1213;
-fp t1079;
-fp t1580;
-fp t1415;
+fp t1386;
fp t1601;
-fp t1088;
-fp t1331;
-fp t1238;
fp t1600;
-fp t1140;
-fp t1413;
-fp t987;
-fp t1537;
-fp t1339;
-fp t1049;
+fp t1194;
+fp t1202;
fp t1599;
-fp t1028;
-fp t1373;
-fp t900;
-fp t1341;
+fp t1493;
+fp t1166;
+fp t1556;
fp t1598;
-fp t1127;
+fp t1256;
+fp t952;
+fp t1464;
+fp t1500;
+fp t1169;
+fp t1555;
fp t1597;
-fp t956;
+fp t1248;
+fp t1411;
fp t1596;
-fp t1389;
-fp t952;
-fp t1539;
-fp t927;
+fp t1383;
+fp t1409;
+fp t1385;
fp t1595;
-fp t1160;
-fp t969;
-fp t968;
-fp t1548;
-fp t1158;
-fp t1570;
+fp t1381;
fp t1594;
-fp t1567;
-fp t1123;
+fp t1380;
fp t1593;
+fp t1195;
+fp t1272;
+fp t1592;
+fp t1193;
+fp t1389;
+fp t1591;
+fp t1266;
+fp t1008;
+fp t1276;
+fp t1488;
+fp t1241;
+fp t1131;
+fp t1419;
+fp t1222;
+fp t1590;
+fp t1589;
+fp t1588;
+fp t1249;
+fp t1250;
+fp t1587;
+fp t1586;
+fp t1252;
+fp t1585;
+fp t1390;
fp t1584;
+fp t1251;
+fp t815;
fp t1583;
+fp t828;
+fp t1582;
+fp t831;
fp t1581;
+fp t1261;
+fp t947;
+fp t1580;
+fp t941;
+fp t1579;
+fp t1133;
+fp t849;
+fp t1167;
+fp t988;
+fp t1578;
+fp t1441;
+fp t1393;
+fp t851;
+fp t1132;
+fp t856;
+fp t1577;
+fp t870;
+fp t1576;
+fp t879;
+fp t1575;
+fp t1483;
+fp t1405;
+fp t1370;
+fp t961;
+fp t1574;
+fp t923;
+fp t977;
fp t1573;
+fp t983;
+fp t1572;
+fp t1366;
+fp t1410;
+fp t1382;
+fp t1571;
+fp t1408;
+fp t1365;
+fp t1384;
+fp t1570;
+fp t1367;
+fp t1414;
+fp t1379;
+fp t1569;
+fp t1265;
+fp t918;
+fp t1568;
+fp t1567;
fp t1566;
+fp t1565;
+fp t1275;
+fp t1489;
+fp t1237;
fp t1564;
-fp t926;
-fp t1432;
-fp t954;
fp t1563;
-fp t1401;
+fp t1562;
fp t1561;
-fp t1396;
-fp t864;
+fp t1138;
+fp t1560;
+fp t1144;
+fp t1559;
+fp t1558;
+fp t1159;
fp t1557;
-fp t1556;
-fp t1141;
-fp t982;
+fp t1432;
+fp t1173;
+fp t997;
+fp t1450;
+fp t875;
fp t1554;
-fp t984;
-fp t883;
+fp t948;
fp t1553;
-fp t853;
+fp t1426;
+fp t1219;
fp t1552;
-fp t955;
+fp t1192;
+fp t1063;
fp t1551;
-fp t889;
-fp t1521;
-fp t1181;
-fp t885;
+fp t1206;
+fp t1071;
+fp t1224;
+fp t1123;
fp t1550;
-fp t930;
-fp t937;
+fp t1072;
+fp t1223;
+fp t1121;
+fp t1549;
+fp t1429;
+fp t1183;
+fp t1548;
fp t1547;
-fp t821;
-fp t1436;
+fp t1430;
fp t1546;
-fp t845;
+fp t1431;
+fp t1181;
+fp t1545;
+fp t1187;
fp t1544;
+fp t1543;
+fp t1162;
+fp t1001;
+fp t1425;
+fp t1220;
+fp t1101;
+fp t1172;
+fp t995;
fp t1542;
-fp t892;
-fp t832;
+fp t1427;
+fp t1210;
+fp t1103;
+fp t1174;
+fp t992;
+fp t1160;
+fp t999;
fp t1541;
-fp t858;
-fp t837;
+fp t1242;
fp t1540;
-fp t994;
+fp t1243;
+fp t1539;
+fp t1400;
+fp t865;
+fp t867;
fp t1538;
-fp t943;
+fp t1537;
+fp t1469;
+fp t945;
fp t1536;
-fp t1493;
-fp t1431;
-fp t993;
+fp t1257;
+fp t1479;
+fp t1401;
+fp t1471;
+fp t827;
fp t1535;
+fp t1473;
+fp t829;
fp t1534;
+fp t1364;
+fp t1020;
+fp t1423;
+fp t1214;
+fp t1097;
+fp t873;
fp t1533;
-fp t975;
+fp t1128;
+fp t1199;
+fp t1203;
fp t1532;
-fp t1465;
-fp t1386;
+fp t1422;
+fp t1226;
+fp t1126;
+fp t1531;
+fp t1139;
+fp t1436;
+fp t1165;
+fp t1454;
fp t1530;
-fp t1409;
+fp t1434;
+fp t1456;
fp t1529;
-fp t884;
-fp t1003;
+fp t1145;
+fp t1452;
fp t1528;
+fp t1148;
+fp t1179;
fp t1527;
+fp t1150;
fp t1526;
+fp t1151;
+fp t1525;
+fp t1200;
+fp t1056;
+fp t1084;
+fp t1524;
+fp t1198;
+fp t1058;
+fp t1082;
fp t1523;
+fp t1495;
+fp t1135;
+fp t1156;
+fp t1522;
+fp t1157;
+fp t1521;
+fp t1158;
+fp t1520;
+fp t1491;
+fp t1211;
+fp t1519;
+fp t1518;
+fp t1517;
+fp t1189;
+fp t1516;
+fp t1182;
+fp t1043;
+fp t1269;
+fp t864;
+fp t968;
fp t1515;
+fp t1003;
+fp t1433;
+fp t1168;
+fp t1437;
+fp t1494;
+fp t1514;
+fp t1513;
+fp t1047;
+fp t1076;
+fp t1230;
+fp t1421;
+fp t1236;
+fp t1124;
+fp t1240;
+fp t1130;
+fp t1191;
+fp t1324;
+fp t1512;
+fp t1074;
+fp t1228;
+fp t1511;
+fp t1053;
+fp t1129;
+fp t1510;
+fp t1099;
+fp t958;
+fp t1337;
+fp t1509;
+fp t1428;
+fp t1209;
+fp t1102;
+fp t1147;
+fp t954;
+fp t1465;
+fp t1336;
+fp t1490;
+fp t1508;
+fp t880;
+fp t916;
fp t1507;
-fp t1148;
+fp t1006;
+fp t900;
+fp t1506;
+fp t869;
fp t1505;
-fp t1499;
-fp t1489;
-fp t1484;
-fp t1480;
-fp t1265;
-fp t1476;
-fp t1446;
-fp t1445;
-fp t1203;
+fp t1143;
+fp t1164;
+fp t1435;
+fp t906;
+fp t1504;
+fp t1073;
+fp t1109;
+fp t1111;
+fp t1503;
+fp t871;
+fp t1502;
+fp t1065;
+fp t1070;
+fp t1501;
+fp t1498;
+fp t1497;
+fp t1496;
+fp t1492;
+fp t1487;
+fp t1486;
+fp t1485;
+fp t805;
+fp t1477;
+fp t1474;
+fp t942;
+fp t1472;
+fp t1470;
+fp t1442;
+fp t1392;
+fp t858;
+fp t946;
+fp t1468;
+fp t1467;
+fp t1466;
+fp t1463;
+fp t1461;
+fp t1460;
+fp t897;
+fp t903;
+fp t1458;
+fp t898;
+fp t989;
+fp t1457;
fp t1439;
-fp t1429;
-fp t1424;
-fp t1423;
+fp t1154;
+fp t911;
+fp t998;
+fp t1453;
+fp t950;
+fp t1451;
+fp t1178;
+fp t1000;
+fp t894;
+fp t1448;
+fp t909;
+fp t1447;
+fp t1444;
+fp t1443;
+fp t1440;
fp t1420;
-fp t1419;
-fp t928;
-fp t1408;
-fp t931;
fp t1407;
-fp t948;
-fp t1406;
-fp t1112;
-fp t891;
-fp t1405;
-fp t1025;
-fp t1404;
-fp t1030;
-fp t1403;
+fp t1399;
fp t1398;
-fp t1193;
-fp t1390;
-fp t1210;
-fp t1379;
-fp t1371;
-fp t1368;
-fp t1367;
-fp t1366;
-fp t1365;
-fp t1364;
-fp t917;
+fp t1397;
+fp t1396;
+fp t1395;
+fp t1394;
+fp t1391;
+fp t1142;
+fp t1232;
+fp t899;
+fp t940;
+fp t975;
+fp t1377;
+fp t979;
+fp t1376;
+fp t890;
+fp t1375;
+fp t1037;
+fp t910;
+fp t1374;
+fp t1041;
+fp t987;
+fp t1373;
+fp t1094;
+fp t1372;
+fp t1231;
+fp t1233;
fp t1363;
fp t1362;
fp t1361;
-fp t830;
fp t1360;
fp t1359;
fp t1358;
fp t1357;
-fp t972;
fp t1356;
fp t1355;
fp t1354;
fp t1353;
fp t1352;
fp t1351;
-fp t863;
fp t1350;
fp t1349;
fp t1348;
-fp t813;
fp t1347;
fp t1346;
+fp t834;
fp t1345;
+fp t951;
fp t1344;
+fp t863;
+fp t1343;
fp t1342;
-fp t992;
-fp t973;
+fp t1341;
fp t1340;
-fp t1338;
-fp t1337;
-fp t862;
-fp t1335;
-fp t1094;
+fp t1004;
+fp t917;
+fp t1339;
fp t1334;
-fp t1082;
+fp t915;
+fp t1333;
+fp t1332;
+fp t1331;
+fp t1117;
fp t1330;
-fp t1060;
-fp t1021;
fp t1329;
fp t1328;
-fp t1327;
+fp t1119;
fp t1326;
-fp t1325;
-fp t1324;
-fp t951;
-fp t936;
+fp t1069;
fp t1323;
fp t1322;
-fp t997;
fp t1321;
-fp t1092;
fp t1320;
-fp t841;
fp t1319;
fp t1318;
-fp t834;
+fp t1260;
+fp t935;
fp t1317;
+fp t892;
+fp t937;
fp t1316;
-fp t860;
+fp t949;
fp t1315;
-fp t1005;
+fp t944;
fp t1314;
+fp t939;
fp t1313;
-fp t1089;
+fp t877;
fp t1312;
-fp t945;
+fp t882;
fp t1311;
-fp t1133;
fp t1310;
+fp t1005;
+fp t861;
fp t1309;
-fp t1096;
-fp t1102;
+fp t1104;
fp t1308;
+fp t929;
fp t1307;
fp t1306;
fp t1305;
-fp t985;
+fp t886;
fp t1304;
+fp t1030;
fp t1303;
+fp t1115;
+fp t1118;
fp t1302;
fp t1301;
-fp t979;
fp t1300;
fp t1299;
-fp t836;
fp t1298;
fp t1297;
-fp t1085;
-fp t1042;
fp t1296;
fp t1295;
fp t1294;
fp t1293;
-fp t1121;
+fp t1055;
fp t1292;
+fp t1081;
fp t1291;
fp t1290;
-fp t1272;
-fp t1268;
-fp t1169;
-fp t1167;
-fp t1062;
-fp t1039;
-fp t966;
-fp t923;
-fp t854;
-fp t852;
-fp t826;
+fp t1289;
+fp t1009;
+fp t1288;
+fp t1011;
+fp t1287;
+fp t1286;
+fp t1271;
+fp t1254;
+fp t1152;
+fp t1140;
+fp t1049;
+fp t1045;
+fp t888;
+fp t822;
+fp t820;
fp t819;
fp t818;
fp t817;
- t1283 = y*y;
- t1277 = RATIONAL(1.0,2.0);
- t1252 = t1277*t1283;
- t1274 = RATIONAL(1.0,4.0);
- t1282 = z*z;
- t1286 = z*t1282;
- t1488 = t1274*t1286;
- t1236 = t1283*t1488;
- t1692 = t1236+t1252;
- t1281 = x*x;
- t1250 = t1277*t1281;
- t1468 = t1281*t1274;
- t1691 = t1250+t1286*t1468;
- t1263 = RATIONAL(-1.0,24.0);
- t1456 = t1263*t1286;
- t1284 = t1281*x;
- t1258 = RATIONAL(1.0,24.0);
- t1461 = t1284*t1258;
- t1393 = t1286*t1461;
- t867 = y*t1393;
- t1592 = y*x;
- t1285 = t1283*y;
- t1454 = t1263*t1285;
- t1369 = t1286*t1454;
- t874 = t1284*t1369;
- t1690 = t1456*t1592+t867+t874;
- t1259 = RATIONAL(1.0,12.0);
- t1453 = t1259*t1284;
+ t1270 = RATIONAL(1.0,2.0);
+ t1280 = y*y;
+ t1247 = t1270*t1280;
+ t1268 = RATIONAL(1.0,4.0);
+ t1282 = x*x;
+ t1281 = x*t1282;
+ t1412 = t1281*t1280;
+ t1611 = t1268*t1412+t1247;
+ t1274 = RATIONAL(-1.0,4.0);
+ t1278 = z*z;
+ t1277 = z*t1278;
+ t1418 = t1277*t1281;
+ t1227 = t1274*t1418;
+ t1279 = y*t1280;
+ t1482 = x*t1279;
+ t1404 = z*t1482;
+ t1610 = t1268*t1404+y*t1227;
+ t1416 = t1279*t1281;
+ t1229 = t1274*t1416;
+ t1480 = y*t1277;
+ t1402 = x*t1480;
+ t1609 = t1268*t1402+z*t1229;
+ t1246 = t1270*t1278;
+ t1417 = t1279*t1278;
+ t1608 = t1268*t1417+t1246;
+ t1484 = t1281*z;
+ t1406 = y*t1484;
+ t1607 = t1406+t1404+t1402;
+ t1259 = RATIONAL(-1.0,72.0);
+ t1388 = z*t1416;
+ t1253 = RATIONAL(1.0,72.0);
+ t1371 = t1277*t1416;
+ t826 = t1253*t1371;
+ t1476 = t826+t1259*t1388;
+ t1258 = RATIONAL(1.0,12.0);
+ t1415 = t1280*t1277;
+ t1141 = t1258*t1415;
+ t912 = x*t1141;
t1264 = RATIONAL(-1.0,12.0);
- t1470 = t1264*t1284;
- t1138 = t1283*t1470;
- t934 = z*t1138;
- t1689 = z*t1453+t934;
- t1688 = t1692*x;
- t1469 = t1259*t1286;
- t1182 = t1283*t1469;
- t1161 = t1286*t1470;
- t1651 = t1284*t1182+t1161;
- t1270 = RATIONAL(1.0,6.0);
- t1568 = z*t1270;
- t1687 = t1651+x*t1568;
- t1686 = t1691*y;
- t1463 = t1282*t1274;
- t1214 = t1285*t1463;
- t1251 = t1277*t1282;
- t1685 = t1214+t1251;
- t1275 = RATIONAL(-1.0,4.0);
- t1450 = t1275*t1284;
- t1240 = t1285*t1450;
- t1684 = z*t1240+t1488*t1592;
- t1591 = y*z;
- t1506 = t1275*t1285;
- t1227 = t1286*t1506;
- t1466 = t1274*t1284;
- t1683 = t1466*t1591+x*t1227;
- t1444 = z*t1461;
- t1531 = t1285*t1444+t874;
- t1175 = t1285*t1470;
- t1517 = t1282*t1259;
- t1153 = t1285*t1517;
- t1648 = t1175+t1284*t1153;
- t1215 = t1270*t1592;
- t1682 = t1531+t1648+t1215;
- t1249 = t1285*t1488;
- t1271 = RATIONAL(-1.0,8.0);
- t1449 = t1286*t1271;
- t1376 = t1285*t1449;
- t1681 = t1249+x*t1376+t1281*t1227;
- t1451 = t1284*t1271;
- t1191 = t1285*t1466;
- t1586 = t1285*z;
- t1680 = t1451*t1586+t1282*t1240+t1191;
- t1198 = t1282*t1450;
- t1276 = RATIONAL(1.0,8.0);
- t1483 = t1276*t1284;
- t1400 = t1282*t1483;
- t1518 = t1285*t1282;
- t1381 = t1271*t1518;
- t1086 = t1284*t1381;
- t1243 = t1283*t1466;
- t1046 = t1282*t1243;
- t1679 = t1198+t1086+y*t1400+t1046;
- t1278 = RATIONAL(-1.0,2.0);
- t1588 = t1278*y;
- t1522 = t1276*t1286;
- t1422 = x*t1522;
- t1678 = z*t1588+t1285*t1422+t1227+t1281*t1249+t1450*t1591;
- t1204 = t1286*t1450;
- t1385 = t1286*t1483;
- t1579 = x*t1285;
- t1472 = z*t1579;
- t1590 = x*z;
- t1677 = t1275*t1472+t1204+y*t1385+t1278*t1590+t1284*t1236;
- t1585 = x*t1286;
- t1508 = y*t1585;
- t1582 = z*t1284;
- t1256 = RATIONAL(1.0,216.0);
- t1425 = t1256*t1582;
- t1255 = RATIONAL(1.0,108.0);
- t1676 = t1285*t1425+t1255*t1508;
- t1511 = t1281*t1285;
- t1411 = z*t1511;
+ t1170 = t1264*t1412;
+ t986 = z*t1170;
+ t1606 = t912+t986;
+ t1481 = x*t1280;
+ t1403 = z*t1481;
+ t1262 = RATIONAL(-1.0,24.0);
+ t1369 = t1277*t1412;
+ t955 = t1262*t1369;
+ t1605 = t1258*t1403+t955;
+ t1438 = t1258*t1281;
+ t1146 = z*t1438;
+ t1604 = t1146+t986;
+ t1255 = RATIONAL(1.0,36.0);
+ t1134 = t1255*t1416;
+ t846 = z*t1134;
+ t1413 = t1281*t1278;
+ t1368 = t1279*t1413;
+ t953 = t1262*t1368;
+ t1378 = t826+t846+t953;
+ t1263 = RATIONAL(-1.0,18.0);
+ t1499 = y*z;
+ t1478 = x*t1499;
+ t981 = t1263*t1478;
+ t1603 = t1378+t981;
+ t1273 = RATIONAL(-1.0,6.0);
+ t1424 = t1273*t1281;
+ t1212 = z*t1424;
+ t1267 = RATIONAL(1.0,6.0);
+ t1387 = z*t1412;
+ t1602 = t1267*t1387+t1212;
+ t1386 = y*t1413;
+ t1601 = t1267*t1386+y*t1424;
+ t1600 = t1611*z;
+ t1194 = t1268*t1413;
+ t1202 = y*t1246;
+ t1599 = y*t1194+t1202;
+ t1493 = t1267*z;
+ t1166 = t1264*t1418;
+ t1556 = t1166+t1258*t1369;
+ t1598 = x*t1493+t1556;
+ t1256 = RATIONAL(1.0,24.0);
+ t952 = t1262*t1371;
+ t1464 = t1256*t1388+t952;
+ t1500 = x*y;
+ t1169 = t1264*t1416;
+ t1555 = t1169+t1258*t1368;
+ t1597 = t1267*t1500+t1464+t1555;
+ t1248 = t1270*t1282;
+ t1411 = t1282*t1277;
+ t1596 = t1268*t1411+t1248;
+ t1383 = y*t1411;
+ t1409 = t1282*t1279;
+ t1385 = z*t1409;
+ t1595 = t1385+t1383;
+ t1381 = x*t1417;
+ t1594 = t1386+t1381;
+ t1380 = x*t1415;
+ t1593 = t1387+t1380;
+ t1195 = t1268*t1416;
+ t1272 = RATIONAL(-1.0,8.0);
+ t1592 = t1272*t1388+t1274*t1368+t1195;
+ t1193 = t1268*t1418;
+ t1389 = y*t1418;
+ t1591 = t1272*t1389+t1274*t1369+t1193;
+ t1266 = RATIONAL(1.0,8.0);
+ t1008 = t1266*t1371;
+ t1276 = RATIONAL(-1.0,2.0);
+ t1488 = t1276*z;
+ t1241 = y*t1488;
+ t1131 = x*t1241;
+ t1419 = t1277*t1279;
+ t1222 = t1274*t1419;
+ t1590 = t1008+t1268*t1406+x*t1222+t1131;
+ t1589 = t1266*t1388+t1268*t1368+t1274*t1402+t1229+t1276*t1500;
+ t1588 = t1266*t1389+t1268*t1369+t1274*t1404+t1227+x*t1488;
+ t1249 = RATIONAL(1.0,216.0);
+ t1250 = RATIONAL(1.0,108.0);
+ t1587 = t1249*t1388+t1250*t1402;
+ t1586 = t1249*t1389+t1250*t1404;
+ t1252 = RATIONAL(-1.0,108.0);
+ t1585 = t1250*t1389+t1252*t1404;
+ t1390 = x*t1419;
+ t1584 = t1250*t1390+t1252*t1406;
+ t1251 = RATIONAL(-1.0,216.0);
+ t815 = t1251*t1371;
+ t1583 = t815+t1252*t1478;
+ t828 = t1253*t1388;
+ t1582 = t828+t1259*t1404;
+ t831 = t1253*t1389;
+ t1581 = t831+t1259*t1402;
t1261 = RATIONAL(-1.0,36.0);
- t1497 = t1261*t1286;
- t1417 = y*t1497;
- t924 = t1281*t1417;
- t1262 = RATIONAL(1.0,72.0);
- t1675 = t924+t1262*t1411;
- t1266 = RATIONAL(1.0,36.0);
- t1516 = t1266*t1285;
- t1428 = x*t1516;
- t882 = z*t1428;
- t1572 = y*t1590;
- t881 = t1261*t1572;
- t1674 = t882+t881;
- t1254 = RATIONAL(-1.0,216.0);
- t1457 = t1284*t1254;
- t1395 = t1286*t1457;
- t816 = t1285*t1395;
- t1253 = RATIONAL(-1.0,108.0);
- t1569 = y*t1253;
- t1418 = t1284*t1569;
- t1673 = t816+t1286*t1418;
- t1500 = t1281*t1282;
- t1442 = y*t1500;
- t1384 = t1285*t1500;
- t1672 = t1263*t1384+t1264*t1442;
- t1486 = t1284*t1286;
- t1433 = y*t1486;
- t1414 = t1253*t1586;
- t1671 = x*t1414+t1255*t1433;
- t1477 = t1282*t1262;
- t1443 = y*t1477;
- t1471 = t1261*t1285;
- t1426 = x*t1471;
- t947 = t1282*t1426;
- t1670 = t1284*t1443+t947;
- t1402 = t1281*t1456;
- t1496 = t1283*t1281;
- t1441 = z*t1496;
- t1669 = t1283*t1402+t1264*t1441;
- t1260 = RATIONAL(-1.0,18.0);
- t879 = t1260*t1508;
- t1257 = RATIONAL(-1.0,72.0);
- t1455 = t1285*t1257;
- t1375 = t1284*t1455;
- t843 = z*t1375;
- t1668 = t879+t843;
- t888 = t1257*t1433;
- t1513 = t1266*t1286;
- t1136 = t1285*t1513;
- t967 = x*t1136;
- t1667 = t888+t967;
- t1447 = t1263*t1284;
- t1377 = t1282*t1447;
- t1494 = t1283*t1282;
- t1440 = x*t1494;
- t1666 = t1283*t1377+t1264*t1440;
- t1410 = t1255*t1582;
- t1503 = t1285*t1256;
- t1391 = t1286*t1503;
- t1665 = x*t1391+y*t1410;
- t1664 = t1447*t1591+t867;
- t1178 = t1266*t1486;
- t935 = y*t1178;
- t1663 = t882+t935;
- t844 = t1286*t1375;
- t1273 = RATIONAL(1.0,9.0);
- t1662 = t1273*t1572+t844;
- t1157 = t1286*t1471;
- t1661 = t1281*t1157+t1136;
- t1152 = t1286*t1453;
- t1660 = t1283*t1161+t1152;
- t1659 = t1259*t1384+t1270*t1442;
- t1491 = t1264*t1286;
- t1179 = t1281*t1491;
- t1183 = t1285*t1469;
- t1658 = t1285*t1179+t1183;
- t1388 = t1283*t1497;
- t1657 = t1178+t1284*t1388;
- t1162 = t1283*t1453;
- t1656 = t1270*t1440+t1282*t1162;
- t1485 = t1264*t1285;
- t1164 = t1286*t1485;
- t1174 = t1281*t1469;
- t1655 = t1285*t1174+t1164;
- t1509 = t1270*t1283;
- t1438 = z*t1509;
- t1654 = t1283*t1174+t1281*t1438;
- t1490 = t1281*t1258;
- t1370 = t1285*t1490;
- t851 = t1286*t1370;
- t1269 = RATIONAL(-1.0,6.0);
- t1498 = t1281*t1269;
- t1226 = z*t1498;
- t1078 = y*t1226;
- t1653 = t851+t1078;
- t1280 = RATIONAL(-1.0,3.0);
- t1589 = t1280*z;
- t1199 = x*t1589;
- t1652 = y*t1199+t874;
- t1474 = t1261*t1284;
- t1434 = y*t1474;
- t1004 = t1282*t1434;
- t1397 = t1285*t1477;
- t1650 = t1004+x*t1397;
- t1171 = t1284*t1471;
- t1143 = t1284*t1516;
- t1649 = t1282*t1171+t1143;
- t1154 = y*t1453;
- t1459 = t1282*t1264;
- t1177 = t1284*t1459;
- t939 = y*t1177;
- t1647 = t1154+t939;
- t1372 = t1283*t1449;
- t1185 = t1283*t1468;
- t1075 = z*t1185;
- t1646 = t1075+t1281*t1372;
- t1479 = t1269*t1284;
- t1223 = y*t1479;
- t1481 = t1270*t1284;
- t1184 = y*t1481;
- t1645 = t1184+t1282*t1223;
- t1242 = z*t1252;
- t1129 = x*t1242;
- t1221 = t1283*t1450;
- t1065 = z*t1221;
- t1644 = t1129+t1065;
- t1478 = t1270*t1285;
- t1205 = x*t1478;
- t1475 = t1269*t1285;
- t1224 = x*t1475;
- t1643 = t1282*t1224+t1205;
- t1232 = z*t1478;
- t1642 = t1232+t1269*t1411;
- t1194 = t1283*t1463;
- t1109 = x*t1194;
- t1378 = t1283*t1451;
- t1641 = t1109+t1282*t1378;
- t921 = y*t1179;
- t1137 = t1283*t1491;
- t962 = x*t1137;
- t1504 = t1269*t1283;
- t1188 = z*t1504;
- t1033 = x*t1188;
- t1640 = t921+t962+t1033;
- t1234 = t1281*t1463;
- t1051 = y*t1234;
- t1639 = t1281*t1381+t1051;
- t1458 = t1269*t1286;
- t1241 = y*t1458;
- t1464 = t1270*t1286;
- t1247 = y*t1464;
- t1638 = t1281*t1241+t1247;
- t1208 = t1281*t1506;
- t1246 = z*t1250;
- t1072 = y*t1246;
- t1637 = z*t1208+t1072;
- t1202 = z*t1481;
- t1510 = t1284*t1283;
- t1427 = z*t1510;
- t1636 = t1202+t1269*t1427;
- t1217 = x*t1464;
- t1200 = x*t1458;
- t1635 = t1283*t1200+t1217;
- t1399 = t1282*t1461;
- t944 = t1285*t1399;
- t1150 = t1282*t1453;
- t957 = y*t1150;
- t1524 = t1269*t1282;
- t1233 = x*t1524;
- t1114 = y*t1233;
- t1634 = t944+t957+t1114;
- t1492 = t1262*t1286;
- t1387 = t1281*t1492;
- t910 = t1285*t1387;
- t1421 = y*t1513;
- t1558 = t1281*t1421+t1266*t1411;
- t1267 = RATIONAL(1.0,18.0);
- t1575 = y*t1267;
- t1155 = z*t1575;
- t1633 = t1281*t1155+t910+t1558;
- t908 = t1284*t1397;
- t1519 = t1266*t1284;
- t1435 = y*t1519;
- t1462 = t1266*t1282;
- t1380 = t1285*t1462;
- t1560 = x*t1380+t1282*t1435;
- t1448 = t1267*t1282;
- t1632 = t1448*t1592+t908+t1560;
- t1562 = t1263*t1442+t1282*t1370;
- t946 = t1261*t1411;
- t1631 = t1562+y*t1387+t946;
- t1412 = t1255*t1579;
- t1383 = t1281*t1455;
- t1577 = t1266*y;
- t1512 = z*t1577;
- t1525 = t1286*t1383+t1281*t1512;
- t1630 = z*t1418+t1525+t1286*t1412;
- t1159 = x*t1469;
- t850 = y*t1159;
- t1629 = t1283*t1217+t1200+t850;
- t959 = z*t1154;
- t1628 = z*t1479+t1270*t1427+t959;
- t1627 = t1241+t1281*t1247+t850;
- t1482 = t1283*t1275;
- t1245 = x*t1482;
- t1027 = z*t1245;
- t1626 = z*t1243+t1242+t1027;
- t1543 = t1259*t1442+t1264*t1384;
- t1156 = y*t1459;
- t1625 = t1543+t1153+t1156;
- t1163 = z*t1470;
- t1574 = z*t1259;
- t1624 = t1163+(t1491+t1574)*x;
- t1394 = t1282*t1482;
- t1452 = t1278*t1282;
- t1220 = t1283*t1452;
- t1623 = t1109+t1284*t1394+t1220;
- t1430 = x*t1517;
- t1549 = (t1430+t1177)*t1283;
- t1622 = x*t1459+t1150+t1549;
- t1437 = t1281*t1574;
- t1559 = (t1179+t1437)*t1283;
- t1520 = t1281*t1264;
- t1172 = z*t1520;
- t1621 = t1559+t1172+t1174;
- t1501 = t1283*t1264;
- t1170 = x*t1501;
- t1620 = t1549+t1162+t1170;
- t1222 = t1281*t1452;
- t1052 = y*t1222;
- t1239 = y*t1251;
- t1209 = t1284*t1463;
- t1619 = t1052+y*t1209+t1239;
- t1460 = t1278*t1283;
- t1244 = t1281*t1460;
- t1248 = t1286*t1482;
- t1618 = t1281*t1248+t1244+t1075;
- t1617 = t1559+t1182+z*t1501;
- t1176 = t1259*t1511;
- t1616 = t1543+y*t1520+t1176;
- t833 = x*t1182;
- t1615 = t833+t934+t1666;
- t1473 = t1260*t1591;
- t1614 = t1157+t1155+(t1136+t1473)*t1281;
- t1578 = y*t1282;
- t1502 = x*t1578;
- t1165 = x*t1575;
- t1613 = t1260*t1502+t1171+t1165+t1284*t1380;
- t1576 = t1283*z;
- t1487 = x*t1576;
- t1382 = t1283*t1513;
- t1149 = t1286*t1474;
- t1612 = t1260*t1487+t1267*t1590+t1284*t1382+t1149;
- t1571 = t1269*x;
- t1611 = x*t1438+z*t1571+t1651;
- t1216 = y*t1568;
- t1610 = t1281*t1216+t1269*t1591+t1655;
- t1235 = y*t1571;
- t1609 = t1282*t1215+t1235+t1648;
- t1073 = x*t1248;
- t1374 = t1284*t1449;
- t1074 = t1285*t1374;
- t1608 = z*t1191+t1129+t1073+t1074;
- t1231 = x*t1588;
- t1108 = z*t1231;
- t1059 = t1285*t1385;
- t1607 = y*t1204+t1108+t1059+t1274*t1472;
- t1392 = t1285*t1483;
- t1068 = t1282*t1392;
- t1031 = y*t1198;
- t1135 = x*t1239;
- t1495 = t1282*t1275;
- t1230 = t1285*t1495;
- t1022 = x*t1230;
- t1606 = t1068+t1031+t1135+t1022;
- t1279 = RATIONAL(1.0,3.0);
- t902 = t1285*t1393;
- t1032 = z*t1215;
- t831 = x*t1369;
- t1587 = t1281*z;
- t1514 = y*t1587;
- t1605 = t1279*t1514+t1032+y*t1589+t902+t831+t1658;
- t1467 = t1286*t1258;
- t1416 = x*t1467;
- t1565 = x*t1263;
- t1604 = t1565*t1591+t831+t1258*t1472+(t1416+t1444)*y;
- t887 = t1264*t1572;
- t856 = t1285*t1416;
- t1603 = t1216+t887+t856+t1655;
- t950 = y*t1430;
- t1139 = t1285*t1459;
- t1602 = t950+y*t1524+t1139+t1659;
- t1026 = t1274*t1384;
- t1213 = y*t1495;
- t1079 = x*t1213;
- t1580 = x*t1282;
- t1415 = t1276*t1580;
- t1601 = t1026+t1285*t1415+t1079+t1619+t1230+t1086;
- t1088 = x*t1220;
- t1331 = t1079+t1088+t1685*x;
- t1238 = t1286*t1466;
- t1600 = t1059+y*t1374+t1284*t1248+t1331+t1238;
- t1140 = t1285*t1453;
- t1413 = z*t1454;
- t987 = t1284*t1413;
- t1537 = t987+t902;
- t1339 = t1140+t1282*t1175+t1537;
- t1049 = x*t1241;
- t1599 = t1280*t1592+t1032+t1339+t1279*t1502+t1049;
- t1028 = z*t1224;
- t1373 = t1286*t1447;
- t900 = y*t1373;
- t1341 = t902+t900+t1660;
- t1598 = t1028+t1279*t1487+t1199+t1341+t1032;
- t1127 = t1284*t1372;
- t1597 = t1088+t1027+t1127+t1276*t1427+t1221+t1046+t1688;
- t956 = x*t1139;
- t1596 = t1177+t956+t950+t1233+t1656;
- t1389 = t1283*t1461;
- t952 = t1283*t1373;
- t1539 = z*t1389+t952;
- t927 = t1259*t1487;
- t1595 = x*t1504+t1539+t1138+t927+t1656;
- t1160 = y*t1491;
- t969 = y*t1174;
- t968 = y*t1172;
- t1548 = t969+t968;
- t1158 = z*t1485;
- t1570 = y*t1259;
- t1594 = t1160+t1548+z*t1570+t1158+t1658;
- t1567 = t1274*y;
- t1123 = t1567*t1590;
- t1593 = t1231+t1240+t1123+t1135+t1284*t1214+t1275*t1508+t1074+z*t1392;
- t1584 = t1254*z;
- t1583 = y*t1284;
- t1581 = t1274*z;
- t1573 = 1.0-t1281;
- t1566 = x*t1257;
- t1564 = -1.0+t1283;
- t926 = x*t1417;
- t1432 = z*t1474;
- t954 = y*t1432;
- t1563 = t926+t954;
- t1401 = t1283*t1467;
- t1561 = t952+x*t1401;
- t1396 = t1285*t1492;
- t864 = t1284*t1396;
- t1557 = t864+t843;
- t1556 = t1266*t1427+x*t1382;
- t1141 = t1281*t1485;
- t982 = z*t1141;
- t1554 = t956+t982;
- t984 = x*t1156;
- t883 = x*t1153;
- t1553 = t984+t883;
- t853 = z*t1170;
- t1552 = t833+t853;
- t955 = z*t1162;
- t1551 = t955+t853;
- t889 = x*t1164;
- t1521 = t1259*t1285;
- t1181 = z*t1521;
- t885 = x*t1181;
- t1550 = t889+t885;
- t930 = y*t1399;
- t937 = t1285*t1377;
- t1547 = t930+t937;
- t821 = t1284*t1391;
- t1436 = t1285*t1584;
- t1546 = t821+t1284*t1436;
- t845 = z*t1176;
- t1544 = t845+t955;
- t1542 = t1262*t1433+t844;
- t892 = z*t1140;
- t832 = x*t1158;
- t1541 = t892+t832;
- t858 = z*t1435;
- t837 = y*t1149;
- t1540 = t858+t837;
- t994 = x*t1183;
- t1538 = t994+t832;
- t943 = z*t1426;
- t1536 = t943+t954;
- t1493 = t1281*t1286;
- t1431 = y*t1493;
- t993 = t1281*t1369;
- t1535 = t993+t1258*t1431;
- t1534 = t993+z*t1370;
- t1533 = t943+t967;
- t975 = z*t1165;
- t1532 = t864+t975;
- t1465 = t1284*t1257;
- t1386 = t1283*t1465;
- t1530 = t1286*t1386+t1266*t1487;
- t1409 = t1283*t1565;
- t1529 = (t1409+t1389)*t1282;
- t884 = y*t1163;
- t1003 = y*t1152;
- t1528 = t884+t1003;
- t1527 = t1282*t1375+t1462*t1592;
- t1526 = t1281*t1401+t1263*t1441;
- t1523 = t1286+t1284;
- t1515 = t1281*t1275;
- t1507 = t1114+t1078;
- t1148 = x*t1570;
- t1505 = t1286+t1285;
- t1499 = t1285+t1284;
- t1489 = t1033+t1114;
- t1484 = y*t1582;
- t1480 = t1283*t1262;
- t1265 = RATIONAL(-1.0,54.0);
- t1476 = t1265*t1591;
- t1446 = t1286*t1566;
- t1445 = t1253*t1585;
- t1203 = y*t1515;
- t1439 = y*t1465;
- t1429 = t1262*t1582;
- t1424 = t1258*t1580;
- t1423 = t1254*t1585;
- t1420 = x*t1455;
- t1419 = x*t1513;
- t928 = t1267*t1484;
- t1408 = t928+t935+t939;
- t931 = z*t1143;
- t1407 = t864+t937+t931;
- t948 = t1286*t1165;
- t1406 = t962+t967+t948;
- t1112 = x*t1247;
- t891 = y*t1161;
- t1405 = t1112+t969+t891;
- t1025 = x*t1232;
- t1404 = t889+t883+t1025;
- t1030 = z*t1223;
- t1403 = t1030+t939+t1003;
- t1398 = t1281*t1494;
- t1193 = t1285*t1468;
- t1390 = t1286*t1480;
- t1210 = t1275*t1493;
- t1379 = t1271*z+t1274;
- t1371 = t1276*t1493;
- t1368 = t1278+t1251;
- t1367 = t1269+t1270*t1282;
- t1366 = t1524+t1270;
- t1365 = t1279+t1280*t1283;
- t1364 = t1267*t1281+t1260;
- t917 = t1284*t1390;
- t1363 = t1283*t1446+z*t1386+t1480*t1590+t917;
- t1362 = t1260*t1282+t1267;
- t1361 = t1260*t1283+t1267;
- t830 = t1286*t1389;
- t1360 = t1258*t1487+t830+t1286*t1409+t1263*t1427;
- t1359 = t1490*t1591+y*t1402+t851+t1263*t1411;
- t1358 = t1260+t1267*t1283;
- t1357 = t1260*t1281+t1267;
- t972 = t1285*t1429;
- t1356 = t972+z*t1439+t1542;
- t1355 = t1250+t1278;
- t1354 = t1270+t1504;
- t1353 = t1509+t1269;
- t1352 = t1278+t1252;
- t1351 = x*t1443+t908+(t1439+t1420)*t1282;
- t863 = x*t1396;
- t1350 = t972+z*t1420+t863+t844;
- t1349 = t863+y*t1446+t1542;
- t1348 = t1460+t1277;
- t813 = t1569*t1590;
- t1347 = t816+t1256*t1433+t813+z*t1412;
- t1346 = t944+t1454*t1580+(t1377+t1424)*y;
- t1345 = t1279*t1283+t1280;
- t1344 = t1448+t1260;
- t1342 = t1262*t1514+t1257*t1431+t910+z*t1383;
- t992 = z*t1148;
- t973 = x*t1160;
- t1340 = t992+t973+t1531;
- t1338 = t1223+t1282*t1184+t959+t891;
- t1337 = t1224+t1282*t1205+t1550;
- t862 = z*t1175;
- t1335 = t1270*t1411+z*t1475+t885+t862;
- t1094 = t1281*t1394;
- t1334 = t1271*t1440+t1194+t1283*t1400+t1094;
- t1082 = t1277*t1398;
- t1330 = t1222+t1275*t1384+t1051+t1082;
- t1060 = z*t1203;
- t1021 = z*t1244;
- t1329 = t1060+t1021+z*t1193+t1246;
- t1328 = t1234+t1271*t1442+t1276*t1384+t1094;
- t1327 = t1283*t1371+t1271*t1441+t1185+t1094;
- t1326 = t1494-t1282-t1283;
- t1325 = t1518+t1283*t1286;
- t1324 = -1.0-t1326;
- t951 = t1286*t1420;
- t936 = t1285*t1424;
- t1323 = t951+t936+t943+t1407;
- t1322 = t845+t968+t1535+t1562;
- t997 = x*t1476;
- t1321 = t1285*t1410+t997+t821+y*t1445+t1527;
- t1092 = z*t1235;
- t1320 = t1092+t984+t937+t902+t862+t850;
- t841 = x*t1157;
- t1319 = t841+t954+t1525+t1532;
- t1318 = t1529+t1551+t1561;
- t834 = z*t1171;
- t1317 = t834+t926+t1527+t1532;
- t1316 = t1526+t1539+t1552;
- t860 = x*t1388;
- t1315 = t1262*t1427+t860+t1526+t1530;
- t1005 = t1261*t1427;
- t1314 = t1005+x*t1390+t1529+t1530;
- t1313 = t888+t1262*t1472+t951+t1492*t1592+y*t1429+t1566*t1591+t1557;
- t1089 = t1276*t1398;
- t1312 = t917+t1089+t1267*t1487+t1556+t1666+t1669;
- t945 = t1267*t1472;
- t1311 = t830+t945+t837+t1089+t1033+t1662+t1672;
- t1133 = y*t1202;
- t1310 = t1133+t994+t1089+t1641+t1652+t1653;
- t1309 = t1354*t1282+t1353;
- t1096 = t1285*t1371;
- t1102 = y*t1210;
- t1308 = t1096+t1089+t1102+t1637+t1639+t1646;
- t1307 = t1354*t1281+t1353;
- t1306 = t1366*t1281+t1367;
- t1305 = t992+t884+t856+t1346+t1541+t1690;
- t985 = y*t1419;
- t1304 = t985+t881+t1350+t1360+t1540;
- t1303 = t985+t841+t1356+t1359+t1674;
- t1302 = t834+t858+t1346+t1349+t1674;
- t1301 = t1340+t1359+t1538+t1664;
- t979 = x*t1413;
- t1300 = t979+t856+t1340+t1360+t1528;
- t1299 = t1137+t1188+t927+t934+t1334+t1561+t1654;
- t836 = y*t1437;
- t1298 = t1141+t921+y*t1498+t836+t1327+t1534+t1659;
- t1297 = t836+t1226+t1179+t982+t1328+t1535+t1654;
- t1085 = t1281*t1376;
- t1042 = t1281*t1236;
- t1296 = y*t1371+t1085+t1042+t1210+t1328+t1329;
- t1295 = t1021+t1042+t1127+t1248+t1283*t1422+t1334+t1626;
- t1294 = t1052+t1060+t1085+t1026+t1208+t1276*t1411+t1327+t1686;
- t1293 = y*t1470+t1148+t957+x*t1485+t900+t1339+t1553+t1604;
- t1121 = t1283*t1385;
- t1292 = t1243+x*t1372+t1082+t1245+t1276*t1487+t1121+t1618+t1623+(t1378+
-t1482)*z+t1692;
- t1291 = t1193+z*t1515+t1276*t1514+t1203+t1096+t1330+t1618+(t1411+t1431)*
-t1271+t1691;
- t1290 = t1068+t1213+t1451*t1578+t1209+t1623+y*t1415+t1330+(t1381+t1495)*x
-+t1685;
- t1272 = RATIONAL(-1.0,9.0);
- t1268 = RATIONAL(1.0,54.0);
- t1169 = x*t1521;
- t1167 = y*t1469;
- t1062 = x*t1249;
- t1039 = y*t1238;
- t966 = t1284*t1473;
- t923 = x*t1473;
- t854 = x*t1512;
- t852 = t1260*t1472;
- t826 = t1285*t1423;
- t819 = y*t1395;
- t818 = t1284*t1414;
- t817 = t1285*t1445;
- coeffs_I->coeff_m1_m1_m1 = t818+(t1265*t1586+(RATIONAL(-1.0,27.0)*z+t1265
-*t1286)*y)*x+t1284*t1476+t1312+t817+t1632+t1633+t1672+t1673;
- coeffs_I->coeff_0_m1_m1 = t1357*t1586+t923+t926+(t1357*t1286+(t1272*t1281
-+t1273)*z)*y+t1323+t1299+t1408+t1602+t1661;
- coeffs_I->coeff_p1_m1_m1 = t956+t834+t966+t955+t1311+t1406+t1633+t1634+
-t1641+t1669;
- coeffs_I->coeff_p2_m1_m1 = t1314+t1268*t1484+t826+t1321+t1650+t1671;
- coeffs_I->coeff_m1_0_m1 = t1407+t1596+t930+t923+(t1361*t1286+(t1272*t1283
-+t1273)*z)*x+t1297+t945+t1361*t1582+t1563+t1657+t1667;
- coeffs_I->coeff_0_0_m1 = t1159+t1290+t1603+t1307*t1286+(t1365*t1281+t1345
-)*z+t1167+t1335+t1078+t1628+t1640+t1687+t1690;
- coeffs_I->coeff_p1_0_m1 = t884+t1331+t1297+t889+t1598+t892+t1629+t1636+
-t1679;
- coeffs_I->coeff_p2_0_m1 = t1302+t1358*t1582+t860+t1419+t1612+t1622;
- coeffs_I->coeff_m1_p1_m1 = t921+t834+t852+t944+t845+t883+t1312+t841+t948+
-t851+t1408+t1507+t1639+t1662;
- coeffs_I->coeff_0_p1_m1 = t1030+t891+t1299+t1541+t1601+t1605+t1627+t1642;
- coeffs_I->coeff_p1_p1_m1 = t830+t1310+t1025+t1049+t1003+t862+t1544+t1606+
-t1639+t1640+t1669;
- coeffs_I->coeff_p2_p1_m1 = t984+t985+t957+t1314+t966+t837+t975+t1323;
- coeffs_I->coeff_m1_p2_m1 = t1321+t1268*t1472+t819+t1630+t1631+t1670;
- coeffs_I->coeff_0_p2_m1 = t1302+t1364*t1586+t924+t1421+t1614+t1625;
- coeffs_I->coeff_p1_p2_m1 = t888+t852+t985+t931+t1319+t1547+t1553+t1631;
- coeffs_I->coeff_p2_p2_m1 = t818+y*t1423+t1347+t1351+t1665;
- coeffs_I->coeff_m1_m1_0 = t935+(t1362*t1285+(t1272*t1282+t1273)*y)*x+
-t1362*t1583+t923+t1406+t1298+t1536+t1557+t1595+t1649;
- coeffs_I->coeff_0_m1_0 = t1169+t1306*t1285+t1292+t1603+(t1279*t1282+t1280
-+(t1279+t1280*t1282)*t1281)*y+t979+t1338+t1181+t1507+t1554+t1627+t1682;
- coeffs_I->coeff_p1_m1_0 = t1337+t1298+t1528+t1597+t1599+t1645;
- coeffs_I->coeff_p2_m1_0 = t1304+t1344*t1583+t1428+t947+t1613+t1620;
- coeffs_I->coeff_m1_0_0 = t887+t1309*t1284+(t1365*t1282+t1345)*x+t1291+
-t1337+t1489+t1629+t1647+t1664+t1682+t1687+t1689;
- coeffs_I->coeff_0_0_0 = t1326+t1600+t1324*t1281+RATIONAL(1.0,1.0)+t1680+(
-t1505*t1275+(t1276*t1285+t1274)*z+(t1522+t1379)*y)*x+(t1286+t1284*t1494+t1325*
-t1281+t1499)*t1277+t1619+t1499*t1275*z+t1626+(t1523*t1275+(t1483+t1274)*z)*y+(z
-+y+x+t1523*t1283+t1499*t1282+t1505*t1281)*t1278+t1329+t1681+t1686+t1688;
- coeffs_I->coeff_p1_0_0 = t1031+t1593+t1291+(t1505*t1277+t1325*t1278-t1324
-)*x+(t1581+t1348*t1282+t1379*y+t1352)*t1284+t1062+t1644+t1677;
- coeffs_I->coeff_p2_0_0 = (t1353*t1282+t1354)*t1284+t1309*x+t833+t1293+
-t1551+t1624+t1660;
- coeffs_I->coeff_m1_p1_0 = t1338+t962+t1294+t1538+t1595+t1599+t1643;
- coeffs_I->coeff_0_p1_0 = t1292+t1039+t1593+(t1500-t1282+t1523*t1277+(
-t1284*t1282+t1493)*t1278+t1573)*y+t1022+(t1581+(t1452+t1277)*t1281+t1379*x+
-t1368)*t1285+t1637+t1678;
- coeffs_I->coeff_p1_p1_0 = (t1368*t1285+(1.0+t1277*t1286-t1282)*y)*x+t1368
-*t1583+t1294+t1597+t1607+t1680+t1683;
- coeffs_I->coeff_p2_p1_0 = t1169+t956+t1300+t1609+t1620+t1645;
- coeffs_I->coeff_m1_p2_0 = t1004+t1303+t1435+t1344*t1579+t1613+t1616;
- coeffs_I->coeff_0_p2_0 = (t1367*t1281+t1366)*t1285+t1306*y+t845+t1293+
-t1594;
- coeffs_I->coeff_p1_p2_0 = t1301+t1609+t1616+t1643+t1647;
- coeffs_I->coeff_p2_p2_0 = t1434+(t1577+(t1578+t1285)*t1261)*x+t1313+t1560
-+t1649;
- coeffs_I->coeff_m1_m1_p1 = t928+t931+t969+t841+t879+t1311+t982+t1615+
-t1632+t1646+t1653;
- coeffs_I->coeff_0_m1_p1 = t937+t1295+t936+t973+t1335+t1403+t1602+t1605+
-t1638;
- coeffs_I->coeff_p1_m1_p1 = t1028+t1310+t1121+t1073+t892+t1405+t1554+t1634
-+t1644+t1646+t1672;
- coeffs_I->coeff_p2_m1_p1 = t951+t966+t1317+t1318+t1650+t1663;
- coeffs_I->coeff_m1_0_p1 = t1296+t1596+t994+t973+t1547+t862+t1598+t1628+
-t1635;
- coeffs_I->coeff_0_0_p1 = t1290+t1608+t1123+t1072+(t1496-t1281+t1499*t1277
-+(t1510+t1511)*t1278-t1564)*z+t1102+(t1567+t1348*t1281+(t1274+t1271*y)*x+t1352)
-*t1286+t1677+t1678;
- coeffs_I->coeff_p1_0_p1 = t1296+t1108+t1352*t1582+(t1352*t1286+(t1277*
-t1285-t1564)*z)*x+t1600+t1679+t1683+t1684;
- coeffs_I->coeff_p2_0_p1 = t1159+t1305+t962+t1611+t1622+t1636;
- coeffs_I->coeff_m1_p1_p1 = t1308+t944+t830+t1112+t892+t1403+t1404+t1489+
-t1615+t1652;
- coeffs_I->coeff_0_p1_p1 = t1355*t1586+t1295+(t1355*t1286+(t1277*t1284+
-t1573)*z)*y+t1601+t1607+t1681+t1684;
- coeffs_I->coeff_p1_p1_p1 = t1308+(t1278*t1586+(t1278*t1286+z)*y)*x+t1039+
-t1278*t1484+t1121+t1065+t1062+t1606+t1608+t1641;
- coeffs_I->coeff_p2_p1_p1 = t1133+t957+t936+t885+t891+t831+t1318+t1320;
- coeffs_I->coeff_m1_p2_p1 = t852+t858+t1317+t1322+t1667+t1670;
- coeffs_I->coeff_0_p2_p1 = t921+t1305+t1167+t1610+t1625+t1642;
- coeffs_I->coeff_p1_p2_p1 = t930+t959+t1320+t900+t1322+t1404;
- coeffs_I->coeff_p2_p2_p1 = t854+t931+t1349+t1351+t1536;
- coeffs_I->coeff_m1_m1_p2 = t997+t1315+t1268*t1508+t1546+t1630+t1671+t1675
+ t947 = t1261*t1381;
+ t1580 = t1253*t1386+t947;
+ t941 = t1261*t1386;
+ t1579 = t1253*t1381+t941;
+ t1133 = t1255*t1418;
+ t849 = y*t1133;
+ t1167 = t1264*t1413;
+ t988 = y*t1167;
+ t1578 = t849+t988;
+ t1441 = t1255*t1281;
+ t1393 = z*t1441;
+ t851 = y*t1393;
+ t1132 = t1255*t1419;
+ t856 = x*t1132;
+ t1577 = t851+t856;
+ t870 = t1256*t1389;
+ t1576 = t870+t1262*t1406;
+ t879 = t1256*t1390;
+ t1575 = t879+t1262*t1404;
+ t1483 = t1282*z;
+ t1405 = y*t1483;
+ t1370 = t1277*t1409;
+ t961 = t1262*t1370;
+ t1574 = t1258*t1405+t961;
+ t923 = t1259*t1389;
+ t977 = t1263*t1404;
+ t1573 = t923+t977;
+ t983 = z*t1169;
+ t1572 = t953+t983;
+ t1366 = t1278*t1409;
+ t1410 = t1282*t1278;
+ t1382 = y*t1410;
+ t1571 = t1262*t1366+t1264*t1382;
+ t1408 = t1282*t1280;
+ t1365 = t1277*t1408;
+ t1384 = z*t1408;
+ t1570 = t1262*t1365+t1264*t1384;
+ t1367 = t1278*t1412;
+ t1414 = t1280*t1278;
+ t1379 = x*t1414;
+ t1569 = t1264*t1379+t1262*t1367;
+ t1265 = RATIONAL(1.0,9.0);
+ t918 = t1259*t1371;
+ t1568 = t1265*t1478+t918;
+ t1567 = t1267*t1384+t1258*t1365;
+ t1566 = t1267*t1382+t1258*t1366;
+ t1565 = t1267*t1379+t1258*t1367;
+ t1275 = RATIONAL(-1.0,3.0);
+ t1489 = t1275*z;
+ t1237 = y*t1489;
+ t1564 = x*t1237+t952;
+ t1563 = t1132+t1261*t1370;
+ t1562 = t1133+t1261*t1369;
+ t1561 = t1134+t1261*t1368;
+ t1138 = t1258*t1419;
+ t1560 = t1138+t1264*t1370;
+ t1144 = t1258*t1418;
+ t1559 = t1144+t1264*t1369;
+ t1558 = y*t1438+t988;
+ t1159 = t1264*t1419;
+ t1557 = t1159+t1258*t1370;
+ t1432 = t1264*t1282;
+ t1173 = z*t1432;
+ t997 = y*t1173;
+ t1450 = t961+t997;
+ t875 = t1256*t1385;
+ t1554 = t1450+t875;
+ t948 = t1261*t1404;
+ t1553 = t948+t1476;
+ t1426 = t1273*t1279;
+ t1219 = x*t1426;
+ t1552 = t1267*t1381+t1219;
+ t1192 = t1268*t1414;
+ t1063 = x*t1192;
+ t1551 = t1063+t1272*t1367;
+ t1206 = x*t1247;
+ t1071 = z*t1206;
+ t1224 = t1274*t1415;
+ t1123 = x*t1224;
+ t1550 = t1071+t1123;
+ t1072 = x*t1202;
+ t1223 = t1274*t1417;
+ t1121 = x*t1223;
+ t1549 = t1072+t1121;
+ t1429 = t1267*t1281;
+ t1183 = z*t1429;
+ t1548 = t1273*t1387+t1183;
+ t1547 = t1273*t1386+y*t1429;
+ t1430 = t1267*t1279;
+ t1546 = t1273*t1385+z*t1430;
+ t1431 = t1267*t1277;
+ t1181 = y*t1431;
+ t1545 = t1273*t1383+t1181;
+ t1187 = x*t1430;
+ t1544 = t1273*t1381+t1187;
+ t1543 = t1273*t1380+x*t1431;
+ t1162 = t1264*t1415;
+ t1001 = x*t1162;
+ t1425 = t1273*t1280;
+ t1220 = x*t1425;
+ t1101 = z*t1220;
+ t1172 = t1264*t1411;
+ t995 = y*t1172;
+ t1542 = t1101+t1001+t995;
+ t1427 = t1273*t1278;
+ t1210 = y*t1427;
+ t1103 = x*t1210;
+ t1174 = t1264*t1409;
+ t992 = z*t1174;
+ t1160 = t1264*t1417;
+ t999 = x*t1160;
+ t1541 = t1103+t992+t999;
+ t1242 = t1276*t1410;
+ t1540 = t1274*t1366+t1242;
+ t1243 = t1276*t1408;
+ t1539 = t1274*t1365+t1243;
+ t1400 = t1101+t1103;
+ t865 = t1256*t1368;
+ t867 = t1256*t1369;
+ t1538 = t1400+t865+t867;
+ t1537 = t879+t952+t870+t1262*t1402;
+ t1469 = t1255*t1405+t1259*t1370;
+ t945 = t1261*t1383;
+ t1536 = t1469+t1253*t1385+t945;
+ t1257 = RATIONAL(1.0,18.0);
+ t1479 = y*t1278;
+ t1401 = x*t1479;
+ t1471 = t1594*t1255;
+ t827 = t1253*t1368;
+ t1535 = t1471+t827+t1257*t1401;
+ t1473 = t1593*t1255;
+ t829 = t1253*t1369;
+ t1534 = t1473+t829+t1257*t1403;
+ t1364 = t1278*t1408;
+ t1020 = t1266*t1364;
+ t1423 = t1273*t1282;
+ t1214 = z*t1423;
+ t1097 = y*t1214;
+ t873 = t1256*t1370;
+ t1533 = t1020+t1097+t873;
+ t1128 = z*t1243;
+ t1199 = t1268*t1409;
+ t1203 = z*t1248;
+ t1532 = z*t1199+t1128+t1203;
+ t1422 = t1274*t1278;
+ t1226 = y*t1422;
+ t1126 = x*t1226;
+ t1531 = t1126+t1608*x;
+ t1139 = t1258*t1417;
+ t1436 = t1264*t1278;
+ t1165 = y*t1436;
+ t1454 = t1258*t1382+t1264*t1366;
+ t1530 = t1139+t1165+t1454;
+ t1434 = t1264*t1280;
+ t1456 = t1258*t1384+t1264*t1365;
+ t1529 = t1141+z*t1434+t1456;
+ t1145 = t1258*t1413;
+ t1452 = t1258*t1379+t1264*t1367;
+ t1528 = t1145+x*t1436+t1452;
+ t1148 = t1258*t1412;
+ t1179 = x*t1434;
+ t1527 = t1148+t1179+t1452;
+ t1150 = t1258*t1411;
+ t1526 = t1150+t1173+t1456;
+ t1151 = t1258*t1409;
+ t1525 = t1151+y*t1432+t1454;
+ t1200 = t1268*t1408;
+ t1056 = z*t1200;
+ t1084 = t1272*t1365;
+ t1524 = t1056+t1084+t1571;
+ t1198 = t1268*t1410;
+ t1058 = y*t1198;
+ t1082 = t1272*t1366;
+ t1523 = t1058+t1082+t1570;
+ t1495 = t1257*z;
+ t1135 = y*t1495;
+ t1156 = t1261*t1419;
+ t1522 = t1135+t1156+t1255*t1370+t1263*t1405;
+ t1157 = t1261*t1418;
+ t1521 = x*t1495+t1157+t1255*t1369+t1263*t1403;
+ t1158 = t1261*t1416;
+ t1520 = t1257*t1500+t1158+t1255*t1368+t1263*t1401;
+ t1491 = t1273*z;
+ t1211 = y*t1491;
+ t1519 = t1267*t1405+t1211+t1557;
+ t1518 = t1267*t1403+x*t1491+t1556;
+ t1517 = t1267*t1401+t1273*t1500+t1555;
+ t1189 = t1268*t1419;
+ t1516 = t1008+t1272*t1390+t1274*t1370+t1189;
+ t1182 = y*t1493;
+ t1043 = x*t1182;
+ t1269 = RATIONAL(1.0,3.0);
+ t864 = t1256*t1371;
+ t968 = t1262*t1390;
+ t1515 = t1043+t1269*t1405+t1237+t864+t968+t1560;
+ t1003 = z*t1179;
+ t1433 = t1264*t1281;
+ t1168 = z*t1433;
+ t1437 = t1264*t1277;
+ t1494 = t1258*z;
+ t1514 = t912+t1168+t1003+(t1437+t1494)*x;
+ t1513 = t1262*t1478+t968+t1607*t1256;
+ t1047 = t1268*t1367;
+ t1076 = t1272*t1369;
+ t1230 = t1274*t1412;
+ t1421 = t1274*t1280;
+ t1236 = x*t1421;
+ t1124 = z*t1236;
+ t1240 = t1276*t1414;
+ t1130 = x*t1240;
+ t1191 = t1268*t1415;
+ t1324 = x*t1191+t1124+t1130+t1206;
+ t1512 = t1266*t1387+t1047+t1076+t1230+t1324;
+ t1074 = t1272*t1368;
+ t1228 = t1274*t1413;
+ t1511 = t1266*t1386+t1047+t1074+t1228+t1130+t1531;
+ t1053 = t1268*t1366;
+ t1129 = y*t1242;
+ t1510 = t1266*t1381+t1053+t1074+t1223+t1126+t1129+t1599;
+ t1099 = z*t1219;
+ t958 = t1262*t1389;
+ t1337 = t864+t958+t1559;
+ t1509 = t1043+t1269*t1403+t1099+x*t1489+t1337;
+ t1428 = t1273*t1277;
+ t1209 = y*t1428;
+ t1102 = x*t1209;
+ t1147 = t1258*t1416;
+ t954 = t1262*t1388;
+ t1465 = t864+t954;
+ t1336 = t1147+t1264*t1368+t1465;
+ t1490 = t1275*x;
+ t1508 = t1043+t1269*t1401+t1102+y*t1490+t1336;
+ t880 = t1256*t1381;
+ t916 = t1258*t1401;
+ t1507 = t1160+t1210+t880+t916+t1566;
+ t1006 = t1264*t1478;
+ t900 = y*t1146;
+ t1506 = t1006+t1097+t1182+t900+t1557;
+ t869 = t1256*t1387;
+ t1505 = t1170+t1220+t869+t1565+t1605;
+ t1143 = y*t1494;
+ t1164 = y*t1437;
+ t1435 = t1264*t1279;
+ t906 = y*t1150;
+ t1504 = t1143+z*t1435+t1164+t906+t997+t1560;
+ t1073 = t1272*t1371;
+ t1109 = z*t1230;
+ t1111 = y*t1228;
+ t1503 = x*t1189+t1071+t1072+t1073+t1109+t1111;
+ t871 = t1256*t1386;
+ t1502 = t1167+x*t1427+t871+t916+t999+t1565;
+ t1065 = t1268*t1478;
+ t1070 = y*t1203;
+ t1501 = t1266*t1390+t1268*t1370+t1065+t1070+t1073+t1274*t1406+t1222+t1241
+;
+ t1498 = y+z;
+ t1497 = z+x;
+ t1496 = t1255*z;
+ t1492 = t1272*z;
+ t1487 = t1279*z;
+ t1486 = t1280*z;
+ t1485 = t1281*y;
+ t805 = t1249*t1371;
+ t1477 = t805+t1251*t1388;
+ t1474 = t1253*t1390+t918;
+ t942 = t1261*t1406;
+ t1472 = t849+t942;
+ t1470 = t1595*t1255;
+ t1442 = t1255*t1279;
+ t1392 = x*t1442;
+ t858 = z*t1392;
+ t946 = x*t1156;
+ t1468 = t858+t946;
+ t1467 = t1255*t1403+t1259*t1369;
+ t1466 = t1255*t1401+t1259*t1368;
+ t1463 = t1256*t1367+t1262*t1379;
+ t1461 = t1256*t1366+t1262*t1382;
+ t1460 = t1256*t1365+t1262*t1384;
+ t897 = z*t1148;
+ t903 = z*t1151;
+ t1458 = t897+t903;
+ t898 = y*t1144;
+ t989 = y*t1168;
+ t1457 = t898+t989;
+ t1439 = t1258*t1279;
+ t1154 = x*t1439;
+ t911 = z*t1154;
+ t998 = x*t1159;
+ t1453 = t911+t998;
+ t950 = t1261*t1402;
+ t1451 = t948+t950;
+ t1178 = x*t1435;
+ t1000 = z*t1178;
+ t894 = z*t1147;
+ t1448 = t1000+t894;
+ t909 = x*t1138;
+ t1447 = t1000+t909;
+ t1444 = t1003+t955;
+ t1443 = t1255*t1277;
+ t1440 = t1258*t1277;
+ t1420 = t1274*t1282;
+ t1407 = y*t1496;
+ t1399 = t1278+t1282;
+ t1398 = t1279+t1277;
+ t1397 = t1279+t1281;
+ t1396 = t1280+t1278;
+ t1395 = t1280+t1282;
+ t1394 = t1281+t1277;
+ t1391 = y*t1443;
+ t1142 = y*t1440;
+ t1232 = z*t1420;
+ t899 = y*t1145;
+ t940 = y*t1157;
+ t975 = t1263*t1406;
+ t1377 = t899+t940+t975;
+ t979 = t1263*t1402;
+ t1376 = t906+t940+t979;
+ t890 = t1257*t1402;
+ t1375 = t1001+t856+t890;
+ t1037 = z*t1187;
+ t910 = x*t1139;
+ t1374 = t1037+t910+t998;
+ t1041 = x*t1181;
+ t987 = y*t1166;
+ t1373 = t1041+t906+t987;
+ t1094 = y*t1212;
+ t1372 = t1094+t898+t988;
+ t1231 = t1274*t1411;
+ t1233 = t1274*t1409;
+ t1363 = t1277+t1483;
+ t1362 = t1279+t1282*y;
+ t1361 = y+t1409;
+ t1360 = z+t1276*t1277;
+ t1359 = t1412+x;
+ t1358 = t1408+1.0;
+ t1357 = t1481+t1281;
+ t1356 = t1266*t1370+t1056+t1058;
+ t1355 = t1395*t1277;
+ t1354 = t1257+t1263*t1280;
+ t1353 = t1257+t1263*t1282;
+ t1352 = t1263+t1257*t1278;
+ t1351 = t1257*t1280+t1263;
+ t1350 = t1257*t1282+t1263;
+ t1349 = t1249*t1390+t1250*t1406+t1583;
+ t1348 = t827+t1253*t1401+t1594*t1259;
+ t1347 = t828+t831+t918+t1259*t1406;
+ t1346 = t829+t1253*t1403+t1593*t1259;
+ t834 = t1253*t1370;
+ t1345 = t834+t1253*t1405+t1595*t1259;
+ t951 = t1261*t1478;
+ t1344 = t851+t951+t1474;
+ t863 = x*t1407;
+ t1343 = t863+t942+t1474;
+ t1342 = t865+t1256*t1401+t1594*t1262;
+ t1341 = t867+t1256*t1403+t1593*t1262;
+ t1340 = t873+t1256*t1405+t1595*t1262;
+ t1004 = x*t1164;
+ t917 = x*t1143;
+ t1339 = t1004+t917+t1464;
+ t1334 = t1267*t1385+z*t1426+t911+t983;
+ t915 = x*t1142;
+ t1333 = t1267*t1383+t1209+t915+t987;
+ t1332 = t1267*t1380+x*t1428+t915+t998;
+ t1331 = t1487+t1480;
+ t1117 = t1274*t1364;
+ t1330 = t1266*t1367+t1272*t1379+t1117+t1192;
+ t1329 = t1266*t1366+t1272*t1382+t1117+t1198;
+ t1328 = t1266*t1365+t1272*t1384+t1117+t1200;
+ t1119 = y*t1232;
+ t1326 = t1119+t1129+t1596*y;
+ t1069 = t1270*t1364;
+ t1323 = t1063+t1069+t1274*t1367+t1240;
+ t1322 = t1269*x+t1429;
+ t1321 = t1424+t1490;
+ t1320 = t1408-t1395;
+ t1319 = t1412+t1409;
+ t1318 = -1.0-t1320;
+ t1260 = RATIONAL(-1.0,54.0);
+ t935 = t1260*t1478;
+ t1317 = t805+t1250*t1388+t1252*t1402+t935+t1466;
+ t892 = x*t1135;
+ t937 = z*t1158;
+ t1316 = t826+t892+t937+t950+t1466;
+ t949 = t1261*t1380;
+ t1315 = t1253*t1387+t949+t1460+t1467;
+ t944 = t1261*t1385;
+ t1314 = t1253*t1383+t944+t1461+t1469;
+ t939 = t1261*t1387;
+ t1313 = t1253*t1380+t939+t1463+t1467;
+ t877 = t1256*t1383;
+ t1312 = t877+t903+t1450+t1461;
+ t882 = t1256*t1380;
+ t1311 = t882+t897+t1444+t1463;
+ t1310 = t869+t912+t1444+t1460;
+ t1005 = x*t1165;
+ t861 = x*t1391;
+ t1309 = t1005+t861+t892+t1378;
+ t1104 = x*t1211;
+ t1308 = t1005+t1104+t864+t915+t1572;
+ t929 = t1259*t1390;
+ t1307 = t929+t1259*t1478+t1476+t923+t1607*t1253;
+ t1306 = t1406+t1331*x;
+ t1305 = t1020+t834+t1257*t1405+t1470+t1570+t1571;
+ t886 = t1257*t1406;
+ t1304 = t886+t946+t1533+t1568+t1569;
+ t1030 = y*t1183;
+ t1303 = t1030+t909+t1533+t1551+t1564;
+ t1115 = z*t1233;
+ t1118 = y*t1231;
+ t1302 = t1020+t1070+t1082+t1084+t1115+t1118+t1356;
+ t1301 = t861+t951+t1340+t1347+t1468;
+ t1300 = t861+t940+t1341+t1344+t1582;
+ t1299 = t858+t937+t1342+t1344+t1581;
+ t1298 = t917+t989+t1342+t1448+t1537;
+ t1297 = t1339+t1341+t1457+t1575;
+ t1296 = t1339+t1340+t1447+t1576;
+ t1295 = t1162+z*t1425+t882+t986+t1330+t1567+t1605;
+ t1294 = t1172+t1214+t877+t992+t1329+t1567+t1574;
+ t1293 = t1174+y*t1423+t875+t995+t1328+t1566+t1574;
+ t1055 = t1268*t1365;
+ t1292 = t1266*t1380+t1055+t1076+t1124+t1128+t1224+t1330+t1600;
+ t1081 = t1272*t1370;
+ t1291 = t1266*t1383+t1055+t1081+t1119+t1231+t1329+t1532;
+ t1290 = t1266*t1385+t1053+t1081+t1233+t1326+t1328;
+ t1289 = t1005+t1258*t1500+y*t1433+t1178+t899+t910+t958+t1336+t1513;
+ t1009 = t1266*t1368;
+ t1288 = t1009+t1266*t1401+t1058+t1226+x*t1422+t1194+t1540+t1323+t1594*
+t1272+t1608;
+ t1011 = t1266*t1369;
+ t1287 = t1011+t1266*t1403+t1056+z*t1421+t1236+t1191+t1539+t1323+t1593*
+t1272+t1611;
+ t1286 = t1266*t1405+t1069+t1232+y*t1420+t1199+t1539+t1540+t1356+t1595*
+t1272+t1596;
+ t1271 = RATIONAL(-1.0,9.0);
+ t1254 = RATIONAL(1.0,54.0);
+ t1152 = x*t1440;
+ t1140 = z*t1439;
+ t1049 = y*t1193;
+ t1045 = z*t1195;
+ t888 = t1257*t1404;
+ t822 = t1252*t1390;
+ t820 = t1252*t1389;
+ t819 = t1252*t1388;
+ t818 = t1251*t1390;
+ t817 = t1251*t1389;
+ coeffs_I->coeff_m1_m1_m1 = RATIONAL(-1.0,27.0)*t1478+t819+t815+t822+t1306
+*t1260+t820+t1305+t1534+t1535+t1569;
+ coeffs_I->coeff_0_m1_m1 = t886+t1507+t929+t1451+t1295+((t1265+t1271*t1282
+)*z+t1353*t1277)*y+t1353*t1487+t1563+t1578+t1603;
+ coeffs_I->coeff_p1_m1_m1 = t888+t937+t999+t897+t1305+t1375+t1377+t1538+
+t1551+t1568;
+ coeffs_I->coeff_p2_m1_m1 = t1254*t1406+t1313+t818+t1317+t1579+t1585;
+ coeffs_I->coeff_m1_0_m1 = t1502+t856+t923+t888+t950+t1354*t1484+t942+((
+t1271*t1280+t1265)*z+t1354*t1277)*x+t1294+t1562+t1603;
+ coeffs_I->coeff_0_0_m1 = t1152+t1142+t1288+(t1358*t1275+t1395*t1269)*z+(
+t1358*t1273+t1395*t1267)*t1277+t1334+t1506+t1537+t1542+t1598+t1602;
+ coeffs_I->coeff_p1_0_m1 = t1332+t894+t1294+t989+t1509+t1511+t1548;
+ coeffs_I->coeff_p2_0_m1 = t1299+x*t1443+t1351*t1484+t949+t1521+t1528;
+ coeffs_I->coeff_m1_p1_m1 = t903+t865+t937+t977+t1304+t1103+t995+t910+t890
++t1523+t1534+t1578;
+ coeffs_I->coeff_0_p1_m1 = t1333+t1094+t1295+t1448+t1510+t1515+t1546;
+ coeffs_I->coeff_p1_p1_m1 = t1009+t1111+t983+t867+t1303+t1037+t1102+t898+
+t1458+t1523+t1542+t1549;
+ coeffs_I->coeff_p2_p1_m1 = t880+t929+t948+t1309+t1313+t1377;
+ coeffs_I->coeff_m1_p2_m1 = t1254*t1404+t817+t1314+t1317+t1580+t1584;
+ coeffs_I->coeff_0_p2_m1 = t945+t1299+t1350*t1487+t1391+t1522+t1530;
+ coeffs_I->coeff_p1_p2_m1 = t946+t1309+t871+t942+t910+t1314+t1573;
+ coeffs_I->coeff_p2_p2_m1 = t1251*t1402+t819+t1348+t1349+t1586;
+ coeffs_I->coeff_m1_m1_0 = t981+t1293+t1375+(t1263*t1278+t1257)*t1485+(
+t1257*t1279+t1265*y+(t1271*y+t1263*t1279)*t1278)*x+t1472+t1505+t1553+t1561;
+ coeffs_I->coeff_0_m1_0 = ((t1269+t1275*t1282)*y+(t1423+t1267)*t1279)*
+t1278+t1333+(t1275+t1269*t1282)*y+(t1267*t1282+t1273)*t1279+t1287+t1140+t1154+
+t1506+t1541+t1575+t1597+t1601;
+ coeffs_I->coeff_p1_m1_0 = t1293+t1453+t1457+t1508+t1512+t1547+t1552;
+ coeffs_I->coeff_p2_m1_0 = t947+t1392+t1300+t1352*t1485+t1520+t1527;
+ coeffs_I->coeff_m1_0_0 = t1332+t1321+(t1321*t1280+t1322)*t1278+t1286+t911
++t1322*t1280+t1400+t1006+t1552+t1558+t1576+t1597+t1598+t1604;
+ coeffs_I->coeff_0_0_0 = (t1279+t1365+t1319*t1278+t1394)*t1270+t1324+t1516
++t1320+t1532+t1592+t1531+RATIONAL(1.0,1.0)+((t1268+t1266*t1279)*z+t1398*t1274+(
+t1492+t1268+t1266*t1277)*y)*x+t1326+(t1498*t1281+t1331)*t1274+(t1268+t1266*
+t1281)*t1499+t1318*t1278+t1591+(y+t1397*t1278+t1355+t1319+t1497)*t1276+t1599+
+t1600;
+ coeffs_I->coeff_p1_0_0 = t1286+t1065+(y*t1492+t1276+t1240+t1396*t1270+
+t1498*t1268)*t1281+t1503+(1.0+t1414+(t1415+t1417)*t1276+t1398*t1270-t1396)*x+
+t1588+t1589;
+ coeffs_I->coeff_p2_0_0 = (t1357*t1278+t1359)*t1273+(t1359*t1278+t1357)*
+t1267+t1289+t897+t1514+t1559;
+ coeffs_I->coeff_m1_p1_0 = t900+t1290+t1001+t1505+t1447+t987+t1508+t1544+
+t1601;
+ coeffs_I->coeff_0_p1_0 = t1501+t1115+t1049+t1287+(1.0+t1410+(t1413+t1411)
+*t1276+t1394*t1270-t1399)*y+(t1242+t1276+x*t1492+t1399*t1270+t1497*t1268)*t1279
++t1549+t1589;
+ coeffs_I->coeff_p1_p1_0 = (-t1479+y+t1276*t1279+(t1417+t1480)*t1270)*x+
+t1290+(t1276+t1246)*t1485+t1512+t1590+t1592+t1610;
+ coeffs_I->coeff_p2_p1_0 = t999+t1297+t1154+t1517+t1527+t1547;
+ coeffs_I->coeff_m1_p2_0 = t941+t1352*t1482+t1301+y*t1441+t1520+t1525;
+ coeffs_I->coeff_0_p2_0 = t903+t1289+(t1361*t1278+t1362)*t1267+(t1362*
+t1278+t1361)*t1273+t1504;
+ coeffs_I->coeff_p1_p2_0 = t1296+t1517+t1525+t1544+t1558;
+ coeffs_I->coeff_p2_p2_0 = t1255*t1500+(t1485+(t1279+t1479)*x)*t1261+t1307
++t1471+t1561;
+ coeffs_I->coeff_m1_m1_p1 = t992+t888+t1304+t867+t846+t1101+t1376+t1524+
+t1535+t1606;
+ coeffs_I->coeff_0_m1_p1 = t953+t1292+t1004+t1334+t1372+t1507+t1515+t1545;
+ coeffs_I->coeff_p1_m1_p1 = t1011+t1109+t865+t894+t1303+t1099+t899+t1373+
+t1524+t1541+t1550;
+ coeffs_I->coeff_p2_m1_p1 = t975+t858+t929+t1311+t849+t1316+t1579;
+ coeffs_I->coeff_m1_0_p1 = t1502+t900+t1004+t909+t1291+t1509+t1543+t1572+
+t1602;
+ coeffs_I->coeff_0_0_p1 = (t1319*t1276+t1397*t1270-t1318)*z+t1501+t1045+(
+t1243+t1272*t1500+t1276+t1395*t1270+(y+x)*t1268)*t1277+t1288+t1118+t1550+t1588;
+ coeffs_I->coeff_p1_0_p1 = (t1247+t1276)*t1484+(-t1486+(t1487+t1415)*t1270
++t1360)*x+t1291+t1511+t1590+t1591+t1609;
+ coeffs_I->coeff_p2_0_p1 = t1152+t1001+t1298+t1518+t1528+t1548;
+ coeffs_I->coeff_m1_p1_p1 = t1302+t1041+t894+t1372+t1374+t1538+t1564+t1569
++t1606;
+ coeffs_I->coeff_0_p1_p1 = t1292+(-t1483+(t1484+t1411)*t1270+t1360)*y+
+t1131+(t1248+t1276)*t1487+t1510+t1516+t1609+t1610;
+ coeffs_I->coeff_p1_p1_p1 = t1009+t1478+t1011+t1302+t1306*t1276+t1045+
+t1049+t1121+t1123+t1503+t1551;
+ coeffs_I->coeff_p2_p1_p1 = t880+t911+t1308+t968+t987+t1030+t899+t1311;
+ coeffs_I->coeff_m1_p2_p1 = t1312+t1316+t1573+t1577+t1580;
+ coeffs_I->coeff_0_p2_p1 = t1142+t995+t1298+t1519+t1530+t1546;
+ coeffs_I->coeff_p1_p2_p1 = t900+t1308+t958+t871+t1312+t1374;
+ coeffs_I->coeff_p2_p2_p1 = t846+t948+t1343+t1348+t1581;
+ coeffs_I->coeff_m1_m1_p2 = t1254*t1402+t935+t1315+t1477+t1536+t1584+t1585
;
- coeffs_I->coeff_0_m1_p2 = t1304+t1364*t1286*y+z*t1516+t946+t1614+t1617;
- coeffs_I->coeff_p1_m1_p2 = t1316+t1319+t1663+t1668+t1675;
- coeffs_I->coeff_p2_m1_p2 = t813+x*t1436+t1363+t1665+t1673+t1676;
- coeffs_I->coeff_m1_0_p2 = t1005+t1303+z*t1519+t1358*t1585+t1612+t1621;
- coeffs_I->coeff_0_0_p2 = t1307*z+t987+t1544+t1341+t1594+t1552+(t1353*
-t1281+t1354)*t1286+t1604+t1624;
- coeffs_I->coeff_p1_0_p2 = t1301+t1611+t1621+t1635+t1689;
- coeffs_I->coeff_p2_0_p2 = t1432+(t1266*z+(t1286+t1576)*t1261)*x+t1313+
-t1556+t1657;
- coeffs_I->coeff_m1_p1_p2 = t1315+t1532+t1533+t1534+t1540+t1548+t1668;
- coeffs_I->coeff_0_p1_p2 = t1181+t1300+t982+t1610+t1617+t1638;
- coeffs_I->coeff_p1_p1_p2 = t1092+t959+t1316+t968+t1405+t1534+t1537+t1550;
- coeffs_I->coeff_p2_p1_p2 = t935+t854+t1350+t1363+t1563;
- coeffs_I->coeff_m1_p2_p2 = t817+t1457*t1591+t1342+t1347+t1676;
- coeffs_I->coeff_0_p2_p2 = t1512+(t1586+(t1286+t1587)*y)*t1261+t1313+t1558
-+t1661;
- coeffs_I->coeff_p1_p2_p2 = t854+t926+t1342+t1356+t1533;
- coeffs_I->coeff_p2_p2_p2 = y*t1425+t826+t819+(z*t1503+(t1256*t1286+t1584)
-*y)*x+t1546;
+ coeffs_I->coeff_0_m1_p2 = t1350*t1480+t1300+z*t1442+t944+t1522+t1529;
+ coeffs_I->coeff_p1_m1_p2 = t892+t979+t1310+t1468+t1472+t1476+t1536;
+ coeffs_I->coeff_p2_m1_p2 = t1251*t1404+t820+t1346+t1349+t1587;
+ coeffs_I->coeff_m1_0_p2 = t939+t1301+t1351*x*t1277+t1393+t1521+t1526;
+ coeffs_I->coeff_0_0_p2 = t954+(t1358*z+t1355)*t1273+t1504+t1337+((t1411+z
+)*t1280+t1363)*t1267+t1458+t1513+t1514;
+ coeffs_I->coeff_p1_0_p2 = t1296+t1518+t1526+t1543+t1604;
+ coeffs_I->coeff_p2_0_p2 = x*t1496+(t1484+(t1486+t1277)*x)*t1261+t1307+
+t1473+t1562;
+ coeffs_I->coeff_m1_p1_p2 = t892+t1315+t1376+t1553+t1554+t1577;
+ coeffs_I->coeff_0_p1_p2 = t992+t1297+t1140+t1519+t1529+t1545;
+ coeffs_I->coeff_p1_p1_p2 = t900+t1104+t1310+t1373+t1453+t1465+t1554;
+ coeffs_I->coeff_p2_p1_p2 = t950+t849+t1343+t1346+t1582;
+ coeffs_I->coeff_m1_p2_p2 = t1251*t1406+t822+t1345+t1583+t1586+t1587;
+ coeffs_I->coeff_0_p2_p2 = t1407+(t1487+t1363*y)*t1261+t1307+t1470+t1563;
+ coeffs_I->coeff_p1_p2_p2 = t863+t856+t1345+t1347+t1451;
+ coeffs_I->coeff_p2_p2_p2 = t817+t818+t1251*t1478+t1306*t1249+t1477;