// CHARACTERISTIC p = 3

j1 := 0;

j2 := j0^6;

j3 := j0^24 + j0^18 + j0^9 + 1;

j4 := j0^78 + j0^72 + 2*j0^66 + j0^63 + 2*j0^60 + 2*j0^57 + j0^51 + 2*j0^48 + j0^45 
     + j0^36 + j0^33 + j0^27 + 2*j0^24 + j0^18 + 2*j0^9;

j5 := j0^240 + j0^234 + 2*j0^228 + j0^225 + 2*j0^219 + 2*j0^213 + j0^210 + j0^207 + 
        2*j0^201 + j0^192 + j0^186 + 2*j0^183 + j0^180 + 2*j0^177 + j0^174 + 
        2*j0^165 + 2*j0^162 + 2*j0^159 + 2*j0^156 + j0^153 + j0^150 + 2*j0^147 + 
        2*j0^144 + j0^141 + j0^138 + j0^132 + 2*j0^129 + 2*j0^126 + 2*j0^123 + 
        j0^120 + j0^114 + 2*j0^111 + j0^108 + 2*j0^105 + j0^93 + j0^90 + j0^81 + 
        2*j0^75 + 2*j0^60 + 2*j0^51 + 2*j0^48 + j0^45 + j0^42 + j0^36 + j0^33 + 
        j0^27 + 2*j0^24 + j0^18 + 2*j0^9;

j6 := (j0^969 + j0^963 + 2*j0^957 + j0^954 + 2*j0^948 + 2*j0^945 + 2*j0^942 + 
        2*j0^939 + j0^930 + 2*j0^927 + 2*j0^921 + j0^912 + j0^906 + j0^900 + 
        j0^891 + j0^885 + 2*j0^879 + j0^876 + j0^873 + j0^870 + 2*j0^867 + j0^864 
        + 2*j0^858 + j0^855 + 2*j0^852 + j0^846 + 2*j0^843 + 2*j0^840 + j0^834 + 
        j0^831 + j0^828 + j0^822 + j0^819 + j0^816 + j0^810 + j0^807 + j0^801 + 
        j0^798 + 2*j0^795 + j0^792 + 2*j0^789 + 2*j0^786 + 2*j0^780 + 2*j0^777 + 
        2*j0^774 + j0^762 + 2*j0^759 + j0^753 + 2*j0^750 + 2*j0^744 + 2*j0^741 + 
        j0^732 + j0^729 + 2*j0^726 + 2*j0^723 + j0^717 + j0^714 + 2*j0^711 + 
        2*j0^705 + j0^693 + j0^687 + j0^684 + j0^681 + 2*j0^678 + 2*j0^675 + 
        2*j0^672 + j0^657 + j0^654 + j0^651 + j0^648 + 2*j0^642 + j0^633 + 
        2*j0^630 + 2*j0^627 + 2*j0^618 + 2*j0^615 + 2*j0^612 + 2*j0^609 + 2*j0^603
        + 2*j0^600 + j0^597 + j0^594 + j0^591 + 2*j0^588 + j0^579 + j0^573 + 
        2*j0^567 + j0^561 + 2*j0^558 + 2*j0^555 + j0^546 + 2*j0^543 + j0^540 + 
        j0^537 + 2*j0^534 + j0^531 + 2*j0^528 + 2*j0^519 + j0^516 + 2*j0^510 + 
        2*j0^507 + j0^504 + j0^498 + j0^495 + j0^489 + j0^483 + j0^480 + j0^477 + 
        2*j0^474 + 2*j0^471 + 2*j0^468 + 2*j0^465 + j0^462 + j0^453 + 2*j0^447 + 
        2*j0^438 + 2*j0^432 + 2*j0^429 + j0^426 + 2*j0^423 + 2*j0^414 + j0^411 + 
        2*j0^405 + j0^402 + j0^399 + 2*j0^393 + 2*j0^387 + j0^384 + j0^381 + 
        j0^375 + j0^372 + 2*j0^369 + j0^363 + 2*j0^357 + 2*j0^354 + j0^351 + 
        2*j0^348 + 2*j0^345 + j0^336 + j0^330 + 2*j0^318 + j0^312 + j0^303 + 
        j0^297 + 2*j0^294 + 2*j0^291 + j0^288 + j0^285 + j0^279 + j0^276 + j0^270 
        + 2*j0^267 + j0^261 + 2*j0^252 + j0^243 + 1)/j0^243;

