G.f: x*(1 + 16*x + 2*x^2 + 4*x^3 + 6*x^4 + 2*x^5 + 6*x^6 + 4*x^7 + 2*x^8 + 4*x^9 + 6*x^10 + 6*x^11 + 2*x^12 + 6*x^13 + 4*x^14 + 2*x^15 + 6*x^16 + 4*x^17 + 6*x^18 + 8*x^19 + 4*x^20 + 2*x^21 + 4*x^22 + 2*x^23 + 4*x^24 + 14*x^25 + 4*x^26 + 6*x^27 + 2*x^28 + 10*x^29 + 2*x^30 + 6*x^31 + 6*x^32 + 4*x^33 + 6*x^34 + 6*x^35 + 2*x^36 + 10*x^37 + 2*x^38 + 4*x^39 + 2*x^40 + 12*x^41 + 12*x^42 + 4*x^43 + 2*x^44 + 4*x^45 + 6*x^46 + 2*x^47 + 10*x^48 + 6*x^49 + 6*x^50 + 6*x^51 + 2*x^52 + 6*x^53 + 4*x^54 + 2*x^55 + 6*x^56 + 4*x^57 + 14*x^58 + 4*x^59 + 2*x^60 + 4*x^61 + 6*x^62 + 8*x^63 + 6*x^64 + 10*x^65 + 2*x^66 + 4*x^67 + 6*x^68 + 2*x^69 + 6*x^70 + 6*x^71 + 6*x^72 + 4*x^73 + 6*x^74 + 2*x^75 + 6*x^76 + 4*x^77 + 8*x^78 + 10*x^79 + 2*x^80 + 10*x^81 + 2*x^82 + 4*x^83 + 2*x^84 + 4*x^85 + 6*x^86 + 8*x^87 + 4*x^88 + 2*x^89 + 4*x^90 + 12*x^91 + 8*x^92 + 4*x^93 + 2*x^94 + 6*x^95 + 4*x^96 + 6*x^97 + 12*x^98 + 2*x^99 + 4*x^100 + 2*x^101 + 12*x^102 + 6*x^103 + 4*x^104 + 6*x^105 + 6*x^106 + 6*x^107 + 2*x^108 + 6*x^109 + 10*x^110 + 2*x^111 + 4*x^112 + 6*x^113 + 2*x^114 + 6*x^115 + 6*x^116 + 4*x^117 + 2*x^118 + 10*x^119 + 2*x^120 + 10*x^121 + 2*x^122 + 4*x^123 + 6*x^124 + 6*x^125 + 2*x^126 + 6*x^127 + 6*x^128 + 4*x^129 + 6*x^130 + 8*x^131 + 6*x^132 + 4*x^133 + 2*x^134 + 6*x^135 + 4*x^136 + 6*x^137 + 8*x^138 + 4*x^139 + 2*x^140 + 6*x^141 + 4*x^142 + 8*x^143 + 6*x^144 + 4*x^145 + 8*x^146 + 4*x^147 + 6*x^148 + 8*x^149 + 10*x^150 + 2*x^151 + 10*x^152 + 2*x^153 + 6*x^154 + 4*x^155 + 2*x^156 + 4*x^157 + 2*x^158 + 10*x^159 + 2*x^160 + 10*x^161 + 2*x^162 + 4*x^163 + 2*x^164 + 4*x^165 + 14*x^166 + 4*x^167 + 2*x^168 + 4*x^169 + 6*x^170 + 6*x^171 + 2*x^172 + 6*x^173 + 4*x^174 + 8*x^175 + 10*x^176 + 8*x^177 + 4*x^178 + 2*x^179 + 4*x^180 + 6*x^181 + 8*x^182 + 6*x^183 + 4*x^184 + 6*x^185 + 6*x^186 + 6*x^187 + 2*x^188 + 6*x^189 + 6*x^190 + 4*x^191 + 2*x^192 + 4*x^193 + 6*x^194 + 2*x^195 + 10*x^196 + 2*x^197 + 4*x^198 + 2*x^199 + 10*x^200 + 2*x^201 + 10*x^202 + 2*x^203 + 6*x^204 + 4*x^205 + 8*x^206 + 6*x^207 + 4*x^208 + 2*x^209 + 4*x^210 + 6*x^211 + 6*x^212 + 8*x^213 + 4*x^214 + 2*x^215 + 6*x^216 + 10*x^217 + 8*x^218 + 4*x^219 + 2*x^220 + 6*x^221 + 4*x^222 + 8*x^223 + 10*x^224 + 6*x^225 + 2*x^226 + 4*x^227 + 8*x^228 + 6*x^229 + 6*x^230 + 4*x^231 + 2*x^232 + 4*x^233 + 6*x^234 + 2*x^235 + 6*x^236 + 4*x^237 + 6*x^238 + 2*x^239 + 10*x^240 + 12*x^241 + 2*x^242 + 4*x^243 + 2*x^244 + 4*x^245 + 6*x^246 + 2*x^247 + 6*x^248 + 4*x^249 + 2*x^250 + 4*x^251 + 12*x^252 + 2*x^253 + 6*x^254 + 6*x^255 + 10*x^256 + 6*x^257 + 8*x^258 + 4*x^259 + 2*x^260 + 4*x^261 + 2*x^262 + 4*x^263 + 8*x^264 + 6*x^265 + 12*x^266 + 4*x^267 + 6*x^268 + 2*x^269 + 12*x^270 + 4*x^271 + 2*x^272 + 4*x^273 + 6*x^274 + 8*x^275 + 4*x^276 + 2*x^277 + 4*x^278 + 2*x^279 + 12*x^280 + 10*x^281 + 2*x^282 + 4*x^283 + 2*x^284 + 4*x^285 + 6*x^286 + 2*x^287 + 10*x^288 + 2*x^289 + 4*x^290 + 6*x^291 + 8*x^292 + 6*x^293 + 4*x^294 + 2*x^295 + 6*x^296 + 4*x^297 + 6*x^298 + 8*x^299 + 4*x^300 + 6*x^301 + 2*x^302 + 4*x^303 + 8*x^304 + 6*x^305 + 4*x^306 + 6*x^307 + 2*x^308 + 4*x^309 + 6*x^310 + 2*x^311 + 6*x^312 + 6*x^313 + 4*x^314 + 6*x^315 + 6*x^316 + 8*x^317 + 6*x^318 + 4*x^319 + 2*x^320 + 10*x^321 + 2*x^322 + 10*x^323 + 2*x^324 + 4*x^325 + 2*x^326 + 10*x^327 + 2*x^328 + 6*x^329 + 4*x^330 + 2*x^331 + 10*x^332 + 6*x^333 + 2*x^334 + 6*x^335 + 4*x^336 + 2*x^337 + 6*x^338 + 4*x^339 + 6*x^340 + 8*x^341 + 6*x^342 + 4*x^343 + 2*x^344 + 12*x^345 + 10*x^346 + 6*x^347 + 2*x^348 + 4*x^349 + 6*x^350 + 2*x^351 + 12*x^352 + 4*x^353 + 2*x^354 + 4*x^355 + 8*x^356 + 6*x^357 + 4*x^358 + 2*x^359 + 4*x^360 + 2*x^361 + 10*x^362 + 2*x^363 + 10*x^364 + 6*x^365 + 2*x^366 + 4*x^367 + 6*x^368 + 2*x^369 + 6*x^370 + 4*x^371 + 2*x^372 + 10*x^373 + 6*x^374 + 2*x^375 + 6*x^376 + 4*x^377 + 12*x^378 + 6*x^379 + 8*x^380 + 6*x^381 + 4*x^382 + 2*x^383 + 4*x^384 + 8*x^385 + 6*x^386 + 4*x^387 + 6*x^388 + 2*x^389 + 4*x^390 + 6*x^391 + 8*x^392 + 6*x^393 + 6*x^394 + 4*x^395 + 6*x^396 + 2*x^397 + 6*x^398 + 4*x^399 + 2*x^400 + 4*x^401 + 2*x^402 + 10*x^403 + 12*x^404 + 2*x^405 + 4*x^406 + 12*x^407 + 2*x^408 + 6*x^409 + 4*x^410 + 2*x^411 + 4*x^412 + 6*x^413 + 6*x^414 + 2*x^415 + 12*x^416 + 6*x^417 + 4*x^418 + 18*x^419 + 2*x^420 + 4*x^421 + 2*x^422 + 4*x^423 + 8*x^424 + 6*x^425 + 4*x^426 + 6*x^427 + 2*x^428 + 4*x^429 + 8*x^430 + 6*x^431 + 6*x^432 + 4*x^433 + 2*x^434 + 4*x^435 + 6*x^436 + 2*x^437 + 6*x^438 + 4*x^439 + 2*x^440 + 4*x^441 + 12*x^442 + 2*x^443 + 12*x^444 + 6*x^445 + 4*x^446 + 6*x^447 + 2*x^448 + 6*x^449 + 4*x^450 + 6*x^451 + 6*x^452 + 6*x^453 + 2*x^454 + 6*x^455 + 4*x^456 + 2*x^457 + 6*x^458 + 4*x^459 + 6*x^460 + 8*x^461 + 4*x^462 + 2*x^463 + 4*x^464 + 2*x^465 + 4*x^466 + 14*x^467 + 4*x^468 + 6*x^469 + 2*x^470 + 10*x^471 + 2*x^472 + 6*x^473 + 6*x^474 + 4*x^475 + 2*x^476 + 10*x^477 + 2*x^478 + 10*x^479 + 2*x^480 + 4*x^481 + 14*x^482 + 10*x^483 + 2*x^484 + 4*x^485 + 2*x^486 + 4*x^487 + 6*x^488 + 2*x^489 + 6*x^490 + 10*x^491 + 6*x^492 + 6*x^493 + 2*x^494 + 10*x^495 + 2*x^496 + 6*x^497 + 4*x^498 + 6*x^499 + 8*x^500 + 4*x^501 + 2*x^502 + 4*x^503 + 6*x^504 + 8*x^505 + 6*x^506 + 10*x^507 + 2*x^508 + 4*x^509 + 6*x^510 + 2*x^511 + 6*x^512 + 6*x^513 + 4*x^514 + 2*x^515 + 4*x^516 + 6*x^517 + 2*x^518 + 6*x^519 + 4*x^520 + 2*x^521 + 6*x^522 + 10*x^523 + 2*x^524 + 10*x^525 + 6*x^526 + 2*x^527 + 4*x^528 + 6*x^529 + 8*x^530 + 4*x^531 + 2*x^532 + 4*x^533 + 12*x^534 + 2*x^535 + 6*x^536 + 4*x^537 + 2*x^538 + 6*x^539 + 4*x^540 + 6*x^541 + 12*x^542 + 2*x^543 + 4*x^544 + 2*x^545 + 4*x^546 + 8*x^547 + 6*x^548 + 4*x^549 + 6*x^550 + 2*x^551 + 10*x^552 + 2*x^553 + 6*x^554 + 10*x^555 + 6*x^556 + 6*x^557 + 2*x^558 + 6*x^559 + 4*x^560 + 2*x^561 + 4*x^562 + 2*x^563 + 10*x^564 + 2*x^565 + 12*x^566 + 4*x^567 + 6*x^568 + 6*x^569 + 2*x^570 + 12*x^571 + 4*x^572 + 6*x^573 + 6*x^574 + 2*x^575 + 6*x^576 + 4*x^577 + 2*x^578 + 6*x^579 + 4*x^580 + 14*x^581 + 4*x^582 + 2*x^583 + 6*x^584 + 4*x^585 + 8*x^586 + 6*x^587 + 4*x^588 + 6*x^589 + 2*x^590 + 4*x^591 + 6*x^592 + 8*x^593 + 6*x^594 + 6*x^595 + 10*x^596 + 2*x^597 + 6*x^598 + 4*x^599 + 6*x^600 + 2*x^601 + 10*x^602 + 2*x^603 + 10*x^604 + 2*x^605 + 4*x^606 + 2*x^607 + 4*x^608 + 8*x^609 + 6*x^610 + 4*x^611 + 2*x^612 + 4*x^613 + 6*x^614 + 6*x^615 + 8*x^616 + 4*x^617 + 8*x^618 + 4*x^619 + 6*x^620 + 8*x^621 + 4*x^622 + 2*x^623 + 4*x^624 + 2*x^625 + 12*x^626 + 6*x^627 + 4*x^628 + 6*x^629 + 6*x^630 + 6*x^631 + 2*x^632 + 6*x^633 + 6*x^634 + 4*x^635 + 2*x^636 + 4*x^637 + 6*x^638 + 2*x^639 + 6*x^640 + 6*x^641 + 4*x^642 + 2*x^643 + 10*x^644 + 2*x^645 + 10*x^646 + 2*x^647 + 6*x^648 + 4*x^649 + 6*x^650 + 2*x^651 + 6*x^652 + 4*x^653 + 2*x^654 + 4*x^655 + 6*x^656 + 14*x^657 + 4*x^658 + 2*x^659 + 6*x^660 + 10*x^661 + 8*x^662 + 4*x^663 + 2*x^664 + 4*x^665 + 2*x^666 + 4*x^667 + 8*x^668 + 10*x^669 + 8*x^670 + 4*x^671 + 8*x^672 + 6*x^673 + 10*x^674 + 2*x^675 + 4*x^676 + 6*x^677 + 2*x^678 + 6*x^679 + 4*x^680 + 6*x^681 + 2*x^682 + 10*x^683 + 2*x^684 + 10*x^685 + 2*x^686 + 4*x^687 + 2*x^688 + 4*x^689 + 6*x^690 + 8*x^691 + 4*x^692 + 2*x^693 + 4*x^694 + 6*x^695 + 6*x^696 + 2*x^697 + 6*x^698 + 6*x^699 + 6*x^700 + 10*x^701 + 8*x^702 + 4*x^703 + 2*x^704 + 4*x^705 + 6*x^706 + 8*x^707 + 6*x^708 + 4*x^709 + 8*x^710 + 4*x^711 + 6*x^712 + 2*x^713 + 6*x^714 + 6*x^715 + 4*x^716 + 2*x^717 + 4*x^718 + 6*x^719 + 12*x^720 + 2*x^721 + 4*x^722 + 2*x^723 + 10*x^724 + 2*x^725 + 10*x^726 + 2*x^727 + 4*x^728 + 2*x^729 + 4*x^730 + 8*x^731 + 10*x^732 + 2*x^733 + 4*x^734 + 6*x^735 + 8*x^736 + 6*x^737 + 4*x^738 + 2*x^739 + 6*x^740 + 4*x^741 + 6*x^742 + 8*x^743 + 4*x^744 + 8*x^745 + 4*x^746 + 8*x^747 + 6*x^748 + 4*x^749 + 6*x^750 + 2*x^751 + 4*x^752 + 6*x^753 + 2*x^754 + 6*x^755 + 6*x^756 + 4*x^757 + 6*x^758 + 6*x^759 + 2*x^760 + 6*x^761 + 6*x^762 + 4*x^763 + 2*x^764 + 10*x^765 + 12*x^766 + 2*x^767 + 4*x^768 + 2*x^769 + 4*x^770 + 6*x^771 + 2*x^772 + 6*x^773 + 4*x^774 + 2*x^775 + 16*x^776 + 2*x^777 + 6*x^778 + 4*x^779 + 2*x^780 + 10*x^781 + 6*x^782 + 8*x^783 + 4*x^784 + 2*x^785 + 4*x^786 + 2*x^787 + 12*x^788 + 6*x^789 + 10*x^790 + 2*x^791 + 4*x^792 + 6*x^793 + 2*x^794 + 12*x^795 + 4*x^796 + 2*x^797 + 4*x^798 + 8*x^799 + 6*x^800 + 4*x^801 + 2*x^802 + 4*x^803 + 2*x^804 + 12*x^805 + 10*x^806 + 6*x^807 + 2*x^808 + 4*x^809 + 6*x^810 + 2*x^811 + 6*x^812 + 4*x^813 + 2*x^814 + 4*x^815 + 6*x^816 + 6*x^817 + 2*x^818 + 6*x^819 + 4*x^820 + 2*x^821 + 10*x^822 + 6*x^823 + 8*x^824 + 10*x^825 + 2*x^826 + 4*x^827 + 8*x^828 + 6*x^829 + 4*x^830 + 6*x^831 + 2*x^832 + 4*x^833 + 6*x^834 + 2*x^835 + 6*x^836 + 6*x^837 + 6*x^838 + 4*x^839 + 6*x^840 + 8*x^841 + 4*x^842 + 2*x^843 + 4*x^844 + 2*x^845 + 10*x^846 + 12*x^847 + 2*x^848 + 4*x^849 + 2*x^850 + 10*x^851 + 2*x^852 + 6*x^853 + 4*x^854 + 2*x^855 + 4*x^856 + 6*x^857 + 6*x^858 + 2*x^859 + 10*x^860 + 2*x^861 + 6*x^862 + 4*x^863 + 14*x^864 + 6*x^865 + 4*x^866 + 2*x^867 + 4*x^868 + 8*x^869 + 10*x^870 + 6*x^871 + 2*x^872 + 4*x^873 + 6*x^874 + 2*x^875 + 6*x^876 + 6*x^877 + 4*x^878 + 2*x^879 + 4*x^880 + 8*x^881 + 6*x^882 + 4*x^883 + 2*x^884 + 4*x^885 + 12*x^886 + 2*x^887 + 12*x^888 + 4*x^889 + 2*x^890 + 4*x^891 + 6*x^892 + 2*x^893 + 6*x^894 + 4*x^895 + 2*x^896 + 10*x^897 + 6*x^898 + 2*x^899 + 6*x^900 + 4*x^901 + 8*x^902 + 4*x^903 + 6*x^904 + 8*x^905 + 4*x^906 + 2*x^907 + 4*x^908 + 2*x^909 + 4*x^910 + 14*x^911 + 4*x^912 + 6*x^913 + 2*x^914 + 10*x^915 + 8*x^916 + 6*x^917 + 4*x^918 + 2*x^919 + 4*x^920 + 6*x^921 + 2*x^922 + 10*x^923 + 2*x^924 + 4*x^925 + 2*x^926 + 12*x^927 + 10*x^928 + 2*x^929 + 4*x^930 + 6*x^931 + 6*x^932 + 2*x^933 + 6*x^934 + 4*x^935 + 6*x^936 + 6*x^937 + 6*x^938 + 2*x^939 + 6*x^940 + 6*x^941 + 6*x^942 + 4*x^943 + 6*x^944 + 12*x^945 + 2*x^946 + 4*x^947 + 6*x^948 + 8*x^949 + 6*x^950 + 10*x^951 + 2*x^952 + 4*x^953 + 8*x^954 + 6*x^955 + 6*x^956 + 4*x^957 + 2*x^958 + 4*x^959 + 6*x^960 + 2*x^961 + 6*x^962 + 4*x^963 + 2*x^964 + 6*x^965 + 10*x^966 + 2*x^967 + 10*x^968 + 2*x^969 + 6*x^970 + 4*x^971 + 6*x^972 + 8*x^973 + 4*x^974 + 6*x^975 + 12*x^976 + 2*x^977 + 6*x^978 + 4*x^979 + 2*x^980 + 6*x^981 + 4*x^982 + 6*x^983 + 12*x^984 + 2*x^985 + 4*x^986 + 2*x^987 + 4*x^988 + 14*x^989 + 4*x^990 + 6*x^991 + 2*x^992 + 4*x^993 + 6*x^994 + 2*x^995 + 6*x^996 + 10*x^997 + 2*x^998 + 10*x^999 + 2*x^1000 + 6*x^1001 + 4*x^1002 + 2*x^1003 + 4*x^1004 + 12*x^1005 + 2*x^1006 + 10*x^1007 + 2*x^1008 + 4*x^1009 + 6*x^1010 + 6*x^1011 + 2*x^1012 + 6*x^1013 + 6*x^1014 + 4*x^1015 + 6*x^1016 + 6*x^1017 + 2*x^1018 + 10*x^1019 + 2*x^1020 + 6*x^1021 + 4*x^1022 + 6*x^1023 + 8*x^1024 + 4*x^1025 + 2*x^1026 + 6*x^1027 + 4*x^1028 + 8*x^1029 + 6*x^1030 + 4*x^1031 + 6*x^1032 + 2*x^1033 + 4*x^1034 + 6*x^1035 + 8*x^1036 + 6*x^1037 + 4*x^1038 + 2*x^1039 + 10*x^1040 + 2*x^1041 + 6*x^1042 + 4*x^1043 + 2*x^1044 + 6*x^1045 + 10*x^1046 + 2*x^1047 + 10*x^1048 + 6*x^1049 + 2*x^1050 + 4*x^1051 + 8*x^1052 + 6*x^1053 + 4*x^1054 + 2*x^1055 + 4*x^1056 + 6*x^1057 + 6*x^1058 + 2*x^1059 + 6*x^1060 + 4*x^1061 + 8*x^1062 + 4*x^1063 + 6*x^1064 + 8*x^1065 + 4*x^1066 + 2*x^1067 + 4*x^1068 + 2*x^1069 + 4*x^1070 + 8*x^1071 + 6*x^1072 + 4*x^1073 + 6*x^1074 + 12*x^1075 + 2*x^1076 + 6*x^1077 + 6*x^1078 + 4*x^1079 + 6*x^1080 + 6*x^1081 + 2*x^1082 + 6*x^1083 + 4*x^1084 + 2*x^1085 + 4*x^1086 + 2*x^1087 + 10*x^1088 + 2*x^1089 + 12*x^1090 + 6*x^1091 + 4*x^1092 + 6*x^1093 + 2*x^1094 + 10*x^1095 + 2*x^1096 + 4*x^1097 + 6*x^1098 + 6*x^1099 + 8*x^1100 + 4*x^1101 + 2*x^1102 + 6*x^1103 + 18*x^1104 + 4*x^1105 + 2*x^1106 + 4*x^1107 + 2*x^1108 + 4*x^1109 + 8*x^1110 + 10*x^1111 + 6*x^1112 + 2*x^1113 + 4*x^1114 + 8*x^1115 + 6*x^1116 + 6*x^1117 + 6*x^1118 + 4*x^1119 + 6*x^1120 + 2*x^1121 + 6*x^1122 + 4*x^1123 + 6*x^1124 + 2*x^1125 + 10*x^1126 + 2*x^1127 + 10*x^1128 + 2*x^1129 + 4*x^1130 + 2*x^1131 + 4*x^1132 + 6*x^1133 + 2*x^1134 + 6*x^1135 + 4*x^1136 + 2*x^1137 + 4*x^1138 + 6*x^1139 + 6*x^1140 + 8*x^1141 + 6*x^1142 + 6*x^1143 + 4*x^1144 + 6*x^1145 + 8*x^1146 + 4*x^1147 + 2*x^1148 + 4*x^1149 + 2*x^1150 + 12*x^1151 + 6*x^1152 + 4*x^1153 + 12*x^1154 + 6*x^1155 + 2*x^1156 + 6*x^1157 + 6*x^1158 + 4*x^1159 + 2*x^1160 + 4*x^1161 + 6*x^1162 + 8*x^1163 + 6*x^1164 + 4*x^1165 + 2*x^1166 + 10*x^1167 + 2*x^1168 + 10*x^1169 + 2*x^1170 + 4*x^1171 + 2*x^1172 + 4*x^1173 + 6*x^1174 + 2*x^1175 + 10*x^1176 + 2*x^1177 + 4*x^1178 + 6*x^1179 + 8*x^1180 + 6*x^1181 + 4*x^1182 + 2*x^1183 + 6*x^1184 + 4*x^1185 + 6*x^1186 + 8*x^1187 + 4*x^1188 + 6*x^1189 + 2*x^1190 + 4*x^1191 + 8*x^1192 + 6*x^1193 + 4*x^1194 + 8*x^1195 + 4*x^1196 + 6*x^1197 + 2*x^1198 + 6*x^1199 + 10*x^1200 + 6*x^1201 + 6*x^1202 + 2*x^1203 + 6*x^1204 + 6*x^1205 + 4*x^1206 + 2*x^1207 + 10*x^1208 + 2*x^1209 + 10*x^1210 + 2*x^1211 + 4*x^1212 + 2*x^1213 + 4*x^1214 + 6*x^1215 + 8*x^1216 + 4*x^1217 + 2*x^1218 + 10*x^1219 + 6*x^1220 + 2*x^1221 + 6*x^1222 + 4*x^1223 + 2*x^1224 + 6*x^1225 + 10*x^1226 + 8*x^1227 + 4*x^1228 + 2*x^1229 + 4*x^1230 + 14*x^1231 + 6*x^1232 + 4*x^1233 + 6*x^1234 + 2*x^1235 + 4*x^1236 + 6*x^1237 + 2*x^1238 + 12*x^1239 + 4*x^1240 + 2*x^1241 + 4*x^1242 + 8*x^1243 + 10*x^1244 + 2*x^1245 + 4*x^1246 + 2*x^1247 + 10*x^1248 + 2*x^1249 + 10*x^1250 + 6*x^1251 + 2*x^1252 + 4*x^1253 + 8*x^1254 + 6*x^1255 + 4*x^1256 + 2*x^1257 + 4*x^1258 + 6*x^1259 + 6*x^1260 + 2*x^1261 + 6*x^1262 + 4*x^1263 + 2*x^1264 + 10*x^1265 + 6*x^1266 + 8*x^1267 + 6*x^1268 + 6*x^1269 + 4*x^1270 + 8*x^1271 + 6*x^1272 + 4*x^1273 + 6*x^1274 + 2*x^1275 + 4*x^1276 + 6*x^1277 + 2*x^1278 + 6*x^1279 + 6*x^1280 + 6*x^1281 + 4*x^1282 + 6*x^1283 + 2*x^1284 + 6*x^1285 + 4*x^1286 + 2*x^1287 + 4*x^1288 + 2*x^1289 + 10*x^1290 + 12*x^1291 + 2*x^1292 + 4*x^1293 + 2*x^1294 + 10*x^1295 + 2*x^1296 + 6*x^1297 + 4*x^1298 + 2*x^1299 + 4*x^1300 + 12*x^1301 + 2*x^1302 + 10*x^1303 + 2*x^1304 + 10*x^1305 + 14*x^1306 + 4*x^1307 + 2*x^1308 + 4*x^1309 + 2*x^1310 + 4*x^1311 + 8*x^1312 + 6*x^1313 + 10*x^1314 + 2*x^1315 + 4*x^1316 + 6*x^1317 + 2*x^1318 + 12*x^1319 + 4*x^1320 + 2*x^1321 + 4*x^1322 + 6*x^1323 + 2*x^1324 + 6*x^1325 + 4*x^1326 + 2*x^1327 + 4*x^1328 + 14*x^1329 + 12*x^1330 + 4*x^1331 + 2*x^1332 + 4*x^1333 + 6*x^1334 + 2*x^1335 + 6*x^1336 + 4*x^1337 + 2*x^1338 + 4*x^1339 + 6*x^1340 + 6*x^1341 + 2*x^1342 + 6*x^1343 + 4*x^1344 + 2*x^1345 + 6*x^1346 + 4*x^1347 + 6*x^1348 + 8*x^1349 + 4*x^1350 + 6*x^1351 + 2*x^1352 + 4*x^1353 + 14*x^1354 + 4*x^1355 + 6*x^1356 + 2*x^1357 + 10*x^1358 + 2*x^1359 + 6*x^1360 + 6*x^1361 + 4*x^1362 + 2*x^1363 + 4*x^1364 + 6*x^1365 + 12*x^1366 + 2*x^1367 + 4*x^1368 + 2*x^1369 + 12*x^1370 + 10*x^1371 + 2*x^1372 + 4*x^1373 + 2*x^1374 + 10*x^1375 + 2*x^1376 + 6*x^1377 + 4*x^1378 + 6*x^1379 + 6*x^1380 + 6*x^1381 + 2*x^1382 + 6*x^1383 + 4*x^1384 + 2*x^1385 + 6*x^1386 + 4*x^1387 + 6*x^1388 + 8*x^1389 + 6*x^1390 + 4*x^1391 + 6*x^1392 + 8*x^1393 + 16*x^1394 + 2*x^1395 + 4*x^1396 + 6*x^1397 + 2*x^1398 + 6*x^1399 + 6*x^1400 + 4*x^1401 + 2*x^1402 + 4*x^1403 + 8*x^1404 + 6*x^1405 + 4*x^1406 + 2*x^1407 + 6*x^1408 + 10*x^1409 + 2*x^1410 + 10*x^1411 + 2*x^1412 + 4*x^1413 + 2*x^1414 + 4*x^1415 + 6*x^1416 + 8*x^1417 + 4*x^1418 + 2*x^1419 + 16*x^1420 + 2*x^1421 + 6*x^1422 + 4*x^1423 + 8*x^1424 + 4*x^1425 + 6*x^1426 + 12*x^1427 + 2*x^1428 + 4*x^1429 + 2*x^1430 + 4*x^1431 + 8*x^1432 + 6*x^1433 + 4*x^1434 + 6*x^1435 + 2*x^1436 + 4*x^1437 + 6*x^1438 + 8*x^1439 + 10*x^1440 + 2*x^1441 + 4*x^1442 + 6*x^1443 + 2*x^1444 + 6*x^1445 + 4*x^1446 + 2*x^1447 + 4*x^1448 + 2*x^1449 + 10*x^1450 + 2*x^1451 + 10*x^1452 + 2*x^1453 + 4*x^1454 + 6*x^1455 + 6*x^1456 + 2*x^1457 + 6*x^1458 + 6*x^1459 + 4*x^1460 + 6*x^1461 + 6*x^1462 + 2*x^1463 + 6*x^1464 + 6*x^1465 + 6*x^1466 + 4*x^1467 + 6*x^1468 + 12*x^1469 + 2*x^1470 + 6*x^1471 + 4*x^1472 + 8*x^1473 + 6*x^1474 + 4*x^1475 + 6*x^1476 + 2*x^1477 + 4*x^1478 + 14*x^1479 + 6*x^1480 + 4*x^1481 + 2*x^1482 + 10*x^1483 + 2*x^1484 + 6*x^1485 + 4*x^1486 + 2*x^1487 + 4*x^1488 + 2*x^1489 + 10*x^1490 + 2*x^1491 + 10*x^1492 + 2*x^1493 + 6*x^1494 + 4*x^1495 + 8*x^1496 + 6*x^1497 + 4*x^1498 + 6*x^1499 + 6*x^1500 + 6*x^1501 + 2*x^1502 + 6*x^1503 + 4*x^1504 + 8*x^1505 + 4*x^1506 + 6*x^1507 + 8*x^1508 + 4*x^1509 + 2*x^1510 + 4*x^1511 + 2*x^1512 + 4*x^1513 + 14*x^1514 + 4*x^1515 + 6*x^1516 + 6*x^1517 + 6*x^1518 + 2*x^1519 + 6*x^1520 + 6*x^1521 + 4*x^1522 + 2*x^1523 + 10*x^1524 + 2*x^1525 + 6*x^1526 + 4*x^1527 + 2*x^1528 + 4*x^1529 + 12*x^1530 + 2*x^1531 + 10*x^1532 + 2*x^1533 + 6*x^1534 + 4*x^1535 + 6*x^1536 + 2*x^1537 + 6*x^1538 + 6*x^1539 + 4*x^1540 + 6*x^1541 + 6*x^1542 + 12*x^1543 + 2*x^1544 + 6*x^1545 + 10*x^1546 + 8*x^1547 + 4*x^1548 + 2*x^1549 + 4*x^1550 + 2*x^1551 + 4*x^1552 + 8*x^1553 + 10*x^1554 + 6*x^1555 + 2*x^1556 + 4*x^1557 + 8*x^1558 + 6*x^1559 + 6*x^1560 + 4*x^1561 + 2*x^1562 + 4*x^1563 + 6*x^1564 + 2*x^1565 + 6*x^1566 + 4*x^1567 + 8*x^1568 + 10*x^1569 + 2*x^1570 + 10*x^1571 + 6*x^1572 + 2*x^1573 + 4*x^1574 + 6*x^1575 + 2*x^1576 + 6*x^1577 + 4*x^1578 + 2*x^1579 + 4*x^1580 + 6*x^1581 + 6*x^1582 + 2*x^1583 + 6*x^1584 + 6*x^1585 + 6*x^1586 + 4*x^1587 + 6*x^1588 + 8*x^1589 + 4*x^1590 + 2*x^1591 + 4*x^1592 + 2*x^1593 + 4*x^1594 + 8*x^1595 + 6*x^1596 + 4*x^1597 + 8*x^1598 + 10*x^1599 + 2*x^1600 + 6*x^1601 + 6*x^1602 + 4*x^1603 + 6*x^1604 + 6*x^1605 + 8*x^1606 + 4*x^1607 + 2*x^1608 + 4*x^1609 + 2*x^1610 + 10*x^1611 + 2*x^1612 + 12*x^1613 + 4*x^1614 + 2*x^1615 + 4*x^1616 + 6*x^1617 + 2*x^1618 + 10*x^1619 + 2*x^1620 + 4*x^1621 + 6*x^1622 + 8*x^1623 + 6*x^1624 + 4*x^1625 + 2*x^1626 + 6*x^1627 + 4*x^1628 + 14*x^1629 + 4*x^1630 + 6*x^1631 + 2*x^1632 + 4*x^1633 + 8*x^1634 + 6*x^1635 + 4*x^1636 + 6*x^1637 + 2*x^1638 + 4*x^1639 + 6*x^1640 + 2*x^1641 + 6*x^1642 + 6*x^1643 + 10*x^1644 + 6*x^1645 + 2*x^1646 + 6*x^1647 + 10*x^1648 + 2*x^1649 + 10*x^1650 + 2*x^1651 + 10*x^1652 + 2*x^1653 + 4*x^1654 + 2*x^1655 + 4*x^1656 + 6*x^1657 + 2*x^1658 + 6*x^1659 + 4*x^1660 + 2*x^1661 + 10*x^1662 + 6*x^1663 + 8*x^1664 + 4*x^1665 + 2*x^1666 + 6*x^1667 + 4*x^1668 + 6*x^1669 + 8*x^1670 + 4*x^1671 + 2*x^1672 + 4*x^1673 + 2*x^1674 + 12*x^1675 + 6*x^1676 + 4*x^1677 + 6*x^1678 + 6*x^1679 + 6*x^1680 + 2*x^1681 + 12*x^1682 + 4*x^1683 + 2*x^1684 + 4*x^1685 + 8*x^1686 + 6*x^1687 + 6*x^1688 + 4*x^1689 + 2*x^1690 + 10*x^1691 + 2*x^1692 + 10*x^1693 + 6*x^1694 + 2*x^1695 + 4*x^1696 + 6*x^1697 + 2*x^1698 + 6*x^1699 + 4*x^1700 + 2*x^1701 + 4*x^1702 + 6*x^1703 + 8*x^1704 + 6*x^1705 + 4*x^1706 + 2*x^1707 + 10*x^1708 + 6*x^1709 + 8*x^1710 + 6*x^1711 + 4*x^1712 + 2*x^1713 + 4*x^1714 + 8*x^1715 + 6*x^1716 + 4*x^1717 + 8*x^1718 + 4*x^1719 + 6*x^1720 + 2*x^1721 + 6*x^1722 + 12*x^1723 + 4*x^1724 + 6*x^1725 + 2*x^1726 + 6*x^1727 + 4*x^1728 + 2*x^1729 + 4*x^1730 + 2*x^1731 + 10*x^1732 + 12*x^1733 + 2*x^1734 + 4*x^1735 + 2*x^1736 + 10*x^1737 + 8*x^1738 + 4*x^1739 + 2*x^1740 + 4*x^1741 + 6*x^1742 + 6*x^1743 + 2*x^1744 + 10*x^1745 + 2*x^1746 + 6*x^1747 + 18*x^1748 + 4*x^1749 + 2*x^1750 + 4*x^1751 + 6*x^1752 + 8*x^1753 + 6*x^1754 + 4*x^1755 + 6*x^1756 + 2*x^1757 + 4*x^1758 + 6*x^1759 + 2*x^1760 + 6*x^1761 + 6*x^1762 + 4*x^1763 + 2*x^1764 + 4*x^1765 + 6*x^1766 + 2*x^1767 + 10*x^1768 + 2*x^1769 + 4*x^1770 + 12*x^1771 + 2*x^1772 + 12*x^1773 + 4*x^1774 + 2*x^1775 + 4*x^1776 + 8*x^1777 + 6*x^1778 + 4*x^1779 + 2*x^1780 + 4*x^1781 + 6*x^1782 + 6*x^1783 + 2*x^1784 + 6*x^1785 + 4*x^1786 + 2*x^1787 + 6*x^1788 + 4*x^1789 + 6*x^1790 + 8*x^1791 + 4*x^1792 + 2*x^1793 + 6*x^1794 + 4*x^1795 + 14*x^1796 + 4*x^1797 + 6*x^1798 + 2*x^1799 + 10*x^1800 + 2*x^1801 + 6*x^1802 + 6*x^1803 + 4*x^1804 + 2*x^1805 + 4*x^1806 + 6*x^1807 + 2*x^1808 + 10*x^1809 + 2*x^1810 + 4*x^1811 + 2*x^1812 + 22*x^1813 + 2*x^1814 + 4*x^1815 + 2*x^1816 + 4*x^1817 + 6*x^1818 + 2*x^1819 + 6*x^1820 + 4*x^1821 + 6*x^1822 + 12*x^1823 + 2*x^1824 + 6*x^1825 + 4*x^1826 + 2*x^1827 + 10*x^1828 + 6*x^1829 + 8*x^1830 + 4*x^1831 + 2*x^1832 + 4*x^1833 + 6*x^1834 + 8*x^1835 + 6*x^1836 + 10*x^1837 + 2*x^1838 + 4*x^1839 + 6*x^1840 + 2*x^1841 + 12*x^1842 + 4*x^1843 + 2*x^1844 + 4*x^1845 + 6*x^1846 + 2*x^1847 + 6*x^1848 + 4*x^1849 + 2*x^1850 + 6*x^1851 + 12*x^1852 + 10*x^1853 + 2*x^1854 + 4*x^1855 + 2*x^1856 + 4*x^1857 + 6*x^1858 + 8*x^1859 + 4*x^1860 + 2*x^1861 + 4*x^1862 + 12*x^1863 + 2*x^1864 + 6*x^1865 + 4*x^1866 + 2*x^1867 + 6*x^1868 + 4*x^1869 + 6*x^1870 + 12*x^1871 + 6*x^1872 + 2*x^1873 + 4*x^1874 + 8*x^1875 + 6*x^1876 + 4*x^1877 + 6*x^1878 + 2*x^1879 + 4*x^1880 + 6*x^1881 + 2*x^1882 + 6*x^1883 + 10*x^1884 + 2*x^1885 + 4*x^1886 + 6*x^1887 + 8*x^1888 + 4*x^1889 + 2*x^1890 + 4*x^1891 + 2*x^1892 + 10*x^1893 + 2*x^1894 + 10*x^1895 + 2*x^1896 + 4*x^1897 + 12*x^1898 + 2*x^1899 + 6*x^1900 + 6*x^1901 + 4*x^1902 + 6*x^1903 + 6*x^1904 + 2*x^1905 + 6*x^1906 + 4*x^1907 + 2*x^1908 + 6*x^1909 + 4*x^1910 + 6*x^1911 + 8*x^1912 + 6*x^1913 + 6*x^1914 + 4*x^1915 + 8*x^1916 + 10*x^1917 + 6*x^1918 + 2*x^1919 + 4*x^1920 + 6*x^1921 + 8*x^1922 + 6*x^1923 + 4*x^1924 + 2*x^1925 + 12*x^1926 + 6*x^1927 + 4*x^1928 + 2*x^1929 + 4*x^1930 + 2*x^1931 + 10*x^1932 + 2*x^1933 + 10*x^1934 + 2*x^1935 + 4*x^1936 + 2*x^1937 + 4*x^1938 + 8*x^1939 + 6*x^1940 + 4*x^1941 + 2*x^1942 + 10*x^1943 + 6*x^1944 + 2*x^1945 + 6*x^1946 + 4*x^1947 + 8*x^1948 + 4*x^1949 + 6*x^1950 + 8*x^1951 + 4*x^1952 + 2*x^1953 + 4*x^1954 + 2*x^1955 + 4*x^1956 + 8*x^1957 + 6*x^1958 + 4*x^1959 + 6*x^1960 + 6*x^1961 + 6*x^1962 + 8*x^1963 + 6*x^1964 + 4*x^1965 + 2*x^1966 + 4*x^1967 + 6*x^1968 + 2*x^1969 + 6*x^1970 + 4*x^1971 + 2*x^1972 + 4*x^1973 + 2*x^1974 + 10*x^1975 + 2*x^1976 + 10*x^1977 + 2*x^1978 + 10*x^1979 + 6*x^1980 + 2*x^1981 + 6*x^1982 + 4*x^1983 + 2*x^1984 + 4*x^1985 + 6*x^1986 + 6*x^1987 + 8*x^1988 + 6*x^1989 + 6*x^1990 + 10*x^1991 + 12*x^1992 + 2*x^1993 + 4*x^1994 + 2*x^1995 + 4*x^1996 + 8*x^1997 + 10*x^1998 + 6*x^1999 + 2*x^2000 + 4*x^2001 + 8*x^2002 + 6*x^2003 + 6*x^2004 + 4*x^2005 + 2*x^2006 + 4*x^2007 + 6*x^2008 + 2*x^2009 + 6*x^2010 + 4*x^2011 + 6*x^2012 + 2*x^2013 + 10*x^2014 + 2*x^2015 + 10*x^2016 + 2*x^2017 + 6*x^2018 + 4*x^2019 + 6*x^2020 + 2*x^2021 + 6*x^2022 + 4*x^2023 + 6*x^2024 + 6*x^2025 + 6*x^2026 + 2*x^2027 + 6*x^2028 + 6*x^2029 + 6*x^2030 + 4*x^2031 + 6*x^2032 + 8*x^2033 + 4*x^2034 + 2*x^2035 + 4*x^2036 + 2*x^2037 + 4*x^2038 + 14*x^2039 + 4*x^2040 + 8*x^2041 + 4*x^2042 + 6*x^2043 + 2*x^2044 + 6*x^2045 + 6*x^2046 + 4*x^2047 + 2*x^2048 + 10*x^2049 + 8*x^2050 + 4*x^2051 + 2*x^2052 + 4*x^2053 + 12*x^2054 + 2*x^2055 + 10*x^2056 + 2*x^2057 + 4*x^2058 + 2*x^2059 + 4*x^2060 + 6*x^2061 + 2*x^2062 + 12*x^2063 + 4*x^2064 + 6*x^2065 + 8*x^2066 + 10*x^2067 + 2*x^2068 + 6*x^2069 + 4*x^2070 + 6*x^2071 + 8*x^2072 + 4*x^2073 + 6*x^2074 + 2*x^2075 + 4*x^2076 + 8*x^2077 + 6*x^2078 + 4*x^2079 + 6*x^2080 + 2*x^2081 + 4*x^2082 + 6*x^2083 + 2*x^2084 + 6*x^2085 + 6*x^2086 + 4*x^2087 + 6*x^2088 + 6*x^2089 + 2*x^2090 + 6*x^2091 + 6*x^2092 + 6*x^2093 + 10*x^2094 + 2*x^2095 + 10*x^2096 + 6*x^2097 + 2*x^2098 + 4*x^2099 + 6*x^2100 + 2*x^2101 + 6*x^2102 + 4*x^2103 + 2*x^2104 + 10*x^2105 + 6*x^2106 + 2*x^2107 + 6*x^2108 + 4*x^2109 + 2*x^2110 + 6*x^2111 + 4*x^2112 + 6*x^2113 + 8*x^2114 + 4*x^2115 + 2*x^2116 + 4*x^2117 + 2*x^2118 + 12*x^2119 + 6*x^2120 + 4*x^2121 + 6*x^2122 + 2*x^2123 + 10*x^2124 + 2*x^2125 + 12*x^2126 + 4*x^2127 + 6*x^2128 + 8*x^2129 + 6*x^2130 + 4*x^2131 + 2*x^2132 + 4*x^2133 + 2*x^2134 + 10*x^2135 + 2*x^2136 + 16*x^2137 + 2*x^2138 + 4*x^2139 + 6*x^2140 + 2*x^2141 + 10*x^2142 + 2*x^2143 + 4*x^2144 + 6*x^2145 + 6*x^2146 + 2*x^2147 + 6*x^2148 + 4*x^2149 + 2*x^2150 + 10*x^2151 + 14*x^2152 + 6*x^2153 + 4*x^2154 + 2*x^2155 + 4*x^2156 + 8*x^2157 + 6*x^2158 + 4*x^2159 + 6*x^2160 + 2*x^2161 + 4*x^2162 + 6*x^2163 + 2*x^2164 + 6*x^2165 + 6*x^2166 + 6*x^2167 + 4*x^2168 + 6*x^2169 + 2*x^2170 + 6*x^2171 + 4*x^2172 + 6*x^2173 + 2*x^2174 + 10*x^2175 + 12*x^2176 + 2*x^2177 + 4*x^2178 + 2*x^2179 + 10*x^2180 + 2*x^2181 + 6*x^2182 + 4*x^2183 + 2*x^2184 + 4*x^2185 + 6*x^2186 + 6*x^2187 + 12*x^2188 + 2*x^2189 + 6*x^2190 + 4*x^2191 + 14*x^2192 + 4*x^2193 + 2*x^2194 + 4*x^2195 + 2*x^2196 + 12*x^2197 + 6*x^2198 + 4*x^2199 + 6*x^2200 + 6*x^2201 + 6*x^2202 + 2*x^2203 + 6*x^2204 + 6*x^2205 + 4*x^2206 + 2*x^2207 + 4*x^2208 + 6*x^2209 + 2*x^2210 + 6*x^2211 + 6*x^2212 + 4*x^2213 + 12*x^2214 + 2*x^2215 + 12*x^2216 + 4*x^2217 + 2*x^2218 + 4*x^2219 + 6*x^2220 + 2*x^2221 + 6*x^2222 + 4*x^2223 + 2*x^2224 + 4*x^2225 + 6*x^2226 + 8*x^2227 + 6*x^2228 + 4*x^2229 + 2*x^2230 + 6*x^2231 + 4*x^2232 + 6*x^2233 + 8*x^2234 + 4*x^2235 + 2*x^2236 + 4*x^2237 + 2*x^2238 + 4*x^2239 + 14*x^2240 + 4*x^2241 + 8*x^2242 + 10*x^2243 + 2*x^2244 + 6*x^2245 + 10*x^2246 + 2*x^2247 + 4*x^2248 + 6*x^2249 + 2*x^2250 + 10*x^2251 + 2*x^2252 + 4*x^2253 + 2*x^2254 + 12*x^2255 + 10*x^2256 + 2*x^2257 + 4*x^2258 + 2*x^2259 + 4*x^2260 + 6*x^2261 + 8*x^2262 + 4*x^2263 + 6*x^2264 + 6*x^2265 + 6*x^2266 + 2*x^2267 + 6*x^2268 + 4*x^2269 + 2*x^2270 + 6*x^2271 + 10*x^2272 + 8*x^2273 + 4*x^2274 + 2*x^2275 + 4*x^2276 + 6*x^2277 + 8*x^2278 + 6*x^2279 + 10*x^2280 + 2*x^2281 + 4*x^2282 + 6*x^2283 + 2*x^2284 + 6*x^2285 + 6*x^2286 + 4*x^2287 + 2*x^2288 + 4*x^2289 + 6*x^2290 + 2*x^2291 + 10*x^2292 + 2*x^2293 + 6*x^2294 + 10*x^2295 + 2*x^2296 + 10*x^2297 + 2*x^2298 + 4*x^2299 + 2*x^2300 + 4*x^2301 + 14*x^2302 + 4*x^2303 + 2*x^2304 + 4*x^2305 + 12*x^2306 + 2*x^2307 + 6*x^2308 + 4*x^2309 + 2*x^2310 + 6*x^2311 + 4*x^2312 + 6*x^2313 + 12*x^2314 + 2*x^2315 + 6*x^2316 + 4*x^2317 + 8*x^2318 + 6*x^2319 + 4*x^2320 + 6*x^2321 + 2*x^2322 + 4*x^2323 + 6*x^2324 + 2*x^2325 + 6*x^2326 + 10*x^2327 + 2*x^2328 + 4*x^2329 + 6*x^2330 + 2*x^2331 + 6*x^2332 + 4*x^2333 + 2*x^2334 + 4*x^2335 + 2*x^2336 + 10*x^2337 + 12*x^2338 + 2*x^2339 + 4*x^2340 + 6*x^2341 + 6*x^2342 + 2*x^2343 + 6*x^2344 + 6*x^2345 + 4*x^2346 + 12*x^2347 + 2*x^2348 + 6*x^2349 + 4*x^2350 + 2*x^2351 + 10*x^2352 + 6*x^2353 + 8*x^2354 + 4*x^2355 + 2*x^2356 + 6*x^2357 + 4*x^2358 + 8*x^2359 + 6*x^2360 + 10*x^2361 + 2*x^2362 + 4*x^2363 + 6*x^2364 + 14*x^2365 + 4*x^2366 + 2*x^2367 + 10*x^2368 + 2*x^2369 + 6*x^2370 + 4*x^2371 + 2*x^2372 + 4*x^2373 + 2*x^2374 + 12*x^2375 + 10*x^2376 + 2*x^2377 + 4*x^2378 + 2*x^2379 + 4*x^2380 + 8*x^2381 + 6*x^2382 + 4*x^2383 + 2*x^2384 + 4*x^2385 + 6*x^2386 + 6*x^2387 + 2*x^2388 + 6*x^2389 + 4*x^2390 + 8*x^2391 + 4*x^2392 + 6*x^2393 + 8*x^2394 + 4*x^2395 + 6*x^2396 + 2*x^2397 + 4*x^2398 + 8*x^2399 + 6*x^2400 + 4*x^2401 + 6*x^2402 + 6*x^2403 + 6*x^2404 + 2*x^2405 + 6*x^2406 + 6*x^2407 + 4*x^2408 + 2*x^2409 + 4*x^2410 + 6*x^2411 + 8*x^2412 + 4*x^2413 + 2*x^2414 + 4*x^2415 + 2*x^2416 + 10*x^2417 + 2*x^2418 + 10*x^2419 + 2*x^2420 + 6*x^2421 + 10*x^2422 + 2*x^2423 + 6*x^2424 + 4*x^2425 + 2*x^2426 + 4*x^2427 + 6*x^2428 + 6*x^2429 + 8*x^2430 + 4*x^2431 + 2*x^2432 + 6*x^2433 + 10*x^2434 + 8*x^2435 + 6*x^2436 + 4*x^2437 + 2*x^2438 + 4*x^2439 + 8*x^2440 + 10*x^2441 + 6*x^2442 + 2*x^2443 + 4*x^2444 + 8*x^2445 + 6*x^2446 + 6*x^2447 + 4*x^2448 + 2*x^2449 + 4*x^2450 + 8*x^2451 + 6*x^2452 + 4*x^2453 + 6*x^2454 + 2*x^2455 + 10*x^2456 + 2*x^2457 + 10*x^2458 + 2*x^2459 + 4*x^2460 + 2*x^2461 + 4*x^2462 + 6*x^2463 + 2*x^2464 + 6*x^2465 + 4*x^2466 + 2*x^2467 + 10*x^2468 + 6*x^2469 + 2*x^2470 + 6*x^2471 + 12*x^2472 + 4*x^2473 + 6*x^2474 + 8*x^2475 + 4*x^2476 + 2*x^2477 + 4*x^2478 + 2*x^2479 + 4*x^2480 + 8*x^2481 + 6*x^2482 + 4*x^2483 + 8*x^2484 + 4*x^2485 + 6*x^2486 + 8*x^2487 + 6*x^2488 + 4*x^2489 + 2*x^2490 + 4*x^2491 + 6*x^2492 + 8*x^2493 + 4*x^2494 + 2*x^2495 + 4*x^2496 + 2*x^2497 + 10*x^2498 + 2*x^2499 + 10*x^2500 + 2*x^2501 + 4*x^2502 + 6*x^2503 + 6*x^2504 + 2*x^2505 + 10*x^2506 + 2*x^2507 + 4*x^2508 + 6*x^2509 + 8*x^2510 + 6*x^2511 + 6*x^2512 + 6*x^2513 + 4*x^2514 + 6*x^2515 + 12*x^2516 + 6*x^2517 + 2*x^2518 + 4*x^2519 + 8*x^2520 + 6*x^2521 + 4*x^2522 + 6*x^2523 + 2*x^2524 + 4*x^2525 + 8*x^2526 + 6*x^2527 + 6*x^2528 + 4*x^2529 + 6*x^2530 + 6*x^2531 + 2*x^2532 + 6*x^2533 + 6*x^2534 + 4*x^2535 + 2*x^2536 + 10*x^2537 + 2*x^2538 + 10*x^2539 + 2*x^2540 + 6*x^2541 + 4*x^2542 + 6*x^2543 + 2*x^2544 + 6*x^2545 + 4*x^2546 + 12*x^2547 + 6*x^2548 + 2*x^2549 + 6*x^2550 + 4*x^2551 + 2*x^2552 + 6*x^2553 + 4*x^2554 + 6*x^2555 + 8*x^2556 + 4*x^2557 + 2*x^2558 + 4*x^2559 + 2*x^2560 + 18*x^2561 + 4*x^2562 + 6*x^2563 + 2*x^2564 + 4*x^2565 + 6*x^2566 + 2*x^2567 + 12*x^2568 + 4*x^2569 + 2*x^2570 + 12*x^2571 + 6*x^2572 + 4*x^2573 + 2*x^2574 + 4*x^2575 + 12*x^2576 + 2*x^2577 + 10*x^2578 + 6*x^2579 + 2*x^2580 + 4*x^2581 + 6*x^2582 + 2*x^2583 + 6*x^2584 + 6*x^2585 + 4*x^2586 + 6*x^2587 + 6*x^2588 + 2*x^2589 + 10*x^2590 + 2*x^2591 + 10*x^2592 + 6*x^2593 + 8*x^2594 + 6*x^2595 + 4*x^2596 + 2*x^2597 + 4*x^2598 + 8*x^2599 + 6*x^2600 + 4*x^2601 + 6*x^2602 + 2*x^2603 + 4*x^2604 + 6*x^2605 + 2*x^2606 + 6*x^2607 + 6*x^2608 + 6*x^2609 + 4*x^2610 + 6*x^2611 + 2*x^2612 + 6*x^2613 + 4*x^2614 + 2*x^2615 + 6*x^2616 + 10*x^2617 + 12*x^2618 + 6*x^2619 + 2*x^2620 + 10*x^2621 + 2*x^2622 + 6*x^2623 + 4*x^2624 + 2*x^2625 + 4*x^2626 + 6*x^2627 + 6*x^2628 + 2*x^2629 + 10*x^2630 + 2*x^2631 + 6*x^2632 + 4*x^2633 + 14*x^2634 + 4*x^2635 + 2*x^2636 + 4*x^2637 + 2*x^2638 + 4*x^2639 + 8*x^2640 + 6*x^2641 + 4*x^2642 + 6*x^2643 + 2*x^2644 + 10*x^2645 + 2*x^2646 + 6*x^2647 + 6*x^2648 + 4*x^2649 + 6*x^2650 + 6*x^2651 + 2*x^2652 + 6*x^2653 + 4*x^2654 + 2*x^2655 + 4*x^2656 + 12*x^2657 + 2*x^2658 + 12*x^2659 + 4*x^2660 + 2*x^2661 + 4*x^2662 + 6*x^2663 + 2*x^2664 + 10*x^2665 + 2*x^2666 + 4*x^2667 + 6*x^2668 + 6*x^2669 + 2*x^2670 + 6*x^2671 + 4*x^2672 + 2*x^2673 + 6*x^2674 + 4*x^2675 + 14*x^2676 + 4*x^2677 + 2*x^2678 + 4*x^2679 + 2*x^2680 + 4*x^2681 + 14*x^2682 + 4*x^2683 + 6*x^2684 + 2*x^2685 + 10*x^2686 + 2*x^2687 + 6*x^2688 + 6*x^2689 + 6*x^2690 + 4*x^2691 + 6*x^2692 + 2*x^2693 + 10*x^2694 + 6*x^2695 + 2*x^2696 + 12*x^2697 + 10*x^2698 + 2*x^2699 + 4*x^2700 + 2*x^2701 + 4*x^2702 + 6*x^2703 + 2*x^2704 + 6*x^2705 + 4*x^2706 + 6*x^2707 + 6*x^2708 + 6*x^2709 + 8*x^2710 + 4*x^2711 + 2*x^2712 + 6*x^2713 + 4*x^2714 + 6*x^2715 + 8*x^2716 + 4*x^2717 + 2*x^2718 + 4*x^2719 + 14*x^2720 + 6*x^2721 + 10*x^2722 + 6*x^2723 + 6*x^2724 + 2*x^2725 + 6*x^2726 + 6*x^2727 + 4*x^2728 + 2*x^2729 + 4*x^2730 + 6*x^2731 + 2*x^2732 + 6*x^2733 + 6*x^2734 + 6*x^2735 + 10*x^2736 + 2*x^2737 + 10*x^2738 + 2*x^2739 + 4*x^2740 + 2*x^2741 + 4*x^2742 + 6*x^2743 + 8*x^2744 + 4*x^2745 + 2*x^2746 + 4*x^2747 + 14*x^2748 + 6*x^2749 + 4*x^2750 + 2*x^2751 + 6*x^2752 + 4*x^2753 + 6*x^2754 + 12*x^2755 + 2*x^2756 + 4*x^2757 + 2*x^2758 + 4*x^2759 + 8*x^2760 + 6*x^2761 + 4*x^2762 + 8*x^2763 + 4*x^2764 + 6*x^2765 + 2*x^2766 + 6*x^2767 + 10*x^2768 + 2*x^2769 + 4*x^2770 + 6*x^2771 + 2*x^2772 + 6*x^2773 + 4*x^2774 + 2*x^2775 + 4*x^2776 + 2*x^2777 + 10*x^2778 + 2*x^2779 + 10*x^2780 + 2*x^2781 + 4*x^2782 + 6*x^2783 + 6*x^2784 + 8*x^2785 + 6*x^2786 + 4*x^2787 + 6*x^2788 + 6*x^2789 + 2*x^2790 + 6*x^2791 + 4*x^2792 + 2*x^2793 + 6*x^2794 + 10*x^2795 + 8*x^2796 + 4*x^2797 + 2*x^2798 + 10*x^2799 + 8*x^2800 + 6*x^2801 + 4*x^2802 + 6*x^2803 + 2*x^2804 + 4*x^2805 + 6*x^2806 + 8*x^2807 + 6*x^2808 + 4*x^2809 + 2*x^2810 + 10*x^2811 + 2*x^2812 + 10*x^2813 + 2*x^2814 + 4*x^2815 + 2*x^2816 + 10*x^2817 + 2*x^2818 + 10*x^2819 + 2*x^2820 + 4*x^2821 + 2*x^2822 + 4*x^2823 + 8*x^2824 + 6*x^2825 + 4*x^2826 + 2*x^2827 + 4*x^2828 + 6*x^2829 + 6*x^2830 + 2*x^2831 + 6*x^2832 + 4*x^2833 + 8*x^2834 + 4*x^2835 + 6*x^2836 + 8*x^2837 + 4*x^2838 + 2*x^2839 + 6*x^2840 + 4*x^2841 + 8*x^2842 + 6*x^2843 + 4*x^2844 + 6*x^2845 + 6*x^2846 + 6*x^2847 + 2*x^2848 + 6*x^2849 + 6*x^2850 + 4*x^2851 + 2*x^2852 + 4*x^2853 + 6*x^2854 + 2*x^2855 + 6*x^2856 + 4*x^2857 + 2*x^2858 + 4*x^2859 + 2*x^2860 + 10*x^2861 + 12*x^2862 + 2*x^2863 + 6*x^2864 + 4*x^2865 + 6*x^2866 + 2*x^2867 + 6*x^2868 + 4*x^2869 + 2*x^2870 + 4*x^2871 + 12*x^2872 + 8*x^2873 + 4*x^2874 + 2*x^2875 + 16*x^2876 + 8*x^2877 + 4*x^2878 + 2*x^2879 + 4*x^2880 + 2*x^2881 + 4*x^2882 + 8*x^2883 + 16*x^2884 + 2*x^2885 + 4*x^2886 + 8*x^2887 + 12*x^2888 + 4*x^2889 + 2*x^2890 + 4*x^2891 + 6*x^2892 + 2*x^2893 + 6*x^2894 + 4*x^2895 + 6*x^2896 + 2*x^2897 + 12*x^2898 + 10*x^2899 + 2*x^2900 + 4*x^2901 + 2*x^2902 + 4*x^2903 + 6*x^2904 + 2*x^2905 + 6*x^2906 + 4*x^2907 + 2*x^2908 + 4*x^2909 + 6*x^2910 + 6*x^2911 + 2*x^2912 + 6*x^2913 + 6*x^2914 + 6*x^2915 + 4*x^2916 + 6*x^2917 + 8*x^2918 + 4*x^2919 + 6*x^2920 + 2*x^2921 + 4*x^2922 + 8*x^2923 + 6*x^2924 + 4*x^2925 + 8*x^2926 + 4*x^2927 + 6*x^2928 + 2*x^2929 + 6*x^2930 + 6*x^2931 + 4*x^2932 + 2*x^2933 + 4*x^2934 + 6*x^2935 + 8*x^2936 + 4*x^2937 + 2*x^2938 + 4*x^2939 + 2*x^2940 + 10*x^2941 + 2*x^2942 + 10*x^2943 + 2*x^2944 + 4*x^2945 + 2*x^2946 + 10*x^2947 + 2*x^2948 + 10*x^2949 + 2*x^2950 + 4*x^2951 + 6*x^2952 + 8*x^2953 + 6*x^2954 + 4*x^2955 + 2*x^2956 + 6*x^2957 + 4*x^2958 + 6*x^2959 + 8*x^2960 + 10*x^2961 + 2*x^2962 + 4*x^2963 + 8*x^2964 + 10*x^2965 + 6*x^2966 + 2*x^2967 + 4*x^2968 + 6*x^2969 + 2*x^2970 + 6*x^2971 + 6*x^2972 + 4*x^2973 + 6*x^2974 + 8*x^2975 + 6*x^2976 + 6*x^2977 + 4*x^2978 + 2*x^2979 + 10*x^2980 + 2*x^2981 + 10*x^2982 + 2*x^2983 + 4*x^2984 + 2*x^2985 + 4*x^2986 + 6*x^2987 + 2*x^2988 + 6*x^2989 + 4*x^2990 + 2*x^2991 + 10*x^2992 + 6*x^2993 + 2*x^2994 + 6*x^2995 + 4*x^2996 + 8*x^2997 + 4*x^2998 + 6*x^2999 + 8*x^3000 + 4*x^3001 + 2*x^3002 + 4*x^3003 + 2*x^3004 + 12*x^3005 + 6*x^3006 + 4*x^3007 + 6*x^3008 + 2*x^3009 + 4*x^3010 + 6*x^3011 + 14*x^3012 + 4*x^3013 + 2*x^3014 + 4*x^3015 + 8*x^3016 + 6*x^3017 + 4*x^3018 + 2*x^3019 + 4*x^3020 + 2*x^3021 + 10*x^3022 + 2*x^3023 + 10*x^3024 + 6*x^3025 + 6*x^3026 + 6*x^3027 + 2*x^3028 + 6*x^3029 + 4*x^3030 + 2*x^3031 + 4*x^3032 + 6*x^3033 + 6*x^3034 + 2*x^3035 + 6*x^3036 + 6*x^3037 + 10*x^3038 + 6*x^3039 + 14*x^3040 + 4*x^3041 + 2*x^3042 + 4*x^3043 + 8*x^3044 + 6*x^3045 + 4*x^3046 + 6*x^3047 + 2*x^3048 + 4*x^3049 + 8*x^3050 + 6*x^3051 + 6*x^3052 + 6*x^3053 + 4*x^3054 + 6*x^3055 + 2*x^3056 + 6*x^3057 + 4*x^3058 + 2*x^3059 + 4*x^3060 + 2*x^3061 + 10*x^3062 + 12*x^3063 + 2*x^3064 + 6*x^3065 + 10*x^3066 + 2*x^3067 + 6*x^3068 + 4*x^3069 + 6*x^3070 + 6*x^3071 + 6*x^3072 + 2*x^3073 + 10*x^3074 + 2*x^3075 + 6*x^3076 + 4*x^3077 + 14*x^3078 + 4*x^3079 + 2*x^3080 + 4*x^3081 + 2*x^3082 + 4*x^3083 + 14*x^3084 + 4*x^3085 + 6*x^3086 + 2*x^3087 + 4*x^3088 + 6*x^3089 + 2*x^3090 + 6*x^3091 + 6*x^3092 + 4*x^3093 + 2*x^3094 + 10*x^3095 + 2*x^3096 + 6*x^3097 + 4*x^3098 + 2*x^3099 + 4*x^3100 + 12*x^3101 + 2*x^3102 + 12*x^3103 + 4*x^3104 + 2*x^3105 + 4*x^3106 + 6*x^3107 + 2*x^3108 + 6*x^3109 + 6*x^3110 + 4*x^3111 + 6*x^3112 + 6*x^3113 + 2*x^3114 + 10*x^3115 + 2*x^3116 + 6*x^3117 + 4*x^3118 + 6*x^3119 + 8*x^3120 + 4*x^3121 + 2*x^3122 + 4*x^3123 + 2*x^3124 + 4*x^3125 + 14*x^3126 + 4*x^3127 + 6*x^3128 + 2*x^3129 + 10*x^3130 + 2*x^3131 + 6*x^3132 + 6*x^3133 + 4*x^3134 + 2*x^3135 + 4*x^3136 + 6*x^3137 + 2*x^3138 + 10*x^3139 + 2*x^3140 + 6*x^3141 + 12*x^3142 + 10*x^3143 + 6*x^3144 + 2*x^3145 + 4*x^3146 + 6*x^3147 + 2*x^3148 + 6*x^3149 + 4*x^3150 + 6*x^3151 + 6*x^3152 + 6*x^3153 + 2*x^3154 + 6*x^3155 + 4*x^3156 + 2*x^3157 + 6*x^3158 + 4*x^3159 + 6*x^3160 + 8*x^3161 + 4*x^3162 + 2*x^3163 + 4*x^3164 + 6*x^3165 + 8*x^3166 + 6*x^3167 + 10*x^3168 + 2*x^3169 + 10*x^3170 + 2*x^3171 + 6*x^3172 + 6*x^3173 + 4*x^3174 + 6*x^3175 + 6*x^3176 + 2*x^3177 + 6*x^3178 + 4*x^3179 + 2*x^3180 + 6*x^3181 + 10*x^3182 + 2*x^3183 + 12*x^3184 + 4*x^3185 + 2*x^3186 + 4*x^3187 + 6*x^3188 + 12*x^3189 + 2*x^3190 + 4*x^3191 + 12*x^3192 + 2*x^3193 + 6*x^3194 + 4*x^3195 + 2*x^3196 + 6*x^3197 + 4*x^3198 + 18*x^3199 + 2*x^3200 + 4*x^3201 + 2*x^3202 + 4*x^3203 + 8*x^3204 + 6*x^3205 + 4*x^3206 + 6*x^3207 + 2*x^3208 + 4*x^3209 + 6*x^3210 + 2*x^3211 + 6*x^3212 + 12*x^3213 + 4*x^3214 + 6*x^3215 + 2*x^3216 + 6*x^3217 + 4*x^3218 + 6*x^3219 + 2*x^3220 + 10*x^3221 + 2*x^3222 + 10*x^3223 + 2*x^3224 + 4*x^3225 + 6*x^3226 + 6*x^3227 + 2*x^3228 + 6*x^3229 + 6*x^3230 + 4*x^3231 + 6*x^3232 + 6*x^3233 + 8*x^3234 + 4*x^3235 + 2*x^3236 + 6*x^3237 + 4*x^3238 + 6*x^3239 + 8*x^3240 + 4*x^3241 + 2*x^3242 + 6*x^3243 + 12*x^3244 + 6*x^3245 + 4*x^3246 + 6*x^3247 + 6*x^3248 + 6*x^3249 + 8*x^3250 + 6*x^3251 + 4*x^3252 + 2*x^3253 + 10*x^3254 + 2*x^3255 + 6*x^3256 + 6*x^3257 + 4*x^3258 + 2*x^3259 + 10*x^3260 + 2*x^3261 + 10*x^3262 + 2*x^3263 + 4*x^3264 + 2*x^3265 + 4*x^3266 + 8*x^3267 + 6*x^3268 + 4*x^3269 + 2*x^3270 + 4*x^3271 + 6*x^3272 + 8*x^3273 + 6*x^3274 + 4*x^3275 + 8*x^3276 + 4*x^3277 + 6*x^3278 + 8*x^3279 + 4*x^3280 + 2*x^3281 + 4*x^3282 + 2*x^3283 + 4*x^3284 + 8*x^3285 + 6*x^3286 + 4*x^3287 + 12*x^3288 + 6*x^3289 + 2*x^3290 + 6*x^3291 + 10*x^3292 + 2*x^3293 + 4*x^3294 + 6*x^3295 + 2*x^3296 + 6*x^3297 + 4*x^3298 + 2*x^3299 + 4*x^3300 + 2*x^3301 + 10*x^3302 + 2*x^3303 + 10*x^3304 + 2*x^3305 + 6*x^3306 + 4*x^3307 + 6*x^3308 + 8*x^3309 + 4*x^3310 + 2*x^3311 + 4*x^3312 + 6*x^3313 + 6*x^3314 + 8*x^3315 + 4*x^3316 + 2*x^3317 + 6*x^3318 + 10*x^3319 + 8*x^3320 + 4*x^3321 + 2*x^3322 + 4*x^3323 + 6*x^3324 + 8*x^3325 + 10*x^3326 + 6*x^3327 + 2*x^3328 + 4*x^3329 + 8*x^3330 + 6*x^3331 + 6*x^3332 + 4*x^3333 + 2*x^3334 + 4*x^3335 + 6*x^3336 + 2*x^3337 + 10*x^3338 + 6*x^3339 + 2*x^3340 + 10*x^3341 + 2*x^3342 + 10*x^3343 + 2*x^3344 + 4*x^3345 + 2*x^3346 + 4*x^3347 + 8*x^3348 + 6*x^3349 + 4*x^3350 + 2*x^3351 + 4*x^3352 + 6*x^3353 + 6*x^3354 + 2*x^3355 + 6*x^3356 + 6*x^3357 + 6*x^3358 + 4*x^3359 + 6*x^3360 + 8*x^3361 + 4*x^3362 + 2*x^3363 + 6*x^3364 + 4*x^3365 + 8*x^3366 + 6*x^3367 + 4*x^3368 + 8*x^3369 + 4*x^3370 + 6*x^3371 + 2*x^3372 + 6*x^3373 + 6*x^3374 + 4*x^3375 + 2*x^3376 + 4*x^3377 + 6*x^3378 + 8*x^3379 + 4*x^3380 + 2*x^3381 + 4*x^3382 + 2*x^3383 + 10*x^3384 + 12*x^3385 + 2*x^3386 + 4*x^3387 + 2*x^3388 + 4*x^3389 + 6*x^3390 + 2*x^3391 + 10*x^3392 + 2*x^3393 + 4*x^3394 + 14*x^3395 + 6*x^3396 + 4*x^3397 + 2*x^3398 + 10*x^3399 + 6*x^3400 + 8*x^3401 + 4*x^3402 + 6*x^3403 + 2*x^3404 + 4*x^3405 + 8*x^3406 + 6*x^3407 + 10*x^3408 + 2*x^3409 + 4*x^3410 + 6*x^3411 + 2*x^3412 + 12*x^3413 + 4*x^3414 + 6*x^3415 + 6*x^3416 + 2*x^3417 + 6*x^3418 + 6*x^3419 + 4*x^3420 + 2*x^3421 + 12*x^3422 + 10*x^3423 + 2*x^3424 + 4*x^3425 + 2*x^3426 + 4*x^3427 + 6*x^3428 + 2*x^3429 + 6*x^3430 + 4*x^3431 + 2*x^3432 + 10*x^3433 + 6*x^3434 + 2*x^3435 + 6*x^3436 + 4*x^3437 + 2*x^3438 + 6*x^3439 + 4*x^3440 + 6*x^3441 + 8*x^3442 + 4*x^3443 + 6*x^3444 + 2*x^3445 + 12*x^3446 + 6*x^3447 + 4*x^3448 + 6*x^3449 + 2*x^3450 + 4*x^3451 + 6*x^3452 + 2*x^3453 + 12*x^3454 + 4*x^3455 + 2*x^3456 + 4*x^3457 + 14*x^3458 + 4*x^3459 + 2*x^3460 + 4*x^3461 + 2*x^3462 + 10*x^3463 + 2*x^3464 + 10*x^3465 + 6*x^3466 + 2*x^3467 + 10*x^3468 + 2*x^3469 + 6*x^3470 + 4*x^3471 + 2*x^3472 + 4*x^3473 + 6*x^3474 + 6*x^3475 + 2*x^3476 + 6*x^3477 + 4*x^3478 + 2*x^3479 + 10*x^3480 + 6*x^3481 + 8*x^3482 + 6*x^3483 + 4*x^3484 + 2*x^3485 + 4*x^3486 + 8*x^3487 + 10*x^3488 + 6*x^3489 + 2*x^3490 + 4*x^3491 + 6*x^3492 + 2*x^3493 + 6*x^3494 + 6*x^3495 + 6*x^3496 + 4*x^3497 + 8*x^3498 + 6*x^3499 + 4*x^3500 + 2*x^3501 + 4*x^3502 + 2*x^3503 + 10*x^3504 + 12*x^3505 + 2*x^3506 + 4*x^3507 + 2*x^3508 + 10*x^3509 + 2*x^3510 + 6*x^3511 + 4*x^3512 + 2*x^3513 + 10*x^3514 + 6*x^3515 + 2*x^3516 + 10*x^3517 + 8*x^3518 + 4*x^3519 + 14*x^3520 + 4*x^3521 + 2*x^3522 + 4*x^3523 + 2*x^3524 + 4*x^3525 + 8*x^3526 + 6*x^3527 + 4*x^3528 + 6*x^3529 + 2*x^3530 + 4*x^3531 + 6*x^3532 + 8*x^3533 + 6*x^3534 + 4*x^3535 + 2*x^3536 + 4*x^3537 + 6*x^3538 + 2*x^3539 + 6*x^3540 + 4*x^3541 + 2*x^3542 + 4*x^3543 + 12*x^3544 + 2*x^3545 + 12*x^3546 + 4*x^3547 + 6*x^3548 + 6*x^3549 + 2*x^3550 + 6*x^3551 + 4*x^3552 + 2*x^3553 + 4*x^3554 + 6*x^3555 + 6*x^3556 + 2*x^3557 + 6*x^3558 + 6*x^3559 + 6*x^3560 + 4*x^3561 + 6*x^3562 + 12*x^3563 + 2*x^3564 + 4*x^3565 + 2*x^3566 + 4*x^3567 + 14*x^3568 + 4*x^3569 + 6*x^3570 + 2*x^3571 + 12*x^3572 + 6*x^3573 + 6*x^3574 + 4*x^3575 + 2*x^3576 + 4*x^3577 + 6*x^3578 + 2*x^3579 + 10*x^3580 + 2*x^3581 + 4*x^3582 + 2*x^3583 + 12*x^3584 + 10*x^3585 + 2*x^3586 + 6*x^3587 + 4*x^3588 + 6*x^3589 + 2*x^3590 + 6*x^3591 + 4*x^3592 + 6*x^3593 + 6*x^3594 + 6*x^3595 + 2*x^3596 + 6*x^3597 + 4*x^3598 + 2*x^3599 + 6*x^3600 + 4*x^3601 + 6*x^3602 + 8*x^3603 + 4*x^3604 + 2*x^3605 + 4*x^3606 + 6*x^3607 + 14*x^3608 + 10*x^3609 + 2*x^3610 + 4*x^3611 + 6*x^3612 + 2*x^3613 + 6*x^3614 + 6*x^3615 + 4*x^3616 + 2*x^3617 + 10*x^3618 + 2*x^3619 + 6*x^3620 + 4*x^3621 + 2*x^3622 + 16*x^3623 + 2*x^3624 + 10*x^3625 + 2*x^3626 + 4*x^3627 + 2*x^3628 + 4*x^3629 + 6*x^3630 + 8*x^3631 + 6*x^3632 + 4*x^3633 + 12*x^3634 + 2*x^3635 + 10*x^3636 + 2*x^3637 + 6*x^3638 + 4*x^3639 + 6*x^3640 + 12*x^3641 + 2*x^3642 + 4*x^3643 + 2*x^3644 + 4*x^3645 + 8*x^3646 + 6*x^3647 + 4*x^3648 + 6*x^3649 + 2*x^3650 + 4*x^3651 + 6*x^3652 + 2*x^3653 + 6*x^3654 + 10*x^3655 + 2*x^3656 + 4*x^3657 + 6*x^3658 + 2*x^3659 + 6*x^3660 + 4*x^3661 + 2*x^3662 + 6*x^3663 + 10*x^3664 + 2*x^3665 + 10*x^3666 + 6*x^3667 + 6*x^3668 + 6*x^3669 + 2*x^3670 + 6*x^3671 + 6*x^3672 + 4*x^3673 + 6*x^3674 + 6*x^3675 + 2*x^3676 + 6*x^3677 + 4*x^3678 + 2*x^3679 + 6*x^3680 + 4*x^3681 + 6*x^3682 + 8*x^3683 + 4*x^3684 + 2*x^3685 + 6*x^3686 + 4*x^3687 + 8*x^3688 + 6*x^3689 + 4*x^3690 + 6*x^3691 + 2*x^3692 + 10*x^3693 + 8*x^3694 + 6*x^3695 + 4*x^3696 + 12*x^3697 + 2*x^3698 + 6*x^3699 + 4*x^3700 + 2*x^3701 + 4*x^3702 + 2*x^3703 + 10*x^3704 + 2*x^3705 + 12*x^3706 + 4*x^3707 + 2*x^3708 + 4*x^3709 + 8*x^3710 + 10*x^3711 + 2*x^3712 + 4*x^3713 + 6*x^3714 + 6*x^3715 + 2*x^3716 + 6*x^3717 + 4*x^3718 + 8*x^3719 + 4*x^3720 + 14*x^3721 + 4*x^3722 + 2*x^3723 + 4*x^3724 + 2*x^3725 + 4*x^3726 + 8*x^3727 + 6*x^3728 + 4*x^3729 + 6*x^3730 + 6*x^3731 + 6*x^3732 + 2*x^3733 + 6*x^3734 + 6*x^3735 + 6*x^3736 + 4*x^3737 + 6*x^3738 + 2*x^3739 + 6*x^3740 + 4*x^3741 + 6*x^3742 + 2*x^3743 + 10*x^3744 + 2*x^3745 + 10*x^3746 + 2*x^3747 + 6*x^3748 + 4*x^3749 + 6*x^3750 + 2*x^3751 + 6*x^3752 + 4*x^3753 + 2*x^3754 + 4*x^3755 + 6*x^3756 + 6*x^3757 + 8*x^3758 + 4*x^3759 + 2*x^3760 + 6*x^3761 + 10*x^3762 + 8*x^3763 + 4*x^3764 + 2*x^3765 + 4*x^3766 + 2*x^3767 + 12*x^3768 + 10*x^3769 + 6*x^3770 + 6*x^3771 + 8*x^3772 + 6*x^3773 + 6*x^3774 + 4*x^3775 + 2*x^3776 + 4*x^3777 + 6*x^3778 + 2*x^3779 + 6*x^3780 + 10*x^3781 + 2*x^3782 + 10*x^3783 + 2*x^3784 + 10*x^3785 + 2*x^3786 + 4*x^3787 + 2*x^3788 + 4*x^3789 + 6*x^3790 + 2*x^3791 + 6*x^3792 + 4*x^3793 + 2*x^3794 + 4*x^3795 + 6*x^3796 + 8*x^3797 + 6*x^3798 + 6*x^3799 + 6*x^3800 + 4*x^3801 + 6*x^3802 + 8*x^3803 + 4*x^3804 + 2*x^3805 + 4*x^3806 + 2*x^3807 + 4*x^3808 + 8*x^3809 + 6*x^3810 + 4*x^3811 + 8*x^3812 + 4*x^3813 + 6*x^3814 + 2*x^3815 + 6*x^3816 + 10*x^3817 + 2*x^3818 + 4*x^3819 + 6*x^3820 + 8*x^3821 + 4*x^3822 + 2*x^3823 + 4*x^3824 + 2*x^3825 + 10*x^3826 + 2*x^3827 + 10*x^3828 + 2*x^3829 + 4*x^3830 + 2*x^3831 + 4*x^3832 + 6*x^3833 + 12*x^3834 + 2*x^3835 + 4*x^3836 + 6*x^3837 + 8*x^3838 + 6*x^3839 + 4*x^3840 + 2*x^3841 + 6*x^3842 + 10*x^3843 + 8*x^3844 + 4*x^3845 + 6*x^3846 + 6*x^3847 + 8*x^3848 + 6*x^3849 + 4*x^3850 + 6*x^3851 + 2*x^3852 + 4*x^3853 + 6*x^3854 + 2*x^3855 + 6*x^3856 + 6*x^3857 + 4*x^3858 + 6*x^3859 + 6*x^3860 + 2*x^3861 + 12*x^3862 + 4*x^3863 + 2*x^3864 + 10*x^3865 + 2*x^3866 + 10*x^3867 + 2*x^3868 + 4*x^3869 + 2*x^3870 + 4*x^3871 + 8*x^3872 + 6*x^3873 + 4*x^3874 + 2*x^3875 + 10*x^3876 + 6*x^3877 + 2*x^3878 + 6*x^3879 + 4*x^3880 + 2*x^3881 + 6*x^3882 + 4*x^3883 + 6*x^3884 + 8*x^3885 + 4*x^3886 + 2*x^3887 + 6*x^3888 + 12*x^3889 + 6*x^3890 + 4*x^3891 + 6*x^3892 + 2*x^3893 + 4*x^3894 + 6*x^3895 + 2*x^3896 + 12*x^3897 + 4*x^3898 + 2*x^3899 + 4*x^3900 + 8*x^3901 + 6*x^3902 + 4*x^3903 + 2*x^3904 + 4*x^3905 + 2*x^3906 + 10*x^3907 + 12*x^3908 + 6*x^3909 + 2*x^3910 + 4*x^3911 + 6*x^3912 + 2*x^3913 + 6*x^3914 + 4*x^3915 + 2*x^3916 + 4*x^3917 + 12*x^3918 + 2*x^3919 + 6*x^3920 + 4*x^3921 + 2*x^3922 + 10*x^3923 + 6*x^3924 + 8*x^3925 + 6*x^3926 + 4*x^3927 + 2*x^3928 + 4*x^3929 + 8*x^3930 + 6*x^3931 + 10*x^3932 + 2*x^3933 + 4*x^3934 + 6*x^3935 + 2*x^3936 + 12*x^3937 + 6*x^3938 + 4*x^3939 + 6*x^3940 + 2*x^3941 + 6*x^3942 + 4*x^3943 + 2*x^3944 + 4*x^3945 + 2*x^3946 + 22*x^3947 + 2*x^3948 + 4*x^3949 + 2*x^3950 + 10*x^3951 + 2*x^3952 + 6*x^3953 + 4*x^3954 + 2*x^3955 + 4*x^3956 + 6*x^3957 + 6*x^3958 + 2*x^3959 + 10*x^3960 + 2*x^3961 + 6*x^3962 + 4*x^3963 + 14*x^3964 + 4*x^3965 + 6*x^3966 + 2*x^3967 + 4*x^3968 + 8*x^3969 + 6*x^3970 + 4*x^3971 + 6*x^3972 + 2*x^3973 + 4*x^3974 + 6*x^3975 + 2*x^3976 + 6*x^3977 + 6*x^3978 + 4*x^3979 + 2*x^3980 + 4*x^3981 + 6*x^3982 + 8*x^3983 + 4*x^3984 + 2*x^3985 + 4*x^3986 + 12*x^3987 + 2*x^3988 + 12*x^3989 + 4*x^3990 + 2*x^3991 + 10*x^3992 + 2*x^3993 + 6*x^3994 + 4*x^3995 + 2*x^3996 + 4*x^3997 + 6*x^3998 + 6*x^3999 + 2*x^4000 + 6*x^4001 + 4*x^4002 + 2*x^4003 + 6*x^4004 + 4*x^4005 + 6*x^4006 + 8*x^4007 + 6*x^4008 + 4*x^4009 + 2*x^4010 + 4*x^4011 + 18*x^4012 + 6*x^4013 + 2*x^4014 + 10*x^4015 + 2*x^4016 + 6*x^4017 + 6*x^4018 + 4*x^4019 + 2*x^4020 + 4*x^4021 + 8*x^4022 + 10*x^4023 + 2*x^4024 + 4*x^4025 + 2*x^4026 + 12*x^4027 + 10*x^4028 + 2*x^4029 + 4*x^4030 + 2*x^4031 + 4*x^4032 + 6*x^4033 + 2*x^4034 + 6*x^4035 + 4*x^4036 + 12*x^4037 + 6*x^4038 + 2*x^4039 + 6*x^4040 + 4*x^4041 + 8*x^4042 + 4*x^4043 + 6*x^4044 + 8*x^4045 + 4*x^4046 + 2*x^4047 + 4*x^4048 + 6*x^4049 + 8*x^4050 + 6*x^4051 + 10*x^4052 + 2*x^4053 + 4*x^4054 + 6*x^4055 + 8*x^4056 + 6*x^4057 + 4*x^4058 + 2*x^4059 + 4*x^4060 + 6*x^4061 + 2*x^4062 + 6*x^4063 + 4*x^4064 + 2*x^4065 + 6*x^4066 + 10*x^4067 + 2*x^4068 + 10*x^4069 + 2*x^4070 + 4*x^4071 + 6*x^4072 + 6*x^4073 + 8*x^4074 + 4*x^4075 + 2*x^4076 + 4*x^4077 + 12*x^4078 + 2*x^4079 + 6*x^4080 + 6*x^4081 + 6*x^4082 + 4*x^4083 + 6*x^4084 + 12*x^4085 + 2*x^4086 + 4*x^4087 + 2*x^4088 + 4*x^4089 + 8*x^4090 + 6*x^4091 + 4*x^4092 + 6*x^4093 + 2*x^4094 + 4*x^4095 + 8*x^4096 + 6*x^4097 + 10*x^4098 + 2*x^4099 + 4*x^4100 + 6*x^4101 + 2*x^4102 + 6*x^4103 + 4*x^4104 + 2*x^4105 + 4*x^4106 + 2*x^4107 + 10*x^4108 + 2*x^4109 + 10*x^4110 + 2*x^4111 + 10*x^4112 + 6*x^4113 + 2*x^4114 + 6*x^4115 + 10*x^4116 + 6*x^4117 + 6*x^4118 + 2*x^4119 + 6*x^4120 + 4*x^4121 + 2*x^4122 + 6*x^4123 + 4*x^4124 + 6*x^4125 + 8*x^4126 + 4*x^4127 + 2*x^4128 + 6*x^4129 + 4*x^4130 + 14*x^4131 + 4*x^4132 + 6*x^4133 + 2*x^4134 + 4*x^4135 + 6*x^4136 + 8*x^4137 + 6*x^4138 + 4*x^4139 + 2*x^4140 + 10*x^4141 + 2*x^4142 + 6*x^4143 + 4*x^4144 + 2*x^4145 + 4*x^4146 + 12*x^4147 + 2*x^4148 + 10*x^4149 + 2*x^4150 + 4*x^4151 + 2*x^4152 + 4*x^4153 + 8*x^4154 + 6*x^4155 + 6*x^4156 + 4*x^4157 + 6*x^4158 + 6*x^4159 + 2*x^4160 + 10*x^4161 + 8*x^4162 + 4*x^4163 + 6*x^4164 + 8*x^4165 + 4*x^4166 + 2*x^4167 + 4*x^4168 + 2*x^4169 + 4*x^4170 + 8*x^4171 + 6*x^4172 + 4*x^4173 + 6*x^4174 + 6*x^4175 + 6*x^4176 + 2*x^4177 + 6*x^4178 + 6*x^4179 + 4*x^4180 + 2*x^4181 + 4*x^4182 + 6*x^4183 + 2*x^4184 + 6*x^4185 + 4*x^4186 + 2*x^4187 + 6*x^4188 + 10*x^4189 + 2*x^4190 + 10*x^4191 + 8*x^4192 + 4*x^4193 + 6*x^4194 + 2*x^4195 + 6*x^4196 + 4*x^4197 + 2*x^4198 + 4*x^4199 + 6*x^4200 + 6*x^4201 + 8*x^4202 + 4*x^4203 + 2*x^4204 + 6*x^4205 + 10*x^4206 + 8*x^4207 + 4*x^4208 + 2*x^4209 + 4*x^4210 + 2*x^4211 + 4*x^4212 + 8*x^4213 + 10*x^4214 + 6*x^4215 + 2*x^4216 + 12*x^4217 + 6*x^4218 + 6*x^4219 + 4*x^4220 + 6*x^4221 + 6*x^4222 + 2*x^4223 + 6*x^4224 + 4*x^4225 + 6*x^4226 + 2*x^4227 + 10*x^4228 + 2*x^4229 + 12*x^4230 + 4*x^4231 + 2*x^4232 + 4*x^4233 + 6*x^4234 + 2*x^4235 + 10*x^4236 + 2*x^4237 + 4*x^4238 + 6*x^4239 + 6*x^4240 + 2*x^4241 + 6*x^4242 + 6*x^4243 + 6*x^4244 + 4*x^4245 + 14*x^4246 + 4*x^4247 + 2*x^4248 + 4*x^4249 + 2*x^4250 + 4*x^4251 + 8*x^4252 + 6*x^4253 + 4*x^4254 + 8*x^4255 + 4*x^4256 + 6*x^4257 + 2*x^4258 + 6*x^4259 + 6*x^4260 + 6*x^4261 + 4*x^4262 + 6*x^4263 + 8*x^4264 + 4*x^4265 + 6*x^4266 + 2*x^4267 + 10*x^4268 + 2*x^4269 + 10*x^4270 + 2*x^4271 + 4*x^4272 + 2*x^4273 + 4*x^4274 + 6*x^4275 + 2*x^4276 + 10*x^4277 + 2*x^4278 + 4*x^4279 + 6*x^4280 + 14*x^4281 + 4*x^4282 + 2*x^4283 + 6*x^4284 + 4*x^4285 + 6*x^4286 + 8*x^4287 + 4*x^4288 + 6*x^4289 + 2*x^4290 + 12*x^4291 + 6*x^4292 + 4*x^4293 + 6*x^4294 + 6*x^4295 + 6*x^4296 + 2*x^4297 + 6*x^4298 + 6*x^4299 + 4*x^4300 + 6*x^4301 + 6*x^4302 + 2*x^4303 + 6*x^4304 + 6*x^4305 + 4*x^4306 + 2*x^4307 + 10*x^4308 + 2*x^4309 + 10*x^4310 + 2*x^4311 + 4*x^4312 + 2*x^4313 + 4*x^4314 + 6*x^4315 + 2*x^4316 + 6*x^4317 + 4*x^4318 + 2*x^4319 + 10*x^4320 + 8*x^4321 + 6*x^4322 + 4*x^4323 + 2*x^4324 + 6*x^4325 + 4*x^4326 + 6*x^4327 + 8*x^4328 + 4*x^4329 + 2*x^4330 + 4*x^4331 + 2*x^4332 + 12*x^4333 + 6*x^4334 + 4*x^4335 + 8*x^4336 + 4*x^4337 + 6*x^4338 + 2*x^4339 + 16*x^4340 + 2*x^4341 + 4*x^4342 + 8*x^4343 + 6*x^4344 + 4*x^4345 + 2*x^4346 + 4*x^4347 + 2*x^4348 + 10*x^4349 + 2*x^4350 + 10*x^4351 + 6*x^4352 + 2*x^4353 + 4*x^4354 + 6*x^4355 + 8*x^4356 + 4*x^4357 + 2*x^4358 + 4*x^4359 + 6*x^4360 + 6*x^4361 + 2*x^4362 + 6*x^4363 + 4*x^4364 + 2*x^4365 + 16*x^4366 + 8*x^4367 + 6*x^4368 + 4*x^4369 + 6*x^4370 + 8*x^4371 + 6*x^4372 + 4*x^4373 + 6*x^4374 + 2*x^4375 + 4*x^4376 + 6*x^4377 + 2*x^4378 + 6*x^4379 + 6*x^4380 + 6*x^4381 + 4*x^4382 + 6*x^4383 + 2*x^4384 + 10*x^4385 + 2*x^4386 + 4*x^4387 + 2*x^4388 + 10*x^4389 + 12*x^4390 + 2*x^4391 + 4*x^4392 + 2*x^4393 + 12*x^4394 + 6*x^4395 + 4*x^4396 + 2*x^4397 + 4*x^4398 + 6*x^4399 + 6*x^4400 + 2*x^4401 + 10*x^4402 + 2*x^4403 + 6*x^4404 + 4*x^4405 + 14*x^4406 + 4*x^4407 + 2*x^4408 + 6*x^4409 + 4*x^4410 + 8*x^4411 + 6*x^4412 + 4*x^4413 + 6*x^4414 + 2*x^4415 + 4*x^4416 + 6*x^4417 + 2*x^4418 + 6*x^4419 + 6*x^4420 + 4*x^4421 + 2*x^4422 + 4*x^4423 + 6*x^4424 + 2*x^4425 + 6*x^4426 + 4*x^4427 + 2*x^4428 + 4*x^4429 + 12*x^4430 + 14*x^4431 + 4*x^4432 + 2*x^4433 + 4*x^4434 + 6*x^4435 + 2*x^4436 + 6*x^4437 + 4*x^4438 + 2*x^4439 + 4*x^4440 + 12*x^4441 + 2*x^4442 + 6*x^4443 + 4*x^4444 + 2*x^4445 + 10*x^4446 + 6*x^4447 + 8*x^4448 + 4*x^4449 + 2*x^4450 + 4*x^4451 + 2*x^4452 + 4*x^4453 + 14*x^4454 + 10*x^4455 + 2*x^4456 + 10*x^4457 + 2*x^4458 + 12*x^4459 + 4*x^4460 + 2*x^4461 + 4*x^4462 + 6*x^4463 + 2*x^4464 + 10*x^4465 + 2*x^4466 + 4*x^4467 + 2*x^4468 + 12*x^4469 + 10*x^4470 + 2*x^4471 + 4*x^4472 + 2*x^4473 + 4*x^4474 + 6*x^4475 + 2*x^4476 + 6*x^4477 + 4*x^4478 + 6*x^4479 + 6*x^4480 + 6*x^4481 + 2*x^4482 + 6*x^4483 + 4*x^4484 + 2*x^4485 + 6*x^4486 + 4*x^4487 + 6*x^4488 + 8*x^4489 + 4*x^4490 + 6*x^4491 + 6*x^4492 + 8*x^4493 + 6*x^4494 + 10*x^4495 + 2*x^4496 + 4*x^4497 + 6*x^4498 + 2*x^4499 + 6*x^4500 + 6*x^4501 + 4*x^4502 + 2*x^4503 + 4*x^4504 + 6*x^4505 + 8*x^4506 + 4*x^4507 + 2*x^4508 + 6*x^4509 + 10*x^4510 + 2*x^4511 + 10*x^4512 + 2*x^4513 + 4*x^4514 + 2*x^4515 + 10*x^4516 + 8*x^4517 + 4*x^4518 + 2*x^4519 + 4*x^4520 + 12*x^4521 + 2*x^4522 + 6*x^4523 + 4*x^4524 + 2*x^4525 + 6*x^4526 + 4*x^4527 + 6*x^4528 + 14*x^4529 + 4*x^4530 + 2*x^4531 + 4*x^4532 + 8*x^4533 + 10*x^4534 + 6*x^4535 + 2*x^4536 + 4*x^4537 + 6*x^4538 + 2*x^4539 + 6*x^4540 + 10*x^4541 + 2*x^4542 + 4*x^4543 + 8*x^4544 + 6*x^4545 + 4*x^4546 + 2*x^4547 + 4*x^4548 + 2*x^4549 + 10*x^4550 + 2*x^4551 + 10*x^4552 + 2*x^4553 + 4*x^4554 + 6*x^4555 + 6*x^4556 + 2*x^4557 + 6*x^4558 + 6*x^4559 + 10*x^4560 + 6*x^4561 + 2*x^4562 + 6*x^4563 + 4*x^4564 + 8*x^4565 + 4*x^4566 + 6*x^4567 + 8*x^4568 + 4*x^4569 + 2*x^4570 + 6*x^4571 + 4*x^4572 + 8*x^4573 + 6*x^4574 + 4*x^4575 + 6*x^4576 + 2*x^4577 + 4*x^4578 + 6*x^4579 + 8*x^4580 + 6*x^4581 + 4*x^4582 + 2*x^4583 + 10*x^4584 + 2*x^4585 + 6*x^4586 + 4*x^4587 + 2*x^4588 + 4*x^4589 + 2*x^4590 + 10*x^4591 + 2*x^4592 + 10*x^4593 + 2*x^4594 + 4*x^4595 + 6*x^4596 + 8*x^4597 + 6*x^4598 + 4*x^4599 + 2*x^4600 + 4*x^4601 + 6*x^4602 + 6*x^4603 + 2*x^4604 + 6*x^4605 + 12*x^4606 + 4*x^4607 + 6*x^4608 + 12*x^4609 + 2*x^4610 + 4*x^4611 + 2*x^4612 + 4*x^4613 + 8*x^4614 + 6*x^4615 + 4*x^4616 + 6*x^4617 + 6*x^4618 + 8*x^4619 + 6*x^4620 + 6*x^4621 + 4*x^4622 + 2*x^4623 + 4*x^4624 + 6*x^4625 + 2*x^4626 + 6*x^4627 + 4*x^4628 + 2*x^4629 + 4*x^4630 + 2*x^4631 + 10*x^4632 + 2*x^4633 + 10*x^4634 + 2*x^4635 + 6*x^4636 + 4*x^4637 + 6*x^4638 + 2*x^4639 + 6*x^4640 + 4*x^4641 + 6*x^4642 + 6*x^4643 + 6*x^4644 + 8*x^4645 + 4*x^4646 + 2*x^4647 + 6*x^4648 + 10*x^4649 + 8*x^4650 + 4*x^4651 + 2*x^4652 + 4*x^4653 + 2*x^4654 + 4*x^4655 + 18*x^4656 + 6*x^4657 + 2*x^4658 + 4*x^4659 + 8*x^4660 + 6*x^4661 + 6*x^4662 + 4*x^4663 + 2*x^4664 + 10*x^4665 + 2*x^4666 + 6*x^4667 + 4*x^4668 + 6*x^4669 + 12*x^4670 + 2*x^4671 + 10*x^4672 + 2*x^4673 + 4*x^4674 + 2*x^4675 + 4*x^4676 + 6*x^4677 + 2*x^4678 + 6*x^4679 + 6*x^4680 + 4*x^4681 + 6*x^4682 + 6*x^4683 + 2*x^4684 + 12*x^4685 + 6*x^4686 + 4*x^4687 + 6*x^4688 + 8*x^4689 + 4*x^4690 + 2*x^4691 + 4*x^4692 + 2*x^4693 + 4*x^4694 + 8*x^4695 + 6*x^4696 + 4*x^4697 + 8*x^4698 + 4*x^4699 + 6*x^4700 + 2*x^4701 + 6*x^4702 + 6*x^4703 + 4*x^4704 + 2*x^4705 + 4*x^4706 + 6*x^4707 + 8*x^4708 + 4*x^4709 + 2*x^4710 + 6*x^4711 + 10*x^4712 + 2*x^4713 + 10*x^4714 + 6*x^4715 + 2*x^4716 + 4*x^4717 + 6*x^4718 + 2*x^4719 + 10*x^4720 + 2*x^4721 + 4*x^4722 + 6*x^4723 + 8*x^4724 + 6*x^4725 + 4*x^4726 + 2*x^4727 + 6*x^4728 + 4*x^4729 + 6*x^4730 + 8*x^4731 + 4*x^4732 + 6*x^4733 + 2*x^4734 + 4*x^4735 + 8*x^4736 + 6*x^4737 + 4*x^4738 + 6*x^4739 + 2*x^4740 + 10*x^4741 + 2*x^4742 + 6*x^4743 + 6*x^4744 + 4*x^4745 + 6*x^4746 + 6*x^4747 + 2*x^4748 + 6*x^4749 + 6*x^4750 + 4*x^4751 + 2*x^4752 + 10*x^4753 + 2*x^4754 + 12*x^4755 + 4*x^4756 + 2*x^4757 + 4*x^4758 + 6*x^4759 + 2*x^4760 + 10*x^4761 + 2*x^4762 + 10*x^4763 + 6*x^4764 + 2*x^4765 + 6*x^4766 + 4*x^4767 + 2*x^4768 + 6*x^4769 + 4*x^4770 + 14*x^4771 + 4*x^4772 + 2*x^4773 + 4*x^4774 + 2*x^4775 + 12*x^4776 + 6*x^4777 + 4*x^4778 + 6*x^4779 + 2*x^4780 + 4*x^4781 + 6*x^4782 + 2*x^4783 + 12*x^4784 + 6*x^4785 + 4*x^4786 + 8*x^4787 + 6*x^4788 + 4*x^4789 + 6*x^4790 + 2*x^4791 + 10*x^4792 + 2*x^4793 + 10*x^4794 + 6*x^4795 + 2*x^4796 + 4*x^4797 + 6*x^4798 + 2*x^4799 + 6*x^4800 + 4*x^4801 + 2*x^4802 + 4*x^4803 + 6*x^4804 + 6*x^4805 + 8*x^4806 + 4*x^4807 + 2*x^4808 + 10*x^4809 + 6*x^4810 + 8*x^4811 + 6*x^4812 + 4*x^4813 + 2*x^4814 + 12*x^4815 + 6*x^4816 + 4*x^4817 + 6*x^4818 + 6*x^4819 + 6*x^4820 + 2*x^4821 + 6*x^4822 + 6*x^4823 + 6*x^4824 + 4*x^4825 + 6*x^4826 + 2*x^4827 + 6*x^4828 + 6*x^4829 + 4*x^4830 + 2*x^4831 + 10*x^4832 + 12*x^4833 + 2*x^4834 + 4*x^4835 + 2*x^4836 + 10*x^4837 + 2*x^4838 + 6*x^4839 + 4*x^4840 + 2*x^4841 + 4*x^4842 + 6*x^4843 + 8*x^4844 + 10*x^4845 + 2*x^4846 + 6*x^4847 + 4*x^4848 + 14*x^4849 + 4*x^4850 + 2*x^4851 + 4*x^4852 + 2*x^4853 + 4*x^4854 + 8*x^4855 + 6*x^4856 + 4*x^4857 + 8*x^4858 + 4*x^4859 + 6*x^4860 + 2*x^4861 + 6*x^4862 + 10*x^4863 + 2*x^4864 + 4*x^4865 + 6*x^4866 + 2*x^4867 + 6*x^4868 + 4*x^4869 + 2*x^4870 + 4*x^4871 + 12*x^4872 + 2*x^4873 + 12*x^4874 + 4*x^4875 + 2*x^4876 + 4*x^4877 + 6*x^4878 + 8*x^4879 + 4*x^4880 + 2*x^4881 + 4*x^4882 + 6*x^4883 + 6*x^4884 + 2*x^4885 + 6*x^4886 + 4*x^4887 + 2*x^4888 + 6*x^4889 + 10*x^4890 + 8*x^4891 + 4*x^4892 + 2*x^4893 + 4*x^4894 + 6*x^4895 + 14*x^4896 + 4*x^4897 + 6*x^4898 + 2*x^4899 + 10*x^4900 + 2*x^4901 + 6*x^4902 + 6*x^4903 + 4*x^4904 + 2*x^4905 + 4*x^4906 + 6*x^4907 + 2*x^4908 + 10*x^4909 + 2*x^4910 + 4*x^4911 + 2*x^4912 + 12*x^4913 + 10*x^4914 + 2*x^4915 + 4*x^4916 + 2*x^4917 + 4*x^4918 + 8*x^4919 + 6*x^4920 + 4*x^4921 + 6*x^4922 + 6*x^4923 + 6*x^4924 + 2*x^4925 + 6*x^4926 + 4*x^4927 + 2*x^4928 + 6*x^4929 + 4*x^4930 + 6*x^4931 + 8*x^4932 + 4*x^4933 + 2*x^4934 + 10*x^4935 + 8*x^4936 + 6*x^4937 + 10*x^4938 + 2*x^4939 + 4*x^4940 + 6*x^4941 + 2*x^4942 + 6*x^4943 + 6*x^4944 + 4*x^4945 + 2*x^4946 + 4*x^4947 + 6*x^4948 + 2*x^4949 + 6*x^4950 + 4*x^4951 + 2*x^4952 + 6*x^4953 + 10*x^4954 + 12*x^4955 + 2*x^4956 + 4*x^4957 + 2*x^4958 + 4*x^4959 + 6*x^4960 + 8*x^4961 + 4*x^4962 + 2*x^4963 + 4*x^4964 + 12*x^4965 + 2*x^4966 + 6*x^4967 + 4*x^4968 + 2*x^4969 + 10*x^4970 + 6*x^4971 + 12*x^4972 + 2*x^4973 + 4*x^4974 + 2*x^4975 + 4*x^4976 + 8*x^4977 + 6*x^4978 + 10*x^4979 + 2*x^4980 + 4*x^4981 + 6*x^4982 + 2*x^4983 + 16*x^4984 + 2*x^4985 + 4*x^4986 + 6*x^4987 + 2*x^4988 + 6*x^4989 + 4*x^4990 + 2*x^4991 + 4*x^4992 + 2*x^4993 + 12*x^4994 + 10*x^4995 + 2*x^4996 + 4*x^4997 + 6*x^4998 + 6*x^4999 + 2*x^5000 + 6*x^5001 + 6*x^5002 + 4*x^5003 + 6*x^5004 + 6*x^5005 + 2*x^5006 + 6*x^5007 + 4*x^5008 + 2*x^5009 + 6*x^5010 + 4*x^5011 + 6*x^5012 + 8*x^5013 + 4*x^5014 + 8*x^5015 + 4*x^5016 + 8*x^5017 + 6*x^5018 + 4*x^5019 + 6*x^5020 + 2*x^5021 + 4*x^5022 + 6*x^5023 + 8*x^5024 + 6*x^5025 + 4*x^5026 + 2*x^5027 + 10*x^5028 + 8*x^5029 + 4*x^5030 + 2*x^5031 + 4*x^5032 + 2*x^5033 + 10*x^5034 + 2*x^5035 + 10*x^5036 + 2*x^5037 + 4*x^5038 + 2*x^5039 + 12*x^5040 + 6*x^5041 + 4*x^5042 + 2*x^5043 + 4*x^5044 + 6*x^5045 + 6*x^5046 + 2*x^5047 + 6*x^5048 + 4*x^5049 + 8*x^5050 + 4*x^5051 + 6*x^5052 + 8*x^5053 + 6*x^5054 + 4*x^5055 + 2*x^5056 + 4*x^5057 + 8*x^5058 + 10*x^5059 + 6*x^5060 + 6*x^5061 + 6*x^5062 + 2*x^5063 + 6*x^5064 + 6*x^5065 + 4*x^5066 + 2*x^5067 + 4*x^5068 + 8*x^5069 + 6*x^5070 + 4*x^5071 + 2*x^5072 + 4*x^5073 + 2*x^5074 + 10*x^5075 + 2*x^5076 + 10*x^5077 + 2*x^5078 + 6*x^5079 + 4*x^5080 + 6*x^5081 + 2*x^5082 + 6*x^5083 + 4*x^5084 + 2*x^5085 + 10*x^5086 + 6*x^5087 + 8*x^5088 + 4*x^5089 + 8*x^5090 + 10*x^5091 + 8*x^5092 + 4*x^5093 + 2*x^5094 + 4*x^5095 + 2*x^5096 + 4*x^5097 + 8*x^5098 + 10*x^5099 + 6*x^5100 + 2*x^5101 + 4*x^5102 + 14*x^5103 + 6*x^5104 + 4*x^5105 + 2*x^5106 + 4*x^5107 + 6*x^5108 + 2*x^5109 + 6*x^5110 + 4*x^5111 + 6*x^5112 + 2*x^5113 + 10*x^5114 + 2*x^5115 + 10*x^5116 + 2*x^5117 + 4*x^5118 + 6*x^5119 + 6*x^5120 + 2*x^5121 + 6*x^5122 + 4*x^5123 + 2*x^5124 + 4*x^5125 + 6*x^5126 + 6*x^5127 + 2*x^5128 + 6*x^5129 + 6*x^5130 + 6*x^5131 + 4*x^5132 + 6*x^5133 + 12*x^5134 + 2*x^5135 + 4*x^5136 + 2*x^5137 + 4*x^5138 + 8*x^5139 + 6*x^5140 + 4*x^5141 + 8*x^5142 + 4*x^5143 + 8*x^5144 + 6*x^5145 + 6*x^5146 + 4*x^5147 + 2*x^5148 + 4*x^5149 + 6*x^5150 + 8*x^5151 + 4*x^5152 + 2*x^5153 + 4*x^5154 + 2*x^5155 + 10*x^5156 + 2*x^5157 + 10*x^5158 + 2*x^5159 + 6*x^5160 + 4*x^5161 + 6*x^5162 + 2*x^5163 + 10*x^5164 + 6*x^5165 + 6*x^5166 + 8*x^5167 + 6*x^5168 + 4*x^5169 + 2*x^5170 + 6*x^5171 + 4*x^5172 + 6*x^5173 + 8*x^5174 + 4*x^5175 + 6*x^5176 + 2*x^5177 + 4*x^5178 + 14*x^5179 + 4*x^5180 + 6*x^5181 + 2*x^5182 + 4*x^5183 + 6*x^5184 + 2*x^5185 + 6*x^5186 + 6*x^5187 + 4*x^5188 + 12*x^5189 + 2*x^5190 + 6*x^5191 + 6*x^5192 + 4*x^5193 + 12*x^5194 + 2*x^5195 + 10*x^5196 + 2*x^5197 + 4*x^5198 + 2*x^5199 + 4*x^5200 + 6*x^5201 + 2*x^5202 + 6*x^5203 + 6*x^5204 + 10*x^5205 + 6*x^5206 + 2*x^5207 + 10*x^5208 + 2*x^5209 + 6*x^5210 + 4*x^5211 + 6*x^5212 + 8*x^5213 + 4*x^5214 + 2*x^5215 + 4*x^5216 + 2*x^5217 + 12*x^5218 + 6*x^5219 + 4*x^5220 + 6*x^5221 + 2*x^5222 + 4*x^5223 + 6*x^5224 + 2*x^5225 + 12*x^5226 + 4*x^5227 + 2*x^5228 + 4*x^5229 + 8*x^5230 + 6*x^5231 + 4*x^5232 + 2*x^5233 + 6*x^5234 + 10*x^5235 + 2*x^5236 + 10*x^5237 + 6*x^5238 + 2*x^5239 + 4*x^5240 + 6*x^5241 + 2*x^5242 + 6*x^5243 + 4*x^5244 + 2*x^5245 + 4*x^5246 + 6*x^5247 + 6*x^5248 + 2*x^5249 + 6*x^5250 + 4*x^5251 + 2*x^5252 + 10*x^5253 + 6*x^5254 + 8*x^5255 + 6*x^5256 + 4*x^5257 + 2*x^5258 + 4*x^5259 + 8*x^5260 + 6*x^5261 + 4*x^5262 + 6*x^5263 + 2*x^5264 + 10*x^5265 + 2*x^5266 + 6*x^5267 + 6*x^5268 + 10*x^5269 + 6*x^5270 + 2*x^5271 + 6*x^5272 + 4*x^5273 + 2*x^5274 + 4*x^5275 + 2*x^5276 + 10*x^5277 + 14*x^5278 + 4*x^5279 + 2*x^5280 + 10*x^5281 + 2*x^5282 + 10*x^5283 + 2*x^5284 + 4*x^5285 + 6*x^5286 + 6*x^5287 + 2*x^5288 + 10*x^5289 + 2*x^5290 + 6*x^5291 + 4*x^5292 + 14*x^5293 + 4*x^5294 + 2*x^5295 + 4*x^5296 + 2*x^5297 + 4*x^5298 + 8*x^5299 + 6*x^5300 + 4*x^5301 + 6*x^5302 + 2*x^5303 + 4*x^5304 + 6*x^5305 + 2*x^5306 + 6*x^5307 + 6*x^5308 + 6*x^5309 + 4*x^5310 + 6*x^5311 + 2*x^5312 + 6*x^5313 + 4*x^5314 + 6*x^5315 + 12*x^5316 + 2*x^5317 + 12*x^5318 + 4*x^5319 + 2*x^5320 + 4*x^5321 + 6*x^5322 + 2*x^5323 + 6*x^5324 + 4*x^5325 + 2*x^5326 + 4*x^5327 + 6*x^5328 + 6*x^5329 + 8*x^5330 + 4*x^5331 + 2*x^5332 + 6*x^5333 + 4*x^5334 + 6*x^5335 + 8*x^5336 + 4*x^5337 + 2*x^5338 + 4*x^5339 + 2*x^5340 + 18*x^5341 + 4*x^5342 + 6*x^5343 + 12*x^5344 + 2*x^5345 + 6*x^5346 + 6*x^5347 + 4*x^5348 + 2*x^5349 + 4*x^5350 + 6*x^5351 + 2*x^5352 + 12*x^5353 + 4*x^5354 + 2*x^5355 + 12*x^5356 + 10*x^5357 + 2*x^5358 + 4*x^5359 + 2*x^5360 + 4*x^5361 + 6*x^5362 + 2*x^5363 + 6*x^5364 + 4*x^5365 + 6*x^5366 + 6*x^5367 + 8*x^5368 + 6*x^5369 + 4*x^5370 + 2*x^5371 + 6*x^5372 + 4*x^5373 + 6*x^5374 + 8*x^5375 + 4*x^5376 + 2*x^5377 + 4*x^5378 + 6*x^5379 + 8*x^5380 + 6*x^5381 + 12*x^5382 + 4*x^5383 + 6*x^5384 + 2*x^5385 + 6*x^5386 + 10*x^5387 + 2*x^5388 + 4*x^5389 + 6*x^5390 + 2*x^5391 + 6*x^5392 + 4*x^5393 + 2*x^5394 + 6*x^5395 + 10*x^5396 + 2*x^5397 + 10*x^5398 + 2*x^5399 + 4*x^5400 + 2*x^5401 + 4*x^5402 + 6*x^5403 + 8*x^5404 + 4*x^5405 + 2*x^5406 + 4*x^5407 + 12*x^5408 + 2*x^5409 + 6*x^5410 + 4*x^5411 + 2*x^5412 + 6*x^5413 + 10*x^5414 + 12*x^5415 + 2*x^5416 + 4*x^5417 + 6*x^5418 + 8*x^5419 + 6*x^5420 + 4*x^5421 + 6*x^5422 + 2*x^5423 + 4*x^5424 + 6*x^5425 + 2*x^5426 + 6*x^5427 + 10*x^5428 + 2*x^5429 + 4*x^5430 + 6*x^5431 + 2*x^5432 + 10*x^5433 + 2*x^5434 + 4*x^5435 + 2*x^5436 + 10*x^5437 + 2*x^5438 + 10*x^5439 + 2*x^5440 + 4*x^5441 + 6*x^5442 + 8*x^5443 + 6*x^5444 + 6*x^5445 + 4*x^5446 + 6*x^5447 + 6*x^5448 + 2*x^5449 + 6*x^5450 + 4*x^5451 + 2*x^5452 + 6*x^5453 + 4*x^5454 + 6*x^5455 + 8*x^5456 + 4*x^5457 + 2*x^5458 + 6*x^5459 + 4*x^5460 + 8*x^5461 + 6*x^5462 + 4*x^5463 + 6*x^5464 + 2*x^5465 + 4*x^5466 + 6*x^5467 + 8*x^5468 + 6*x^5469 + 4*x^5470 + 2*x^5471 + 10*x^5472 + 2*x^5473 + 6*x^5474 + 4*x^5475 + 2*x^5476 + 4*x^5477 + 2*x^5478 + 10*x^5479 + 12*x^5480 + 2*x^5481 + 4*x^5482 + 2*x^5483 + 4*x^5484 + 8*x^5485 + 6*x^5486 + 4*x^5487 + 2*x^5488 + 4*x^5489 + 12*x^5490 + 2*x^5491 + 6*x^5492 + 4*x^5493 + 12*x^5494 + 6*x^5495 + 8*x^5496 + 4*x^5497 + 2*x^5498 + 4*x^5499 + 2*x^5500 + 4*x^5501 + 8*x^5502 + 6*x^5503 + 10*x^5504 + 6*x^5505 + 6*x^5506 + 2*x^5507 + 12*x^5508 + 4*x^5509 + 2*x^5510 + 4*x^5511 + 6*x^5512 + 2*x^5513 + 6*x^5514 + 4*x^5515 + 2*x^5516 + 4*x^5517 + 2*x^5518 + 12*x^5519 + 10*x^5520 + 2*x^5521 + 6*x^5522 + 4*x^5523 + 6*x^5524 + 2*x^5525 + 6*x^5526 + 4*x^5527 + 2*x^5528 + 4*x^5529 + 6*x^5530 + 6*x^5531 + 8*x^5532 + 4*x^5533 + 2*x^5534 + 6*x^5535 + 10*x^5536 + 8*x^5537 + 4*x^5538 + 6*x^5539 + 2*x^5540 + 4*x^5541 + 8*x^5542 + 10*x^5543 + 6*x^5544 + 2*x^5545 + 4*x^5546 + 8*x^5547 + 6*x^5548 + 6*x^5549 + 4*x^5550 + 2*x^5551 + 4*x^5552 + 6*x^5553 + 8*x^5554 + 4*x^5555 + 6*x^5556 + 2*x^5557 + 10*x^5558 + 2*x^5559 + 10*x^5560 + 2*x^5561 + 4*x^5562 + 2*x^5563 + 10*x^5564 + 2*x^5565 + 6*x^5566 + 4*x^5567 + 2*x^5568 + 4*x^5569 + 6*x^5570 + 6*x^5571 + 2*x^5572 + 6*x^5573 + 6*x^5574 + 6*x^5575 + 4*x^5576 + 6*x^5577 + 8*x^5578 + 6*x^5579 + 4*x^5580 + 2*x^5581 + 4*x^5582 + 8*x^5583 + 10*x^5584 + 8*x^5585 + 4*x^5586 + 6*x^5587 + 2*x^5588 + 6*x^5589 + 6*x^5590 + 4*x^5591 + 2*x^5592 + 4*x^5593 + 14*x^5594 + 4*x^5595 + 2*x^5596 + 4*x^5597 + 2*x^5598 + 10*x^5599 + 2*x^5600 + 10*x^5601 + 2*x^5602 + 4*x^5603 + 2*x^5604 + 4*x^5605 + 6*x^5606 + 2*x^5607 + 10*x^5608 + 2*x^5609 + 10*x^5610 + 8*x^5611 + 6*x^5612 + 4*x^5613 + 8*x^5614 + 4*x^5615 + 6*x^5616 + 8*x^5617 + 4*x^5618 + 6*x^5619 + 2*x^5620 + 4*x^5621 + 8*x^5622 + 6*x^5623 + 4*x^5624 + 6*x^5625 + 2*x^5626 + 4*x^5627 + 6*x^5628 + 8*x^5629 + 6*x^5630 + 4*x^5631 + 6*x^5632 + 6*x^5633 + 2*x^5634 + 6*x^5635 + 6*x^5636 + 4*x^5637 + 2*x^5638 + 10*x^5639 + 2*x^5640 + 10*x^5641 + 2*x^5642 + 4*x^5643 + 6*x^5644 + 6*x^5645 + 2*x^5646 + 6*x^5647 + 4*x^5648 + 2*x^5649 + 10*x^5650 + 6*x^5651 + 2*x^5652 + 6*x^5653 + 6*x^5654 + 6*x^5655 + 4*x^5656 + 6*x^5657 + 12*x^5658 + 2*x^5659 + 4*x^5660 + 2*x^5661 + 12*x^5662 + 6*x^5663 + 4*x^5664 + 6*x^5665 + 2*x^5666 + 4*x^5667 + 8*x^5668 + 12*x^5669 + 4*x^5670 + 2*x^5671 + 4*x^5672 + 8*x^5673 + 6*x^5674 + 4*x^5675 + 2*x^5676 + 4*x^5677 + 2*x^5678 + 10*x^5679 + 2*x^5680 + 10*x^5681 + 8*x^5682 + 4*x^5683 + 6*x^5684 + 2*x^5685 + 6*x^5686 + 4*x^5687 + 6*x^5688 + 6*x^5689 + 6*x^5690 + 2*x^5691 + 6*x^5692 + 4*x^5693 + 2*x^5694 + 10*x^5695 + 6*x^5696 + 8*x^5697 + 6*x^5698 + 4*x^5699 + 2*x^5700 + 4*x^5701 + 14*x^5702 + 4*x^5703 + 6*x^5704 + 2*x^5705 + 4*x^5706 + 6*x^5707 + 2*x^5708 + 6*x^5709 + 6*x^5710 + 6*x^5711 + 10*x^5712 + 2*x^5713 + 6*x^5714 + 4*x^5715 + 2*x^5716 + 4*x^5717 + 12*x^5718 + 12*x^5719 + 2*x^5720 + 4*x^5721 + 2*x^5722 + 10*x^5723 + 2*x^5724 + 6*x^5725 + 6*x^5726 + 4*x^5727 + 6*x^5728 + 6*x^5729 + 2*x^5730 + 10*x^5731 + 2*x^5732 + 6*x^5733 + 4*x^5734 + 14*x^5735 + 4*x^5736 + 2*x^5737 + 4*x^5738 + 2*x^5739 + 4*x^5740 + 8*x^5741 + 6*x^5742 + 4*x^5743 + 6*x^5744 + 2*x^5745 + 4*x^5746 + 6*x^5747 + 2*x^5748 + 6*x^5749 + 6*x^5750 + 4*x^5751 + 2*x^5752 + 4*x^5753 + 6*x^5754 + 2*x^5755 + 6*x^5756 + 4*x^5757 + 2*x^5758 + 16*x^5759 + 1*x^5760)/(1 -x -x^5760 +x^5761)