// CHARACTERISTIC p = 23

j1 := (19*j0^15 + 22*j0^16 + 12*j0^17 + 13*j0^18 + 19*j0^19 + 15*j0^20 +
     j0^21 + 16*j0^22 + 10*j0^23)/(18 + 16*j0);

j2 := (15*j0^598 + j0^597 + 13*j0^596 + 11*j0^595 + 17*j0^594 + 8*j0^593
    + 18*j0^592 + 10*j0^591 + 17*j0^590 + 8*j0^576 + 10*j0^575 +
    11*j0^574 + 13*j0^573 + 2*j0^572 + 16*j0^571 + 11*j0^570 +
    22*j0^569 + 14*j0^568 + 4*j0^567 + 3*j0^566 + 4*j0^565 + 15*j0^564
    + 11*j0^563 + j0^562 + 22*j0^561 + 12*j0^560 + 11*j0^559 +
    11*j0^558 + 2*j0^557 + 7*j0^556 + 19*j0^555 + 10*j0^554 + 5*j0^553
    + 18*j0^552 + 15*j0^551 + 20*j0^550 + 11*j0^549 + 18*j0^548 +
    16*j0^547 + 8*j0^546 + 8*j0^545 + 13*j0^544 + 20*j0^543 +
    22*j0^542 + 8*j0^540 + j0^539 + j0^538 + 8*j0^537 + 21*j0^536 +
    2*j0^535 + 21*j0^534 + 21*j0^533 + 14*j0^532 + 6*j0^531 + 4*j0^530
    + 7*j0^529 + 20*j0^528 + 16*j0^527 + 17*j0^526 + 15*j0^525 +
    7*j0^524 + 4*j0^523 + 17*j0^522 + 7*j0^521 + 15*j0^519 + 12*j0^518
    + 19*j0^517 + 14*j0^516 + 9*j0^515 + 8*j0^514 + 14*j0^513 +
    7*j0^511 + 9*j0^510 + 18*j0^508 + 3*j0^507 + 10*j0^506 + 20*j0^505
    + 5*j0^504 + 10*j0^503 + 11*j0^502 + 16*j0^501 + 7*j0^500 +
    19*j0^499 + 20*j0^498 + 20*j0^497 + 16*j0^496 + 16*j0^494 +
    11*j0^493 + 9*j0^492 + 15*j0^491 + 4*j0^490 + 21*j0^489 +
    22*j0^488 + 12*j0^487 + 16*j0^486 + 2*j0^485 + 14*j0^484 +
    5*j0^483 + 11*j0^482 + 10*j0^481 + 11*j0^480 + 3*j0^479 + j0^478 +
    10*j0^477 + 20*j0^476 + 10*j0^475 + 20*j0^474 + 14*j0^473 +
    10*j0^472 + 14*j0^471 + 8*j0^470 + 2*j0^469 + 18*j0^468 +
    20*j0^467 + 2*j0^466 + j0^465 + 22*j0^464 + 10*j0^463 + 14*j0^462
    + 9*j0^461 + 12*j0^460 + 7*j0^458 + 21*j0^457 + 11*j0^456 +
    22*j0^455 + 17*j0^454 + 2*j0^453 + 12*j0^452 + 2*j0^451 +
    13*j0^450 + 7*j0^449 + 12*j0^447 + 8*j0^446 + 7*j0^445 + j0^444 +
    13*j0^443 + 2*j0^442 + j0^441 + 20*j0^440 + 9*j0^439 + 20*j0^438 +
    5*j0^437 + 4*j0^436 + 10*j0^434 + 17*j0^433 + 4*j0^432 + 18*j0^431
    + 14*j0^430 + 18*j0^429 + 2*j0^428 + 2*j0^427 + 15*j0^426 +
    22*j0^425 + 6*j0^424 + 12*j0^423 + 10*j0^422 + 4*j0^421 +
    21*j0^420 + 22*j0^419 + 3*j0^418 + 6*j0^417 + 14*j0^416 + j0^415 +
    12*j0^414 + 3*j0^413 + 10*j0^412 + 15*j0^411 + 19*j0^410 +
    8*j0^409 + 10*j0^408 + 20*j0^407 + 10*j0^406 + 10*j0^405 +
    15*j0^404 + 11*j0^403 + 14*j0^402 + 19*j0^401 + 6*j0^400 +
    21*j0^399 + 22*j0^398 + 12*j0^397 + 12*j0^396 + 9*j0^395 +
    18*j0^394 + 2*j0^393 + 6*j0^392 + 18*j0^391 + 20*j0^390 +
    18*j0^389 + 7*j0^388 + 19*j0^387 + 8*j0^386 + 14*j0^385 +
    19*j0^384 + 19*j0^383 + 19*j0^382 + 3*j0^381 + 7*j0^380 +
    19*j0^379 + 21*j0^377 + 16*j0^376 + 20*j0^374 + 15*j0^373 +
    16*j0^372 + 19*j0^371 + 2*j0^370 + 7*j0^369 + 4*j0^368 + 3*j0^367
    + 4*j0^366 + 10*j0^365 + 12*j0^364 + 13*j0^363 + 2*j0^362 +
    4*j0^361 + 12*j0^360 + 10*j0^359 + 9*j0^358 + 2*j0^357 + 19*j0^356
    + 19*j0^355 + 12*j0^353 + 18*j0^352 + 9*j0^351 + 22*j0^350 +
    19*j0^349 + 16*j0^348 + 13*j0^347 + j0^346 + 12*j0^345 + 22*j0^344
    + 10*j0^343 + 12*j0^342 + 6*j0^341 + 15*j0^340 + 5*j0^339 +
    13*j0^338 + 6*j0^337 + 13*j0^323 + 6*j0^322 + 8*j0^300 + 9*j0^299
    + 19*j0^277 + 7*j0^276 + 15*j0^254 + 14*j0^253 + 4*j0^231 +
    16*j0^230 + 7*j0^208 + 5*j0^207 + 17*j0^185 + 22*j0^184 +
    10*j0^162 + 17*j0^161)/(j0^70 + 4*j0^69 + 5*j0^47 + 20*j0^46 +
    15*j0^24 + 14*j0^23 + 21*j0 + 15);
