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 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 t1610;
fp t1235;
fp t1609;
fp t1073;
fp t1374;
fp t1074;
fp t1608;
fp t1231;
fp t1108;
fp t1059;
fp t1607;
fp t1392;
fp t1068;
fp t1031;
fp t1135;
fp t1495;
fp t1230;
fp t1022;
fp t1606;
fp t1279;
fp t902;
fp t1032;
fp t831;
fp t1587;
fp t1514;
fp t1605;
fp t1467;
fp t1416;
fp t1565;
fp t1604;
fp t887;
fp t856;
fp t1603;
fp t950;
fp t1139;
fp t1602;
fp t1026;
fp t1213;
fp t1079;
fp t1580;
fp t1415;
fp t1601;
fp t1088;
fp t1331;
fp t1238;
fp t1600;
fp t1140;
fp t1413;
fp t987;
fp t1537;
fp t1339;
fp t1049;
fp t1599;
fp t1028;
fp t1373;
fp t900;
fp t1341;
fp t1598;
fp t1127;
fp t1597;
fp t956;
fp t1596;
fp t1389;
fp t952;
fp t1539;
fp t927;
fp t1595;
fp t1160;
fp t969;
fp t968;
fp t1548;
fp t1158;
fp t1570;
fp t1594;
fp t1567;
fp t1123;
fp t1593;
fp t1584;
fp t1583;
fp t1581;
fp t1573;
fp t1566;
fp t1564;
fp t926;
fp t1432;
fp t954;
fp t1563;
fp t1401;
fp t1561;
fp t1396;
fp t864;
fp t1557;
fp t1556;
fp t1141;
fp t982;
fp t1554;
fp t984;
fp t883;
fp t1553;
fp t853;
fp t1552;
fp t955;
fp t1551;
fp t889;
fp t1521;
fp t1181;
fp t885;
fp t1550;
fp t930;
fp t937;
fp t1547;
fp t821;
fp t1436;
fp t1546;
fp t845;
fp t1544;
fp t1542;
fp t892;
fp t832;
fp t1541;
fp t858;
fp t837;
fp t1540;
fp t994;
fp t1538;
fp t943;
fp t1536;
fp t1493;
fp t1431;
fp t993;
fp t1535;
fp t1534;
fp t1533;
fp t975;
fp t1532;
fp t1465;
fp t1386;
fp t1530;
fp t1409;
fp t1529;
fp t884;
fp t1003;
fp t1528;
fp t1527;
fp t1526;
fp t1523;
fp t1515;
fp t1507;
fp t1148;
fp t1505;
fp t1499;
fp t1489;
fp t1484;
fp t1480;
fp t1265;
fp t1476;
fp t1446;
fp t1445;
fp t1203;
fp t1439;
fp t1429;
fp t1424;
fp t1423;
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 t1398;
fp t1193;
fp t1390;
fp t1210;
fp t1379;
fp t1371;
fp t1368;
fp t1367;
fp t1366;
fp t1365;
fp t1364;
fp t917;
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 t1345;
fp t1344;
fp t1342;
fp t992;
fp t973;
fp t1340;
fp t1338;
fp t1337;
fp t862;
fp t1335;
fp t1094;
fp t1334;
fp t1082;
fp t1330;
fp t1060;
fp t1021;
fp t1329;
fp t1328;
fp t1327;
fp t1326;
fp t1325;
fp t1324;
fp t951;
fp t936;
fp t1323;
fp t1322;
fp t997;
fp t1321;
fp t1092;
fp t1320;
fp t841;
fp t1319;
fp t1318;
fp t834;
fp t1317;
fp t1316;
fp t860;
fp t1315;
fp t1005;
fp t1314;
fp t1313;
fp t1089;
fp t1312;
fp t945;
fp t1311;
fp t1133;
fp t1310;
fp t1309;
fp t1096;
fp t1102;
fp t1308;
fp t1307;
fp t1306;
fp t1305;
fp t985;
fp t1304;
fp t1303;
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 t1292;
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 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;
      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;
      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
;
      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;