// Formulas for the j-invariants pre-computed!
// It can be loaded when needed, but needs something like
//
//      FF<j0>:=RationalFunctionField(GF(p));

if p eq 5 then

    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;

elif p eq 7 then


    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);

elif p eq 11 then


    j1:= 8*j0^7 + 5*j0^8 + 8*j0^9 + 4*j0^10;
    j2:=(7*j0^33 + 10*j0^44 + 3*j0^55 + 4*j0^66 + 4*j0^73 + 8*j0^74 +
        4*j0^75 + 2*j0^76 + 7*j0^77 + 3*j0^78 + 4*j0^79 + 10*j0^80 + 6*j0^81 +
        10*j0^82 + 8*j0^83 + 3*j0^84 + 2*j0^86 + 4*j0^88 + 7*j0^89 + j0^90 + 
        3*j0^91 + j0^92 + 3*j0^93 + 3*j0^95 + 7*j0^96 + 3*j0^97 + 10*j0^98 + 
        4*j0^99 + 5*j0^100 + 2*j0^101 + 5*j0^102 + 6*j0^103 + 9*j0^104 + 10*j0^105 + 
        7*j0^106 + 4*j0^108 + 9*j0^109 + 7*j0^111 + 4*j0^112 + 4*j0^113 + 9*j0^114 + 
        4*j0^116 + 9*j0^117 + 4*j0^118 + 2*j0^119 + 3*j0^120 + 10*j0^121 + 7*j0^128 + 
        3*j0^129 + 7*j0^130 + 9*j0^131)/(6 + 5*j0^11);

elif p eq 13 then


    j1:=(9*j0^9 + 10*j0^10 + j0^11 + 3*j0^12 + 6*j0^13)/(10 + 11*j0);
    j2:=(10*j0^195 + 5*j0^194 + 6*j0^193 + 8*j0^192 + 2*j0^191 + 6*j0^183 + j0^182 + 3*j0^181 + 7*j0^180 +
        3*j0^179 + 11*j0^178 + 9*j0^177 + 6*j0^176 + 3*j0^175 + 5*j0^174 + 6*j0^173 + 3*j0^172 +
        9*j0^171 + 7*j0^170 + 4*j0^169 + 2*j0^167 + 7*j0^166 + 7*j0^165 + 4*j0^164 + 8*j0^163 +
        4*j0^161 + 11*j0^160 + 4*j0^159 + 5*j0^158 + 7*j0^157 + 12*j0^156 + 11*j0^155 + 11*j0^154 +
        2*j0^153 + 2*j0^152 + 6*j0^151 + 8*j0^150 + 9*j0^149 + 12*j0^148 + 4*j0^147 + 11*j0^146 +
        9*j0^145 + 11*j0^144 + 7*j0^143 + 3*j0^142 + 10*j0^140 + 5*j0^139 + 5*j0^138 + 4*j0^137 +
        5*j0^136 + 8*j0^135 + 7*j0^134 + 9*j0^133 + 10*j0^132 + 4*j0^131 + 9*j0^130 + j0^129 +
        7*j0^128 + 3*j0^127 + 3*j0^125 + 9*j0^123 + 2*j0^122 + 11*j0^120 + 5*j0^119 + 5*j0^116 +
        6*j0^115 + 8*j0^114 + 2*j0^113 + 4*j0^105 + 6*j0^104 + 12*j0^92 + 5*j0^91 + 2*j0^79 + 3*j0^78
        + 10*j0^66 + 2*j0^65)/(j0^27 + 8*j0^26 + 3*j0^14 + 11*j0^13 + 12*j0 + 5);

