// CHARACTERISTIC p = 5

j1 := 3*j0^3 + j0^4;

j2 := 3*j0^5 + 2*j0^10 + 2*j0^13 + 4*j0^14 + 4*j0^15 + 4*j0^16 + j0^17 
   + 4*j0^18 + j0^19 + j0^20 + 3*j0^23 + j0^24;

j3 := (j0^149 + 3*j0^148 + j0^145 + j0^144 + 4*j0^143 + j0^142 + 3*j0^141
    + 3*j0^140 + 4*j0^139 + j0^138 + 2*j0^137 + 4*j0^136 + j0^135 +
    2*j0^134 + j0^133 + j0^132 + 4*j0^130 + j0^129 + 4*j0^128 +
    3*j0^126 + 3*j0^125 + 2*j0^123 + 2*j0^122 + j0^120 + 3*j0^119 +
    3*j0^118 + 4*j0^117 + j0^116 + 3*j0^114 + 2*j0^113 + 2*j0^112 +
    3*j0^111 + j0^110 + 4*j0^109 + 3*j0^107 + 2*j0^106 + 4*j0^104 +
    4*j0^103 + 3*j0^102 + 4*j0^100 + 4*j0^99 + 3*j0^98 + j0^97 + j0^95
    + 2*j0^94 + 2*j0^93 + 3*j0^92 + 4*j0^91 + 4*j0^90 + 3*j0^89 +
    2*j0^88 + 2*j0^87 + j0^85 + 3*j0^84 + 2*j0^83 + 3*j0^82 + 3*j0^80
    + 2*j0^79 + j0^78 + 3*j0^77 + j0^76 + 3*j0^75 + 2*j0^73 + j0^72 +
    3*j0^70 + 2*j0^69 + 3*j0^68 + 3*j0^65 + 4*j0^63 + 4*j0^62 + j0^61
    + j0^59 + 3*j0^58 + 3*j0^55 + 4*j0^50 + 3*j0^45 + 4*j0^40 + j0^25
    + 1)/j0^25;

