On the Ellenberg-Gijswijt sequence that is an upper bound for the size of Su\ n bsets of, F[8] , with No Three-Term Arithemtical Progressions By Shalosh B. Ekhad In the brilliant paper "On large subsets of F_q^n with no Three-Term Arithmetic Progressions" by Jordan S. Ellenberg and Dion Gijswijt arxiv: 1605.09223v1 the authors prove that if M[d,n] is the sum of the coefficients from x^0 to \ x^d of the polynomial 7 6 5 4 3 2 n (x + x + x + x + x + x + x + 1) n then, for any d, the size of any subset of, F[8] , with no three-term arithmetical progressions is <= n 2 M[d/2, n] + 8 - M[d, n] 14 n Taking d to be , ----, and replacing n by 3m, it is easy to see that the abo\ 3 ve is bounded by a constant time the sequence (7 m) A(m):=Coefficient of, x , in the polynomial , 7 6 5 4 3 2 (3 m) (x + x + x + x + x + x + x + 1) Thanks to the Almkvist-Zeilberger algorithm, the sequence A(m) satisfies the\ linear recurrence equation with polynomial coefficients of order, 7 -39397489540237099008 (3 m + 20) (3 m + 17) (3 m + 14) (3 m + 11) (3 m + 8) (3 m + 5) (3 m + 2) (3 m + 19) (3 m + 16) (3 m + 13) (3 m + 10) (3 m + 7) (3 m + 4) (3 m + 1) (m + 6) (m + 5) (m + 4) (m + 3) (m + 2) (m + 1) ( 51 1701175539921869284761500923264067581769705827540182980194607468427 m + 50 414529735370367322202448456595000635665714903907169016368898751618420 m + 49 49428211999039248757712188695721220135102312701789706139494320274012550 m + 3843827423209634509041646683712659242492542390863861902017334576024757444 48 m + 219223033399770793505793732687007703151940247512713828604118973081918901371 47 m + 977628272170527290268950609576343475487300189514421768526666122247\ 46 4226219524 m + 3549361812121447338441982395149782334040762117136058759\ 45 39374317879360988035490 m + 107854002219032581582346765023632153250212\ 44 50659702853544002314770233303054375574 m + 279874416719260670723017857\ 43 612398425395940001809367971175416724108149975834235751 m + 62970486476\ 42 54899802796608539307773960988206373086385718576815304378042446614105866 m + 124310723176245034711016516504998449365994949863961057901906431238085\ 41 147420240623793 m + 21736360800882064077616196154842144518555123673673\ 40 80380832473666744999669949506008216 m + 339240489714387931655783073906\ 39 79823656260358984007069930281064523177232331294450568865 m + 475571730\ 709165051272544224257933389488362248095285367426420453289466764094462153\ 38 151206 m + 60199568037080910007056748851499678952106770974641671614314\ 37 45415714269124505271413995008 m + 691114062323207152089930457329867345\ 36 25924585154768114218623758349690506413083725193826596 m + 722256361124\ 486027264706160693203219325935916029958821556062236007055186389592802328\ 35 095106 m + 68924193858845462839032538283447715408603693137827992240844\ 34 60190515885649581052337977378214 m + 602184943543801595325401820185462\ 33 87211293369408897535221211703529214169008387983296807563940 m + 482748\ 351884413755805656430899625932266819004233076278659585473744175305932470\ 32 499683231879764 m + 35574433139877986656683174617793113022203697906323\ 31 95446304276661349372575573138011982465016105 m + 241341347480172156563\ 591263156014218699728681624720249870916838931187634046641536291538488442\ 30 00 m + 150911704537189328718469429228772772765111292759952110107049806\ 29 075610924046097202190499477933594 m + 87059009680378508783536293986590\ 28 5989394767370898426563473899023911688272147770435759506061210542 m + 4\ 636556028056179056191774597181042547770085887166280853084166768202932594\ 27 503488161505955909902687 m + 22806285425249158547056159283177849582594\ 26 250533692231940136816086111350483040133686337542228441766 m + 10362764\ 181656266632281414054919187830651354366259158676188480779062610074847770\ 25 4980752636376937625 m + 4349543885911761122091265296900009208814283409\ 24 60256340868256088091464386937342483198752303032627536 m + 168594780835\ 304070065399856701651391194695842146699631443344934418518173022247670106\ 23 8910069304693159 m + 6031989055787982056811905963325341781871617338891\ 22 300179674143872422797017561121566079765943609547254 m + 19905424681348\ 384240401463805546724941798570308214694560058876945131188430663127288617\ 21 892028701576812 m + 60526335871133807026448206651149819504619942004295\ 20 132763048102253546860285375106582505904910641669704 m + 16936668156299\ 226552732998973764456320986675396898813651482044605079987620294877698316\ 19 9505780036257685 m + 4354529515852850396200277637797405811489974681665\ 18 76572231322609108178186798058022841211420869073174374 m + 102673789683\ 925550166503474345934381322808046474513011684695861930988332749825266551\ 17 3814540233258680612 m + 2215118073868836363592722808108362617574708435\ 16 331135996231785992897795204378432869704962780232988861584 m + 43609610\ 060443194587577101101212714734215277686491163636662249899418690274841162\ 15 02240908362310268611884 m + 780962286445368230793516679579777355741647\ 14 8422650559437880830871121872131295697144193753591950220533576 m + 1267\ 364667040288870472738837641704557453027448475584711886761098296621203409\ 13 5870615877216053772933120320 m + 1855468958366313787730862086813649048\ 12 6005927549264292258175255405811855412777572185605056766903659587776 m + 243764920184074927324408098812546141918695699096735296341453486683464870\ 11 42899967043098089434267021515648 m + 285545271432297444481301666477094\ 10 72088560283193897480982853003378651333443238168692302433946605354938880 m + 295933513785875073155183040618494581964453143191925625057538710254350\ 9 77038287745159626987548182970105856 m + 2687720475185192734092949977218\ 825600679241280243090592370689973813709420247313903489294651177629722726\ 8 4 m + 21137695057490605925908526653590377330158935043115261052297738486\ 7 803672156853062030253237472766232333312 m + 141765825486997276485077204\ 484137349064275997620627660762504379225510421352868091736451536362000732\ 6 46720 m + 7946141968552514198207824124376025349455604915818726409000476\ 5 047965051511323600341364860985426765414400 m + 362036556922472499518376\ 209363039506924826751820966136101395621749707801592838050118995927371758\ 4 7968000 m + 12876453046611148349026908141426547594564321967735704293366\ 3 79989470879056559297960967392956874342400000 m + 3352856088161930972613\ 108994737166938315669520702901054082951518282512646173414931457248806207\ 2 48800000 m + 5683330512394603047956880112690202909731760607870259531221\ 5332890648412902605804978745063309312000000 m + 470500544703908162450591\ 490168939798394819718774739834524240791377271076474778535613328261120000\ 0000) A(m) + 76948221758275584 (3 m + 20) (3 m + 17) (3 m + 14) (3 m + 11) (3 m + 8) (3 m + 5) (3 m + 19) (3 m + 16) (3 m + 13) (3 m + 10) (3 m + 7) (3 m + 4) (m + 6) (m + 5) (m + 4) (m + 3) (m + 2) ( 54 27501203778376938857454423925486916526889064408014598057826024334590882 m + 6770040711443300477868417809128497567489169797583330813764182279499854925 53 m + 815864593389849047279011841810554825185205993130005884376368363428216401287 52 m + 641503476398663667322087982332551618383897419251348380890759074194\ 51 32212751827 m + 370090659064180860023078604245734296929470816721824153\ 50 2938994473377348431093843 m + 1670277636831448815486946837967521553945\ 49 00067689261305193740922969388858142495653 m + 614011501699328680796291\ 48 7296054854715483836904412304143721359459372511782135659567 m + 1890189\ 348375700569564040774476739514612613546449776474440484103631374654050354\ 47 19745 m + 497188134268930413052188387020491660253042206749437401022922\ 46 0335354918261619162556969 m + 1134603653570180204232533044606734467149\ 45 37272874036573008123630424511641753498325669113 m + 227322815820948866\ 44 2331190512557064012254413221257158090869184545708898284180038364827589 m + 403686654171620173206073768107987374393447590364560243132365793380438\ 43 42951952163808184380 m + 640330008274608967603961291601067316291708176\ 42 886296017679082717407654322441377943647311188 m + 91303567436505184297\ 41 02968160433590805623814445137213033605410242593670105367193597570009738 m + 117652444496837580072850240277799330479078951929426963221798551523757\ 40 672117422396964822236568 m + 13761921744613820038023734288264233940603\ 39 69100384959585325477978909016716422516843496489346820 m + 146675120989\ 560432670279648916606409065279692812637017682572895979679271371956661246\ 38 06853269602 m + 142895071254718333717876451470815909227391887110652259\ 37 578980894840178628923489332952540600265258 m + 12759526876064911955099\ 717872065303497470864789545996571486083532159989225852117763038811258212\ 36 62 m + 104664802540589399018047075078049248776723363207234782666567053\ 35 48683887755947192305487751008843105 m + 790224446369210575127123264636\ 34 92021027444303476630037496457568529448487828201113984381517050979267 m + 550022105721731103247751615224354051019155610571959484785049977068555897\ 33 474453468564833529039434533 m + 35339600994354296019654779334382772966\ 32 28708187396917369298412219784417561310853167142326374687008747 m + 209\ 823463822494193178639658418327277702531056458599914144001283497390868096\ 31 94237904104521945014315361 m + 115215916356498238470653113312586451298\ 30 850451389291366497182599087944220050153374621096948606966253909 m + 58\ 545662708950731963359101468252389695015301314039116827401358586377700943\ 29 7474265349219414882039941137 m + 2754014224262091962661362867093023533\ 28 208701953031542028209903258249965806355882516335262457296751510141 m + 119950774114028901024811938530250786289767242090434140953733654713414699\ 27 94487365268034011423502473430890 m + 483720172464258976902286324035694\ 26 97541434471301075140596023445399033698407124897347057790131692190944966 m + 180568287469412753184456926743300912921526189193658875355564754601333\ 25 760523651949846840090343898812245912 m + 62367569092365212199019351110\ 467188909935615845475165346205898709382611063183476824678066382333671204\ 24 8666 m + 1991910476670525285522113996495468781973507717920101846126276\ 23 966701504026251325228548095043296022775351570 m + 58776524598622010592\ 520719507548969800055502229134948866161226462767831489597349299447611144\ 22 15743693273342 m + 160062954680575943671899041126106461327247185284956\ 21 97662677600474623005635982346262345179645081391769355087 m + 401747612\ 847038759299198666941132878166632138888070771029575865792976229981192611\ 20 83250433426491548710982137 m + 927892035883138938335274546501402063768\ 19 87215679982695278985756220780799631171215326202605899392505777748230 m + 196834220940964512225114553449060836442455876789091613621109185250296059\ 18 004495965229032384300790905455452528 m + 38264492416913849898734666592\ 633506964607562191763375894298923542647879898381812209574211381046461091\ 17 2781892 m + 6799125351719577791863164620638476767141142676127734835357\ 16 33346892361726030802118089393822717757917782316068 m + 110091339220207\ 916284535953981417328430273795678931563938464170025751503335269055180481\ 15 0245350170660502203720 m + 1618668296225342177585005939381542550553089\ 14 842299606847094739079905419897145933667407264972260369395319154656 m + 215213054891407648118328516511043318661106014403165645890296083526689580\ 13 7576954504207191620076485364973998592 m + 2574980753923743307286971601\ 321866622657210810685695910660446578139306355360381138921243524327123377\ 12 825572096 m + 27566386804314863396837507068466557159867482791941217933\ 11 75656316303216440102618119620509348657881638914451712 m + 262249706281\ 762627217170033590241406825085495744250384873975118540049199504464550294\ 10 6476190041843780851286528 m + 2198876883774204046394602687730384225310\ 9 983946791493403260700035241040142409484998624411161551906058576706560 m + 160866762695824196977770408088853626577146379227792363368202391042735053\ 8 4125586636397112630562170934095567872 m + 10140862036204455080690617403\ 039349285580794113106325688532144163649482039913048327605016544056816428\ 7 36592640 m + 5421346975271573021777440083335495528547145403332948358846\ 6 74686583014534264334040753198089631111075471032320 m + 2407050638938809\ 218865826787984080593988777653152699809593658041051806390429154594364411\ 5 41356487737465241600 m + 8625852882581258746570517673892819611438075675\ 4 6562307738459008861851407357142091194953181959885579010048000 m + 23938\ 659448116423594652009763100885054788901437028367810038318577735470418663\ 3 374111951861670977438351360000 m + 482008581947369512393971141371243409\ 2 0055055054785227037261466393833567969877206190311054660274080972800000 m + 625376293893274510086058148166061762698499847303303436958730185560599\ 071351119605640001009991811072000000 m + 3917013767006152710860458404151\ 571479480972781581953215870978461861152193983057137518025990209536000000\ 0) A(m + 1) - 50096498540544 (3 m + 20) (3 m + 17) (3 m + 14) (3 m + 11) (3 m + 8) (3 m + 19) (3 m + 16) (3 m + 13) (3 m + 10) (3 m + 7) (m + 6) (m + 5) (m + 4) (m + 3) ( 525528714575336127490134130557086083566540334142780490750242898379947261267 57 m + 132261137349102838303005198710812809033970418911571394965346221292\ 56 752125054956 m + 16307392436022370413552191704164062870262174857418530\ 55 769099911354401694469946011 m + 13129128415907292221887369436018983429\ 54 37500892143146144648334334267870815907465850 m + 776206324994013211614\ 53 21337432081058510741075444986567831717922207922103677307139733 m + 359\ 310114121393461729787289348859261359275811285023828902162373661494228470\ 52 4702727376 m + 1356024541402850685080392902856026859478577083301936474\ 51 89125893493850517608658875902282 m + 428968525650264465644799476642011\ 50 8777809330309168979513918689069266496335860227609464392 m + 1160674355\ 190637771961556837047185707983076522159422420511568350622043224533631479\ 49 48192147 m + 272751346016654065599489954083057787285971463262038353808\ 48 2513782152180435280684878522110728 m + 5633615146623879290772236993098\ 47 8030643218465687942648241903916296065644850627237098172331277 m + 1032\ 582660445199139395044903866053049096234584891425667800776087284909979890\ 46 502946392356780762 m + 16926373140492781807350996262651641197302216343\ 45 109612982289456770247265158757572674120352426080 m + 24974760997126730\ 364732119372581727995139092126929717858341851042268587119794717707845391\ 44 1990892 m + 3334839329458097028495605945602863233252949091026961221207\ 43 887829898470486632411857026774052648551 m + 40481415869227698054238583\ 664594105736351549993841375744788425735483693150820839331309013514099388 42 m + 448452306720678698212873946975454250940958270160829451923103185867\ 41 612972569158166947466984798792514 m + 45486461662848793116406753825545\ 40 55012090049260059662965045677381671352728624277682681496461626554588 m + 423614919383069830075751193892769494905769551340242397507200333827519117\ 39 38660601274216939415457586580 m + 363098397659555877942131310898762276\ 38 785017253579005112730864294559650886166518514130180070744640733314 m + 287031205975709294524357601933513852977796501147626314706565417140294485\ 37 0567550496676851679273848483409 m + 2096231271840107084623475342090282\ 36 1573355371697808742431107810683958658159684479854176557976314120587832 m + 141641056152014085170684726667608336321397460029775955188688612223844\ 35 006269266642347479388839709871326682 m + 88655685479143585556100454831\ 497498454769273241097182762003629847817520677134729457813054734884226681\ 34 7760 m + 5145429829963779123161562288093841227889934013809998010142520\ 33 869821689761112341486517301140468567511255051 m + 27712430170328888858\ 110327573929316408723506617273565179172654761976015200525954810414650578\ 32 107237818249248 m + 13858672446708276958049358904209657251938642416784\ 31 6884107326036367636348447612482629700672461559302107533209 m + 6437825\ 693488368895418620042302418148649678812335494609669363096726048537676406\ 30 17059936315679844489836392422 m + 277860802681381262146874846695728870\ 982037851144627525273865924916427509068519186234766493054173265297279046\ 29 2 m + 1114323138287970386683496073890107144811616819638537212460362547\ 28 3420629645442380938248893837418396042326927900 m + 4151856701948159813\ 696548397518631368919237630600797608456894276831249193125333511391433802\ 27 3895287944800810843 m + 1436807362352743878536538071225005895224258746\ 26 68312858539317133136331986338374584803255124905954468067626185708 m + 461617451203718627225770949910943861513413526363234419727330493866789988\ 25 449442126048836520097442163746794352125 m + 13760000392789258579261405\ 097026294768369496279721334003318171681085217181358652967030571494064447\ 24 78194761928928 m + 380234390202623009162075907936953170781080082163547\ 23 1780718112361222948575374874686422754168341530335185310076579 m + 9730\ 598850743420860868176114869499422541687763271724273780414750806982653411\ 22 648639411640204957455745987445898532 m + 23032951380163262508082245117\ 855228242871669783488737867270442807941170472769881002164382599831849416\ 21 683206688716 m + 50355654571262650976382745343703270032273202750048871\ 20 213666114993073663227632474779520426729709256593403961259632 m + 10150\ 618029929612793774150591835989863684012067123113837734625077024856893349\ 19 5896293035836756112433204345014958250 m + 1882855204837456837650881244\ 262181842017997143351680383258213305691500840736800182133945833107167558\ 18 83184151361456 m + 320640380168990824720247039671140198207589405904811\ 17 249994692598370025864667452814259648960594848334978062890498304 m + 49\ 996027775630146759744378869321854914281465711606066709792171802506189967\ 16 2208779974772471953219628563635141469232 m + 7115833433324167388553136\ 977501549026774325752553915666481191224923845883632448500044625475009335\ 15 43107567392357112 m + 921154738830819056056999708665163014759070311028\ 14 184979445117080842442250215608283713407267740458095711729029075360 m + 108005504216025022444295961481546365192611791146400118142622125132681675\ 13 4369029802262561137783317736781686463229696 m + 1141430993934846165479\ 063186678829712670699328539080329361282807150415725383407915377630028847\ 12 164936415043629194496 m + 10810671939805502099940809112353075677162484\ 11 22512849143398855034850829479189837221017084139448666461525513627044864 m + 911370581277962384379536380538361249963577456002266531741241187466519\ 10 452877872203095729325404577035898043956896256 m + 67829494761645665503\ 472996034016953073600735825506047784242059423765361671781852464987322752\ 9 1337209349782856554496 m + 44124865707445855802149786756275438194814044\ 8 4510942586346969546580006664897827183558591532471645793596295527944192 m + 247797385134617079741711865038785779987575251560426049451532369933917\ 7 490289894287666704789076518447086743909877760 m + 118249004587532414743\ 877942023712587386833664806992724641271462703409624509616980879089533570\ 6 661772288153754828800 m + 469659981173674517572716262849280442383803655\ 5 13475109730497070846994052468346748170515917121452456587958542336000 m + 150919503322823332669913820771056450108545206049015265205338261175530836\ 4 25998861277249910082609082088781824000000 m + 3765727752970844561125580\ 274833080010902741454760865176663751984347351355633147719685326762207073\ 3 742870937600000 m + 683797351460668628080137116976491523115049771054816\ 2 855215972194537275536848143837561472836124184955387904000000 m + 802887\ 254566199872019748964942591086605747526545040701465554451508055381442771\ 87933859677887732250050560000000 m + 45696123261135749829477276052145550\ 458935585918870160247495878518866153137927463662209038365113712640000000\ 00) A(m + 2) + 10871635968 (3 m + 20) (3 m + 17) (3 m + 14) (3 m + 11) (3 m + 19) (3 m + 16) (3 m + 13) (3 m + 10) (m + 6) (m + 5) (m + 4) (150\ 211671127170366137458867349360907975975297399535215003252449462198134205\ 60 82756 m + 390809494163215221370183593593370927299172727872280770814827\ 59 4256992601638632459234 m + 4986075523157957496476095612403795857186684\ 58 09311548855708064385287063251006822058972 m + 415799571083707183551187\ 57 00900303171007462505649676146717699690799865295155117290059890 m + 254\ 887670942249457175901095662316732014639913211551700861614658381484989847\ 56 8937497232000 m + 1224708172095922683980688537812426901815045689275137\ 55 09937204718234818372763875143032326486 m + 480296675992688732211691828\ 54 7267544499920883131209063660714240578866828147515365191998657156 m + 1\ 580716789545736249941966306322565153979460849516753936364280070888833605\ 53 27789497366030220424 m + 445507441598240209129505074182852981096958243\ 52 7038953514267269444300507097242927228535259985636 m + 1091891738594184\ 388684234651597792521094824959708086080672783261351662228096466648912496\ 51 77866562 m + 235528961885727050640256366040887511475681930152294148119\ 50 6475270771855796341512769931127533235088 m + 4514695373474988227151864\ 462770517034228972866311068088737855521150795793495957453599707881081484\ 49 1 m + 7750741772211542318855398379880288323602626075852442453698318681\ 48 94982853224604704717530731272098803 m + 119953970956392572700541585239\ 47 78251030475932897069940861589712543156459098579438157661358827799438533 m + 168271719765837198332692143976090873947966319221872676191016198255530\ 46 347656869364526037068956158854719 m + 21494960767762020448297326829539\ 45 38150095609080673389322508861721377404492853375570492322350389171936413 m + 251014489918345712818140792111106499710454028666584509862322549279061\ 44 77200916714967646552016717988193109 m + 268881222079716473164244560861\ 250347168716326264924378581302142906176177632051294344734334764755092872\ 43 903 m + 26495955621138222516464904902542034638713593948405677975038843\ 42 80656883249577162993627174084771963965359689 m + 240790750437824107500\ 834941963548210399494427972000412696396114175355439968540637773039402819\ 41 81046091450408 m + 202243618689905927857524329663283022873794525043669\ 40 081667670378831572697888301365605809161082287194919675522 m + 15728515\ 396835162161377985689421617871998829305503674082953690745212443756382054\ 39 30920636105020998453697359860 m + 113440039846062904244190722080122081\ 426104443779621681605334629626888814685954486643028181578013212429222838\ 38 90 m + 759793930134694290152232086758453570316938978739069063798792109\ 37 54838078171106702351795865242286964786518145998 m + 473116820565208943\ 361035451373386307119143781455157404100788650841879641252262945542153767\ 36 491772160158168800114 m + 27415215988494417417478438095918525772689001\ 35 91770813062170035090217719079810627075765843632978663512136579824336 m + 147943192318561859491877369715313301395548553727251098294413537014163137\ 34 12213948761078487211164849474899321406002 m + 743934062177040434617735\ 690253460216045333974820724683662965699821949405596538170037871979676919\ 33 38849870525969665 m + 348736066223758583288648425407946221808860325273\ 32 881247190975837541083027270198685935212322052110576589707354143047 m + 152441301628453820402422439781560541807079205662698244512426280204010917\ 31 7972206148610872543892290843704395596769909 m + 6214522104269037193900\ 655419466974348598790292697557569147270512084313376320484886691858297268\ 30 259514875135792902323 m + 23626789357485965362978514990032702127600869\ 705506354770999105771429110818202301359962143742255310885043379302291841 29 m + 837573758067308621919184462478708033267969992816578661814002480856\ 28 42036559672270296632891836910267782393099133614573 m + 276776162287532\ 283242953697058451725407882811411460571522038191435807219715304642767588\ 27 585257829204569564929436470397 m + 85216266932450698310533242757593319\ 318904623118366360242843623655835831786692307439776078156440871932058861\ 26 1483193881 m + 2443083411539304481934276230341365525141984519490798902\ 25 145305266210735988477990365542307368036842706149086603406371212 m + 65\ 168768179988563751511340394259348825915146491061783284483930653587165892\ 24 13703626375133421675870095767192177608670116 m + 161590241437861595950\ 742700374895215584572954053399224105296997723276850111615257332105119144\ 23 26469412161089841582151372 m + 372026840336059025808210148419417857478\ 862839366973703113562843522301004838145325522834751221330804496258837070\ 22 41715336 m + 794217555306942144636873450154399247086626440625125420874\ 21 50517469737120175526500862721457087012164485921768346558731292 m + 156\ 977833602267829639463395262328112619427650854629313632486012008554648360\ 20 619695204781886958876185760303220897088933972 m + 28674316338273479404\ 354934312051377327287238761549687384341320696052668541509070096894246382\ 19 8547391756387215931461940056 m + 4830675139359675820141846599943035247\ 466167627489234139288958904728015295078918256257235563473520963327961244\ 18 24361785488 m + 748777451351200236368131889803240877361047738330446540\ 17 361267161002941737609948766872510247062516769218141276475407887312 m + 106498690846998759839864504216455489461164022411221655740140766420377159\ 16 8627999843769839787797111770574198448686905673936 m + 1385543927490270\ 379531412724660894800604695805606355211417794774462490913780999817482887\ 15 113631808196680412547708689444128 m + 16428916513514490380675082975398\ 091917998019170083073664806008934395030573546234093905504807817468968214\ 14 37753077421089792 m + 176802395690392322482164047351600293467847520957\ 586772514672600544358417919773175386520462060510302978682919118646402073\ 13 6 m + 1718436986916416103870926927303139923138281664732427917705807410\ 12 488764837430075464478268634968564654699819624535011425792 m + 14998555\ 299835878473961304168303829019743182115719446830300274788545346825165400\ 11 73458398254715427353029219819225201403904 m + 116754814654732809939942\ 181517484894312461566597365073551008136426420757319861243511523192030026\ 10 2407676733638801299083264 m + 8039979688073498099955790379597014071963\ 776516959518295076778175643211970020218814652975613281495833231650725219\ 9 06003968 m + 4849060140988517062747859317908895571993346060980204606530\ 8 66299654048701227493405661383913755033694341551674445805850624 m + 2529\ 895331117511876259007833228113049272570002929535699801363287696267018036\ 7 24366493000678576601302984328788140927672320 m + 1123950095059990105466\ 055483198035336101212310575267958204680115547683534833264866373786958977\ 6 45327495923845828470374400 m + 4164984616850837788427593997737008984690\ 642702562742732287433985086580415778498071945670469203435641210138028595\ 5 6096000 m + 12514807346984758116912521802616634363266803169684227646538\ 4 955830628462702077691239135454678976737268445443672965120000 m + 292675\ 399491925984737062968329886872005589148857968147903387852115774377709457\ 3 4018470446007496473020089774702592000000 m + 49932616663301590555031502\ 142335748810423294169728680999940189120731267822416854597955802571281604\ 2 5114748305408000000 m + 55227674464241093218361526507967637498874262238\ 012241934517196102173855474299950775090818020344948615607746560000000 m + 296915611920182698884532962537231239526885704846692682798648345308828047\ 9871248806577629536419653279652249600000000) A(m + 3) - 7077888 (3 m + 20) (3 m + 17) (3 m + 14) (3 m + 19) (3 m + 16) (3 m + 13) (m + 6) (m + 5) ( 742975533108243087152158917991004067737701068743904529991873529506772739\ 63 76311987767 m + 201846037384798209612747497043591612037877627617125913\ 62 08512886356318063582840225812296 m + 269177383029244526320198316696140\ 61 1648416647033001064539648096834144775826616227345048153 m + 2348783996\ 817893015581189216729670340650570498820173557525916278916552410886616958\ 60 93055442 m + 150819345684053128874808735096960034080484663325906733936\ 59 17829182216964157021116198538642515 m + 759933730893533885233193923338\ 58 763164664730990691189661680904000969931221367016184418594491464 m + 31\ 288871547946328199974920367974061480188012261179166096656484001957965268\ 57 691260668713172035469 m + 10824089965817444224019311066414087602600598\ 56 90354815736284530378078614753865645854915072443138784 m + 321060922781\ 674242224140043715762619854089524143037431317298893162025038894855279248\ 55 12427097687890 m + 829210310770516218288388569358379535324882587155876\ 54 770204789880447898920746529473696892793725461734 m + 18873822581496352\ 701660810155027699302364502391219059399943536077634271427815606617398059\ 53 009538961828 m + 38227306345378627153012742614099195232986801024039051\ 52 4393305182004009232851440064400445854325397958004 m + 6944485936675496\ 273992262218928108554655637706507306518287258867985120446765597286293162\ 51 327378525504997 m + 11389610395707498979506151729237469736964092622256\ 50 7232250586802872778607157280130207538820121523246289956 m + 1695797125\ 360238246617279935035491653984767416700041335322479635597007644758592980\ 49 609411307383085241227187 m + 23028511117317253424679906096249933106939\ 48 384448702729207086389388150128136955844503708267060198201880163308 m + 286365556119299099027377019896158581111128817769794713912624139902959069\ 47 595180832096469773278810763034505902 m + 32721392210482487749641010264\ 847134135749448814443488069921839115954491507826495517422545697627704097\ 46 72215058 m + 344579015820995520061471863078646849687003765472607380027\ 45 17934777793643086104846857861796305994092673382676122 m + 335281652706\ 269945738392177677441242854324721752383802093448164541706755436864707798\ 44 171486201131380068545543548 m + 30210981810875759005457217944681745812\ 146638331322242212071799359514512276370771331004653163004496659573428205\ 43 03 m + 252578276358001869300870111678826360356917952788026394826704020\ 42 70569327488899249506477674277280613007651603262676 m + 196260453691387\ 996500141877654408495422685153569943943830238567331110631807534851028587\ 41 219131287223896717643003941 m + 14194006946681038086407351356495930289\ 821438451238262798224917331611485178031641434160504440663281715550927691\ 40 08424 m + 956649709230254953655583501393406541435962013422337326629158\ 39 7997108013937384197720931008928467529305691726340662112 m + 6015002771\ 785849765278805198418529990995894019426260113107764277481063541180455703\ 38 0414475700963498127561073670314190 m + 3531333109441161077258876532241\ 697405985169675737615177609834388424027825358227541442765623816292154413\ 37 52181021000104 m + 193721492194518424879196589268820660493447890190623\ 36 2858334980340055698041356078107382077976665315898808648701228348500 m + 993585386090840363795682896269257164982595769145753987867181157468356229\ 35 5798153001534844276102278843526584359773923607 m + 4766636504685277467\ 866321321829076132017489029040859990751013571015693407873030976963301990\ 34 6394952922002418061944333580 m + 2139593698947742976378919079494574730\ 082795115379493901692276994462689511555523470688393571314031932157345428\ 33 80347299841 m + 898751639857974208858380136346523482951366522484443562\ 32 319872507748566565305941830260596474530064314159732333833258273180 m + 353312289184004670073228549806859843500619106448100065092058764668260328\ 31 2286411615072776020459109086570437300599987142803 m + 1299736819250221\ 987898227126436679310148011017380101390077112506608380866351019643994918\ 30 5872815690867083190664294445729406 m + 4473444115325499681279316401980\ 636807557309407289970588674838139646021098941238022980760803542487930272\ 29 3186013514010157933 m + 1440042785693657554663846220608487830583513108\ 374732285855512507743806252272433856479862974755709664150977728338400138\ 28 03882 m + 433366785305035105127522054983177305988780037658749389353517\ 27 637887665768587663265152330549248374259968446418955212054980898 m + 12\ 184953207420173259839987986178019390032200636107167262246188587506022761\ 26 46437565698715259223766774787470833785444059390692 m + 319859725611518\ 897523705730389020579624434244340861698262293953766556233588920070502825\ 25 4439775499160889269576759213952392778 m + 7832072889944667372266005789\ 830904400248776211680196131810188131770206207813056579238404559946738483\ 24 117343626992674756233552 m + 17869783624011325947483563739728751230582\ 687595187028102209477952197347594436092850640195052283071672904707902993\ 23 289349899030 m + 37945073401472218787800892652513733228536680326634968\ 556427254561181186062221036521202413235558306637970901653761902386128628 22 m + 748807582768078392421227365687891174669536906153081094469516613710\ 21 72784053894496323372789257487985722087691697045829261595156 m + 137106\ 302781707490207318209795831331023255413325944382856083311610159173805939\ 20 442633865362047588550052269121815955885816379584 m + 23249219435682066\ 526224662327083274297484167144187089133512459262623442992367411695665460\ 19 9196792262203599921274230780954237048 m + 3643336775890806611827905146\ 198307512458148208675329211937853206046556976181518649602985564166168285\ 18 85198497619045982839190096 m + 526350718658495214676972918313382845147\ 494450178677259612590141014069845085956707721444766803781814529696892195\ 17 562053219307152 m + 69908494016857937058950546839579457305039689666420\ 885930303431463996298024176646882503123658583939002242838114186843260207\ 16 8016 m + 8509055900286926937054433390347967722892617558627489733081748\ 15 77572585594204164958315378196453244860447118436225018766298526528 m + 945670788708206263314460405810925322303312885682359728453991206991319418\ 14 652611701143348258521595636480436635820783998633198336 m + 95558328233\ 773616391290321915817414657385334208387976233925445514585389940893296181\ 13 8308331000306099931509577838401729259219456 m + 8736348410034474694140\ 877111096546268919621983380098275585912911673986129623149931972101550450\ 12 44862005849980550303213044156416 m + 718485446773997491383035990534261\ 302091338885697009368991886670424543601330850329748702507423677591895243\ 11 869995368514358681600 m + 52791511221266944560505050969297385301966604\ 444805652401930130988349751095303082122458809770960288408241556960391345\ 10 0791333888 m + 3437229405885705642735449279922108370575600633486322112\ 9 83772055519901865084522295277939904244985180157170465019173677553274880 m + 196343656472539590006293907191029850281171337068419714425143562031907\ 8 703678346381317440475432700939886471414446326822242959360 m + 971874680\ 432969347566867360506250798566043503440347361374679497900806626752397527\ 7 45716393187635791954872154861783508718796800 m + 4103464782864096705284\ 962569261078700128881807851028080133136883400625474035291227025352824021\ 6 7933824028433974040046542848000 m + 14476704419046291132710487162159909\ 234733923568567672864131214655253254804748773601607235833462450017524934\ 5 937025871052800000 m + 414862098561619938299820086165658143778047094320\ 023268317166458246242320940323427911980893079756622299565238807180410880\ 4 0000 m + 92699964195361873806399636060559934201641183228211773435767127\ 3 8810434241704212939114854425505575665817329373648781312000000 m + 15139\ 399020541519636094761487715979873489244743968608764364684805814627338072\ 2 0834255170361447531091337742402933227520000000 m + 16060695133480411111\ 952265798142004593785753960864773995043833483582507305797743838075395092\ 529806905815740186624000000000 m + 8298917220621987418573932029904770121\ 393041551147257394737021344854696383635067867924248473867296004789512437\ 76000000000) A(m + 4) + 13824 (3 m + 20) (3 m + 17) (3 m + 19) (3 m + 16) (m + 6) (582575492676936367854891432846726194471118676433954186283222266\ 66 69246750704095657790134 m + 166717098403263436499533868183797657623646\ 65 42733986555632639592313658699298716519762706335 m + 234421912878253500\ 274951837499349198155085032882686800672876249413322303481186176121534666\ 64 5 m + 2158896046917211980715428961337630173947612894753345204198679070\ 63 50046737536107461023361955718 m + 146459089036935816434109124214809380\ 62 11836532828009778418301707073440296641477912793514560831126 m + 780477\ 038792742337024371478570089049259439176972945809993245309804903113440067\ 61 061152142398212710 m + 34022597017457449489589162843528618102734908315\ 60 829924654528304197574819894641311576735305394728564 m + 12475107302858\ 325574594063353816569357509883756960456422138178689536768746312128158502\ 59 41148678905965 m + 392656445127223770489245298698757627024912660530382\ 58 75442816850427010163988532342879983187249516390503 m + 107739516080406\ 029119688611321777995352152830516970695427320552785911494347927472675831\ 57 6256324430411804 m + 2608460820121129960800883538224763979245146991181\ 56 6083753261575731128460282402428190115179136179716185222 m + 5626762970\ 965359459928359605335853767669503960410252173330947449665962834822775733\ 55 65283447385048776355633 m + 109005911444855881881343466467280280687906\ 54 89666675092540736382651323005314506821848514691652838740865372167 m + 190909517982265820140537260699789059079600822854094852517713181414668837\ 53 461560389800413904621116772529909837 m + 30395225755887962125112839087\ 722672076684359824587026508114517750069513959470898690432230022610742468\ 52 71938731 m + 442013484718203377113629660852648912973307698783630294027\ 51 35915601061483046350331855676525816536556936488382305 m + 589490337474\ 193595311217770980734294111485337928038486437585401912497096543320263904\ 50 492570167103545870487487577 m + 72351245581628448026934246042789553236\ 293599402978747432313716762858883352694932806142041002778173756421029267\ 49 50 m + 819707542651853187878673088225686407065649012075027119014982957\ 48 54170261315729987320350219395081961932147435704760 m + 859528621795299\ 191737000416130427578017914367477235260176423946061806985640982836041876\ 47 829965145109876616686494505 m + 83608261002785545821562669143414863347\ 426427030483374872633726060212916348676989044501567010253937734031595507\ 46 91887 m + 755958800310979180283742254388925946009949378284287746439663\ 45 82593344536072158980762730387650405177042915992836700055 m + 636457450\ 697763438760003929748963273003536655972528688610614700214251199163450757\ 44 126600734564723282765723028165471825 m + 49972101147488491118977824913\ 150922187050290825680507556179803808703630433442140991586590094294938360\ 43 16252078052026419 m + 366395806702109298201435097401764287882570584153\ 42 72951548349483039416766933943088433522590997212535652324456075483176623 m + 251152387836034486476528149040127592128010733157160316112254715189593\ 41 796895946742590612696267430993568823245681878566770 m + 16110761351648\ 519403974958203707538448576034788988794305497472513428821087677057828417\ 40 20754818686261153097753747906681932 m + 967941926791235206030521204424\ 803360780450497441950966932711264433095220455435049713197543123601650986\ 39 0620944215385944735 m + 5450531811515226140910905848888744198672203408\ 380009979156691410328739290558202018552081032970431607651158781786315093\ 38 6629 m + 2878258615994475681886466673409268399201538798047815925424465\ 37 78649968155804982200571689245003332268115368464609152326154427 m + 142\ 597976963556892269644824157744674580068872290085708767884807661846653380\ 36 1715900975733067899054480283743282072357652197861 m + 6630242593139111\ 130020829966932512815675164299852613047117992218280461359093596008009692\ 35 158550628277518173008903709133013459 m + 28937983805868340837293311223\ 343864770570972039257173227757438524611684868360273638728905479388521412\ 34 379114159190249912099181 m + 11856918093679092561146077125122032167052\ 076354722776176296270444663250295089888173784148706169769546512447702056\ 33 6963945595751 m + 4560729025023357863054757003063324099785904731345814\ 251577126005849734793953364903965677572155521272366460102199834081116526\ 32 83 m + 164665372773621456938270105019253310326334215982301367874523004\ 31 6392643617050515965062932995952604157138676903313857061428358565 m + 5\ 579234964588403323151905352892889656612637204881849825257094505341389010\ 30 296249572572561766537272525953694475793698756424348191 m + 17733785999\ 204467255710005195596250527988721484627631718020428140948258055697408386\ 29 756701671575919339153177338758752549611449075 m + 52854590550595157174\ 588347563672784481714204498265479038016255940308133131878414429874312220\ 28 637840587984246087406116845939628915 m + 14762719403942412212270586819\ 262895420091363277062696206305700294475702142250121944406832911595840172\ 27 1680525965399309682202718620 m + 3861408865303632111595762674751949779\ 426808676320708989851178650747907065744787629403342838853532332037568453\ 26 63867541598179173454 m + 945053728877694582560309924483862706910045932\ 816328780595720127352157705652788084329486865697096669399843253676010464\ 25 600117596910 m + 21620817475921170582801342872474639640820972264855328\ 192332666734649892140793850718007115727552132026404710778780007264760235\ 24 54210 m + 461848322822452183754351848403769069874946694999519537941886\ 23 1598958145916759958264337634024888656124815019888099097457902563863388 m + 919966750291155999742995131886085934806919270143212123982566176807487\ 22 7488460177212511460048496592581762517070011923921407012750976 m + 1706\ 255322845560845260346317507656608398972296993548179254584031523547911706\ 21 2172756706535615205995256260760625547093073834738986920 m + 2941572532\ 751839923215140941897100923758128849005360051504693548935629121254906868\ 20 4696269740463455926365684434233061372916076927704 m + 4704824155764593\ 989505846268831549917681461603925079925807453199012887091122310931014507\ 19 4774843014689814995310340303991394831946000 m + 6966058351492722154355\ 466170954989049766170567908592901029090075941144506041050521714325384688\ 18 3629849762122460139767607815640460768 m + 9524300112320440291718562843\ 699758339114092530469325212068054078347272987788278671934122557376044311\ 17 3069435641009635883780958324544 m + 1199097410897420038560497372953795\ 229309145815109460009146699685784339075413273554855907900964832144958189\ 16 70770767120458720049633792 m + 138563970311489651639365181159909512533\ 044347638071326771189783893951692906810390347169758733525561372013381619\ 15 160934657388060343808 m + 14642458923680076597524785156889747598181592\ 044489230205274172007446330397450311295742873995644859243849235845502277\ 14 0453021226417152 m + 1408941627449004213130975882660382438576120813774\ 435231114375707036809056050879354932470207857921401097570064934705693592\ 13 04394995712 m + 122839060351043522276259689032959583300508174926398472\ 660109755589895053562335155123977158301213416277744373427466212521289610\ 12 663936 m + 96477560634272455178458871511065959510366585460520034189806\ 657553450948422408272316470935664620308567312988500855341762588210810880 11 m + 677928237974907722895057554505915886147066190296152163003192452100\ 10 58400439943193635984338747792804717957819578848252894137905733632 m + 422708021447665084700583284823746029803507360309372497852491746438688487\ 9 79941553057286420236373642521284526967997926018734517862400 m + 2315557\ 940834179447990203640956793998729923093953959262610879749639587762401964\ 8 4524006706155762898956464971710560673099323429683200 m + 11006410644517\ 147718274980432413073863804595599831910372491575412235934653562872346020\ 7 169902002525810773528061422279091516538880000 m + 446858682749523809736\ 933868158444330796793281342044215004341396628379160311811116196242746686\ 6 1828285962872583106880137910026240000 m + 15179605004805932942890115383\ 204363432772497647341561583014117100706459577196294434301458391537480701\ 5 87947359897498366679449600000 m + 4194260885892678173705878058752947405\ 933242459335094650719575233808870910831288673537742840321085274175557330\ 4 00661886566400000000 m + 9048718767763009431985767867078396913323502327\ 679551844498387576706748167610184589970235217780953018951843229156727848\ 3 9600000000 m + 14288131074360210891584978274854306196993771069272377830\ 2 115639752353929025629108494878086451388683664687939060057400934400000000 m + 146759394863742347071801154124859843437121632092439975214948364178073\ 2451767962176634864005841956903686406149897191424000000000 m + 735308202\ 916054639671665872609227752395050106329003284690735038369506197196530701\ 40296627961318421617576283450900480000000000) A(m + 5) - 63 (7 m + 37) (7 m + 39) (3 m + 19) (7 m + 41) (7 m + 36) (3 m + 20) (7 m + 38) (7 m + 40) (829021632648846732455216684307686506497735885004386586686474\ 63 06150852036173111155473 m + 224393376682945211800969933264839437676189\ 62 72788615119143376879952220116214507965973351 m + 298142330472388631994\ 61 6913045510090566726805234723878868030086730105402527882771761615754 m + 259191386398443576718116140609502871678507564433985670867271330101941249\ 60 036187731084957894 m + 16581523119477986273981828604244872325088632440\ 59 139374271377322661043315322682719107894494001 m + 83239753034615348025\ 067547475233514272181680862190046942997202995682196122983209050694637343\ 58 5 m + 3414529002423541452547870534321770934955728729121178099925315814\ 57 9413152191427699497855916540538 m + 1176837886704194911747109134845728\ 56 159348027702532580391348728588847993471402802468219681088458412 m + 34\ 777302272076097311489068787560214694575810534363086829287018672649143984\ 55 302167980169048231523437 m + 89486089974595335957551967172277123693087\ 54 7816128137605641625432728315481703744656234359094429541683 m + 2029236\ 529185796912520958877313501049174400703264174166100252801186490623694411\ 53 8267790224496291175051 m + 4094759477562738709378317651046913445026689\ 52 65162624677778502443599256019007529151136537785904380043415 m + 741100\ 319641460863225647841347597491253130436190521171524436447061851845422756\ 51 7255355279042526036890736 m + 1210956770548192812056567548655082043086\ 50 12765815259508532011983561929623308470670061203518826681773344236 m + 179629472027424490777977959178276544113070316394205970599824275882167807\ 49 8154604567930249983172701244862741 m + 2430272220663685593287069951384\ 848378500412196356247938213696740888833825324454602779229794908067707815\ 48 0601 m + 3010904843214621171538759964388939933103689202872119980648181\ 47 10887766159518300353071289936340093767784343387 m + 342765754964992313\ 398256197519765176240403031984049810960785903573499400113834137694898112\ 46 1469392629441097219 m + 3596221980262120809298414345717201617201122971\ 45 0675166107065984962373973108452818735042677070526805608524054823 m + 3\ 486281697126044298571937077578841437980382862890334735492250611741610111\ 44 73341778037236912153038191902798726651 m + 312979550950103147158681928\ 790996795999781004425911038340683031288904464134650311660692250755434417\ 43 6045737351096 m + 2607050104602990498025281017019394725284842882064826\ 42 7999491872503036723935305363448358535913625458888348361350552 m + 2018\ 332325319219157710557162695703709412847757462822156662741220247560937896\ 41 58247810097356719221067534185374086725 m + 145437378960523367244992167\ 502362791846051264554929016965823963215178583465939205977047294911381982\ 40 1767792125144053 m + 9766527888625206564820092078291060814265598367540\ 39 238571203309461045566407554399623603262089028061942390912492806285 m + 611849785895774721918537684712773182956678904754018439941733268498113922\ 38 15292467678554627026556301073960651013734829 m + 357911238774781427499\ 939317519857373389963651337066575476066162121259052249630485933495963220\ 37 249015352833450792549837 m + 19563587794763869656997656751617432604365\ 489675406909517959023867350884797646313567680050332393529162439279158906\ 36 67737 m + 999808370750015608825581677687621506667319645426555545974274\ 35 2753519764776332291558351931905205899879657640919638905188 m + 4779382\ 240217993453592328844551374118386475817438350314584295714587689702313352\ 34 8852688038448643103162495315494384036608 m + 2137700922061531476633508\ 002829404281748857558950484070919047670006093762074784782456125480963372\ 33 08417149029873340739311 m + 894786563242117110003951447945452249200209\ 306770850640662607512356651609548152115198955689900730905174949193477381\ 32 035691 m + 35051881194381518573958704013528518306109896366118094655653\ 31 03431248287024954664605928798790916615906319939304813019242540 m + 128\ 496128622065218625135628282060312926412218872900730860336904686846620579\ 30 10586305788555577800944065309001586109450243662 m + 440725714988782391\ 809254087786976268842138935382881915455665666374511011504004337803668673\ 29 06361252253226088338751889649971 m + 141385143277923886476842068032782\ 055177397289907482921408918832863392206572585049037240515780505993209785\ 28 857685946784854819 m + 42403022673092449918069215563879383544076964415\ 975792451985665698878895017439955436821227692552128855880423200200957907\ 27 6363 m + 1188199214301958853333361832854535175559526960340472030835083\ 26 691838067107268084368888555472625893974864795517942195963468081 m + 31\ 085736207237739048750048016903735880903355579838359891102373607861472351\ 25 46643698680027147548278069054567344725633809294877 m + 758625032321601\ 144784812712863002906283478181547552693804189985456006852321935141318866\ 24 1963870168111442302812820876230166699 m + 1725170160127977577689120699\ 361445208696257097155619144691493581198201858325497244596161281733758060\ 23 2037278444251345810025806 m + 3651273195020236168895755276999853530713\ 903513236544625020003251563033265074570533188591772695558305217156022402\ 22 3564416438472 m + 7182082012161922148252700484120887482424601720620600\ 392647169024230999330251014823822266885503880032949263787606101804111219\ 21 6 m + 1310824477477788934989486497731932782130017653735158863779829826\ 20 23661216721233939158784985007932840632830622827185888132750828 m + 221\ 574250811583004945678858558625011660012368586563062623152224660295258082\ 19 559796626810800875959060810978639539708472749746264 m + 34614010954489\ 718584611913760071220550224552208507244661412728931492432193916907917630\ 18 7955660903684374535164194056656182076336 m + 4985270069953957849682263\ 352462629098127280360760907147750260547118688845962302112589976119266748\ 17 42689831561667029884433480800 m + 660123027486200868909197157282780956\ 316427801106453248132678901081898519401910490745621853804753784355908316\ 16 152703405093112576 m + 80108766905525630253908782729419481061679910557\ 245733033881609424851188634203867166535710211627400338055501137142913324\ 15 2310400 m + 8877007481512886219003879795439358879154524820227977852794\ 14 37540238235875635204808558575042901070332480621570549276734785078784 m + 894436655341934719672534727201505716841728364461399505080168175534988299\ 13 179033620171658779547384640443407922764489873726476288 m + 81544491858\ 478435117442015766452397791463489793180637297210640747678942943296668194\ 12 3420469319581917518642028171860642079263744 m + 6688038392563942672017\ 087261519235429339636960805551916357452346335496532461923007642976931744\ 11 52254023940601614056194680141824 m + 490114281008735305663843068930881\ 289623452061679846450147400826238899750826744346471561597952783003536670\ 10 931666612118190026752 m + 31829911267511740940686971499108559436294207\ 192174866862368335680103869504894508855832831346059826539403425056056965\ 9 3799641088 m + 18137793730703709481161491464175400007081891095865564866\ 8 3154096534634506311849759576360179838078382794841602438831710905466880 m + 895721079981894894113033054503123790793309319844399166742920586302194\ 7 84522315740874707491241533864395831405755553225863987200 m + 3773735437\ 592775625263416804532435786151590784091056105258062078368917869972895784\ 6 9221397404287474618397448094843838857216000 m + 13286885475021404321833\ 097565729377778555058001929807662097304115105620867764295389098907773791\ 5 911443067526834408097054720000 m + 380083224813280727325720222999012224\ 360572166665323456295326126102684139953867169791328947494301164178919874\ 4 3752880947200000 m + 84797420053313067659267191909394985148876053089738\ 728038535265569332129487933605328327606230102640314306870564932812800000\ 3 0 m + 13831503255131524010450469725387452113848716778187538819674975699\ 2 5235534407189960688296530048245446846119734505635840000000 m + 14660256\ 937714372391446481744412612665748664696833023528690171420222678835408537\ 832663001342272354574437523128320000000000 m + 7572017891221132583053342\ 303190277525294465848566644995383216134743040466223586325110718660697012\ 73550061568000000000000) A(m + 6) + 43904 (7 m + 47) (7 m + 40) (14 m + 85) (7 m + 45) (7 m + 38) (14 m + 95) (7 m + 43) (7 m + 36) (2 m + 13) (7 m + 48) (7 m + 41) (14 m + 87) (7 m + 46) (7 m + 39) (14 m + 97) (7 m + 44) (7 m + 37) (14 m + 93) (m + 7) (14 m + 89) ( 51 1701175539921869284761500923264067581769705827540182980194607468427 m + 50 327769782834351988679611909508533188995459906702619684378973770728643 m + 49 30870724043921265985660679543132874518572942436544988620797507215335975 m + 1894216980466538361756590540224221027172675701903924035671461152800714719 48 m + 85147235350745769229958135106429892420814769858274930733252450949608178159 47 m + 298944214206820094304525078236701052829445526692190990267288097052\ 46 9496028099 m + 8534943608325489134206817196363830051408754464834904985\ 45 7532918978992686372033 m + 2037091485040571784372463776716150645641248\ 44 470560813990307968087474299844240719 m + 41470443133962438338808241079\ 43 077473579007576702711267955011510216320088682583864 m + 73110190128851\ 42 2060876672908444749801936085112633259242767836482084849753090917726 m + 112944554852677981309440208698043822877042025083308976473736763522085303\ 41 18745593377 m + 154346029511029371831066018422094410012360719807181606\ 40 438089092818457931285396618275 m + 18801360239045672687164212943164789\ 39 58603332133418694380706767189667162343707642113788 m + 205435672117650\ 38 60838850615694832242395732208664540682710480354650719626153606367581890 m + 202404507614665598232094425450842585937788335425388199978626155034204\ 37 361293179712025568 m + 18059881635612456842471824362833750398322093708\ 36 14298061730342112605607381752233946700268 m + 146469789882526941367481\ 35 14815006601814499568594069676288265670789715102003421754420616754 m + 108306334764324459927375581446637053244533102697248590293418456039584479\ 34 478292996133313616 m + 73206780920505011267645250673317034760540582256\ 33 3522289837996045392876833159387691305143951 m + 4532877291527646807021\ 32 983682600850383030384586028705540293944978331129913358055105636952193 m + 257568610374129148872149398800632803825714738847951989625861098721125\ 31 26232771625408584256523 m + 134503872506988170114064221402723649993889\ 30 706625135450347270904570393900358294054840139785683 m + 64624223979463\ 977711179492270633577558296688309373111708265960751852434542434017809654\ 29 1145921 m + 2859237381411025690654499523228999207284231357441853331630\ 28 368878600907678705690882142139693007 m + 11656352218720131767328402947\ 27 572941612954919004957744824802242574709326266622299530312064634744 m + 438015122830377071028203676935389240305117930634087043379112452966162030\ 26 47083493507969772878586 m + 151733892497087823284850812265286396414846\ 25 765108647681288113435631303073652421315832270217939427 m + 48450073623\ 570013979779859728651761799921605692842608685691548568030810060914455243\ 24 4329502229481 m + 1425522162399120489601018772116768654819503701922563\ 23 817180579306704088909537364567726881021999846 m + 38624830424076085379\ 320575587457109428686573150136626993784341679531784579942714605514501809\ 22 25884 m + 962963522584539828628344088053446318231652429315489844937029\ 21 1511161830132554816706457835925199198 m + 2206619846714372016855715781\ 20 1129249172030209709915217547166960794874395622633263852761399300348190 m + 464110517681112120629107077019886602066774739583990419388058510794469\ 19 68924975364986252047732782587 m + 894458665926639884833908965952472849\ 18 89363447090756454634055148419496239627357380707786872769535085 m + 157\ 639701884565821167306786488448503760077480562412510672546453666853642982\ 17 157934324128578934959422 m + 25345055702392446808169786935876238195552\ 16 2888120567611956504413743407569209511900412046632425398012 m + 3706891\ 645506086746379819726053473275956376791090526196363547468617715851117548\ 15 42169391610745150236 m + 491544414711730380398413197510964393572345582\ 14 260317335143040230669293938718088588218474574041261524 m + 58862736671\ 791653100611715781152914505385523915240314563040549163152946574369036104\ 13 0935498723672904 m + 6336092215248336010999077709477343708252200656735\ 12 31727434604769130760934081757762031988668633373552 m + 609685826069771\ 244450901166436640380749354200961502483238260478974162470183696670977522\ 11 777117342880 m + 52098311505520205851125934472131416965668893568872935\ 10 3257177613393136709736474449589117801378455104 m + 3921971841380475197\ 038335733196497936700299669684282854918297833904870860701797997149538950\ 9 29437824 m + 2575711551237981348191090600810588697719721009321415275747\ 8 54697121737679038938832984630280940259584 m + 1457805902628707355566149\ 461848733714025129204349491715492504479424505606237570934916226152717521\ 7 92 m + 7000758409111411388787350398728539864002538034591607855312333938\ 6 9689727936130990120466535069788160 m + 27946764679492754111183611124339\ 5 671566287383349960834804973070943790277790963210265758041283174400 m + 901693501817919122413696231559328566303718355631747005351378742072031235\ 4 6776366384449172713472000 m + 22574379831318554384597371127043538217697\ 3 39567387096050775963403917363936844649892641946501120000 m + 4111273351\ 025999066216095233185583865257741437133433645029264249775511030442531291\ 2 21270988800000 m + 4841508604334100107856189182424307678126554775038666\ 7146835677048624459863666759006945280000000 m + 276490065885833136871236\ 5737881819337909887249195070319335978683346040673748789619589120000000) A(m + 7) = 0 and in Maple notation: -39397489540237099008*(3*m+20)*(3*m+17)*(3*m+14)*(3*m+11)*(3*m+8)*(3*m+5)*(3*m+ 2)*(3*m+19)*(3*m+16)*(3*m+13)*(3*m+10)*(3*m+7)*(3*m+4)*(3*m+1)*(m+6)*(m+5)*(m+4 )*(m+3)*(m+2)*(m+1)*( 1701175539921869284761500923264067581769705827540182980194607468427*m^51+ 414529735370367322202448456595000635665714903907169016368898751618420*m^50+ 49428211999039248757712188695721220135102312701789706139494320274012550*m^49+ 3843827423209634509041646683712659242492542390863861902017334576024757444*m^48+ 219223033399770793505793732687007703151940247512713828604118973081918901371*m^ 47+9776282721705272902689506095763434754873001895144217685266661222474226219524 *m^46+ 354936181212144733844198239514978233404076211713605875939374317879360988035490* m^45+10785400221903258158234676502363215325021250659702853544002314770233303054\ 375574*m^44+2798744167192606707230178576123984253959400018093679711754167241081\ 49975834235751*m^43+62970486476548998027966085393077739609882063730863857185768\ 15304378042446614105866*m^42+12431072317624503471101651650499844936599494986396\ 1057901906431238085147420240623793*m^41+217363608008820640776161961548421445185\ 5512367367380380832473666744999669949506008216*m^40+339240489714387931655783073\ 90679823656260358984007069930281064523177232331294450568865*m^39+47557173070916\ 5051272544224257933389488362248095285367426420453289466764094462153151206*m^38+ 6019956803708091000705674885149967895210677097464167161431445415714269124505271\ 413995008*m^37+6911140623232071520899304573298673452592458515476811421862375834\ 9690506413083725193826596*m^36+722256361124486027264706160693203219325935916029\ 958821556062236007055186389592802328095106*m^35+6892419385884546283903253828344\ 771540860369313782799224084460190515885649581052337977378214*m^34+6021849435438\ 0159532540182018546287211293369408897535221211703529214169008387983296807563940 *m^33+4827483518844137558056564308996259322668190042330762786595854737441753059\ 32470499683231879764*m^32+35574433139877986656683174617793113022203697906323954\ 46304276661349372575573138011982465016105*m^31+24134134748017215656359126315601\ 421869972868162472024987091683893118763404664153629153848844200*m^30+1509117045\ 3718932871846942922877277276511129275995211010704980607561092404609720219049947\ 7933594*m^29+870590096803785087835362939865905989394767370898426563473899023911\ 688272147770435759506061210542*m^28+4636556028056179056191774597181042547770085\ 887166280853084166768202932594503488161505955909902687*m^27+2280628542524915854\ 7056159283177849582594250533692231940136816086111350483040133686337542228441766 *m^26+1036276418165626663228141405491918783065135436625915867618848077906261007\ 48477704980752636376937625*m^25+43495438859117611220912652969000092088142834096\ 0256340868256088091464386937342483198752303032627536*m^24+168594780835304070065\ 3998567016513911946958421466996314433449344185181730222476701068910069304693159 *m^23+6031989055787982056811905963325341781871617338891300179674143872422797017\ 561121566079765943609547254*m^22+1990542468134838424040146380554672494179857030\ 8214694560058876945131188430663127288617892028701576812*m^21+605263358711338070\ 2644820665114981950461994200429513276304810225354686028537510658250590491064166\ 9704*m^20+169366681562992265527329989737644563209866753968988136514820446050799\ 876202948776983169505780036257685*m^19+4354529515852850396200277637797405811489\ 97468166576572231322609108178186798058022841211420869073174374*m^18+10267378968\ 3925550166503474345934381322808046474513011684695861930988332749825266551381454\ 0233258680612*m^17+221511807386883636359272280810836261757470843533113599623178\ 5992897795204378432869704962780232988861584*m^16+436096100604431945875771011012\ 1271473421527768649116363666224989941869027484116202240908362310268611884*m^15+ 7809622864453682307935166795797773557416478422650559437880830871121872131295697\ 144193753591950220533576*m^14+1267364667040288870472738837641704557453027448475\ 5847118867610982966212034095870615877216053772933120320*m^13+185546895836631378\ 7730862086813649048600592754926429225817525540581185541277757218560505676690365\ 9587776*m^12+243764920184074927324408098812546141918695699096735296341453486683\ 46487042899967043098089434267021515648*m^11+28554527143229744448130166647709472\ 088560283193897480982853003378651333443238168692302433946605354938880*m^10+2959\ 3351378587507315518304061849458196445314319192562505753871025435077038287745159\ 626987548182970105856*m^9+26877204751851927340929499772188256006792412802430905\ 923706899738137094202473139034892946511776297227264*m^8+21137695057490605925908\ 5266535903773301589350431152610522977384868036721568530620302532374727662323333\ 12*m^7+141765825486997276485077204484137349064275997620627660762504379225510421\ 35286809173645153636200073246720*m^6+794614196855251419820782412437602534945560\ 4915818726409000476047965051511323600341364860985426765414400*m^5+3620365569224\ 7249951837620936303950692482675182096613610139562174970780159283805011899592737\ 17587968000*m^4+128764530466111483490269081414265475945643219677357042933667998\ 9470879056559297960967392956874342400000*m^3+3352856088161930972613108994737166\ 93831566952070290105408295151828251264617341493145724880620748800000*m^2+568333\ 0512394603047956880112690202909731760607870259531221533289064841290260580497874\ 5063309312000000*m+470500544703908162450591490168939798394819718774739834524240\ 7913772710764747785356133282611200000000)*A(m)+76948221758275584*(3*m+20)*(3*m+ 17)*(3*m+14)*(3*m+11)*(3*m+8)*(3*m+5)*(3*m+19)*(3*m+16)*(3*m+13)*(3*m+10)*(3*m+ 7)*(3*m+4)*(m+6)*(m+5)*(m+4)*(m+3)*(m+2)*( 27501203778376938857454423925486916526889064408014598057826024334590882*m^54+ 6770040711443300477868417809128497567489169797583330813764182279499854925*m^53+ 815864593389849047279011841810554825185205993130005884376368363428216401287*m^ 52+ 64150347639866366732208798233255161838389741925134838089075907419432212751827*m ^51+370090659064180860023078604245734296929470816721824153293899447337734843109\ 3843*m^50+167027763683144881548694683796752155394500067689261305193740922969388\ 858142495653*m^49+6140115016993286807962917296054854715483836904412304143721359\ 459372511782135659567*m^48+1890189348375700569564040774476739514612613546449776\ 47444048410363137465405035419745*m^47+49718813426893041305218838702049166025304\ 22067494374010229220335354918261619162556969*m^46+11346036535701802042325330446\ 0673446714937272874036573008123630424511641753498325669113*m^45+227322815820948\ 8662331190512557064012254413221257158090869184545708898284180038364827589*m^44+ 4036866541716201732060737681079873743934475903645602431323657933804384295195216\ 3808184380*m^43+640330008274608967603961291601067316291708176886296017679082717\ 407654322441377943647311188*m^42+9130356743650518429702968160433590805623814445\ 137213033605410242593670105367193597570009738*m^41+1176524444968375800728502402\ 77799330479078951929426963221798551523757672117422396964822236568*m^40+13761921\ 7446138200380237342882642339406036910038495958532547797890901671642251684349648\ 9346820*m^39+146675120989560432670279648916606409065279692812637017682572895979\ 67927137195666124606853269602*m^38+14289507125471833371787645147081590922739188\ 7110652259578980894840178628923489332952540600265258*m^37+127595268760649119550\ 9971787206530349747086478954599657148608353215998922585211776303881125821262*m^ 36+1046648025405893990180470750780492487767233632072347826665670534868388775594\ 7192305487751008843105*m^35+790224446369210575127123264636920210274443034766300\ 37496457568529448487828201113984381517050979267*m^34+55002210572173110324775161\ 5224354051019155610571959484785049977068555897474453468564833529039434533*m^33+ 3533960099435429601965477933438277296628708187396917369298412219784417561310853\ 167142326374687008747*m^32+2098234638224941931786396584183272777025310564585999\ 1414400128349739086809694237904104521945014315361*m^31+115215916356498238470653\ 113312586451298850451389291366497182599087944220050153374621096948606966253909* m^30+58545662708950731963359101468252389695015301314039116827401358586377700943\ 7474265349219414882039941137*m^29+275401422426209196266136286709302353320870195\ 3031542028209903258249965806355882516335262457296751510141*m^28+119950774114028\ 9010248119385302507862897672420904341409537336547134146999448736526803401142350\ 2473430890*m^27+483720172464258976902286324035694975414344713010751405960234453\ 99033698407124897347057790131692190944966*m^26+18056828746941275318445692674330\ 0912921526189193658875355564754601333760523651949846840090343898812245912*m^25+ 6236756909236521219901935111046718890993561584547516534620589870938261106318347\ 68246780663823336712048666*m^24+19919104766705252855221139964954687819735077179\ 20101846126276966701504026251325228548095043296022775351570*m^23+58776524598622\ 0105925207195075489698000555022291349488661612264627678314895973492994476111441\ 5743693273342*m^22+160062954680575943671899041126106461327247185284956976626776\ 00474623005635982346262345179645081391769355087*m^21+40174761284703875929919866\ 6941132878166632138888070771029575865792976229981192611832504334264915487109821\ 37*m^20+92789203588313893833527454650140206376887215679982695278985756220780799\ 631171215326202605899392505777748230*m^19+1968342209409645122251145534490608364\ 42455876789091613621109185250296059004495965229032384300790905455452528*m^18+38\ 2644924169138498987346665926335069646075621917633758942989235426478798983818122\ 095742113810464610912781892*m^17+6799125351719577791863164620638476767141142676\ 12773483535733346892361726030802118089393822717757917782316068*m^16+11009133922\ 0207916284535953981417328430273795678931563938464170025751503335269055180481024\ 5350170660502203720*m^15+161866829622534217758500593938154255055308984229960684\ 7094739079905419897145933667407264972260369395319154656*m^14+215213054891407648\ 1183285165110433186611060144031656458902960835266895807576954504207191620076485\ 364973998592*m^13+2574980753923743307286971601321866622657210810685695910660446\ 578139306355360381138921243524327123377825572096*m^12+2756638680431486339683750\ 7068466557159867482791941217933756563163032164401026181196205093486578816389144\ 51712*m^11+26224970628176262721717003359024140682508549574425038487397511854004\ 91995044645502946476190041843780851286528*m^10+21988768837742040463946026877303\ 84225310983946791493403260700035241040142409484998624411161551906058576706560*m ^9+1608667626958241969777704080888536265771463792277923633682023910427350534125\ 586636397112630562170934095567872*m^8+10140862036204455080690617403039349285580\ 79411310632568853214416364948203991304832760501654405681642836592640*m^7+542134\ 6975271573021777440083335495528547145403332948358846746865830145342643340407531\ 98089631111075471032320*m^6+240705063893880921886582678798408059398877765315269\ 980959365804105180639042915459436441141356487737465241600*m^5+86258528825812587\ 4657051767389281961143807567565623077384590088618514073571420911949531819598855\ 79010048000*m^4+239386594481164235946520097631008850547889014370283678100383185\ 77735470418663374111951861670977438351360000*m^3+482008581947369512393971141371\ 2434090055055054785227037261466393833567969877206190311054660274080972800000*m^ 2+62537629389327451008605814816606176269849984730330343695873018556059907135111\ 9605640001009991811072000000*m+391701376700615271086045840415157147948097278158\ 19532158709784618611521939830571375180259902095360000000)*A(m+1)-50096498540544 *(3*m+20)*(3*m+17)*(3*m+14)*(3*m+11)*(3*m+8)*(3*m+19)*(3*m+16)*(3*m+13)*(3*m+10 )*(3*m+7)*(m+6)*(m+5)*(m+4)*(m+3)*( 525528714575336127490134130557086083566540334142780490750242898379947261267*m^ 57+ 132261137349102838303005198710812809033970418911571394965346221292752125054956* m^56+16307392436022370413552191704164062870262174857418530769099911354401694469\ 946011*m^55+1312912841590729222188736943601898342937500892143146144648334334267\ 870815907465850*m^54+7762063249940132116142133743208105851074107544498656783171\ 7922207922103677307139733*m^53+359310114121393461729787289348859261359275811285\ 0238289021623736614942284704702727376*m^52+135602454140285068508039290285602685\ 947857708330193647489125893493850517608658875902282*m^51+4289685256502644656447\ 994766420118777809330309168979513918689069266496335860227609464392*m^50+1160674\ 3551906377719615568370471857079830765221594224205115683506220432245336314794819\ 2147*m^49+272751346016654065599489954083057787285971463262038353808251378215218\ 0435280684878522110728*m^48+563361514662387929077223699309880306432184656879426\ 48241903916296065644850627237098172331277*m^47+10325826604451991393950449038660\ 53049096234584891425667800776087284909979890502946392356780762*m^46+16926373140\ 4927818073509962626516411973022163431096129822894567702472651587575726741203524\ 26080*m^45+24974760997126730364732119372581727995139092126929717858341851042268\ 5871197947177078453911990892*m^44+333483932945809702849560594560286323325294909\ 1026961221207887829898470486632411857026774052648551*m^43+404814158692276980542\ 38583664594105736351549993841375744788425735483693150820839331309013514099388*m ^42+448452306720678698212873946975454250940958270160829451923103185867612972569\ 158166947466984798792514*m^41+4548646166284879311640675382554555012090049260059\ 662965045677381671352728624277682681496461626554588*m^40+4236149193830698300757\ 5119389276949490576955134024239750720033382751911738660601274216939415457586580 *m^39+3630983976595558779421313108987622767850172535790051127308642945596508861\ 66518514130180070744640733314*m^38+28703120597570929452435760193351385297779650\ 11476263147065654171402944850567550496676851679273848483409*m^37+20962312718401\ 0708462347534209028215733553716978087424311078106839586581596844798541765579763\ 14120587832*m^36+14164105615201408517068472666760833632139746002977595518868861\ 2223844006269266642347479388839709871326682*m^35+886556854791435855561004548314\ 974984547692732410971827620036298478175206771347294578130547348842266817760*m^ 34+5145429829963779123161562288093841227889934013809998010142520869821689761112\ 341486517301140468567511255051*m^33+2771243017032888885811032757392931640872350\ 6617273565179172654761976015200525954810414650578107237818249248*m^32+138586724\ 4670827695804935890420965725193864241678468841073260363676363484476124826297006\ 72461559302107533209*m^31+64378256934883688954186200423024181486496788123354946\ 0966936309672604853767640617059936315679844489836392422*m^30+277860802681381262\ 1468748466957288709820378511446275252738659249164275090685191862347664930541732\ 652972790462*m^29+1114323138287970386683496073890107144811616819638537212460362\ 5473420629645442380938248893837418396042326927900*m^28+415185670194815981369654\ 8397518631368919237630600797608456894276831249193125333511391433802389528794480\ 0810843*m^27+143680736235274387853653807122500589522425874668312858539317133136\ 331986338374584803255124905954468067626185708*m^26+4616174512037186272257709499\ 1094386151341352636323441972733049386678998844944212604883652009744216374679435\ 2125*m^25+137600003927892585792614050970262947683694962797213340033181716810852\ 1718135865296703057149406444778194761928928*m^24+380234390202623009162075907936\ 9531707810800821635471780718112361222948575374874686422754168341530335185310076\ 579*m^23+9730598850743420860868176114869499422541687763271724273780414750806982\ 653411648639411640204957455745987445898532*m^22+2303295138016326250808224511785\ 5228242871669783488737867270442807941170472769881002164382599831849416683206688\ 716*m^21+5035565457126265097638274534370327003227320275004887121366611499307366\ 3227632474779520426729709256593403961259632*m^20+101506180299296127937741505918\ 3598986368401206712311383773462507702485689334958962930358367561124332043450149\ 58250*m^19+18828552048374568376508812442621818420179971433516803832582133056915\ 0084073680018213394583310716755883184151361456*m^18+320640380168990824720247039\ 6711401982075894059048112499946925983700258646674528142596489605948483349780628\ 90498304*m^17+49996027775630146759744378869321854914281465711606066709792171802\ 5061899672208779974772471953219628563635141469232*m^16+711583343332416738855313\ 6977501549026774325752553915666481191224923845883632448500044625475009335431075\ 67392357112*m^15+92115473883081905605699970866516301475907031102818497944511708\ 0842442250215608283713407267740458095711729029075360*m^14+108005504216025022444\ 2959614815463651926117911464001181426221251326816754369029802262561137783317736\ 781686463229696*m^13+1141430993934846165479063186678829712670699328539080329361\ 282807150415725383407915377630028847164936415043629194496*m^12+1081067193980550\ 2099940809112353075677162484225128491433988550348508294791898372210170841394486\ 66461525513627044864*m^11+91137058127796238437953638053836124996357745600226653\ 1741241187466519452877872203095729325404577035898043956896256*m^10+678294947616\ 4566550347299603401695307360073582550604778424205942376536167178185246498732275\ 21337209349782856554496*m^9+441248657074458558021497867562754381948140444510942\ 586346969546580006664897827183558591532471645793596295527944192*m^8+24779738513\ 4617079741711865038785779987575251560426049451532369933917490289894287666704789\ 076518447086743909877760*m^7+11824900458753241474387794202371258738683366480699\ 2724641271462703409624509616980879089533570661772288153754828800*m^6+4696599811\ 7367451757271626284928044238380365513475109730497070846994052468346748170515917\ 121452456587958542336000*m^5+15091950332282333266991382077105645010854520604901\ 526520533826117553083625998861277249910082609082088781824000000*m^4+37657277529\ 7084456112558027483308001090274145476086517666375198434735135563314771968532676\ 2207073742870937600000*m^3+6837973514606686280801371169764915231150497710548168\ 55215972194537275536848143837561472836124184955387904000000*m^2+802887254566199\ 8720197489649425910866057475265450407014655544515080553814427718793385967788773\ 2250050560000000*m+456961232611357498294772760521455504589355859188701602474958\ 7851886615313792746366220903836511371264000000000)*A(m+2)+10871635968*(3*m+20)* (3*m+17)*(3*m+14)*(3*m+11)*(3*m+19)*(3*m+16)*(3*m+13)*(3*m+10)*(m+6)*(m+5)*(m+4 )*(1502116711271703661374588673493609079759752973995352150032524494621981342058\ 2756*m^60+390809494163215221370183593593370927299172727872280770814827425699260\ 1638632459234*m^59+498607552315795749647609561240379585718668409311548855708064\ 385287063251006822058972*m^58+4157995710837071835511870090030317100746250564967\ 6146717699690799865295155117290059890*m^57+254887670942249457175901095662316732\ 0146399132115517008616146583814849898478937497232000*m^56+122470817209592268398\ 068853781242690181504568927513709937204718234818372763875143032326486*m^55+4802\ 9667599268873221169182872675444999208831312090636607142405788668281475153651919\ 98657156*m^54+15807167895457362499419663063225651539794608495167539363642800708\ 8883360527789497366030220424*m^53+445507441598240209129505074182852981096958243\ 7038953514267269444300507097242927228535259985636*m^52+109189173859418438868423\ 465159779252109482495970808608067278326135166222809646664891249677866562*m^51+ 2355289618857270506402563660408875114756819301522941481196475270771855796341512\ 769931127533235088*m^50+4514695373474988227151864462770517034228972866311068088\ 7378555211507957934959574535997078810814841*m^49+775074177221154231885539837988\ 028832360262607585244245369831868194982853224604704717530731272098803*m^48+1199\ 5397095639257270054158523978251030475932897069940861589712543156459098579438157\ 661358827799438533*m^47+1682717197658371983326921439760908739479663192218726761\ 91016198255530347656869364526037068956158854719*m^46+21494960767762020448297326\ 82953938150095609080673389322508861721377404492853375570492322350389171936413*m ^45+251014489918345712818140792111106499710454028666584509862322549279061772009\ 16714967646552016717988193109*m^44+26888122207971647316424456086125034716871632\ 6264924378581302142906176177632051294344734334764755092872903*m^43+264959556211\ 3822251646490490254203463871359394840567797503884380656883249577162993627174084\ 771963965359689*m^42+2407907504378241075008349419635482103994944279720004126963\ 9611417535543996854063777303940281981046091450408*m^41+202243618689905927857524\ 3296632830228737945250436690816676703788315726978883013656058091610822871949196\ 75522*m^40+15728515396835162161377985689421617871998829305503674082953690745212\ 44375638205430920636105020998453697359860*m^39+11344003984606290424419072208012\ 208142610444377962168160533462962688881468595448664302818157801321242922283890* m^38+75979393013469429015223208675845357031693897873906906379879210954838078171\ 106702351795865242286964786518145998*m^37+4731168205652089433610354513733863071\ 19143781455157404100788650841879641252262945542153767491772160158168800114*m^36 +274152159884944174174784380959185257726890019177081306217003509021771907981062\ 7075765843632978663512136579824336*m^35+147943192318561859491877369715313301395\ 54855372725109829441353701416313712213948761078487211164849474899321406002*m^34 +743934062177040434617735690253460216045333974820724683662965699821949405596538\ 17003787197967691938849870525969665*m^33+34873606622375858328864842540794622180\ 8860325273881247190975837541083027270198685935212322052110576589707354143047*m^ 32+1524413016284538204024224397815605418070792056626982445124262802040109177972\ 206148610872543892290843704395596769909*m^31+6214522104269037193900655419466974\ 3485987902926975575691472705120843133763204848866918582972682595148751357929023\ 23*m^30+23626789357485965362978514990032702127600869705506354770999105771429110\ 818202301359962143742255310885043379302291841*m^29+8375737580673086219191844624\ 7870803326796999281657866181400248085642036559672270296632891836910267782393099\ 133614573*m^28+2767761622875322832429536970584517254078828114114605715220381914\ 35807219715304642767588585257829204569564929436470397*m^27+85216266932450698310\ 5332427575933193189046231183663602428436236558358317866923074397760781564408719\ 320588611483193881*m^26+2443083411539304481934276230341365525141984519490798902\ 145305266210735988477990365542307368036842706149086603406371212*m^25+6516876817\ 9988563751511340394259348825915146491061783284483930653587165892137036263751334\ 21675870095767192177608670116*m^24+16159024143786159595074270037489521558457295\ 405339922410529699772327685011161525733210511914426469412161089841582151372*m^ 23+3720268403360590258082101484194178574788628393669737031135628435223010048381\ 4532552283475122133080449625883707041715336*m^22+794217555306942144636873450154\ 3992470866264406251254208745051746973712017552650086272145708701216448592176834\ 6558731292*m^21+156977833602267829639463395262328112619427650854629313632486012\ 008554648360619695204781886958876185760303220897088933972*m^20+2867431633827347\ 9404354934312051377327287238761549687384341320696052668541509070096894246382854\ 7391756387215931461940056*m^19+483067513935967582014184659994303524746616762748\ 923413928895890472801529507891825625723556347352096332796124424361785488*m^18+ 7487774513512002363681318898032408773610477383304465403612671610029417376099487\ 66872510247062516769218141276475407887312*m^17+10649869084699875983986450421645\ 5489461164022411221655740140766420377159862799984376983978779711177057419844868\ 6905673936*m^16+138554392749027037953141272466089480060469580560635521141779477\ 4462490913780999817482887113631808196680412547708689444128*m^15+164289165135144\ 9038067508297539809191799801917008307366480600893439503057354623409390550480781\ 746896821437753077421089792*m^14+1768023956903923224821640473516002934678475209\ 575867725146726005443584179197731753865204620605103029786829191186464020736*m^ 13+1718436986916416103870926927303139923138281664732427917705807410488764837430\ 075464478268634968564654699819624535011425792*m^12+1499855529983587847396130416\ 8303829019743182115719446830300274788545346825165400734583982547154273530292198\ 19225201403904*m^11+11675481465473280993994218151748489431246156659736507355100\ 81364264207573198612435115231920300262407676733638801299083264*m^10+80399796880\ 7349809995579037959701407196377651695951829507677817564321197002021881465297561\ 328149583323165072521906003968*m^9+48490601409885170627478593179088955719933460\ 6098020460653066299654048701227493405661383913755033694341551674445805850624*m^ 8+25298953311175118762590078332281130492725700029295356998013632876962670180362\ 4366493000678576601302984328788140927672320*m^7+1123950095059990105466055483198\ 0353361012123105752679582046801155476835348332648663737869589774532749592384582\ 8470374400*m^6+4164984616850837788427593997737008984690642702562742732287433985\ 0865804157784980719456704692034356412101380285956096000*m^5+1251480734698475811\ 6912521802616634363266803169684227646538955830628462702077691239135454678976737\ 268445443672965120000*m^4+29267539949192598473706296832988687200558914885796814\ 79033878521157743777094574018470446007496473020089774702592000000*m^3+499326166\ 6330159055503150214233574881042329416972868099994018912073126782241685459795580\ 25712816045114748305408000000*m^2+552276744642410932183615265079676374988742622\ 38012241934517196102173855474299950775090818020344948615607746560000000*m+29691\ 5611920182698884532962537231239526885704846692682798648345308828047987124880657\ 7629536419653279652249600000000)*A(m+3)-7077888*(3*m+20)*(3*m+17)*(3*m+14)*(3*m +19)*(3*m+16)*(3*m+13)*(m+6)*(m+5)*(7429755331082430871521589179910040677377010\ 6874390452999187352950677273976311987767*m^63+201846037384798209612747497043591\ 61203787762761712591308512886356318063582840225812296*m^62+26917738302924452632\ 01983166961401648416647033001064539648096834144775826616227345048153*m^61+23487\ 8399681789301558118921672967034065057049882017355752591627891655241088661695893\ 055442*m^60+1508193456840531288748087350969600340804846633259067339361782918221\ 6964157021116198538642515*m^59+759933730893533885233193923338763164664730990691\ 189661680904000969931221367016184418594491464*m^58+3128887154794632819997492036\ 7974061480188012261179166096656484001957965268691260668713172035469*m^57+108240\ 8996581744422401931106641408760260059890354815736284530378078614753865645854915\ 072443138784*m^56+3210609227816742422241400437157626198540895241430374313172988\ 9316202503889485527924812427097687890*m^55+829210310770516218288388569358379535\ 324882587155876770204789880447898920746529473696892793725461734*m^54+1887382258\ 1496352701660810155027699302364502391219059399943536077634271427815606617398059\ 009538961828*m^53+3822730634537862715301274261409919523298680102403905143933051\ 82004009232851440064400445854325397958004*m^52+69444859366754962739922622189281\ 08554655637706507306518287258867985120446765597286293162327378525504997*m^51+11\ 3896103957074989795061517292374697369640926222567232250586802872778607157280130\ 207538820121523246289956*m^50+1695797125360238246617279935035491653984767416700\ 041335322479635597007644758592980609411307383085241227187*m^49+2302851111731725\ 3424679906096249933106939384448702729207086389388150128136955844503708267060198\ 201880163308*m^48+2863655561192990990273770198961585811111288177697947139126241\ 39902959069595180832096469773278810763034505902*m^47+32721392210482487749641010\ 2648471341357494488144434880699218391159544915078264955174225456976277040977221\ 5058*m^46+344579015820995520061471863078646849687003765472607380027179347777936\ 43086104846857861796305994092673382676122*m^45+33528165270626994573839217767744\ 1242854324721752383802093448164541706755436864707798171486201131380068545543548 *m^44+3021098181087575900545721794468174581214663833132224221207179935951451227\ 637077133100465316300449665957342820503*m^43+2525782763580018693008701116788263\ 6035691795278802639482670402070569327488899249506477674277280613007651603262676 *m^42+1962604536913879965001418776544084954226851535699439438302385673311106318\ 07534851028587219131287223896717643003941*m^41+14194006946681038086407351356495\ 9302898214384512382627982249173316114851780316414341605044406632817155509276910\ 8424*m^40+956649709230254953655583501393406541435962013422337326629158799710801\ 3937384197720931008928467529305691726340662112*m^39+601500277178584976527880519\ 8418529990995894019426260113107764277481063541180455703041447570096349812756107\ 3670314190*m^38+353133310944116107725887653224169740598516967573761517760983438\ 842402782535822754144276562381629215441352181021000104*m^37+1937214921945184248\ 7919658926882066049344789019062328583349803400556980413560781073820779766653158\ 98808648701228348500*m^36+99358538609084036379568289626925716498259576914575398\ 78671811574683562295798153001534844276102278843526584359773923607*m^35+47666365\ 0468527746786632132182907613201748902904085999075101357101569340787303097696330\ 19906394952922002418061944333580*m^34+21395936989477429763789190794945747300827\ 9511537949390169227699446268951155552347068839357131403193215734542880347299841 *m^33+8987516398579742088583801363465234829513665224844435623198725077485665653\ 05941830260596474530064314159732333833258273180*m^32+35331228918400467007322854\ 9806859843500619106448100065092058764668260328228641161507277602045910908657043\ 7300599987142803*m^31+129973681925022198789822712643667931014801101738010139007\ 71125066083808663510196439949185872815690867083190664294445729406*m^30+44734441\ 1532549968127931640198063680755730940728997058867483813964602109894123802298076\ 08035424879302723186013514010157933*m^29+14400427856936575546638462206084878305\ 8351310837473228585551250774380625227243385647986297475570966415097772833840013\ 803882*m^28+4333667853050351051275220549831773059887800376587493893535176378876\ 65768587663265152330549248374259968446418955212054980898*m^27+12184953207420173\ 2598399879861780193900322006361071672622461885875060227614643756569871525922376\ 6774787470833785444059390692*m^26+319859725611518897523705730389020579624434244\ 3408616982622939537665562335889200705028254439775499160889269576759213952392778 *m^25+7832072889944667372266005789830904400248776211680196131810188131770206207\ 813056579238404559946738483117343626992674756233552*m^24+1786978362401132594748\ 3563739728751230582687595187028102209477952197347594436092850640195052283071672\ 904707902993289349899030*m^23+3794507340147221878780089265251373322853668032663\ 4968556427254561181186062221036521202413235558306637970901653761902386128628*m^ 22+7488075827680783924212273656878911746695369061530810944695166137107278405389\ 4496323372789257487985722087691697045829261595156*m^21+137106302781707490207318\ 2097958313310232554133259443828560833116101591738059394426338653620475885500522\ 69121815955885816379584*m^20+23249219435682066526224662327083274297484167144187\ 0891335124592626234429923674116956654609196792262203599921274230780954237048*m^ 19+3643336775890806611827905146198307512458148208675329211937853206046556976181\ 51864960298556416616828585198497619045982839190096*m^18+52635071865849521467697\ 2918313382845147494450178677259612590141014069845085956707721444766803781814529\ 696892195562053219307152*m^17+6990849401685793705895054683957945730503968966642\ 08859303034314639962980241766468825031236585839390022428381141868432602078016*m ^16+850905590028692693705443339034796772289261755862748973308174877572585594204\ 164958315378196453244860447118436225018766298526528*m^15+9456707887082062633144\ 6040581092532230331288568235972845399120699131941865261170114334825852159563648\ 0436635820783998633198336*m^14+955583282337736163912903219158174146573853342083\ 879762339254455145853899408932961818308331000306099931509577838401729259219456* m^13+87363484100344746941408771110965462689196219833800982755859129116739861296\ 2314993197210155045044862005849980550303213044156416*m^12+718485446773997491383\ 0359905342613020913388856970093689918866704245436013308503297487025074236775918\ 95243869995368514358681600*m^11+52791511221266944560505050969297385301966604444\ 8056524019301309883497510953030821224588097709602884082415569603913450791333888 *m^10+3437229405885705642735449279922108370575600633486322112837720555199018650\ 84522295277939904244985180157170465019173677553274880*m^9+196343656472539590006\ 2939071910298502811713370684197144251435620319077036783463813174404754327009398\ 86471414446326822242959360*m^8+971874680432969347566867360506250798566043503440\ 34736137467949790080662675239752745716393187635791954872154861783508718796800*m ^7+4103464782864096705284962569261078700128881807851028080133136883400625474035\ 2912270253528240217933824028433974040046542848000*m^6+1447670441904629113271048\ 7162159909234733923568567672864131214655253254804748773601607235833462450017524\ 934937025871052800000*m^5+41486209856161993829982008616565814377804709432002326\ 83171664582462423209403234279119808930797566222995652388071804108800000*m^4+926\ 9996419536187380639963606055993420164118322821177343576712788104342417042129391\ 14854425505575665817329373648781312000000*m^3+151393990205415196360947614877159\ 7987348924474396860876436468480581462733807208342551703614475310913377424029332\ 27520000000*m^2+160606951334804111119522657981420045937857539608647739950438334\ 83582507305797743838075395092529806905815740186624000000000*m+82989172206219874\ 1857393202990477012139304155114725739473702134485469638363506786792424847386729\ 600478951243776000000000)*A(m+4)+13824*(3*m+20)*(3*m+17)*(3*m+19)*(3*m+16)*(m+6 )*(5825754926769363678548914328467261944711186764339541862832222666924675070409\ 5657790134*m^66+166717098403263436499533868183797657623646427339865556326395923\ 13658699298716519762706335*m^65+23442191287825350027495183749934919815508503288\ 26868006728762494133223034811861761215346665*m^64+21588960469172119807154289613\ 3763017394761289475334520419867907050046737536107461023361955718*m^63+146459089\ 0369358164341091242148093801183653282800977841830170707344029664147791279351456\ 0831126*m^62+780477038792742337024371478570089049259439176972945809993245309804\ 903113440067061152142398212710*m^61+3402259701745744948958916284352861810273490\ 8315829924654528304197574819894641311576735305394728564*m^60+124751073028583255\ 7459406335381656935750988375696045642213817868953676874631212815850241148678905\ 965*m^59+3926564451272237704892452986987576270249126605303827544281685042701016\ 3988532342879983187249516390503*m^58+107739516080406029119688611321777995352152\ 8305169706954273205527859114943479274726758316256324430411804*m^57+260846082012\ 1129960800883538224763979245146991181608375326157573112846028240242819011517913\ 6179716185222*m^56+562676297096535945992835960533585376766950396041025217333094\ 744966596283482277573365283447385048776355633*m^55+1090059114448558818813434664\ 6728028068790689666675092540736382651323005314506821848514691652838740865372167 *m^54+1909095179822658201405372606997890590796008228540948525177131814146688374\ 61560389800413904621116772529909837*m^53+30395225755887962125112839087722672076\ 68435982458702650811451775006951395947089869043223002261074246871938731*m^52+44\ 2013484718203377113629660852648912973307698783630294027359156010614830463503318\ 55676525816536556936488382305*m^51+58949033747419359531121777098073429411148533\ 7928038486437585401912497096543320263904492570167103545870487487577*m^50+723512\ 4558162844802693424604278955323629359940297874743231371676285888335269493280614\ 204100277817375642102926750*m^49+8197075426518531878786730882256864070656490120\ 7502711901498295754170261315729987320350219395081961932147435704760*m^48+859528\ 6217952991917370004161304275780179143674772352601764239460618069856409828360418\ 76829965145109876616686494505*m^47+83608261002785545821562669143414863347426427\ 03048337487263372606021291634867698904450156701025393773403159550791887*m^46+75\ 5958800310979180283742254388925946009949378284287746439663825933445360721589807\ 62730387650405177042915992836700055*m^45+63645745069776343876000392974896327300\ 3536655972528688610614700214251199163450757126600734564723282765723028165471825 *m^44+4997210114748849111897782491315092218705029082568050755617980380870363043\ 344214099158659009429493836016252078052026419*m^43+3663958067021092982014350974\ 0176428788257058415372951548349483039416766933943088433522590997212535652324456\ 075483176623*m^42+2511523878360344864765281490401275921280107331571603161122547\ 15189593796895946742590612696267430993568823245681878566770*m^41+16110761351648\ 5194039749582037075384485760347889887943054974725134288210876770578284172075481\ 8686261153097753747906681932*m^40+967941926791235206030521204424803360780450497\ 4419509669327112644330952204554350497131975431236016509860620944215385944735*m^ 39+5450531811515226140910905848888744198672203408380009979156691410328739290558\ 2020185520810329704316076511587817863150936629*m^38+287825861599447568188646667\ 3409268399201538798047815925424465786499681558049822005716892450033322681153684\ 64609152326154427*m^37+14259797696355689226964482415774467458006887229008570876\ 78848076618466533801715900975733067899054480283743282072357652197861*m^36+66302\ 4259313911113002082996693251281567516429985261304711799221828046135909359600800\ 9692158550628277518173008903709133013459*m^35+289379838058683408372933112233438\ 6477057097203925717322775743852461168486836027363872890547938852141237911415919\ 0249912099181*m^34+118569180936790925611460771251220321670520763547227761762962\ 704446632502950898881737841487061697695465124477020566963945595751*m^33+4560729\ 0250233578630547570030633240997859047313458142515771260058497347939533649039656\ 7757215552127236646010219983408111652683*m^32+164665372773621456938270105019253\ 3103263342159823013678745230046392643617050515965062932995952604157138676903313\ 857061428358565*m^31+5579234964588403323151905352892889656612637204881849825257\ 094505341389010296249572572561766537272525953694475793698756424348191*m^30+1773\ 3785999204467255710005195596250527988721484627631718020428140948258055697408386\ 756701671575919339153177338758752549611449075*m^29+5285459055059515717458834756\ 3672784481714204498265479038016255940308133131878414429874312220637840587984246\ 087406116845939628915*m^28+1476271940394241221227058681926289542009136327706269\ 62063057002944757021422501219444068329115958401721680525965399309682202718620*m ^27+386140886530363211159576267475194977942680867632070898985117865074790706574\ 478762940334283885353233203756845363867541598179173454*m^26+9450537288776945825\ 6030992448386270691004593281632878059572012735215770565278808432948686569709666\ 9399843253676010464600117596910*m^25+216208174759211705828013428724746396408209\ 7226485532819233266673464989214079385071800711572755213202640471077878000726476\ 023554210*m^24+4618483228224521837543518484037690698749466949995195379418861598\ 958145916759958264337634024888656124815019888099097457902563863388*m^23+9199667\ 5029115599974299513188608593480691927014321212398256617680748774884601772125114\ 60048496592581762517070011923921407012750976*m^22+17062553228455608452603463175\ 0765660839897229699354817925458403152354791170621727567065356152059952562607606\ 25547093073834738986920*m^21+29415725327518399232151409418971009237581288490053\ 6005150469354893562912125490686846962697404634559263656844342330613729160769277\ 04*m^20+47048241557645939895058462688315499176814616039250799258074531990128870\ 911223109310145074774843014689814995310340303991394831946000*m^19+6966058351492\ 7221543554661709549890497661705679085929010290900759411445060410505217143253846\ 883629849762122460139767607815640460768*m^18+9524300112320440291718562843699758\ 3391140925304693252120680540783472729877882786719341225573760443113069435641009\ 635883780958324544*m^17+1199097410897420038560497372953795229309145815109460009\ 14669968578433907541327355485590790096483214495818970770767120458720049633792*m ^16+138563970311489651639365181159909512533044347638071326771189783893951692906\ 810390347169758733525561372013381619160934657388060343808*m^15+1464245892368007\ 6597524785156889747598181592044489230205274172007446330397450311295742873995644\ 8592438492358455022770453021226417152*m^14+140894162744900421313097588266038243\ 8576120813774435231114375707036809056050879354932470207857921401097570064934705\ 69359204394995712*m^13+12283906035104352227625968903295958330050817492639847266\ 0109755589895053562335155123977158301213416277744373427466212521289610663936*m^ 12+9647756063427245517845887151106595951036658546052003418980665755345094842240\ 8272316470935664620308567312988500855341762588210810880*m^11+677928237974907722\ 8950575545059158861470661902961521630031924521005840043994319363598433874779280\ 4717957819578848252894137905733632*m^10+422708021447665084700583284823746029803\ 5073603093724978524917464386884877994155305728642023637364252128452696799792601\ 8734517862400*m^9+2315557940834179447990203640956793998729923093953959262610879\ 7496395877624019644524006706155762898956464971710560673099323429683200*m^8+1100\ 6410644517147718274980432413073863804595599831910372491575412235934653562872346\ 020169902002525810773528061422279091516538880000*m^7+44685868274952380973693386\ 8158444330796793281342044215004341396628379160311811116196242746686182828596287\ 2583106880137910026240000*m^6+1517960500480593294289011538320436343277249764734\ 1561583014117100706459577196294434301458391537480701879473598974983666794496000\ 00*m^5+419426088589267817370587805875294740593324245933509465071957523380887091\ 083128867353774284032108527417555733000661886566400000000*m^4+90487187677630094\ 3198576786707839691332350232767955184449838757670674816761018458997023521778095\ 30189518432291567278489600000000*m^3+142881310743602108915849782748543061969937\ 7106927237783011563975235392902562910849487808645138868366468793906005740093440\ 0000000*m^2+1467593948637423470718011541248598434371216320924399752149483641780\ 732451767962176634864005841956903686406149897191424000000000*m+7353082029160546\ 3967166587260922775239505010632900328469073503836950619719653070140296627961318\ 421617576283450900480000000000)*A(m+5)-63*(7*m+37)*(7*m+39)*(3*m+19)*(7*m+41)*( 7*m+36)*(3*m+20)*(7*m+38)*(7*m+40)*(8290216326488467324552166843076865064977358\ 8500438658668647406150852036173111155473*m^63+224393376682945211800969933264839\ 43767618972788615119143376879952220116214507965973351*m^62+29814233047238863199\ 46913045510090566726805234723878868030086730105402527882771761615754*m^61+25919\ 1386398443576718116140609502871678507564433985670867271330101941249036187731084\ 957894*m^60+1658152311947798627398182860424487232508863244013937427137732266104\ 3315322682719107894494001*m^59+832397530346153480250675474752335142721816808621\ 900469429972029956821961229832090506946373435*m^58+3414529002423541452547870534\ 3217709349557287291211780999253158149413152191427699497855916540538*m^57+117683\ 7886704194911747109134845728159348027702532580391348728588847993471402802468219\ 681088458412*m^56+3477730227207609731148906878756021469457581053436308682928701\ 8672649143984302167980169048231523437*m^55+894860899745953359575519671722771236\ 930877816128137605641625432728315481703744656234359094429541683*m^54+2029236529\ 1857969125209588773135010491744007032641741661002528011864906236944118267790224\ 496291175051*m^53+4094759477562738709378317651046913445026689651626246777785024\ 43599256019007529151136537785904380043415*m^52+74110031964146086322564784134759\ 74912531304361905211715244364470618518454227567255355279042526036890736*m^51+12\ 1095677054819281205656754865508204308612765815259508532011983561929623308470670\ 061203518826681773344236*m^50+1796294720274244907779779591782765441130703163942\ 059705998242758821678078154604567930249983172701244862741*m^49+2430272220663685\ 5932870699513848483785004121963562479382136967408888338253244546027792297949080\ 677078150601*m^48+3010904843214621171538759964388939933103689202872119980648181\ 10887766159518300353071289936340093767784343387*m^47+34276575496499231339825619\ 7519765176240403031984049810960785903573499400113834137694898112146939262944109\ 7219*m^46+359622198026212080929841434571720161720112297106751661070659849623739\ 73108452818735042677070526805608524054823*m^45+34862816971260442985719370775788\ 4143798038286289033473549225061174161011173341778037236912153038191902798726651 *m^44+3129795509501031471586819287909967959997810044259110383406830312889044641\ 346503116606922507554344176045737351096*m^43+2607050104602990498025281017019394\ 7252848428820648267999491872503036723935305363448358535913625458888348361350552 *m^42+2018332325319219157710557162695703709412847757462822156662741220247560937\ 89658247810097356719221067534185374086725*m^41+14543737896052336724499216750236\ 2791846051264554929016965823963215178583465939205977047294911381982176779212514\ 4053*m^40+976652788862520656482009207829106081426559836754023857120330946104556\ 6407554399623603262089028061942390912492806285*m^39+611849785895774721918537684\ 7127731829566789047540184399417332684981139221529246767855462702655630107396065\ 1013734829*m^38+357911238774781427499939317519857373389963651337066575476066162\ 121259052249630485933495963220249015352833450792549837*m^37+1956358779476386965\ 6997656751617432604365489675406909517959023867350884797646313567680050332393529\ 16243927915890667737*m^36+99980837075001560882558167768762150666731964542655554\ 59742742753519764776332291558351931905205899879657640919638905188*m^35+47793822\ 4021799345359232884455137411838647581743835031458429571458768970231335288526880\ 38448643103162495315494384036608*m^34+21377009220615314766335080028294042817488\ 5755895048407091904767000609376207478478245612548096337208417149029873340739311 *m^33+8947865632421171100039514479454522492002093067708506406626075123566516095\ 48152115198955689900730905174949193477381035691*m^32+35051881194381518573958704\ 0135285183061098963661180946556530343124828702495466460592879879091661590631993\ 9304813019242540*m^31+128496128622065218625135628282060312926412218872900730860\ 33690468684662057910586305788555577800944065309001586109450243662*m^30+44072571\ 4988782391809254087786976268842138935382881915455665666374511011504004337803668\ 67306361252253226088338751889649971*m^29+14138514327792388647684206803278205517\ 7397289907482921408918832863392206572585049037240515780505993209785857685946784\ 854819*m^28+4240302267309244991806921556387938354407696441597579245198566569887\ 88950174399554368212276925521288558804232002009579076363*m^27+11881992143019588\ 5333336183285453517555952696034047203083508369183806710726808436888855547262589\ 3974864795517942195963468081*m^26+310857362072377390487500480169037358809033555\ 7983835989110237360786147235146643698680027147548278069054567344725633809294877 *m^25+7586250323216011447848127128630029062834781815475526938041899854560068523\ 219351413188661963870168111442302812820876230166699*m^24+1725170160127977577689\ 1206993614452086962570971556191446914935811982018583254972445961612817337580602\ 037278444251345810025806*m^23+3651273195020236168895755276999853530713903513236\ 5446250200032515630332650745705331885917726955583052171560224023564416438472*m^ 22+7182082012161922148252700484120887482424601720620600392647169024230999330251\ 0148238222668855038800329492637876061018041112196*m^21+131082447747778893498948\ 6497731932782130017653735158863779829826236612167212339391587849850079328406328\ 30622827185888132750828*m^20+22157425081158300494567885855862501166001236858656\ 3062623152224660295258082559796626810800875959060810978639539708472749746264*m^ 19+3461401095448971858461191376007122055022455220850724466141272893149243219391\ 69079176307955660903684374535164194056656182076336*m^18+49852700699539578496822\ 6335246262909812728036076090714775026054711868884596230211258997611926674842689\ 831561667029884433480800*m^17+6601230274862008689091971572827809563164278011064\ 53248132678901081898519401910490745621853804753784355908316152703405093112576*m ^16+801087669055256302539087827294194810616799105572457330338816094248511886342\ 038671665357102116274003380555011371429133242310400*m^15+8877007481512886219003\ 8797954393588791545248202279778527943754023823587563520480855857504290107033248\ 0621570549276734785078784*m^14+894436655341934719672534727201505716841728364461\ 399505080168175534988299179033620171658779547384640443407922764489873726476288* m^13+81544491858478435117442015766452397791463489793180637297210640747678942943\ 2966681943420469319581917518642028171860642079263744*m^12+668803839256394267201\ 7087261519235429339636960805551916357452346335496532461923007642976931744522540\ 23940601614056194680141824*m^11+49011428100873530566384306893088128962345206167\ 9846450147400826238899750826744346471561597952783003536670931666612118190026752 *m^10+3182991126751174094068697149910855943629420719217486686236833568010386950\ 48945088558328313460598265394034250560569653799641088*m^9+181377937307037094811\ 6149146417540000708189109586556486631540965346345063118497595763601798380783827\ 94841602438831710905466880*m^8+895721079981894894113033054503123790793309319844\ 39916674292058630219484522315740874707491241533864395831405755553225863987200*m ^7+3773735437592775625263416804532435786151590784091056105258062078368917869972\ 8957849221397404287474618397448094843838857216000*m^6+1328688547502140432183309\ 7565729377778555058001929807662097304115105620867764295389098907773791911443067\ 526834408097054720000*m^5+38008322481328072732572022299901222436057216666532345\ 62953261261026841399538671697913289474943011641789198743752880947200000*m^4+847\ 9742005331306765926719190939498514887605308973872803853526556933212948793360532\ 83276062301026403143068705649328128000000*m^3+138315032551315240104504697253874\ 5211384871677818753881967497569952355344071899606882965300482454468461197345056\ 35840000000*m^2+146602569377143723914464817444126126657486646968330235286901714\ 20222678835408537832663001342272354574437523128320000000000*m+75720178912211325\ 8305334230319027752529446584856664499538321613474304046622358632511071866069701\ 273550061568000000000000)*A(m+6)+43904*(7*m+47)*(7*m+40)*(14*m+85)*(7*m+45)*(7* m+38)*(14*m+95)*(7*m+43)*(7*m+36)*(2*m+13)*(7*m+48)*(7*m+41)*(14*m+87)*(7*m+46) *(7*m+39)*(14*m+97)*(7*m+44)*(7*m+37)*(14*m+93)*(m+7)*(14*m+89)*( 1701175539921869284761500923264067581769705827540182980194607468427*m^51+ 327769782834351988679611909508533188995459906702619684378973770728643*m^50+ 30870724043921265985660679543132874518572942436544988620797507215335975*m^49+ 1894216980466538361756590540224221027172675701903924035671461152800714719*m^48+ 85147235350745769229958135106429892420814769858274930733252450949608178159*m^47 +2989442142068200943045250782367010528294455266921909902672880970529496028099*m ^46+ 85349436083254891342068171963638300514087544648349049857532918978992686372033*m ^45+203709148504057178437246377671615064564124847056081399030796808747429984424\ 0719*m^44+414704431339624383388082410790774735790075767027112679550115102163200\ 88682583864*m^43+73110190128851206087667290844474980193608511263325924276783648\ 2084849753090917726*m^42+112944554852677981309440208698043822877042025083308976\ 47373676352208530318745593377*m^41+15434602951102937183106601842209441001236071\ 9807181606438089092818457931285396618275*m^40+188013602390456726871642129431647\ 8958603332133418694380706767189667162343707642113788*m^39+205435672117650608388\ 50615694832242395732208664540682710480354650719626153606367581890*m^38+20240450\ 7614665598232094425450842585937788335425388199978626155034204361293179712025568 *m^37+1805988163561245684247182436283375039832209370814298061730342112605607381\ 752233946700268*m^36+1464697898825269413674811481500660181449956859406967628826\ 5670789715102003421754420616754*m^35+108306334764324459927375581446637053244533\ 102697248590293418456039584479478292996133313616*m^34+7320678092050501126764525\ 06733170347605405822563522289837996045392876833159387691305143951*m^33+45328772\ 9152764680702198368260085038303038458602870554029394497833112991335805510563695\ 2193*m^32+257568610374129148872149398800632803825714738847951989625861098721125\ 26232771625408584256523*m^31+13450387250698817011406422140272364999388970662513\ 5450347270904570393900358294054840139785683*m^30+646242239794639777111794922706\ 335775582966883093731117082659607518524345424340178096541145921*m^29+2859237381\ 4110256906544995232289992072842313574418533316303688786009076787056908821421396\ 93007*m^28+11656352218720131767328402947572941612954919004957744824802242574709\ 326266622299530312064634744*m^27+4380151228303770710282036769353892403051179306\ 3408704337911245296616203047083493507969772878586*m^26+151733892497087823284850\ 812265286396414846765108647681288113435631303073652421315832270217939427*m^25+ 4845007362357001397977985972865176179992160569284260868569154856803081006091445\ 52434329502229481*m^24+14255221623991204896010187721167686548195037019225638171\ 80579306704088909537364567726881021999846*m^23+38624830424076085379320575587457\ 10942868657315013662699378434167953178457994271460551450180925884*m^22+96296352\ 2584539828628344088053446318231652429315489844937029151116183013255481670645783\ 5925199198*m^21+220661984671437201685571578111292491720302097099152175471669607\ 94874395622633263852761399300348190*m^20+46411051768111212062910707701988660206\ 677473958399041938805851079446968924975364986252047732782587*m^19+8944586659266\ 3988483390896595247284989363447090756454634055148419496239627357380707786872769\ 535085*m^18+1576397018845658211673067864884485037600774805624125106725464536668\ 53642982157934324128578934959422*m^17+25345055702392446808169786935876238195552\ 2888120567611956504413743407569209511900412046632425398012*m^16+370689164550608\ 6746379819726053473275956376791090526196363547468617715851117548421693916107451\ 50236*m^15+49154441471173038039841319751096439357234558226031733514304023066929\ 3938718088588218474574041261524*m^14+588627366717916531006117157811529145053855\ 239152403145630405491631529465743690361040935498723672904*m^13+6336092215248336\ 0109990777094773437082522006567353172743460476913076093408175776203198866863337\ 3552*m^12+609685826069771244450901166436640380749354200961502483238260478974162\ 470183696670977522777117342880*m^11+5209831150552020585112593447213141696566889\ 35688729353257177613393136709736474449589117801378455104*m^10+39219718413804751\ 9703833573319649793670029966968428285491829783390487086070179799714953895029437\ 824*m^9+25757115512379813481910906008105886977197210093214152757475469712173767\ 9038938832984630280940259584*m^8+1457805902628707355566149461848733714025129204\ 34949171549250447942450560623757093491622615271752192*m^7+700075840911141138878\ 73503987285398640025380345916078553123339389689727936130990120466535069788160*m ^6+2794676467949275411118361112433967156628738334996083480497307094379027779096\ 3210265758041283174400*m^5+9016935018179191224136962315593285663037183556317470\ 053513787420720312356776366384449172713472000*m^4+22574379831318554384597371127\ 04353821769739567387096050775963403917363936844649892641946501120000*m^3+411127\ 3351025999066216095233185583865257741437133433645029264249775511030442531291212\ 70988800000*m^2+484150860433410010785618918242430767812655477503866671468356770\ 48624459863666759006945280000000*m+27649006588583313687123657378818193379098872\ 49195070319335978683346040673748789619589120000000)*A(m+7) = 0 The growth-constant is the cubic root of the largest root of the algebraic e\ quation in, M 7 6 9151215437140525170688 M - 3250783394068711114206117 M 5 4 + 38346155182903908999195648 M - 225349499083716272204808192 M 3 2 + 629824408752906166855532544 M - 913833848580113471348146176 M + 661083349737662750134370304 M - 188436971148778297205194752 = 0 and in Maple notation 9151215437140525170688*M^7-3250783394068711114206117*M^6+ 38346155182903908999195648*M^5-225349499083716272204808192*M^4+ 629824408752906166855532544*M^3-913833848580113471348146176*M^2+ 661083349737662750134370304*M-188436971148778297205194752 = 0 that happens to be equal to (1/3) 7 6 27 RootOf(9151215437140525170688 _Z - 120399384965507819044671 _Z 5 4 + 52601035916191919066112 _Z - 11448940663705546522624 _Z 3 2 + 1185125740680350531584 _Z - 63686652131769581568 _Z (1/3) + 1706371677564174336 _Z - 18014398509481984, index = 1) and in Maple notation 27^(1/3)*RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^(1/3) that equals 7.0015547549940074583 as you can see, this is less than, 8, . n so indeed the size of the largest such set it is exponentially less than, 8 The asymptotic expansion to order, 3, of the sequence A(m) is / m m 1/2 | %2 27 %1 (1/m) |1449430669368546583320920125900830202106982055847518896\ | \ 6 907595639260291384607202783660503119876800512 %1 /(%2) - 132587881883919\ 356419724787235822444145279475297249481341858427706258851907003011133444\ 6 %1 5197367076129480114176/28236370509 ---- - 189927740691077364189068302070\ m %2 5 12482001955414231106346995060193695740905584874415540899941777032476965 %1 /(%2) - 6283142823840470512676846599222602353069474319632012419876279756\ 20748122624233473114859380133335588779834443901298920490492128320/ 6 %1 2501405534322327101760817753581 ----- + 75634703861707553877064853063355\ 2 m %2 248599141480343514473528538239167428332712698125934047504601755480952433\ 5 %1 2272/1227668283 ---- + 7324595113644959365142656517512068639186362152341\ m %2 4 941916775897233546233506107706460251179972125427200 %1 /(%2) + 916198488\ 066138321064202271269728080346512122682582703025939283970982452709474288\ 46626412908484331246257775575633574061718333267215/ 5 %1 27841731164631119045685623692032 ----- - 6990506319780233566479897183323\ 2 m %2 889111471984727228506378267393058353283448758728282207646249406807117871\ 4 %1 372256/28236370509 ---- - 1434804954977569843988209637240096697415886232\ m %2 3 970048867322048835136488110268468993711718324313260032 %1 /(%2) - 315273\ 452384964915673737593045092851578845860905888518005752918085662609365435\ 4842261242928772973256194490181526434929157389740050/ 4 %1 2501405534322327101760817753581 ----- + 15772508888568666702543491460414\ 2 m %2 126213267341147744956310106336809179313668649546125853258498360990423076\ 3 %1 0448/3137374501 ---- + 1146817162605361894085680536902766480534523782731\ m %2 2 77101279882473718800005282147370565566169022988288 %1 /(%2) + 6822789833\ 758003817866850223351258774031837678721547589692300719369019772463890471\ 1492466401129179894135756368691200968173445120/ 3 %1 277933948258036344640090861509 ----- - 128187643808217046883309616560461\ 2 m %2 879602654335680820551509288734310465942937359085307288282564545239429677\ 2 %1 056/28236370509 ---- - 4786183986307971646611269917855614012542943818422\ m %2 631859842301081350914491153017739459546748813312 %1/(%2) + 2617388699806\ 480623868672979842833065920714876126002595430718160635115605110411157478\ 025950396416 m/(%2) - 47978637010889900928381218695941022038666307247515\ 251058133526536532079324143706029316847706973247601347106080361550483376\ 2 %1 046080/2501405534322327101760817753581 ----- + 7715052197523579760469873\ 2 m %2 062594571690406043325706181105925649288199403163804416461765293683890323\ %1 565051904/28236370509 ---- - 1780857889633296983518002090186303594176563\ m %2 09695049536422895707778090322937883554411520729284608/(%2) + 18507962614\ 480586275837980912603370646770716145412302672121209345541095429628629402\ 23295405794713379464355719306433761514618880/ %1 2501405534322327101760817753581 ----- + 27957496044471883765617386870325\ 2 m %2 782276734601787305807424217437038659499373316309673616624691853771826790\ 1 4/28236370509 ---- - 127422382292611635021519559292333300386169866512495\ m %2 436079132893235809390904056777551973547846925067595581967677124534861824\ \ 1 | 00/2501405534322327101760817753581 -----|/m 2 | m %2/ 7 6 %1 := RootOf(9151215437140525170688 _Z - 120399384965507819044671 _Z 5 4 + 52601035916191919066112 _Z - 11448940663705546522624 _Z 3 2 + 1185125740680350531584 _Z - 63686652131769581568 _Z + 1706371677564174336 _Z - 18014398509481984, index = 1) %2 := 1449430669368546583320920125900830202106982055847518896907595639260291\ 6 384607202783660503119876800512 %1 - 18992774069107736418906830207012482\ 5 001955414231106346995060193695740905584874415540899941777032476965 %1 + 732459511364495936514265651751206863918636215234194191677589723354623350\ 4 6107706460251179972125427200 %1 - 1434804954977569843988209637240096697\ 3 415886232970048867322048835136488110268468993711718324313260032 %1 + 11\ 468171626053618940856805369027664805345237827317710127988247371880000528\ 2 2147370565566169022988288 %1 - 4786183986307971646611269917855614012542\ 943818422631859842301081350914491153017739459546748813312 %1 - 178085788\ 963329698351800209018630359417656309695049536422895707778090322937883554\ 411520729284608 and in Maple notation (144943066936854658332092012590083020210698205584751889690759563926029138460720\ 2783660503119876800512*RootOf(9151215437140525170688*_Z^7-\ 120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)^6-18992774069107736418\ 9068302070124820019554142311063469950601936957409055848744155408999417770324769\ 65*RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^5+732459511364495936514265651751206863918636215234\ 1941916775897233546233506107706460251179972125427200*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^4-143480495497756984398820963724009669741588623297\ 0048867322048835136488110268468993711718324313260032*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^3+114681716260536189408568053690276648053452378273\ 177101279882473718800005282147370565566169022988288*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^2-478618398630797164661126991785561401254294381842\ 2631859842301081350914491153017739459546748813312*RootOf(9151215437140525170688 *_Z^7-120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)-1780857889633296983518\ 00209018630359417656309695049536422895707778090322937883554411520729284608)*27^ m*RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^m/m*(1/m)^(1/2)*(144943066936854658332092012590083\ 0202106982055847518896907595639260291384607202783660503119876800512/(1449430669\ 3685465833209201259008302021069820558475188969075956392602913846072027836605031\ 19876800512*RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^6-189927740691077364189068302070124820019554142311\ 06346995060193695740905584874415540899941777032476965*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^5+732459511364495936514265651751206863918636215234\ 1941916775897233546233506107706460251179972125427200*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^4-143480495497756984398820963724009669741588623297\ 0048867322048835136488110268468993711718324313260032*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^3+114681716260536189408568053690276648053452378273\ 177101279882473718800005282147370565566169022988288*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^2-478618398630797164661126991785561401254294381842\ 2631859842301081350914491153017739459546748813312*RootOf(9151215437140525170688 *_Z^7-120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)-1780857889633296983518\ 00209018630359417656309695049536422895707778090322937883554411520729284608)* RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^6-132587881883919356419724787235822444145279475297\ 2494813418584277062588519070030111334445197367076129480114176/28236370509/m/(14\ 4943066936854658332092012590083020210698205584751889690759563926029138460720278\ 3660503119876800512*RootOf(9151215437140525170688*_Z^7-120399384965507819044671 *_Z^6+52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^6-189927740691077364189068302070124820019554142311\ 06346995060193695740905584874415540899941777032476965*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^5+732459511364495936514265651751206863918636215234\ 1941916775897233546233506107706460251179972125427200*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^4-143480495497756984398820963724009669741588623297\ 0048867322048835136488110268468993711718324313260032*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^3+114681716260536189408568053690276648053452378273\ 177101279882473718800005282147370565566169022988288*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^2-478618398630797164661126991785561401254294381842\ 2631859842301081350914491153017739459546748813312*RootOf(9151215437140525170688 *_Z^7-120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)-1780857889633296983518\ 00209018630359417656309695049536422895707778090322937883554411520729284608)* RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^6-189927740691077364189068302070124820019554142311\ 06346995060193695740905584874415540899941777032476965/(144943066936854658332092\ 0125900830202106982055847518896907595639260291384607202783660503119876800512* RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^6-189927740691077364189068302070124820019554142311\ 06346995060193695740905584874415540899941777032476965*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^5+732459511364495936514265651751206863918636215234\ 1941916775897233546233506107706460251179972125427200*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^4-143480495497756984398820963724009669741588623297\ 0048867322048835136488110268468993711718324313260032*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^3+114681716260536189408568053690276648053452378273\ 177101279882473718800005282147370565566169022988288*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^2-478618398630797164661126991785561401254294381842\ 2631859842301081350914491153017739459546748813312*RootOf(9151215437140525170688 *_Z^7-120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)-1780857889633296983518\ 00209018630359417656309695049536422895707778090322937883554411520729284608)* RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^5-628314282384047051267684659922260235306947431963\ 2012419876279756207481226242334731148593801333355887798344439012989204904921283\ 20/2501405534322327101760817753581/m^2/(144943066936854658332092012590083020210\ 6982055847518896907595639260291384607202783660503119876800512*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^6-189927740691077364189068302070124820019554142311\ 06346995060193695740905584874415540899941777032476965*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^5+732459511364495936514265651751206863918636215234\ 1941916775897233546233506107706460251179972125427200*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^4-143480495497756984398820963724009669741588623297\ 0048867322048835136488110268468993711718324313260032*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^3+114681716260536189408568053690276648053452378273\ 177101279882473718800005282147370565566169022988288*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^2-478618398630797164661126991785561401254294381842\ 2631859842301081350914491153017739459546748813312*RootOf(9151215437140525170688 *_Z^7-120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)-1780857889633296983518\ 00209018630359417656309695049536422895707778090322937883554411520729284608)* RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^6+756347038617075538770648530633552485991414803435\ 144735285382391674283327126981259340475046017554809524332272/1227668283/m/(1449\ 4306693685465833209201259008302021069820558475188969075956392602913846072027836\ 60503119876800512*RootOf(9151215437140525170688*_Z^7-120399384965507819044671* _Z^6+52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^6-189927740691077364189068302070124820019554142311\ 06346995060193695740905584874415540899941777032476965*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^5+732459511364495936514265651751206863918636215234\ 1941916775897233546233506107706460251179972125427200*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^4-143480495497756984398820963724009669741588623297\ 0048867322048835136488110268468993711718324313260032*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^3+114681716260536189408568053690276648053452378273\ 177101279882473718800005282147370565566169022988288*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^2-478618398630797164661126991785561401254294381842\ 2631859842301081350914491153017739459546748813312*RootOf(9151215437140525170688 *_Z^7-120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)-1780857889633296983518\ 00209018630359417656309695049536422895707778090322937883554411520729284608)* RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^5+732459511364495936514265651751206863918636215234\ 1941916775897233546233506107706460251179972125427200/(1449430669368546583320920\ 125900830202106982055847518896907595639260291384607202783660503119876800512* RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^6-189927740691077364189068302070124820019554142311\ 06346995060193695740905584874415540899941777032476965*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^5+732459511364495936514265651751206863918636215234\ 1941916775897233546233506107706460251179972125427200*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^4-143480495497756984398820963724009669741588623297\ 0048867322048835136488110268468993711718324313260032*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^3+114681716260536189408568053690276648053452378273\ 177101279882473718800005282147370565566169022988288*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^2-478618398630797164661126991785561401254294381842\ 2631859842301081350914491153017739459546748813312*RootOf(9151215437140525170688 *_Z^7-120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)-1780857889633296983518\ 00209018630359417656309695049536422895707778090322937883554411520729284608)* RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^4+916198488066138321064202271269728080346512122682\ 5827030259392839709824527094742884662641290848433124625777557563357406171833326\ 7215/27841731164631119045685623692032/m^2/(144943066936854658332092012590083020\ 2106982055847518896907595639260291384607202783660503119876800512*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^6-189927740691077364189068302070124820019554142311\ 06346995060193695740905584874415540899941777032476965*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^5+732459511364495936514265651751206863918636215234\ 1941916775897233546233506107706460251179972125427200*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^4-143480495497756984398820963724009669741588623297\ 0048867322048835136488110268468993711718324313260032*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^3+114681716260536189408568053690276648053452378273\ 177101279882473718800005282147370565566169022988288*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^2-478618398630797164661126991785561401254294381842\ 2631859842301081350914491153017739459546748813312*RootOf(9151215437140525170688 *_Z^7-120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)-1780857889633296983518\ 00209018630359417656309695049536422895707778090322937883554411520729284608)* RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^5-699050631978023356647989718332388911147198472722\ 8506378267393058353283448758728282207646249406807117871372256/28236370509/m/(14\ 4943066936854658332092012590083020210698205584751889690759563926029138460720278\ 3660503119876800512*RootOf(9151215437140525170688*_Z^7-120399384965507819044671 *_Z^6+52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^6-189927740691077364189068302070124820019554142311\ 06346995060193695740905584874415540899941777032476965*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^5+732459511364495936514265651751206863918636215234\ 1941916775897233546233506107706460251179972125427200*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^4-143480495497756984398820963724009669741588623297\ 0048867322048835136488110268468993711718324313260032*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^3+114681716260536189408568053690276648053452378273\ 177101279882473718800005282147370565566169022988288*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^2-478618398630797164661126991785561401254294381842\ 2631859842301081350914491153017739459546748813312*RootOf(9151215437140525170688 *_Z^7-120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)-1780857889633296983518\ 00209018630359417656309695049536422895707778090322937883554411520729284608)* RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^4-143480495497756984398820963724009669741588623297\ 0048867322048835136488110268468993711718324313260032/(1449430669368546583320920\ 125900830202106982055847518896907595639260291384607202783660503119876800512* RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^6-189927740691077364189068302070124820019554142311\ 06346995060193695740905584874415540899941777032476965*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^5+732459511364495936514265651751206863918636215234\ 1941916775897233546233506107706460251179972125427200*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^4-143480495497756984398820963724009669741588623297\ 0048867322048835136488110268468993711718324313260032*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^3+114681716260536189408568053690276648053452378273\ 177101279882473718800005282147370565566169022988288*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^2-478618398630797164661126991785561401254294381842\ 2631859842301081350914491153017739459546748813312*RootOf(9151215437140525170688 *_Z^7-120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)-1780857889633296983518\ 00209018630359417656309695049536422895707778090322937883554411520729284608)* RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^3-315273452384964915673737593045092851578845860905\ 8885180057529180856626093654354842261242928772973256194490181526434929157389740\ 050/2501405534322327101760817753581/m^2/(14494306693685465833209201259008302021\ 06982055847518896907595639260291384607202783660503119876800512*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^6-189927740691077364189068302070124820019554142311\ 06346995060193695740905584874415540899941777032476965*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^5+732459511364495936514265651751206863918636215234\ 1941916775897233546233506107706460251179972125427200*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^4-143480495497756984398820963724009669741588623297\ 0048867322048835136488110268468993711718324313260032*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^3+114681716260536189408568053690276648053452378273\ 177101279882473718800005282147370565566169022988288*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^2-478618398630797164661126991785561401254294381842\ 2631859842301081350914491153017739459546748813312*RootOf(9151215437140525170688 *_Z^7-120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)-1780857889633296983518\ 00209018630359417656309695049536422895707778090322937883554411520729284608)* RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^4+157725088885686667025434914604141262132673411477\ 449563101063368091793136686495461258532584983609904230760448/3137374501/m/(1449\ 4306693685465833209201259008302021069820558475188969075956392602913846072027836\ 60503119876800512*RootOf(9151215437140525170688*_Z^7-120399384965507819044671* _Z^6+52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^6-189927740691077364189068302070124820019554142311\ 06346995060193695740905584874415540899941777032476965*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^5+732459511364495936514265651751206863918636215234\ 1941916775897233546233506107706460251179972125427200*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^4-143480495497756984398820963724009669741588623297\ 0048867322048835136488110268468993711718324313260032*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^3+114681716260536189408568053690276648053452378273\ 177101279882473718800005282147370565566169022988288*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^2-478618398630797164661126991785561401254294381842\ 2631859842301081350914491153017739459546748813312*RootOf(9151215437140525170688 *_Z^7-120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)-1780857889633296983518\ 00209018630359417656309695049536422895707778090322937883554411520729284608)* RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^3+114681716260536189408568053690276648053452378273\ 177101279882473718800005282147370565566169022988288/(14494306693685465833209201\ 25900830202106982055847518896907595639260291384607202783660503119876800512* RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^6-189927740691077364189068302070124820019554142311\ 06346995060193695740905584874415540899941777032476965*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^5+732459511364495936514265651751206863918636215234\ 1941916775897233546233506107706460251179972125427200*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^4-143480495497756984398820963724009669741588623297\ 0048867322048835136488110268468993711718324313260032*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^3+114681716260536189408568053690276648053452378273\ 177101279882473718800005282147370565566169022988288*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^2-478618398630797164661126991785561401254294381842\ 2631859842301081350914491153017739459546748813312*RootOf(9151215437140525170688 *_Z^7-120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)-1780857889633296983518\ 00209018630359417656309695049536422895707778090322937883554411520729284608)* RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^2+682278983375800381786685022335125877403183767872\ 1547589692300719369019772463890471149246640112917989413575636869120096817344512\ 0/277933948258036344640090861509/m^2/(14494306693685465833209201259008302021069\ 82055847518896907595639260291384607202783660503119876800512*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^6-189927740691077364189068302070124820019554142311\ 06346995060193695740905584874415540899941777032476965*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^5+732459511364495936514265651751206863918636215234\ 1941916775897233546233506107706460251179972125427200*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^4-143480495497756984398820963724009669741588623297\ 0048867322048835136488110268468993711718324313260032*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^3+114681716260536189408568053690276648053452378273\ 177101279882473718800005282147370565566169022988288*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^2-478618398630797164661126991785561401254294381842\ 2631859842301081350914491153017739459546748813312*RootOf(9151215437140525170688 *_Z^7-120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)-1780857889633296983518\ 00209018630359417656309695049536422895707778090322937883554411520729284608)* RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^3-128187643808217046883309616560461879602654335680\ 820551509288734310465942937359085307288282564545239429677056/28236370509/m/(144\ 9430669368546583320920125900830202106982055847518896907595639260291384607202783\ 660503119876800512*RootOf(9151215437140525170688*_Z^7-120399384965507819044671* _Z^6+52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^6-189927740691077364189068302070124820019554142311\ 06346995060193695740905584874415540899941777032476965*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^5+732459511364495936514265651751206863918636215234\ 1941916775897233546233506107706460251179972125427200*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^4-143480495497756984398820963724009669741588623297\ 0048867322048835136488110268468993711718324313260032*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^3+114681716260536189408568053690276648053452378273\ 177101279882473718800005282147370565566169022988288*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^2-478618398630797164661126991785561401254294381842\ 2631859842301081350914491153017739459546748813312*RootOf(9151215437140525170688 *_Z^7-120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)-1780857889633296983518\ 00209018630359417656309695049536422895707778090322937883554411520729284608)* RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^2-478618398630797164661126991785561401254294381842\ 2631859842301081350914491153017739459546748813312/(1449430669368546583320920125\ 900830202106982055847518896907595639260291384607202783660503119876800512*RootOf (9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^6-189927740691077364189068302070124820019554142311\ 06346995060193695740905584874415540899941777032476965*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^5+732459511364495936514265651751206863918636215234\ 1941916775897233546233506107706460251179972125427200*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^4-143480495497756984398820963724009669741588623297\ 0048867322048835136488110268468993711718324313260032*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^3+114681716260536189408568053690276648053452378273\ 177101279882473718800005282147370565566169022988288*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^2-478618398630797164661126991785561401254294381842\ 2631859842301081350914491153017739459546748813312*RootOf(9151215437140525170688 *_Z^7-120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)-1780857889633296983518\ 00209018630359417656309695049536422895707778090322937883554411520729284608)* RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)+26173886998064806238686729798428330659207148761260\ 02595430718160635115605110411157478025950396416*m/(1449430669368546583320920125\ 900830202106982055847518896907595639260291384607202783660503119876800512*RootOf (9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^6-189927740691077364189068302070124820019554142311\ 06346995060193695740905584874415540899941777032476965*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^5+732459511364495936514265651751206863918636215234\ 1941916775897233546233506107706460251179972125427200*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^4-143480495497756984398820963724009669741588623297\ 0048867322048835136488110268468993711718324313260032*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^3+114681716260536189408568053690276648053452378273\ 177101279882473718800005282147370565566169022988288*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^2-478618398630797164661126991785561401254294381842\ 2631859842301081350914491153017739459546748813312*RootOf(9151215437140525170688 *_Z^7-120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)-1780857889633296983518\ 00209018630359417656309695049536422895707778090322937883554411520729284608)-479\ 7863701088990092838121869594102203866630724751525105813352653653207932414370602\ 9316847706973247601347106080361550483376046080/2501405534322327101760817753581/ m^2/(14494306693685465833209201259008302021069820558475188969075956392602913846\ 07202783660503119876800512*RootOf(9151215437140525170688*_Z^7-\ 120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)^6-18992774069107736418\ 9068302070124820019554142311063469950601936957409055848744155408999417770324769\ 65*RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^5+732459511364495936514265651751206863918636215234\ 1941916775897233546233506107706460251179972125427200*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^4-143480495497756984398820963724009669741588623297\ 0048867322048835136488110268468993711718324313260032*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^3+114681716260536189408568053690276648053452378273\ 177101279882473718800005282147370565566169022988288*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^2-478618398630797164661126991785561401254294381842\ 2631859842301081350914491153017739459546748813312*RootOf(9151215437140525170688 *_Z^7-120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)-1780857889633296983518\ 00209018630359417656309695049536422895707778090322937883554411520729284608)* RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^2+771505219752357976046987306259457169040604332570\ 6181105925649288199403163804416461765293683890323565051904/28236370509/m/(14494\ 3066936854658332092012590083020210698205584751889690759563926029138460720278366\ 0503119876800512*RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z ^6+52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^6-189927740691077364189068302070124820019554142311\ 06346995060193695740905584874415540899941777032476965*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^5+732459511364495936514265651751206863918636215234\ 1941916775897233546233506107706460251179972125427200*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^4-143480495497756984398820963724009669741588623297\ 0048867322048835136488110268468993711718324313260032*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^3+114681716260536189408568053690276648053452378273\ 177101279882473718800005282147370565566169022988288*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^2-478618398630797164661126991785561401254294381842\ 2631859842301081350914491153017739459546748813312*RootOf(9151215437140525170688 *_Z^7-120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)-1780857889633296983518\ 00209018630359417656309695049536422895707778090322937883554411520729284608)* RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)-17808578896332969835180020901863035941765630969504\ 9536422895707778090322937883554411520729284608/(1449430669368546583320920125900\ 830202106982055847518896907595639260291384607202783660503119876800512*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^6-189927740691077364189068302070124820019554142311\ 06346995060193695740905584874415540899941777032476965*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^5+732459511364495936514265651751206863918636215234\ 1941916775897233546233506107706460251179972125427200*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^4-143480495497756984398820963724009669741588623297\ 0048867322048835136488110268468993711718324313260032*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^3+114681716260536189408568053690276648053452378273\ 177101279882473718800005282147370565566169022988288*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^2-478618398630797164661126991785561401254294381842\ 2631859842301081350914491153017739459546748813312*RootOf(9151215437140525170688 *_Z^7-120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)-1780857889633296983518\ 00209018630359417656309695049536422895707778090322937883554411520729284608)+185\ 0796261448058627583798091260337064677071614541230267212120934554109542962862940\ 223295405794713379464355719306433761514618880/2501405534322327101760817753581/m ^2/(144943066936854658332092012590083020210698205584751889690759563926029138460\ 7202783660503119876800512*RootOf(9151215437140525170688*_Z^7-\ 120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)^6-18992774069107736418\ 9068302070124820019554142311063469950601936957409055848744155408999417770324769\ 65*RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^5+732459511364495936514265651751206863918636215234\ 1941916775897233546233506107706460251179972125427200*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^4-143480495497756984398820963724009669741588623297\ 0048867322048835136488110268468993711718324313260032*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^3+114681716260536189408568053690276648053452378273\ 177101279882473718800005282147370565566169022988288*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^2-478618398630797164661126991785561401254294381842\ 2631859842301081350914491153017739459546748813312*RootOf(9151215437140525170688 *_Z^7-120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)-1780857889633296983518\ 00209018630359417656309695049536422895707778090322937883554411520729284608)* RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)+27957496044471883765617386870325782276734601787305\ 8074242174370386594993733163096736166246918537718267904/28236370509/m/(14494306\ 6936854658332092012590083020210698205584751889690759563926029138460720278366050\ 3119876800512*RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^6-189927740691077364189068302070124820019554142311\ 06346995060193695740905584874415540899941777032476965*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^5+732459511364495936514265651751206863918636215234\ 1941916775897233546233506107706460251179972125427200*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^4-143480495497756984398820963724009669741588623297\ 0048867322048835136488110268468993711718324313260032*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^3+114681716260536189408568053690276648053452378273\ 177101279882473718800005282147370565566169022988288*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^2-478618398630797164661126991785561401254294381842\ 2631859842301081350914491153017739459546748813312*RootOf(9151215437140525170688 *_Z^7-120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)-1780857889633296983518\ 00209018630359417656309695049536422895707778090322937883554411520729284608)-127\ 4223822926116350215195592923333003861698665124954360791328932358093909040567775\ 5197354784692506759558196767712453486182400/2501405534322327101760817753581/m^2 /(14494306693685465833209201259008302021069820558475188969075956392602913846072\ 02783660503119876800512*RootOf(9151215437140525170688*_Z^7-\ 120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)^6-18992774069107736418\ 9068302070124820019554142311063469950601936957409055848744155408999417770324769\ 65*RootOf(9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^5+732459511364495936514265651751206863918636215234\ 1941916775897233546233506107706460251179972125427200*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^4-143480495497756984398820963724009669741588623297\ 0048867322048835136488110268468993711718324313260032*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^3+114681716260536189408568053690276648053452378273\ 177101279882473718800005282147370565566169022988288*RootOf( 9151215437140525170688*_Z^7-120399384965507819044671*_Z^6+ 52601035916191919066112*_Z^5-11448940663705546522624*_Z^4+ 1185125740680350531584*_Z^3-63686652131769581568*_Z^2+1706371677564174336*_Z-\ 18014398509481984,index = 1)^2-478618398630797164661126991785561401254294381842\ 2631859842301081350914491153017739459546748813312*RootOf(9151215437140525170688 *_Z^7-120399384965507819044671*_Z^6+52601035916191919066112*_Z^5-\ 11448940663705546522624*_Z^4+1185125740680350531584*_Z^3-63686652131769581568* _Z^2+1706371677564174336*_Z-18014398509481984,index = 1)-1780857889633296983518\ 00209018630359417656309695049536422895707778090322937883554411520729284608)) and in floating-point -.3198631989e97*27.^m*12.71217036^m/m*(1/m)^(1/2)*(.7998730606+.1/m^2-.81828378\ 80*m) 1 Note that we even gained a factor of, ---- 1/2 n hence be have an improvement on Ellenberg-Gijswijt! For the sake our beloved OEIS, the first, 30, terms of the upper bound discussed at the beginning are (recall that we doing only n multiple of 3) [324, 90792, 27200259, 8417314776, 2655722025624, 848868996866355, 273892752941498700, 89006042844706171032, 29086910276216569537536, 9548799213356248335085512, 3146522533972954668753613980, 1040123286418902185270426210247, 344754241679997004268580645610560, 114537023856713156569362836519135340, 38129852240206032987320599851280372524, 12716338157100559457150021623329102837720, 4247656982955673303458527889139112113356000, 1420868840893329396180874724687876481766541376, 475897750117554543095172679671081318774112460493, 159578853791389052823368440842246276097406371149036, 53566504097181965270871463974657153992614363310594208, 17998147732286832379067722110262833581973047019321179604, 6052630286496483928014583685396451786006294656058448182069, 2037097347378964929969579146282999561895363847374976521284007, 686125784473846821774397863298752360524555726381920412028355824, 231257618008823418971578486428708925237561426021705338933098223168, 77995099057705165131807128977074237603695279356133089984912466927040, 26320756350226007161646574798193036222616131710490296949798498570734684, 8887343144045644036142654229734892701111928953521176056857283587318729200, 300242719399389731955600797527521225523769583134391619123939147787810732\ 8620] The first, 30, terms of the above-mentioned sequence, A(m) are [36, 8856, 2507067, 748925112, 230594358936, 72392046785811, 23035892385125964, 7403621737832573016, 2397739026797495027712, 781243649426888702088456, 255801013877678312016526644, 84097239879681156596153639583, 27742462417439277241061360268480, 9178545834006784361372684360241516, 3044353134274765116758371782725525292, 1011971876630055591791673520077152101080, 337038432136869916810617955529139260628960, 112443103264268512120893869661616612206552384, 37570660321239462666420783034695873592573791141, 12570711167742698078016960832611949294005666274212, 4211221951930420950298355292237596116841529546346656, 1412355245521320643085609185200276673454942018712350484, 474159180958379458828420085532241725886635622704514758357, 159334980770451739857188005264383709243487485502581442925111, 53588523692584476958229356763042161687285350262038590715813936, 18037525576968963043583564892607723937406159793044019846873889856, 6075761793820758343382402780768057532873122810675122382892260793024, 2047953294612593938982178136608477203072853700864297399754572228037244, 690739397838779962275627106765217068223726774056733471052236555561244144, 233112043141864920747081204711302211942030507163815117167221677543377123436 ] Finally, just for fun,, A(1000), equals 1327069143341042913952493069309690177742129277008550365155490772024954654435\ 502605482989993295356876862292190763045881202340380876355050805883771931\ 874960937166435258152256128954478710198675574024910277493896621567985149\ 386046001404964159769321776074417891575619266077925884173908950223365467\ 947447026128185154690172680891568634575094344172917252195349224359565606\ 497327602623533986023456325692079020351244915072596106139364701150923401\ 836854409129804227258998866199498066664076734860502792341986387443581551\ 771345567681996980998489317009000130920393052331877221297146496180496003\ 657532383547573480063693857988075232921601880879879634003543888713923461\ 828058272863306190875242671051733667203755211612247650845768344469388536\ 148422748953817132797827241541501034751443621253546445607076175265386586\ 332916332248346420119174334345528394087122434580355580309597007724202637\ 888947478549544490421906175741718980234048136595303204481404747594207905\ 472698506279052053101432240144328063627966739132067736637199139316226742\ 933913505540544803766086329800340630889442343588826689215273202670192234\ 597378591478114896918673420889304158715326407113317004249066421321268246\ 204051316017253533164440165035498152560503176850153999978569437321124181\ 565156809166547339876556148044772943632368602146411354875769258194861790\ 677433474546371905669350082996389566915609400332987519155923831952808870\ 743050890320715654216589473189164538870032988961888872852647107201209851\ 542026390603553049017485364202085552980637635329721395336025944932797246\ 705065381377271245823918355487607067902106583224754027275916083664210684\ 657612066758629216259102152757084003159039565053312645682839425331745665\ 033279961091499653320991209951618096316824009607223815906357828398120420\ 690443870529967944001747530156754327422510438072811049701909109314575610\ 386687152532622706675445619863028971235894457043329706703028146879058558\ 996936097021009314635695697278758198606953902532517534000925769426639036\ 808184936623618210922474421635297097354545564605418016903199029930899259\ 938936259334251073942729953389466782445949779198765609703328770278147495\ 422466881299297256301572411469318301742036856750340534848078476053498558\ 945546412988933002230806777401243109838932917179228601798288466267039137\ 821262874103403785652366131874473751588245896675118458430167475184472189\ 301243720911907383363955440604567504291952568572306447756245494716467733\ 478770783981452285279738307371232694837250118919720736688873183654905038\ 067244716405501398615308573824327458643822687833822897893183392393750193\ 9697289216 --------------------------------------------------- This ends this article that took, 385.655, seconds to generate.