BRENTFACTORS[19]:=[ ,,,,,,,,,,,,,,,,,,,,,, [ 16497763013 ],,,,,, 
  [ 297003021451861 ],,,,,,,, [ 3588174588084451 ],,,, [ 11713456133 ],, 
  [ 18917672548149688895557513 ],,,,,, [ 51326794793 ],,,, 
  [ 323930821687153, 2551089855701675251204783 ],, [ 484536191701 ],, 
  [ 80558460464029837 ], [ 670650007983077 ],,,, 
  [ 1503075053, 14345411368517, 10154018739210331 ], [ 21095068697641 ],,,, 
  [ 1650922227287, 24299939580826833879511 ], [ 3084256577008769 ], 
  [ 9555459481, 71425475193776503 ],, 
  [ 19840332702980239, 1367953340395774788360889 ],, 
  [ 109796425517837, 391818505243975817655620850033223 ],, 
  [ 6229677151, 1379878520583653811451 ],,,,,,,,, [ 1301151937 ], 
  [ 12299588826871, 4091790564972909948701 ], [ 55578787747850091391 ], 
  [ 1340588661158222617 ], [ 50766225049, 18815582771569 ], 
  [ 100406562593700976489171 ],,,, [ 5313524497 ], [ 13948811059 ],,, 
  [ 11542175764721536214759, 2406871247546906126235451908529 ],, 
  [ 118556279019269161897663 ], [ 675303194549101, 590165627314172101 ], 
  [ 34751300699970121, 832072847051039530081, 5245647644316863182854571 ], 
  [ 1786596913 ], [ 405834978467 ], [ 69034016679735329 ],, 
  [ 104095533511, 210146007928707977384770009 ],, [ 113596956031609377829 ], 
  [ 1551391769, 737917509151133574154027, 6504935099394014405909146312394647 ]
    , [ 150669382018464871 ], 
  [ 5200884133, 98918321488381663684842786916140757 ], 
  [ 38645462353, 107849044129 ],, [ 13983359177311 ], 
  [ 1625377111, 1424127720880231 ], [ 22716352849, 7876159445929 ], 
  [ 90742373983, 529668106111 ], [ 26886160879 ], 
  [ 1543628017, 19987548346939727, 19334422649069921660849, 
      3733480699267356089008872256290307 ],, 
  [ 5826560917, 3428390992571161, 73653951106215688253, 
      13843334517406473243713891 ], [ 1292509969, 142920649702891953961 ],, 
  [ 743762742808750682665930129 ], [ 3778406501 ], [ 68338204247969587 ], 
  [ 145106952103, 34039801625579289448874846062867 ], 
  [ 315989504252280687606137174469121 ], 
  [ 36345637656251647357558267023272022549061 ], 
  [ 77685006382386461342123321 ], [ 100484262131459, 299402873808557 ], 
  [ 205228610269 ], 
  [ 4172208700142561819962912573, 21355791872293580555642831813 ], 
  [ 1060719211, 47852968968481 ], [ 2650228472822453446927731244021 ], 
  [ 2168875009642198021909889 ], 
  [ 40134106409234635219, 989970156826580846743 ], 
  [ 34409530237, 1552450817964462079 ], 
  [ 4567408664461, 263583147847231864141769233, 
      296879616632104045980025173031883, 
      84650560425178277439863936324507712229 ], [ 41921106691107421 ], 
  [ 14181593915674057777379594590494257480484229 ], 
  [ 2059828429, 2666842361, 27801690183630617 ], 
  [ 7397978017, 195000487111, 484999211432309003 ], 
  [ 7957659850849, 221901363412892497 ],, 
  [ 1168845771004542397619, 2603189638448754530124997 ], 
  [ 95725327355551577089495396063973106141742567489771 ], 
  [ 3849970177, 19406602558617444383054581 ], [ 178616207476507010833307 ],, 
  [ 2240313849259, 1709190498941659711176875673799 ], 
  [ 148490556214993, 67552947210940643628327889 ], [ 130322440063 ], 
  [ 8090490101, 226288993450958131 ], 
  [ 5243095143668244620331859090402894321 ],, [ 49992407412483119 ], 
  [ 25871039291 ], [ 4739153047, 4086918000521042669809 ], 
  [ 6163870442158237952544812259041 ], [ 1534005103, 1060687809169199 ],, 
  [ 342824539081437076343940054698469728805379685794103 ], 
  [ 429905758180413633468024775816828725077 ], 
  [ 384180191671, 3047899314965432210712031612351 ], [ 28615780547655601 ], 
  [ 3806582228521, 67776489779253053011 ],, 
  [ 63725648128149671826207359193122737526111416347995452960729897714393 ], 
  [ 140495619966101, 693128329340299192949731 ], 
  [ 35232500053, 7766130173689, 340801506876062492779357, 
      652098348208287400914289, 1754584723733815131518876941 ], 
  [ 256994201748988109159424257077 ], 
  [ 4404244108910731, 28933262622870754160910425435012146660907328421, 
      390232962641934443121909700399101765647541203247373825643163920571476359
     ],, [ 91700732551, 63277681384643877901, 5960136042489921667745466928301 
     ], [ 31809471706576609 ], [ 68259547636548023031061 ], 
  [ 118293272961343294236707411837556445045369798697 ], 
  [ 57843470521, 77720790083, 243229317470042903, 
      92729755938003878173301813296607147 ], [ 207691902001 ], 
  [ 1856906464287495109205730619 ], 
  [ 2916318790400475597229, 914460884935431498198470717283049 ], 
  [ 68645282057629, 981546130591378639280589136331610161765688719269663 ], 
  [ 1714618866808633, 699034638901535858511590284362577 ],, [ 3640352510713 ],
  [ 5885466130954928395597963 ], [ 29174887913 ], 
  [ 643301081322733, 4686078451043425742110921017026394874418796851830941169 ]
    , [ 57323802181, 108417380671, 294798968801 ], 
  [ 9073197533, 16278226258755846062473 ], [ 5502533014277739311301121 ], 
  [ 12165097652687289569559614927886409030606179279459368857 ], 
  [ 80763918647, 1044377067137, 746630845953751433 ], 
  [ 3308278256026098301966428613621 ], [ 1951582844417508467257 ], 
  [ 121291036381, 203633207302960700675574949, 
      1558657985408498699711044341721756687, 
      2392056046482654802114575786588503659, 
      2651770018420067024925422219625855484998389152393 ],,, [ 35184941201 ], 
  [ 1499065237 ],,, [ 556265177885869965100900914004037989 ],, 
  [ 795356493696100735275858305466442450979 ],, 
  [ 11921717317891576212964238697496225698902188241 ],, 
  [ 59917494450031, 289538680721431 ], 
  [ 12397255890256033702503516949696062375430523 ],,,,,,, 
  [ 17059776827, 178757261421937364583811211 ],, 
  [ 25279866481, 439458669164322281 ],, [ 13167515699865341218291 ], 
  [ 3705121363, 7579985624053 ], 
  [ 391311355715212577, 670126218677699760257, 28563711086984951561342849 ],, 
  [ 231494967593408932347161, 
      714855743166505061119343573406071704552505364650115939407 ], 
  [ 44163820199, 1547132345639, 16108960537689732640742672483442589 ], 
  [ 87728062969, 63496047634407305148193 ], 
  [ 6714658981523713448191, 140048103177865658664118706503, 
      49726917072895202501752512648749992529 ], 
  [ 448462689347283936140952301423321632341 ], 
  [ 290231135192356844734566736111 ], [ 117348794783522857 ], 
  [ 2870332591317400481848840650433564440118292483 ],,, 
  [ 2137436868392576378753742282490375892837 ],, 
  [ 14230938972707364866904631537844001569416081 ],, 
  [ 45741970047992830418106206245201 ], 
  [ 12464414807817568278901079920028285211094259209 ],,, 
  [ 1135764727383323495449, 5718069471437660205850045735213 ],, 
  [ 36743833051, 962356121193062757435287872191585643 ],, 
  [ 3495146833, 42322724953, 382269424964985006093423102821975081, 
      57262924888295522261407090782521899957787041 ],, 
  [ 67280788110300060936879628751 ], 
  [ 7197240755459, 265734216608927399, 939473017559507297 ], 
  [ 15568640961301, 5505240045504667609 ],, 
  [ 7763194787, 235815496619, 452459264011617609775009215279718436114979206296\
5544923547438439 ],, 
  [ 33225725139813889, 754656840241231034881, 12318752177608821548801 ],, 
  [ 967598144192139259, 5947171668279705271, 101557564126249673041 ],, 
  [ 29742009376601733041746528172368311797231415121778161 ],, 
  [ 32228870928416430067 ], 
  [ 136113870497111687, 1539780619398165884341968193273 ], 
  [ 14684799796605641917633 ], [ 17659696912855321 ], 
  [ 1003878149, 16832766217, 1398307221557, 68999209391426790757 ],, 
  [ 3269963183953, 9698334048518927281341930216877 ], [ 2359672569048929 ],, 
  [ 107499032325771819886598832053082701603 ],,, 
  [ 5789399623993, 1057482046145647, 
      1327465804978609534324643782075310684292154194882733 ],,, 
  [ 1176672733 ], 
  [ 197169025303508469905893274081413111, 152260384237463220748678120667217967\
3 ],, [ 16429010813881 ], [ 16208389663, 353998162545967 ],, 
  [ 1735317810514627 ], [ 6398395249629472642596628419294588629299964989 ],, 
  [ 20271129451, 973147631947429212231313320316954859687, 
      45700309117669323824028437641822324985920393 ],, 
  [ 8965830241, 472594473124993, 27592829534412376509944696269537 ],, 
  [ 1315211409858295604581107271920860265251, 
      117128073472682790932525142034997817976207361 ],, 
  [ 12435751610853596661691015071104261133495356932711129627265978991150019312\
57 ],,,, [ 1323466913, 6653828412677081889467003767135609866394876976903449 ],
  , 
  [ 1512462243255583652689680108827348993461, 13352004336908839582030439604792\
377703108047857 ],, 
  [ 50354695689851837101, 593988948836648425018473546817927201 ],, 
  [ 103165893011917, 2149720924253859937540936879, 
      932526537885281715982339130431, 8478879797917775808814487846858417491 ],
  , 
  [ 1768911570241, 38184210988752567254945089, 1632754676299260422834076340647\
07949509633 ],, 
  [ 1303371889909660514142359779831449661, 32890182988071970771831737279533072\
323 ], 
  [ 7173043117196604913, 401163010850995503989407, 126711512802035451187078163\
60433953 ], 
  [ 289300378289693, 48565026713061620388848761, 136009377776028563669841133, 
      77177312600790206536161158681569 ],, 
  [ 3353091667332000557355258898476581, 
      24713747650831507186753396363449350241482551 ],, 
  [ 43041847333075341359490337, 258736314675653076939912808873 ], 
  [ 1481866508237449 ],,,,, [ 16897922306017996133031782037481939 ],, 
  [ 1244461084375681, 
      545314183664181805218118434494470385137684084154361563908493142721 ],, 
  [ 156357556297984133, 1099559542622438003, 1456564526682329807 ],, 
  [ 325743096997, 1420523239112402323617530000762581 ],,,, 
  [ 3292523037463509502726531596069923486529734845601 ],, 
  [ 8158445832086761035157741, 2481953419044452308291386601 ],, 
  [ 1554087340256332088279669, 
      65668127191742320834756959141073921149292319571589, 
      2835628730426398929543754740814390953366660377981586303707863709 ],, 
  [ 3032549327, 4366334239, 201714162954751, 55595199762510306536140064423, 
      7891927396740575215743232471144924174541257 ],, 
  [ 17984201028296497, 27328316054495569, 
      261688712348581672325146786097393313497473 ],, 
  [ 5602771487, 1045514232116310503, 13483079771549708010129052511, 
      65757587142849585350510266694897, 
      20850827308341047477060095671611227593433543 ],, 
  [ 276042949798801, 13566662857203169411139937361, 
      58665242960635128109235876536736532738739061 ],, 
  [ 82387544623507621, 193915648706998033, 74467893982468644068341124521, 
      67049617990914529984062933953362543 ],, 
  [ 79798641137, 71641757566820668192019017, 117155797569986196097392257, 
      81721126358356869391815106377697031180974128913 ],, 
  [ 96327484711, 5771606046967574197, 
      167924950611732218340597137890941599471971, 
      10366754260019612463918605529134047050221813687547719031264253 ], 
  [ 61658890817 ], 
  [ 1048751593, 16014434869, 880241496558577, 9851659425720933034988128674373,
      4265941002323607878469401745539312869 ], 
  [ 8868006286213883, 25301778664985280361, 58565716585222212455009 ], 
  [ 1337859731251, 4544192286004001929720408202922917780361101 ],, 
  [ 57224907211723681, 3920289995084776897, 11574005917431213761887464522529, 
      2611328823032962477114992286092743146209628706981633 ], 
  [ 4559049776368649750601004433 ], 
  [ 574088532520162453, 74705218011441698446238491208675519869 ],, 
  [ 586549711036607087773, 692955604336994802553, 1074230544376210109873 ],, 
  [ 75894342446195348662623799603397563, 
      236907330299024801073467225414323683923, 
      92824105168615588186774950937349943198060394117421 ], [ 1491133067 ],, 
  [ 84216527581, 4404877309587482066089969 ], 
  [ 5926190959922711, 4554697501861224247, 
      18553930355531779710044619952215615330683749757, 
      321766758730795705135689769142339996599465797714285569455459 ],, 
  [ 1535660309, 18173752547154177910276898377, 
      10780085710592579278122783874747428465923612365842817 ],, 
  [ 27813004657, 180648412659217, 320502067283625763 ], 
  [ 83263416174391682556770690653051 ], [ 10462645537, 654339581921 ],, 
  [ 2848817221 ],, [ 9342178175174143976973902296952614026519051764493493 ], 
  [ 2596142207347868442596070019 ],,,,, 
  [ 5312487032311187714702765495023303147 ], [ 423078701035267 ], 
  [ 10807489311481, 46581317046108161 ],,, 
  [ 74373044969, 40811158994976687128101 ], 
  [ 338920932481, 143606136148527911359155073 ],, 
  [ 6362152361, 2135306077219407679 ],, [ 63114152631362881733 ], 
  [ 25199224723, 8219864013973040762771, 115300768156555283006934259 ], 
  [ 2332339231, 347014883671, 297244283824870131851338940041 ],, 
  [ 3357719513, 277897964177 ],, 
  [ 131890182071, 1397690154361, 577152385322083 ],, 
  [ 34422653233, 78629467041907428777769, 3361794780923866459042010713 ], 
  [ 39852719549, 16070128355399 ],,, [ 20641111497065201 ], 
  [ 41944291100912550442796725997537 ], [ 2315271967 ],,,, 
  [ 33541219835937586837 ],,, [ 694763842915957 ],,,,,,,,,, 
  [ 1154147233, 25827036467160982740140176114633 ], 
  [ 1050848401, 6143420725017753335538251341 ],,,,,,,,,,, 
  [ 4152258311, 2997027473422559480121660668221 ],, [ 11842464881317660217 ],,
  ,,,, [ 39102558785360641, 104109689349198509 ],,,, 
  [ 2526424100028203591450104621 ],,,,,, [ 45348322909, 10201368109067 ],,,,,,
  ,, [ 85175172631771707289095367, 9141089226031407617046873779805173 ],,,,,, 
  [ 43431170634244039, 43533159433373313821625467 ],,,, 
  [ 6396912763, 7289425417, 19711686176437 ],,,,,,,,,,,,, 
  [ 5246386494721, 453770403352641601 ],,,,,,, 
  [ 31737338974835038242601, 44002022617288368316721 ],,,,,,,,,,,, 
  [ 812979343879 ],,,, [ 14401804750392751 ],,,,,, 
  [ 46568883371, 2940758230669880531 ],,,,,,,,,,,, 
  [ 23956395887, 1054841336882488771689163, 108384311047990187910872551 ],, 
  [ 123596688421 ],,,,,,,,,,,,,,,,,, [ 4697503001 ],,,,,, 
  [ 28598799907, 311601534621263 ],,,,,,,,,, [ 1726247826287 ],,,,,, 
  [ 322286994259369, 392652696751787473 ],,,,,, [ 716480853909040777 ],, 
  [ 232560773835726858887 ],,,,,, [ 13003173383777 ],,,,,,,,,, [ 2911447213 ],
  ,,,,,,,,,,,,, [ 172614985680498059 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,, [ 1521370243 ] ];
