BRENTFACTORS[80]:=[ ,,,,,,,,,,,, [ 1473593629 ],,,,,,,,,, 
  [ 92058853424843339 ],, [ 423566631700151 ],,,, 
  [ 191509164991, 11463232291481 ],, [ 3511179609194203772129 ],,,,,, 
  [ 1017551639524536611119 ], [ 764993742869 ], [ 15122628910236121 ],, 
  [ 243577788274992327500455159021 ],, [ 13313219509 ],, [ 317316603783601 ],
  [ 266272198636700083 ], [ 844964651784791, 2428640285371458635125769 ],,, 
  [ 7809552867001 ], [ 155589290809, 988225370551, 773503786549129 ],, 
  [ 2012543879, 288438929351, 24041632085951495959 ],, 
  [ 37624871301777205240194511 ],,,, 
  [ 235499205169, 581053099699, 11140580449066083524598793189813724302771 ], 
  [ 2632330801 ], [ 57250710187259, 8790954381366757534917445825491614994079 
     ], [ 344300248085770063 ], [ 948827033803208230438090681 ], 
  [ 377921807318593217 ], [ 3644083691, 4453714201 ], [ 270688839961 ],, 
  [ 32777424601, 35653840921 ], [ 1858739910928921 ], [ 518397496161161 ],, 
  [ 2438412449564695969 ], 
  [ 8846916222681361605356841345224742479737093161294222912203461 ], 
  [ 40292296483 ], [ 80016783203551, 9541677632766345775801 ], 
  [ 373981158037, 6610711111419715206169 ], 
  [ 1169932913582867823209722467542623571 ], [ 439146700669 ], 
  [ 181113265579, 197183559969156707942711022984269, 
      315111363919061042803799026178461 ], [ 18275780161 ], 
  [ 1679652501841, 58159129734042583785465717113671 ],, 
  [ 18315407029566660204008262380641 ], [ 20257251253 ], 
  [ 12252700531, 471691658551 ], [ 233531787487 ], 
  [ 1756859276009281909, 8593264027324542006567812829524932606411 ], 
  [ 79021863429867315924778241 ], [ 7815045930267598753259 ],,, 
  [ 22632807653268035677, 24624402731055538371054001 ], [ 8793970261 ],, 
  [ 39548118661553340444656631651151, 54760838382390470548532205280647941 ], 
  [ 1374660289, 167387679197500381441 ], [ 165828084749 ],,, 
  [ 2371047401, 147106811404601 ],, [ 28676249401 ], 
  [ 25417115101185264749 ], [ 13601849249, 6730174969403200849 ], 
  [ 2285184578041, 9811812760261, 120666379502341, 15267934021661789161 ], 
  [ 52118565761749, 547622733256923457695306687251927 ], 
  [ 131348322753085626333269351574570520951 ], [ 165079727428801828962169 ], 
  [ 65433120407989489, 3247602064132502063417699 ], 
  [ 186796351205412836141 ], [ 4479680281, 5289685223101316601001 ], 
  [ 5810100017, 2094848204624697761, 2815078435482209233, 
      22074433326854994737 ], [ 44618038670407109, 111635904109079479 ], 
  [ 21695594033041 ], [ 50533660544166516627168367983185821 ], 
  [ 48895060432213, 587407531780545617292693056474932755332969 ], 
  [ 34112943278335351, 52109794295141344826192498449178078385741112441 ], 
  [ 3575166411141678304521033155603392082808527 ], 
  [ 44232663257039041, 228925459908704186168986649 ],, 
  [ 7296610985896528243374276699116719 ], 
  [ 5320657002569, 70926612762932632406255735749 ],, 
  [ 8427213701681, 61871704368094663869508095568493 ], 
  [ 10547858265001, 477509193115959001, 14079072646596438751, 
      684144083559515648974001 ],,, [ 24832147320664610032098398424936961 ], 
  [ 7657537531999, 858303543248169901, 793332894238646526379 ], 
  [ 3416871674919158699528742801241 ],, [ 21650037289 ], 
  [ 335433368538254210127247849 ], [ 1855172381 ], 
  [ 35168368530603921827691691 ], [ 1407261497 ], [ 72159161771 ], 
  [ 117726775204963, 160596966970723 ], [ 117034054069, 2508125940169 ],,, 
  [ 970393912049, 20979051375641 ], [ 5935986629 ], [ 20987395201 ], 
  [ 95260604191891, 54738816574374731 ], 
  [ 96527325449015768314083277463, 42504376460372005756093117533490877712581 
     ],, [ 2091802253, 728906098061295985096831386840277448206837 ],,,, 
  [ 147894383394881, 79131769090979483125024527496267601 ],, 
  [ 215761074227835605341806369267930724513377029 ], [ 72981503446771 ],,, 
  [ 34642370107, 24430398460903, 10412036168352858409, 
      1250333465559118143593922375729033961 ],,,, 
  [ 2754136287361, 4070587786694101 ],, 
  [ 4649926441, 120282240381239033546624575739115113413 ], 
  [ 10591411848601 ], 
  [ 14517164801, 62003743689676127, 31058564479563602587693319986852621 ],, 
  [ 13343211841, 21292765359497708161 ],, 
  [ 46344991222476018181966821019564773579171841 ],, 
  [ 498382716649, 378120544419173 ],,, [ 16519435735601 ], 
  [ 1349786627814241, 12666129277105208752626122706209 ], [ 34526629609 ], 
  [ 317248071409, 6687555826123 ],, 
  [ 31192453648418818321, 331340541893675040721681 ],, 
  [ 13142369705349876710769926721308273835549188772224315988176389 ],, 
  [ 111907633251653555990762849639786461384821097 ],, 
  [ 4464317552407, 136665080954300415515606341 ],, 
  [ 3755905171813, 11622487501112849, 
      63275176513675676701986392836870312954650027089 ],, 
  [ 807115681681, 232277318071244225573788941904859761973883309749621 ],, 
  [ 15567219841 ],, [ 63973416865424217587 ], [ 6591627901 ], 
  [ 65532113921 ],, 
  [ 2625479407, 115643429310177548142661, 11935171798229644025656192643827 ],
  , 
  [ 765229481571856001, 31611307638369813222834001, 2664064090602058410659695\
03270001 ],, 
  [ 1497761010841382881487, 77918110697807724035929, 481376586239450480787563\
4279708453708649 ],, 
  [ 12907522974169, 610020638148024601, 89590752854612047399797769468536649 ]
   ,, [ 1533148453432053083 ],, [ 38634384528953048161 ],,,, 
  [ 1401744285439132510017386681 ],, [ 489061139807, 6547085392652569 ],, 
  [ 94433884247622313, 202906414963811403433 ],, 
  [ 15099636546566476441309920238067 ],, [ 652347425883121 ],, 
  [ 40531712962949720007259483, 93057945274146663465563284507 ],, 
  [ 124721793601929111797441 ], [ 117343557901 ], [ 10609504055009 ],, 
  [ 1061071702597, 15251045891797, 1625427035839430187251689 ],, 
  [ 274753689787910967241 ],, [ 2867232553, 14341730644886473 ],,,, 
  [ 45170600042451018855672398969 ],, [ 185343699521, 1909130786389 ],, 
  [ 74791579201, 219872133121, 1439367644024161 ],, [ 67180036129603 ],, 
  [ 28175369034168938377146529 ],, [ 31501860239287513966658697553950829 ],, 
  [ 12202358090471843981662932989113 ],, 
  [ 10277371501, 237990653911931130589750582762501 ],, 
  [ 36325122050197, 4569958045064793334122839915281, 
      14803679806795934006670200150498881 ],, [ 2216887109, 1106963406847 ], 
  [ 2556598231591 ], 
  [ 42815136667084289, 3930113618784229889, 386828555720736240341301132149470\
73 ],, [ 1250845582082651734377307 ],,,, 
  [ 4206093767, 8050460919348338441, 109234317405030620374292641, 
      42050918649768821764817582123638063 ],, 
  [ 18477664129, 10939466446173673, 26828139024723427575049273, 
      50187329818489776873246306846543024550064449 ],, [ 74548618695587 ],, 
  [ 5997618961083540613 ],, [ 445837631761 ],, 
  [ 100865161968357089, 1831127942933270209 ],, [ 2380687909 ],,,,,,,, 
  [ 33620221411012567 ],,,,,,,,,,,, [ 1557182467 ],,,,,,,,,,,, 
  [ 63939145843 ],,,, [ 7220877121 ],,,,,,,, [ 3242943446056302787 ],, 
  [ 3536981509121, 874913182055041 ],,,,,,,,,,,,,,,,,,,, [ 8192203441 ],,,,,,
  ,,,,,,,, [ 590661601787581 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,, [ 92204736538561 ],,,,,,,,,,,, [ 27845037361 ],,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 5331188349901 ] ];
