On the Ellenberg-Gijswijt sequence that is an upper bound for the size of Su\ n bsets of, F[13] , 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 12 11 10 9 8 7 6 5 4 3 2 n (x + x + x + x + x + x + x + x + x + x + x + x + 1) n then, for any d, the size of any subset of, F[13] , with no three-term arithmetical progressions is <= n 2 M[d/2, n] + 13 - M[d, n] Taking d to be , 8 n, it is easy to see that the above is bounded by a const\ ant time the sequence (4 m) A(m):=Coefficient of, x , in the polynomial , 12 11 10 9 8 7 6 5 4 3 2 m (x + x + x + x + x + 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, 12 1792160394037 (m + 11) (m + 10) (m + 9) (m + 8) (m + 7) (m + 6) (m + 5) (m + 4) (m + 3) (m + 2) (m + 1) ( 52 45121105987124639038007733080246762526191995926347776 m 51 + 19589200834464379536830831726006324274084453811240304640 m 50 + 4163751114500521524621569658337877655958267446993474289664 m 49 + 577494711739448596821175961982420960253650505903131489599488 m 48 + 58772948807224141099461133376641528199921568399702680317689856 m 47 + 4679646444168269425142194311677395237612784497497725095321927680 m 46 + 303519648756105644834209284170555151872245167322495111393444708352 m 45 + 16486493332338593143179661305402314217993553880904989483386957861376 m + 44 765206294466383682450166139995656601382588431556589787079942382984000 m + 43 30814401677095891492274340198521411949978365321729967835829321937625936 m + 1089470915932997772135148689864912525288197429933536169418676056546398992 42 m + 34141686059636128312911548899700356761505715616406675377468403197212973048 41 m + 955674951193859784690000852496426384855341317306695495175310796633328058572 40 m + 240463840555542881344603302900836297560780129733757998976285593339\ 39 81899061057 m + 546763795992164914565656945342371729874485085781226935\ 38 521120104634049774743803 m + 11284591590190784546492778300872668156644\ 37 611880985758421697440355334443737844437 m + 21219313674083252599067218\ 36 0040263581221778461160889434045189581708816103880048561 m + 3646766820\ 705912240014488325043648885940665037823919286456286477182841017405881462 35 m + 574347866748370987394570302579250962419482967184189684554839670404\ 34 57308076137681524 m + 830823853947273331381066650200275985822169278225\ 33 077421996371402292877763109769179348 m + 11059286727261568166185185944\ 32 399614535577776160592620490572064543126060861706581856828 m + 13567683\ 725852030106669974232749072081670024187619014096557918003960882322109341\ 31 1936870 m + 1536010149893862958509131500383998950176745816115068433940\ 30 172572524478366401960842083434 m + 16062964938029517663341933499308154\ 29 036604588498604784596599242316222786767690911823713574 m + 15528393720\ 596342493973603167808603509342509231398670956220992368914501572016032012\ 28 2365182 m + 1388420750440667903934789413443234203421688239034803568149\ 27 899764956919523974854583365321888 m + 11485151201831920411478316761945\ 26 153503413137783702297396506114011147441542857191304449166812 m + 87903\ 450743056989417266180360392295609903081088157634684083209455199606553737\ 25 195513018302828 m + 62239662700576026495252377945903266279972068943316\ 24 5683760589364830660808899949231854170178480 m + 4075344317859295006761\ 415351973603496536385827068021285848075179482535666674739938101264241809 23 m + 246628640243425201694344035010581117745587954005626554732053538514\ 22 83914858223237147725584659763 m + 137831867413749935494266523472574270\ 21 780633564490705460320176787723577072148272764024783453666477 m + 71059\ 114089974694952506786444647198491163465391196956689464583823872780922967\ 20 2696957668436613113 m + 3375008860806708514438246579257162566418208119\ 19 862791744549001923860076675484729903494079965633698 m + 14743779349465\ 738085238902290196989148792894365954249224193927357490423578309089013657\ 18 123507643912 m + 59125370668877973978991192333693246396898702660045280\ 17 643510470997462137825686254780722814656261408 m + 21715146128754840850\ 357359707740815253907641048441840993389103319263779666879049929741794843\ 16 2279904 m + 7284253646972466348748729554897948613421053808372698174379\ 15 07112012094740516175359016986369514235328 m + 222452477738227811829868\ 425802316083818550810110492803608109637508350977104029285667882317811565\ 14 8496 m + 6161177087537271740131499449869749725606586799810120009714693\ 13 828555863796951450494862832464120244992 m + 15406558092881486256036967\ 352927583410127933949620520607389224377343640673990591420057180366977188\ 12 096 m + 34596582491104391146569073391521641243806918533407325505096593\ 11 840610758271730758061324708877214630400 m + 69319170974639221001969363\ 357102502404755952760571314900381042545109156993382162060351054786795763\ 10 712 m + 12296515039362972143724125372821922526113550021732840450028447\ 9 4628059706414751430610169853854570487808 m + 19127663742872903994596914\ 554291002511976140746404119345927767758357371008344677122222496687862805\ 8 2992 m + 25780630150926460156774859884187615346215085534079731680114282\ 7 1509560611736082160509329093898964959232 m + 29649790294367126892857452\ 094081320401556902086290674899323272039025899029346841023820018704252115\ 6 3536 m + 28514433292696323215149894628131831957137568208155506117987594\ 5 4674688866017324295628376189703831945216 m + 22302389303425121472362867\ 351865558080081891905246760410293394703715840161279519077613280188027633\ 4 6640 m + 13624034507888010996115794577111992612516865201343945056883829\ 3 0332794300758135956336023359706890240000 m + 60959620291461826558023274\ 563972501159589040561039491313859072590319078040383362367512719600386048\ 2 000 m + 177640562607341837312830572371414826565965803199563215263475294\ 68554138272527214055849675634769920000 m + 25292459130106738080620947805\ 42842640883702132097206425948675194627869521290811343139957112832000000) A(m) + 275716983698 (m + 11) (m + 10) (m + 9) (m + 8) (m + 7) (m + 6) (m + 5) (m + 4) (m + 3) (m + 2) ( 53 45121105987124639038007733080246762526191995926347776 m 52 + 19656882493445066495387843325626694417873741805129826304 m 51 + 4193128597458984778423285454392241943829123243411786170368 m 50 + 583737818985271434327756414540405916369882418735395694313472 m 49 + 59638701396083304941879614625472304128871435485549960065744896 m 48 + 4767744161040109943227285519880792215553908233456925918808211456 m 47 + 310533447620581772510793503551137132987107613061751311557898612736 m 46 + 16941368243320150546276887733163234342079156674604363801972783549952 m + 45 789912743495189383155893686412205719632020681998032109954081904007744 m + 44 31961101061551623867652847656731486466846200660355499349092709642640240 m + 1135647962831934252122711804464236075119148354089483175290027785019690208 43 m + 35774369775650995920597434855270980013420446569279166732617107430568839584 42 m + 100684293938658443429911143874728699789053908720577597332192184445\ 41 4814518312 m + 2547878257608430702641653251470592987729009973652511034\ 40 5644625952531683886697 m + 5828098294941846564471578425785534649838852\ 39 23017090491030783603558462832651159 m + 121043308768174098026036699648\ 38 76380276935636276483751197108212589165976329831608 m + 229114874519428\ 37 435944938624638276906670143004489630598977478333201153255456028106 m + 396503192332741012010123465895613333509084266646495713439918678514156287\ 36 3054375673 m + 6290595950206679729449080365242407633027427185585522247\ 35 7065491001525228789351632187 m + 9170182804016026583501819836730017342\ 34 52716545202153723094507642605589652746440310498 m + 123065632362860290\ 33 86712730887478498974853050813588401282535400931454634684333687983864 m + 152286063388336910421163013060245614089875132881235445506590435629010425\ 32 899435456335378 m + 17398628520673977847968809081541633240363468931302\ 31 63500702671939775379004410736748962046 m + 183719149903365012182892078\ 30 43107424356813552096419727491924495701481813378991697798851624 m + 179\ 442907132353654261239573092337138761692063851258083678264614502267808393\ 29 128280143759516 m + 16221082726888997721881216747383058123402518092341\ 28 17970261059180841736393923637111524724074 m + 135759490164975561294524\ 27 55996198103472674869649928685058572673083745064130931616860078945694 m + 105211058866548251175203237560823587403483803742400782939776945624135025\ 26 521152900112728610700 m + 75496656141112190699167628699675288809776917\ 25 9171354888269063403154204389435791824162893073792 m + 5014800730565380\ 836901968540882495525895442106108799649533493088849331488532812759802094\ 24 146405 m + 30819986826937551542942873873822911695208625215199482101025\ 23 674862920741324066624581619841872587 m + 17513088965785166025398940764\ 22 0194855102337873066087602804465024216322655170021744329610481953616 m + 919272215354350315464085527941616791550979251225312068570726572243102496\ 21 863775830214135799912618 m + 44521552007860684147189121900296909588374\ 20 14329662528787545369626613634440639553792595444527856973 m + 198664513\ 886539211935769480891016888208883889289777743223585685944341673156807109\ 19 07149871231052231 m + 815355769811956542683476786568307751348573893669\ 18 46802487874713891974727953446485188688986062041602 m + 307158968521481\ 535679064396360172721701114279941257123105591684870715115911013175531106\ 17 343340693264 m + 10595503193090847709399187914975506680003010968349732\ 16 92933784863695085788749872309039073746729339392 m + 333727924243366655\ 922669885802244972792368235684320919819450449740096922138797542660009337\ 15 5470045728 m + 9566060067533962273652903899243676730465625210739098740\ 14 714483219216334966772521513471504837110736832 m + 24856951146785160746\ 987646690927049473300000631168356589361212150113964892214879629767911962\ 13 747915520 m + 58282436662558692408967792566786713204746296725817205952\ 12 161863222442935530534189210602897153673995008 m + 12263985436850464706\ 764583900780799406064354124771694428639541530912076291475054966747909475\ 11 7507428096 m + 2300882258298541135216566959483158203005502830848659790\ 10 66150365113046415614778401015491972989411029504 m + 381855030548092689\ 914828571299757769593314979734093000943806556518532024685452598758208660\ 9 477073891328 m + 555190181228140500449106378518284027987036149450878179\ 8 287708686544382125142725844125364233424965550080 m + 698679770027531461\ 267448785876116437094389448212787641983074608305052744516228499821344114\ 7 665916661760 m + 749383512037514993043161141559608803906124388402197753\ 6 768097681606514758385577009697000666914817835008 m + 671255575716328990\ 801583662885125887082809100892834048657708663394704439506455787751411348\ 5 784180363264 m + 488321293548250067444062235417327805028547338991169978\ 4 858991547563544365650542802906277531254333112320 m + 277030231932743277\ 744141083497226158177434617853158978901876000019207558152733134911882533\ 3 729940275200 m + 114923937110944031388230519629943498428625688029013948\ 2 901567388884817595526604414505232937408004096000 m + 309940734561989832\ 586064608647152263145592315216920553317312641097916407881776081984008243\ 22293760000 m + 40762213082415336528909048733792628933165215224825757128\ 05464797963390112389743945250175451136000000) A(m + 1) + 10604499373 (m + 11) (m + 10) (m + 9) (m + 8) (m + 7) (m + 6) (m + 5) (m + 4) (m + 3) ( 54 135363317961373917114023199240740287578575987779043328 m 53 + 59309055775238634278948587974981933972567665384837087232 m 52 + 12726769889438273538808376041260473627360064901559325032448 m 51 + 1782644248318690134204184817272300429710613377356425197912064 m 50 + 183290544474143142355092899526572468401650066446996980248641536 m 49 + 14750046405721120404988633439166708866088198424868635343235973120 m 48 + 967312131949808280618933504423255186990843003328192170768173735936 m 47 + 53149589226828649235986036614897696010189843262075680882257712246272 m + 46 2496581130985744006025396302526494157921686921914310839351342604738496 m + 101796408451353673612590176874027679431360648138413403169150888069115120 45 m + 3646156015612538218234784536741153396930979410844003142091590067230916608 44 m + 115821492158499939672740979045921042532928276617246821601816227426251801256 43 m + 328820009203194868688874440832471407961712615074310759056185009544\ 42 2520724372 m + 8396877217684889228944459891822444454442083965784279833\ 41 6042777753640202051239 m + 1939019898254249146176226073733819856453936\ 40 627535747671115564286688636827288724 m + 40672170025877516766018566397\ 39 332686280350846254955485277193781031315279663458142 m + 77787195069818\ 38 2421550690658803048174921314489085082996853413259472485700611254772 m + 136084978673494265832631701064084071197531287315592598432641130785310082\ 37 73599705307 m + 218367938041385326561510507056250455892458656604152673\ 36 517436711509517433283101689220 m + 32214352345281469284097724521479462\ 35 53869612662621658805769265521281158363313112206908 m + 437764581465611\ 34 73976504502486460472256918851148777307189644827938215122182977708984616 m + 548875114529472381615918461884575329650535842779493835168519208435767\ 33 949697582175300926 m + 63582265849197809490469458733060594483013569376\ 32 24813127890795095618088475433861754151848 m + 681246293999806424303241\ 31 64475357702431403347410048583343075126772186686438714068300006916 m + 675696097233679691622805248483410950866049450042360222629647031513855988\ 30 047777101069453704 m + 62080509165248573770525859489236097019048682320\ 29 17974485559272333328000994245347621809382510 m + 528569767473165430148\ 28 85257689006012932506679821163697283078428119404568952233251520875776552 m + 417149423623804486533903066247360705580478167659794397607847307984021\ 27 500922504610806088914216 m + 30516646689731484826640568691484740226930\ 26 33682055446400341759213617214156488806506215731284996 m + 206902820738\ 878207124576660007911720227888926624446365882758405718853660203885141935\ 25 96890200539 m + 129964087055359536527257037233040858476943378897877203\ 24 647309709131495473396536828701640063952452 m + 75589720192725593613115\ 991055321942322955687726781129796051586602411715076905514102496825828977\ 23 4 m + 4067693475999123807889534644967836008565909361083488792099483006\ 22 880315502840658981101927504654148 m + 20232376171430925589503229634736\ 21 959913503622046784405235573354776607056496404241458604895259331911 m + 929013980334352736521496854355993896941180378209019149617533302183953673\ 20 02056048290175497538886996 m + 393210459152061564157305855867707193293\ 19 501537989416065857376146776729772555181738613126130538388388 m + 15313\ 753896542555890728979226743050295688622492141279186051684721966013645351\ 18 67271981976265456163008 m + 547619755356157506444237291128353406056144\ 17 0379545734786978981726792068670683410587532786178439731648 m + 1793685\ 653490700403930104437022312511019683778818352205643916642820412217944902\ 16 7308740701513815140480 m + 5365748000102745969876994082517326962570806\ 15 1962910523193381232729745209862841733632697894372095340672 m + 1461050\ 639759929505759079552129366179868675880900493236541149726212624978404915\ 14 40204372439267649074176 m + 360689626514121682111932457746604760033131\ 13 154552149497498258505752194035543849365285971636253329870592 m + 80355\ 235579549368844903668414337704273743348799056410646304812916067601005926\ 12 8900144332007394819769344 m + 1606621511750234780416256552699732794786\ 11 298091883227263065383007389099441143545733927782265191550899200 m + 28\ 640057574554485254019064402657483590980079409433352213168730851131994912\ 10 88007880461567602985368371200 m + 451589746132595639765378737090825185\ 9 6136696408838508886968084122555740352508521343154695530293818286080 m + 623730703455814624326261451336654251520504937688387613886342211324753146\ 8 6254202850069771212106152804352 m + 74552196862440562010334111124065185\ 7 38946274683133965896487576555341004896148456142743204087095054958592 m + 759279119961613005376760813917488181799063096491271064186614184463577614\ 6 1274272892624594752172639387648 m + 64558898396384808219790007693314062\ 5 91940037368643693104577257712570809211599746058489235097632978763776 m + 445619321571170663720854008100010716717611046734226267553376586432147736\ 4 1776369776315492363258602455040 m + 23974675902140468053328802630578027\ 3 92681460367682977431138652529104167240499922305560390077259553177600 m + 942607500128416631837134968542696179694773960035356782111992512101267365\ 2 935042440532434067939917824000 m + 240747857627019966146450341631335853\ 881377375579675879530181263022021278077935851990872352410828800000 m + 2\ 995725447504624842074215522113340637209980639264336094231926557328867904\ 1867922036954549452800000000) A(m + 2) - 3262922884 (m + 11) (m + 10) (m + 9) (m + 8) (m + 7) (m + 6) (m + 5) (m + 4) ( 55 47467403498455120267984135200419594177553979714517860352 m 54 + 20963844804094940674755915989761800092668500257283684433920 m 53 + 4535678787069643734856054982855304912932200664376155040645120 m 52 + 640747773266260469961112683660471799708455598980419428605100032 m 51 + 66464650465548864590512973272433723420864611131674855458584625152 m 50 + 5397695029929360880826793682995952060933068366726879540199967465472 m + 49 357345629106646264191588179412140184249697695740894664083142746703872 m + 48 19827967511951787997813062934731575276459077715806115375994582449545728 m + 940886906434689861947322940010142695820570550495646867583586432499481984 47 m + 38770608405299248784038107503618154022709734752969244597683940257632954464 46 m + 140396831274235630876034571938009046404339676169747596581404516078\ 45 6217313960 m + 4510718339029235232468172290860526249018903900993706615\ 44 7802808228044319767212 m + 1295811010639647655230340537020197269332257\ 43 332519149052746362690250366124433410 m + 33498934320295232391685211994\ 42 963669368766890389698031049716222567347651353422211 m + 78350071498767\ 41 6440152238098469637103034099000758927119339986927090065320865317341 m + 166542381282688220012938174987211856409572586830855623390717208878396654\ 40 47919891964 m + 322957451745383683832013264028978786747521767984682230\ 39 565606270102752477345278292888 m + 57320612332500896566617394942327362\ 38 03958256516321028194593832746861084688560953144355 m + 933731370578510\ 37 15007498641897510823743934934388359299695276715236572999825622616839381 m + 139926697367126037884519351826403175709154397431547041435809413027560\ 36 2784428969988079398 m + 1932918952872674622434871196490260817123936099\ 35 2445928579105986738380233449934596783977444 m + 2465425247371323158129\ 34 55372709966768053246387651926101181928020044165280146065770401396886 m + 290766578779291261563505292966589430752534362126214550304222657442441767\ 33 2992750653607156250 m + 3174470045471508187646025343188492986793751578\ 32 5731280755828966731771204540268351911297445248 m + 3211228818619896954\ 254424228559030378824901926685698324098317234647860815933449089875109464\ 31 24 m + 301196803914580064459753269846995219902837874696898251847185983\ 30 7557490320866989964072263502782 m + 2620754626931277155404984951076090\ 29 3588895479044224017389480151337622618327220607177295232818746 m + 2116\ 083868025596431685796999433317179808389042405402668903793711684886700799\ 28 66998671951063380496 m + 158570270699830543420837253253521790824939177\ 27 2942270883299221920191663542008535987949047082033746 m + 1102717583089\ 135204290498508650728059273989513185474667700748056080138587949654136068\ 26 3168843835447 m + 7114609388562338400214597002491977750193896198280197\ 25 3168584355307398628400376545117857042769470921 m + 4256872608800887482\ 040707301212518961385132259862050254786044970213004315350016452772755941\ 24 61867348 m + 236051680384118586623135372930826261118827501890155900482\ 23 3089317789082535704841871677228127569551200 m + 1212092735852284534314\ 109148445574834927032727163409118225648411008160364576841266451813604028\ 22 4856479 m + 5757292429930284828919011373853193122675156444562731492044\ 21 4567537912591996229206411683241071787379049 m + 2526355279781898723790\ 694198363171242632853165570973839088276122782446568730284000974871093325\ 20 84627406 m + 102257107940780460622561926981459557638231634985967752841\ 19 0726923663422474154999699363190131438896836952 m + 3810852219230813744\ 870055871405232184214701470361879641157856311535042902597164339403421697\ 18 055384942800 m + 13048154547871060460469942066926824628184253857797193\ 17 311908539318175625034555224518770385912407388088864 m + 40943656118211\ 043715762831924560253598299103935920600138427541763849067671007328302146\ 16 276683467321256832 m + 11739946212302256241899009764797046487117221896\ 15 1007886600245116061859798088083596746455063526489623416704 m + 3065543\ 817874517369304614137049207323150593569650067520495916318950624286203970\ 14 41948756264294582280717824 m + 726072309334081334189220748305433569875\ 13 072813201892101207249059058472562430805648683120257921154121373440 m + 155256394788249379278478354511220674387559101903818756160481773936275847\ 12 9411877297062619766101487565990400 m + 2980654024549586433630317212317\ 751603418534974025277624244095355658132770611313678610441665749261960474\ 11 624 m + 51038433353657332025710127454191941569695630646167225813711937\ 10 11665516419359453463729630939846024126775296 m + 773295820776728118396\ 734193001979108512187145213430624347792273806451778918697590896554942715\ 9 0508277194752 m + 10266444528114854479745055126995563610345860369903460\ 8 905435314938115662165739893078330512765300308739424256 m + 117988322023\ 573512024925776086404725382241941854373690876548303289478011795417222598\ 7 75822387140837724651520 m + 1155743666270581258687147988869627361164112\ 6 4850433849649442762075148308022492212254357693958463382780248064 m + 94\ 539974655674806179951806050456950024812843515173170603908517557080340259\ 5 60819293405318793276028948578304 m + 6279611861371616316188758171225222\ 4 410873735630791210207976831277691547738972502075274861854007045841223680 m + 325187295055780469151302456967566269743402333205263776865199041225100\ 3 9948102144019839661197733734750617600 m + 12308891691592473778910160899\ 404306976542836409515466309380115953920217040844870509761074520629748695\ 2 04000 m + 3027229729690259580183910069554031528484125425390669368786037\ 31928071790824513125068872108856385208320000 m + 36279355023312340767847\ 867155235471099324885041420564733058138949882535765383628973605507500186\ 009600000) A(m + 3) - 62748517 (m + 11) (m + 10) (m + 9) (m + 8) (m + 7) (m + 6) (m + 5) ( 56 379874591305602336060987104802597493708010413703921926144 m 55 + 169479976921022839353310617558878413988013141601279187877888 m 54 + 37053279023387607866968572504706345250541146296425187242934272 m 53 + 5291130080760371603167080024758471800367716632586646978306113536 m 52 + 554977444416069592023350673780855652656908428487710514268395569152 m 51 + 45589949115891514279346229899950667698661347012332560819232849428480 m + 50 3054114101666518161967774869313265715444741355035459372824004155047936 m + 171545082924140307291033110383199917734897168909670929287525367029188096 49 m + 8243581500865019891940983963878274057268812409776367538066841685203477440 48 m + 344146280648127159827379069666717764384007044139725481211005843738126778224 47 m + 126314194767867370994117630244892079861305745350741614146801560469\ 46 36187011216 m + 411525634088122180693773547355572788711235027324251493\ 45 289097057436866826601496 m + 11993923558825672250865419984936480219694\ 44 190925431461506563145699983693954982212 m + 31473278162775043629703587\ 43 5571025400688889114892839180578099775218021443958427507 m + 7476121248\ 234480279466384978430142137851222363159726516785929999139383808877495159 42 m + 161485931688333201026567364606148369397223095861821562840708688103\ 41 867062828033190578 m + 31841141970803201606846074733118457607769542067\ 40 18920443747122306999328698438219697202 m + 574992743241453943470061898\ 39 73067670978472851050152305507076594780220645865592894248823 m + 953612\ 728649272168206289810868280408009320590549809486702942608568729508831051\ 38 155767723 m + 14559829822983115895371201040119389123922179788518233650\ 37 033073108112179189701899764186880 m + 20506907942697702070469563418612\ 36 2524841656126593978818674481059356916479248083411790267060 m + 2669033\ 541788917241151825438616274497675103225220902785838244829052787027910533\ 35 850681363206 m + 32147595584099223043508801781801956296599644498213051\ 34 738853612457259995318192904829207042302 m + 35876200543255874717828966\ 33 0159185416697143352570612849158255259044118197426931308006649243244 m + 371323456959267341005566598841949691440440521381521571719932770906819456\ 32 1432640617193078548204 m + 3567137597889397449798434550767316772795839\ 31 4677483876951997282180125777810260729949133438768070 m + 3182417097500\ 552952790925844147146926766052286964887818285864755146272110768317566261\ 30 26185400174 m + 263773511014942295383006537431024392930463507973127142\ 29 7467124012307276280494585855707900442601600 m + 2031565858510867231965\ 553823988703392748222830925899824208032870702708688383295532523565752121\ 28 5860 m + 1454013516704186519552817417615502837392869856520360771906416\ 27 12367602530232234773057714492030524695 m + 966896172456925910648526942\ 182788275126264128679970208422354554363363006919623418031002706334460139 26 m + 597206343364769645120253434571907434810483432620617861969529399276\ 25 5028809874297884927428583947361202 m + 3424388164807572822439897742511\ 24 3300242581113939827430537262175817149792365700011017070729073610693938 m + 182160812714155488538965553305291364677680731253978941378933106820244\ 23 652472729572712374258260774627923 m + 89816056724396752086718003961434\ 22 0912564385555746426175011686587678300895987464336160963425914165992151 m + 410017372072190673866561841940561142076351323215443262446571811746029\ 21 1100205504052406142283063214306712 m + 1730704759383096399090864739026\ 675696835925435711887900692362428456869178157848115349366752179990031974\ 20 8 m + 6744206715286137902249355812325360204783289773736598235573330761\ 19 4134574092944354692072097336590505630832 m + 2421698478330193041937730\ 739664708781593129161017369376202057587813325622963837471972593747705552\ 18 79642912 m + 799556326879290504041731470350873036013435099374771428173\ 17 524005049516177720866243474338993827134314708480 m + 24211497606960704\ 009505775312527432256212140542275910406798156840604827837025952491061716\ 16 97803116045831296 m + 670444567533879196084003427543720543524097297430\ 15 2714270041051800180279963929967453332101386484085684301056 m + 1691953\ 231109891710946469632655977080555898743840680242195443134423417968368725\ 14 5346044387760702837062320896 m + 3875830752956583796542247613224965618\ 13 3778254754616123479833417349616303303263035638573643641699181242910720 m + 802155364106128349013216121746037649853381175952792166501354121974094\ 12 73466017427489366450472442731348399104 m + 149164968336972057994879998\ 529329981540103791779223393885406117395088049437125051458363599639026989\ 11 891850240 m + 24758589102498287656461559135658633117400054416824939165\ 10 7479966391375054011949148689954271938184060194734080 m + 3639000622307\ 952490843632419256506417243598847903703772846693022656861510099754360025\ 9 51792624043873938571264 m + 4690399643405467243775854264165444440405372\ 8 39134310776318632117491855820964523702923776384629782584582471680 m + 5\ 237715803437448146849427699293907386621554955587519542122965961766330631\ 7 18337679672563298126733348929273856 m + 4989487470204140038750985497293\ 766117974525127300237935510097174943184650321105826912263263268250850846\ 6 31040 m + 3972860126220263676437127719078663729947181075136766658022263\ 5 74428538776632078207901487039666757907033096192 m + 2571254946265879621\ 193310275635787226520010150926796194824693056141350070271716956309222766\ 4 56933050997800960 m + 1298786872705389818895251534209033083609666292869\ 3 91209023080313894547251797115522137436960084245882286899200 m + 4800952\ 593563383168435464634314895893411764799754893625465864407579280645665797\ 2 2104453319871402889707520000 m + 11545832656066398089660899724164830682\ 220503557046605487124219573401423661190954165422383011530192977920000 m + 135502114045142895306532659268025820627008757847894134287687291934031397\ 9342321706485672743449447628800000) A(m + 4) - 9653618 (m + 11) (m + 10) (m + 9) (m + 8) (m + 7) (m + 6) ( 57 284939784308692095525018834401758305352902454274886205440 m 56 + 128692249495044668446774531951760708134519118767793032396800 m 55 + 28492358662696681834349598207820262889704077795584478285922304 m 54 + 4121643451763394449965093014573906310506695245333077593430556672 m 53 + 438102951323665813440152235240508148949347737801058805840994729984 m 52 + 36484968228900033705314898162604788612324113266064543764558804058112 m + 51 2478826762091104428894307312810433505664810512585746922427947304198144 m + 141264993518939883172086548690949064123915358402752524517183136823430656 50 m + 6890561051631850932774819464136767726851275746726243351983923045456036544 49 m + 292118635675854262385021346715667877346255301188857438361323152848820322512 48 m + 108930549250162812883301154552561690427363166822644182168414481278\ 47 19664507632 m + 360735420761312400167901453253948699185466606606238925\ 46 533739593723535569052552 m + 10692279682480438097912586036709702146823\ 45 790619563411788267223444187704610230124 m + 28549685906501181605325787\ 44 3175254620684557608391690746540141028807389116633060357 m + 6904469031\ 555539697158654808899767074707926741908985326298297931180246910727834183 43 m + 151928536840622818300977634299941540566510159910510258473650488706\ 42 930482759946868001 m + 30536045091232966177514364704120492312160667283\ 41 06876602798191861415447633280966760427 m + 562455732967397944411261040\ 40 42576891124758775877158169573626218178601593666207201376983 m + 952131\ 076985298077868544885389821173819095267225751164445514035545897585337983\ 39 061880013 m + 14848829949766154460770243190734736743786459640630471407\ 38 127456461923890703421933192878551 m + 21378473562369146714118914095225\ 37 0227259456183557883535256054156350693736843797527437125185 m + 2846548\ 649744164150554059745666888501632030341331469462821572124426846205764048\ 36 315172507006 m + 35104941129526887858219529497512516270826860532822891\ 35 305727005940081267102106906252189047050 m + 40148536629801796080915116\ 34 5223139039336710477173201361733889677318021644685960774490686373626 m + 426256094235153498958087322194448071779954047578390338649008646885627811\ 33 8120396885798190190094 m + 4204646900033174688397711081579432285579559\ 32 2834326408218154204137895750326282850523144535880894 m + 3855867639279\ 271025620894454170247836496330073533968271498403004502853951481089163999\ 31 50395815754 m + 328886016719836724671043647377666743239360422323711380\ 30 7695599753895566044716104709564774509614518 m + 2609883274440996581863\ 128414740302012869863273689467513246085804964299392192159651407324691542\ 29 7374 m + 1927070069861568872138959551021563405753309339545300157198720\ 28 86282060322148854465472226191123541137 m + 132388634492752351618814835\ 800645790841065793617114507897525434784976986574785260581017238897883431\ 27 5 m + 8460271767560875450504788710341248111696934513825075317422241300\ 26 827661670300242724535846404043872389 m + 50272271457559908859385751878\ 347951791587417640151863629272195898621204691696920539578369360619758071 25 m + 277611738680092361288956186047756408824934064520389221531178438230\ 24 203378702119598018515973608797646123 m + 14235996549416065841442661944\ 430507329327327082939319828795015833984305053568949662037743358573444431\ 23 77 m + 677283896385806945159832227287703924297544343470621589951607844\ 22 8897176116048274589934218297999383194939 m + 2985994575121979144182804\ 546014867786945119300170674231527447529042408227317672079762297719655979\ 21 6143253 m + 1218282412176960165945464655712365565919210693354364657766\ 20 11990370245139867346197200817751123174224873692 m + 459246584906104386\ 922546018304988205248007994395840341689488536237697902124910497908673092\ 19 361010957327732 m + 15964744908023092611036877124793768483688113414966\ 18 25440266236497442106239948356606070252858571317373175824 m + 510670407\ 666025996109919232842817331536006880735248106887142025940533737634369242\ 17 1083633024484143605156320 m + 1499246106053432487200013848049488726255\ 16 0541148073521697412345476877428931426041374684469157136791752594304 m + 402783474062687375485673022081153020054981274981585239128508759160513770\ 15 24430933944666845187710592776425856 m + 986827050093246536064657635259\ 038875681532578805277049002026068750349439405285032302991915751125951710\ 14 76352 m + 219602341469768646684649191428688063438538211621973223928902\ 13 438596400577664973465712335690699435563079878912 m + 44178925340337550\ 311050037289976645252345823840746168984591876779096943092667420734201096\ 12 7885126579724770304 m + 7990292457536128179030199887385411584830854001\ 11 12583467170687777601818972325071546625282285018203449064645632 m + 129\ 064039670673752005960000803927522762788155356542482221552998262043627656\ 10 5865207532164704285927498576572416 m + 1847050658493937266935501908248\ 859368899264670717871544450985316079653939390308921614357763397287188403\ 9 535872 m + 231924485946248962010496577286649509607175179972456111608215\ 8 4132843619654094786695805884777625018919656882176 m + 25242347549460921\ 344371958364563245568487488536554176717380362223018816341585878988364087\ 7 14525656598690398208 m + 2344730332531890095145354873001046653261936534\ 6 473164426224173626256216883748175774479843199896528362357653504 m + 182\ 126478112594831931040881849509970884919961486338759409784683018766195929\ 5 4829089092627048432449007019622400 m + 11503104842878208544909263110875\ 680983827654167482206959334795552583305246890581302520193915247570658000\ 4 89600 m + 5672260438283241153073346342617066937878277914300254233174191\ 3 68408898026742983199649676042674183570718720000 m + 2047480438740141369\ 856657785336715309055442436887635195688109199423466054099605946614521446\ 2 94525616455680000 m + 4809396260765527765111387471471172230975220624809\ 2483822492279866469093401933066981228455817211228979200000 m + 551379716\ 720674598586863504087595535482362703944386732250282419214753702761270550\ 9491468001964195840000000) A(m + 5) + 371293 (m + 11) (m + 10) (m + 9) (m + 8) (m + 7) ( 58 244689817560619471143637302161655742568750567652759156293632 m 57 + 112103949411119315567360811976247816088066221010508508480667648 m 56 + 25186097494244020472586295242137183528316527892687665820760801280 m 55 + 3698542592878346640661054186780450438704007365868419382501167988736 m + 54 399239679427704871996304629839771458311647474010164991320492249546752 m + 53 33778823632896130499784426409198217816609509591129046591641371246166016 m + 2332555182701498996283289663862100651856328341239873856325910196909834240 52 m + 135165076340683036946662011537060560236911097221990065236578640610775964160 51 m + 670694738263423230751108638341219607180325696289286618470761176171\ 50 2801078848 m + 2893834872001223226372365602792252166719164209112638777\ 49 55778681159652264346256 m + 109880389707981653444133221775447150669828\ 48 58120977923363601010181002144929222784 m + 370711178716437017489071624\ 47 730968577247877655251092376366805642836995795336319544 m + 11200129283\ 885839588574430812738951570056966938291218285048939711868736910010602292 46 m + 304999370069007682223517326523635058263444504794670312652482413209\ 45 517324858198008077 m + 75270024111180950128751807759845606071415347726\ 44 94589214183124162170742855805668248634 m + 169116296427229618831613719\ 43 875688661348803867976986264820789641587329028017887475305357 m + 34728\ 419627324893174717253929355861678784199637264959544471747566333387053312\ 42 30134041378 m + 653989711719046421861087565189394006603296075955291009\ 41 99953203066123425353048004750010159 m + 113262759080963869699104806481\ 40 5726635595758695709069166531968184593332361622672980174151566 m + 1808\ 432021957014075870663948837215841526627664069644085352314900749709607785\ 39 6957280482896843 m + 2667676895031228448528090244738657523578165951661\ 38 75907665012695487702245142779735535228316722 m + 364221179610723545812\ 452953987545557419004823230558286744689407303643252556501391359032935926\ 37 2 m + 4609630291747531660798671384505142263676372808730384669192715704\ 36 1939886377280197562180219989388 m + 5415009172181136686873081183472016\ 35 87579104176407422260141496039682898700443723435529919595665378 m + 591\ 061714568035109311521251755540642767438590937247618576830133835230675722\ 34 6549450522670803403252 m + 5999957261345887297559524764623703545945868\ 33 9761513375382027929880560795930881952507532526985609134 m + 5668201801\ 902786122974280479251589263770634812718715182700243544809416194739209633\ 32 14243036539316892 m + 498595172202570655123030866408971083444133586743\ 31 3843630402346488271680835852376189971336454041845390 m + 4085144396489\ 603920010361014585449599954391465719096426445959130414236464610363842062\ 30 2412592316624344 m + 3118199103031973987620637715966478259035555602345\ 29 21405175600338896336321093502121208228620181949745753 m + 221742427658\ 584204645155691425567453965196384709548837004538935665780655221974531580\ 28 4454375509683322482 m + 1468875761825747488068527913425354360565032922\ 27 6918188979792517641741927982625836765556116401537780161857 m + 9061211\ 120328598874055265600783017748278411726028311373539740615411078745733083\ 26 8678994297108009134482826 m + 5203017588817741987596567543133806087635\ 25 10253503928425730675343157038257142811431847551790199043039163683 m + 277921391637098157030218957489541146754051644675552063709865763396551711\ 24 0036852696379409189360201582592886 m + 1379873604543048258335536001723\ 863762948951590109177579800960490388877923683231679691829616796110457073\ 23 3183 m + 6361780859771605119242827424813869528396362163137047365299751\ 22 9233365499203090781790751521456592940064511842 m + 2720343484700592444\ 301429187448309518713160823972982592503472039942057586212681191018394147\ 21 00065685648096236 m + 107736345731804248740893618678913283821571291589\ 20 3922439907727401363266096193286588654068067178668490618518184 m + 3945\ 266476364880247100340353468068963787547233827558299346649747420337674497\ 19 931975902767923812458100093655872 m + 13333069823969575995979248459059\ 277762114497305025761978473181105131391375922340181706788758989882035229\ 18 278336 m + 41491039015031396531031758544292602425981803998193026124556\ 17 111092693907154276540822817255190804654679748245120 m + 11858415625447\ 166318641222650935948067737315439913650977908222948082071145401709661553\ 16 5218389707567494059101952 m + 3103473007685909531757646407257423525011\ 15 90121623399571904303756510428418959308142336981512867717925550504527616 m + 741158253186769860760693637994422257699638268664833391061671832826006\ 14 543696088288144426452197547448018005725696 m + 16086462911401447264611\ 784526834103965526202243159915118361457689625775170131046027000291529816\ 13 19728191238446080 m + 315821884256134796214822480500561534726177386385\ 12 1685653540733908139372012529584360982912260826963091934482843648 m + 5\ 577417180652977642695786049168853912455902175484298875138051158866629102\ 11 379605677204177486820174185143593820160 m + 88013539362515518774993652\ 719190286730547997899547517972957521050371196571882527298612269254365682\ 10 09817782468608 m + 123116991562588151750317955125931601689416066509221\ 9 47655184321189209192977015198890146891994981114344552859303936 m + 1511\ 795063904650107429121208721774887840656652952326299650675047654101517910\ 8 0530252451557433513852843039950372864 m + 16098540319661831771795822514\ 906840822661684657358467146540610059613878508758347083272274720960188064\ 7 727804411904 m + 146370842671567348928061431482088570174492972831451409\ 6 48257222349128782448421587020967555172816331408493061865472 m + 1113333\ 481003402918945986546097423235706892961944520438121584049150511899213661\ 5 3415009810497884162133846539632640 m + 68886531428544825944467162568300\ 073457206172606844057714822286565064069823061073963756417029853385622743\ 4 41683200 m + 3328968427836387825863312877507479995349330129929255174937\ 3 717389618480455829511268556372272963979585681096704000 m + 117805340346\ 736201162378851192970504215053018697797671639272757105993049929326878480\ 2 0429353740548009896181760000 m + 27137790465038116643499640335885353299\ 470822152596323723394436637710640686434137152575030493441689984696320000\ 0 m + 305217265832628709335172103740293349355888709315794066838513913042\ 48279944776571117057728653440822804480000000) A(m + 6) + 114244 (m + 11) (m + 10) (m + 9) (m + 8) ( 59 122487378672464081619581160498028750437051735053517021249536 m 58 + 57035902224649663979361108269046809740870655010515921796071424 m 57 + 13028575516265123167443839545532737888974363317301859096902762496 m 56 + 1945975137985884113103915844270590301125023889975342343216314580992 m + 55 213736382437749188594724949289142116076874910187415014602318588280832 m + 54 18407748229026281158044840757778530406206507321241897336826585805062144 m + 1294430888042108787365945318258828309221920930450286179015427441252956160 53 m + 76416664303744988025516514408818446304215857803931400242766825961885808128 52 m + 386471751990629153169860731835293737978957122783192717485367247242\ 51 3735962624 m + 1700339621510314063802642076424523880488361685303958822\ 50 99203206770729597746496 m + 658655863179962457993789136272045684475639\ 49 8491926838456442149058039430512416744 m + 2268119208106578285943793849\ 48 27953179015886281502494811633843892621217732367839772 m + 699791917804\ 47 0643111647248030723859807562146386079071160739505882365412789288468122 m + 194712303692606068148587303062648042747090508405962717701422362809130\ 46 015476809890161 m + 49125559993758195398780041012231707243055889161965\ 45 89676777103341129434318045404919395 m + 112905355311642453750637935933\ 44 928459887574192721805334300916484947397981230317341515789 m + 23731281\ 368252677001110935243881695455213489059019772980712204855471086996033347\ 43 18866643 m + 457708738961083027722036791038937818873613090100975965740\ 42 61117055104797068361855845850723 m + 812409420874039595762556726521858\ 41 289918784191405229293104142129319217329733922787344232945 m + 13303324\ 403798172015481464822401609623737035479684373114697705830722938140973318\ 40 733065432599 m + 20140778975217379424980325304826051277926663869796120\ 39 9313754954602940985884895897267069557359 m + 2824381865082808335391251\ 38 176526297469200354469312474710058226005957543318161162077181266668598 m + 367439703477348909294192502050339254576337487348568535685742986569624\ 37 28520519993578518667368402 m + 444063720541318784328046323710229287693\ 36 320078552666617521526728863919476706768960210980451397202 m + 49910115\ 706295958879630319415501783585411253551170228452173955207475432518591828\ 35 87435833746391838 m + 522177207792118719020169557043061702141657413723\ 34 11170193506748114053028369169374050585499507817638 m + 508927647008121\ 523000896827964527190242289524169166087569646586882175791638523093815905\ 33 381541837418 m + 46232930354164073426084295205982954830014738498327972\ 32 63666142307539124020405111998721561390205605930 m + 391635391005696452\ 439454908231232073658341355547792119765423979929268856609293513829203300\ 31 50644369464 m + 309426561255316742841156262250493425394984001270070078\ 30 524905565320145930631114737737276822611374136717 m + 22804590160066508\ 249031766797369904884392109805999149315359691147001732127185200826095606\ 29 69565042215895 m + 156766955082104919570631629282982132615041018140261\ 28 54241336646113167848856485876962954505738555085905441 m + 100500339747\ 231192779420478756596904722804931422463356965983783716260769138252688855\ 27 205713414712622967503 m + 60063162502360449467194169452734176811596663\ 26 2013420820734010883416029617593936646595782107792351138174919 m + 3344\ 685780540088034559253483984327716905555658101641619395792540102048251733\ 25 444098933517721833126679017645 m + 17342705224042571577400226346263654\ 152975160430125337948541290533821475159302549632213938039043415108892531 24 m + 836615609726035674846060426442422459230997281773792593394238440265\ 23 36470868401293226219630688408384757215727 m + 375090575104292829715073\ 138560506427461175889082495950420932036896697015241864057661966868628803\ 22 092068140732 m + 15610424247121233716795803356569670384980726864519347\ 21 96612079088231245528512468508242887091171790789307010500 m + 602191611\ 396673672209627708576036001759150312767459930875345063107879821903880292\ 20 7341678439681566315982329776 m + 2149636125242912755025087101428703120\ 456865113416671078704849615892227828733061297979370917975384687115204840\ 19 0 m + 7086920183208863647064374580396480143336225134948482530968916426\ 18 8072778313124352208459182791563094978237029888 m + 2152941917115690249\ 334726972180441130461934326037577372958489225489900644809632531208116460\ 17 11070759419094702912 m + 601114900809661695926259481342122895673164263\ 16 138090746915045944258620543437442754040269045706851709683409414656 m + 153789015842869558208250001284423081591430550342487723264143784880010813\ 15 4948945281971386755458747937542491429120 m + 3592701078631515727353630\ 379117825109338688349141436228278785617358400940352585919495500715093309\ 14 920717985481728 m + 76327915687138205708146550982876656489428734739789\ 13 57548320770722119451675601099659740914149935394729902705851392 m + 146\ 775105696635880331250030652540566798674931087636253481354010669738354048\ 12 76510315107353045164332038028296998912 m + 254039412850484422125623916\ 631091523141526129278989602620287279262819767368454920983951347460839960\ 11 10525148065792 m + 393135845159555953253296685933331514331666962414073\ 10 24678318056523691527615666965074584867637232843480253143252992 m + 539\ 637213292755725614589105864196040100913230757436422541582872035324388766\ 9 79481553020587703838446108464376692736 m + 6506277114684850045114565774\ 210502015052104440054085270742937669539789630744509140972564908392350579\ 8 2549258985472 m + 68068744174416487175186033857012301761120853124503413\ 7 322186607487786409947770935053969245720127578777800221655040 m + 608423\ 161863413945156020946843393367053879287748857727983748778446944653795631\ 6 51718817881618276922390327160995840 m + 4552384555688167508467206642297\ 372003547531050885566867736080785085041851114477217148178392209435948713\ 5 5990415360 m + 27726139915412062882719605580918934780757680403222147176\ 4 065123174345842334062251180493119364987046747997785292800 m + 131975670\ 734498090191632838830262143169131567170080846579504573959502547175221449\ 3 09416300538769289831851753472000 m + 4603388667782440263680156661642438\ 474245290865834335748609323940855822261115901202007196714836397861298503\ 2 680000 m + 104599624953092033971264059292179407941986550943484133456420\ 2720609336294520868323691404202473831014177177600000 m + 116129256143884\ 233625796497890261393236068876016687392753357486337166515276681145874746\ 545516934290472960000000) A(m + 7) - 2197 (m + 11) (m + 10) (m + 9) ( 60 1667399439783319597682823789234405350067008086310789362745344 m 59 + 790592739042820150477640182333257814398717324529556519696465920 m 58 + 183956673000510858646779771567411854985316323430782563675818426368 m 57 + 27998366533119753759006336165990183148868594164024609394805051097088 m + 56 3134861556690099265794476612885554180325637269045296526163599391162368 m + 275332874378329067685026740249612840627737700636047712596774391263428608 55 m + 19752965510135861739832663633731046435418123001826714834757816475941003264 54 m + 119020548093903568306002510393042307005591952635302788662459095097\ 53 2557816320 m + 6146425590309899824895005219881484914634250358951148086\ 52 9028712905912620450880 m + 2762540405302993470792952911152666219961662\ 51 854315375704354449332050743413068688 m + 10937135560363391148640591449\ 50 3408765776396863045507010432607541719535754229373040 m + 3851183788503\ 49 802364830128910860727676797476948089674230597090645795535678458513096 m + 121562497385107344596318028879284765732793200776156841421271077587956\ 48 059120890265796 m + 34622114355454020201523964321361161217341447573481\ 47 50418266340346882846316793955414769 m + 894608621705903267664486591268\ 46 08666260215877456660717144963142898517031965349119209971 m + 210693240\ 423332912196348414382182766672806595505537280261545620954217542934421585\ 45 1631899 m + 4540699000775514152303729005341415415826743596097352215189\ 44 0462649293249458205856096284603 m + 8985074129823901290106427449828617\ 43 66931765165243958757194630426406083147456618341542055773 m + 163725012\ 163579942420992517892658188344843697552495819844767791241507048329657239\ 42 11413995689 m + 275420691683685790780026341110681413324706095006937952\ 41 602563842003361279620686065733176836901 m + 42865755828616738915119043\ 40 56670509936937001207559912324064450830497137846978957666368485786361 m + 618401891490678705914137746710012784028422279550701420846671714923569308\ 39 59954814904851259811236 m + 828279321778526887861580861172521077838235\ 38 868366831848081371452332157770693277370711534834220058 m + 10313961992\ 509787965293289359642488941925938636022453223218259552399591662676932604\ 37 477835491337462 m + 11954232997362873464586138052212371015559006719435\ 36 8114202910706919034885180191933151018440514876846 m + 1290880491173239\ 263539259230488930716595290949694878957237703055474186349897261106572458\ 35 392457366362 m + 12997549525546473914975460083998326529231836145572848\ 34 400442024296702862124751719705925570706171917442 m + 12210079711853404\ 719657950184890139104271357328185664969547035590025059063421976005048357\ 33 0268701944338 m + 1070678204002922513643586004662796008025171556763715\ 32 583672291543408338802118190703912645528921447343990 m + 87663557158614\ 333169315463497039828737065739312467473773188064647016267329953204070117\ 31 63703231262700361 m + 670303469766369966025411047986933441556266255046\ 30 25130334878499041057810630181669977281555639871094583895 m + 478658980\ 041853769364304987682708049267046633038095701227080087281388576233266130\ 29 184043222445822719403927 m + 31917679869793942274623990184399506451042\ 28 84765077148687488374256633635618347410226385014671447709242192839 m + 198688259274672807456806420910385585038099371374325117220906666413073196\ 27 68115341147758885769608708770952873 m + 115417186025836987220123654730\ 767799703557805951284819722331304384541648281705657354531486659413678003\ 26 510485 m + 62529046096151209455033130232894169517335613194958586692807\ 25 9307090642679488110960752503930363364011532212721 m + 3157132821756740\ 985840032661724757446531655724848635417160762177718346071352303015438297\ 24 051689089055737200317 m + 14842849285390005542722606848634322736129609\ 23 888368440484929692983961219896197980626145814700742846141231782642 m + 649068387532205136316419203955998798361317550579921856973282328283207767\ 22 84296488948573480213652108869790273196 m + 263671333825023798284975899\ 436352727458314470309255385490190442268180634498864104255336658780762062\ 21 990084147304 m + 99355543900078386559714680683132233858439278355463302\ 20 9455682558727200797852882538430450569558383350373023722400 m + 3466827\ 461170643993950597762577478665976951500976087454223272026306260035489627\ 19 217717891808606301084967625745984 m + 11179480993768340965513577667830\ 869889436060317064787040617675155700646868502046088766862000118247519645\ 18 678071424 m + 33240475568881778597569875200712240227911031922473856383\ 17 978100754734027539197589009718573132723987525394440655360 m + 90891842\ 182344433830767400347061110454906691752772556089600632909966282627115433\ 16 350409051759827721708219065774336 m + 22786370094002463829463561894073\ 685027370352705115293003467222570069820675590458741136865172744102060120\ 15 5467527680 m + 5219055681696303555622288354974696465642906370579433829\ 14 28130541941605776190315985593097024613787333510243823852544 m + 108768\ 435624396951303098477729499826528431029440893920907886813282913654829761\ 13 5467297481189327904863083248762529792 m + 2052756223489865194796687767\ 244892808039591033187929700214010231279636167283837168032528518682198699\ 12 002364711567360 m + 34886532168751876106517080751235921984904009787269\ 11 07667326783171412116459652784516556486220959382955277090975645696 m + 530354994527229033275966217395199238897333225789473038043882640891425112\ 10 5096408944577859123518614092080116446003200 m + 7154479668594604180524\ 612769369596939324965233692378614825393991202769268083569714684375916196\ 9 323406303893529034752 m + 848075739034448232318924357327069310056384053\ 8 7726416929236103468108564511073091280817981731921627995909114335068160 m + 872645833862635241426090526864242863737533573230601454342383642126368\ 7 6637548030671733121152742179834134765301137408 m + 76742219222167499498\ 370901077241027639388896839768278160643167506488862394610571619112382252\ 6 95359455596326288359424 m + 5651230232264269950190773008063070791551028\ 5 922503081089721156926577031283729999057339260421001726766249537479639040 m + 338837787462176324190342215135762805897362384254849152118972964422461\ 4 9013117294562889967143394431871161234515558400 m + 15881879509037748711\ 913679344407851776721334238896570300928955229874537248472349737700312349\ 3 98345879491650256896000 m + 5456081431101737974775886746577954203196232\ 2 79288533749658769328245723828399644138198382163663789137421611827200000 m + 122123144313154398138934299790364366500293169265707187228712765877868\ 826312215692733333091677589054740968243200000 m + 1335735075708870909209\ 757275362404805891291289351787869776560166708356746245087806787555194469\ 9074041610240000000) A(m + 8) - 338 (m + 11) (m + 10) ( 61 50955277219079577376399312267618333667701265597655439477047296 m 60 + 24644376033378489030921678706581447266988664613004603130188398592 m 59 + 5851166661902801804276186311050417272990278979335996706932773617664 m + 58 909017893137401217957361726007353833056742341840299716245539141058560 m + 103926550108638600412518166919262540653894792802312085431597444333338624 57 m + 9323847191947420881239212683731770267072147507737541993063182249015918592 56 m + 683540158675178799614180567352895567186374417085858142887244618073612718080 55 m + 421036270517869596132012078334912953689422576269547246498771414042\ 54 53870989824 m + 222363230306105751796025590944683488652137490116534957\ 53 1949222360656430692308672 m + 1022527027341283475649298126168616739439\ 52 88871040364921267167595194466032983396688 m + 414366863721796134210123\ 51 9505905721931498160496328015658695568946985306965768341504 m + 1494125\ 868699346014274110362444506103874000791763461736501846033139441753075863\ 50 18512 m + 483178407778141647288789375689279316745193081361803675733143\ 49 9928448578477026251251952 m + 1410546905984830307956338700729188031502\ 48 80083833030547119500673218406420976509899503015 m + 373776715047810143\ 47 0837513160689031078375311061853865994272791952764819659221338326914141 m + 903239179948292273952652035632239425282768805332292345524186276451864\ 46 24962824594872285474 m + 199841107192051140017489787398937460941176476\ 45 5270950235111611035413324591319107134454515532 m + 4062004853461665233\ 480979129785424287653136496034731581863757528880421644280343724155488987\ 44 4 m + 7607598790848480885151200918726023184689736678361960501009402699\ 43 17172531773352663593141617142 m + 131616764188198334915090446678220139\ 42 64317585348991630195054271023855045941768694117417729212996 m + 210808\ 160122851508530266145102129366755073419868290117122903738744109861265661\ 41 596201169343365256 m + 31318650383023622382101509122943752830443870903\ 40 59638766098657989483254855138591399322607817043661 m + 432285936820530\ 538756526689951874134837981804480014982420100042371821497345088836633474\ 39 55176617703 m + 555141170459127116773358644655916886108438167602850904\ 38 063539323162399588212439199226430384560953990 m + 66408057403849003347\ 178706239855541985477051901520551847075997579806236089486527165559225191\ 37 05025884 m + 740731865703835026609007573777595032099004042574010083567\ 36 46989126859873558077023177954353234179800452 m + 771055906707810708607\ 250428259398567715391014847131457978654811586462209279424262909282439563\ 35 971654148 m + 74952484348673642925090869432770067013690188207021654351\ 34 26553240002692923279272019603895986633143863176 m + 680746564538465208\ 722462157249601954755950579931334566580564580623752001580323279678246099\ 33 28158222733760 m + 577889016018661189278926806452224647908415749144374\ 32 772799771602442301069826137272965110022587312693817841 m + 45862940158\ 811220229689487182756936019622083262278670423004986869995560125015320183\ 31 57515360308660349001275 m + 340311646047915399377321090315525689366270\ 30 04324643761335767962679430675201954342313893046002379240575039854 m + 236085309741454490661674191728590274305129709236269997582256916353211235\ 29 949833125636330083370656829293967780 m + 15309423854041095980640607421\ 780257323250274644113465159596579927517872244634533898900280753374660424\ 28 90835218 m + 927698599075210900425520015182920536244790710904381675267\ 27 7817369046348585736810418413537091457631349870657574 m + 5250636613044\ 922116135762723126632020852748469491165360396002557659144009200889514716\ 26 4426840507611234061952324 m + 2774015646807845280247900581562810104272\ 25 35143609005837753266271917951741128173184686427414625982595939113763208 m + 136699018054824212697717544562095022516542245694087337906524358782968\ 24 4389910190959369738388331376275988209858171 m + 6277368672599690792425\ 799152194965299834642044311218265444285937871285863578943361384885567152\ 23 185242587302022433 m + 26832738106285753312534724106416810496684371974\ 22 715133134202805130164862396772053584345160417755106442073272873834 m + 106626032879437812071985616064571499433946974994619881005932428340772796\ 21 142465390643440823232925547194459260378548 m + 39329306777369756212533\ 598212937961068587244355900863589112137200301467587533666297587681687537\ 20 6206704084808103592 m + 1344205900757656905650808358321398078807327027\ 19 811343534467278240313461827060115053412574876388139346371176471163968 m + 424852882775843997965679533964539107099740324206545859325447078153978\ 18 6849732510858786021076558854073561128835257280 m + 1238884479700189192\ 094339700417043459750298815967430499437960774754493967039857965429130725\ 17 2661722458645513373479552 m + 3324210948558000176241171220125896380695\ 235251306511259410186356524797881929686644471058608458883461928681810772\ 16 3776 m + 8182447155706980708614210790747073587864215514376505826124594\ 15 8747515601930276257796645898131898246403910180999182592 m + 1841112206\ 156335500769912980270153817690046410893433588533652672243145420941146330\ 14 76593483719068372095200310815777280 m + 377137355717574582725201184588\ 930251279996699631421293805270354509296511898748694771095725564082234005\ 13 061032506713088 m + 69994395959461722560583420021792877062436986211903\ 12 1375580291629654385168570411384408558490661571452347424406216124416 m + 117038072193994760666447973155855582433541016151933284056341071688884701\ 11 0167158046399019108213111105260721420636594176 m + 1751409166935811385\ 859579863326041857991495658314928130467272133648087411950905695707223701\ 10 246281787472302998287908864 m + 23267682262083724322327819067319204902\ 935603124076186625352142815534101251489165919648663371266319210428323950\ 9 47272448 m + 2717447765236966840165552171523774880461712744056610994992\ 8 918849632024042311555469339475306965502786935733315632627712 m + 275618\ 759907710697132817713137454624981546255583663221313620895251601335027532\ 7 0535697461819109353177794125204396441600 m + 23902192868847060193043506\ 025245468027324731943756517076824616978496780972773240877537888056731049\ 6 76477565892566188032 m + 1736455506036910492448787551763544359093967977\ 5 804306319363791604311461496147374962391535288534823282895583401371238400 m + 102756898972228760722638767117617952894044662122713820508917162683641\ 4 9140856672465409270044252007734759505189561958400 m + 47555175062719121\ 655609689712097261609995440394573360920961201567141228245290003860882558\ 3 9991770317982236154003456000 m + 16137235715483823078302195346919078895\ 960051444200125044567876454394762630141135338511798197177806018349505708\ 2 0320000 m + 35692110276060165403868357893756580304547835524244512150684\ 111563702993144800549707872933453165093170533996953600000 m + 3859156362\ 721524291866625533741409339245553484309663800000459930293835468844987272\ 370776478137779873686487040000000) A(m + 9) - 13 (m + 11) ( 62 202153709436534989907914425281238929320738054304310968545443840 m 61 + 99893685048876811831064189283447813160598054120864168671838208000 m 60 + 24239767087247124913388733706516950691183707685415833364008004485120 m + 59 3850050822012183878297075253074162852375977506772177898895700147961856 m + 450168687408614937248878031415312498954460631705029970813310914698575872 58 m + 41319015717328189755467226400055205831806364965953082932216160965208965120 57 m + 310013830561390031107512937790808893378972757903120007228348378583\ 56 5577131008 m + 1955059791028622850731951617707186225325250919156039156\ 55 25200757493274435440128 m + 105753241325285196550969799899506639457704\ 54 44400380749726058941233586912935971520 m + 498273808719868867932986160\ 53 139058503244237473084011496392256440966584389616102064 m + 20697563068\ 034161441023824780646262357771970655542211684436567826252221973226355680 52 m + 765327028386101482264467454366330790388035339135511505114017413651\ 51 587034625965396600 m + 25391275436014247561767478678325101504787542628\ 50 009760158363363843035586664759705336588 m + 76081707487986152488927017\ 49 8522813393590459399587819463673112386604269568270807906794847 m + 2070\ 269231188323943122049963422946749536213977025199999521800101905360677327\ 48 4159362295132 m + 5139884896870004026258744866785334715643789659667458\ 47 13993736040211053470321159893094464008 m + 116894534364234029385312425\ 46 82412827948546751522389700481485051755941201192457317703045657540 m + 244365769660540007978334601993246141954045960151488353334406133069565112\ 45 603231700339677818610 m + 47095518551030977803885310803634024843240800\ 44 65548185671346767595040241161857327448002073730180 m + 838932632706167\ 232259757625680691762774375509250434042933885834436835428828647450767929\ 43 08560656 m + 138436339973031098256430369462882762745986399381139234723\ 42 0985345808447499772844770114287670305688 m + 2120251192993556206328678\ 808670511041179642533947020051714089222313763076315620979058634064803666\ 41 9 m + 3019009421979064175683785961234635435426542483651045925501300831\ 40 59362644097278974456540598256312664 m + 400227616942801327886909917374\ 39 2585412586646458014184833320580145950742044927704608529145107429691864 m + 494595935855047126069127290831040133689892834026333571335006386453631\ 38 72664717531603831334027866193144 m + 570359562294610099144759894534156\ 37 847930503094665460686212309414362915027161714686869611119293834957260 m + 614299911237105599903905782084300501156796424544735080010598426821868\ 36 6829032710692741357026439520325544 m + 6183794635291727247045215187759\ 661385200479667268573661137078915098289716743218454925321864217507626655\ 35 2 m + 5821255766073683476557459226458512489325239337157976561733592555\ 34 36212951650799149584177641246192858707580 m + 512681443781140420813422\ 113204619155250052643734181974781598528819808593445262675689579893910444\ 33 2491256265 m + 4225428067836962533742879229859471302702671811962382871\ 32 5868634159982461358436060075997184818996677660640588 m + 3259502057807\ 288560958252491832226367505308557138285691754952746421883705621083309594\ 31 73982052626094871378392 m + 235341109764173455626170268935878933129486\ 30 6861084231412178274792671657420770752786557993937380960825383713108 m + 159023938128881536910210836488847273671835432542285717379382074627162156\ 29 58138809187104228956355242259746315074 m + 100540444208028597744246478\ 399112371503018332800502465315015203424280312557017641294087230280877355\ 28 597052036084 m + 59452520270971678128900392075024089449325210942524929\ 27 4852278231224425258791517040272248032692492738684392580352 m + 3286463\ 962703081706002741517685577933318976857533325007076337828273612439030607\ 26 548351251160539020211554600596000 m + 16971974736245575245367011164316\ 755167209822693542385017360436622969842195060178713621786020942246046732\ 25 267918075 m + 81814618658688110049129537334686008065165727804256570660\ 24 124694613419055074227604167343347803550215912289017423680 m + 36779394\ 841460025953974284761100766588344989011173874244013916227460519368843256\ 23 8136877202773859576420296757282824 m + 1540131943933747661766908748424\ 063064436875678513416176761142510306822063073588975198297935949683346602\ 22 040543623152 m + 59994729137235022340213040529510242331638725240224340\ 21 68960335443347338069922139238845949755181637528646836049340656 m + 217\ 070784498982751984771649586922236406453422101415612633227503575141282398\ 20 88055958491052355740823188130132032641216 m + 728203626205527934056457\ 992314350196069774520000848947439693952410714845642700604220359243091368\ 19 92219305825509769600 m + 226039097283008467055733594726121471931220647\ 758863328556725936888484519194889333812254266012517591408231957900872704 18 m + 647708910895890876667966796711082330852708935152869529298972822768\ 17 890145437319458269624557418015890179868721449365760 m + 17087506376392\ 605699003698601627442776581716055118411213454003509145365433113552507639\ 16 36803657142003219546158163621888 m + 413754726112542104563879658263663\ 301024087517131586293709729615909241896302541161410574636011612380340408\ 15 2489484154880 m + 9162848991782093076003843603359033367211134033061368\ 14 177598951947168128148451057812522028345560909603248497624031784960 m + 184822198717031253922082912906344296168439561744187207976651710479067286\ 13 72599440765202623610219267969715708889592549376 m + 337932142156173373\ 637347995476860042887714223325029249579290746062713357287224448778670875\ 12 88667415338474126007571955712 m + 556937591983286820949446493381432104\ 790092242605165997605188575160011252714730274215911560576695411696142244\ 11 89731883008 m + 821819358404648071868725079964061221631689394047728983\ 10 75507761395449898016007233372651946710176575967293806379113775104 m + 107706724023807922793088846125437785864885738074668666696934596814447720\ 9 177170267531757497521202670255498139584127565824 m + 124147890042803086\ 712950080667760976447682307703103295145383207873275679622316873565487206\ 8 296131419303067985949705109504 m + 124325270749739497526815470416850071\ 916298737452351743235614067863847377533003860064523628444675757894213261\ 7 122108129280 m + 106498170127721989214818746500246350401633268791054152\ 6 538650413655409382981443129325928830302772118526534425670529843200 m + 764541347493772936817988030167800546889532855159169039240923155008367339\ 5 99636685100478712539274980410894990627464806400 m + 4472589572335852772\ 913918620410401648045437676704422863623555008476554933164448169782954085\ 4 5067903930558185195175936000 m + 20470757535574185988980555587398990132\ 081856669385495548010811423342147869002597271440861978091199367816642864\ 3 087040000 m + 687275966881489060504178775418391318281054591163159539959\ 2 6489816376067313556191834790300031254771874773859932569600000 m + 15045\ 947553385177563342491676749697924502345453886406406663402137432167403584\ 92733970458021975823912599531028480000000 m + 16108954314804710910736014\ 031645807616098975959886971674317987945521275392646705890601204335787711\ 8058260070400000000) A(m + 10) - 8 (4 m + 43) (2 m + 21) (4 m + 41) ( 60 7039473377988815945407542634066436970659951034073812930920448 m 59 + 3337746437078337905519689077916452944995953125090352137518448640 m 58 + 776625071754838869111056175509879313148284981806079531227762655232 m + 57 118200501719147533746343051050579918457683135298507077439152482549760 m + 56 13234004067965897603545536397453052325240598552136162028040245896118272 m + 1162285525590815754155885297303901420426820183929715449155857420559319040 55 m + 83380520621223875309975927382996651339825959546387218279360082881645395968 54 m + 502374440296191738966973258683263564796867616981680738416971100363\ 53 8378177024 m + 2594163526150320866156380612315080841607254885990329295\ 52 43582358067622758351680 m + 116586539434852783954543839775773586817318\ 51 68551680676192925790819152225425991120 m + 461534769470953275241703742\ 50 914198120185964081116608900111130057316988415946383712 m + 16249957010\ 374349981485272160207511754787126616903449690236034688093953842949745640 49 m + 512874253067038162646425154469289439062841644831626511821726381967\ 48 931535572616912532 m + 14605432951974008377274263258361775604435328137\ 47 849981746755474580578286078785244454073 m + 37734606884168670502741766\ 46 2594185938684474067005871183348993988954130903280634292914728 m + 8885\ 864283774310604726424214511451913336043882244430506163625388608717550344\ 45 889600901858 m + 19147435535965958479166099433079020574033020461802755\ 44 4543856773218993834761967951814024374 m + 3788305443240926416358089391\ 43 825513131633523700793584625053872377634299240458765308870853996 m + 69\ 019284966474405756404138897015165947936479854113799007070803408342864136\ 42 178475039795887854 m + 11608627032090173229557820530195663944441510955\ 41 02252935717611851969212369068678263288286419394 m + 180642737978586276\ 367737070663106927696100104663376575415495269562238953472261510516855419\ 40 17542 m + 260557458418082098596982812592864451792023813277420810411814\ 39 018824678834730100285920900585969133 m + 34892271503160370256003125643\ 38 68116844451080645975041268535688642174932601016148630039271967968250 m + 434405001405266012278154942736166926815692138666256612369112638012340981\ 37 98845275447898720484509696 m + 503390615148790917822913139190156214631\ 36 975507225515111057721467617800294946694325852671257933781668 m + 54347\ 664935625063478062966491957217130826381824562523951369733044782118837093\ 35 44530860936045223023888 m + 547098140100938700820098350410851587305775\ 34 59349138617214779054451057578265831999055718178674324427052 m + 513840\ 966103613768962361250753327103707888880474304514853661265998223987836660\ 33 472040810711236646817516 m + 45047774068332743928197754123376398042901\ 32 34526053347601787614251411267278121967774721487514185791259936 m + 368\ 752872475948303928854398404259783880997730917379593741939983542682972478\ 31 88731656952863232821194795171 m + 281895190345828826280869331256180914\ 30 083889836917246020982944141897429903352089813038678467134797348305052 m + 201252065568718990810863786255477461400750087933264435668257779276521\ 29 9586635219854075544169713216863491298 m + 1341657271831341092744650584\ 675394629698025482618387934830215796133561884728811042240762609076527554\ 28 4764926 m + 8349817234525040027102858727949369551075008231587479910792\ 27 6196087125860121303148062694633576025666525071156 m + 4849179336719873\ 449661382313411880763293193570884340243099840225910370333709650602087705\ 26 95214034961890778022 m + 262646274446709027471555287334584818733172259\ 25 0884028289771636405350791237460439220723918068459384911767262602 m + 1\ 325784167644232564907351615050002555224120189264301116088389176568349325\ 24 6329854008023450656883380393652913606 m + 6231417280620980499198428126\ 581576784238182049388112038103023177964069062029691125674091105461714774\ 23 3448557239 m + 2724261844919147095972273958519471548940392339723493683\ 22 91377343862018410966497654373048211358753903906245651106 m + 110639348\ 811633400919830640692625033864439181563127002071977911305176333468041766\ 21 4709718636915184370868142382236 m + 4167991364314871670421924615123799\ 707244368324151343483508047884784084346906625044248491457614835748302384\ 20 706440 m + 14539681797887072780922712761376746535312790801276351636217\ 19 422439595825238151561500037917981763752441705122713472 m + 46874053821\ 930659541523545604586857841862555444337673139707153762214024713719459880\ 18 637112134885810886757086580608 m + 13933711727242898071798040107734752\ 967977795352130657158290979833545240903024183227509804040395058827515592\ 17 2127744 m + 3809027037980609149736426619169558919171684447216011745846\ 16 26466291270009430544949231640343150495705967703817347840 m + 954673857\ 727131423263308022049235605400577999888387316436891330038309202167732655\ 15 038273224740292039557342184900352 m + 21860701318988067001078798050788\ 174660344682666858142474551415456192963850656990401545039685601582354475\ 14 70916364800 m + 455479943945805223000008885335040672141384168773909130\ 13 1649206540962455275354876346873267501758892081506449226951680 m + 8594\ 098693699487229965165048895366556332217246152338268339630777021757871258\ 12 162637449332125337087462884975546968064 m + 14602263232072335960736582\ 203686736336724452193627378204818829687787920821067276422710103040478658\ 11 169329162672513024 m + 22193805558655493842833968478206863489652136406\ 10 676397873670189230494285007942598673068800470926257610231925673639936 m + 299329679008901150057869693670167395471520680933865670291504392238739\ 9 62672407976013799312970432226558636689246257152 m + 3547459399878527705\ 279726882182711303917052550019112298940696918371820997884341124532244171\ 8 5827219471763625073180672 m + 36495302816187995477701939763560903191710\ 017626792858947040800313513299790722430069630339826430832808575377338269\ 7 696 m + 320889302751083740399415924402733449803586335971835990851448730\ 6 17373807242780235751289514301170060504602684088647680 m + 2362611649810\ 474805309608589042935783377415590687046108938956492467727059985815954447\ 5 1423234773467703406521378406400 m + 14163707884644006335827913369810004\ 736563119495178879002271006665665121225234117014339294139190377727737129\ 4 336832000 m + 663790470589781497197988160590805782949907863880126819880\ 3 2126387025772438627365106456419478379649570566171525120000 m + 22801484\ 387473099685375373413399840387499427879797177927345226347964486042213789\ 2 31237699709100549606027454054400000 m + 5103212277678754239133768693277\ 633250178686237754985889836581795629281415210430616709461297510884825513\ 32864000000 m + 55813690596422172817524542809323322408245379471478690190\ 508106421781819180231713244912982254834516230144000000000) A(m + 11) + 1024 (2 m + 23) (2 m + 21) (8 m + 89) (4 m + 47) (4 m + 43) (8 m + 91) (m + 12) (8 m + 93) (4 m + 45) (4 m + 41) (8 m + 95) ( 52 45121105987124639038007733080246762526191995926347776 m 51 + 17242903323133898306854429605833492622722470023070220288 m 50 + 3224532458481765439607595494375962325089690889218555904000 m 49 + 393286210636049149976816818615111687453365969052816877682688 m 48 + 35180573351294942336933996643810869377818665810494324489682944 m 47 + 2460847233921808331341559879856869273528218800350703187078021120 m 46 + 140146203838154136273316871766940085415630301070453032195903930368 m 45 + 6680632407788581322872237317492226577295162256599622474048336728576 m + 44 271975219768040240103943376148428827789903657590960305443694802055488 m + 43 9601244827835636869233599199446199155076442520351390609786226324050000 m + 297418822052527393189545628933299719830337970559050957686742309668297504 42 m + 8161445343050401832710032391108647542484307136747017960869448694555916680 41 m + 199924485299517662997111265748951180321220290376676722964722297077202507796 40 m + 439964287532258428042346874087915967185210332311463010008760234733\ 39 0394256865 m + 8744017438434276878424495916495529312349696606320438072\ 38 3779565251956616248196 m + 1576397633647295599529628064866412456902486\ 37 575944649059000836151572739061509128 m + 25876049120555588360243169507\ 36 587564906408979004933154647345865860569936741071250 m + 38794670141369\ 35 1076048413013979727552929802134106094190448887246879506436889042963 m + 532647141897301504897286613950143183449700265592322969855923908610361899\ 34 1472699478 m + 6712265939647477367805473129492682123870274383900855381\ 33 0343369227181660820084900224 m + 7778030495930686057375743968705828625\ 32 79940646405820381284349491752338297357155849040 m + 830058122275495093\ 31 1766931898087891548751935164270029281119970225124901020080575905450 m + 816819100263059202417263401064644751591563256226852742457470754459353086\ 30 67166871099440 m + 741900373581708107738722631805900395577057307439590\ 29 987376179170951944706301099591933760 m + 62241980523575317688175969226\ 28 16421415511828577714956571941031014439627123067296377712012 m + 482562\ 060784155509396590517168874252644601361757718712040350474112185811961105\ 27 43007631222 m + 345836603370353052746736417171179022089703966906537635\ 26 952622119256827624567539775937781892 m + 22911704103030614664223304613\ 25 90130530756440667311201670460039949623693390602790192716350776 m + 140\ 293786836179004258113666820278401485002737763866912019855759239607555923\ 24 84178404988806012 m + 793678265737863997393235217175935864366778277965\ 23 67398913754358446022250867313750928898339365 m + 414579505422020242127\ 536582372150514148202898641529546084210747245523894637469440434087850236 22 m + 199782915848001921642164602556322982081799220193274979728195169417\ 21 1082849576548672795899970040 m + 8871913005495630615679370018715337611\ 20 249901722614616860694113018507988926462522872489613004434 m + 36256735\ 661242201160806360900464095518786519032813509245652532127989894007417733\ 19 822554920980055 m + 13612830265013311435028214925114196252612763330356\ 18 3733272755996135169475937544075427906360240534 m + 4686294898278947181\ 617322051186510968349446878387974068509732788560002038651445671912415884\ 17 06912 m + 147572134791281655666879385212493117342223966420691318787636\ 16 5357974142375977086652591578560177200 m + 4238968555631012582788808078\ 15 157296809029865876961776190692112121421301631405822213155731665295392 m + 110705666447574265960605694482966635671196245753904131681963356163182\ 14 47767645689536143644253559232 m + 261849726674620159368393703312928269\ 13 71185144216238740738594302171730508154253068972942628675022336 m + 558\ 368116337338265217244034555865953566547791585517475287768986857037625427\ 12 42468297450548202875904 m + 106761706554274043642321545607595059188501\ 11 640033524272705493314784154660689478397358103335829828352 m + 18184911\ 651018732418229580101479020608733985828377502018920403959859504000194993\ 10 5607134725812149760 m + 2737714177988344023379046363893486904964440145\ 9 97814923565601953137899083171232375369134754079997952 m + 3607863028498\ 818463942427832637217010861675972219090930027541721882487833918854712924\ 8 42072364232704 m + 4112016228348746472886679318221449984941817586760489\ 7 44486803112023970797001305937254451067264483328 m + 3991168913751757567\ 609820400232986724346246524260428665240507801139976294313139771730601744\ 6 80015360 m + 3232601839036149314232162705042096243967638312200602907355\ 5 18267732365533834490303582519223467900928 m + 2124621129532466770548285\ 375467977598793206761554509866020452628819247223089938152548370200028774\ 4 40 m + 1088045349620848578427665905909377716642339376787274677527699051\ 3 25372481251362320434630571432345600 m + 4070894528094099451416884827298\ 2 1507036193568430567476393066168309013038952641673702794040705024000 m + 989254635141593546240482069642119039113834730911244920794237273888078012\ 8486288224292207329280000 m + 117109584731121651947583949111849734602743\ 7018255834206027026738029744139352148171569496064000000) A(m + 12) = 0 and in Maple notation: 1792160394037*(m+11)*(m+10)*(m+9)*(m+8)*(m+7)*(m+6)*(m+5)*(m+4)*(m+3)*(m+2)*(m+ 1)*(45121105987124639038007733080246762526191995926347776*m^52+ 19589200834464379536830831726006324274084453811240304640*m^51+ 4163751114500521524621569658337877655958267446993474289664*m^50+ 577494711739448596821175961982420960253650505903131489599488*m^49+ 58772948807224141099461133376641528199921568399702680317689856*m^48+ 4679646444168269425142194311677395237612784497497725095321927680*m^47+ 303519648756105644834209284170555151872245167322495111393444708352*m^46+ 16486493332338593143179661305402314217993553880904989483386957861376*m^45+ 765206294466383682450166139995656601382588431556589787079942382984000*m^44+ 30814401677095891492274340198521411949978365321729967835829321937625936*m^43+ 1089470915932997772135148689864912525288197429933536169418676056546398992*m^42+ 34141686059636128312911548899700356761505715616406675377468403197212973048*m^41 +955674951193859784690000852496426384855341317306695495175310796633328058572*m^ 40+ 24046384055554288134460330290083629756078012973375799897628559333981899061057*m ^39+ 546763795992164914565656945342371729874485085781226935521120104634049774743803* m^38+11284591590190784546492778300872668156644611880985758421697440355334443737\ 844437*m^37+2121931367408325259906721800402635812217784611608894340451895817088\ 16103880048561*m^36+36467668207059122400144883250436488859406650378239192864562\ 86477182841017405881462*m^35+57434786674837098739457030257925096241948296718418\ 968455483967040457308076137681524*m^34+8308238539472733313810666502002759858221\ 69278225077421996371402292877763109769179348*m^33+11059286727261568166185185944\ 399614535577776160592620490572064543126060861706581856828*m^32+1356768372585203\ 01066699742327490720816700241876190140965579180039608823221093411936870*m^31+15\ 3601014989386295850913150038399895017674581611506843394017257252447836640196084\ 2083434*m^30+160629649380295176633419334993081540366045884986047845965992423162\ 22786767690911823713574*m^29+15528393720596342493973603167808603509342509231398\ 6709562209923689145015720160320122365182*m^28+138842075044066790393478941344323\ 4203421688239034803568149899764956919523974854583365321888*m^27+114851512018319\ 20411478316761945153503413137783702297396506114011147441542857191304449166812*m ^26+879034507430569894172661803603922956099030810881576346840832094551996065537\ 37195513018302828*m^25+62239662700576026495252377945903266279972068943316568376\ 0589364830660808899949231854170178480*m^24+407534431785929500676141535197360349\ 6536385827068021285848075179482535666674739938101264241809*m^23+246628640243425\ 2016943440350105811177455879540056265547320535385148391485822323714772558465976\ 3*m^22+137831867413749935494266523472574270780633564490705460320176787723577072\ 148272764024783453666477*m^21+7105911408997469495250678644464719849116346539119\ 69566894645838238727809229672696957668436613113*m^20+33750088608067085144382465\ 79257162566418208119862791744549001923860076675484729903494079965633698*m^19+14\ 7437793494657380852389022901969891487928943659542492241939273574904235783090890\ 13657123507643912*m^18+59125370668877973978991192333693246396898702660045280643\ 510470997462137825686254780722814656261408*m^17+2171514612875484085035735970774\ 08152539076410484418409933891033192637796668790499297417948432279904*m^16+72842\ 5364697246634874872955489794861342105380837269817437907112012094740516175359016\ 986369514235328*m^15+2224524777382278118298684258023160838185508101104928036081\ 096375083509771040292856678823178115658496*m^14+6161177087537271740131499449869\ 749725606586799810120009714693828555863796951450494862832464120244992*m^13+1540\ 6558092881486256036967352927583410127933949620520607389224377343640673990591420\ 057180366977188096*m^12+3459658249110439114656907339152164124380691853340732550\ 5096593840610758271730758061324708877214630400*m^11+693191709746392210019693633\ 57102502404755952760571314900381042545109156993382162060351054786795763712*m^10 +122965150393629721437241253728219225261135500217328404500284474628059706414751\ 430610169853854570487808*m^9+19127663742872903994596914554291002511976140746404\ 1193459277677583573710083446771222224966878628052992*m^8+2578063015092646015677\ 4859884187615346215085534079731680114282150956061173608216050932909389896495923\ 2*m^7+2964979029436712689285745209408132040155690208629067489932327203902589902\ 93468410238200187042521153536*m^6+285144332926963232151498946281318319571375682\ 081555061179875944674688866017324295628376189703831945216*m^5+22302389303425121\ 4723628673518655580800818919052467604102933947037158401612795190776132801880276\ 336640*m^4+13624034507888010996115794577111992612516865201343945056883829033279\ 4300758135956336023359706890240000*m^3+6095962029146182655802327456397250115958\ 9040561039491313859072590319078040383362367512719600386048000*m^2+1776405626073\ 4183731283057237141482656596580319956321526347529468554138272527214055849675634\ 769920000*m+2529245913010673808062094780542842640883702132097206425948675194627\ 869521290811343139957112832000000)*A(m)+275716983698*(m+11)*(m+10)*(m+9)*(m+8)* (m+7)*(m+6)*(m+5)*(m+4)*(m+3)*(m+2)*( 45121105987124639038007733080246762526191995926347776*m^53+ 19656882493445066495387843325626694417873741805129826304*m^52+ 4193128597458984778423285454392241943829123243411786170368*m^51+ 583737818985271434327756414540405916369882418735395694313472*m^50+ 59638701396083304941879614625472304128871435485549960065744896*m^49+ 4767744161040109943227285519880792215553908233456925918808211456*m^48+ 310533447620581772510793503551137132987107613061751311557898612736*m^47+ 16941368243320150546276887733163234342079156674604363801972783549952*m^46+ 789912743495189383155893686412205719632020681998032109954081904007744*m^45+ 31961101061551623867652847656731486466846200660355499349092709642640240*m^44+ 1135647962831934252122711804464236075119148354089483175290027785019690208*m^43+ 35774369775650995920597434855270980013420446569279166732617107430568839584*m^42 +1006842939386584434299111438747286997890539087205775973321921844454814518312*m ^41+ 25478782576084307026416532514705929877290099736525110345644625952531683886697*m ^40+ 582809829494184656447157842578553464983885223017090491030783603558462832651159* m^39+12104330876817409802603669964876380276935636276483751197108212589165976329\ 831608*m^38+2291148745194284359449386246382769066701430044896305989774783332011\ 53255456028106*m^37+39650319233274101201012346589561333350908426664649571343991\ 86785141562873054375673*m^36+62905959502066797294490803652424076330274271855855\ 222477065491001525228789351632187*m^35+9170182804016026583501819836730017342527\ 16545202153723094507642605589652746440310498*m^34+12306563236286029086712730887\ 478498974853050813588401282535400931454634684333687983864*m^33+1522860633883369\ 10421163013060245614089875132881235445506590435629010425899435456335378*m^32+17\ 3986285206739778479688090815416332403634689313026350070267193977537900441073674\ 8962046*m^31+183719149903365012182892078431074243568135520964197274919244957014\ 81813378991697798851624*m^30+17944290713235365426123957309233713876169206385125\ 8083678264614502267808393128280143759516*m^29+162210827268889977218812167473830\ 5812340251809234117970261059180841736393923637111524724074*m^28+135759490164975\ 56129452455996198103472674869649928685058572673083745064130931616860078945694*m ^27+105211058866548251175203237560823587403483803742400782939776945624135025521\ 152900112728610700*m^26+7549665614111219069916762869967528880977691791713548882\ 69063403154204389435791824162893073792*m^25+50148007305653808369019685408824955\ 25895442106108799649533493088849331488532812759802094146405*m^24+30819986826937\ 5515429428738738229116952086252151994821010256748629207413240666245816198418725\ 87*m^23+17513088965785166025398940764019485510233787306608760280446502421632265\ 5170021744329610481953616*m^22+919272215354350315464085527941616791550979251225\ 312068570726572243102496863775830214135799912618*m^21+4452155200786068414718912\ 190029690958837414329662528787545369626613634440639553792595444527856973*m^20+ 1986645138865392119357694808910168882088838892897777432235856859443416731568071\ 0907149871231052231*m^19+815355769811956542683476786568307751348573893669468024\ 87874713891974727953446485188688986062041602*m^18+30715896852148153567906439636\ 0172721701114279941257123105591684870715115911013175531106343340693264*m^17+105\ 9550319309084770939918791497550668000301096834973292933784863695085788749872309\ 039073746729339392*m^16+3337279242433666559226698858022449727923682356843209198\ 194504497400969221387975426600093375470045728*m^15+9566060067533962273652903899\ 243676730465625210739098740714483219216334966772521513471504837110736832*m^14+ 2485695114678516074698764669092704947330000063116835658936121215011396489221487\ 9629767911962747915520*m^13+582824366625586924089677925667867132047462967258172\ 05952161863222442935530534189210602897153673995008*m^12+12263985436850464706764\ 5839007807994060643541247716944286395415309120762914750549667479094757507428096 *m^11+2300882258298541135216566959483158203005502830848659790661503651130464156\ 14778401015491972989411029504*m^10+38185503054809268991482857129975776959331497\ 9734093000943806556518532024685452598758208660477073891328*m^9+5551901812281405\ 0044910637851828402798703614945087817928770868654438212514272584412536423342496\ 5550080*m^8+6986797700275314612674487858761164370943894482127876419830746083050\ 52744516228499821344114665916661760*m^7+749383512037514993043161141559608803906\ 124388402197753768097681606514758385577009697000666914817835008*m^6+67125557571\ 6328990801583662885125887082809100892834048657708663394704439506455787751411348\ 784180363264*m^5+48832129354825006744406223541732780502854733899116997885899154\ 7563544365650542802906277531254333112320*m^4+2770302319327432777441410834972261\ 58177434617853158978901876000019207558152733134911882533729940275200*m^3+114923\ 9371109440313882305196299434984286256880290139489015673888848175955266044145052\ 32937408004096000*m^2+309940734561989832586064608647152263145592315216920553317\ 31264109791640788177608198400824322293760000*m+40762213082415336528909048733792\ 62893316521522482575712805464797963390112389743945250175451136000000)*A(m+1)+ 10604499373*(m+11)*(m+10)*(m+9)*(m+8)*(m+7)*(m+6)*(m+5)*(m+4)*(m+3)*( 135363317961373917114023199240740287578575987779043328*m^54+ 59309055775238634278948587974981933972567665384837087232*m^53+ 12726769889438273538808376041260473627360064901559325032448*m^52+ 1782644248318690134204184817272300429710613377356425197912064*m^51+ 183290544474143142355092899526572468401650066446996980248641536*m^50+ 14750046405721120404988633439166708866088198424868635343235973120*m^49+ 967312131949808280618933504423255186990843003328192170768173735936*m^48+ 53149589226828649235986036614897696010189843262075680882257712246272*m^47+ 2496581130985744006025396302526494157921686921914310839351342604738496*m^46+ 101796408451353673612590176874027679431360648138413403169150888069115120*m^45+ 3646156015612538218234784536741153396930979410844003142091590067230916608*m^44+ 115821492158499939672740979045921042532928276617246821601816227426251801256*m^ 43+3288200092031948686888744408324714079617126150743107590561850095442520724372 *m^42+ 83968772176848892289444598918224444544420839657842798336042777753640202051239*m ^41+193901989825424914617622607373381985645393662753574767111556428668863682728\ 8724*m^40+406721700258775167660185663973326862803508462549554852771937810313152\ 79663458142*m^39+77787195069818242155069065880304817492131448908508299685341325\ 9472485700611254772*m^38+136084978673494265832631701064084071197531287315592598\ 43264113078531008273599705307*m^37+21836793804138532656151050705625045589245865\ 6604152673517436711509517433283101689220*m^36+322143523452814692840977245214794\ 6253869612662621658805769265521281158363313112206908*m^35+437764581465611739765\ 04502486460472256918851148777307189644827938215122182977708984616*m^34+54887511\ 4529472381615918461884575329650535842779493835168519208435767949697582175300926 *m^33+6358226584919780949046945873306059448301356937624813127890795095618088475\ 433861754151848*m^32+6812462939998064243032416447535770243140334741004858334307\ 5126772186686438714068300006916*m^31+675696097233679691622805248483410950866049\ 450042360222629647031513855988047777101069453704*m^30+6208050916524857377052585\ 948923609701904868232017974485559272333328000994245347621809382510*m^29+5285697\ 6747316543014885257689006012932506679821163697283078428119404568952233251520875\ 776552*m^28+4171494236238044865339030662473607055804781676597943976078473079840\ 21500922504610806088914216*m^27+30516646689731484826640568691484740226930336820\ 55446400341759213617214156488806506215731284996*m^26+20690282073887820712457666\ 000791172022788892662444636588275840571885366020388514193596890200539*m^25+1299\ 6408705535953652725703723304085847694337889787720364730970913149547339653682870\ 1640063952452*m^24+755897201927255936131159910553219423229556877267811297960515\ 866024117150769055141024968258289774*m^23+4067693475999123807889534644967836008\ 565909361083488792099483006880315502840658981101927504654148*m^22+2023237617143\ 0925589503229634736959913503622046784405235573354776607056496404241458604895259\ 331911*m^21+9290139803343527365214968543559938969411803782090191496175333021839\ 5367302056048290175497538886996*m^20+393210459152061564157305855867707193293501\ 537989416065857376146776729772555181738613126130538388388*m^19+1531375389654255\ 5890728979226743050295688622492141279186051684721966013645351672719819762654561\ 63008*m^18+54761975535615750644423729112835340605614403795457347869789817267920\ 68670683410587532786178439731648*m^17+17936856534907004039301044370223125110196\ 837788183522056439166428204122179449027308740701513815140480*m^16+5365748000102\ 7459698769940825173269625708061962910523193381232729745209862841733632697894372\ 095340672*m^15+1461050639759929505759079552129366179868675880900493236541149726\ 21262497840491540204372439267649074176*m^14+36068962651412168211193245774660476\ 0033131154552149497498258505752194035543849365285971636253329870592*m^13+803552\ 3557954936884490366841433770427374334879905641064630481291606760100592689001443\ 32007394819769344*m^12+16066215117502347804162565526997327947862980918832272630\ 65383007389099441143545733927782265191550899200*m^11+28640057574554485254019064\ 40265748359098007940943335221316873085113199491288007880461567602985368371200*m ^10+451589746132595639765378737090825185613669640883850888696808412255574035250\ 8521343154695530293818286080*m^9+6237307034558146243262614513366542515205049376\ 883876138863422113247531466254202850069771212106152804352*m^8+74552196862440562\ 0103341111240651853894627468313396589648757655534100489614845614274320408709505\ 4958592*m^7+7592791199616130053767608139174881817990630964912710641866141844635\ 776141274272892624594752172639387648*m^6+64558898396384808219790007693314062919\ 40037368643693104577257712570809211599746058489235097632978763776*m^5+445619321\ 5711706637208540081000107167176110467342262675533765864321477361776369776315492\ 363258602455040*m^4+23974675902140468053328802630578027926814603676829774311386\ 52529104167240499922305560390077259553177600*m^3+942607500128416631837134968542\ 696179694773960035356782111992512101267365935042440532434067939917824000*m^2+24\ 0747857627019966146450341631335853881377375579675879530181263022021278077935851\ 990872352410828800000*m+2995725447504624842074215522113340637209980639264336094\ 2319265573288679041867922036954549452800000000)*A(m+2)-3262922884*(m+11)*(m+10) *(m+9)*(m+8)*(m+7)*(m+6)*(m+5)*(m+4)*( 47467403498455120267984135200419594177553979714517860352*m^55+ 20963844804094940674755915989761800092668500257283684433920*m^54+ 4535678787069643734856054982855304912932200664376155040645120*m^53+ 640747773266260469961112683660471799708455598980419428605100032*m^52+ 66464650465548864590512973272433723420864611131674855458584625152*m^51+ 5397695029929360880826793682995952060933068366726879540199967465472*m^50+ 357345629106646264191588179412140184249697695740894664083142746703872*m^49+ 19827967511951787997813062934731575276459077715806115375994582449545728*m^48+ 940886906434689861947322940010142695820570550495646867583586432499481984*m^47+ 38770608405299248784038107503618154022709734752969244597683940257632954464*m^46 +1403968312742356308760345719380090464043396761697475965814045160786217313960*m ^45+ 45107183390292352324681722908605262490189039009937066157802808228044319767212*m ^44+129581101063964765523034053702019726933225733251914905274636269025036612443\ 3410*m^43+334989343202952323916852119949636693687668903896980310497162225673476\ 51353422211*m^42+78350071498767644015223809846963710303409900075892711933998692\ 7090065320865317341*m^41+166542381282688220012938174987211856409572586830855623\ 39071720887839665447919891964*m^40+32295745174538368383201326402897878674752176\ 7984682230565606270102752477345278292888*m^39+573206123325008965666173949423273\ 6203958256516321028194593832746861084688560953144355*m^38+933731370578510150074\ 98641897510823743934934388359299695276715236572999825622616839381*m^37+13992669\ 7367126037884519351826403175709154397431547041435809413027560278442896998807939\ 8*m^36+193291895287267462243487119649026081712393609924459285791059867383802334\ 49934596783977444*m^35+24654252473713231581295537270996676805324638765192610118\ 1928020044165280146065770401396886*m^34+290766578779291261563505292966589430752\ 5343621262145503042226574424417672992750653607156250*m^33+317447004547150818764\ 60253431884929867937515785731280755828966731771204540268351911297445248*m^32+32\ 1122881861989695425442422855903037882490192668569832409831723464786081593344908\ 987510946424*m^31+3011968039145800644597532698469952199028378746968982518471859\ 837557490320866989964072263502782*m^30+2620754626931277155404984951076090358889\ 5479044224017389480151337622618327220607177295232818746*m^29+211608386802559643\ 168579699943331717980838904240540266890379371168488670079966998671951063380496* m^28+15857027069983054342083725325352179082493917729422708832992219201916635420\ 08535987949047082033746*m^27+11027175830891352042904985086507280592739895131854\ 746677007480560801385879496541360683168843835447*m^26+7114609388562338400214597\ 0024919777501938961982801973168584355307398628400376545117857042769470921*m^25+ 4256872608800887482040707301212518961385132259862050254786044970213004315350016\ 45277275594161867348*m^24+23605168038411858662313537293082626111882750189015590\ 04823089317789082535704841871677228127569551200*m^23+12120927358522845343141091\ 484455748349270327271634091182256484110081603645768412664518136040284856479*m^ 22+5757292429930284828919011373853193122675156444562731492044456753791259199622\ 9206411683241071787379049*m^21+252635527978189872379069419836317124263285316557\ 097383908827612278244656873028400097487109332584627406*m^20+1022571079407804606\ 2256192698145955763823163498596775284107269236634224741549996993631901314388968\ 36952*m^19+38108522192308137448700558714052321842147014703618796411578563115350\ 42902597164339403421697055384942800*m^18+13048154547871060460469942066926824628\ 184253857797193311908539318175625034555224518770385912407388088864*m^17+4094365\ 6118211043715762831924560253598299103935920600138427541763849067671007328302146\ 276683467321256832*m^16+1173994621230225624189900976479704648711722189610078866\ 00245116061859798088083596746455063526489623416704*m^15+30655438178745173693046\ 1413704920732315059356965006752049591631895062428620397041948756264294582280717\ 824*m^14+7260723093340813341892207483054335698750728132018921012072490590584725\ 62430805648683120257921154121373440*m^13+15525639478824937927847835451122067438\ 75591019038187561604817739362758479411877297062619766101487565990400*m^12+29806\ 5402454958643363031721231775160341853497402527762424409535565813277061131367861\ 0441665749261960474624*m^11+510384333536573320257101274541919415696956306461672\ 2581371193711665516419359453463729630939846024126775296*m^10+773295820776728118\ 3967341930019791085121871452134306243477922738064517789186975908965549427150508\ 277194752*m^9+10266444528114854479745055126995563610345860369903460905435314938\ 115662165739893078330512765300308739424256*m^8+11798832202357351202492577608640\ 472538224194185437369087654830328947801179541722259875822387140837724651520*m^7 +115574366627058125868714798886962736116411248504338496494427620751483080224922\ 12254357693958463382780248064*m^6+945399746556748061799518060504569500248128435\ 1517317060390851755708034025960819293405318793276028948578304*m^5+6279611861371\ 6163161887581712252224108737356307912102079768312776915477389725020752748618540\ 07045841223680*m^4+325187295055780469151302456967566269743402333205263776865199\ 0412251009948102144019839661197733734750617600*m^3+1230889169159247377891016089\ 940430697654283640951546630938011595392021704084487050976107452062974869504000* m^2+302722972969025958018391006955403152848412542539066936878603731928071790824\ 513125068872108856385208320000*m+3627935502331234076784786715523547109932488504\ 1420564733058138949882535765383628973605507500186009600000)*A(m+3)-62748517*(m+ 11)*(m+10)*(m+9)*(m+8)*(m+7)*(m+6)*(m+5)*( 379874591305602336060987104802597493708010413703921926144*m^56+ 169479976921022839353310617558878413988013141601279187877888*m^55+ 37053279023387607866968572504706345250541146296425187242934272*m^54+ 5291130080760371603167080024758471800367716632586646978306113536*m^53+ 554977444416069592023350673780855652656908428487710514268395569152*m^52+ 45589949115891514279346229899950667698661347012332560819232849428480*m^51+ 3054114101666518161967774869313265715444741355035459372824004155047936*m^50+ 171545082924140307291033110383199917734897168909670929287525367029188096*m^49+ 8243581500865019891940983963878274057268812409776367538066841685203477440*m^48+ 344146280648127159827379069666717764384007044139725481211005843738126778224*m^ 47+ 12631419476786737099411763024489207986130574535074161414680156046936187011216*m ^46+ 411525634088122180693773547355572788711235027324251493289097057436866826601496* m^45+11993923558825672250865419984936480219694190925431461506563145699983693954\ 982212*m^44+3147327816277504362970358755710254006888891148928391805780997752180\ 21443958427507*m^43+74761212482344802794663849784301421378512223631597265167859\ 29999139383808877495159*m^42+16148593168833320102656736460614836939722309586182\ 1562840708688103867062828033190578*m^41+318411419708032016068460747331184576077\ 6954206718920443747122306999328698438219697202*m^40+574992743241453943470061898\ 73067670978472851050152305507076594780220645865592894248823*m^39+95361272864927\ 2168206289810868280408009320590549809486702942608568729508831051155767723*m^38+ 1455982982298311589537120104011938912392217978851823365003307310811217918970189\ 9764186880*m^37+205069079426977020704695634186122524841656126593978818674481059\ 356916479248083411790267060*m^36+2669033541788917241151825438616274497675103225\ 220902785838244829052787027910533850681363206*m^35+3214759558409922304350880178\ 1801956296599644498213051738853612457259995318192904829207042302*m^34+358762005\ 4325587471782896601591854166971433525706128491582552590441181974269313080066492\ 43244*m^33+37132345695926734100556659884194969144044052138152157171993277090681\ 94561432640617193078548204*m^32+35671375978893974497984345507673167727958394677\ 483876951997282180125777810260729949133438768070*m^31+3182417097500552952790925\ 84414714692676605228696488781828586475514627211076831756626126185400174*m^30+26\ 3773511014942295383006537431024392930463507973127142746712401230727628049458585\ 5707900442601600*m^29+203156585851086723196555382398870339274822283092589982420\ 80328707027086883832955325235657521215860*m^28+14540135167041865195528174176155\ 0283739286985652036077190641612367602530232234773057714492030524695*m^27+966896\ 1724569259106485269421827882751262641286799702084223545543633630069196234180310\ 02706334460139*m^26+59720634336476964512025343457190743481048343262061786196952\ 93992765028809874297884927428583947361202*m^25+34243881648075728224398977425113\ 300242581113939827430537262175817149792365700011017070729073610693938*m^24+1821\ 6081271415548853896555330529136467768073125397894137893310682024465247272957271\ 2374258260774627923*m^23+898160567243967520867180039614340912564385555746426175\ 011686587678300895987464336160963425914165992151*m^22+4100173720721906738665618\ 419405611420763513232154432624465718117460291100205504052406142283063214306712* m^21+17307047593830963990908647390266756968359254357118879006923624284568691781\ 578481153493667521799900319748*m^20+6744206715286137902249355812325360204783289\ 7737365982355733307614134574092944354692072097336590505630832*m^19+242169847833\ 0193041937730739664708781593129161017369376202057587813325622963837471972593747\ 70555279642912*m^18+79955632687929050404173147035087303601343509937477142817352\ 4005049516177720866243474338993827134314708480*m^17+242114976069607040095057753\ 1252743225621214054227591040679815684060482783702595249106171697803116045831296 *m^16+6704445675338791960840034275437205435240972974302714270041051800180279963\ 929967453332101386484085684301056*m^15+1691953231109891710946469632655977080555\ 8987438406802421954431344234179683687255346044387760702837062320896*m^14+387583\ 0752956583796542247613224965618377825475461612347983341734961630330326303563857\ 3643641699181242910720*m^13+802155364106128349013216121746037649853381175952792\ 16650135412197409473466017427489366450472442731348399104*m^12+14916496833697205\ 7994879998529329981540103791779223393885406117395088049437125051458363599639026\ 989891850240*m^11+2475858910249828765646155913565863311740005441682493916574799\ 66391375054011949148689954271938184060194734080*m^10+36390006223079524908436324\ 1925650641724359884790370377284669302265686151009975436002551792624043873938571\ 264*m^9+46903996434054672437758542641654444404053723913431077631863211749185582\ 0964523702923776384629782584582471680*m^8+5237715803437448146849427699293907386\ 62155495558751954212296596176633063118337679672563298126733348929273856*m^7+498\ 9487470204140038750985497293766117974525127300237935510097174943184650321105826\ 91226326326825085084631040*m^6+397286012622026367643712771907866372994718107513\ 676665802226374428538776632078207901487039666757907033096192*m^5+25712549462658\ 7962119331027563578722652001015092679619482469305614135007027171695630922276656\ 933050997800960*m^4+12987868727053898188952515342090330836096662928699120902308\ 0313894547251797115522137436960084245882286899200*m^3+4800952593563383168435464\ 6343148958934117647997548936254658644075792806456657972104453319871402889707520\ 000*m^2+11545832656066398089660899724164830682220503557046605487124219573401423\ 661190954165422383011530192977920000*m+1355021140451428953065326592680258206270\ 087578478941342876872919340313979342321706485672743449447628800000)*A(m+4)-\ 9653618*(m+11)*(m+10)*(m+9)*(m+8)*(m+7)*(m+6)*( 284939784308692095525018834401758305352902454274886205440*m^57+ 128692249495044668446774531951760708134519118767793032396800*m^56+ 28492358662696681834349598207820262889704077795584478285922304*m^55+ 4121643451763394449965093014573906310506695245333077593430556672*m^54+ 438102951323665813440152235240508148949347737801058805840994729984*m^53+ 36484968228900033705314898162604788612324113266064543764558804058112*m^52+ 2478826762091104428894307312810433505664810512585746922427947304198144*m^51+ 141264993518939883172086548690949064123915358402752524517183136823430656*m^50+ 6890561051631850932774819464136767726851275746726243351983923045456036544*m^49+ 292118635675854262385021346715667877346255301188857438361323152848820322512*m^ 48+ 10893054925016281288330115455256169042736316682264418216841448127819664507632*m ^47+ 360735420761312400167901453253948699185466606606238925533739593723535569052552* m^46+10692279682480438097912586036709702146823790619563411788267223444187704610\ 230124*m^45+2854968590650118160532578731752546206845576083916907465401410288073\ 89116633060357*m^44+69044690315555396971586548088997670747079267419089853262982\ 97931180246910727834183*m^43+15192853684062281830097763429994154056651015991051\ 0258473650488706930482759946868001*m^42+305360450912329661775143647041204923121\ 6066728306876602798191861415447633280966760427*m^41+562455732967397944411261040\ 42576891124758775877158169573626218178601593666207201376983*m^40+95213107698529\ 8077868544885389821173819095267225751164445514035545897585337983061880013*m^39+ 1484882994976615446077024319073473674378645964063047140712745646192389070342193\ 3192878551*m^38+213784735623691467141189140952250227259456183557883535256054156\ 350693736843797527437125185*m^37+2846548649744164150554059745666888501632030341\ 331469462821572124426846205764048315172507006*m^36+3510494112952688785821952949\ 7512516270826860532822891305727005940081267102106906252189047050*m^35+401485366\ 2980179608091511652231390393367104771732013617338896773180216446859607744906863\ 73626*m^34+42625609423515349895808732219444807177995404757839033864900864688562\ 78118120396885798190190094*m^33+42046469000331746883977110815794322855795592834\ 326408218154204137895750326282850523144535880894*m^32+3855867639279271025620894\ 45417024783649633007353396827149840300450285395148108916399950395815754*m^31+32\ 8886016719836724671043647377666743239360422323711380769559975389556604471610470\ 9564774509614518*m^30+260988327444099658186312841474030201286986327368946751324\ 60858049642993921921596514073246915427374*m^29+19270700698615688721389595510215\ 6340575330933954530015719872086282060322148854465472226191123541137*m^28+132388\ 6344927523516188148358006457908410657936171145078975254347849769865747852605810\ 172388978834315*m^27+8460271767560875450504788710341248111696934513825075317422\ 241300827661670300242724535846404043872389*m^26+5027227145755990885938575187834\ 7951791587417640151863629272195898621204691696920539578369360619758071*m^25+277\ 6117386800923612889561860477564088249340645203892215311784382302033787021195980\ 18515973608797646123*m^24+14235996549416065841442661944430507329327327082939319\ 82879501583398430505356894966203774335857344443177*m^23+67728389638580694515983\ 2227287703924297544343470621589951607844889717611604827458993421829799938319493\ 9*m^22+298599457512197914418280454601486778694511930017067423152744752904240822\ 73176720797622977196559796143253*m^21+12182824121769601659454646557123655659192\ 1069335436465776611990370245139867346197200817751123174224873692*m^20+459246584\ 9061043869225460183049882052480079943958403416894885362376979021249104979086730\ 92361010957327732*m^19+15964744908023092611036877124793768483688113414966254402\ 66236497442106239948356606070252858571317373175824*m^18+51067040766602599610991\ 9232842817331536006880735248106887142025940533737634369242108363302448414360515\ 6320*m^17+149924610605343248720001384804948872625505411480735216974123454768774\ 28931426041374684469157136791752594304*m^16+40278347406268737548567302208115302\ 005498127498158523912850875916051377024430933944666845187710592776425856*m^15+ 9868270500932465360646576352590388756815325788052770490020260687503494394052850\ 3230299191575112595171076352*m^14+219602341469768646684649191428688063438538211\ 621973223928902438596400577664973465712335690699435563079878912*m^13+4417892534\ 0337550311050037289976645252345823840746168984591876779096943092667420734201096\ 7885126579724770304*m^12+799029245753612817903019988738541158483085400112583467\ 170687777601818972325071546625282285018203449064645632*m^11+1290640396706737520\ 0596000080392752276278815535654248222155299826204362765658652075321647042859274\ 98576572416*m^10+18470506584939372669355019082488593688992646707178715444509853\ 16079653939390308921614357763397287188403535872*m^9+231924485946248962010496577\ 2866495096071751799724561116082154132843619654094786695805884777625018919656882\ 176*m^8+25242347549460921344371958364563245568487488536554176717380362223018816\ 34158587898836408714525656598690398208*m^7+234473033253189009514535487300104665\ 3261936534473164426224173626256216883748175774479843199896528362357653504*m^6+ 1821264781125948319310408818495099708849199614863387594097846830187661959294829\ 089092627048432449007019622400*m^5+11503104842878208544909263110875680983827654\ 16748220695933479555258330524689058130252019391524757065800089600*m^4+567226043\ 8283241153073346342617066937878277914300254233174191684088980267429831996496760\ 42674183570718720000*m^3+204748043874014136985665778533671530905544243688763519\ 568810919942346605409960594661452144694525616455680000*m^2+48093962607655277651\ 1138747147117223097522062480924838224922798664690934019330669812284558172112289\ 79200000*m+55137971672067459858686350408759553548236270394438673225028241921475\ 37027612705509491468001964195840000000)*A(m+5)+371293*(m+11)*(m+10)*(m+9)*(m+8) *(m+7)*(244689817560619471143637302161655742568750567652759156293632*m^58+ 112103949411119315567360811976247816088066221010508508480667648*m^57+ 25186097494244020472586295242137183528316527892687665820760801280*m^56+ 3698542592878346640661054186780450438704007365868419382501167988736*m^55+ 399239679427704871996304629839771458311647474010164991320492249546752*m^54+ 33778823632896130499784426409198217816609509591129046591641371246166016*m^53+ 2332555182701498996283289663862100651856328341239873856325910196909834240*m^52+ 135165076340683036946662011537060560236911097221990065236578640610775964160*m^ 51+6706947382634232307511086383412196071803256962892866184707611761712801078848 *m^50+ 289383487200122322637236560279225216671916420911263877755778681159652264346256* m^49+10988038970798165344413322177544715066982858120977923363601010181002144929\ 222784*m^48+3707111787164370174890716247309685772478776552510923763668056428369\ 95795336319544*m^47+11200129283885839588574430812738951570056966938291218285048\ 939711868736910010602292*m^46+3049993700690076822235173265236350582634445047946\ 70312652482413209517324858198008077*m^45+75270024111180950128751807759845606071\ 41534772694589214183124162170742855805668248634*m^44+16911629642722961883161371\ 9875688661348803867976986264820789641587329028017887475305357*m^43+347284196273\ 2489317471725392935586167878419963726495954447174756633338705331230134041378*m^ 42+6539897117190464218610875651893940066032960759552910099995320306612342535304\ 8004750010159*m^41+113262759080963869699104806481572663559575869570906916653196\ 8184593332361622672980174151566*m^40+180843202195701407587066394883721584152662\ 76640696440853523149007497096077856957280482896843*m^39+26676768950312284485280\ 9024473865752357816595166175907665012695487702245142779735535228316722*m^38+364\ 2211796107235458124529539875455574190048232305582867446894073036432525565013913\ 590329359262*m^37+4609630291747531660798671384505142263676372808730384669192715\ 7041939886377280197562180219989388*m^36+541500917218113668687308118347201687579\ 104176407422260141496039682898700443723435529919595665378*m^35+5910617145680351\ 0931152125175554064276743859093724761857683013383523067572265494505226708034032\ 52*m^34+59999572613458872975595247646237035459458689761513375382027929880560795\ 930881952507532526985609134*m^33+5668201801902786122974280479251589263770634812\ 71871518270024354480941619473920963314243036539316892*m^32+49859517220257065512\ 3030866408971083444133586743384363040234648827168083585237618997133645404184539\ 0*m^31+408514439648960392001036101458544959995439146571909642644595913041423646\ 46103638420622412592316624344*m^30+31181991030319739876206377159664782590355556\ 0234521405175600338896336321093502121208228620181949745753*m^29+221742427658584\ 2046451556914255674539651963847095488370045389356657806552219745315804454375509\ 683322482*m^28+1468875761825747488068527913425354360565032922691818897979251764\ 1741927982625836765556116401537780161857*m^27+906121112032859887405526560078301\ 77482784117260283113735397406154110787457330838678994297108009134482826*m^26+52\ 0301758881774198759656754313380608763510253503928425730675343157038257142811431\ 847551790199043039163683*m^25+2779213916370981570302189574895411467540516446755\ 520637098657633965517110036852696379409189360201582592886*m^24+1379873604543048\ 2583355360017238637629489515901091775798009604903888779236832316796918296167961\ 104570733183*m^23+6361780859771605119242827424813869528396362163137047365299751\ 9233365499203090781790751521456592940064511842*m^22+272034348470059244430142918\ 7448309518713160823972982592503472039942057586212681191018394147000656856480962\ 36*m^21+10773634573180424874089361867891328382157129158939224399077274013632660\ 96193286588654068067178668490618518184*m^20+39452664763648802471003403534680689\ 63787547233827558299346649747420337674497931975902767923812458100093655872*m^19 +133330698239695759959792484590592777621144973050257619784731811051313913759223\ 40181706788758989882035229278336*m^18+41491039015031396531031758544292602425981\ 803998193026124556111092693907154276540822817255190804654679748245120*m^17+1185\ 8415625447166318641222650935948067737315439913650977908222948082071145401709661\ 5535218389707567494059101952*m^16+310347300768590953175764640725742352501190121\ 623399571904303756510428418959308142336981512867717925550504527616*m^15+7411582\ 5318676986076069363799442225769963826866483339106167183282600654369608828814442\ 6452197547448018005725696*m^14+160864629114014472646117845268341039655262022431\ 5991511836145768962577517013104602700029152981619728191238446080*m^13+315821884\ 2561347962148224805005615347261773863851685653540733908139372012529584360982912\ 260826963091934482843648*m^12+5577417180652977642695786049168853912455902175484\ 298875138051158866629102379605677204177486820174185143593820160*m^11+8801353936\ 2515518774993652719190286730547997899547517972957521050371196571882527298612269\ 25436568209817782468608*m^10+12311699156258815175031795512593160168941606650922\ 147655184321189209192977015198890146891994981114344552859303936*m^9+15117950639\ 0465010742912120872177488784065665295232629965067504765410151791005302524515574\ 33513852843039950372864*m^8+160985403196618317717958225149068408226616846573584\ 67146540610059613878508758347083272274720960188064727804411904*m^7+146370842671\ 5673489280614314820885701744929728314514094825722234912878244842158702096755517\ 2816331408493061865472*m^6+1113333481003402918945986546097423235706892961944520\ 4381215840491505118992136613415009810497884162133846539632640*m^5+6888653142854\ 4825944467162568300073457206172606844057714822286565064069823061073963756417029\ 85338562274341683200*m^4+332896842783638782586331287750747999534933012992925517\ 4937717389618480455829511268556372272963979585681096704000*m^3+1178053403467362\ 0116237885119297050421505301869779767163927275710599304992932687848004293537405\ 48009896181760000*m^2+271377904650381166434996403358853532994708221525963237233\ 944366377106406864341371525750304934416899846963200000*m+3052172658326287093351\ 7210374029334935588870931579406683851391304248279944776571117057728653440822804\ 480000000)*A(m+6)+114244*(m+11)*(m+10)*(m+9)*(m+8)*( 122487378672464081619581160498028750437051735053517021249536*m^59+ 57035902224649663979361108269046809740870655010515921796071424*m^58+ 13028575516265123167443839545532737888974363317301859096902762496*m^57+ 1945975137985884113103915844270590301125023889975342343216314580992*m^56+ 213736382437749188594724949289142116076874910187415014602318588280832*m^55+ 18407748229026281158044840757778530406206507321241897336826585805062144*m^54+ 1294430888042108787365945318258828309221920930450286179015427441252956160*m^53+ 76416664303744988025516514408818446304215857803931400242766825961885808128*m^52 +3864717519906291531698607318352937379789571227831927174853672472423735962624*m ^51+ 170033962151031406380264207642452388048836168530395882299203206770729597746496* m^50+65865586317996245799378913627204568447563984919268384564421490580394305124\ 16744*m^49+22681192081065782859437938492795317901588628150249481163384389262121\ 7732367839772*m^48+699791917804064311164724803072385980756214638607907116073950\ 5882365412789288468122*m^47+194712303692606068148587303062648042747090508405962\ 717701422362809130015476809890161*m^46+4912555999375819539878004101223170724305\ 588916196589676777103341129434318045404919395*m^45+1129053553116424537506379359\ 33928459887574192721805334300916484947397981230317341515789*m^44+23731281368252\ 67700111093524388169545521348905901977298071220485547108699603334718866643*m^43 +457708738961083027722036791038937818873613090100975965740611170551047970683618\ 55845850723*m^42+81240942087403959576255672652185828991878419140522929310414212\ 9319217329733922787344232945*m^41+133033244037981720154814648224016096237370354\ 79684373114697705830722938140973318733065432599*m^40+20140778975217379424980325\ 3048260512779266638697961209313754954602940985884895897267069557359*m^39+282438\ 1865082808335391251176526297469200354469312474710058226005957543318161162077181\ 266668598*m^38+3674397034773489092941925020503392545763374873485685356857429865\ 6962428520519993578518667368402*m^37+444063720541318784328046323710229287693320\ 078552666617521526728863919476706768960210980451397202*m^36+4991011570629595887\ 963031941550178358541125355117022845217395520747543251859182887435833746391838* m^35+52217720779211871902016955704306170214165741372311170193506748114053028369\ 169374050585499507817638*m^34+5089276470081215230008968279645271902422895241691\ 66087569646586882175791638523093815905381541837418*m^33+46232930354164073426084\ 29520598295483001473849832797263666142307539124020405111998721561390205605930*m ^32+391635391005696452439454908231232073658341355547792119765423979929268856609\ 29351382920330050644369464*m^31+30942656125531674284115626225049342539498400127\ 0070078524905565320145930631114737737276822611374136717*m^30+228045901600665082\ 4903176679736990488439210980599914931535969114700173212718520082609560669565042\ 215895*m^29+1567669550821049195706316292829821326150410181402615424133664611316\ 7848856485876962954505738555085905441*m^28+100500339747231192779420478756596904\ 722804931422463356965983783716260769138252688855205713414712622967503*m^27+6006\ 3162502360449467194169452734176811596663201342082073401088341602961759393664659\ 5782107792351138174919*m^26+334468578054008803455925348398432771690555565810164\ 1619395792540102048251733444098933517721833126679017645*m^25+173427052240425715\ 7740022634626365415297516043012533794854129053382147515930254963221393803904341\ 5108892531*m^24+836615609726035674846060426442422459230997281773792593394238440\ 26536470868401293226219630688408384757215727*m^23+37509057510429282971507313856\ 0506427461175889082495950420932036896697015241864057661966868628803092068140732 *m^22+1561042424712123371679580335656967038498072686451934796612079088231245528\ 512468508242887091171790789307010500*m^21+6021916113966736722096277085760360017\ 591503127674599308753450631078798219038802927341678439681566315982329776*m^20+ 2149636125242912755025087101428703120456865113416671078704849615892227828733061\ 2979793709179753846871152048400*m^19+708692018320886364706437458039648014333622\ 51349484825309689164268072778313124352208459182791563094978237029888*m^18+21529\ 4191711569024933472697218044113046193432603757737295848922548990064480963253120\ 811646011070759419094702912*m^17+6011149008096616959262594813421228956731642631\ 38090746915045944258620543437442754040269045706851709683409414656*m^16+15378901\ 5842869558208250001284423081591430550342487723264143784880010813494894528197138\ 6755458747937542491429120*m^15+359270107863151572735363037911782510933868834914\ 1436228278785617358400940352585919495500715093309920717985481728*m^14+763279156\ 8713820570814655098287665648942873473978957548320770722119451675601099659740914\ 149935394729902705851392*m^13+1467751056966358803312500306525405667986749310876\ 3625348135401066973835404876510315107353045164332038028296998912*m^12+254039412\ 8504844221256239166310915231415261292789896026202872792628197673684549209839513\ 4746083996010525148065792*m^11+393135845159555953253296685933331514331666962414\ 07324678318056523691527615666965074584867637232843480253143252992*m^10+53963721\ 3292755725614589105864196040100913230757436422541582872035324388766794815530205\ 87703838446108464376692736*m^9+650627711468485004511456577421050201505210444005\ 40852707429376695397896307445091409725649083923505792549258985472*m^8+680687441\ 7441648717518603385701230176112085312450341332218660748778640994777093505396924\ 5720127578777800221655040*m^7+6084231618634139451560209468433933670538792877488\ 5772798374877844694465379563151718817881618276922390327160995840*m^6+4552384555\ 6881675084672066422973720035475310508855668677360807850850418511144772171481783\ 922094359487135990415360*m^5+27726139915412062882719605580918934780757680403222\ 147176065123174345842334062251180493119364987046747997785292800*m^4+13197567073\ 4498090191632838830262143169131567170080846579504573959502547175221449094163005\ 38769289831851753472000*m^3+460338866778244026368015666164243847424529086583433\ 5748609323940855822261115901202007196714836397861298503680000*m^2+1045996249530\ 9203397126405929217940794198655094348413345642027206093362945208683236914042024\ 73831014177177600000*m+11612925614388423362579649789026139323606887601668739275\ 3357486337166515276681145874746545516934290472960000000)*A(m+7)-2197*(m+11)*(m+ 10)*(m+9)*(1667399439783319597682823789234405350067008086310789362745344*m^60+ 790592739042820150477640182333257814398717324529556519696465920*m^59+ 183956673000510858646779771567411854985316323430782563675818426368*m^58+ 27998366533119753759006336165990183148868594164024609394805051097088*m^57+ 3134861556690099265794476612885554180325637269045296526163599391162368*m^56+ 275332874378329067685026740249612840627737700636047712596774391263428608*m^55+ 19752965510135861739832663633731046435418123001826714834757816475941003264*m^54 +1190205480939035683060025103930423070055919526353027886624590950972557816320*m ^53+ 61464255903098998248950052198814849146342503589511480869028712905912620450880*m ^52+276254040530299347079295291115266621996166285431537570435444933205074341306\ 8688*m^51+109371355603633911486405914493408765776396863045507010432607541719535\ 754229373040*m^50+3851183788503802364830128910860727676797476948089674230597090\ 645795535678458513096*m^49+1215624973851073445963180288792847657327932007761568\ 41421271077587956059120890265796*m^48+34622114355454020201523964321361161217341\ 44757348150418266340346882846316793955414769*m^47+89460862170590326766448659126\ 808666260215877456660717144963142898517031965349119209971*m^46+2106932404233329\ 121963484143821827666728065955055372802615456209542175429344215851631899*m^45+ 4540699000775514152303729005341415415826743596097352215189046264929324945820585\ 6096284603*m^44+898507412982390129010642744982861766931765165243958757194630426\ 406083147456618341542055773*m^43+1637250121635799424209925178926581883448436975\ 5249581984476779124150704832965723911413995689*m^42+275420691683685790780026341\ 110681413324706095006937952602563842003361279620686065733176836901*m^41+4286575\ 5828616738915119043566705099369370012075599123240644508304971378469789576663684\ 85786361*m^40+61840189149067870591413774671001278402842227955070142084667171492\ 356930859954814904851259811236*m^39+8282793217785268878615808611725210778382358\ 68366831848081371452332157770693277370711534834220058*m^38+10313961992509787965\ 293289359642488941925938636022453223218259552399591662676932604477835491337462* m^37+11954232997362873464586138052212371015559006719435811420291070691903488518\ 0191933151018440514876846*m^36+129088049117323926353925923048893071659529094969\ 4878957237703055474186349897261106572458392457366362*m^35+129975495255464739149\ 7546008399832652923183614557284840044202429670286212475171970592557070617191744\ 2*m^34+122100797118534047196579501848901391042713573281856649695470355900250590\ 634219760050483570268701944338*m^33+1070678204002922513643586004662796008025171\ 556763715583672291543408338802118190703912645528921447343990*m^32+8766355715861\ 4333169315463497039828737065739312467473773188064647016267329953204070117637032\ 31262700361*m^31+67030346976636996602541104798693344155626625504625130334878499\ 041057810630181669977281555639871094583895*m^30+4786589800418537693643049876827\ 08049267046633038095701227080087281388576233266130184043222445822719403927*m^29 +319176798697939422746239901843995064510428476507714868748837425663363561834741\ 0226385014671447709242192839*m^28+198688259274672807456806420910385585038099371\ 37432511722090666641307319668115341147758885769608708770952873*m^27+11541718602\ 5836987220123654730767799703557805951284819722331304384541648281705657354531486\ 659413678003510485*m^26+6252904609615120945503313023289416951733561319495858669\ 28079307090642679488110960752503930363364011532212721*m^25+31571328217567409858\ 4003266172475744653165572484863541716076217771834607135230301543829705168908905\ 5737200317*m^24+148428492853900055427226068486343227361296098883684404849296929\ 83961219896197980626145814700742846141231782642*m^23+64906838753220513631641920\ 3955998798361317550579921856973282328283207767842964889485734802136521088697902\ 73196*m^22+26367133382502379828497589943635272745831447030925538549019044226818\ 0634498864104255336658780762062990084147304*m^21+993555439000783865597146806831\ 3223385843927835546330294556825587272007978528825384304505695583833503730237224\ 00*m^20+34668274611706439939505977625774786659769515009760874542232720263062600\ 35489627217717891808606301084967625745984*m^19+11179480993768340965513577667830\ 8698894360603170647870406176751557006468685020460887668620001182475196456780714\ 24*m^18+33240475568881778597569875200712240227911031922473856383978100754734027\ 539197589009718573132723987525394440655360*m^17+9089184218234443383076740034706\ 1110454906691752772556089600632909966282627115433350409051759827721708219065774\ 336*m^16+2278637009400246382946356189407368502737035270511529300346722257006982\ 06755904587411368651727441020601205467527680*m^15+52190556816963035556222883549\ 7469646564290637057943382928130541941605776190315985593097024613787333510243823\ 852544*m^14+1087684356243969513030984777294998265284310294408939209078868132829\ 136548297615467297481189327904863083248762529792*m^13+2052756223489865194796687\ 7672448928080395910331879297002140102312796361672838371680325285186821986990023\ 64711567360*m^12+34886532168751876106517080751235921984904009787269076673267831\ 71412116459652784516556486220959382955277090975645696*m^11+53035499452722903327\ 5966217395199238897333225789473038043882640891425112509640894457785912351861409\ 2080116446003200*m^10+715447966859460418052461276936959693932496523369237861482\ 5393991202769268083569714684375916196323406303893529034752*m^9+8480757390344482\ 3231892435732706931005638405377264169292361034681085645110730912808179817319216\ 27995909114335068160*m^8+872645833862635241426090526864242863737533573230601454\ 3423836421263686637548030671733121152742179834134765301137408*m^7+7674221922216\ 7499498370901077241027639388896839768278160643167506488862394610571619112382252\ 95359455596326288359424*m^6+565123023226426995019077300806307079155102892250308\ 1089721156926577031283729999057339260421001726766249537479639040*m^5+3388377874\ 6217632419034221513576280589736238425484915211897296442246190131172945628899671\ 43394431871161234515558400*m^4+158818795090377487119136793444078517767213342388\ 9657030092895522987453724847234973770031234998345879491650256896000*m^3+5456081\ 4311017379747758867465779542031962327928853374965876932824572382839964413819838\ 2163663789137421611827200000*m^2+1221231443131543981389342997903643665002931692\ 65707187228712765877868826312215692733333091677589054740968243200000*m+13357350\ 7570887090920975727536240480589129128935178786977656016670835674624508780678755\ 51944699074041610240000000)*A(m+8)-338*(m+11)*(m+10)*( 50955277219079577376399312267618333667701265597655439477047296*m^61+ 24644376033378489030921678706581447266988664613004603130188398592*m^60+ 5851166661902801804276186311050417272990278979335996706932773617664*m^59+ 909017893137401217957361726007353833056742341840299716245539141058560*m^58+ 103926550108638600412518166919262540653894792802312085431597444333338624*m^57+ 9323847191947420881239212683731770267072147507737541993063182249015918592*m^56+ 683540158675178799614180567352895567186374417085858142887244618073612718080*m^ 55+ 42103627051786959613201207833491295368942257626954724649877141404253870989824*m ^54+222363230306105751796025590944683488652137490116534957194922236065643069230\ 8672*m^53+102252702734128347564929812616861673943988871040364921267167595194466\ 032983396688*m^52+4143668637217961342101239505905721931498160496328015658695568\ 946985306965768341504*m^51+1494125868699346014274110362444506103874000791763461\ 73650184603313944175307586318512*m^50+48317840777814164728878937568927931674519\ 30813618036757331439928448578477026251251952*m^49+14105469059848303079563387007\ 2918803150280083833030547119500673218406420976509899503015*m^48+373776715047810\ 1430837513160689031078375311061853865994272791952764819659221338326914141*m^47+ 9032391799482922739526520356322394252827688053322923455241862764518642496282459\ 4872285474*m^46+199841107192051140017489787398937460941176476527095023511161103\ 5413324591319107134454515532*m^45+406200485346166523348097912978542428765313649\ 60347315818637575288804216442803437241554889874*m^44+76075987908484808851512009\ 1872602318468973667836196050100940269917172531773352663593141617142*m^43+131616\ 7641881983349150904466782201396431758534899163019505427102385504594176869411741\ 7729212996*m^42+210808160122851508530266145102129366755073419868290117122903738\ 744109861265661596201169343365256*m^41+3131865038302362238210150912294375283044\ 387090359638766098657989483254855138591399322607817043661*m^40+4322859368205305\ 3875652668995187413483798180448001498242010004237182149734508883663347455176617\ 703*m^39+5551411704591271167733586446559168861084381676028509040635393231623995\ 88212439199226430384560953990*m^38+66408057403849003347178706239855541985477051\ 90152055184707599757980623608948652716555922519105025884*m^37+74073186570383502\ 6609007573777595032099004042574010083567469891268598735580770231779543532341798\ 00452*m^36+77105590670781070860725042825939856771539101484713145797865481158646\ 2209279424262909282439563971654148*m^35+749524843486736429250908694327700670136\ 9018820702165435126553240002692923279272019603895986633143863176*m^34+680746564\ 5384652087224621572496019547559505799313345665805645806237520015803232796782460\ 9928158222733760*m^33+577889016018661189278926806452224647908415749144374772799\ 771602442301069826137272965110022587312693817841*m^32+4586294015881122022968948\ 7182756936019622083262278670423004986869995560125015320183575153603086603490012\ 75*m^31+34031164604791539937732109031552568936627004324643761335767962679430675\ 201954342313893046002379240575039854*m^30+2360853097414544906616741917285902743\ 05129709236269997582256916353211235949833125636330083370656829293967780*m^29+15\ 3094238540410959806406074217802573232502746441134651595965799275178722446345338\ 9890028075337466042490835218*m^28+927698599075210900425520015182920536244790710\ 9043816752677817369046348585736810418413537091457631349870657574*m^27+525063661\ 3044922116135762723126632020852748469491165360396002557659144009200889514716442\ 6840507611234061952324*m^26+277401564680784528024790058156281010427235143609005\ 837753266271917951741128173184686427414625982595939113763208*m^25+1366990180548\ 2421269771754456209502251654224569408733790652435878296843899101909593697383883\ 31376275988209858171*m^24+62773686725996907924257991521949652998346420443112182\ 65444285937871285863578943361384885567152185242587302022433*m^23+26832738106285\ 7533125347241064168104966843719747151331342028051301648623967720535843451604177\ 55106442073272873834*m^22+10662603287943781207198561606457149943394697499461988\ 1005932428340772796142465390643440823232925547194459260378548*m^21+393293067773\ 6975621253359821293796106858724435590086358911213720030146758753366629758768168\ 75376206704084808103592*m^20+13442059007576569056508083583213980788073270278113\ 43534467278240313461827060115053412574876388139346371176471163968*m^19+42485288\ 2775843997965679533964539107099740324206545859325447078153978684973251085878602\ 1076558854073561128835257280*m^18+123888447970018919209433970041704345975029881\ 59674304994379607747544939670398579654291307252661722458645513373479552*m^17+33\ 2421094855800017624117122012589638069523525130651125941018635652479788192968664\ 44710586084588834619286818107723776*m^16+81824471557069807086142107907470735878\ 642155143765058261245948747515601930276257796645898131898246403910180999182592* m^15+18411122061563355007699129802701538176900464108934335885336526722431454209\ 4114633076593483719068372095200310815777280*m^14+377137355717574582725201184588\ 9302512799966996314212938052703545092965118987486947710957255640822340050610325\ 06713088*m^13+69994395959461722560583420021792877062436986211903137558029162965\ 4385168570411384408558490661571452347424406216124416*m^12+117038072193994760666\ 4479731558555824335410161519332840563410716888847010167158046399019108213111105\ 260721420636594176*m^11+1751409166935811385859579863326041857991495658314928130\ 467272133648087411950905695707223701246281787472302998287908864*m^10+2326768226\ 2083724322327819067319204902935603124076186625352142815534101251489165919648663\ 37126631921042832395047272448*m^9+271744776523696684016555217152377488046171274\ 4056610994992918849632024042311555469339475306965502786935733315632627712*m^8+ 2756187599077106971328177131374546249815462555836632213136208952516013350275320\ 535697461819109353177794125204396441600*m^7+23902192868847060193043506025245468\ 0273247319437565170768246169784967809727732408775378880567310497647756589256618\ 8032*m^6+1736455506036910492448787551763544359093967977804306319363791604311461\ 496147374962391535288534823282895583401371238400*m^5+10275689897222876072263876\ 7117617952894044662122713820508917162683641914085667246540927004425200773475950\ 5189561958400*m^4+4755517506271912165560968971209726160999544039457336092096120\ 15671412282452900038608825589991770317982236154003456000*m^3+161372357154838230\ 7830219534691907889596005144420012504456787645439476263014113533851179819717780\ 60183495057080320000*m^2+356921102760601654038683578937565803045478355242445121\ 50684111563702993144800549707872933453165093170533996953600000*m+38591563627215\ 2429186662553374140933924555348430966380000045993029383546884498727237077647813\ 7779873686487040000000)*A(m+9)-13*(m+11)*( 202153709436534989907914425281238929320738054304310968545443840*m^62+ 99893685048876811831064189283447813160598054120864168671838208000*m^61+ 24239767087247124913388733706516950691183707685415833364008004485120*m^60+ 3850050822012183878297075253074162852375977506772177898895700147961856*m^59+ 450168687408614937248878031415312498954460631705029970813310914698575872*m^58+ 41319015717328189755467226400055205831806364965953082932216160965208965120*m^57 +3100138305613900311075129377908088933789727579031200072283483785835577131008*m ^56+ 195505979102862285073195161770718622532525091915603915625200757493274435440128* m^55+10575324132528519655096979989950663945770444400380749726058941233586912935\ 971520*m^54+4982738087198688679329861601390585032442374730840114963922564409665\ 84389616102064*m^53+20697563068034161441023824780646262357771970655542211684436\ 567826252221973226355680*m^52+7653270283861014822644674543663307903880353391355\ 11505114017413651587034625965396600*m^51+25391275436014247561767478678325101504\ 787542628009760158363363843035586664759705336588*m^50+7608170748798615248892701\ 78522813393590459399587819463673112386604269568270807906794847*m^49+20702692311\ 883239431220499634229467495362139770251999995218001019053606773274159362295132* m^48+51398848968700040262587448667853347156437896596674581399373604021105347032\ 1159893094464008*m^47+116894534364234029385312425824128279485467515223897004814\ 85051755941201192457317703045657540*m^46+24436576966054000797833460199324614195\ 4045960151488353334406133069565112603231700339677818610*m^45+470955185510309778\ 0388531080363402484324080065548185671346767595040241161857327448002073730180*m^ 44+8389326327061672322597576256806917627743755092504340429338858344368354288286\ 4745076792908560656*m^43+138436339973031098256430369462882762745986399381139234\ 7230985345808447499772844770114287670305688*m^42+212025119299355620632867880867\ 05110411796425339470200517140892223137630763156209790586340648036669*m^41+30190\ 0942197906417568378596123463543542654248365104592550130083159362644097278974456\ 540598256312664*m^40+4002276169428013278869099173742585412586646458014184833320\ 580145950742044927704608529145107429691864*m^39+4945959358550471260691272908310\ 4013368989283402633357133500638645363172664717531603831334027866193144*m^38+570\ 3595622946100991447598945341568479305030946654606862123094143629150271617146868\ 69611119293834957260*m^37+61429991123710559990390578208430050115679642454473508\ 00105984268218686829032710692741357026439520325544*m^36+61837946352917272470452\ 1518775966138520047966726857366113707891509828971674321845492532186421750762665\ 52*m^35+58212557660736834765574592264585124893252393371579765617335925553621295\ 1650799149584177641246192858707580*m^34+512681443781140420813422113204619155250\ 0526437341819747815985288198085934452626756895798939104442491256265*m^33+422542\ 8067836962533742879229859471302702671811962382871586863415998246135843606007599\ 7184818996677660640588*m^32+325950205780728856095825249183222636750530855713828\ 569175495274642188370562108330959473982052626094871378392*m^31+2353411097641734\ 5562617026893587893312948668610842314121782747926716574207707527865579939373809\ 60825383713108*m^30+15902393812888153691021083648884727367183543254228571737938\ 207462716215658138809187104228956355242259746315074*m^29+1005404442080285977442\ 4647839911237150301833280050246531501520342428031255701764129408723028087735559\ 7052036084*m^28+594525202709716781289003920750240894493252109425249294852278231\ 224425258791517040272248032692492738684392580352*m^27+3286463962703081706002741\ 5176855779333189768575333250070763378282736124390306075483512511605390202115546\ 00596000*m^26+16971974736245575245367011164316755167209822693542385017360436622\ 969842195060178713621786020942246046732267918075*m^25+8181461865868811004912953\ 7334686008065165727804256570660124694613419055074227604167343347803550215912289\ 017423680*m^24+3677939484146002595397428476110076658834498901117387424401391622\ 74605193688432568136877202773859576420296757282824*m^23+15401319439337476617669\ 0874842406306443687567851341617676114251030682206307358897519829793594968334660\ 2040543623152*m^22+599947291372350223402130405295102423316387252402243406896033\ 5443347338069922139238845949755181637528646836049340656*m^21+217070784498982751\ 9847716495869222364064534221014156126332275035751412823988805595849105235574082\ 3188130132032641216*m^20+728203626205527934056457992314350196069774520000848947\ 43969395241071484564270060422035924309136892219305825509769600*m^19+22603909728\ 3008467055733594726121471931220647758863328556725936888484519194889333812254266\ 012517591408231957900872704*m^18+6477089108958908766679667967110823308527089351\ 52869529298972822768890145437319458269624557418015890179868721449365760*m^17+17\ 0875063763926056990036986016274427765817160551184112134540035091453654331135525\ 0763936803657142003219546158163621888*m^16+413754726112542104563879658263663301\ 0240875171315862937097296159092418963025411614105746360116123803404082489484154\ 880*m^15+9162848991782093076003843603359033367211134033061368177598951947168128\ 148451057812522028345560909603248497624031784960*m^14+1848221987170312539220829\ 1290634429616843956174418720797665171047906728672599440765202623610219267969715\ 708889592549376*m^13+3379321421561733736373479954768600428877142233250292495792\ 9074606271335728722444877867087588667415338474126007571955712*m^12+556937591983\ 2868209494464933814321047900922426051659976051885751600112527147302742159115605\ 7669541169614224489731883008*m^11+821819358404648071868725079964061221631689394\ 04772898375507761395449898016007233372651946710176575967293806379113775104*m^10 +107706724023807922793088846125437785864885738074668666696934596814447720177170\ 267531757497521202670255498139584127565824*m^9+12414789004280308671295008066776\ 0976447682307703103295145383207873275679622316873565487206296131419303067985949\ 705109504*m^8+12432527074973949752681547041685007191629873745235174323561406786\ 3847377533003860064523628444675757894213261122108129280*m^7+1064981701277219892\ 1481874650024635040163326879105415253865041365540938298144312932592883030277211\ 8526534425670529843200*m^6+7645413474937729368179880301678005468895328551591690\ 3924092315500836733999636685100478712539274980410894990627464806400*m^5+4472589\ 5723358527729139186204104016480454376767044228636235550084765549331644481697829\ 540855067903930558185195175936000*m^4+20470757535574185988980555587398990132081\ 856669385495548010811423342147869002597271440861978091199367816642864087040000* m^3+687275966881489060504178775418391318281054591163159539959648981637606731355\ 6191834790300031254771874773859932569600000*m^2+1504594755338517756334249167674\ 9697924502345453886406406663402137432167403584927339704580219758239125995310284\ 80000000*m+16108954314804710910736014031645807616098975959886971674317987945521\ 2753926467058906012043357877118058260070400000000)*A(m+10)-8*(4*m+43)*(2*m+21)* (4*m+41)*(7039473377988815945407542634066436970659951034073812930920448*m^60+ 3337746437078337905519689077916452944995953125090352137518448640*m^59+ 776625071754838869111056175509879313148284981806079531227762655232*m^58+ 118200501719147533746343051050579918457683135298507077439152482549760*m^57+ 13234004067965897603545536397453052325240598552136162028040245896118272*m^56+ 1162285525590815754155885297303901420426820183929715449155857420559319040*m^55+ 83380520621223875309975927382996651339825959546387218279360082881645395968*m^54 +5023744402961917389669732586832635647968676169816807384169711003638378177024*m ^53+ 259416352615032086615638061231508084160725488599032929543582358067622758351680* m^52+11658653943485278395454383977577358681731868551680676192925790819152225425\ 991120*m^51+4615347694709532752417037429141981201859640811166089001111300573169\ 88415946383712*m^50+16249957010374349981485272160207511754787126616903449690236\ 034688093953842949745640*m^49+5128742530670381626464251544692894390628416448316\ 26511821726381967931535572616912532*m^48+14605432951974008377274263258361775604\ 435328137849981746755474580578286078785244454073*m^47+3773460688416867050274176\ 62594185938684474067005871183348993988954130903280634292914728*m^46+88858642837\ 74310604726424214511451913336043882244430506163625388608717550344889600901858*m ^45+191474355359659584791660994330790205740330204618027554543856773218993834761\ 967951814024374*m^44+3788305443240926416358089391825513131633523700793584625053\ 872377634299240458765308870853996*m^43+6901928496647440575640413889701516594793\ 6479854113799007070803408342864136178475039795887854*m^42+116086270320901732295\ 5782053019566394444151095502252935717611851969212369068678263288286419394*m^41+ 1806427379785862763677370706631069276961001046633765754154952695622389534722615\ 1051685541917542*m^40+260557458418082098596982812592864451792023813277420810411\ 814018824678834730100285920900585969133*m^39+3489227150316037025600312564368116\ 844451080645975041268535688642174932601016148630039271967968250*m^38+4344050014\ 0526601227815494273616692681569213866625661236911263801234098198845275447898720\ 484509696*m^37+5033906151487909178229131391901562146319755072255151110577214676\ 17800294946694325852671257933781668*m^36+54347664935625063478062966491957217130\ 82638182456252395136973304478211883709344530860936045223023888*m^35+54709814010\ 0938700820098350410851587305775593491386172147790544510575782658319990557181786\ 74324427052*m^34+51384096610361376896236125075332710370788888047430451485366126\ 5998223987836660472040810711236646817516*m^33+450477740683327439281977541233763\ 9804290134526053347601787614251411267278121967774721487514185791259936*m^32+368\ 7528724759483039288543984042597838809977309173795937419399835426829724788873165\ 6952863232821194795171*m^31+281895190345828826280869331256180914083889836917246\ 020982944141897429903352089813038678467134797348305052*m^30+2012520655687189908\ 1086378625547746140075008793326443566825777927652195866352198540755441697132168\ 63491298*m^29+13416572718313410927446505846753946296980254826183879348302157961\ 335618847288110422407626090765275544764926*m^28+8349817234525040027102858727949\ 3695510750082315874799107926196087125860121303148062694633576025666525071156*m^ 27+4849179336719873449661382313411880763293193570884340243099840225910370333709\ 65060208770595214034961890778022*m^26+26264627444670902747155528733458481873317\ 22590884028289771636405350791237460439220723918068459384911767262602*m^25+13257\ 8416764423256490735161505000255522412018926430111608838917656834932563298540080\ 23450656883380393652913606*m^24+62314172806209804991984281265815767842381820493\ 881120381030231779640690620296911256740911054617147743448557239*m^23+2724261844\ 9191470959722739585194715489403923397234936839137734386201841096649765437304821\ 1358753903906245651106*m^22+110639348811633400919830640692625033864439181563127\ 0020719779113051763334680417664709718636915184370868142382236*m^21+416799136431\ 4871670421924615123799707244368324151343483508047884784084346906625044248491457\ 614835748302384706440*m^20+1453968179788707278092271276137674653531279080127635\ 1636217422439595825238151561500037917981763752441705122713472*m^19+468740538219\ 3065954152354560458685784186255544433767313970715376221402471371945988063711213\ 4885810886757086580608*m^18+139337117272428980717980401077347529679777953521306\ 571582909798335452409030241832275098040403950588275155922127744*m^17+3809027037\ 9806091497364266191695589191716844472160117458462646629127000943054494923164034\ 3150495705967703817347840*m^16+954673857727131423263308022049235605400577999888\ 387316436891330038309202167732655038273224740292039557342184900352*m^15+2186070\ 1318988067001078798050788174660344682666858142474551415456192963850656990401545\ 03968560158235447570916364800*m^14+45547994394580522300000888533504067214138416\ 87739091301649206540962455275354876346873267501758892081506449226951680*m^13+85\ 9409869369948722996516504889536655633221724615233826833963077702175787125816263\ 7449332125337087462884975546968064*m^12+146022632320723359607365822036867363367\ 24452193627378204818829687787920821067276422710103040478658169329162672513024*m ^11+221938055586554938428339684782068634896521364066763978736701892304942850079\ 42598673068800470926257610231925673639936*m^10+29932967900890115005786969367016\ 7395471520680933865670291504392238739626724079760137993129704322265586366892462\ 57152*m^9+354745939987852770527972688218271130391705255001911229894069691837182\ 09978843411245322441715827219471763625073180672*m^8+364953028161879954777019397\ 6356090319171001762679285894704080031351329979072243006963033982643083280857537\ 7338269696*m^7+3208893027510837403994159244027334498035863359718359908514487301\ 7373807242780235751289514301170060504602684088647680*m^6+2362611649810474805309\ 6085890429357833774155906870461089389564924677270599858159544471423234773467703\ 406521378406400*m^5+14163707884644006335827913369810004736563119495178879002271\ 006665665121225234117014339294139190377727737129336832000*m^4+66379047058978149\ 7197988160590805782949907863880126819880212638702577243862736510645641947837964\ 9570566171525120000*m^3+2280148438747309968537537341339984038749942787979717792\ 734522634796448604221378931237699709100549606027454054400000*m^2+51032122776787\ 5423913376869327763325017868623775498588983658179562928141521043061670946129751\ 088482551332864000000*m+5581369059642217281752454280932332240824537947147869019\ 0508106421781819180231713244912982254834516230144000000000)*A(m+11)+1024*(2*m+ 23)*(2*m+21)*(8*m+89)*(4*m+47)*(4*m+43)*(8*m+91)*(m+12)*(8*m+93)*(4*m+45)*(4*m+ 41)*(8*m+95)*(45121105987124639038007733080246762526191995926347776*m^52+ 17242903323133898306854429605833492622722470023070220288*m^51+ 3224532458481765439607595494375962325089690889218555904000*m^50+ 393286210636049149976816818615111687453365969052816877682688*m^49+ 35180573351294942336933996643810869377818665810494324489682944*m^48+ 2460847233921808331341559879856869273528218800350703187078021120*m^47+ 140146203838154136273316871766940085415630301070453032195903930368*m^46+ 6680632407788581322872237317492226577295162256599622474048336728576*m^45+ 271975219768040240103943376148428827789903657590960305443694802055488*m^44+ 9601244827835636869233599199446199155076442520351390609786226324050000*m^43+ 297418822052527393189545628933299719830337970559050957686742309668297504*m^42+ 8161445343050401832710032391108647542484307136747017960869448694555916680*m^41+ 199924485299517662997111265748951180321220290376676722964722297077202507796*m^ 40+4399642875322584280423468740879159671852103323114630100087602347330394256865 *m^39+ 87440174384342768784244959164955293123496966063204380723779565251956616248196*m ^38+157639763364729559952962806486641245690248657594464905900083615157273906150\ 9128*m^37+258760491205555883602431695075875649064089790049331546473458658605699\ 36741071250*m^36+38794670141369107604841301397972755292980213410609419044888724\ 6879506436889042963*m^35+532647141897301504897286613950143183449700265592322969\ 8559239086103618991472699478*m^34+671226593964747736780547312949268212387027438\ 39008553810343369227181660820084900224*m^33+77780304959306860573757439687058286\ 2579940646405820381284349491752338297357155849040*m^32+830058122275495093176693\ 1898087891548751935164270029281119970225124901020080575905450*m^31+816819100263\ 05920241726340106464475159156325622685274245747075445935308667166871099440*m^30 +741900373581708107738722631805900395577057307439590987376179170951944706301099\ 591933760*m^29+6224198052357531768817596922616421415511828577714956571941031014\ 439627123067296377712012*m^28+4825620607841555093965905171688742526446013617577\ 1871204035047411218581196110543007631222*m^27+345836603370353052746736417171179\ 022089703966906537635952622119256827624567539775937781892*m^26+2291170410303061\ 466422330461390130530756440667311201670460039949623693390602790192716350776*m^ 25+1402937868361790042581136668202784014850027377638669120198557592396075559238\ 4178404988806012*m^24+793678265737863997393235217175935864366778277965673989137\ 54358446022250867313750928898339365*m^23+41457950542202024212753658237215051414\ 8202898641529546084210747245523894637469440434087850236*m^22+199782915848001921\ 6421646025563229820817992201932749797281951694171082849576548672795899970040*m^ 21+8871913005495630615679370018715337611249901722614616860694113018507988926462\ 522872489613004434*m^20+3625673566124220116080636090046409551878651903281350924\ 5652532127989894007417733822554920980055*m^19+136128302650133114350282149251141\ 962526127633303563733272755996135169475937544075427906360240534*m^18+4686294898\ 2789471816173220511865109683494468783879740685097327885600020386514456719124158\ 8406912*m^17+147572134791281655666879385212493117342223966420691318787636535797\ 4142375977086652591578560177200*m^16+423896855563101258278880807815729680902986\ 5876961776190692112121421301631405822213155731665295392*m^15+110705666447574265\ 9606056944829666356711962457539041316819633561631824776764568953614364425355923\ 2*m^14+261849726674620159368393703312928269711851442162387407385943021717305081\ 54253068972942628675022336*m^13+55836811633733826521724403455586595356654779158\ 551747528776898685703762542742468297450548202875904*m^12+1067617065542740436423\ 21545607595059188501640033524272705493314784154660689478397358103335829828352*m ^11+181849116510187324182295801014790206087339858283775020189204039598595040001\ 949935607134725812149760*m^10+2737714177988344023379046363893486904964440145978\ 14923565601953137899083171232375369134754079997952*m^9+360786302849881846394242\ 783263721701086167597221909093002754172188248783391885471292442072364232704*m^8 +411201622834874647288667931822144998494181758676048944486803112023970797001305\ 937254451067264483328*m^7+39911689137517575676098204002329867243462465242604286\ 6524050780113997629431313977173060174480015360*m^6+3232601839036149314232162705\ 04209624396763831220060290735518267732365533834490303582519223467900928*m^5+212\ 4621129532466770548285375467977598793206761554509866020452628819247223089938152\ 54837020002877440*m^4+108804534962084857842766590590937771664233937678727467752\ 769905125372481251362320434630571432345600*m^3+40708945280940994514168848272981\ 507036193568430567476393066168309013038952641673702794040705024000*m^2+98925463\ 5141593546240482069642119039113834730911244920794237273888078012848628822429220\ 7329280000*m+117109584731121651947583949111849734602743701825583420602702673802\ 9744139352148171569496064000000)*A(m+12) = 0 The growth-constant is the cubic root of the largest root of the algebraic e\ quation in, M 12 11 10 9 4294967296 M - 39939295488 M - 58243213795 M - 381703491598 M 8 7 6 5 - 81187650193 M + 310130875184 M + 2013505973401 M - 60962597670 M 4 3 2 - 528279764623 M - 3432594873968 M + 31813498119 M + 275716983698 M + 1792160394037 = 0 and in Maple notation 4294967296*M^12-39939295488*M^11-58243213795*M^10-381703491598*M^9-81187650193* M^8+310130875184*M^7+2013505973401*M^6-60962597670*M^5-528279764623*M^4-\ 3432594873968*M^3+31813498119*M^2+275716983698*M+1792160394037 = 0 that happens to be equal to 12 11 10 9 RootOf(4294967296 _Z - 39939295488 _Z - 58243213795 _Z - 381703491598 _Z 8 7 6 5 - 81187650193 _Z + 310130875184 _Z + 2013505973401 _Z - 60962597670 _Z 4 3 2 - 528279764623 _Z - 3432594873968 _Z + 31813498119 _Z + 275716983698 _Z + 1792160394037, index = 2) and in Maple notation RootOf(4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2) that equals 11.219907989114877437 as you can see, this is less than, 13, . n so indeed the size of the largest such set it is exponentially less than, 13 The asymptotic expansion to order, 1, of the sequence A(m) is m 1/2 %2 %1 (1/m) (97765032557657756115586427746177156021306594243298746599616\ 11 6774066916561132716032 %1 /(%2) - 1591792750728428770096128843027883739\ 10 2250703643023470327725467154327342715417448704 %1 /(%2) + 5159610622145\ 9 8188766556791474229775200109449647126798483550076399786424062735773509 %1 / (%2) - 45926764730032456197791171444526073654943789500752345423948105420\ 8 12046526271521772 %1 /(%2) + 5321335845962653038050042043535783835532730\ 7 10453255997823226159762386699691640619512 %1 /(%2) + 1730715305872395740\ 6 43493722840844186493355985913462880213669031133835490302001937461 %1 /(%2) - 240587328115429205087092681504939228127507352448695496880822297261554\ 5 84929155351840 %1 /(%2) - 1991053089992402684553159640390701917965269437\ 4 450844349341275464298131025338574934392 %1 /(%2) + 232415385170892576454\ 3 3498935322264352170591323067798550014683642854826712700941287535 %1 /(%2) - 507693772011817431235306632476734470615009258969633868660264781871186\ 2 3939178723732 %1 /(%2) + 15890390408819527994783124263122234875950078772\ 40908933736749272590657007573902164256 %1/(%2) - 17799653866466311606925\ 8134752675170859725829801422328385457969694606206535106256922624 m/(%2) + 491716176509013357899405864056924716939317365946741792418522854739457516\ 55499013110135/(%2))/m 12 11 10 %1 := RootOf(4294967296 _Z - 39939295488 _Z - 58243213795 _Z 9 8 7 - 381703491598 _Z - 81187650193 _Z + 310130875184 _Z 6 5 4 + 2013505973401 _Z - 60962597670 _Z - 528279764623 _Z 3 2 - 3432594873968 _Z + 31813498119 _Z + 275716983698 _Z + 1792160394037, index = 2) %2 := 9776503255765775611558642774617715602130659424329874659961667740669165\ 11 61132716032 %1 - 15917927507284287700961288430278837392250703643023470\ 10 327725467154327342715417448704 %1 + 5159610622145818876655679147422977\ 9 5200109449647126798483550076399786424062735773509 %1 - 4592676473003245\ 8 619779117144452607365494378950075234542394810542012046526271521772 %1 + 532133584596265303805004204353578383553273010453255997823226159762386699\ 7 691640619512 %1 + 17307153058723957404349372284084418649335598591346288\ 6 0213669031133835490302001937461 %1 - 2405873281154292050870926815049392\ 5 2812750735244869549688082229726155484929155351840 %1 - 1991053089992402\ 4 684553159640390701917965269437450844349341275464298131025338574934392 %1 + 232415385170892576454349893532226435217059132306779855001468364285482\ 3 6712700941287535 %1 - 5076937720118174312353066324767344706150092589696\ 2 338686602647818711863939178723732 %1 + 15890390408819527994783124263122\ 23487595007877240908933736749272590657007573902164256 %1 + 4917161765090\ 133578994058640569247169393173659467417924185228547394575165549901311013\ 5 and in Maple notation (977650325576577561155864277461771560213065942432987465996166774066916561132716\ 032*RootOf(4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z ^9-81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^11-159179275072842877009612884302788373922507036430234\ 70327725467154327342715417448704*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^10+515961062214581887\ 66556791474229775200109449647126798483550076399786424062735773509*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^9-4592676473003245619779117144452607365494378950075234\ 542394810542012046526271521772*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^8+5321335845962653038\ 05004204353578383553273010453255997823226159762386699691640619512*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^7+1730715305872395740434937228408441864933559859134628\ 80213669031133835490302001937461*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^6-2405873281154292050\ 8709268150493922812750735244869549688082229726155484929155351840*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^5-1991053089992402684553159640390701917965269437450844\ 349341275464298131025338574934392*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^4+2324153851708925764\ 543498935322264352170591323067798550014683642854826712700941287535*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^3-5076937720118174312353066324767344706150092589696338\ 686602647818711863939178723732*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^2+1589039040881952799\ 478312426312223487595007877240908933736749272590657007573902164256*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)+491716176509013357899405864056924716939317365946741792\ 41852285473945751655499013110135)*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^m/m*(1/m)^(1/2)*(9776\ 50325576577561155864277461771560213065942432987465996166774066916561132716032/( 9776503255765775611558642774617715602130659424329874659961667740669165611327160\ 32*RootOf(4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^ 9-81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^11-159179275072842877009612884302788373922507036430234\ 70327725467154327342715417448704*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^10+515961062214581887\ 66556791474229775200109449647126798483550076399786424062735773509*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^9-4592676473003245619779117144452607365494378950075234\ 542394810542012046526271521772*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^8+5321335845962653038\ 05004204353578383553273010453255997823226159762386699691640619512*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^7+1730715305872395740434937228408441864933559859134628\ 80213669031133835490302001937461*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^6-2405873281154292050\ 8709268150493922812750735244869549688082229726155484929155351840*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^5-1991053089992402684553159640390701917965269437450844\ 349341275464298131025338574934392*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^4+2324153851708925764\ 543498935322264352170591323067798550014683642854826712700941287535*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^3-5076937720118174312353066324767344706150092589696338\ 686602647818711863939178723732*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^2+1589039040881952799\ 478312426312223487595007877240908933736749272590657007573902164256*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)+491716176509013357899405864056924716939317365946741792\ 41852285473945751655499013110135)*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^11-159179275072842877\ 00961288430278837392250703643023470327725467154327342715417448704/(977650325576\ 577561155864277461771560213065942432987465996166774066916561132716032*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^11-159179275072842877009612884302788373922507036430234\ 70327725467154327342715417448704*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^10+515961062214581887\ 66556791474229775200109449647126798483550076399786424062735773509*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^9-4592676473003245619779117144452607365494378950075234\ 542394810542012046526271521772*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^8+5321335845962653038\ 05004204353578383553273010453255997823226159762386699691640619512*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^7+1730715305872395740434937228408441864933559859134628\ 80213669031133835490302001937461*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^6-2405873281154292050\ 8709268150493922812750735244869549688082229726155484929155351840*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^5-1991053089992402684553159640390701917965269437450844\ 349341275464298131025338574934392*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^4+2324153851708925764\ 543498935322264352170591323067798550014683642854826712700941287535*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^3-5076937720118174312353066324767344706150092589696338\ 686602647818711863939178723732*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^2+1589039040881952799\ 478312426312223487595007877240908933736749272590657007573902164256*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)+491716176509013357899405864056924716939317365946741792\ 41852285473945751655499013110135)*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^10+515961062214581887\ 66556791474229775200109449647126798483550076399786424062735773509/(977650325576\ 577561155864277461771560213065942432987465996166774066916561132716032*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^11-159179275072842877009612884302788373922507036430234\ 70327725467154327342715417448704*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^10+515961062214581887\ 66556791474229775200109449647126798483550076399786424062735773509*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^9-4592676473003245619779117144452607365494378950075234\ 542394810542012046526271521772*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^8+5321335845962653038\ 05004204353578383553273010453255997823226159762386699691640619512*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^7+1730715305872395740434937228408441864933559859134628\ 80213669031133835490302001937461*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^6-2405873281154292050\ 8709268150493922812750735244869549688082229726155484929155351840*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^5-1991053089992402684553159640390701917965269437450844\ 349341275464298131025338574934392*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^4+2324153851708925764\ 543498935322264352170591323067798550014683642854826712700941287535*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^3-5076937720118174312353066324767344706150092589696338\ 686602647818711863939178723732*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^2+1589039040881952799\ 478312426312223487595007877240908933736749272590657007573902164256*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)+491716176509013357899405864056924716939317365946741792\ 41852285473945751655499013110135)*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^9-4592676473003245619\ 779117144452607365494378950075234542394810542012046526271521772/(97765032557657\ 7561155864277461771560213065942432987465996166774066916561132716032*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^11-159179275072842877009612884302788373922507036430234\ 70327725467154327342715417448704*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^10+515961062214581887\ 66556791474229775200109449647126798483550076399786424062735773509*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^9-4592676473003245619779117144452607365494378950075234\ 542394810542012046526271521772*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^8+5321335845962653038\ 05004204353578383553273010453255997823226159762386699691640619512*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^7+1730715305872395740434937228408441864933559859134628\ 80213669031133835490302001937461*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^6-2405873281154292050\ 8709268150493922812750735244869549688082229726155484929155351840*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^5-1991053089992402684553159640390701917965269437450844\ 349341275464298131025338574934392*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^4+2324153851708925764\ 543498935322264352170591323067798550014683642854826712700941287535*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^3-5076937720118174312353066324767344706150092589696338\ 686602647818711863939178723732*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^2+1589039040881952799\ 478312426312223487595007877240908933736749272590657007573902164256*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)+491716176509013357899405864056924716939317365946741792\ 41852285473945751655499013110135)*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^8+5321335845962653038\ 05004204353578383553273010453255997823226159762386699691640619512/(977650325576\ 577561155864277461771560213065942432987465996166774066916561132716032*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^11-159179275072842877009612884302788373922507036430234\ 70327725467154327342715417448704*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^10+515961062214581887\ 66556791474229775200109449647126798483550076399786424062735773509*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^9-4592676473003245619779117144452607365494378950075234\ 542394810542012046526271521772*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^8+5321335845962653038\ 05004204353578383553273010453255997823226159762386699691640619512*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^7+1730715305872395740434937228408441864933559859134628\ 80213669031133835490302001937461*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^6-2405873281154292050\ 8709268150493922812750735244869549688082229726155484929155351840*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^5-1991053089992402684553159640390701917965269437450844\ 349341275464298131025338574934392*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^4+2324153851708925764\ 543498935322264352170591323067798550014683642854826712700941287535*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^3-5076937720118174312353066324767344706150092589696338\ 686602647818711863939178723732*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^2+1589039040881952799\ 478312426312223487595007877240908933736749272590657007573902164256*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)+491716176509013357899405864056924716939317365946741792\ 41852285473945751655499013110135)*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^7+1730715305872395740\ 43493722840844186493355985913462880213669031133835490302001937461/(977650325576\ 577561155864277461771560213065942432987465996166774066916561132716032*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^11-159179275072842877009612884302788373922507036430234\ 70327725467154327342715417448704*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^10+515961062214581887\ 66556791474229775200109449647126798483550076399786424062735773509*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^9-4592676473003245619779117144452607365494378950075234\ 542394810542012046526271521772*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^8+5321335845962653038\ 05004204353578383553273010453255997823226159762386699691640619512*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^7+1730715305872395740434937228408441864933559859134628\ 80213669031133835490302001937461*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^6-2405873281154292050\ 8709268150493922812750735244869549688082229726155484929155351840*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^5-1991053089992402684553159640390701917965269437450844\ 349341275464298131025338574934392*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^4+2324153851708925764\ 543498935322264352170591323067798550014683642854826712700941287535*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^3-5076937720118174312353066324767344706150092589696338\ 686602647818711863939178723732*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^2+1589039040881952799\ 478312426312223487595007877240908933736749272590657007573902164256*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)+491716176509013357899405864056924716939317365946741792\ 41852285473945751655499013110135)*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^6-2405873281154292050\ 8709268150493922812750735244869549688082229726155484929155351840/(9776503255765\ 77561155864277461771560213065942432987465996166774066916561132716032*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^11-159179275072842877009612884302788373922507036430234\ 70327725467154327342715417448704*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^10+515961062214581887\ 66556791474229775200109449647126798483550076399786424062735773509*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^9-4592676473003245619779117144452607365494378950075234\ 542394810542012046526271521772*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^8+5321335845962653038\ 05004204353578383553273010453255997823226159762386699691640619512*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^7+1730715305872395740434937228408441864933559859134628\ 80213669031133835490302001937461*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^6-2405873281154292050\ 8709268150493922812750735244869549688082229726155484929155351840*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^5-1991053089992402684553159640390701917965269437450844\ 349341275464298131025338574934392*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^4+2324153851708925764\ 543498935322264352170591323067798550014683642854826712700941287535*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^3-5076937720118174312353066324767344706150092589696338\ 686602647818711863939178723732*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^2+1589039040881952799\ 478312426312223487595007877240908933736749272590657007573902164256*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)+491716176509013357899405864056924716939317365946741792\ 41852285473945751655499013110135)*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^5-1991053089992402684\ 553159640390701917965269437450844349341275464298131025338574934392/(97765032557\ 6577561155864277461771560213065942432987465996166774066916561132716032*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^11-159179275072842877009612884302788373922507036430234\ 70327725467154327342715417448704*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^10+515961062214581887\ 66556791474229775200109449647126798483550076399786424062735773509*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^9-4592676473003245619779117144452607365494378950075234\ 542394810542012046526271521772*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^8+5321335845962653038\ 05004204353578383553273010453255997823226159762386699691640619512*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^7+1730715305872395740434937228408441864933559859134628\ 80213669031133835490302001937461*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^6-2405873281154292050\ 8709268150493922812750735244869549688082229726155484929155351840*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^5-1991053089992402684553159640390701917965269437450844\ 349341275464298131025338574934392*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^4+2324153851708925764\ 543498935322264352170591323067798550014683642854826712700941287535*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^3-5076937720118174312353066324767344706150092589696338\ 686602647818711863939178723732*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^2+1589039040881952799\ 478312426312223487595007877240908933736749272590657007573902164256*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)+491716176509013357899405864056924716939317365946741792\ 41852285473945751655499013110135)*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^4+2324153851708925764\ 543498935322264352170591323067798550014683642854826712700941287535/(97765032557\ 6577561155864277461771560213065942432987465996166774066916561132716032*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^11-159179275072842877009612884302788373922507036430234\ 70327725467154327342715417448704*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^10+515961062214581887\ 66556791474229775200109449647126798483550076399786424062735773509*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^9-4592676473003245619779117144452607365494378950075234\ 542394810542012046526271521772*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^8+5321335845962653038\ 05004204353578383553273010453255997823226159762386699691640619512*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^7+1730715305872395740434937228408441864933559859134628\ 80213669031133835490302001937461*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^6-2405873281154292050\ 8709268150493922812750735244869549688082229726155484929155351840*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^5-1991053089992402684553159640390701917965269437450844\ 349341275464298131025338574934392*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^4+2324153851708925764\ 543498935322264352170591323067798550014683642854826712700941287535*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^3-5076937720118174312353066324767344706150092589696338\ 686602647818711863939178723732*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^2+1589039040881952799\ 478312426312223487595007877240908933736749272590657007573902164256*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)+491716176509013357899405864056924716939317365946741792\ 41852285473945751655499013110135)*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^3-5076937720118174312\ 353066324767344706150092589696338686602647818711863939178723732/(97765032557657\ 7561155864277461771560213065942432987465996166774066916561132716032*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^11-159179275072842877009612884302788373922507036430234\ 70327725467154327342715417448704*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^10+515961062214581887\ 66556791474229775200109449647126798483550076399786424062735773509*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^9-4592676473003245619779117144452607365494378950075234\ 542394810542012046526271521772*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^8+5321335845962653038\ 05004204353578383553273010453255997823226159762386699691640619512*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^7+1730715305872395740434937228408441864933559859134628\ 80213669031133835490302001937461*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^6-2405873281154292050\ 8709268150493922812750735244869549688082229726155484929155351840*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^5-1991053089992402684553159640390701917965269437450844\ 349341275464298131025338574934392*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^4+2324153851708925764\ 543498935322264352170591323067798550014683642854826712700941287535*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^3-5076937720118174312353066324767344706150092589696338\ 686602647818711863939178723732*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^2+1589039040881952799\ 478312426312223487595007877240908933736749272590657007573902164256*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)+491716176509013357899405864056924716939317365946741792\ 41852285473945751655499013110135)*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^2+1589039040881952799\ 478312426312223487595007877240908933736749272590657007573902164256/(97765032557\ 6577561155864277461771560213065942432987465996166774066916561132716032*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^11-159179275072842877009612884302788373922507036430234\ 70327725467154327342715417448704*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^10+515961062214581887\ 66556791474229775200109449647126798483550076399786424062735773509*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^9-4592676473003245619779117144452607365494378950075234\ 542394810542012046526271521772*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^8+5321335845962653038\ 05004204353578383553273010453255997823226159762386699691640619512*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^7+1730715305872395740434937228408441864933559859134628\ 80213669031133835490302001937461*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^6-2405873281154292050\ 8709268150493922812750735244869549688082229726155484929155351840*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^5-1991053089992402684553159640390701917965269437450844\ 349341275464298131025338574934392*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^4+2324153851708925764\ 543498935322264352170591323067798550014683642854826712700941287535*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^3-5076937720118174312353066324767344706150092589696338\ 686602647818711863939178723732*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^2+1589039040881952799\ 478312426312223487595007877240908933736749272590657007573902164256*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)+491716176509013357899405864056924716939317365946741792\ 41852285473945751655499013110135)*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)-177996538664663116069\ 258134752675170859725829801422328385457969694606206535106256922624/(97765032557\ 6577561155864277461771560213065942432987465996166774066916561132716032*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^11-159179275072842877009612884302788373922507036430234\ 70327725467154327342715417448704*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^10+515961062214581887\ 66556791474229775200109449647126798483550076399786424062735773509*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^9-4592676473003245619779117144452607365494378950075234\ 542394810542012046526271521772*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^8+5321335845962653038\ 05004204353578383553273010453255997823226159762386699691640619512*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^7+1730715305872395740434937228408441864933559859134628\ 80213669031133835490302001937461*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^6-2405873281154292050\ 8709268150493922812750735244869549688082229726155484929155351840*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^5-1991053089992402684553159640390701917965269437450844\ 349341275464298131025338574934392*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^4+2324153851708925764\ 543498935322264352170591323067798550014683642854826712700941287535*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^3-5076937720118174312353066324767344706150092589696338\ 686602647818711863939178723732*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^2+1589039040881952799\ 478312426312223487595007877240908933736749272590657007573902164256*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)+491716176509013357899405864056924716939317365946741792\ 41852285473945751655499013110135)*m+4917161765090133578994058640569247169393173\ 6594674179241852285473945751655499013110135/(9776503255765775611558642774617715\ 60213065942432987465996166774066916561132716032*RootOf(4294967296*_Z^12-\ 39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+ 310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-\ 3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^11 -159179275072842877009612884302788373922507036430234703277254671543273427154174\ 48704*RootOf(4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598* _Z^9-81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^10+515961062214581887665567914742297752001094496471267\ 98483550076399786424062735773509*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^9-4592676473003245619\ 779117144452607365494378950075234542394810542012046526271521772*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^8+5321335845962653038050042043535783835532730104532559\ 97823226159762386699691640619512*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^7+1730715305872395740\ 43493722840844186493355985913462880213669031133835490302001937461*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^6-2405873281154292050870926815049392281275073524486954\ 9688082229726155484929155351840*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^5-1991053089992402684\ 553159640390701917965269437450844349341275464298131025338574934392*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^4+2324153851708925764543498935322264352170591323067798\ 550014683642854826712700941287535*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)^3-5076937720118174312\ 353066324767344706150092589696338686602647818711863939178723732*RootOf( 4294967296*_Z^12-39939295488*_Z^11-58243213795*_Z^10-381703491598*_Z^9-\ 81187650193*_Z^8+310130875184*_Z^7+2013505973401*_Z^6-60962597670*_Z^5-\ 528279764623*_Z^4-3432594873968*_Z^3+31813498119*_Z^2+275716983698*_Z+ 1792160394037,index = 2)^2+1589039040881952799478312426312223487595007877240908\ 933736749272590657007573902164256*RootOf(4294967296*_Z^12-39939295488*_Z^11-\ 58243213795*_Z^10-381703491598*_Z^9-81187650193*_Z^8+310130875184*_Z^7+ 2013505973401*_Z^6-60962597670*_Z^5-528279764623*_Z^4-3432594873968*_Z^3+ 31813498119*_Z^2+275716983698*_Z+1792160394037,index = 2)+491716176509013357899\ 40586405692471693931736594674179241852285473945751655499013110135)) and in floating-point .2973886040e86*11.21990799^m/m*(1/m)^(1/2)*(1.015900919-5.985318075*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 [14, 126, 1274, 13226, 138534, 1466010, 15628760, 167517922, 1803339239, 19481900846, 211088667595, 2292887367446, 24959299151866, 272202682978604, 2973474429325764, 32528697659977090, 356313396555896806, 3907541320749444807, 42897537847477180413, 471386084618852611286, 5184424992494332837070, 57065331247234873653051, 628585441628237672848501, 6928705223229343571997070, 76421217636550150261322334, 843394139393805662501440130, 9312893424804730657913030309, 102887005432462543938256262648, 1137219204012201305482114287738, 12575430190087172506516594343180] The first, 30, terms of the above-mentioned sequence, A(m) are [1, 9, 91, 889, 8976, 92547, 965644, 10166585, 107809390, 1149795184, 12319895237, 132518842963, 1430116410815, 15476876108500, 167899626581466, 1825315264124729, 19881015296597585, 216900647394960438, 2369890527059796390, 25928413117898362864, 284019528399512038315, 3114562834839763172853, 34188569804541924809750, 375632586307783749024275, 4130589369343084514812101, 45456802446740005642067431, 500609015293869464327145784, 5516821201017740537465845156, 60834435214070805877041561759, 671215958435731516027440711322] Finally, just for fun,, A(1000), equals 3609230224755150610820479519676962221838125879835609466610782636278882084732\ 051082747348589030346866858387150256929385078665330592067764910795907748\ 582419171687455687145547044037609848540023894341077676238888672189467153\ 651625202216076743401779402836504276273077386579790487502994273622011360\ 774055739079653965277444193615544115726986679791381686431960282376404410\ 744821229658804233273256833879717844633199167457596807808976430613236149\ 030215208543265301450847704642109412782006897653711922578855700045088235\ 666305795790032820108516996945340512426597859737740352955944781645316885\ 482515811716171018647451753313124576885627503660339225993424635166931765\ 054560843579054627192611825252214815910966419600617870094677967032178249\ 801542975943231014149382686653693079950393164273872340283276052379649625\ 408716791480879083194573405494434607023970310355264081305862053939090048\ 060982099826426085305506455432392327554480123791440627637758027257873668\ 575230842976714631051062171697378019930543125473361662298884580729439135\ 921333840308511374601128342211200860 --------------------------------------------------- This ends this article that took, 1094.220, seconds to generate.