Quelle  brfac15

BRENTFACTORS[15]:=MakeImmutable([ ,,,,,,,,,,,,,,,, [ 1045002649 ],,,,,,,,,,,,,
  ,,, [ 62475406423 ],,,, [ 2474070455887 ],,,, [ 8430332222527 ],,,,,,,, 
  [ 4175288799599 ],,,, [ 19273082604001, 69249662260776479 ],,, 
  [ 766028506097 ],,, [ 298157610720691362563759 ],, 
  [ 220692472927167836907173 ], [ 12871001296201 ], 
  [ 1470374630929, 269297040407347 ], [ 1391359510721 ],, [ 3055718821 ], 
  [ 2628501058611905652954840361379 ], [ 3395062589 ], [ 80732172121 ],, 
  [ 272301574062887284439621057578687 ],,, [ 5928049943 ], 
  [ 316091724098401 ], [ 18434831466377 ], [ 28095816025663 ],,, 
  [ 13535373521 ],,, [ 2158116330311, 3220419108264156535849497113 ],,, 
  [ 5519984993, 16112471507273 ],,, [ 18500463452718361 ],, 
  [ 936800875930739 ], [ 40193672100977 ],, [ 2947920462206937499 ], 
  [ 65959677431 ],, [ 165984138349, 3385663183327, 1938177886827124931 ], 
  [ 93589065767 ], [ 1741078786797952487623 ],, 
  [ 126531769801, 94428772268291, 5587621895329267 ],, 
  [ 96306861556309936387593197402996201073146200561 ], [ 14685091347707873 ], 
  [ 24596480723711374110433501 ], [ 6618762113, 80469189271, 144923043227 ], 
  [ 17221279121951, 8296079506365811612150733, 
      8238863910860240211186514584551 ], [ 2560392206677 ], 
  [ 12210400864955756334357543791, 7214058133190348510797044416367276209047 ],
  [ 3438685189501, 58925748316711 ], [ 661198877270593946341 ], 
  [ 12515552561, 1038405709913713 ], [ 367508084381203624767165304975303 ], 
  [ 611028193819 ], 
  [ 2083752851, 740265963181, 4088280880261, 42460920908092999453501 ], 
  [ 1240581007181 ], [ 3022689049104598084874946135455929 ], 
  [ 565322071603278863 ], [ 54828245908127393269 ], [ 2414458561 ], 
  [ 60966770930329903, 5627184418701839214950691388503744769436522116776893 ],
  [ 234519435023, 1805790344137304843 ], 
  [ 114557014359607, 1296290182141167360809609737147 ], 
  [ 18167443254760948901 ], [ 2718938036486102674173251 ],, 
  [ 64545260439067, 
      53079103097574553063805568426775890805467515544031669724935811 ], 
  [ 17347644250739140028840698753 ], [ 3109274247465857390281 ], 
  [ 1294671691, 118991428865318211233461 ], 
  [ 8310543061, 225909282151193, 
      2672726277852351048400401941685857214023231112663546845790173 ], 
  [ 18510347197 ], 
  [ 18536510212629000707955547, 2181105157226630896811634572981263 ], 
  [ 21737518025925979 ], [ 19702654674841, 5105451444569239321 ],,,, 
  [ 402570254679080538585607733 ], [ 363860910841 ],, 
  [ 5852594044699, 922195312138651, 6713182133980505226300443 ], 
  [ 3524961678490054751521 ], [ 1076233596845085335953 ], 
  [ 45829626891648603881874121 ],, 
  [ 2764834801, 3282154659041887520290410523 ], 
  [ 52987400285765657, 16882057614458789568659053197037 ], [ 1631123563 ],, 
  [ 539366051533252310579, 8751090774771560578063 ],, 
  [ 1529065687447, 425171096278165981 ], [ 96821654187863868183691 ], 
  [ 23101103879706781, 2680375722923963821, 530788252571672548054451 ], 
  [ 12833766874934773 ], 
  [ 227677817616311475823, 4075234956970664636513337173 ], 
  [ 46872275419, 102274698919, 8508107485100663161, 62117692148169172283 ], 
  [ 578678122902962899594784923599634185845914441 ], [ 564643374177456961 ], 
  [ 164006995391, 3001167062138973417187, 5847586221158834503394290382171 ],, 
  [ 24841966255470713069080667642989956570531262733, 
      23191056803152466255674679331490038948872130127488518656423 ], 
  [ 138583022521, 30839158009109, 1543059974108956456650786169201 ], 
  [ 4134133437409562377193865001 ], 
  [ 3981350970411868479901, 106776979377071844077873 ],, [ 725177029417 ], 
  [ 2266891303, 2318610737675897213064413 ], [ 13695697627231 ], 
  [ 2735617627328384723056183, 2766875514023345913942661 ], 
  [ 3187525094785565082363106129 ], 
  [ 923096729690317321, 9240237956752269182353267070402853452904883 ], 
  [ 1831362215404162343599 ],, [ 62263707129997297, 1285545509619454513 ], 
  [ 90794150425718941, 41735992970177767981 ], [ 12684688516982941 ], 
  [ 
      973102191320127425376310965249456254888733082652167297309554659164027012409\
3 ], [ 2911460401, 105091981250955481 ], 
  [ 30030704424871813974736013, 3774959692696919803566922979, 
      2116612802940095427277506900110898639385378335011 ], 
  [ 94672331640797, 10640666506292551 ], 
  [ 357847115029, 278429522753620716334558341344444154267663080224158427 ],, 
  [ 23916007091, 261185739851, 57029088409861, 2541924980979082848011 ],, 
  [ 260023469773321, 3916703999765344129 ], [ 140474858446719628685072278249 ]
    , [ 15105332280488398974794287, 19944576115520464846832773603324107169 ], 
  [ 1045074297886141, 45186569761128841661272737901 ], 
  [ 1203482861067637461451179075827196545376051649 ], [ 4151706817 ],, 
  [ 323912067331561466926628163233 ], 
  [ 17876704352384312776165924815416713005241 ], 
  [ 163847203717, 3751296934950580261070021 ], 
  [ 4172753531, 2898371050355248441, 1628637743047903281357843380265934783 ], 
  [ 62387033227922102074789096981 ], 
  [ 408301209509933587, 244282684709749918668570769151212009261 ], 
  [ 1347970508807317602142601 ], [ 1099333631607853670681822300142667 ], 
  [ 327949630610048243, 9141667953856548589 ], 
  [ 221864077710117666600174298853 ], [ 6432782079513712743495779579521 ],, 
  [ 200298637228693651547511121879, 1255816237933704895555335739049629 ], 
  [ 874125097494737469067, 
      1322571104457879790843665431799529759992302582488293210311112541 ], 
  [ 736921904993, 290340653215025713, 
      58816865685030314339215849136647366687489 ], 
  [ 310696428100789261359841, 2830170168716196662596829227 ],, 
  [ 1348477930455949 ], [ 266257406176802127552803837537 ], 
  [ 3051499356992774544438864682851430854369764738351568149455508117517206287 
     ], [ 32080966073306964705079 ], 
  [ 1833802200566194141, 4814957964951736081, 
      4975400197345478916839425015315256265857101, 
      2596855758588151053898863550500681735472021353969461351 ], 
  [ 124763699844001, 7139172431498648873862278953 ], 
  [ 1344297430445933606399, 18674505853625546867993, 
      11357984388650024495137909 ], 
  [ 32608965128223009151525235911, 
      12629023261749432772542689849981693277436531 ], 
  [ 2318547757791269657116003 ],,, [ 2368040427829 ], [ 34760214329341 ], 
  [ 31845722644513, 14986572761868048510608408236729729 ], 
  [ 7887666000162926233602695664525601, 
      3104417290838849087397509493087712981201 ], 
  [ 676653946487, 5358063355525776963451, 16414664743082353095967141 ],,,, 
  [ 12203077111, 47259785976796262161, 8264999210340600150541 ],,, 
  [ 2959531462285655179387, 9177502076159172155129403876539, 
      4836356852569829718434882670365052554869 ], 
  [ 1705084698799, 87583208064301 ], [ 648262883114101 ], 
  [ 5073161021, 1386870994428112456500366912174420455729317417044335046353 ], 
  [ 16693066087, 128328713743, 867423636529, 8546248653301, 
      669823018992293361796162097903541907 ], [ 4059968903299 ], 
  [ 3501854708720764037 ], [ 329380317601, 29939982202071965036641 ], 
  [ 96587019922156429, 35224832222028339718575071, 
      5147481717864797011303150678721661594883 ], 
  [ 4382602577, 464576202822601, 76328847637019944306129930054615472720807 ], 
  [ 1144576909923823 ], [ 61282106757642035553042971157061521121002591977 ], 
  [ 2053715817301 ], [ 92923320642619, 8651199977283439 ],, 
  [ 706837123594673 ], [ 197441665087 ], 
  [ 8352386699057186473887658525944222924001 ], 
  [ 9606279308155837640701, 86916645104953251672181, 
      19776683636891055924745013891 ],, 
  [ 3325963807, 16696423811, 6111428874683096933 ], 
  [ 308295647551539421842623479, 32507777027794399574020508154985901470261 ], 
  [ 16515734244780407477383694521, 931378506426564665578619857096187041 ], 
  [ 3085854721, 24216901652687617, 538967573363957541510913, 
      103465360092197783041054178423809 ], [ 12116711981083 ], 
  [ 27411764701, 1873636936649383249, 2431224260269392169 ], 
  [ 41967977717, 1691309974743902012809 ], 
  [ 25255508981, 770171718941, 1109073007898479903020404239299581 ],, 
  [ 7906676908943 ], 
  [ 1521253097052338942861291, 58142016977535678287843735725765183 ], 
  [ 3089451817, 856420938543915930300022777 ], [ 4414076558905559947871 ], 
  [ 1398959405431547 ], [ 12620687609916899827 ], 
  [ 1644706561943793682049643760596930144672057309890166463201 ], 
  [ 23671064957, 192892894685597006723957194070383 ], 
  [ 258036340231, 71737624565417897330341231 ], 
  [ 9907624059769699455431, 5386868625105590860237207 ],, 
  [ 56782089706135249 ], 
  [ 43235778569495682889715280603114796525519, 
      61341454025188802841746215383913408371567894649 ], 
  [ 13317578924907113920801 ], [ 67740995206699955121858385321 ], 
  [ 19799077919142862700482405446763 ], [ 12193519519 ], 
  [ 54121063424341253194170305920478143 ], 
  [ 218800910441, 25829131190962585221978577441 ], 
  [ 177338894953027874730611 ], 
  [ 2220066151, 1227673926765102001, 2988647062000755871, 
      12772545054163585974347629 ],, 
  [ 14292190347261534654818189, 
      47834848413205889118328124427617521437720735396457682724473 ], 
  [ 316427128981, 16120466697541, 136918989719096015219043061, 
      53646760619478852868446148978613461 ], 
  [ 2007493022532713, 26371927300888660485437098288790424815083214113007 ],, 
  [ 2544790753, 7743583876242521223725716887502753 ], 
  [ 3766422557, 380565720179, 170787137404282411722835876315341100679 ], 
  [ 640472621166361, 16234310251180762506604545982584121320088702278121291 ],
  , 
  [ 5449690713997, 52520601112477, 2538863031370281918989, 
      2971128156948325838993, 50068166101672509091607457078148036464264953 ], 
  [ 548697843599 ], [ 6278915733367831 ], 
  [ 8335208000443871, 450730693785640783112823508605131 ], 
  [ 790740515080686549571624870372251292920742662291628160056576539409 ], 
  [ 28670112316794923026775105923 ], 
  [ 24364260674777957, 822957132380870641634605062692845187 ], 
  [ 108028994387029, 965030382553184960897 ], 
  [ 3100294801, 11462542089631773001 ], [ 6453218879983 ], 
  [ 13716236852203572392413762222405767421, 
      2889302310655855764861639192051053019016997786428462657292911 ], 
  [ 9570993109, 266898076009, 353876143580467, 36539715465296303062532683, 
      527483573295199221699442333429 ], 
  [ 1164686719787183410449590733345485063247926632152946849 ],, 
  [ 224577900649, 783394142968369 ], 
  [ 2801592971, 354296870557324264215959, 1706741140094581193630939, 
      3662774101418025886962001246169859181 ], [ 530990088764703731691529 ], 
  [ 4047146041, 5627147707 ], 
  [ 1179145519632511, 7796596693066108353768510939297706833721 ], 
  [ 45488647888324914223, 21529876880841922903455611 ],, 
  [ 10338633204131, 4509705968067017651, 55975334836519016283437 ], 
  [ 29493817080817097, 170974248531069773, 
      1837292087016544999269226432072919329 ],, 
  [ 2712991290042751533688943760394553, 
      23436950892492777603037014892623155527038852973 ],, 
  [ 425802213061, 4408008907546865625019 ], 
  [ 2673820997, 358298126273886481517938930725453523 ], 
  [ 233023054081, 12265651175707841, 
      16770532504740945174315333196049466356881557933971124161 ],, 
  [ 42718929115628650779049, 18276597658023070692498937909943 ], 
  [ 1935318285290824757 ], 
  [ 13592376397, 14820561253, 37405137759750399691902755402418637 ], 
  [ 10988032146456688677092457548497201 ], 
  [ 218048391340241461, 1886810257966074954031, 
      3176943493376606700922418538644207 ],, 
  [ 1823226049, 7288493027973872506566329, 26403624271337241491299227713281, 
      30590230372519731709879881378521 ], [ 612583112093 ], 
  [ 6713464194361, 215930170569290447161, 182421048277554866241038281 ], 
  [ 33574370476890429807289 ], [ 552674211928271015913331913 ],, 
  [ 
      105567674386872468650379416739552413970890541623196153873967395544902397893\
10396804943703988669 ],, [ 5840270932038540650689 ], 
  [ 2013972134281, 574931699070540743595990349 ], 
  [ 792402808564069, 368117275302148236983, 
      96504908855099679390913298535073661123745438589 ], 
  [ 4529738878372096579894664851923763 ], 
  [ 47873588568577331761, 37686497208110926335063461, 
      6932935330848950747869263632955018901541 ], [ 50091487468745647 ], 
  [ 280169723887673332034123244443863143688431528271 ], 
  [ 13737400523434881834731, 329211421038132270542563 ], 
  [ 22987309628787159377 ], [ 707110537201, 44799439525501, 376301475193381 ],
  [ 21685942936357728339224089836597445597046343563527083611769765031276263165\
3220298265466667 ], [ 624177497022822053 ], 
  [ 10412134597, 73083228397, 11970320978797 ], 
  [ 2439894955549640164199958403, 14214846702887396303451372119, 
      413200057846916176559163984131 ], [ 1707033301, 109049300417401 ],, 
  [ 5205199887361, 47416999261373965697, 
      246299904510720529119049200829083446311681 ], [ 47064601147 ], 
  [ 892626845495887994245891, 769999878418004456634773071 ],, 
  [ 402910119444039736424873 ], [ 5959450412463189882124530500947 ], 
  [ 338031115853, 13812176712527 ], 
  [ 8440162196017498019587, 5397373420663462868441710028041019 ], 
  [ 284867992707121 ], [ 20352637817711 ], 
  [ 5077136881, 106974519646924413390799704854025593 ], [ 1371830129407 ], 
  [ 28400566606484437 ], 
  [ 565665048023166511331, 2276659796256455303766718778101 ], 
  [ 14563562998279, 107888962684389357049, 42046850228759333970319, 
      581297171188805516982412738813981 ], [ 956330082682871185372487541413 ],
  [ 478895838456181690047105427717487746064345969119538613817393 ],, 
  [ 1029835801, 76897401831272427208310131, 
      237908288177130543045451707230734875781 ], 
  [ 71376062269, 67643058906431, 97656382745657, 186678540264917, 
      4884481166895754226951, 78212751121433669009980901933 ], 
  [ 3381325249, 3117765514597, 39599344887911978134781158992797353919929 ], 
  [ 1615491349, 13478259492083902763629, 87943144504886162999032690609 ], 
  [ 37375160791, 8368786908686777, 996745264013355671299, 
      62638659440216674824829538268854548201 ], 
  [ 3123902175001, 118648384169866501, 15126087361948906501, 
      5550460962361225116444001 ], [ 105788811824021319967251616633 ], 
  [ 28526578133, 54462651283, 41365433326387, 11317187520897195380284817 ], 
  [ 417123043115750030934495801596194246441 ], [ 231316771056359498824157 ], 
  [ 6837459701 ], [ 842292641608048903 ], 
  [ 2148193427, 732501123647834060329, 
      2065001929534044701006738637741308884111 ], [ 11525996639 ], 
  [ 119668965450879482049363313225688003030732965984195053586626897186049 ], 
  [ 7324210887841, 133074872865551 ], 
  [ 63552877154399417, 171202708314823573217963421963489519551599, 
      173250821385027688180799361020416630375898002549673 ], 
  [ 62323788061, 457810465828460975081569009340148241 ], 
  [ 928867025493931347538364789 ], 
  [ 389819431613, 459966502680317, 498597448779006086527, 
      624310198363930100683, 40592286089617966423711980852134417 ], 
  [ 1165519291, 86616029399336750121659131185472687790010270451 ], 
  [ 304490424503597 ], [ 51118533330313, 83059733354921 ],, 
  [ 20845934423, 985258591256363880710821285342452652666278544711 ], 
  [ 2866933116191, 3168724088143764667211, 
      4411764107600146667464882478017302143041 ], 
  [ 3190935400986169, 6442272424275989136635808656620063452431693173 ],,, 
  [ 374509801816506294174785493421 ], 
  [ 293260235255815351034801, 249097950919860276331676254948801 ],, 
  [ 76163022560054629, 3252216236581585792189551854643370849 ],, 
  [ 78749749441179985117, 3201447401347068636279040734176429 ],,,, 
  [ 40066819732321, 3369390550797677356576898386982299413789176227489 ],, 
  [ 428928154016281, 512873379445518877575497576516211211 ],,,, 
  [ 56704874959 ],, [ 111104618045176237319969 ],, 
  [ 2112138953, 3121176299491526194487875027532372846432871969797 ],, 
  [ 2399150554081 ],, [ 281234421103222248619 ],, [ 134886148193 ],, 
  [ 1045398889, 326189795060043679, 868221032025369031, 
      57471728833380526901651769244173008971451484972209881 ],,,, 
  [ 48952628552881, 62576791657323991, 1300383993755541396391 ],, 
  [ 25190737255009, 566799535049617 ],, 
  [ 29718545975959, 312433872891111237723753241664447 ],, [ 55037834777 ],,,, 
  [ 998108853123717009945198872681, 116349213914517527743963336821016601, 
      25575123608705489425906415387482882879925555081 ],, 
  [ 51007710079, 66235888343, 2288007801175676319020310450383 ],,,, 
  [ 89493825905145631, 212608089294359559271 ],, 
  [ 7526174209, 1678616185076993, 1276075848889547777 ],, 
  [ 3058266151, 37082184301, 15992341593301, 2538851987876401, 
      610433666821864242438170851 ],, 
  [ 30043335657275569, 70258253001403158481 ],, 
  [ 242790532784670785858513, 8140298940929712123863059 ],, 
  [ 864066646689339562429201, 7774464683708717159373132723126313, 
      3277880413056025190320479418968781974313 ],, 
  [ 39171540498917, 52399976982137 ],, [ 11426885761, 1698065217789065381 ],, 
  [ 6974109692089, 932815573288756044539041699 ],, [ 20097717436110497 ],,,, 
  [ 550863742293542325961, 94697317528536574818721, 
      757402887244201434891660988541521 ],, 
  [ 51265078307770378966246021, 435469979208869649367100641 ],,,, 
  [ 6336691279, 53150246629, 4095542953717519, 11921816530905559712431 ],, 
  [ 112110132198037, 2842791952099608713 ],, 
  [ 92218620353, 1744821374239, 165144484922419 ],, 
  [ 310490901121, 952556387564481241286853191493121 ],, 
  [ 118892981153, 22243311210259 ],,,,,, 
  [ 259623100099174075793, 225750890267757624556153, 
      8830802206297259588001713, 21141468392812504036478395141697 ],, 
  [ 4695010155485125120389014551 ],, 
  [ 3785307289, 2395102299169, 1391592549357733 ],, [ 21515093696513 ],, 
  [ 19588852944481 ],, [ 46354951039, 174521903759349580497797755000464375889 
     ],, [ 488319615232404540001, 50393753299364350488001 ],, 
  [ 992229479447809, 1770638946869266571256761623561 ],, 
  [ 13322292848549265673, 50606347641221577861433, 
      171678846760521471052039009 ],,,,,, 
  [ 72235820686921, 321961707605197886942071 ],, [ 322234427393 ],,,,,, 
  [ 61631055592954261, 6816897007404367128894811 ],, [ 162132216764453521 ],,,
  , [ 1238221893121 ],, [ 31008854717461894032395317433914607 ],, 
  [ 22823954737 ],,,, 
  [ 127687956593, 1683433334461640273, 85378548043542677662346329 ],,,,,, 
  [ 11946117035404861, 13003648154503819 ],,,, 
  [ 77348829376611383, 366031997485621758816079, 
      66642729112381094245207253253653 ],,,, 
  [ 203876421841, 555228981492037399 ],, [ 22265083922523155401 ],, 
  [ 8577973801, 1338975703895577001, 49633948223337715645651, 
      81903775511762714609978176176451 ],,,, 
  [ 195685289129846847882903804047093 ],, [ 3567709109 ],,,, 
  [ 26639453184837387021121 ],, [ 3631683760698589 ],, 
  [ 1606564717, 6293159123893, 340316121219761704080784477, 
      1911720079356749248569877503815676973 ],, 
  [ 4912799162111461654964767699, 600012623494035001157016693901 ],, 
  [ 3694311193 ],, 
  [ 61444229355475825503784205191, 54809667951904849255085028985486481731 ],, 
  [ 2043344161 ],, [ 1555231189 ],, 
  [ 22727048257, 1253113100818561, 3644578840227117988663138753, 
      166998536795376039665775744683713 ],, 
  [ 8575019573, 120820037504302524819294559, 
      594797126710784306825369337858631 ],, [ 1961554201 ],, 
  [ 3900684623547319697238606109 ],, [ 100280444467729 ],, 
  [ 45310403689, 669373113083, 1648800222658022486033 ],,,,,, 
  [ 5221464598239361, 1048356753424085853191564379861823276529 ],, 
  [ 468165083959 ],,,,,, [ 45607597201, 1871829377368801 ],, [ 1724545187 ],,,
  , [ 1565511919, 304406221789 ],, 
  [ 4885605889, 950199947583457, 345190055789088149596545633761 ],, 
  [ 10900844414034850032269277721 ],,,, [ 494513108779524478226881013 ],, 
  [ 3091505949769016473, 7504594407592487723057, 
      1130820059170393051966875739217, 
      801950766147679273260185210724157857649 ],,,,,, [ 2056138785031 ],,,, 
  [ 753561948421562581853566673731 ],, [ 20727555940540604216352066690049 ],, 
  [ 39583293251387761, 5947119650775303865448863939801 ],,,, 
  [ 7573091327, 6271157719909 ],, [ 12538427512587396303099241 ],, 
  [ 1162691839, 1097048608569118031334383739963331 ],, 
  [ 1071475439495416280031812184062668801 ],, [ 1279213891 ],, 
  [ 503497353070289038482877666301 ],, 
  [ 4840001899, 2235972186807188904031487, 193383078086544127481011464527 ],, 
  [ 589988457688394449, 506629955440624960369, 
      415051927710841189120147779739496473 ],, 
  [ 373077762490689142692289497001 ],, [ 216279176909, 3618803395245497 ],, 
  [ 49026655471, 134373550068091 ],, 
  [ 1187473275988395845610218135446952726257 ],, 
  [ 135261208727, 74607964119971547806213 ],,,,,, 
  [ 1007818495283765644554353 ],,,, [ 1115393698025169906015356069 ],, 
  [ 8672181181, 59569966867588042630218179199669241 ],, [ 7005474337 ],, 
  [ 2163913397, 9228083807, 82244716133253947003 ],, 
  [ 15579631739583318904986373, 40457728810192697330164798145628977 ],,,, 
  [ 28578479889450275922001 ],, 
  [ 23146115087987, 172284412340113595326141694055623 ],, 
  [ 300660998506093, 111904650109327895034772933 ],, [ 173875436897 ],,,, 
  [ 26401020086191, 174182259431702075971, 1563626309791841824241072569771 ],,
  ,, [ 1563902629, 306360120120299505975137 ],, 
  [ 1118903965441, 363033204284702475116161 ],, 
  [ 1988777897, 148325040699488687528377651 ],, 
  [ 55813417801, 121727857251001 ],, [ 32295338715055332151 ],, 
  [ 133606894308310721, 144333674014012561034803969 ],, 
  [ 19302380966246239, 92630168147799833633 ],,,, 
  [ 16302569071895952440521, 332274741958836565852154041 ],,,, 
  [ 290945772979 ],,,, 
  [ 146188387129, 423115435553, 19162352718666347, 
      13801453336763360259022182293 ],, [ 22802175491041 ],, 
  [ 1650920147, 57517456719685779502493 ],,,, 
  [ 70726432129, 1220716667139227976930559646699269, 
      6197317840767824956090693187422111 ],, 
  [ 23336885209457, 2687528166439481, 182793670979535706139616113 ],, 
  [ 2545717173271 ],, [ 11256040252441 ],, [ 3925280463499 ],, 
  [ 1694838234241 ],, [ 70584319438780854486180756331 ],, 
  [ 17152523184704857561, 883914912566302955501 ],, [ 7057498127 ],, 
  [ 157566266879113 ],, 
  [ 2579626908829, 4989098035172453, 17932343464998925685104549, 
      360755040548449055559129344753, 101511418362310936407205674527387 ],, 
  [ 19933076159173, 6656090717572758994452919587285973 ],, 
  [ 36969598215002874615001, 1602871524015032054594640117751 ],, 
  [ 210424654289, 1168971512005360840728234502684273 ],, 
  [ 48655181638235459225402461609 ],, 
  [ 42408901837, 472796965117, 1801126271559133, 1225971002833869577573, 
      15013503762726261580385639597893, 26457955452754563691663418781319969 ],
  , [ 36534449011753368916007 ],, [ 2826407321 ],, [ 4875915281100151 ],, 
  [ 14136280824450732990997 ],, 
  [ 659329230578761, 1735483705816916050363261, 2074257635210768282758607 ],, 
  [ 506749113761281, 65748539976014577262937089 ],, 
  [ 11682285502954313941, 11106201123836098175643841754734610461 ],, 
  [ 3638988742947529, 40215902175314653, 57770992877156985799192958179817 ],, 
  [ 58239325819, 15741646782067127789533298179 ],, [ 52285446444929980763777 ]
   ,, [ 71345627153983332662505589, 12309391277962733482957158211 ],, 
  [ 1556365201 ],,,, [ 147694623217 ],, [ 142252690216985652211 ],, 
  [ 33670700593727678648307869 ],, 
  [ 57751171711, 363721598731, 15763916377839691, 18191779672498261 ],, 
  [ 4711441959539920602961106617 ],, [ 372141584767706087 ],, 
  [ 13254870162649 ],, [ 55016511566450485123571506519 ],, 
  [ 310109927892924140346401 ],,,,,,,,,, 
  [ 10259268118291, 353687995759931920621 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,, [ 428550746551, 179073551306565258411774961 ],,,, 
  [ 8715303383 ],,,,,,,,,,,,,,,,,, [ 71559719948897, 47004587189215841677 ],,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 169861284529098511, 2352214714779628590949895191 ],,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 7027995366811, 42809321544053249274589675891 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 21577384501, 4366609422001, 15269710598789515761901, 
      11664814142684240454187951, 441325887569078208386152071729856587601 ],,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 1869531055471, 3630663733503691, 872373840026448241, 
      1393680319718825915011 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,, 
  [ 37319144641, 10487795435881, 95751038683457401, 
      89164794977590561332111441031021 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,, [ 3248140789 ], 
  [ 137330756791, 5435165159820263210289248971, 
      1068718538732344626974744041471 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,, 
  [ 12622706829451, 948153203952647851, 17545422513742852501, 
      3120274237804277649704738069610543751 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 180413206891, 1987062163861, 51956486913391, 201128595750091, 
      8638048389159505741 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,, 
  [ 48311213371, 312981407341, 1918807554797656721521, 
      18983290059060279825097261, 122316465016176945737774331901 ],,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 4196703270421, 58082077758781, 1086328466620021, 57540872146608244717651 ]
   ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 618356116684258261, 424358948857528069556573131 ],,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 4416885731, 17135664726911, 8082126682134151981 ],,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 2633829169 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 61877723905771, 27739197968560223851 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,, [ 8388520901, 18645680021 ] ]);