// CHARACTERISTIC p = 29

j1 := (25*j0^19 + 14*j0^20 + 20*j0^21 + 13*j0^22 + 10*j0^23 + 6*j0^24 +
     27*j0^25 + 8*j0^26 + 24*j0^27 + 10*j0^28 + 25*j0^29 +
     10*j0^30)/(21 + 2*j0 + j0^2);


j2 := (19*j0^958 + 4*j0^957 + 19*j0^956 + 5*j0^955 + 21*j0^954 +
    2*j0^953 + 23*j0^952 + 19*j0^951 + 16*j0^950 + 9*j0^949 +
    15*j0^948 + 4*j0^947 + 11*j0^930 + 13*j0^928 + 25*j0^927 +
    8*j0^926 + 26*j0^925 + 12*j0^923 + 7*j0^922 + 26*j0^921 + 6*j0^920
    + 16*j0^919 + 17*j0^918 + 3*j0^917 + 19*j0^916 + 3*j0^915 +
    2*j0^914 + 15*j0^913 + 2*j0^912 + 7*j0^911 + 16*j0^910 + 25*j0^909
    + 3*j0^908 + 11*j0^907 + 23*j0^906 + 7*j0^905 + 25*j0^904 +
    24*j0^902 + 16*j0^901 + j0^900 + 14*j0^899 + 3*j0^898 + 15*j0^897
    + 21*j0^896 + j0^895 + 9*j0^894 + 25*j0^893 + 12*j0^892 +
    11*j0^891 + 8*j0^890 + 28*j0^889 + 26*j0^887 + 23*j0^886 +
    3*j0^885 + 28*j0^884 + 12*j0^883 + 21*j0^882 + 5*j0^881 + 5*j0^880
    + 15*j0^879 + 3*j0^878 + 13*j0^877 + 27*j0^876 + 26*j0^875 +
    6*j0^874 + 7*j0^873 + 16*j0^872 + 6*j0^871 + 10*j0^870 + 20*j0^869
    + 9*j0^868 + 12*j0^867 + 17*j0^866 + 25*j0^865 + 18*j0^864 +
    13*j0^863 + 23*j0^862 + 12*j0^861 + 3*j0^860 + 3*j0^859 + 3*j0^858
    + 8*j0^857 + 23*j0^856 + 18*j0^855 + 2*j0^854 + 23*j0^853 +
    20*j0^852 + 20*j0^851 + 21*j0^850 + 14*j0^849 + 28*j0^848 +
    26*j0^847 + 5*j0^846 + 20*j0^845 + 17*j0^844 + 2*j0^843 +
    23*j0^842 + 14*j0^841 + 22*j0^840 + 10*j0^839 + 5*j0^838 +
    3*j0^837 + 19*j0^836 + 2*j0^835 + 21*j0^834 + 16*j0^833 + 9*j0^832
    + 6*j0^830 + 3*j0^829 + 13*j0^828 + 20*j0^827 + 5*j0^826 +
    6*j0^825 + 20*j0^824 + 8*j0^823 + 5*j0^822 + 22*j0^821 + 19*j0^820
    + 27*j0^819 + 16*j0^818 + 17*j0^817 + 20*j0^816 + 28*j0^815 +
    10*j0^814 + 5*j0^813 + 12*j0^812 + 13*j0^811 + 25*j0^810 +
    8*j0^809 + 14*j0^808 + 18*j0^807 + 19*j0^806 + 10*j0^805 +
    6*j0^804 + 5*j0^803 + 2*j0^802 + 18*j0^801 + 14*j0^800 + 7*j0^799
    + 10*j0^798 + 13*j0^797 + 13*j0^796 + 3*j0^795 + 6*j0^794 +
    15*j0^793 + 13*j0^792 + 18*j0^791 + 4*j0^790 + 11*j0^789 +
    24*j0^788 + 20*j0^787 + 6*j0^786 + 9*j0^785 + 17*j0^784 + 9*j0^783
    + 17*j0^782 + 21*j0^781 + 9*j0^780 + 2*j0^778 + j0^777 + 22*j0^775
    + 28*j0^774 + 9*j0^773 + 11*j0^772 + 11*j0^771 + 12*j0^770 +
    19*j0^769 + 3*j0^768 + 24*j0^767 + 18*j0^766 + 24*j0^765 +
    9*j0^764 + 8*j0^763 + 12*j0^762 + 26*j0^761 + 16*j0^760 + 4*j0^759
    + j0^758 + 18*j0^757 + 5*j0^756 + 24*j0^755 + 19*j0^754 + j0^753 +
    26*j0^752 + 28*j0^751 + 19*j0^750 + 26*j0^749 + 4*j0^748 +
    28*j0^747 + 7*j0^746 + j0^744 + 24*j0^743 + 17*j0^742 + 8*j0^741 +
    12*j0^740 + 15*j0^739 + 12*j0^738 + 15*j0^737 + 9*j0^736 +
    5*j0^735 + 23*j0^734 + 16*j0^733 + 19*j0^732 + 19*j0^731 +
    9*j0^730 + 21*j0^729 + 24*j0^728 + 6*j0^727 + j0^726 + 28*j0^725 +
    26*j0^724 + 7*j0^723 + 9*j0^722 + 20*j0^721 + 3*j0^720 + 24*j0^719
    + 22*j0^718 + 12*j0^717 + 20*j0^716 + 13*j0^715 + 24*j0^714 +
    25*j0^713 + 9*j0^712 + 23*j0^711 + 16*j0^710 + 16*j0^709 +
    26*j0^708 + 21*j0^707 + 18*j0^706 + 8*j0^705 + 10*j0^704 +
    12*j0^703 + 12*j0^702 + 8*j0^701 + 21*j0^700 + 8*j0^699 +
    11*j0^698 + 16*j0^697 + 2*j0^696 + 28*j0^695 + 15*j0^694 +
    25*j0^693 + 15*j0^692 + 9*j0^691 + 24*j0^690 + 6*j0^689 +
    21*j0^688 + 21*j0^687 + 9*j0^686 + 8*j0^685 + 22*j0^684 +
    19*j0^683 + 14*j0^682 + 26*j0^681 + 20*j0^680 + 10*j0^679 +
    2*j0^678 + 24*j0^677 + 22*j0^676 + 26*j0^675 + 5*j0^674 +
    25*j0^673 + 26*j0^672 + 22*j0^671 + 9*j0^670 + 9*j0^668 +
    19*j0^667 + 7*j0^666 + 2*j0^665 + 17*j0^664 + 9*j0^663 + 6*j0^662
    + 9*j0^661 + 22*j0^660 + 28*j0^659 + 28*j0^658 + 18*j0^657 +
    15*j0^656 + 26*j0^655 + 15*j0^654 + 27*j0^653 + 7*j0^652 +
    12*j0^651 + 6*j0^650 + 22*j0^649 + 10*j0^648 + 13*j0^647 + j0^646
    + 12*j0^645 + 23*j0^644 + 20*j0^643 + 2*j0^642 + 7*j0^641 +
    18*j0^640 + 19*j0^639 + 6*j0^638 + 17*j0^637 + 21*j0^636 +
    22*j0^635 + 27*j0^634 + 13*j0^633 + 16*j0^632 + 2*j0^631 +
    23*j0^630 + 10*j0^629 + 5*j0^628 + 27*j0^627 + 7*j0^626 + 2*j0^625
    + 24*j0^624 + 5*j0^623 + 16*j0^622 + 19*j0^621 + 23*j0^620 +
    3*j0^619 + 8*j0^618 + 13*j0^617 + 12*j0^616 + 6*j0^615 + 16*j0^614
    + 4*j0^613 + 2*j0^612 + 10*j0^611 + 20*j0^609 + 21*j0^608 +
    10*j0^607 + 28*j0^606 + 6*j0^605 + 28*j0^604 + 12*j0^603 +
    6*j0^602 + j0^601 + 15*j0^600 + 21*j0^599 + 12*j0^598 + 27*j0^597
    + 9*j0^596 + 16*j0^595 + 21*j0^594 + 25*j0^593 + 18*j0^592 +
    26*j0^591 + 13*j0^590 + 14*j0^589 + 16*j0^588 + 18*j0^587 +
    10*j0^586 + 28*j0^585 + 8*j0^584 + 20*j0^583 + 25*j0^582 +
    22*j0^581 + 13*j0^580 + 18*j0^579 + 19*j0^578 + 13*j0^577 +
    8*j0^576 + 5*j0^575 + 8*j0^574 + 24*j0^573 + 15*j0^572 + 4*j0^571
    + 13*j0^570 + 24*j0^569 + 28*j0^568 + 22*j0^567 + j0^566 +
    3*j0^565 + 10*j0^564 + 17*j0^563 + 15*j0^562 + 22*j0^561 +
    21*j0^560 + 17*j0^559 + 7*j0^558 + j0^557 + 10*j0^556 + 3*j0^555 +
    16*j0^554 + 26*j0^553 + 15*j0^552 + 27*j0^551 + 10*j0^550 +
    24*j0^549 + 8*j0^548 + 27*j0^547 + 6*j0^546 + 10*j0^545 +
    13*j0^544 + 20*j0^543 + 14*j0^542 + 25*j0^541 + 2*j0^524 +
    4*j0^523 + 13*j0^522 + 8*j0^495 + 16*j0^494 + 23*j0^493 +
    28*j0^466 + 27*j0^465 + 8*j0^464 + 10*j0^437 + 20*j0^436 +
    7*j0^435 + 20*j0^408 + 11*j0^407 + 14*j0^406 + 4*j0^379 + 8*j0^378
    + 26*j0^377 + 22*j0^350 + 15*j0^349 + 27*j0^348 + 17*j0^321 +
    5*j0^320 + 9*j0^319 + 18*j0^292 + 7*j0^291 + j0^290 + 14*j0^263 +
    28*j0^262 + 4*j0^261)/(j0^118 + 2*j0^117 + 21*j0^116 + 4*j0^89 +
    8*j0^88 + 26*j0^87 + 17*j0^60 + 5*j0^59 + 9*j0^58 + 26*j0^31 +
    23*j0^30 + 24*j0^29 + 6*j0^2 + 12*j0 + 10);
