// CHARACTERISTIC p = 7

j1 := 3*j0^5+5*j0^6;

j2 := (3*j0^21 + 6*j0^28 + 3*j0^33 + 5*j0^34 + 4*j0^35 + 2*j0^36 
   + 3*j0^37 + 6*j0^38 + 3*j0^39 + 5*j0^40 + 5*j0^41 + 5*j0^42 
   + 2*j0^43 + 3*j0^44 + 6*j0^45 + 3*j0^46 +  5*j0^47 + 5*j0^48 
   + 3*j0^49 + 3*j0^54 + 5*j0^55)/(1 + j0^7);

j3 := (5*j0^419 + 3*j0^418 + 3*j0^413 + 6*j0^412 + 3*j0^410 + 6*j0^409 +
    3*j0^408 + 6*j0^407 + 4*j0^406 + 5*j0^404 + 5*j0^403 + 5*j0^401 +
    3*j0^400 + 5*j0^399 + 6*j0^398 + 2*j0^397 + 4*j0^396 + 2*j0^395 +
    5*j0^394 + 3*j0^393 + 3*j0^392 + 4*j0^391 + 2*j0^390 + 5*j0^388 +
    2*j0^387 + 2*j0^386 + 3*j0^385 + 6*j0^384 + 3*j0^383 + 2*j0^382 +
    3*j0^381 + 5*j0^380 + 5*j0^379 + 3*j0^377 + 2*j0^376 + 3*j0^375 +
    5*j0^374 + 4*j0^373 + 2*j0^372 + 2*j0^371 + 4*j0^370 + 5*j0^369 +
    4*j0^368 + j0^367 + 5*j0^366 + 3*j0^365 + 2*j0^364 + 4*j0^363 +
    j0^362 + 5*j0^361 + j0^360 + 5*j0^359 + 6*j0^358 + j0^357 +
    3*j0^356 + j0^355 + 4*j0^354 + 4*j0^353 + 4*j0^352 + 5*j0^350 +
    5*j0^349 + j0^347 + 5*j0^346 + 3*j0^344 + 5*j0^343 + j0^342 +
    5*j0^341 + 5*j0^339 + 3*j0^338 + 5*j0^337 + j0^336 + 3*j0^334 +
    3*j0^333 + j0^332 + 3*j0^331 + j0^330 + 4*j0^329 + 3*j0^328 +
    5*j0^327 + 3*j0^326 + 2*j0^325 + j0^324 + 2*j0^323 + 5*j0^322 +
    5*j0^321 + 2*j0^319 + 6*j0^318 + j0^317 + 6*j0^316 + 3*j0^315 +
    5*j0^314 + 3*j0^312 + j0^311 + 5*j0^310 + j0^309 + j0^308 +
    4*j0^307 + 5*j0^306 + 6*j0^305 + 4*j0^304 + j0^303 + j0^302 +
    j0^301 + 5*j0^300 + 5*j0^299 + 6*j0^298 + 5*j0^297 + 5*j0^296 +
    3*j0^295 + 5*j0^294 + 2*j0^293 + 5*j0^292 + 6*j0^291 + 4*j0^289 +
    6*j0^288 + 4*j0^286 + 4*j0^284 + 2*j0^283 + 4*j0^282 + j0^280 +
    5*j0^279 + 6*j0^278 + j0^277 + 3*j0^275 + 6*j0^274 + j0^273 +
    5*j0^272 + 3*j0^270 + 6*j0^269 + 2*j0^268 + 4*j0^266 + 3*j0^265 +
    6*j0^264 + 3*j0^263 + 3*j0^262 + 2*j0^260 + 5*j0^259 + 2*j0^258 +
    5*j0^257 + j0^256 + 5*j0^255 + 5*j0^253 + 5*j0^252 + 6*j0^251 +
    3*j0^250 + 5*j0^249 + 5*j0^248 + 5*j0^247 + 2*j0^246 + j0^245 +
    5*j0^244 + 5*j0^243 + 5*j0^242 + 4*j0^241 + j0^240 + 3*j0^239 +
    3*j0^238 + j0^237 + 5*j0^236 + 2*j0^234 + 5*j0^233 + j0^232 +
    j0^229 + 5*j0^228 + 2*j0^227 + 2*j0^226 + 5*j0^225 + j0^224 +
    3*j0^223 + 5*j0^222 + 5*j0^221 + 5*j0^220 + 5*j0^219 + 2*j0^218 +
    3*j0^217 + j0^216 + 4*j0^215 + 6*j0^214 + 3*j0^213 + 4*j0^212 +
    2*j0^210 + j0^209 + 2*j0^208 + 4*j0^207 + 6*j0^206 + 5*j0^205 +
    2*j0^204 + 5*j0^202 + 5*j0^201 + 4*j0^200 + 3*j0^199 + 6*j0^198 +
    3*j0^197 + 5*j0^196 + 6*j0^195 + 4*j0^194 + j0^193 + 3*j0^192 +
    4*j0^191 + 5*j0^190 + 5*j0^189 + 2*j0^188 + j0^187 + 6*j0^186 +
    4*j0^184 + 4*j0^183 + 2*j0^181 + 5*j0^180 + 5*j0^179 + 3*j0^178 +
    j0^177 + j0^176 + 3*j0^172 + j0^171 + 5*j0^170 + j0^169 + 3*j0^168
    + 6*j0^167 + 3*j0^166 + 4*j0^165 + j0^164 + 4*j0^163 + 5*j0^162 +
    5*j0^161 + 2*j0^160 + 4*j0^159 + 3*j0^154 + 4*j0^147 + 6*j0^140 +
    6*j0^133 + 6*j0^126 + 3*j0^119 + j0^112 + 3*j0^105 + 6*j0^98 +
    j0^77 + 4*j0^70 + 6*j0^63 + 4*j0^56 + j0^49)/(j0^77 + 4*j0^70 +
    6*j0^63 + 4*j0^56 + j0^49 + j0^28 + 4*j0^21 + 6*j0^14 + 4*j0^7 +
    1);
