

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


j3 := (4*j0^6102 + 2*j0^6101 + j0^6100 + 14*j0^6099 + 8*j0^6098 +
    16*j0^6097 + 15*j0^6096 + j0^6095 + 8*j0^6094 + 13*j0^6093 +
    2*j0^6092 + 16*j0^6091 + 9*j0^6090 + 4*j0^6089 + 15*j0^6088 +
    j0^6087 + 13*j0^6086 + 16*j0^6085 + 4*j0^6084 + 5*j0^6083 +
    j0^6082 + 16*j0^6081 + 15*j0^6080 + 13*j0^6079 + 10*j0^6078 +
    11*j0^6077 + 7*j0^6076 + 3*j0^6075 + 12*j0^6074 + 15*j0^6073 +
    5*j0^6071 + 4*j0^6070 + 5*j0^6069 + 9*j0^6068 + 13*j0^6067 +
    2*j0^6066 + 14*j0^6065 + 14*j0^6064 + 8*j0^6063 + 5*j0^6062 +
    5*j0^6061 + 3*j0^6060 + 2*j0^6059 + 13*j0^6058 + 6*j0^6057 +
    3*j0^6055 + 7*j0^6054 + 5*j0^6053 + 11*j0^6052 + 2*j0^6050 +
    5*j0^6049 + j0^6048 + 12*j0^6047 + 5*j0^6046 + 12*j0^6045 +
    3*j0^6044 + 16*j0^6043 + 11*j0^6042 + 14*j0^6041 + 11*j0^6040 +
    16*j0^6039 + 5*j0^6038 + 12*j0^6037 + j0^6036 + 16*j0^6035 +
    5*j0^6034 + 16*j0^6033 + 10*j0^6032 + 15*j0^6031 + 4*j0^6030 +
    5*j0^6029 + 4*j0^6028 + 8*j0^6027 + 13*j0^6026 + 2*j0^6025 +
    13*j0^6024 + 9*j0^6023 + 4*j0^6022 + 7*j0^6021 + 7*j0^6020 +
    3*j0^6019 + 12*j0^6018 + 15*j0^6016 + 3*j0^6015 + 10*j0^6014 +
    11*j0^6013 + 7*j0^6012 + 15*j0^6011 + 16*j0^6010 + 4*j0^6009 +
    4*j0^6008 + 8*j0^6007 + 6*j0^6006 + 11*j0^6005 + 6*j0^6004 +
    10*j0^6003 + 2*j0^6002 + 12*j0^6001 + 9*j0^6000 + 13*j0^5999 +
    13*j0^5998 + 5*j0^5997 + 16*j0^5996 + 2*j0^5995 + 6*j0^5994 +
    5*j0^5993 + j0^5992 + 5*j0^5991 + 5*j0^5990 + 15*j0^5989 +
    13*j0^5987 + 5*j0^5986 + 10*j0^5985 + 6*j0^5984 + 4*j0^5983 +
    3*j0^5981 + 10*j0^5980 + 9*j0^5979 + 15*j0^5978 + 7*j0^5977 +
    3*j0^5976 + 15*j0^5975 + 9*j0^5974 + 13*j0^5972 + 2*j0^5970 +
    12*j0^5969 + 11*j0^5968 + 11*j0^5967 + 5*j0^5966 + 4*j0^5965 +
    6*j0^5964 + 8*j0^5963 + 11*j0^5961 + 7*j0^5960 + 9*j0^5959 +
    14*j0^5958 + 2*j0^5957 + 14*j0^5956 + 11*j0^5954 + 13*j0^5953 +
    8*j0^5952 + 6*j0^5951 + 12*j0^5950 + 7*j0^5949 + 14*j0^5948 +
    12*j0^5947 + 10*j0^5946 + 15*j0^5945 + 12*j0^5944 + j0^5943 +
    14*j0^5942 + 7*j0^5941 + j0^5940 + 13*j0^5939 + 4*j0^5938 +
    11*j0^5936 + j0^5935 + 14*j0^5934 + 7*j0^5933 + 9*j0^5932 +
    5*j0^5931 + 16*j0^5930 + 2*j0^5929 + 9*j0^5928 + 11*j0^5927 +
    12*j0^5926 + 5*j0^5925 + 14*j0^5924 + 9*j0^5923 + 4*j0^5922 +
    6*j0^5921 + 10*j0^5920 + 16*j0^5919 + 3*j0^5918 + 6*j0^5917 +
    5*j0^5916 + 14*j0^5915 + 5*j0^5914 + 9*j0^5913 + 6*j0^5912 +
    14*j0^5911 + 7*j0^5910 + 15*j0^5908 + 10*j0^5907 + 11*j0^5906 +
    14*j0^5905 + 7*j0^5904 + 12*j0^5903 + 7*j0^5902 + 4*j0^5901 +
    13*j0^5900 + 3*j0^5899 + 12*j0^5898 + 9*j0^5897 + 11*j0^5896 +
    7*j0^5895 + 5*j0^5894 + 4*j0^5893 + 7*j0^5892 + 2*j0^5891 +
    10*j0^5890 + 7*j0^5889 + 4*j0^5888 + j0^5887 + j0^5886 + j0^5885 +
    16*j0^5884 + 3*j0^5883 + j0^5882 + 4*j0^5881 + 6*j0^5880 +
    16*j0^5879 + 3*j0^5878 + 15*j0^5877 + 7*j0^5876 + 13*j0^5875 +
    7*j0^5874 + 4*j0^5873 + 12*j0^5872 + 13*j0^5871 + 7*j0^5870 +
    11*j0^5869 + 8*j0^5868 + 14*j0^5867 + 3*j0^5866 + 6*j0^5865 +
    4*j0^5864 + 13*j0^5863 + 10*j0^5861 + 6*j0^5860 + 5*j0^5859 +
    j0^5858 + 3*j0^5856 + 14*j0^5855 + 14*j0^5854 + 14*j0^5853 +
    15*j0^5852 + 10*j0^5851 + 4*j0^5850 + 15*j0^5849 + 9*j0^5848 +
    12*j0^5846 + j0^5845 + 3*j0^5844 + 4*j0^5843 + 5*j0^5842 +
    6*j0^5841 + 5*j0^5840 + 11*j0^5839 + 8*j0^5838 + 3*j0^5837 +
    15*j0^5836 + 7*j0^5835 + 5*j0^5834 + 9*j0^5833 + 9*j0^5832 +
    4*j0^5831 + 10*j0^5830 + 6*j0^5829 + 3*j0^5828 + 10*j0^5827 +
    14*j0^5826 + 7*j0^5825 + 10*j0^5824 + 6*j0^5823 + 16*j0^5822 +
    4*j0^5821 + 4*j0^5820 + 15*j0^5819 + 15*j0^5818 + 3*j0^5817 +
    j0^5815 + 16*j0^5814 + 14*j0^5813 + 14*j0^5812 + 5*j0^5811 +
    j0^5810 + 2*j0^5809 + 2*j0^5808 + 4*j0^5807 + 5*j0^5805 +
    15*j0^5804 + 15*j0^5803 + 6*j0^5802 + 7*j0^5801 + 11*j0^5800 +
    8*j0^5799 + 9*j0^5798 + 11*j0^5797 + 11*j0^5796 + 4*j0^5795 +
    14*j0^5794 + 7*j0^5792 + j0^5791 + 6*j0^5790 + 4*j0^5788 +
    15*j0^5787 + 10*j0^5786 + 4*j0^5785 + 4*j0^5783 + 4*j0^5781 +
    3*j0^5780 + 11*j0^5779 + 15*j0^5778 + 8*j0^5777 + 6*j0^5776 +
    8*j0^5775 + 11*j0^5774 + 7*j0^5773 + 8*j0^5772 + j0^5771 +
    12*j0^5770 + 16*j0^5769 + 3*j0^5768 + 6*j0^5767 + 6*j0^5766 +
    4*j0^5765 + 9*j0^5764 + 16*j0^5763 + 2*j0^5762 + 11*j0^5761 +
    5*j0^5760 + 4*j0^5759 + 9*j0^5758 + 3*j0^5756 + 6*j0^5755 +
    j0^5754 + j0^5753 + 4*j0^5752 + 6*j0^5751 + 9*j0^5750 + 2*j0^5749
    + 2*j0^5748 + 13*j0^5747 + 8*j0^5746 + j0^5745 + 16*j0^5744 +
    8*j0^5743 + 6*j0^5742 + 12*j0^5741 + 7*j0^5740 + 5*j0^5739 +
    6*j0^5738 + 7*j0^5737 + 9*j0^5736 + 6*j0^5735 + 8*j0^5734 +
    9*j0^5733 + 6*j0^5732 + j0^5731 + 2*j0^5729 + 9*j0^5728 +
    2*j0^5727 + 11*j0^5726 + 13*j0^5725 + 2*j0^5724 + 13*j0^5723 +
    j0^5722 + 9*j0^5721 + 15*j0^5720 + 13*j0^5719 + 3*j0^5718 +
    11*j0^5717 + 12*j0^5716 + 6*j0^5715 + 16*j0^5714 + 16*j0^5713 +
    7*j0^5712 + 13*j0^5711 + 5*j0^5710 + 3*j0^5709 + 14*j0^5708 +
    16*j0^5707 + 11*j0^5706 + 6*j0^5705 + 10*j0^5704 + 5*j0^5703 +
    10*j0^5702 + 15*j0^5701 + j0^5700 + 12*j0^5699 + 15*j0^5698 +
    12*j0^5696 + 14*j0^5695 + 6*j0^5694 + 16*j0^5692 + 11*j0^5690 +
    8*j0^5689 + 16*j0^5688 + 15*j0^5687 + 2*j0^5686 + 4*j0^5685 +
    4*j0^5684 + 14*j0^5683 + 3*j0^5682 + 6*j0^5681 + 15*j0^5680 +
    12*j0^5679 + j0^5678 + 3*j0^5677 + 15*j0^5676 + 5*j0^5675 +
    8*j0^5674 + 3*j0^5673 + 15*j0^5671 + 11*j0^5670 + 4*j0^5669 +
    9*j0^5668 + 2*j0^5667 + 2*j0^5666 + 13*j0^5665 + 4*j0^5664 +
    9*j0^5663 + 12*j0^5662 + 8*j0^5661 + 14*j0^5660 + 11*j0^5659 +
    4*j0^5658 + 3*j0^5657 + 16*j0^5656 + 9*j0^5655 + 9*j0^5654 +
    10*j0^5653 + 2*j0^5652 + 6*j0^5651 + 7*j0^5650 + 6*j0^5649 +
    13*j0^5648 + j0^5647 + 3*j0^5646 + 12*j0^5645 + 15*j0^5644 +
    5*j0^5643 + 2*j0^5642 + 3*j0^5641 + 10*j0^5640 + 2*j0^5639 +
    13*j0^5638 + 15*j0^5637 + j0^5636 + 12*j0^5635 + 8*j0^5634 +
    6*j0^5633 + 10*j0^5632 + 2*j0^5631 + 8*j0^5630 + 7*j0^5629 +
    12*j0^5628 + 2*j0^5627 + 11*j0^5626 + 6*j0^5625 + 12*j0^5624 +
    4*j0^5623 + 10*j0^5622 + 2*j0^5621 + 5*j0^5620 + 10*j0^5619 +
    16*j0^5618 + j0^5615 + 13*j0^5614 + 9*j0^5613 + 2*j0^5612 +
    12*j0^5611 + 6*j0^5609 + 6*j0^5608 + 10*j0^5607 + 6*j0^5606 +
    6*j0^5605 + 4*j0^5604 + 5*j0^5603 + 9*j0^5602 + 10*j0^5600 +
    3*j0^5598 + 5*j0^5597 + 12*j0^5595 + 15*j0^5594 + 8*j0^5593 +
    5*j0^5592 + 16*j0^5591 + 4*j0^5590 + 6*j0^5589 + 13*j0^5588 +
    j0^5587 + 3*j0^5585 + 12*j0^5584 + 8*j0^5583 + 6*j0^5582 +
    4*j0^5581 + 8*j0^5580 + 15*j0^5579 + 11*j0^5578 + 5*j0^5577 +
    14*j0^5576 + 15*j0^5574 + 7*j0^5573 + 15*j0^5572 + 8*j0^5571 +
    15*j0^5570 + j0^5569 + 11*j0^5568 + 4*j0^5567 + 12*j0^5566 +
    6*j0^5565 + 3*j0^5564 + 4*j0^5563 + 4*j0^5562 + 2*j0^5561 +
    4*j0^5560 + 8*j0^5559 + 15*j0^5558 + 8*j0^5557 + 16*j0^5556 +
    13*j0^5555 + 16*j0^5554 + 10*j0^5553 + 14*j0^5552 + 14*j0^5551 +
    10*j0^5550 + 14*j0^5549 + 4*j0^5548 + 6*j0^5547 + 13*j0^5546 +
    12*j0^5545 + 16*j0^5544 + 12*j0^5543 + 7*j0^5542 + 9*j0^5541 +
    11*j0^5540 + 16*j0^5539 + 14*j0^5538 + 15*j0^5537 + j0^5536 +
    j0^5535 + 7*j0^5534 + 4*j0^5533 + 14*j0^5532 + 8*j0^5531 +
    4*j0^5530 + j0^5529 + 11*j0^5528 + 4*j0^5527 + 9*j0^5526 +
    10*j0^5525 + 15*j0^5523 + 8*j0^5522 + 11*j0^5521 + 3*j0^5520 +
    7*j0^5519 + 15*j0^5518 + 16*j0^5517 + 6*j0^5516 + 16*j0^5515 +
    10*j0^5514 + 7*j0^5513 + 2*j0^5512 + 13*j0^5511 + 11*j0^5510 +
    2*j0^5509 + j0^5508 + 7*j0^5507 + 4*j0^5506 + 13*j0^5505 +
    9*j0^5504 + 2*j0^5503 + 6*j0^5501 + j0^5499 + 16*j0^5498 +
    10*j0^5497 + 12*j0^5496 + 2*j0^5495 + 13*j0^5494 + 7*j0^5493 +
    4*j0^5492 + 10*j0^5490 + j0^5489 + 9*j0^5488 + 6*j0^5487 +
    10*j0^5486 + 6*j0^5485 + 3*j0^5484 + j0^5483 + 6*j0^5482 +
    11*j0^5481 + 14*j0^5480 + 5*j0^5479 + 12*j0^5478 + 14*j0^5477 +
    6*j0^5475 + 14*j0^5474 + 16*j0^5473 + 3*j0^5472 + 3*j0^5471 +
    4*j0^5470 + 8*j0^5469 + 11*j0^5468 + 9*j0^5467 + 9*j0^5466 +
    15*j0^5465 + 8*j0^5464 + 13*j0^5463 + 4*j0^5462 + 3*j0^5461 +
    8*j0^5460 + 4*j0^5459 + 13*j0^5458 + 2*j0^5457 + 3*j0^5456 +
    j0^5455 + 15*j0^5454 + 16*j0^5452 + 6*j0^5451 + 4*j0^5450 +
    4*j0^5449 + 16*j0^5448 + 9*j0^5447 + 5*j0^5446 + 2*j0^5445 +
    7*j0^5444 + 4*j0^5443 + 7*j0^5442 + 5*j0^5441 + 15*j0^5440 +
    8*j0^5439 + 15*j0^5438 + 9*j0^5437 + 7*j0^5436 + 12*j0^5435 +
    8*j0^5434 + 16*j0^5433 + 14*j0^5432 + j0^5431 + 4*j0^5430 +
    10*j0^5429 + 8*j0^5428 + 5*j0^5427 + 9*j0^5426 + 5*j0^5424 +
    8*j0^5423 + 9*j0^5422 + 14*j0^5420 + 14*j0^5419 + j0^5418 +
    6*j0^5417 + 16*j0^5416 + 11*j0^5415 + 16*j0^5414 + 8*j0^5413 +
    14*j0^5411 + j0^5410 + j0^5409 + 9*j0^5408 + 8*j0^5407 + 9*j0^5406
    + 12*j0^5405 + j0^5403 + 14*j0^5402 + 3*j0^5401 + 14*j0^5400 +
    8*j0^5399 + 5*j0^5398 + 16*j0^5397 + 15*j0^5394 + 6*j0^5392 +
    4*j0^5391 + j0^5390 + 3*j0^5389 + 11*j0^5388 + 4*j0^5387 +
    16*j0^5386 + 15*j0^5385 + 14*j0^5384 + 15*j0^5383 + j0^5382 +
    9*j0^5381 + 12*j0^5380 + 10*j0^5379 + 2*j0^5378 + 9*j0^5377 +
    10*j0^5376 + 16*j0^5375 + j0^5374 + 4*j0^5372 + 7*j0^5371 +
    11*j0^5370 + 8*j0^5369 + 13*j0^5367 + 16*j0^5366 + 9*j0^5365 +
    5*j0^5364 + 3*j0^5363 + 5*j0^5362 + 15*j0^5361 + 5*j0^5360 +
    4*j0^5359 + 11*j0^5358 + 3*j0^5357 + 8*j0^5356 + 7*j0^5355 +
    8*j0^5354 + 14*j0^5353 + 2*j0^5352 + 12*j0^5351 + 9*j0^5350 +
    13*j0^5349 + 13*j0^5348 + 14*j0^5347 + 9*j0^5346 + 15*j0^5345 +
    2*j0^5343 + 13*j0^5342 + 14*j0^5341 + 13*j0^5340 + 14*j0^5339 +
    3*j0^5338 + 10*j0^5337 + 13*j0^5336 + 3*j0^5335 + 2*j0^5334 +
    11*j0^5333 + 5*j0^5332 + 13*j0^5331 + 8*j0^5330 + 16*j0^5329 +
    3*j0^5328 + 4*j0^5327 + 8*j0^5326 + 7*j0^5325 + 6*j0^5324 +
    3*j0^5323 + 9*j0^5322 + 10*j0^5320 + 4*j0^5319 + 5*j0^5318 +
    10*j0^5317 + 16*j0^5316 + 4*j0^5315 + 11*j0^5314 + j0^5313 +
    9*j0^5312 + 6*j0^5311 + 9*j0^5310 + 7*j0^5309 + 9*j0^5308 +
    13*j0^5307 + 16*j0^5306 + 3*j0^5305 + 14*j0^5304 + 12*j0^5303 +
    6*j0^5302 + 4*j0^5301 + 13*j0^5300 + 5*j0^5299 + 13*j0^5296 +
    11*j0^5295 + 15*j0^5294 + 8*j0^5293 + 7*j0^5292 + 13*j0^5291 +
    4*j0^5290 + 14*j0^5289 + 4*j0^5288 + 15*j0^5287 + 4*j0^5286 +
    8*j0^5285 + 10*j0^5284 + 4*j0^5283 + 4*j0^5282 + 5*j0^5281 +
    5*j0^5280 + 15*j0^5279 + 4*j0^5278 + 2*j0^5277 + 2*j0^5276 +
    5*j0^5275 + 13*j0^5274 + 15*j0^5273 + 8*j0^5272 + 8*j0^5271 +
    13*j0^5270 + 5*j0^5269 + 2*j0^5268 + 8*j0^5267 + 7*j0^5266 +
    8*j0^5265 + 6*j0^5264 + 9*j0^5263 + 14*j0^5262 + 12*j0^5261 +
    6*j0^5260 + 12*j0^5259 + 10*j0^5258 + 13*j0^5257 + 6*j0^5256 +
    2*j0^5255 + 4*j0^5254 + j0^5253 + 9*j0^5252 + 3*j0^5251 +
    15*j0^5250 + 14*j0^5249 + 15*j0^5248 + 2*j0^5247 + 8*j0^5246 +
    13*j0^5245 + 13*j0^5244 + 11*j0^5243 + 12*j0^5242 + 15*j0^5241 +
    j0^5240 + 5*j0^5239 + 7*j0^5238 + 13*j0^5237 + 12*j0^5236 +
    11*j0^5235 + 11*j0^5234 + 8*j0^5233 + 10*j0^5232 + 5*j0^5231 +
    5*j0^5229 + 5*j0^5228 + 6*j0^5227 + 16*j0^5226 + 3*j0^5225 +
    7*j0^5224 + 7*j0^5223 + 4*j0^5222 + 2*j0^5221 + 9*j0^5220 +
    14*j0^5219 + 10*j0^5218 + 5*j0^5217 + 5*j0^5216 + 14*j0^5214 +
    15*j0^5213 + 3*j0^5212 + 4*j0^5211 + 15*j0^5210 + j0^5209 +
    2*j0^5208 + 10*j0^5207 + 13*j0^5206 + 9*j0^5205 + 5*j0^5204 +
    7*j0^5203 + 14*j0^5202 + 15*j0^5201 + 8*j0^5200 + 8*j0^5199 +
    15*j0^5198 + 4*j0^5197 + 16*j0^5196 + 8*j0^5195 + 5*j0^5194 +
    6*j0^5193 + 14*j0^5192 + 14*j0^5191 + 2*j0^5190 + 2*j0^5189 +
    4*j0^5187 + 11*j0^5186 + 15*j0^5185 + 6*j0^5184 + 11*j0^5183 +
    7*j0^5182 + j0^5181 + 11*j0^5180 + 13*j0^5178 + 14*j0^5177 +
    14*j0^5176 + 15*j0^5175 + 16*j0^5174 + 8*j0^5173 + 15*j0^5172 +
    11*j0^5171 + 10*j0^5170 + 12*j0^5169 + 8*j0^5167 + 15*j0^5166 +
    6*j0^5165 + 10*j0^5164 + 10*j0^5163 + 2*j0^5162 + 7*j0^5161 +
    9*j0^5160 + 8*j0^5159 + 5*j0^5158 + 14*j0^5157 + 16*j0^5156 +
    11*j0^5155 + 11*j0^5154 + 13*j0^5153 + 6*j0^5152 + 11*j0^5151 +
    4*j0^5150 + 9*j0^5149 + 8*j0^5148 + 8*j0^5147 + 10*j0^5146 +
    j0^5145 + 3*j0^5144 + 8*j0^5143 + 5*j0^5142 + 13*j0^5141 +
    15*j0^5139 + 13*j0^5138 + 7*j0^5137 + 15*j0^5136 + 8*j0^5135 +
    5*j0^5134 + 16*j0^5133 + 10*j0^5132 + 4*j0^5131 + 7*j0^5130 +
    8*j0^5129 + j0^5128 + 16*j0^5126 + 12*j0^5125 + 4*j0^5124 +
    6*j0^5123 + 14*j0^5122 + 12*j0^5121 + 3*j0^5120 + 16*j0^5119 +
    8*j0^5117 + 2*j0^5116 + 8*j0^5115 + 16*j0^5114 + 6*j0^5112 +
    7*j0^5111 + 8*j0^5110 + 4*j0^5109 + j0^5108 + 6*j0^5106 +
    7*j0^5105 + 16*j0^5104 + 16*j0^5103 + 3*j0^5102 + 11*j0^5101 +
    15*j0^5100 + 7*j0^5099 + 4*j0^5098 + j0^5096 + 11*j0^5095 +
    2*j0^5094 + 12*j0^5093 + 3*j0^5092 + 3*j0^5091 + 7*j0^5090 +
    4*j0^5089 + 8*j0^5088 + 10*j0^5087 + 4*j0^5086 + j0^5085 +
    4*j0^5084 + 7*j0^5083 + 5*j0^5082 + j0^5081 + j0^5080 + j0^5079 +
    6*j0^5078 + 8*j0^5077 + 6*j0^5076 + 13*j0^5075 + 13*j0^5074 +
    9*j0^5073 + 2*j0^5072 + 16*j0^5071 + 9*j0^5070 + 14*j0^5069 +
    6*j0^5068 + 12*j0^5067 + 7*j0^5066 + 3*j0^5065 + 13*j0^5064 +
    8*j0^5063 + 15*j0^5062 + 16*j0^5061 + 10*j0^5060 + 12*j0^5058 +
    6*j0^5057 + 11*j0^5056 + 8*j0^5055 + 9*j0^5054 + 8*j0^5053 +
    6*j0^5052 + 5*j0^5051 + 4*j0^5050 + 12*j0^5049 + 4*j0^5048 +
    2*j0^5046 + 14*j0^5045 + 13*j0^5044 + 12*j0^5042 + 8*j0^5041 +
    5*j0^5039 + 8*j0^5038 + 16*j0^5037 + 16*j0^5036 + 3*j0^5034 +
    j0^5033 + 12*j0^5032 + 9*j0^5031 + 10*j0^5030 + 5*j0^5029 +
    14*j0^5028 + 16*j0^5027 + 12*j0^5026 + 6*j0^5025 + 8*j0^5024 +
    12*j0^5023 + 4*j0^5022 + j0^5021 + 10*j0^5020 + 13*j0^5018 +
    3*j0^5017 + 12*j0^5016 + 16*j0^5015 + 13*j0^5014 + 15*j0^5013 +
    15*j0^5012 + 7*j0^5011 + 10*j0^5010 + 7*j0^5009 + 16*j0^5007 +
    12*j0^5006 + 16*j0^5005 + 16*j0^5004 + 7*j0^5003 + 13*j0^5002 +
    5*j0^5001 + 7*j0^5000 + 2*j0^4999 + 9*j0^4998 + 12*j0^4997 +
    9*j0^4996 + 4*j0^4995 + 7*j0^4994 + j0^4993 + 16*j0^4992 +
    3*j0^4991 + j0^4990 + 7*j0^4989 + j0^4988 + 9*j0^4987 + 9*j0^4986
    + 16*j0^4985 + 4*j0^4984 + 16*j0^4983 + 9*j0^4982 + 9*j0^4981 +
    15*j0^4980 + 11*j0^4979 + 3*j0^4978 + 12*j0^4977 + 11*j0^4976 +
    14*j0^4975 + 7*j0^4974 + 10*j0^4973 + 10*j0^4972 + 2*j0^4971 +
    12*j0^4970 + 15*j0^4969 + 11*j0^4968 + 11*j0^4967 + 13*j0^4966 +
    14*j0^4965 + 13*j0^4964 + 8*j0^4962 + 3*j0^4961 + 8*j0^4960 +
    10*j0^4959 + 13*j0^4958 + 4*j0^4957 + 6*j0^4956 + 8*j0^4955 +
    16*j0^4954 + 10*j0^4953 + 16*j0^4952 + 6*j0^4951 + 2*j0^4950 +
    14*j0^4949 + 6*j0^4948 + 11*j0^4947 + 14*j0^4946 + 2*j0^4944 +
    8*j0^4943 + 11*j0^4942 + 8*j0^4941 + j0^4940 + 14*j0^4939 +
    13*j0^4938 + 7*j0^4936 + 4*j0^4935 + 2*j0^4934 + 3*j0^4933 +
    15*j0^4932 + 7*j0^4931 + 3*j0^4930 + 14*j0^4929 + 6*j0^4928 +
    13*j0^4927 + 11*j0^4926 + 6*j0^4925 + 12*j0^4924 + 15*j0^4923 +
    12*j0^4922 + 13*j0^4921 + 3*j0^4920 + 9*j0^4919 + 11*j0^4918 +
    11*j0^4917 + 6*j0^4916 + 10*j0^4915 + 15*j0^4914 + 5*j0^4913 +
    6*j0^4912 + 4*j0^4911 + 7*j0^4910 + 6*j0^4909 + 10*j0^4908 +
    13*j0^4907 + 6*j0^4906 + 2*j0^4905 + 3*j0^4904 + 7*j0^4903 +
    2*j0^4902 + 14*j0^4901 + 12*j0^4898 + 12*j0^4896 + 15*j0^4893 +
    10*j0^4892 + 15*j0^4891 + 8*j0^4890 + 4*j0^4889 + 2*j0^4888 +
    5*j0^4887 + 13*j0^4886 + 13*j0^4885 + 3*j0^4884 + 16*j0^4883 +
    16*j0^4882 + 16*j0^4881 + 8*j0^4880 + 14*j0^4879 + 10*j0^4877 +
    12*j0^4876 + 10*j0^4875 + 5*j0^4873 + 15*j0^4872 + 2*j0^4871 +
    14*j0^4870 + 8*j0^4869 + 13*j0^4868 + 10*j0^4867 + 13*j0^4866 +
    6*j0^4865 + 4*j0^4864 + j0^4863 + 9*j0^4862 + 15*j0^4861 +
    7*j0^4860 + 10*j0^4859 + 3*j0^4858 + 10*j0^4856 + 8*j0^4855 +
    2*j0^4854 + 10*j0^4853 + 11*j0^4852 + 12*j0^4851 + 5*j0^4849 +
    12*j0^4848 + 11*j0^4847 + 15*j0^4846 + 5*j0^4845 + j0^4844 +
    5*j0^4843 + 12*j0^4842 + 10*j0^4841 + 5*j0^4840 + 7*j0^4839 +
    4*j0^4838 + 16*j0^4837 + 7*j0^4836 + 8*j0^4834 + 13*j0^4833 +
    7*j0^4832 + 4*j0^4831 + 8*j0^4830 + 10*j0^4829 + 14*j0^4828 +
    j0^4827 + 12*j0^4826 + 11*j0^4825 + 16*j0^4824 + 2*j0^4822 +
    8*j0^4821 + 9*j0^4820 + 14*j0^4819 + 7*j0^4818 + 9*j0^4817 +
    5*j0^4816 + 9*j0^4815 + 10*j0^4814 + 5*j0^4813 + 14*j0^4812 +
    j0^4811 + 9*j0^4810 + 15*j0^4809 + 11*j0^4808 + 5*j0^4807 +
    9*j0^4806 + 5*j0^4805 + 10*j0^4804 + j0^4803 + j0^4802 + j0^4801 +
    6*j0^4800 + 8*j0^4799 + 6*j0^4798 + 10*j0^4797 + 9*j0^4796 +
    6*j0^4795 + j0^4794 + 15*j0^4793 + 5*j0^4792 + 10*j0^4791 +
    14*j0^4789 + 7*j0^4788 + 9*j0^4787 + 2*j0^4786 + 6*j0^4785 +
    3*j0^4784 + j0^4783 + 3*j0^4782 + 12*j0^4781 + 2*j0^4780 +
    16*j0^4779 + 13*j0^4778 + 3*j0^4777 + 6*j0^4776 + 8*j0^4775 +
    3*j0^4774 + j0^4773 + 2*j0^4772 + 10*j0^4771 + 10*j0^4770 +
    11*j0^4769 + 9*j0^4768 + 15*j0^4767 + 2*j0^4766 + 16*j0^4765 +
    10*j0^4764 + 12*j0^4763 + 7*j0^4762 + 7*j0^4761 + 7*j0^4760 +
    2*j0^4759 + 11*j0^4758 + 16*j0^4757 + 8*j0^4756 + 14*j0^4755 +
    6*j0^4754 + 10*j0^4753 + 7*j0^4752 + 11*j0^4751 + 4*j0^4750 +
    9*j0^4749 + 13*j0^4748 + 12*j0^4747 + 16*j0^4746 + 4*j0^4745 +
    j0^4744 + 6*j0^4743 + 16*j0^4742 + 11*j0^4741 + 12*j0^4740 +
    3*j0^4739 + 13*j0^4738 + 7*j0^4737 + 2*j0^4736 + 3*j0^4735 +
    16*j0^4734 + 7*j0^4733 + 10*j0^4732 + j0^4731 + 6*j0^4730 +
    4*j0^4729 + 15*j0^4728 + 11*j0^4727 + 3*j0^4726 + j0^4724 +
    15*j0^4723 + 15*j0^4722 + 5*j0^4721 + 16*j0^4720 + 15*j0^4719 +
    8*j0^4718 + 7*j0^4717 + 16*j0^4716 + 11*j0^4715 + 11*j0^4714 +
    9*j0^4713 + 11*j0^4712 + 16*j0^4710 + 10*j0^4709 + 6*j0^4708 +
    11*j0^4707 + 4*j0^4706 + 14*j0^4705 + 14*j0^4704 + 10*j0^4703 +
    7*j0^4702 + 5*j0^4701 + 9*j0^4700 + 3*j0^4699 + 9*j0^4698 +
    14*j0^4697 + j0^4696 + 9*j0^4695 + 16*j0^4694 + 15*j0^4693 +
    6*j0^4692 + 14*j0^4691 + 14*j0^4690 + 5*j0^4689 + 11*j0^4688 +
    12*j0^4687 + 11*j0^4686 + 5*j0^4685 + 16*j0^4684 + 3*j0^4683 +
    5*j0^4682 + 6*j0^4681 + 7*j0^4680 + 6*j0^4679 + 12*j0^4678 +
    4*j0^4677 + 16*j0^4676 + 4*j0^4675 + 8*j0^4674 + 12*j0^4673 +
    14*j0^4672 + 11*j0^4671 + 6*j0^4670 + j0^4669 + 3*j0^4668 +
    2*j0^4667 + 7*j0^4666 + 15*j0^4665 + 7*j0^4664 + 14*j0^4663 +
    9*j0^4662 + 6*j0^4661 + 16*j0^4660 + 4*j0^4659 + 4*j0^4658 +
    8*j0^4657 + 4*j0^4656 + 2*j0^4655 + 11*j0^4654 + 11*j0^4653 +
    10*j0^4652 + 6*j0^4651 + 5*j0^4650 + 4*j0^4649 + 10*j0^4648 +
    2*j0^4647 + j0^4646 + 8*j0^4644 + 14*j0^4643 + 4*j0^4642 +
    4*j0^4640 + 4*j0^4639 + 8*j0^4638 + 6*j0^4637 + 2*j0^4636 +
    4*j0^4635 + 11*j0^4634 + 7*j0^4633 + j0^4632 + 5*j0^4631 +
    7*j0^4630 + j0^4629 + 14*j0^4628 + 15*j0^4627 + 7*j0^4626 +
    j0^4625 + 13*j0^4623 + 8*j0^4622 + 2*j0^4621 + 14*j0^4620 +
    13*j0^4619 + 11*j0^4618 + 9*j0^4617 + 3*j0^4616 + 16*j0^4615 +
    8*j0^4614 + 7*j0^4613 + 13*j0^4612 + 14*j0^4611 + j0^4610 +
    4*j0^4608 + 4*j0^4607 + 5*j0^4606 + 13*j0^4604 + 7*j0^4603 +
    11*j0^4602 + 5*j0^4601 + 11*j0^4600 + 12*j0^4599 + 15*j0^4598 +
    3*j0^4597 + 8*j0^4596 + 15*j0^4595 + 11*j0^4594 + 4*j0^4593 +
    15*j0^4592 + 12*j0^4591 + 12*j0^4590 + 4*j0^4589 + 13*j0^4588 +
    7*j0^4587 + 8*j0^4586 + 9*j0^4585 + 16*j0^4584 + 10*j0^4583 +
    2*j0^4582 + 3*j0^4581 + 4*j0^4580 + 4*j0^4579 + 14*j0^4578 +
    8*j0^4577 + 13*j0^4576 + 7*j0^4575 + 14*j0^4573 + 2*j0^4572 +
    j0^4571 + 14*j0^4570 + 3*j0^4569 + 12*j0^4568 + 12*j0^4567 +
    15*j0^4566 + 4*j0^4565 + 14*j0^4564 + 13*j0^4563 + 11*j0^4562 +
    2*j0^4561 + 11*j0^4560 + 11*j0^4559 + j0^4558 + 15*j0^4557 +
    16*j0^4556 + 7*j0^4555 + 9*j0^4554 + 11*j0^4553 + 8*j0^4552 +
    5*j0^4551 + 10*j0^4550 + 12*j0^4549 + 8*j0^4548 + 15*j0^4547 +
    7*j0^4546 + 5*j0^4545 + 3*j0^4544 + 3*j0^4543 + j0^4541 +
    8*j0^4540 + 5*j0^4538 + 15*j0^4537 + 12*j0^4536 + 3*j0^4535 +
    j0^4534 + 14*j0^4533 + 5*j0^4532 + 3*j0^4531 + 13*j0^4530 +
    4*j0^4529 + 4*j0^4528 + 3*j0^4527 + 7*j0^4526 + 8*j0^4525 +
    7*j0^4524 + 16*j0^4523 + 6*j0^4522 + j0^4521 + 13*j0^4520 +
    13*j0^4519 + 9*j0^4518 + 14*j0^4517 + 9*j0^4516 + 9*j0^4515 +
    j0^4514 + 7*j0^4513 + 15*j0^4512 + 2*j0^4511 + 16*j0^4509 +
    3*j0^4508 + 6*j0^4507 + 3*j0^4506 + 5*j0^4505 + 10*j0^4504 +
    8*j0^4503 + 8*j0^4502 + 4*j0^4501 + 4*j0^4500 + 14*j0^4499 +
    16*j0^4498 + 8*j0^4497 + 15*j0^4496 + 2*j0^4495 + 7*j0^4494 +
    15*j0^4493 + 2*j0^4492 + 9*j0^4491 + 8*j0^4490 + 13*j0^4489 +
    16*j0^4488 + 13*j0^4487 + 14*j0^4486 + 12*j0^4485 + 16*j0^4484 +
    j0^4483 + 7*j0^4482 + 14*j0^4481 + 5*j0^4480 + 4*j0^4479 +
    16*j0^4478 + 11*j0^4477 + 15*j0^4476 + 5*j0^4475 + 14*j0^4473 +
    3*j0^4472 + 5*j0^4471 + 16*j0^4470 + 9*j0^4468 + 2*j0^4467 +
    11*j0^4466 + 14*j0^4465 + 3*j0^4464 + 15*j0^4463 + 13*j0^4462 +
    8*j0^4461 + 16*j0^4460 + 15*j0^4459 + 4*j0^4458 + j0^4457 +
    13*j0^4456 + 13*j0^4455 + 7*j0^4454 + 15*j0^4453 + 13*j0^4452 +
    6*j0^4451 + 12*j0^4450 + 8*j0^4449 + 16*j0^4448 + 16*j0^4447 +
    9*j0^4446 + 3*j0^4445 + 3*j0^4444 + 9*j0^4443 + 3*j0^4442 +
    5*j0^4441 + 4*j0^4440 + 3*j0^4439 + 8*j0^4438 + 2*j0^4437 +
    14*j0^4436 + 5*j0^4435 + 15*j0^4434 + 2*j0^4433 + j0^4432 +
    3*j0^4431 + 6*j0^4430 + 9*j0^4428 + 16*j0^4427 + 15*j0^4426 +
    7*j0^4425 + 6*j0^4424 + 8*j0^4423 + 3*j0^4422 + 16*j0^4421 +
    7*j0^4420 + 12*j0^4419 + 3*j0^4418 + 7*j0^4417 + 2*j0^4416 +
    3*j0^4414 + 4*j0^4413 + 5*j0^4412 + 16*j0^4411 + 14*j0^4410 +
    7*j0^4409 + j0^4408 + 7*j0^4406 + 4*j0^4405 + 3*j0^4404 +
    6*j0^4403 + 10*j0^4402 + 9*j0^4401 + 5*j0^4400 + 15*j0^4399 +
    12*j0^4398 + 7*j0^4397 + 14*j0^4395 + 5*j0^4394 + j0^4393 +
    16*j0^4392 + 7*j0^4391 + 16*j0^4389 + 8*j0^4388 + 14*j0^4387 +
    6*j0^4386 + 10*j0^4385 + 12*j0^4384 + 16*j0^4383 + 9*j0^4382 +
    13*j0^4381 + 11*j0^4380 + 15*j0^4379 + 5*j0^4377 + 13*j0^4376 +
    7*j0^4375 + 16*j0^4374 + 11*j0^4373 + 2*j0^4372 + 12*j0^4371 +
    11*j0^4370 + 10*j0^4369 + 7*j0^4368 + j0^4367 + 5*j0^4366 +
    16*j0^4365 + 2*j0^4364 + 14*j0^4363 + 2*j0^4362 + 16*j0^4361 +
    5*j0^4360 + 12*j0^4359 + 10*j0^4358 + 7*j0^4357 + 13*j0^4356 +
    6*j0^4355 + 16*j0^4354 + 8*j0^4353 + 16*j0^4352 + 12*j0^4351 +
    8*j0^4350 + 14*j0^4349 + 2*j0^4348 + 2*j0^4347 + 2*j0^4346 +
    12*j0^4345 + 8*j0^4344 + 11*j0^4343 + 15*j0^4342 + 5*j0^4341 +
    12*j0^4340 + 4*j0^4338 + 12*j0^4337 + 9*j0^4336 + 9*j0^4335 +
    13*j0^4334 + 10*j0^4333 + 2*j0^4332 + 10*j0^4331 + 8*j0^4330 +
    5*j0^4329 + 15*j0^4328 + 8*j0^4327 + 9*j0^4326 + 2*j0^4325 +
    6*j0^4324 + 6*j0^4323 + 11*j0^4322 + 8*j0^4321 + 10*j0^4320 +
    12*j0^4319 + 3*j0^4318 + 10*j0^4317 + 2*j0^4316 + 11*j0^4315 +
    8*j0^4314 + 7*j0^4313 + 10*j0^4312 + 8*j0^4311 + 9*j0^4310 +
    2*j0^4309 + 6*j0^4308 + 11*j0^4307 + 7*j0^4305 + 4*j0^4304 +
    15*j0^4303 + 15*j0^4302 + 11*j0^4301 + 5*j0^4300 + 13*j0^4299 +
    j0^4298 + 15*j0^4297 + j0^4296 + 10*j0^4295 + 5*j0^4294 + j0^4293
    + 15*j0^4292 + 5*j0^4291 + 8*j0^4290 + 16*j0^4289 + 7*j0^4288 +
    10*j0^4287 + 7*j0^4286 + 12*j0^4285 + 6*j0^4284 + 2*j0^4282 +
    2*j0^4281 + 11*j0^4280 + 15*j0^4279 + 2*j0^4278 + 3*j0^4277 +
    4*j0^4276 + 6*j0^4275 + 2*j0^4274 + 11*j0^4273 + 7*j0^4272 +
    3*j0^4271 + 6*j0^4270 + 8*j0^4269 + 2*j0^4268 + 7*j0^4267 +
    3*j0^4266 + 4*j0^4265 + 7*j0^4264 + 15*j0^4263 + 11*j0^4262 +
    2*j0^4261 + 12*j0^4260 + 13*j0^4259 + 12*j0^4258 + 3*j0^4257 +
    14*j0^4256 + 10*j0^4254 + 2*j0^4253 + 13*j0^4252 + 14*j0^4251 +
    8*j0^4250 + 4*j0^4249 + 16*j0^4248 + 13*j0^4247 + 9*j0^4246 +
    11*j0^4245 + 11*j0^4244 + 11*j0^4243 + 12*j0^4242 + 14*j0^4241 +
    14*j0^4240 + 8*j0^4239 + j0^4238 + 5*j0^4237 + 7*j0^4236 +
    10*j0^4235 + 7*j0^4234 + 7*j0^4233 + 5*j0^4231 + 9*j0^4230 +
    14*j0^4229 + 5*j0^4228 + 9*j0^4227 + 2*j0^4226 + 14*j0^4224 +
    14*j0^4223 + 6*j0^4222 + 8*j0^4221 + 15*j0^4220 + 2*j0^4219 +
    6*j0^4218 + j0^4217 + 6*j0^4216 + 12*j0^4215 + 6*j0^4214 +
    11*j0^4213 + 2*j0^4212 + 2*j0^4211 + 14*j0^4210 + 15*j0^4209 +
    7*j0^4208 + 4*j0^4207 + 13*j0^4206 + 12*j0^4205 + 4*j0^4204 +
    4*j0^4203 + 12*j0^4202 + 3*j0^4201 + 2*j0^4200 + 4*j0^4199 +
    8*j0^4198 + 8*j0^4197 + 10*j0^4196 + 9*j0^4195 + 5*j0^4194 +
    15*j0^4193 + 10*j0^4192 + 11*j0^4191 + 10*j0^4189 + 16*j0^4188 +
    7*j0^4187 + 10*j0^4186 + 14*j0^4185 + 7*j0^4184 + 3*j0^4183 +
    3*j0^4182 + 4*j0^4181 + 12*j0^4180 + j0^4179 + 4*j0^4178 + j0^4177
    + 15*j0^4176 + 14*j0^4175 + 3*j0^4174 + j0^4173 + 16*j0^4171 +
    7*j0^4170 + 14*j0^4169 + 16*j0^4168 + 5*j0^4166 + 8*j0^4165 +
    10*j0^4164 + j0^4163 + 9*j0^4162 + 14*j0^4161 + 10*j0^4160 +
    13*j0^4159 + 7*j0^4158 + 13*j0^4157 + 3*j0^4156 + 7*j0^4155 +
    12*j0^4154 + 6*j0^4153 + 7*j0^4152 + 12*j0^4151 + 7*j0^4150 +
    3*j0^4149 + 5*j0^4148 + 14*j0^4147 + 2*j0^4146 + 15*j0^4145 +
    4*j0^4144 + 5*j0^4143 + 9*j0^4142 + 4*j0^4141 + 6*j0^4140 +
    10*j0^4139 + 3*j0^4138 + j0^4137 + 10*j0^4136 + j0^4135 +
    10*j0^4134 + 10*j0^4133 + j0^4132 + 4*j0^4131 + 3*j0^4130 +
    2*j0^4129 + 16*j0^4128 + 7*j0^4127 + 13*j0^4126 + 16*j0^4125 +
    3*j0^4124 + 7*j0^4123 + 14*j0^4122 + 5*j0^4121 + 14*j0^4120 +
    8*j0^4119 + 11*j0^4118 + j0^4117 + 13*j0^4116 + 4*j0^4115 +
    3*j0^4114 + 6*j0^4113 + j0^4111 + 7*j0^4110 + 7*j0^4109 + j0^4108
    + 8*j0^4107 + 11*j0^4106 + 5*j0^4103 + 14*j0^4102 + 12*j0^4101 +
    10*j0^4100 + 5*j0^4099 + 7*j0^4098 + 10*j0^4097 + 3*j0^4096 +
    13*j0^4095 + 10*j0^4094 + 11*j0^4092 + 15*j0^4091 + 4*j0^4090 +
    6*j0^4089 + 16*j0^4088 + 3*j0^4087 + 2*j0^4086 + 8*j0^4084 +
    14*j0^4083 + 9*j0^4082 + 14*j0^4081 + 8*j0^4080 + 3*j0^4079 +
    7*j0^4078 + 4*j0^4077 + 9*j0^4076 + 5*j0^4075 + j0^4074 + j0^4073
    + 11*j0^4072 + 14*j0^4071 + 7*j0^4070 + 2*j0^4069 + j0^4068 +
    15*j0^4066 + 4*j0^4065 + 15*j0^4064 + 6*j0^4063 + 14*j0^4061 +
    5*j0^4060 + 5*j0^4059 + 10*j0^4058 + 7*j0^4057 + 3*j0^4056 +
    5*j0^4055 + 2*j0^4054 + 2*j0^4053 + 12*j0^4052 + 3*j0^4051 +
    12*j0^4050 + 8*j0^4049 + 3*j0^4048 + 16*j0^4047 + 13*j0^4046 +
    3*j0^4045 + 7*j0^4044 + 16*j0^4043 + 14*j0^4042 + 13*j0^4041 +
    10*j0^4040 + 14*j0^4039 + j0^4038 + j0^4037 + 12*j0^4036 + j0^4035
    + 3*j0^4034 + 5*j0^4033 + 8*j0^4032 + 10*j0^4031 + 7*j0^4030 +
    8*j0^4029 + 12*j0^4028 + j0^4027 + 7*j0^4026 + 16*j0^4025 +
    13*j0^4024 + 13*j0^4023 + 4*j0^4022 + 16*j0^4021 + 4*j0^4020 +
    7*j0^4019 + j0^4018 + 5*j0^4017 + 4*j0^4016 + 12*j0^4015 +
    3*j0^4014 + 14*j0^4013 + j0^4012 + 16*j0^4011 + 9*j0^4010 +
    4*j0^4009 + 9*j0^4008 + 11*j0^4007 + 9*j0^4006 + 15*j0^4005 +
    10*j0^4004 + 11*j0^4001 + 14*j0^4000 + 4*j0^3999 + 6*j0^3998 +
    11*j0^3997 + 9*j0^3996 + 8*j0^3995 + 12*j0^3994 + 3*j0^3993 +
    9*j0^3992 + 8*j0^3990 + 4*j0^3989 + 8*j0^3988 + 16*j0^3987 +
    12*j0^3986 + 6*j0^3985 + 12*j0^3984 + 15*j0^3983 + 3*j0^3982 +
    3*j0^3981 + 10*j0^3980 + 7*j0^3979 + 11*j0^3978 + 9*j0^3977 +
    15*j0^3976 + 12*j0^3975 + 11*j0^3974 + 4*j0^3973 + 9*j0^3972 +
    5*j0^3971 + 10*j0^3969 + 13*j0^3968 + j0^3967 + 6*j0^3966 +
    12*j0^3965 + 13*j0^3963 + 8*j0^3962 + 8*j0^3961 + 8*j0^3960 +
    11*j0^3959 + 11*j0^3958 + 3*j0^3957 + 16*j0^3956 + 16*j0^3955 +
    6*j0^3954 + 7*j0^3953 + 16*j0^3952 + 7*j0^3951 + 7*j0^3950 +
    13*j0^3949 + 13*j0^3948 + j0^3947 + 15*j0^3946 + 15*j0^3945 +
    6*j0^3944 + 10*j0^3943 + 6*j0^3942 + 6*j0^3941 + 3*j0^3940 +
    9*j0^3939 + 7*j0^3938 + j0^3937 + 12*j0^3936 + 9*j0^3934 +
    10*j0^3933 + 7*j0^3932 + 5*j0^3931 + 2*j0^3930 + 16*j0^3929 +
    7*j0^3928 + 16*j0^3927 + 11*j0^3926 + 7*j0^3925 + 13*j0^3924 +
    9*j0^3923 + 2*j0^3922 + 11*j0^3921 + 11*j0^3920 + 12*j0^3919 +
    12*j0^3918 + 7*j0^3917 + 14*j0^3916 + 11*j0^3915 + 14*j0^3914 +
    3*j0^3913 + 14*j0^3912 + 13*j0^3911 + 6*j0^3910 + 14*j0^3909 +
    14*j0^3908 + 7*j0^3907 + 10*j0^3906 + 10*j0^3905 + 3*j0^3904 +
    j0^3903 + 9*j0^3902 + 12*j0^3900 + 10*j0^3899 + 6*j0^3898 +
    6*j0^3897 + 9*j0^3896 + 15*j0^3895 + 15*j0^3894 + 9*j0^3893 +
    3*j0^3892 + 7*j0^3891 + j0^3890 + 3*j0^3889 + 11*j0^3888 +
    11*j0^3887 + j0^3886 + 5*j0^3885 + 7*j0^3884 + 11*j0^3883 +
    2*j0^3882 + 3*j0^3881 + 15*j0^3880 + 14*j0^3879 + 2*j0^3878 +
    14*j0^3877 + 14*j0^3876 + 10*j0^3875 + j0^3874 + j0^3873 +
    11*j0^3872 + 8*j0^3871 + 3*j0^3870 + j0^3869 + 15*j0^3868 +
    15*j0^3867 + 13*j0^3866 + 7*j0^3865 + 5*j0^3863 + 2*j0^3862 +
    12*j0^3861 + 9*j0^3860 + 2*j0^3859 + 12*j0^3858 + 4*j0^3857 +
    4*j0^3856 + 5*j0^3855 + 11*j0^3854 + 10*j0^3853 + 7*j0^3852 +
    6*j0^3851 + 13*j0^3850 + 10*j0^3849 + 7*j0^3848 + 11*j0^3847 +
    7*j0^3846 + 12*j0^3845 + 2*j0^3844 + 9*j0^3843 + 13*j0^3842 +
    11*j0^3841 + 10*j0^3840 + 14*j0^3839 + j0^3838 + 13*j0^3837 +
    j0^3836 + 9*j0^3835 + 2*j0^3834 + 5*j0^3833 + 9*j0^3832 +
    3*j0^3831 + j0^3830 + 3*j0^3829 + 5*j0^3828 + 3*j0^3827 +
    8*j0^3825 + 15*j0^3824 + 4*j0^3823 + 9*j0^3822 + 3*j0^3821 +
    3*j0^3820 + 2*j0^3819 + 13*j0^3818 + 5*j0^3817 + 6*j0^3816 +
    j0^3815 + 10*j0^3814 + 6*j0^3813 + 6*j0^3812 + 10*j0^3811 +
    9*j0^3810 + 14*j0^3809 + 11*j0^3808 + 16*j0^3807 + 2*j0^3806 +
    j0^3805 + 6*j0^3804 + j0^3803 + 10*j0^3802 + j0^3801 + 3*j0^3800 +
    5*j0^3799 + 4*j0^3797 + j0^3796 + 15*j0^3795 + 15*j0^3794 +
    16*j0^3793 + 11*j0^3792 + 14*j0^3791 + 3*j0^3790 + 7*j0^3789 +
    15*j0^3788 + 6*j0^3787 + 7*j0^3786 + 2*j0^3785 + 5*j0^3784 +
    5*j0^3783 + 2*j0^3782 + 7*j0^3781 + 13*j0^3780 + 11*j0^3779 +
    10*j0^3778 + 14*j0^3777 + 7*j0^3776 + 9*j0^3775 + 7*j0^3774 +
    11*j0^3773 + 5*j0^3772 + 9*j0^3771 + 9*j0^3770 + 3*j0^3769 +
    10*j0^3768 + 5*j0^3767 + 11*j0^3766 + 13*j0^3765 + 10*j0^3764 +
    16*j0^3763 + 12*j0^3762 + 14*j0^3761 + 3*j0^3760 + 10*j0^3759 +
    15*j0^3758 + 8*j0^3756 + j0^3755 + 15*j0^3754 + 4*j0^3753 +
    16*j0^3752 + 5*j0^3751 + 6*j0^3750 + 11*j0^3749 + 7*j0^3748 +
    13*j0^3747 + 14*j0^3746 + 7*j0^3745 + 14*j0^3744 + 11*j0^3743 +
    12*j0^3742 + 13*j0^3741 + 16*j0^3740 + 6*j0^3739 + 15*j0^3738 +
    6*j0^3737 + 13*j0^3736 + 10*j0^3735 + 13*j0^3733 + 7*j0^3732 +
    j0^3731 + j0^3730 + 8*j0^3729 + j0^3728 + 13*j0^3727 + 8*j0^3726 +
    13*j0^3725 + 8*j0^3724 + 12*j0^3723 + 8*j0^3722 + 13*j0^3721 +
    16*j0^3720 + 2*j0^3719 + 6*j0^3718 + 11*j0^3717 + 13*j0^3716 +
    7*j0^3715 + 6*j0^3714 + 8*j0^3713 + 9*j0^3712 + 6*j0^3711 +
    5*j0^3710 + 11*j0^3709 + 7*j0^3708 + 11*j0^3707 + j0^3706 +
    16*j0^3705 + 11*j0^3704 + 5*j0^3703 + 11*j0^3702 + 11*j0^3701 +
    13*j0^3700 + 2*j0^3699 + 14*j0^3698 + 11*j0^3697 + 2*j0^3696 +
    14*j0^3695 + 10*j0^3694 + 10*j0^3693 + 12*j0^3692 + 11*j0^3691 +
    15*j0^3690 + 3*j0^3689 + 11*j0^3688 + 7*j0^3687 + 5*j0^3686 +
    j0^3685 + 3*j0^3684 + 15*j0^3683 + 12*j0^3682 + 12*j0^3681 +
    7*j0^3679 + 16*j0^3678 + 14*j0^3677 + 6*j0^3676 + 4*j0^3675 +
    2*j0^3674 + 7*j0^3673 + 3*j0^3672 + 2*j0^3670 + 5*j0^3669 +
    10*j0^3668 + j0^3667 + 15*j0^3666 + 11*j0^3665 + 13*j0^3664 +
    12*j0^3663 + 6*j0^3662 + 5*j0^3661 + 8*j0^3660 + 3*j0^3659 +
    16*j0^3658 + j0^3657 + 6*j0^3656 + 12*j0^3655 + 10*j0^3654 +
    j0^3653 + j0^3652 + 16*j0^3651 + 16*j0^3650 + 5*j0^3649 +
    14*j0^3648 + 5*j0^3647 + 8*j0^3646 + 14*j0^3645 + 14*j0^3644 +
    11*j0^3643 + 15*j0^3641 + 11*j0^3640 + j0^3639 + 9*j0^3638 +
    8*j0^3637 + 15*j0^3636 + 12*j0^3635 + 5*j0^3634 + 16*j0^3633 +
    13*j0^3632 + 6*j0^3631 + 15*j0^3630 + j0^3629 + 11*j0^3628 +
    15*j0^3627 + 4*j0^3626 + 16*j0^3625 + 9*j0^3624 + 16*j0^3623 +
    3*j0^3622 + 2*j0^3621 + 6*j0^3620 + 13*j0^3619 + 9*j0^3618 +
    8*j0^3617 + 16*j0^3616 + 8*j0^3615 + 14*j0^3614 + 6*j0^3613 +
    6*j0^3612 + 7*j0^3611 + 16*j0^3610 + 2*j0^3609 + 3*j0^3608 +
    6*j0^3607 + 3*j0^3605 + 15*j0^3604 + 16*j0^3603 + 16*j0^3602 +
    2*j0^3601 + 9*j0^3600 + j0^3599 + 13*j0^3598 + 13*j0^3597 +
    11*j0^3596 + 7*j0^3595 + 3*j0^3594 + 11*j0^3593 + 14*j0^3592 +
    16*j0^3591 + 3*j0^3590 + 9*j0^3589 + 6*j0^3588 + 6*j0^3587 +
    j0^3586 + 15*j0^3585 + 4*j0^3584 + 11*j0^3583 + 4*j0^3582 +
    4*j0^3581 + 13*j0^3580 + 16*j0^3579 + 8*j0^3578 + 8*j0^3577 +
    4*j0^3576 + 4*j0^3575 + 8*j0^3574 + 2*j0^3573 + 16*j0^3572 +
    10*j0^3571 + 5*j0^3570 + 14*j0^3569 + 5*j0^3568 + 13*j0^3567 +
    2*j0^3566 + 9*j0^3565 + 13*j0^3564 + 2*j0^3563 + 4*j0^3562 +
    12*j0^3561 + 8*j0^3560 + 14*j0^3558 + 14*j0^3557 + 9*j0^3556 +
    7*j0^3555 + 15*j0^3554 + 4*j0^3553 + 10*j0^3551 + j0^3550 +
    8*j0^3549 + 13*j0^3548 + 11*j0^3547 + 6*j0^3546 + 2*j0^3545 +
    3*j0^3544 + 9*j0^3541 + 8*j0^3540 + 13*j0^3539 + j0^3538 +
    15*j0^3537 + 2*j0^3536 + 14*j0^3535 + 11*j0^3534 + 4*j0^3533 +
    12*j0^3532 + 11*j0^3531 + 11*j0^3530 + 11*j0^3529 + 11*j0^3528 +
    2*j0^3527 + 5*j0^3526 + 5*j0^3525 + 10*j0^3524 + 9*j0^3523 +
    6*j0^3522 + 6*j0^3521 + 3*j0^3520 + 5*j0^3519 + 16*j0^3518 +
    j0^3517 + 5*j0^3516 + 7*j0^3515 + 11*j0^3514 + 11*j0^3513 +
    15*j0^3512 + j0^3511 + 5*j0^3510 + 8*j0^3509 + 6*j0^3508 +
    12*j0^3507 + 2*j0^3506 + 15*j0^3505 + 4*j0^3503 + 15*j0^3502 +
    7*j0^3501 + 16*j0^3500 + 10*j0^3499 + 13*j0^3498 + 5*j0^3497 +
    16*j0^3494 + 15*j0^3493 + 15*j0^3492 + 2*j0^3491 + 10*j0^3490 +
    11*j0^3489 + 16*j0^3488 + 16*j0^3487 + j0^3486 + 16*j0^3485 +
    3*j0^3484 + 12*j0^3483 + 2*j0^3482 + 3*j0^3481 + 11*j0^3480 +
    16*j0^3479 + 15*j0^3478 + 5*j0^3477 + 2*j0^3476 + 4*j0^3475 +
    8*j0^3474 + 14*j0^3473 + 7*j0^3472 + 6*j0^3471 + 5*j0^3470 +
    11*j0^3469 + 13*j0^3467 + 9*j0^3466 + 11*j0^3465 + 13*j0^3464 +
    9*j0^3463 + 4*j0^3462 + 3*j0^3460 + 13*j0^3459 + 14*j0^3458 +
    12*j0^3457 + 16*j0^3456 + 6*j0^3455 + 11*j0^3454 + 15*j0^3453 +
    11*j0^3452 + j0^3451 + 10*j0^3450 + 8*j0^3449 + 12*j0^3448 +
    2*j0^3447 + 9*j0^3446 + 8*j0^3445 + 5*j0^3444 + 16*j0^3443 +
    5*j0^3442 + 16*j0^3441 + 16*j0^3440 + 3*j0^3439 + 10*j0^3438 +
    16*j0^3437 + 15*j0^3436 + 11*j0^3435 + 9*j0^3434 + 15*j0^3433 +
    8*j0^3432 + 4*j0^3430 + 2*j0^3429 + 9*j0^3428 + 13*j0^3427 +
    7*j0^3426 + 6*j0^3425 + 6*j0^3424 + 6*j0^3423 + 6*j0^3422 +
    j0^3421 + j0^3420 + 5*j0^3419 + 13*j0^3418 + 3*j0^3417 + 6*j0^3416
    + 13*j0^3415 + 4*j0^3414 + 12*j0^3413 + 8*j0^3412 + 16*j0^3411 +
    13*j0^3410 + 8*j0^3409 + 9*j0^3407 + 8*j0^3406 + 16*j0^3405 +
    14*j0^3403 + 2*j0^3402 + 11*j0^3401 + 4*j0^3400 + 2*j0^3399 +
    16*j0^3398 + 10*j0^3397 + 3*j0^3396 + 14*j0^3395 + 15*j0^3394 +
    10*j0^3393 + 10*j0^3392 + 2*j0^3390 + 7*j0^3389 + 13*j0^3388 +
    4*j0^3387 + 10*j0^3386 + 7*j0^3385 + 4*j0^3384 + 3*j0^3383 +
    13*j0^3382 + 6*j0^3381 + j0^3380 + 7*j0^3379 + 16*j0^3378 +
    7*j0^3377 + 7*j0^3376 + 7*j0^3375 + 3*j0^3374 + 6*j0^3373 +
    10*j0^3372 + 11*j0^3371 + 3*j0^3370 + 4*j0^3369 + 15*j0^3368 +
    3*j0^3367 + 10*j0^3366 + 4*j0^3365 + 15*j0^3364 + 8*j0^3363 +
    15*j0^3362 + 3*j0^3361 + 13*j0^3360 + 9*j0^3359 + 14*j0^3358 +
    16*j0^3357 + 2*j0^3356 + 14*j0^3355 + 9*j0^3354 + 14*j0^3353 +
    11*j0^3352 + 5*j0^3351 + 7*j0^3350 + 3*j0^3349 + 16*j0^3348 +
    10*j0^3347 + 9*j0^3346 + 14*j0^3345 + 15*j0^3344 + 7*j0^3342 +
    5*j0^3341 + 12*j0^3340 + 13*j0^3339 + 16*j0^3338 + 15*j0^3337 +
    3*j0^3335 + 14*j0^3334 + 16*j0^3333 + 14*j0^3332 + 14*j0^3331 +
    5*j0^3330 + 11*j0^3329 + 14*j0^3328 + 12*j0^3327 + 15*j0^3326 +
    6*j0^3325 + 5*j0^3324 + 7*j0^3323 + j0^3322 + j0^3321 + 15*j0^3320
    + 12*j0^3319 + 3*j0^3318 + 15*j0^3317 + 16*j0^3316 + 11*j0^3315 +
    2*j0^3314 + 12*j0^3312 + 9*j0^3311 + 5*j0^3310 + 9*j0^3309 +
    11*j0^3308 + 2*j0^3307 + 6*j0^3306 + 8*j0^3305 + 6*j0^3304 +
    j0^3302 + 11*j0^3301 + 7*j0^3300 + 8*j0^3299 + 10*j0^3298 +
    16*j0^3296 + 2*j0^3295 + 10*j0^3294 + 5*j0^3293 + 12*j0^3292 +
    j0^3291 + 15*j0^3290 + 15*j0^3289 + 4*j0^3288 + 7*j0^3287 +
    6*j0^3286 + 2*j0^3285 + 13*j0^3284 + j0^3283 + 9*j0^3282 +
    5*j0^3281 + 13*j0^3280 + 8*j0^3279 + 8*j0^3278 + j0^3277 +
    6*j0^3276 + 14*j0^3275 + 14*j0^3274 + j0^3273 + 3*j0^3272 +
    14*j0^3271 + 7*j0^3270 + j0^3269 + 3*j0^3268 + 9*j0^3267 +
    14*j0^3266 + 9*j0^3265 + 10*j0^3264 + j0^3262 + 10*j0^3261 +
    8*j0^3260 + 11*j0^3259 + 4*j0^3258 + 11*j0^3256 + j0^3255 +
    14*j0^3254 + 4*j0^3253 + 13*j0^3252 + 15*j0^3251 + j0^3250 +
    5*j0^3249 + 14*j0^3248 + 15*j0^3247 + 10*j0^3246 + 7*j0^3245 +
    11*j0^3244 + 4*j0^3243 + 9*j0^3242 + 12*j0^3241 + 3*j0^3240 +
    15*j0^3239 + 14*j0^3238 + 7*j0^3237 + 13*j0^3236 + 11*j0^3234 +
    3*j0^3232 + 7*j0^3231 + 3*j0^3230 + 2*j0^3229 + 10*j0^3227 +
    8*j0^3226 + 12*j0^3225 + 16*j0^3224 + 13*j0^3223 + 6*j0^3222 +
    7*j0^3221 + 7*j0^3220 + 12*j0^3219 + 3*j0^3218 + 14*j0^3217 +
    7*j0^3216 + j0^3215 + 10*j0^3214 + 4*j0^3213 + 5*j0^3211 +
    9*j0^3210 + 7*j0^3209 + 9*j0^3208 + 9*j0^3207 + j0^3206 +
    14*j0^3204 + 16*j0^3203 + 4*j0^3202 + 15*j0^3201 + 6*j0^3200 +
    13*j0^3199 + 2*j0^3198 + 7*j0^3197 + 6*j0^3196 + 10*j0^3195 +
    9*j0^3194 + 7*j0^3193 + 7*j0^3192 + 13*j0^3191 + 12*j0^3190 +
    14*j0^3188 + j0^3187 + 5*j0^3186 + 14*j0^3185 + 15*j0^3184 +
    11*j0^3183 + 7*j0^3182 + 5*j0^3181 + j0^3180 + 6*j0^3179 +
    6*j0^3178 + 4*j0^3177 + 5*j0^3176 + 15*j0^3175 + 8*j0^3174 +
    7*j0^3173 + 12*j0^3172 + j0^3171 + 15*j0^3170 + 16*j0^3169 +
    14*j0^3168 + 16*j0^3167 + 5*j0^3166 + 12*j0^3165 + 9*j0^3164 +
    6*j0^3163 + 6*j0^3162 + 7*j0^3161 + 12*j0^3160 + 15*j0^3159 +
    15*j0^3158 + 14*j0^3156 + 8*j0^3155 + 14*j0^3154 + 7*j0^3153 +
    13*j0^3152 + j0^3151 + 2*j0^3150 + 6*j0^3149 + 9*j0^3148 +
    2*j0^3147 + 14*j0^3146 + 2*j0^3145 + 11*j0^3144 + j0^3143 +
    14*j0^3142 + 5*j0^3141 + 11*j0^3140 + j0^3139 + 13*j0^3138 +
    9*j0^3137 + 11*j0^3136 + 14*j0^3135 + 2*j0^3134 + j0^3133 +
    7*j0^3132 + 7*j0^3131 + 9*j0^3130 + 7*j0^3129 + 3*j0^3128 +
    2*j0^3127 + 14*j0^3126 + 10*j0^3125 + j0^3124 + 6*j0^3123 +
    14*j0^3122 + 10*j0^3121 + j0^3120 + 3*j0^3119 + 15*j0^3118 +
    12*j0^3116 + 9*j0^3115 + 13*j0^3114 + j0^3113 + 9*j0^3112 +
    4*j0^3111 + 3*j0^3110 + j0^3109 + 7*j0^3108 + 8*j0^3107 +
    12*j0^3106 + 3*j0^3105 + 9*j0^3104 + 10*j0^3103 + 8*j0^3102 +
    2*j0^3101 + 16*j0^3099 + 4*j0^3098 + 11*j0^3096 + 9*j0^3095 +
    2*j0^3094 + 8*j0^3093 + 7*j0^3092 + 16*j0^3091 + 7*j0^3090 +
    11*j0^3089 + 4*j0^3086 + 8*j0^3085 + 10*j0^3084 + 14*j0^3083 +
    16*j0^3082 + 12*j0^3081 + 9*j0^3080 + 11*j0^3079 + 7*j0^3078 +
    13*j0^3077 + 16*j0^3076 + 7*j0^3075 + 3*j0^3074 + 9*j0^3073 +
    2*j0^3072 + 15*j0^3071 + j0^3070 + 3*j0^3068 + 16*j0^3067 +
    9*j0^3066 + 6*j0^3065 + 3*j0^3064 + 16*j0^3063 + 3*j0^3062 +
    6*j0^3061 + 5*j0^3060 + 13*j0^3059 + 14*j0^3058 + 6*j0^3057 +
    11*j0^3056 + 3*j0^3055 + 7*j0^3054 + j0^3053 + 8*j0^3052 +
    9*j0^3051 + 2*j0^3050 + 7*j0^3049 + 2*j0^3048 + 10*j0^3047 +
    3*j0^3046 + 5*j0^3045 + 6*j0^3044 + 13*j0^3043 + 12*j0^3042 +
    13*j0^3041 + 9*j0^3040 + 6*j0^3039 + 5*j0^3038 + 2*j0^3037 +
    5*j0^3036 + 11*j0^3035 + 5*j0^3034 + 7*j0^3033 + 16*j0^3032 +
    6*j0^3031 + 12*j0^3030 + 8*j0^3029 + 2*j0^3028 + 4*j0^3027 +
    8*j0^3026 + 3*j0^3025 + 9*j0^3024 + 15*j0^3023 + 6*j0^3022 +
    3*j0^3021 + 15*j0^3020 + 15*j0^3019 + 2*j0^3018 + 4*j0^3017 +
    7*j0^3016 + 9*j0^3015 + 7*j0^3013 + j0^3012 + 6*j0^3011 +
    5*j0^3009 + 2*j0^3008 + 9*j0^3007 + 11*j0^3005 + 8*j0^3004 +
    3*j0^3003 + 4*j0^3002 + 6*j0^3001 + 7*j0^3000 + 7*j0^2999 +
    15*j0^2998 + 11*j0^2997 + 16*j0^2996 + 3*j0^2995 + 11*j0^2994 +
    11*j0^2993 + 9*j0^2992 + 16*j0^2991 + 14*j0^2990 + 12*j0^2989 +
    11*j0^2988 + 6*j0^2987 + 2*j0^2986 + 14*j0^2985 + 2*j0^2984 +
    2*j0^2983 + 2*j0^2982 + 12*j0^2981 + 8*j0^2979 + 2*j0^2978 +
    4*j0^2977 + 10*j0^2976 + j0^2975 + 3*j0^2974 + 9*j0^2973 +
    16*j0^2972 + 3*j0^2971 + 7*j0^2970 + j0^2969 + 14*j0^2968 +
    6*j0^2967 + 16*j0^2966 + 9*j0^2965 + 9*j0^2964 + 2*j0^2963 +
    5*j0^2962 + 7*j0^2961 + 13*j0^2960 + 4*j0^2959 + 16*j0^2958 +
    3*j0^2957 + 16*j0^2955 + 9*j0^2954 + 16*j0^2953 + 7*j0^2952 +
    6*j0^2950 + 9*j0^2949 + 3*j0^2948 + 15*j0^2947 + 4*j0^2945 +
    2*j0^2944 + 11*j0^2943 + 8*j0^2942 + 10*j0^2940 + 15*j0^2939 +
    16*j0^2938 + 11*j0^2937 + 6*j0^2935 + 4*j0^2934 + 14*j0^2933 +
    j0^2932 + 11*j0^2931 + 8*j0^2930 + 12*j0^2929 + 4*j0^2928 +
    4*j0^2927 + 11*j0^2926 + 15*j0^2925 + 11*j0^2924 + 2*j0^2923 +
    8*j0^2922 + j0^2921 + 6*j0^2920 + 9*j0^2919 + 9*j0^2918 +
    15*j0^2917 + 15*j0^2916 + j0^2915 + 7*j0^2914 + 16*j0^2913 +
    10*j0^2912 + 11*j0^2911 + 15*j0^2910 + 15*j0^2909 + 14*j0^2908 +
    11*j0^2907 + 10*j0^2906 + 9*j0^2905 + 12*j0^2904 + 5*j0^2902 +
    2*j0^2901 + 6*j0^2900 + 8*j0^2899 + 6*j0^2898 + 2*j0^2897 +
    15*j0^2896 + j0^2895 + 4*j0^2893 + 16*j0^2892 + 15*j0^2891 +
    15*j0^2890 + 6*j0^2889 + 6*j0^2888 + 11*j0^2887 + 16*j0^2886 +
    5*j0^2885 + 11*j0^2884 + 3*j0^2883 + 14*j0^2882 + 11*j0^2881 +
    6*j0^2880 + 7*j0^2879 + 7*j0^2878 + 3*j0^2877 + 10*j0^2876 +
    15*j0^2875 + 9*j0^2874 + 16*j0^2873 + 10*j0^2872 + 13*j0^2871 +
    12*j0^2870 + 4*j0^2868 + 14*j0^2867 + 4*j0^2865 + 2*j0^2864 +
    3*j0^2863 + 14*j0^2862 + 3*j0^2861 + 8*j0^2860 + 5*j0^2859 +
    9*j0^2858 + 11*j0^2857 + 14*j0^2856 + 4*j0^2855 + 6*j0^2854 +
    15*j0^2853 + 5*j0^2852 + 8*j0^2851 + 7*j0^2850 + 15*j0^2849 +
    14*j0^2848 + 2*j0^2847 + j0^2846 + 10*j0^2845 + 16*j0^2844 +
    10*j0^2843 + 2*j0^2842 + 12*j0^2841 + 14*j0^2840 + 9*j0^2839 +
    16*j0^2838 + 14*j0^2837 + 11*j0^2836 + 13*j0^2835 + 12*j0^2834 +
    2*j0^2833 + 16*j0^2832 + j0^2831 + 3*j0^2830 + 15*j0^2829 +
    10*j0^2828 + 3*j0^2827 + 9*j0^2826 + 3*j0^2825 + 2*j0^2824 +
    12*j0^2823 + 11*j0^2822 + 12*j0^2821 + 14*j0^2820 + 16*j0^2819 +
    14*j0^2818 + 11*j0^2817 + 8*j0^2816 + 9*j0^2815 + 7*j0^2814 +
    4*j0^2813 + 4*j0^2812 + 3*j0^2811 + 13*j0^2810 + 11*j0^2809 +
    15*j0^2808 + 5*j0^2807 + 14*j0^2806 + j0^2805 + 4*j0^2804 +
    j0^2803 + 10*j0^2802 + 2*j0^2801 + 9*j0^2800 + 14*j0^2799 +
    16*j0^2798 + 11*j0^2797 + 4*j0^2796 + 4*j0^2794 + 8*j0^2793 +
    3*j0^2792 + 3*j0^2791 + 8*j0^2790 + 4*j0^2789 + 7*j0^2788 +
    8*j0^2787 + 16*j0^2786 + 15*j0^2784 + 16*j0^2783 + 5*j0^2782 +
    8*j0^2781 + 14*j0^2780 + 5*j0^2779 + 9*j0^2778 + 7*j0^2777 +
    7*j0^2775 + 11*j0^2774 + 7*j0^2773 + 7*j0^2772 + 3*j0^2771 +
    2*j0^2770 + 7*j0^2769 + 3*j0^2768 + 2*j0^2767 + 6*j0^2766 +
    6*j0^2764 + 3*j0^2763 + j0^2762 + 9*j0^2761 + j0^2760 + 5*j0^2759
    + 3*j0^2758 + 13*j0^2757 + 14*j0^2756 + 4*j0^2755 + 2*j0^2754 +
    j0^2753 + 13*j0^2752 + 6*j0^2751 + 13*j0^2750 + 6*j0^2749 +
    12*j0^2748 + 4*j0^2747 + 2*j0^2746 + 6*j0^2745 + 7*j0^2744 +
    13*j0^2743 + 10*j0^2742 + 10*j0^2741 + 4*j0^2740 + 5*j0^2739 +
    8*j0^2738 + 6*j0^2737 + 7*j0^2736 + 7*j0^2735 + 13*j0^2734 +
    10*j0^2733 + 6*j0^2732 + j0^2731 + 12*j0^2729 + 10*j0^2728 +
    6*j0^2726 + 16*j0^2725 + 9*j0^2724 + 9*j0^2723 + 10*j0^2722 +
    10*j0^2721 + j0^2720 + 6*j0^2718 + 9*j0^2717 + 16*j0^2716 +
    13*j0^2715 + 4*j0^2714 + 8*j0^2713 + 12*j0^2712 + 10*j0^2711 +
    4*j0^2710 + 3*j0^2709 + 10*j0^2708 + 12*j0^2707 + 2*j0^2706 +
    6*j0^2705 + 7*j0^2703 + j0^2702 + 11*j0^2701 + 4*j0^2700 + j0^2699
    + 8*j0^2698 + 14*j0^2697 + 10*j0^2696 + 16*j0^2695 + 11*j0^2694 +
    5*j0^2693 + 10*j0^2692 + 12*j0^2691 + 3*j0^2690 + 13*j0^2689 +
    3*j0^2688 + j0^2687 + 7*j0^2686 + 5*j0^2685 + 9*j0^2684 +
    10*j0^2683 + 12*j0^2682 + 6*j0^2681 + 13*j0^2680 + 12*j0^2679 +
    3*j0^2678 + 13*j0^2677 + 12*j0^2676 + 10*j0^2675 + 11*j0^2674 +
    2*j0^2673 + 14*j0^2672 + 7*j0^2671 + 5*j0^2670 + j0^2669 + j0^2668
    + 6*j0^2667 + 10*j0^2666 + 15*j0^2665 + 12*j0^2664 + 9*j0^2663 +
    4*j0^2662 + 8*j0^2661 + 13*j0^2660 + 6*j0^2659 + 13*j0^2658 +
    j0^2657 + 3*j0^2656 + 3*j0^2655 + 14*j0^2654 + 16*j0^2653 +
    16*j0^2651 + 2*j0^2650 + 6*j0^2649 + 7*j0^2648 + 3*j0^2647 +
    7*j0^2646 + 3*j0^2644 + 16*j0^2643 + 11*j0^2642 + 3*j0^2641 +
    15*j0^2640 + 2*j0^2639 + 5*j0^2638 + 11*j0^2637 + 12*j0^2636 +
    10*j0^2635 + j0^2634 + 5*j0^2633 + 2*j0^2632 + 14*j0^2631 +
    12*j0^2630 + 9*j0^2629 + 14*j0^2628 + 8*j0^2627 + j0^2626 +
    3*j0^2625 + 4*j0^2624 + 5*j0^2623 + 4*j0^2622 + 8*j0^2621 +
    6*j0^2620 + 13*j0^2619 + 3*j0^2618 + 12*j0^2617 + 11*j0^2616 +
    6*j0^2615 + 7*j0^2614 + 7*j0^2613 + 13*j0^2612 + 6*j0^2611 +
    11*j0^2610 + 8*j0^2609 + 14*j0^2608 + 4*j0^2607 + 2*j0^2606 +
    7*j0^2605 + 13*j0^2604 + 7*j0^2603 + 7*j0^2602 + 4*j0^2601 +
    16*j0^2600 + 10*j0^2599 + 5*j0^2598 + j0^2597 + 6*j0^2596 +
    14*j0^2595 + j0^2594 + 12*j0^2593 + 8*j0^2592 + 12*j0^2591 +
    8*j0^2590 + 5*j0^2589 + 15*j0^2588 + 12*j0^2587 + 8*j0^2586 +
    7*j0^2585 + 9*j0^2584 + 8*j0^2583 + 16*j0^2582 + 9*j0^2581 +
    7*j0^2580 + 16*j0^2579 + 15*j0^2578 + 8*j0^2577 + 11*j0^2576 +
    5*j0^2575 + 12*j0^2574 + 12*j0^2573 + 4*j0^2571 + 2*j0^2570 +
    6*j0^2569 + 12*j0^2568 + 5*j0^2567 + 5*j0^2566 + 14*j0^2565 +
    4*j0^2563 + 11*j0^2562 + 5*j0^2561 + 14*j0^2560 + 9*j0^2559 +
    11*j0^2558 + 13*j0^2557 + 3*j0^2556 + 13*j0^2553 + 15*j0^2552 +
    5*j0^2551 + 14*j0^2549 + 6*j0^2548 + 4*j0^2547 + j0^2546 +
    16*j0^2545 + 12*j0^2544 + 4*j0^2543 + 4*j0^2542 + 10*j0^2541 +
    16*j0^2540 + 2*j0^2539 + 16*j0^2538 + 16*j0^2537 + 7*j0^2536 +
    15*j0^2535 + 11*j0^2534 + 2*j0^2533 + 9*j0^2532 + 10*j0^2531 +
    10*j0^2530 + 10*j0^2529 + 3*j0^2528 + 4*j0^2527 + 2*j0^2526 +
    10*j0^2525 + 10*j0^2524 + 7*j0^2523 + 2*j0^2522 + 14*j0^2521 +
    13*j0^2520 + 9*j0^2519 + 5*j0^2518 + 8*j0^2517 + 15*j0^2516 +
    13*j0^2515 + 15*j0^2514 + 3*j0^2513 + 9*j0^2512 + 16*j0^2511 +
    j0^2510 + 5*j0^2509 + 14*j0^2508 + 3*j0^2507 + 5*j0^2505 +
    7*j0^2504 + 2*j0^2503 + 6*j0^2502 + 8*j0^2501 + 16*j0^2500 +
    4*j0^2499 + 7*j0^2498 + 7*j0^2497 + 14*j0^2496 + 9*j0^2495 +
    12*j0^2494 + 13*j0^2493 + j0^2492 + 8*j0^2491 + 14*j0^2490 +
    11*j0^2489 + 11*j0^2488 + 11*j0^2487 + 7*j0^2486 + 8*j0^2485 +
    j0^2484 + 6*j0^2483 + 4*j0^2481 + 3*j0^2480 + 15*j0^2479 +
    8*j0^2478 + 8*j0^2477 + 14*j0^2476 + 13*j0^2475 + 5*j0^2474 +
    15*j0^2473 + 14*j0^2472 + 6*j0^2471 + 6*j0^2470 + 10*j0^2469 +
    3*j0^2468 + 14*j0^2467 + j0^2466 + 12*j0^2465 + 6*j0^2464 +
    4*j0^2463 + 13*j0^2462 + 13*j0^2461 + 11*j0^2460 + 11*j0^2459 +
    2*j0^2458 + 10*j0^2457 + 12*j0^2456 + 9*j0^2455 + 4*j0^2454 +
    3*j0^2453 + 8*j0^2452 + 9*j0^2451 + 5*j0^2450 + 11*j0^2449 +
    7*j0^2448 + 11*j0^2447 + 13*j0^2445 + 12*j0^2444 + 6*j0^2443 +
    5*j0^2442 + 12*j0^2441 + 5*j0^2440 + j0^2439 + j0^2438 +
    13*j0^2437 + 11*j0^2436 + 11*j0^2435 + 9*j0^2434 + 9*j0^2433 +
    8*j0^2432 + 7*j0^2431 + 16*j0^2430 + 2*j0^2429 + 2*j0^2428 +
    10*j0^2427 + 10*j0^2426 + 13*j0^2425 + 12*j0^2424 + 12*j0^2422 +
    7*j0^2421 + j0^2419 + 4*j0^2418 + 5*j0^2417 + 8*j0^2416 +
    9*j0^2415 + 15*j0^2413 + 2*j0^2411 + 5*j0^2410 + 13*j0^2408 +
    16*j0^2407 + 5*j0^2406 + 3*j0^2405 + 6*j0^2404 + 13*j0^2403 +
    5*j0^2402 + 2*j0^2400 + 15*j0^2399 + 10*j0^2398 + 6*j0^2397 +
    j0^2396 + 9*j0^2395 + 16*j0^2394 + 15*j0^2393 + 13*j0^2392 +
    11*j0^2391 + 16*j0^2390 + 13*j0^2389 + 8*j0^2388 + 14*j0^2387 +
    j0^2386 + 12*j0^2384 + 11*j0^2383 + 9*j0^2382 + 14*j0^2381 +
    16*j0^2379 + j0^2378 + j0^2377 + 15*j0^2375 + 7*j0^2374 +
    11*j0^2373 + 11*j0^2372 + 5*j0^2371 + 8*j0^2370 + 11*j0^2369 +
    12*j0^2368 + 3*j0^2366 + 5*j0^2365 + 7*j0^2364 + 16*j0^2363 +
    14*j0^2361 + 9*j0^2360 + 13*j0^2359 + 16*j0^2358 + j0^2357 +
    4*j0^2356 + 10*j0^2355 + 2*j0^2354 + 13*j0^2353 + 4*j0^2352 +
    11*j0^2351 + 14*j0^2350 + 6*j0^2349 + 16*j0^2348 + 3*j0^2347 +
    9*j0^2346 + 15*j0^2345 + 6*j0^2344 + 11*j0^2343 + 9*j0^2342 +
    9*j0^2341 + 13*j0^2340 + 5*j0^2339 + 14*j0^2338 + 16*j0^2337 +
    15*j0^2336 + 3*j0^2335 + 14*j0^2333 + 12*j0^2332 + 11*j0^2331 +
    2*j0^2330 + 2*j0^2329 + 6*j0^2327 + 4*j0^2326 + 2*j0^2325 +
    7*j0^2324 + j0^2323 + 2*j0^2322 + j0^2321 + 7*j0^2320 + 15*j0^2319
    + 4*j0^2318 + 7*j0^2317 + 2*j0^2316 + 7*j0^2315 + 15*j0^2314 +
    16*j0^2313 + 14*j0^2312 + 7*j0^2311 + 7*j0^2310 + 10*j0^2309 +
    6*j0^2308 + 15*j0^2307 + 6*j0^2306 + 9*j0^2305 + j0^2304 +
    9*j0^2303 + 15*j0^2302 + 14*j0^2300 + 9*j0^2299 + 7*j0^2298 +
    2*j0^2296 + 13*j0^2295 + 9*j0^2294 + 4*j0^2293 + 6*j0^2292 +
    5*j0^2291 + 15*j0^2290 + 8*j0^2289 + 10*j0^2288 + 6*j0^2287 +
    6*j0^2286 + 12*j0^2285 + 8*j0^2284 + 8*j0^2283 + j0^2282 + j0^2281
    + 10*j0^2280 + 2*j0^2279 + 2*j0^2278 + 5*j0^2277 + 10*j0^2276 +
    16*j0^2275 + 11*j0^2274 + 14*j0^2273 + 4*j0^2272 + 11*j0^2271 +
    9*j0^2270 + 10*j0^2269 + 4*j0^2268 + j0^2267 + 11*j0^2266 +
    7*j0^2265 + 14*j0^2264 + 6*j0^2263 + 16*j0^2261 + 8*j0^2260 +
    15*j0^2259 + 15*j0^2258 + 2*j0^2257 + 5*j0^2256 + j0^2255 +
    3*j0^2254 + 2*j0^2253 + 12*j0^2252 + 8*j0^2251 + 16*j0^2250 +
    3*j0^2249 + 2*j0^2248 + 6*j0^2247 + 13*j0^2246 + 5*j0^2245 +
    2*j0^2244 + 16*j0^2242 + 9*j0^2241 + 13*j0^2240 + 3*j0^2239 +
    3*j0^2238 + 8*j0^2237 + j0^2236 + 4*j0^2235 + 9*j0^2234 +
    4*j0^2233 + 2*j0^2232 + 8*j0^2231 + 10*j0^2230 + 8*j0^2229 +
    5*j0^2228 + 10*j0^2227 + 14*j0^2226 + 9*j0^2225 + 6*j0^2224 +
    12*j0^2223 + 6*j0^2222 + j0^2221 + 8*j0^2220 + j0^2219 + 5*j0^2218
    + 6*j0^2217 + 5*j0^2216 + 12*j0^2215 + 8*j0^2214 + 9*j0^2213 +
    15*j0^2210 + 15*j0^2209 + 12*j0^2208 + 2*j0^2207 + 9*j0^2206 +
    16*j0^2205 + j0^2204 + 5*j0^2203 + 10*j0^2201 + 8*j0^2200 +
    9*j0^2199 + 16*j0^2198 + 3*j0^2197 + 13*j0^2196 + 8*j0^2195 +
    8*j0^2194 + 8*j0^2193 + 15*j0^2192 + 9*j0^2191 + 16*j0^2189 +
    11*j0^2188 + 10*j0^2187 + 5*j0^2186 + j0^2185 + 3*j0^2184 +
    2*j0^2183 + 11*j0^2182 + 6*j0^2181 + 11*j0^2180 + 8*j0^2179 +
    9*j0^2178 + 10*j0^2177 + j0^2176 + 13*j0^2175 + 11*j0^2173 +
    9*j0^2172 + 15*j0^2171 + 3*j0^2169 + 13*j0^2168 + 6*j0^2167 +
    9*j0^2165 + 5*j0^2164 + j0^2163 + 8*j0^2162 + 13*j0^2161 +
    9*j0^2160 + 3*j0^2159 + 16*j0^2158 + 14*j0^2157 + 10*j0^2156 +
    11*j0^2154 + 5*j0^2153 + 10*j0^2152 + 11*j0^2151 + 14*j0^2150 +
    8*j0^2149 + j0^2148 + 10*j0^2147 + 15*j0^2146 + 14*j0^2145 +
    9*j0^2144 + 3*j0^2143 + 14*j0^2142 + 14*j0^2141 + 8*j0^2140 +
    4*j0^2139 + 4*j0^2138 + 9*j0^2137 + 16*j0^2136 + 7*j0^2135 +
    6*j0^2134 + 16*j0^2133 + 12*j0^2132 + 6*j0^2131 + 11*j0^2130 +
    j0^2129 + 14*j0^2128 + 3*j0^2127 + 2*j0^2126 + 9*j0^2125 +
    9*j0^2124 + 7*j0^2123 + 11*j0^2122 + 5*j0^2121 + j0^2120 +
    2*j0^2119 + 16*j0^2118 + 2*j0^2117 + 5*j0^2116 + 5*j0^2115 +
    8*j0^2114 + 12*j0^2113 + 8*j0^2112 + 13*j0^2111 + 9*j0^2110 +
    16*j0^2109 + 16*j0^2108 + 13*j0^2107 + 14*j0^2106 + 12*j0^2105 +
    3*j0^2104 + 4*j0^2103 + 14*j0^2102 + 10*j0^2101 + 7*j0^2100 +
    16*j0^2099 + j0^2098 + 7*j0^2097 + 10*j0^2096 + 10*j0^2095 +
    6*j0^2094 + 5*j0^2093 + 14*j0^2092 + 9*j0^2091 + 15*j0^2090 +
    3*j0^2089 + 16*j0^2088 + 11*j0^2087 + 5*j0^2086 + 4*j0^2085 +
    11*j0^2083 + 9*j0^2082 + 11*j0^2080 + 11*j0^2079 + 15*j0^2078 +
    14*j0^2077 + 15*j0^2076 + 4*j0^2075 + 3*j0^2074 + 15*j0^2073 +
    3*j0^2072 + 2*j0^2070 + 6*j0^2069 + 3*j0^2068 + 2*j0^2067 +
    15*j0^2066 + 16*j0^2065 + 16*j0^2064 + 6*j0^2063 + 13*j0^2062 +
    15*j0^2061 + 10*j0^2060 + 9*j0^2059 + j0^2058 + 7*j0^2057 +
    4*j0^2056 + 4*j0^2055 + 12*j0^2054 + 12*j0^2053 + 7*j0^2052 +
    11*j0^2050 + 9*j0^2049 + 9*j0^2048 + 12*j0^2047 + 7*j0^2046 +
    10*j0^2045 + 9*j0^2044 + 5*j0^2043 + 2*j0^2042 + 10*j0^2041 +
    4*j0^2040 + 8*j0^2039 + 8*j0^2038 + 13*j0^2037 + j0^2036 +
    8*j0^2035 + 10*j0^2034 + 11*j0^2033 + 8*j0^2032 + 11*j0^2031 +
    4*j0^2030 + 3*j0^2029 + 3*j0^2028 + 13*j0^2027 + 10*j0^2025 +
    12*j0^2024 + 10*j0^2023 + 10*j0^2022 + 15*j0^2021 + 10*j0^2020 +
    9*j0^2019 + 2*j0^2018 + j0^2017 + 2*j0^2016 + 7*j0^2015 +
    6*j0^2014 + 11*j0^2013 + 16*j0^2012 + 13*j0^2011 + 16*j0^2010 +
    14*j0^2009 + 16*j0^2008 + 9*j0^2007 + 11*j0^2006 + 10*j0^2005 +
    j0^2003 + 14*j0^2002 + 7*j0^2001 + 9*j0^2000 + 6*j0^1999 +
    11*j0^1998 + 14*j0^1997 + 12*j0^1996 + 5*j0^1995 + 8*j0^1994 +
    5*j0^1993 + 8*j0^1992 + 3*j0^1991 + 7*j0^1990 + 11*j0^1989 +
    9*j0^1988 + 3*j0^1987 + 14*j0^1986 + 10*j0^1984 + 10*j0^1983 +
    13*j0^1982 + 16*j0^1981 + j0^1980 + 3*j0^1979 + 14*j0^1978 +
    15*j0^1976 + 2*j0^1975 + 4*j0^1974 + 12*j0^1973 + 12*j0^1972 +
    4*j0^1970 + 15*j0^1969 + 11*j0^1968 + 15*j0^1967 + 13*j0^1966 +
    13*j0^1965 + 2*j0^1964 + 5*j0^1963 + 6*j0^1962 + 11*j0^1960 +
    4*j0^1958 + 10*j0^1957 + 12*j0^1956 + 16*j0^1955 + 4*j0^1954 +
    16*j0^1953 + 7*j0^1952 + 12*j0^1951 + 10*j0^1950 + 15*j0^1949 +
    12*j0^1948 + 12*j0^1946 + 3*j0^1945 + 11*j0^1944 + 2*j0^1943 +
    9*j0^1942 + 12*j0^1941 + j0^1940 + j0^1939 + 5*j0^1938 +
    13*j0^1937 + 8*j0^1935 + 12*j0^1934 + 15*j0^1933 + 6*j0^1932 +
    3*j0^1931 + 9*j0^1930 + 11*j0^1929 + 10*j0^1928 + 9*j0^1927 +
    10*j0^1926 + 2*j0^1925 + 12*j0^1924 + 9*j0^1923 + 3*j0^1922 +
    12*j0^1921 + 15*j0^1920 + 2*j0^1919 + j0^1918 + 14*j0^1917 +
    9*j0^1916 + j0^1915 + 11*j0^1914 + 5*j0^1913 + 13*j0^1912 +
    6*j0^1911 + 7*j0^1910 + 10*j0^1909 + 14*j0^1908 + 6*j0^1907 +
    4*j0^1906 + 6*j0^1904 + 5*j0^1903 + 7*j0^1902 + 10*j0^1901 +
    5*j0^1900 + 7*j0^1898 + 7*j0^1896 + 8*j0^1895 + j0^1894 + j0^1893
    + 6*j0^1892 + 3*j0^1891 + 3*j0^1890 + 15*j0^1889 + 15*j0^1888 +
    j0^1887 + 6*j0^1886 + 13*j0^1885 + 14*j0^1883 + 15*j0^1882 +
    6*j0^1881 + 10*j0^1880 + 6*j0^1878 + 6*j0^1877 + 7*j0^1876 +
    7*j0^1875 + 16*j0^1874 + 13*j0^1873 + 12*j0^1872 + 16*j0^1871 +
    11*j0^1870 + 7*j0^1869 + 10*j0^1868 + 15*j0^1867 + 11*j0^1866 +
    16*j0^1865 + 8*j0^1864 + 2*j0^1863 + 4*j0^1862 + 9*j0^1860 +
    8*j0^1859 + 10*j0^1858 + 9*j0^1857 + 14*j0^1856 + 3*j0^1855 +
    10*j0^1854 + 3*j0^1853 + 13*j0^1851 + 8*j0^1850 + 4*j0^1849 +
    12*j0^1848 + 8*j0^1847 + 9*j0^1845 + 9*j0^1844 + 3*j0^1843 +
    5*j0^1842 + 9*j0^1841 + 14*j0^1840 + 14*j0^1839 + 3*j0^1838 +
    5*j0^1837 + 6*j0^1836 + 8*j0^1835 + 5*j0^1834 + 2*j0^1833 +
    4*j0^1832 + 2*j0^1831 + 10*j0^1830 + j0^1819 + 7*j0^1802 +
    6*j0^1785 + 6*j0^1768 + 13*j0^1751 + 14*j0^1734 + j0^1717 +
    6*j0^1700 + 13*j0^1683 + 9*j0^1666 + 4*j0^1649 + 5*j0^1632 +
    4*j0^1479 + 4*j0^1462 + j0^1445 + 10*j0^1190 + 10*j0^1173 +
    11*j0^1156 + 15*j0^612 + 15*j0^595 + 8*j0^578 + 12*j0^323 +
    12*j0^306 + 3*j0^289 + 8*j0^34 + 8*j0^17 + 2)/(j0^1190 + j0^1173 +
    13*j0^1156 + 10*j0^901 + 10*j0^884 + 11*j0^867 + 5*j0^612 +
    5*j0^595 + 14*j0^578 + 15*j0^323 + 15*j0^306 + 8*j0^289);