j7 := (j0^2670 + j0^2664 + 2*j0^2658 + j0^2655 + 2*j0^2649 + 2*j0^2646 + 2*j0^2643 +
        j0^2634 + 2*j0^2631 + j0^2628 + 2*j0^2625 + j0^2619 + j0^2616 + 2*j0^2607 
        + j0^2604 + j0^2601 + j0^2598 + 2*j0^2595 + 2*j0^2592 + j0^2589 + j0^2586 
        + j0^2583 + j0^2577 + j0^2571 + j0^2562 + 2*j0^2553 + j0^2550 + j0^2547 + 
        2*j0^2541 + j0^2538 + j0^2529 + 2*j0^2526 + j0^2523 + j0^2520 + j0^2514 + 
        j0^2511 + 2*j0^2508 + 2*j0^2502 + j0^2499 + j0^2493 + 2*j0^2484 + 
        2*j0^2481 + j0^2475 + 2*j0^2472 + 2*j0^2466 + j0^2463 + j0^2460 + 
        2*j0^2454 + 2*j0^2451 + 2*j0^2448 + j0^2445 + j0^2442 + 2*j0^2439 + 
        j0^2433 + 2*j0^2430 + j0^2427 + 2*j0^2424 + j0^2418 + j0^2406 + 2*j0^2403 
        + 2*j0^2400 + 2*j0^2397 + 2*j0^2394 + j0^2391 + j0^2388 + j0^2385 + 
        j0^2382 + j0^2379 + j0^2373 + j0^2370 + 2*j0^2364 + j0^2358 + j0^2349 + 
        2*j0^2346 + 2*j0^2340 + j0^2331 + 2*j0^2325 + 2*j0^2319 + 2*j0^2316 + 
        2*j0^2313 + j0^2307 + 2*j0^2304 + j0^2301 + j0^2298 + 2*j0^2295 + 
        2*j0^2292 + j0^2289 + j0^2286 + 2*j0^2283 + 2*j0^2268 + 2*j0^2265 + 
        2*j0^2262 + j0^2256 + j0^2253 + 2*j0^2247 + j0^2244 + 2*j0^2241 + 
        2*j0^2238 + j0^2235 + j0^2232 + j0^2226 + 2*j0^2220 + 2*j0^2214 + j0^2208 
        + 2*j0^2205 + 2*j0^2199 + j0^2190 + j0^2184 + 2*j0^2181 + 2*j0^2169 + 
        j0^2160 + 2*j0^2157 + 2*j0^2154 + 2*j0^2145 + j0^2142 + 2*j0^2136 + 
        2*j0^2133 + j0^2130 + j0^2118 + j0^2112 + 2*j0^2109 + 2*j0^2106 + 
        2*j0^2100 + 2*j0^2097 + j0^2094 + j0^2091 + 2*j0^2088 + 2*j0^2085 + 
        2*j0^2082 + 2*j0^2079 + j0^2076 + 2*j0^2073 + j0^2070 + j0^2058 + 
        2*j0^2055 + 2*j0^2052 + 2*j0^2043 + 2*j0^2037 + j0^2034 + j0^2028 + 
        2*j0^2025 + j0^2022 + j0^2019 + 2*j0^2016 + 2*j0^2007 + 2*j0^1998 + 
        2*j0^1995 + j0^1989 + 2*j0^1986 + j0^1983 + j0^1980 + j0^1977 + 2*j0^1974 
        + 2*j0^1971 + j0^1965 + 2*j0^1962 + j0^1959 + 2*j0^1956 + 2*j0^1950 + 
        j0^1944 + 2*j0^1941 + 2*j0^1938 + 2*j0^1929 + 2*j0^1926 + 2*j0^1920 + 
        2*j0^1917 + 2*j0^1914 + 2*j0^1911 + j0^1905 + 2*j0^1902 + 2*j0^1899 + 
        2*j0^1896 + j0^1893 + j0^1887 + j0^1881 + 2*j0^1878 + 2*j0^1875 + 
        2*j0^1872 + j0^1857 + 2*j0^1854 + j0^1851 + j0^1848 + 2*j0^1845 + j0^1842 
        + 2*j0^1839 + 2*j0^1836 + 2*j0^1830 + 2*j0^1827 + 2*j0^1824 + 2*j0^1821 + 
        2*j0^1818 + j0^1815 + 2*j0^1812 + j0^1809 + 2*j0^1806 + j0^1797 + 
        2*j0^1788 + 2*j0^1785 + 2*j0^1773 + 2*j0^1770 + 2*j0^1767 + 2*j0^1761 + 
        2*j0^1758 + 2*j0^1755 + 2*j0^1752 + j0^1749 + 2*j0^1746 + j0^1740 + 
        2*j0^1737 + 2*j0^1734 + j0^1728 + 2*j0^1725 + 2*j0^1719 + 2*j0^1713 + 
        j0^1710 + j0^1707 + j0^1704 + j0^1698 + j0^1695 + 2*j0^1692 + j0^1689 + 
        j0^1683 + j0^1680 + j0^1671 + j0^1668 + 2*j0^1662 + j0^1659 + j0^1656 + 
        j0^1653 + j0^1650 + 2*j0^1647 + 2*j0^1644 + 2*j0^1641 + j0^1638 + 
        2*j0^1629 + 2*j0^1626 + 2*j0^1620 + j0^1611 + 2*j0^1608 + j0^1605 + 
        2*j0^1599 + 2*j0^1596 + 2*j0^1593 + j0^1590 + 2*j0^1587 + j0^1569 + 
        j0^1563 + j0^1560 + j0^1554 + j0^1551 + j0^1548 + 2*j0^1545 + 2*j0^1542 + 
        j0^1539 + j0^1536 + 2*j0^1533 + 2*j0^1530 + 2*j0^1527 + 2*j0^1524 + 
        2*j0^1521 + 2*j0^1512 + 2*j0^1509 + j0^1503 + 2*j0^1500 + 2*j0^1497 + 
        j0^1494 + j0^1491 + 2*j0^1488 + 2*j0^1485 + j0^1482 + 2*j0^1479 + j0^1476 
        + j0^1473 + 2*j0^1464 + 2*j0^1458 + j0^1455 + j0^1452 + 2*j0^1446 + 
        j0^1443 + j0^1434 + j0^1431 + 2*j0^1428 + j0^1425 + 2*j0^1422 + j0^1410 + 
        2*j0^1407 + 2*j0^1404 + 2*j0^1398 + j0^1395 + j0^1389 + 2*j0^1386 + 
        j0^1380 + 2*j0^1377 + j0^1374 + j0^1371 + j0^1368 + j0^1359 + j0^1356 + 
        j0^1353 + 2*j0^1347 + j0^1344 + j0^1341 + j0^1338 + 2*j0^1326 + j0^1323 + 
        2*j0^1317 + j0^1314 + j0^1311 + 2*j0^1308 + 2*j0^1305 + j0^1302 + j0^1299 
        + 2*j0^1296 + j0^1290 + j0^1284 + 2*j0^1278 + 2*j0^1275 + 2*j0^1263 + 
        2*j0^1260 + j0^1251 + 2*j0^1248 + 2*j0^1245 + 2*j0^1242 + j0^1239 + 
        j0^1236 + j0^1233 + j0^1227 + j0^1224 + 2*j0^1218 + 2*j0^1209 + j0^1197 + 
        2*j0^1194 + j0^1191 + j0^1188 + j0^1185 + j0^1182 + 2*j0^1176 + 2*j0^1173 
        + j0^1170 + 2*j0^1167 + 2*j0^1164 + j0^1161 + j0^1155 + 2*j0^1149 + 
        2*j0^1140 + j0^1137 + 2*j0^1134 + j0^1131 + j0^1125 + 2*j0^1122 + 
        2*j0^1113 + 2*j0^1110 + j0^1107 + j0^1104 + j0^1101 + 2*j0^1098 + 
        2*j0^1092 + 2*j0^1077 + j0^1074 + j0^1068 + 2*j0^1065 + 2*j0^1062 + 
        2*j0^1059 + j0^1053 + j0^1050 + 2*j0^1047 + j0^1041 + 2*j0^1035 + 
        2*j0^1032 + j0^1029 + j0^1026 + 2*j0^1017 + 2*j0^1014 + j0^1008 + j0^1005 
        + 2*j0^1002 + 2*j0^996 + 2*j0^990 + j0^987 + 2*j0^981 + j0^978 + j0^975 + 
        2*j0^972 + 2*j0^969 + 2*j0^966 + 2*j0^954 + j0^951 + j0^948 + j0^942 + 
        2*j0^939 + 2*j0^936 + 2*j0^933 + 2*j0^924 + j0^921 + 2*j0^903 + j0^900 + 
        2*j0^897 + 2*j0^891 + j0^888 + 2*j0^882 + 2*j0^879 + 2*j0^873 + j0^870 + 
        2*j0^864 + j0^858 + 2*j0^855 + 2*j0^849 + 2*j0^846 + 2*j0^843 + 2*j0^831 +
        2*j0^816 + j0^813 + 2*j0^795 + j0^792 + j0^783 + j0^777 + 2*j0^774 + 
        2*j0^768 + 2*j0^765 + j0^762 + 2*j0^756 + 2*j0^753 + 2*j0^750 + 2*j0^747 +
        j0^744 + 2*j0^741 + j0^738 + 2*j0^735 + 2*j0^732 + 2*j0^726 + 2*j0^723 + 
        2*j0^720 + 2*j0^717 + j0^714 + 2*j0^711 + 2*j0^705 + 2*j0^702 + 2*j0^699 +
        j0^696 + j0^693 + j0^690 + j0^687 + j0^684 + 2*j0^678 + j0^672 + j0^669 + 
        j0^666 + j0^663 + 2*j0^660 + j0^654 + 2*j0^645 + 2*j0^639 + j0^636 + 
        2*j0^633 + j0^630 + 2*j0^627 + j0^624 + 2*j0^621 + j0^618 + 2*j0^615 + 
        2*j0^612 + 2*j0^609 + 2*j0^606 + 2*j0^600 + 2*j0^597 + 2*j0^591 + j0^585 +
        2*j0^582 + j0^579 + 2*j0^576 + j0^573 + j0^567 + j0^564 + j0^561 + j0^558 
        + 2*j0^555 + 2*j0^549 + j0^540 + j0^537 + j0^534 + 2*j0^528 + j0^522 + 
        j0^519 + 2*j0^516 + 2*j0^513 + 2*j0^510 + 2*j0^507 + 2*j0^495 + 2*j0^492 +
        j0^489 + 2*j0^486 + j0^480 + j0^477 + 2*j0^468 + 2*j0^465 + j0^459 + 
        2*j0^456 + 2*j0^450 + j0^444 + j0^441 + j0^435 + 2*j0^432 + j0^429 + 
        2*j0^420 + 2*j0^417 + 2*j0^414 + j0^411 + 2*j0^405 + j0^402 + 2*j0^399 + 
        2*j0^393 + j0^390 + j0^387 + j0^381 + j0^378 + 2*j0^372 + j0^369 + j0^366 
        + j0^357 + j0^354 + j0^345 + 2*j0^333 + 2*j0^324 + 2*j0^318 + j0^312 + 
        j0^306 + 2*j0^303 + j0^300 + 2*j0^297 + 2*j0^291 + 2*j0^279 + 2*j0^273 + 
        j0^264 + 2*j0^261 + 2*j0^255 + j0^252 + 2*j0^246 + 2*j0^243 + 2*j0^240 + 
        2*j0^237 + 2*j0^234 + j0^231 + j0^228 + j0^225 + j0^222 + 2*j0^219 + 
        2*j0^210 + j0^204 + j0^195 + j0^189 + j0^186 + 2*j0^183 + j0^180 + j0^171 
        + 2*j0^168 + j0^162 + 2*j0^159 + 2*j0^156 + j0^150 + j0^144 + 2*j0^141 + 
        2*j0^138 + 2*j0^132 + 2*j0^129 + j0^126 + 2*j0^120 + j0^114 + j0^111 + 
        2*j0^108 + j0^105 + j0^102 + 2*j0^93 + 2*j0^87 + j0^75 + 2*j0^69 + 2*j0^60
        + 2*j0^54 + j0^51 + j0^48 + 2*j0^45 + 2*j0^42 + 2*j0^36 + 2*j0^33 + 
        2*j0^27 + j0^24 + 2*j0^18 + j0^9 + 2)/j0^486;