elif p eq 17 then


    j1:=(15*j0^11 + 16*j0^12 + 12*j0^13 + 15*j0^14 + 5*j0^15 + 10*j0^16 + 10*j0^17)/(14 + 11*j0);
    
    j2:=(4*j0^323 + 4*j0^322 + 2*j0^321 + 6*j0^320 + 15*j0^319 + 3*j0^318 + 6*j0^317 + 5*j0^307 +
        14*j0^306 + 12*j0^305 + 7*j0^304 + 12*j0^303 + 8*j0^302 + 6*j0^301 + 12*j0^300 + 8*j0^299 +
        16*j0^298 + 4*j0^297 + 15*j0^296 + 5*j0^295 + 4*j0^294 + 16*j0^293 + 5*j0^292 + 3*j0^291 +
        14*j0^290 + 10*j0^289 + 8*j0^288 + 12*j0^287 + 12*j0^286 + j0^285 + 12*j0^284 + 10*j0^283 +
        15*j0^282 + j0^281 + 8*j0^280 + 16*j0^279 + 12*j0^278 + 15*j0^277 + 2*j0^276 + 11*j0^275 +
        3*j0^274 + 12*j0^272 + 7*j0^271 + 12*j0^270 + 13*j0^269 + j0^268 + 12*j0^267 + 14*j0^266 +
        4*j0^265 + 13*j0^264 + 8*j0^263 + 7*j0^262 + 6*j0^261 + 3*j0^260 + 13*j0^259 + 3*j0^258 +
        14*j0^257 + 3*j0^256 + 12*j0^255 + 14*j0^254 + 8*j0^253 + 7*j0^250 + 15*j0^249 + 3*j0^248 +
        8*j0^247 + j0^246 + 2*j0^245 + 3*j0^243 + 15*j0^242 + 13*j0^241 + 7*j0^240 + 15*j0^239 +
        11*j0^238 + j0^237 + j0^236 + 9*j0^235 + 7*j0^234 + 15*j0^233 + 5*j0^232 + 10*j0^231 +
        14*j0^230 + 12*j0^229 + 7*j0^228 + 2*j0^227 + 4*j0^226 + 5*j0^225 + j0^224 + 6*j0^223 +
        8*j0^222 + 12*j0^221 + 15*j0^220 + 7*j0^218 + 12*j0^217 + 11*j0^216 + 11*j0^215 + 6*j0^214 +
        2*j0^213 + 6*j0^212 + 5*j0^211 + 11*j0^210 + 9*j0^209 + 16*j0^208 + 7*j0^207 + 13*j0^206 +
        16*j0^205 + 3*j0^204 + 10*j0^203 + 9*j0^202 + 5*j0^201 + j0^200 + 16*j0^199 + 3*j0^198 +
        13*j0^197 + 11*j0^196 + 8*j0^195 + 16*j0^194 + 10*j0^193 + 5*j0^192 + 2*j0^191 + 5*j0^190 +
        16*j0^189 + 2*j0^188 + 15*j0^187 + 13*j0^186 + 15*j0^185 + 11*j0^184 + 2*j0^183 + 14*j0^182 +
        11*j0^181 + 12*j0^171 + 6*j0^170 + 10*j0^154 + 5*j0^153 + 3*j0^137 + 10*j0^136 + 12*j0^120 +
        6*j0^119 + 12*j0^103 + 6*j0^102 + 12*j0^86 + 6*j0^85)/(j0^35 + 9*j0^34 + j0^18 + 9*j0^17 +
    13*j0 + 15);

elif p eq 19 then


    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);




elif p eq 23 then


    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);

elif p eq 29 then


    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);

