// CHARACTERISTIC p = 19

j1 := (j0^13 + 6*j0^14 + 8*j0^15 + 18*j0^16 + 17*j0^17 + 4*j0^18 +
    7*j0^19)/(10 + 4*j0);

j2 := (16*j0^418 + j0^417 + 9*j0^416 + 14*j0^415 + 2*j0^414 + 11*j0^413
    + 5*j0^412 + 15*j0^400 + 2*j0^399 + 3*j0^398 + 8*j0^397 + 7*j0^396
    + 5*j0^395 + 15*j0^394 + 14*j0^393 + 5*j0^392 + 16*j0^391 +
    11*j0^390 + 7*j0^389 + 18*j0^388 + 7*j0^387 + 14*j0^386 + 2*j0^385
    + 10*j0^384 + 4*j0^383 + 11*j0^382 + 18*j0^381 + 8*j0^380 +
    4*j0^379 + 11*j0^378 + 14*j0^377 + j0^376 + 4*j0^375 + 2*j0^374 +
    j0^373 + 3*j0^371 + 17*j0^370 + 3*j0^369 + 4*j0^368 + 18*j0^367 +
    j0^366 + 5*j0^365 + 7*j0^364 + j0^363 + 4*j0^362 + j0^361 +
    9*j0^360 + 13*j0^358 + 11*j0^357 + 18*j0^356 + 15*j0^355 +
    3*j0^354 + 14*j0^353 + 6*j0^352 + 8*j0^351 + 17*j0^350 + 7*j0^349
    + 8*j0^348 + 12*j0^347 + 9*j0^345 + 10*j0^344 + 3*j0^343 +
    18*j0^342 + 10*j0^341 + 17*j0^340 + 17*j0^339 + 14*j0^338 +
    15*j0^337 + 18*j0^336 + j0^335 + 9*j0^334 + 2*j0^333 + 10*j0^332 +
    9*j0^331 + 11*j0^330 + 3*j0^329 + 4*j0^328 + 7*j0^327 + j0^326 +
    11*j0^325 + 11*j0^324 + 17*j0^323 + 14*j0^322 + 13*j0^321 +
    5*j0^319 + 12*j0^318 + 17*j0^317 + 8*j0^316 + 15*j0^315 + 3*j0^314
    + 10*j0^313 + 10*j0^311 + 13*j0^310 + 11*j0^309 + 6*j0^308 +
    2*j0^307 + 3*j0^306 + 16*j0^305 + 9*j0^304 + 17*j0^303 + 2*j0^302
    + 6*j0^301 + 13*j0^300 + 9*j0^299 + 8*j0^298 + 7*j0^297 +
    14*j0^296 + 2*j0^295 + 15*j0^293 + 11*j0^292 + 2*j0^291 +
    14*j0^290 + 17*j0^289 + 11*j0^288 + 18*j0^287 + 13*j0^286 +
    10*j0^285 + j0^284 + 13*j0^283 + j0^282 + 12*j0^281 + 6*j0^280 +
    6*j0^279 + 9*j0^278 + 16*j0^277 + 8*j0^276 + 7*j0^275 + 8*j0^274 +
    18*j0^273 + 3*j0^272 + 8*j0^271 + j0^270 + 10*j0^269 + 18*j0^268 +
    8*j0^267 + 10*j0^266 + 15*j0^265 + 4*j0^264 + 3*j0^263 + 5*j0^262
    + 4*j0^261 + 5*j0^260 + 16*j0^259 + 2*j0^257 + 5*j0^256 +
    16*j0^255 + 16*j0^254 + 15*j0^253 + 14*j0^252 + 7*j0^251 +
    6*j0^250 + 12*j0^249 + 3*j0^248 + 5*j0^247 + j0^246 + 9*j0^245 +
    14*j0^244 + 2*j0^243 + 11*j0^242 + 5*j0^241 + 13*j0^229 + 4*j0^228
    + 18*j0^210 + 7*j0^209 + 7*j0^191 + 8*j0^190 + 14*j0^172 +
    16*j0^171 + 7*j0^153 + 8*j0^152 + 2*j0^134 + 5*j0^133)/(j0^58 +
    12*j0^57 + 6*j0^39 + 15*j0^38 + 16*j0^20 + 2*j0^19 + 11*j0 + 18);

