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 ],,, 
  [ 429905758180413633468024775816828725077 ], 
  [ 384180191671, 3047899314965432210712031612351 ], [ 28615780547655601 ], 
  [ 3806582228521, 67776489779253053011 ],,, 
  [ 140495619966101, 693128329340299192949731 ], 
  [ 35232500053, 7766130173689, 340801506876062492779357, 
      652098348208287400914289, 1754584723733815131518876941 ], 
  [ 256994201748988109159424257077 ], [ 4404244108910731 ],, 
  [ 91700732551, 63277681384643877901, 5960136042489921667745466928301 ], 
  [ 31809471706576609 ], [ 68259547636548023031061 ], 
  [ 118293272961343294236707411837556445045369798697 ], 
  [ 57843470521, 77720790083, 243229317470042903, 
      92729755938003878173301813296607147 ], [ 207691902001 ], 
  [ 1856906464287495109205730619 ], 
  [ 2916318790400475597229, 914460884935431498198470717283049 ], 
  [ 68645282057629 ], [ 1714618866808633, 699034638901535858511590284362577 ]
   ,, [ 3640352510713 ], [ 5885466130954928395597963 ], [ 29174887913 ], 
  [ 643301081322733 ], [ 57323802181, 108417380671, 294798968801 ], 
  [ 9073197533, 16278226258755846062473 ], [ 5502533014277739311301121 ],, 
  [ 80763918647, 1044377067137, 746630845953751433 ], 
  [ 3308278256026098301966428613621 ], [ 1951582844417508467257 ], 
  [ 121291036381, 203633207302960700675574949, 
      1558657985408498699711044341721756687 ],,, [ 35184941201 ], 
  [ 1499065237 ],,, [ 556265177885869965100900914004037989 ],, 
  [ 795356493696100735275858305466442450979 ],, 
  [ 11921717317891576212964238697496225698902188241 ],, 
  [ 59917494450031, 289538680721431 ],,,,,,,, 
  [ 17059776827, 178757261421937364583811211 ],, 
  [ 25279866481, 439458669164322281 ],, [ 13167515699865341218291 ],, 
  [ 391311355715212577, 670126218677699760257, 28563711086984951561342849 ],
  , 
  [ 231494967593408932347161, 71485574316650506111934357340607170455250536465\
0115939407 ],, [ 87728062969, 63496047634407305148193 ],, 
  [ 448462689347283936140952301423321632341 ], 
  [ 290231135192356844734566736111 ], [ 117348794783522857 ],,,, 
  [ 2137436868392576378753742282490375892837 ],, 
  [ 14230938972707364866904631537844001569416081 ],, 
  [ 45741970047992830418106206245201 ],,,, 
  [ 1135764727383323495449, 5718069471437660205850045735213 ],, 
  [ 36743833051, 962356121193062757435287872191585643 ],, 
  [ 3495146833, 42322724953, 382269424964985006093423102821975081, 
      57262924888295522261407090782521899957787041 ],, 
  [ 67280788110300060936879628751 ],, [ 15568640961301, 5505240045504667609 ]
   ,, 
  [ 7763194787, 235815496619, 45245926401161760977500921527971843611497920629\
65544923547438439 ],, 
  [ 33225725139813889, 754656840241231034881, 12318752177608821548801 ],, 
  [ 967598144192139259, 5947171668279705271, 101557564126249673041 ],, 
  [ 29742009376601733041746528172368311797231415121778161 ],, 
  [ 32228870928416430067 ],, [ 14684799796605641917633 ], 
  [ 17659696912855321 ], 
  [ 1003878149, 16832766217, 1398307221557, 68999209391426790757 ],, 
  [ 3269963183953, 9698334048518927281341930216877 ],,,,,, 
  [ 5789399623993, 1057482046145647 ],,,,,, [ 16429010813881 ],,,,,, 
  [ 20271129451, 973147631947429212231313320316954859687, 
      45700309117669323824028437641822324985920393 ],, 
  [ 8965830241, 472594473124993, 27592829534412376509944696269537 ],, 
  [ 1315211409858295604581107271920860265251, 
      117128073472682790932525142034997817976207361 ],,,,,, [ 1323466913 ],,,
  , [ 50354695689851837101, 593988948836648425018473546817927201 ],, 
  [ 103165893011917, 2149720924253859937540936879, 
      932526537885281715982339130431, 8478879797917775808814487846858417491 ]
   ,, 
  [ 1768911570241, 38184210988752567254945089, 163275467629926042283407634064\
707949509633 ],, 
  [ 1303371889909660514142359779831449661, 3289018298807197077183173727953307\
2323 ],, 
  [ 289300378289693, 48565026713061620388848761, 136009377776028563669841133,
      77177312600790206536161158681569 ],, 
  [ 3353091667332000557355258898476581, 
      24713747650831507186753396363449350241482551 ],, 
  [ 43041847333075341359490337, 258736314675653076939912808873 ],,,,,, 
  [ 16897922306017996133031782037481939 ],, [ 1244461084375681 ],, 
  [ 156357556297984133, 1099559542622438003, 1456564526682329807 ],, 
  [ 325743096997, 1420523239112402323617530000762581 ],,,,,, 
  [ 8158445832086761035157741, 2481953419044452308291386601 ],, 
  [ 1554087340256332088279669 ],, 
  [ 3032549327, 4366334239, 201714162954751, 55595199762510306536140064423 ],
  , 
  [ 17984201028296497, 27328316054495569, 26168871234858167232514678609739331\
3497473 ],, 
  [ 5602771487, 1045514232116310503, 13483079771549708010129052511, 
      65757587142849585350510266694897, 
      20850827308341047477060095671611227593433543 ],, 
  [ 276042949798801, 13566662857203169411139937361 ],, 
  [ 82387544623507621, 193915648706998033, 74467893982468644068341124521, 
      67049617990914529984062933953362543 ],, 
  [ 79798641137, 71641757566820668192019017, 117155797569986196097392257 ],, 
  [ 96327484711, 5771606046967574197 ],, 
  [ 1048751593, 16014434869, 880241496558577, 
      9851659425720933034988128674373, 4265941002323607878469401745539312869 
     ],, [ 1337859731251, 4544192286004001929720408202922917780361101 ],, 
  [ 57224907211723681, 3920289995084776897, 11574005917431213761887464522529 
     ],, [ 574088532520162453, 74705218011441698446238491208675519869 ],, 
  [ 586549711036607087773, 692955604336994802553, 1074230544376210109873 ],, 
  [ 75894342446195348662623799603397563 ],,,, 
  [ 5926190959922711, 4554697501861224247 ],, 
  [ 1535660309, 18173752547154177910276898377 ],, 
  [ 27813004657, 180648412659217, 320502067283625763 ],, 
  [ 10462645537, 654339581921 ],, [ 2848817221 ],,,,,,,, 
  [ 5312487032311187714702765495023303147 ],, 
  [ 10807489311481, 46581317046108161 ],,,, 
  [ 338920932481, 143606136148527911359155073 ],, 
  [ 6362152361, 2135306077219407679 ],, [ 63114152631362881733 ],, 
  [ 2332339231, 347014883671, 297244283824870131851338940041 ],, 
  [ 3357719513, 277897964177 ],, 
  [ 131890182071, 1397690154361, 577152385322083 ],, 
  [ 34422653233, 78629467041907428777769, 3361794780923866459042010713 ],,,, 
  [ 20641111497065201 ],, [ 2315271967 ],,,, [ 33541219835937586837 ],,,,,,,,
  ,,,,,, [ 1050848401 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,, [ 5246386494721, 453770403352641601 ] ];