elif p eq 31 then


    j1:=(7*j0^21 + 14*j0^22 + 5*j0^23 + 17*j0^24 + 28*j0^25 + 4*j0^26 +
        12*j0^27 + 7*j0^28 + 5*j0^29 + 8*j0^30 + 17*j0^31)/(27 + 3*j0 +
    15*j0^2);
    j2:=(28*j0^1116 + 15*j0^1115 + 21*j0^1114 + 17*j0^1113 + 7*j0^1112 + 23*j0^1111 + 
        6*j0^1110 + 28*j0^1109 + 21*j0^1108 + 3*j0^1107 + 17*j0^1106 + 7*j0^1087 + 
        20*j0^1086 + 6*j0^1085 + 2*j0^1084 + 9*j0^1083 + 25*j0^1082 + 3*j0^1081 + 
        j0^1080 + 7*j0^1079 + 12*j0^1078 + 9*j0^1077 + 19*j0^1076 + 25*j0^1075 + 
        27*j0^1056 + 27*j0^1055 + 20*j0^1054 + 8*j0^1053 + 22*j0^1052 + 29*j0^1051 +
        30*j0^1050 + 3*j0^1049 + j0^1048 + 11*j0^1047 + 27*j0^1046 + 8*j0^1045 + 
        23*j0^1044 + 23*j0^1043 + 23*j0^1042 + 23*j0^1041 + 21*j0^1040 + 27*j0^1039 
        + 18*j0^1038 + 8*j0^1037 + 19*j0^1036 + 25*j0^1035 + 30*j0^1034 + 26*j0^1033
        + 30*j0^1032 + 5*j0^1031 + 12*j0^1030 + 10*j0^1029 + 12*j0^1028 + 7*j0^1027 
        + 12*j0^1026 + 6*j0^1025 + 14*j0^1024 + 12*j0^1023 + j0^1022 + 18*j0^1021 + 
        22*j0^1020 + 27*j0^1019 + 10*j0^1018 + 21*j0^1017 + 16*j0^1016 + 14*j0^1015 
        + 16*j0^1014 + 8*j0^1013 + 13*j0^1012 + 5*j0^1011 + 20*j0^1010 + 17*j0^1009 
        + 7*j0^1008 + 21*j0^1007 + 25*j0^1006 + 8*j0^1005 + 5*j0^1004 + 4*j0^1003 + 
        29*j0^1002 + 18*j0^1001 + j0^1000 + 9*j0^999 + 16*j0^998 + 14*j0^996 + 
        15*j0^995 + 23*j0^994 + j0^993 + 12*j0^992 + 10*j0^991 + 4*j0^989 + 3*j0^988
        + 28*j0^987 + 11*j0^986 + 16*j0^985 + 19*j0^984 + 21*j0^983 + 3*j0^982 + 
        27*j0^981 + 20*j0^980 + 11*j0^978 + j0^977 + 16*j0^976 + 27*j0^975 + 
        14*j0^974 + 27*j0^973 + 3*j0^972 + 30*j0^971 + j0^969 + 14*j0^968 + 
        27*j0^967 + 23*j0^966 + 26*j0^965 + 20*j0^964 + 26*j0^963 + 29*j0^962 + 
        12*j0^961 + 3*j0^960 + 23*j0^959 + 18*j0^958 + 11*j0^957 + 2*j0^956 + 
        8*j0^955 + 16*j0^954 + 16*j0^953 + 16*j0^952 + j0^951 + 15*j0^950 + 
        19*j0^949 + 3*j0^948 + 14*j0^947 + 4*j0^946 + 2*j0^945 + 19*j0^944 + 
        2*j0^943 + 24*j0^942 + 5*j0^941 + 7*j0^940 + 30*j0^939 + 8*j0^938 + 
        20*j0^937 + 15*j0^936 + 12*j0^935 + 17*j0^934 + 18*j0^933 + 3*j0^932 + 
        20*j0^931 + 30*j0^930 + 24*j0^929 + 27*j0^928 + 16*j0^927 + 24*j0^926 + 
        6*j0^925 + 23*j0^924 + 24*j0^923 + 9*j0^922 + 19*j0^921 + 19*j0^920 + 
        4*j0^919 + 18*j0^918 + 5*j0^917 + 4*j0^916 + 27*j0^915 + 29*j0^914 + 
        29*j0^913 + 18*j0^912 + 5*j0^911 + 23*j0^910 + 12*j0^909 + j0^908 + 
        13*j0^907 + 11*j0^906 + 23*j0^905 + 15*j0^904 + 21*j0^903 + 2*j0^902 + 
        29*j0^901 + 30*j0^900 + 24*j0^899 + 7*j0^898 + 14*j0^897 + 21*j0^895 + 
        19*j0^894 + 18*j0^893 + 27*j0^892 + 2*j0^891 + 25*j0^890 + 2*j0^889 + 
        25*j0^888 + 2*j0^887 + 3*j0^886 + 9*j0^885 + 21*j0^884 + 5*j0^883 + 
        17*j0^882 + 24*j0^881 + 4*j0^880 + 5*j0^879 + 26*j0^878 + 24*j0^877 + 
        24*j0^876 + 21*j0^875 + 18*j0^874 + 27*j0^873 + 18*j0^872 + 11*j0^871 + 
        10*j0^870 + 28*j0^869 + 9*j0^868 + 23*j0^867 + 18*j0^865 + 5*j0^864 + 
        27*j0^863 + 30*j0^862 + 30*j0^861 + 8*j0^860 + 12*j0^859 + 30*j0^858 + 
        13*j0^857 + 19*j0^856 + 19*j0^855 + 13*j0^854 + 2*j0^853 + 12*j0^852 + 
        10*j0^851 + 30*j0^850 + 11*j0^849 + 15*j0^848 + 26*j0^847 + 24*j0^846 + 
        13*j0^845 + 14*j0^844 + 19*j0^843 + 24*j0^842 + 8*j0^841 + 9*j0^840 + 
        29*j0^839 + 8*j0^838 + 29*j0^837 + 29*j0^836 + 28*j0^835 + 11*j0^834 + 
        6*j0^833 + 21*j0^831 + 18*j0^830 + 26*j0^829 + 29*j0^828 + 7*j0^827 + 
        18*j0^826 + 2*j0^825 + j0^824 + 23*j0^823 + 13*j0^822 + 25*j0^821 + 2*j0^820
        + 17*j0^819 + 12*j0^817 + 26*j0^816 + 11*j0^815 + 8*j0^814 + 13*j0^813 + 
        11*j0^812 + 2*j0^811 + 15*j0^810 + 12*j0^809 + 15*j0^808 + j0^807 + 
        29*j0^806 + 28*j0^805 + 13*j0^804 + 3*j0^803 + 26*j0^802 + 27*j0^801 + 
        7*j0^800 + 20*j0^799 + 26*j0^798 + 3*j0^797 + 6*j0^796 + 13*j0^795 + 
        22*j0^794 + 17*j0^793 + 24*j0^792 + 14*j0^791 + 20*j0^790 + 17*j0^789 + 
        j0^788 + 8*j0^787 + 28*j0^786 + 11*j0^785 + 18*j0^784 + 23*j0^783 + 6*j0^782
        + 4*j0^781 + 14*j0^780 + 27*j0^779 + 18*j0^778 + 20*j0^777 + 13*j0^776 + 
        28*j0^775 + 28*j0^774 + 13*j0^773 + 25*j0^772 + 14*j0^771 + 25*j0^770 + 
        7*j0^769 + 2*j0^768 + 5*j0^767 + 11*j0^766 + 22*j0^765 + 10*j0^764 + 
        12*j0^763 + 19*j0^762 + 19*j0^761 + 15*j0^760 + 12*j0^759 + 23*j0^758 + 
        25*j0^757 + 24*j0^756 + 16*j0^755 + 26*j0^754 + 24*j0^753 + 2*j0^752 + 
        12*j0^751 + 10*j0^749 + 13*j0^748 + 24*j0^747 + 15*j0^746 + 30*j0^745 + 
        18*j0^744 + 7*j0^743 + 20*j0^742 + 9*j0^741 + 13*j0^740 + 24*j0^739 + 
        12*j0^738 + 20*j0^737 + 23*j0^736 + 17*j0^735 + 10*j0^734 + 8*j0^733 + 
        16*j0^732 + 14*j0^731 + 28*j0^730 + 13*j0^729 + 26*j0^728 + 29*j0^727 + 
        9*j0^726 + 9*j0^725 + 21*j0^724 + 18*j0^723 + 21*j0^722 + 17*j0^721 + 
        29*j0^720 + 12*j0^719 + 24*j0^718 + 20*j0^717 + 22*j0^716 + 4*j0^715 + 
        24*j0^714 + 27*j0^713 + 16*j0^712 + 7*j0^711 + 4*j0^710 + 10*j0^709 + 
        16*j0^708 + 10*j0^707 + 20*j0^706 + 24*j0^705 + 21*j0^704 + 13*j0^703 + 
        18*j0^702 + 13*j0^701 + 2*j0^700 + 13*j0^699 + 25*j0^698 + 14*j0^696 + 
        7*j0^695 + 8*j0^694 + 15*j0^693 + 4*j0^692 + 27*j0^691 + 24*j0^690 + 
        27*j0^689 + 8*j0^688 + 12*j0^687 + 21*j0^686 + 24*j0^685 + 22*j0^684 + 
        j0^683 + 22*j0^682 + 13*j0^681 + 8*j0^680 + 10*j0^679 + 12*j0^678 + 
        13*j0^677 + 12*j0^676 + 21*j0^675 + 5*j0^674 + 2*j0^673 + 19*j0^672 + 
        10*j0^671 + 9*j0^670 + j0^669 + 20*j0^668 + 13*j0^667 + 17*j0^665 + 
        22*j0^664 + 18*j0^663 + 24*j0^662 + 7*j0^661 + 14*j0^660 + 26*j0^659 + 
        21*j0^658 + 2*j0^657 + 25*j0^656 + 19*j0^655 + 11*j0^654 + 5*j0^653 + 
        16*j0^652 + 22*j0^651 + 15*j0^650 + 21*j0^649 + 17*j0^648 + 7*j0^647 + 
        23*j0^646 + 6*j0^645 + 28*j0^644 + 21*j0^643 + 3*j0^642 + 17*j0^641 + 
        3*j0^622 + 13*j0^621 + 24*j0^620 + 22*j0^591 + 23*j0^590 + 21*j0^589 + 
        16*j0^560 + 28*j0^559 + 4*j0^558 + 28*j0^529 + 18*j0^528 + 7*j0^527 + 
        29*j0^498 + 12*j0^497 + 15*j0^496 + 6*j0^467 + 26*j0^466 + 17*j0^465 + 
        26*j0^436 + 30*j0^435 + 22*j0^434 + 9*j0^405 + 8*j0^404 + 10*j0^403 + 
        17*j0^374 + 22*j0^373 + 12*j0^372 + 6*j0^343 + 26*j0^342 + 
        17*j0^341)/(j0^157 + 25*j0^156 + 8*j0^155 + 27*j0^126 + 24*j0^125 + 
    30*j0^124 + 18*j0^95 + 16*j0^94 + 20*j0^93 + 10*j0^64 + 2*j0^63 + 18*j0^62 +
        9*j0^33 + 8*j0^32 + 10*j0^31 + 16*j0^2 + 28*j0 + 4);


elif p eq 37 then

    j1:=(29*j0^25 + 5*j0^26 + 28*j0^27 + 33*j0^28 + 32*j0^29 + 9*j0^30 + 9*j0^31 + 
        19*j0^32 + 27*j0^33 + 28*j0^34 + 14*j0^35 + 35*j0^36 + 34*j0^37 + 
        6*j0^38 + 31*j0^39)/(35 + 26*j0 + 16*j0^2 + 20*j0^3);
    j2:=(33*j0^1593 + 4*j0^1592 + 35*j0^1591 + 11*j0^1590 + 34*j0^1589 + 31*j0^1588 + 18*j0^1587 + 25*j0^1586 +
        6*j0^1585 + 6*j0^1584 + 9*j0^1583 + 22*j0^1582 + 31*j0^1581 + 28*j0^1580 + 7*j0^1579 + 25*j0^1557 +
        20*j0^1556 + 6*j0^1555 + 19*j0^1554 + 27*j0^1553 + 2*j0^1552 + 25*j0^1551 + 11*j0^1550 + 12*j0^1549 +
        36*j0^1548 + 33*j0^1547 + 28*j0^1546 + 5*j0^1545 + 7*j0^1544 + 3*j0^1543 + 16*j0^1542 + 10*j0^1541 +
        11*j0^1540 + 10*j0^1539 + 2*j0^1538 + 31*j0^1537 + j0^1536 + 11*j0^1535 + 20*j0^1534 + 17*j0^1533 +
        24*j0^1532 + 10*j0^1531 + 30*j0^1530 + 11*j0^1529 + 11*j0^1528 + 2*j0^1527 + 35*j0^1526 + 9*j0^1525 +
        6*j0^1524 + 8*j0^1523 + 6*j0^1522 + 36*j0^1521 + 18*j0^1520 + 12*j0^1519 + 10*j0^1518 + 14*j0^1517 +
        34*j0^1516 + 25*j0^1515 + 36*j0^1514 + 16*j0^1513 + 28*j0^1512 + 16*j0^1511 + 30*j0^1510 + 17*j0^1509 +
        36*j0^1508 + 31*j0^1507 + 25*j0^1506 + 15*j0^1504 + 18*j0^1503 + 36*j0^1502 + 28*j0^1501 + 21*j0^1500 +
        28*j0^1499 + 6*j0^1498 + 15*j0^1497 + 7*j0^1496 + 33*j0^1495 + 22*j0^1494 + 35*j0^1493 + 12*j0^1492 +
        4*j0^1491 + 20*j0^1490 + 35*j0^1489 + 36*j0^1488 + 22*j0^1487 + 21*j0^1486 + 33*j0^1485 + 16*j0^1484 +
        18*j0^1483 + 20*j0^1482 + 8*j0^1481 + 33*j0^1480 + 25*j0^1479 + 2*j0^1478 + 20*j0^1477 + 7*j0^1476 +
        18*j0^1475 + 35*j0^1474 + 7*j0^1473 + 14*j0^1472 + 3*j0^1471 + 36*j0^1469 + 31*j0^1468 + 21*j0^1467 +
        23*j0^1466 + 22*j0^1465 + 14*j0^1464 + 7*j0^1463 + 35*j0^1462 + 34*j0^1461 + 2*j0^1460 + 29*j0^1459 +
        5*j0^1458 + 25*j0^1457 + 13*j0^1455 + 12*j0^1454 + 33*j0^1453 + 16*j0^1452 + 36*j0^1450 + 5*j0^1449 +
        2*j0^1448 + 33*j0^1447 + 23*j0^1446 + 32*j0^1445 + 24*j0^1444 + 7*j0^1443 + 36*j0^1442 + 7*j0^1441 +
        15*j0^1440 + 3*j0^1439 + 3*j0^1438 + 21*j0^1437 + 6*j0^1436 + 31*j0^1435 + 6*j0^1434 + 13*j0^1433 +
        21*j0^1432 + 23*j0^1431 + 26*j0^1430 + 22*j0^1429 + 4*j0^1428 + 31*j0^1427 + 34*j0^1426 + 18*j0^1425 +
        30*j0^1424 + 2*j0^1423 + 32*j0^1422 + 10*j0^1421 + 9*j0^1420 + 17*j0^1419 + 25*j0^1418 + 26*j0^1417 +
        26*j0^1416 + 2*j0^1415 + 36*j0^1414 + 15*j0^1413 + 20*j0^1412 + 27*j0^1411 + 11*j0^1410 + 2*j0^1409 +
        21*j0^1408 + 33*j0^1407 + 32*j0^1406 + 22*j0^1405 + 24*j0^1404 + 32*j0^1403 + 19*j0^1402 + 5*j0^1400 +
        2*j0^1399 + 33*j0^1398 + 9*j0^1397 + 9*j0^1396 + j0^1395 + 3*j0^1394 + 22*j0^1393 + 36*j0^1392 +
        14*j0^1391 + 21*j0^1390 + 12*j0^1389 + 13*j0^1388 + 33*j0^1387 + 20*j0^1386 + 23*j0^1385 + 32*j0^1384 +
        33*j0^1383 + 7*j0^1382 + 34*j0^1381 + 26*j0^1380 + 31*j0^1379 + 10*j0^1378 + 2*j0^1377 + 10*j0^1376 +
        19*j0^1375 + 20*j0^1374 + 36*j0^1373 + 8*j0^1372 + 17*j0^1371 + 26*j0^1370 + 35*j0^1369 + j0^1368 +
        8*j0^1367 + 23*j0^1366 + 24*j0^1364 + 29*j0^1363 + 4*j0^1362 + 9*j0^1361 + 4*j0^1360 + 9*j0^1359 +
        35*j0^1358 + 15*j0^1357 + 25*j0^1356 + 6*j0^1355 + 8*j0^1354 + 8*j0^1353 + 6*j0^1352 + 9*j0^1351 +
        3*j0^1350 + 23*j0^1349 + 5*j0^1348 + 15*j0^1347 + 16*j0^1346 + 9*j0^1345 + 13*j0^1344 + 3*j0^1343 +
        11*j0^1342 + 24*j0^1341 + 25*j0^1340 + 6*j0^1339 + 15*j0^1338 + 13*j0^1337 + 24*j0^1336 + 22*j0^1335 +
        4*j0^1334 + 21*j0^1333 + 27*j0^1332 + 8*j0^1331 + 4*j0^1330 + 13*j0^1329 + 33*j0^1328 + 20*j0^1327 +
        22*j0^1326 + 33*j0^1325 + 10*j0^1324 + 32*j0^1323 + 28*j0^1322 + 19*j0^1321 + 22*j0^1320 + 33*j0^1319 +
        25*j0^1318 + 12*j0^1317 + 13*j0^1316 + 17*j0^1315 + 12*j0^1314 + 35*j0^1313 + 12*j0^1312 + 28*j0^1311 +
        17*j0^1309 + 30*j0^1308 + 28*j0^1307 + 20*j0^1306 + 23*j0^1305 + 19*j0^1304 + 23*j0^1303 + 28*j0^1302 +
        14*j0^1301 + 33*j0^1300 + 15*j0^1299 + 10*j0^1298 + 33*j0^1297 + 6*j0^1296 + 36*j0^1295 + 15*j0^1294 +
        10*j0^1293 + 7*j0^1292 + 21*j0^1291 + 34*j0^1290 + 6*j0^1289 + 8*j0^1288 + 12*j0^1287 + 27*j0^1286 +
        10*j0^1285 + 4*j0^1284 + 27*j0^1283 + 26*j0^1282 + 27*j0^1281 + 24*j0^1280 + 16*j0^1279 + 13*j0^1278 +
        j0^1277 + 32*j0^1276 + 31*j0^1275 + 19*j0^1274 + 31*j0^1273 + 24*j0^1272 + 7*j0^1271 + 15*j0^1270 +
        26*j0^1269 + 2*j0^1268 + 15*j0^1267 + 9*j0^1266 + 4*j0^1265 + 27*j0^1264 + j0^1263 + 3*j0^1262 + j0^1261
        + 5*j0^1260 + 34*j0^1259 + 31*j0^1258 + 14*j0^1256 + 6*j0^1255 + 12*j0^1254 + 35*j0^1253 + 21*j0^1252 +
        10*j0^1251 + 29*j0^1250 + 30*j0^1249 + 2*j0^1248 + 35*j0^1247 + 6*j0^1246 + 26*j0^1244 + 21*j0^1243 +
        20*j0^1242 + 19*j0^1241 + 10*j0^1240 + 11*j0^1239 + 11*j0^1238 + 4*j0^1237 + 33*j0^1236 + 14*j0^1235 +
        15*j0^1234 + 4*j0^1233 + 2*j0^1232 + 17*j0^1231 + 9*j0^1230 + 36*j0^1229 + 18*j0^1228 + 3*j0^1227 +
        11*j0^1226 + 33*j0^1225 + 31*j0^1224 + 35*j0^1223 + 24*j0^1222 + 15*j0^1221 + 33*j0^1220 + j0^1219 +
        33*j0^1218 + 31*j0^1217 + 15*j0^1216 + 8*j0^1215 + 33*j0^1214 + 3*j0^1213 + 22*j0^1212 + 25*j0^1211 +
        33*j0^1210 + 26*j0^1209 + 27*j0^1208 + 23*j0^1207 + 6*j0^1206 + 20*j0^1205 + 30*j0^1204 + 10*j0^1203 +
        13*j0^1202 + 19*j0^1201 + 13*j0^1200 + 12*j0^1199 + 14*j0^1198 + 36*j0^1197 + 22*j0^1196 + 21*j0^1195 +
        34*j0^1194 + 28*j0^1193 + j0^1192 + 13*j0^1191 + 26*j0^1190 + 25*j0^1189 + 7*j0^1188 + 10*j0^1187 +
        11*j0^1186 + 33*j0^1185 + 9*j0^1184 + 3*j0^1183 + 8*j0^1182 + 12*j0^1181 + 28*j0^1180 + 29*j0^1179 +
        14*j0^1178 + 25*j0^1177 + 5*j0^1176 + 17*j0^1175 + 15*j0^1174 + 30*j0^1173 + 15*j0^1172 + 2*j0^1171 +
        15*j0^1170 + 5*j0^1169 + 21*j0^1168 + 6*j0^1167 + 27*j0^1166 + 17*j0^1165 + 11*j0^1163 + 3*j0^1162 +
        27*j0^1161 + 15*j0^1160 + 26*j0^1159 + 6*j0^1158 + 8*j0^1157 + 31*j0^1156 + 20*j0^1155 + 18*j0^1154 +
        24*j0^1153 + 25*j0^1152 + 29*j0^1151 + 29*j0^1150 + 18*j0^1149 + 17*j0^1148 + 26*j0^1147 + 28*j0^1146 +
        16*j0^1145 + 5*j0^1144 + 13*j0^1143 + 29*j0^1142 + 28*j0^1141 + 35*j0^1140 + 10*j0^1139 + 31*j0^1138 +
        30*j0^1137 + 6*j0^1136 + 22*j0^1135 + 14*j0^1134 + 19*j0^1133 + 18*j0^1132 + 12*j0^1131 + 6*j0^1130 +
        32*j0^1129 + 31*j0^1128 + 17*j0^1127 + 9*j0^1126 + 36*j0^1125 + j0^1124 + 24*j0^1123 + 7*j0^1122 +
        26*j0^1121 + 9*j0^1120 + 34*j0^1119 + 15*j0^1118 + 34*j0^1117 + 11*j0^1116 + 12*j0^1115 + 4*j0^1114 +
        3*j0^1113 + 34*j0^1112 + 5*j0^1111 + 12*j0^1110 + 6*j0^1109 + 33*j0^1108 + 15*j0^1107 + 36*j0^1106 +
        22*j0^1105 + 10*j0^1104 + 16*j0^1103 + 24*j0^1102 + 35*j0^1101 + j0^1100 + 23*j0^1099 + 33*j0^1098 +
        31*j0^1097 + 27*j0^1096 + 6*j0^1095 + 4*j0^1094 + 20*j0^1093 + 32*j0^1092 + 17*j0^1091 + 8*j0^1090 +
        22*j0^1089 + 13*j0^1088 + 13*j0^1087 + 10*j0^1086 + 10*j0^1085 + 18*j0^1084 + 33*j0^1083 + 30*j0^1082 +
        12*j0^1081 + 34*j0^1080 + 29*j0^1079 + 28*j0^1078 + 10*j0^1077 + 28*j0^1076 + 34*j0^1075 + 24*j0^1074 +
        18*j0^1073 + 20*j0^1072 + 29*j0^1071 + 8*j0^1070 + 16*j0^1069 + 9*j0^1068 + 30*j0^1067 + 8*j0^1066 +
        6*j0^1065 + 5*j0^1064 + 18*j0^1063 + 5*j0^1062 + 36*j0^1061 + 32*j0^1060 + 27*j0^1059 + 4*j0^1058 +
        35*j0^1057 + 36*j0^1056 + 21*j0^1055 + 8*j0^1054 + 19*j0^1053 + 32*j0^1052 + 4*j0^1051 + j0^1050 +
        12*j0^1049 + j0^1048 + 16*j0^1047 + 28*j0^1046 + 14*j0^1045 + 17*j0^1044 + 14*j0^1043 + 28*j0^1042 +
        20*j0^1041 + 26*j0^1040 + 2*j0^1039 + 10*j0^1038 + 21*j0^1037 + 25*j0^1036 + 25*j0^1035 + 21*j0^1034 +
        9*j0^1033 + 24*j0^1032 + 31*j0^1031 + 8*j0^1030 + 18*j0^1029 + 15*j0^1028 + 20*j0^1027 + 14*j0^1026 +
        10*j0^1025 + 18*j0^1024 + 13*j0^1023 + 25*j0^1022 + 4*j0^1021 + 7*j0^1020 + 2*j0^1019 + 9*j0^1018 +
        35*j0^1016 + 31*j0^1015 + 14*j0^1014 + 6*j0^1013 + 36*j0^1012 + 21*j0^1011 + 26*j0^1010 + 28*j0^1009 +
        23*j0^1008 + 34*j0^1007 + 31*j0^1006 + 31*j0^1005 + 11*j0^1004 + 35*j0^1003 + 22*j0^1002 + 9*j0^1000 +
        9*j0^999 + j0^998 + 21*j0^997 + 29*j0^996 + 32*j0^994 + 13*j0^993 + 35*j0^992 + 5*j0^991 + 22*j0^990 +
        23*j0^989 + 2*j0^988 + 7*j0^987 + 34*j0^986 + 23*j0^985 + 23*j0^984 + 10*j0^983 + 26*j0^982 + 21*j0^981 +
        25*j0^980 + 8*j0^979 + 4*j0^978 + 15*j0^977 + 26*j0^976 + 4*j0^975 + 19*j0^974 + 24*j0^973 + 21*j0^972 +
        12*j0^971 + 7*j0^970 + 24*j0^969 + 10*j0^968 + 9*j0^966 + 34*j0^965 + j0^964 + 30*j0^963 + 19*j0^962 +
        2*j0^961 + 6*j0^960 + 4*j0^959 + 35*j0^958 + 16*j0^956 + 21*j0^955 + 2*j0^954 + 33*j0^953 + 25*j0^952 +
        32*j0^951 + 34*j0^950 + 28*j0^949 + 11*j0^948 + j0^947 + 22*j0^946 + 24*j0^945 + 19*j0^944 + 10*j0^943 +
        30*j0^942 + 12*j0^940 + 30*j0^939 + 13*j0^938 + 29*j0^937 + 6*j0^936 + 33*j0^935 + 34*j0^934 + 2*j0^933 +
        14*j0^932 + 28*j0^931 + 24*j0^930 + 9*j0^929 + 2*j0^928 + 10*j0^927 + 15*j0^926 + 28*j0^925 + 11*j0^924 +
        34*j0^923 + 31*j0^922 + 18*j0^921 + 25*j0^920 + 6*j0^919 + 6*j0^918 + 9*j0^917 + 22*j0^916 + 31*j0^915 +
        28*j0^914 + 7*j0^913 + j0^891 + 23*j0^890 + 5*j0^889 + 11*j0^888 + 7*j0^854 + 13*j0^853 + 35*j0^852 +
        3*j0^851 + 36*j0^817 + 14*j0^816 + 32*j0^815 + 26*j0^814 + 25*j0^780 + 20*j0^779 + 14*j0^778 + 16*j0^777
        + 16*j0^743 + 35*j0^742 + 6*j0^741 + 28*j0^740 + 31*j0^706 + 10*j0^705 + 7*j0^704 + 8*j0^703 + 34*j0^669
        + 5*j0^668 + 22*j0^667 + 4*j0^666 + 33*j0^632 + 19*j0^631 + 17*j0^630 + 30*j0^629 + 3*j0^595 + 32*j0^594
        + 15*j0^593 + 33*j0^592 + 36*j0^558 + 14*j0^557 + 32*j0^556 + 26*j0^555 + 32*j0^521 + 33*j0^520 +
        12*j0^519 + 19*j0^518 + 4*j0^484 + 18*j0^483 + 20*j0^482 + 7*j0^481)/(j0^225 + 23*j0^224 + 5*j0^223 +
    11*j0^222 + 9*j0^188 + 22*j0^187 + 8*j0^186 + 25*j0^185 + 21*j0^151 + 2*j0^150 + 31*j0^149 + 9*j0^148 +
        30*j0^114 + 24*j0^113 + 2*j0^112 + 34*j0^111 + 13*j0^77 + 3*j0^76 + 28*j0^75 + 32*j0^74 + 36*j0^40 +
        14*j0^39 + 32*j0^38 + 26*j0^37 + 10*j0^3 + 8*j0^2 + 13*j0 + 36);

end if;
