BRENTFACTORS[519]:=[ ,,,,,,,,,, [ 56392592609 ],, [ 466076590123 ],,,,,,,,,, 
  [ 130543489057 ],, [ 29926730101, 12109367233801 ],, [ 27549142556941 ],,,, 
  [ 111874052148359652231770000851 ], [ 31520086823521 ],, [ 419093942893 ], 
  [ 7661341116434807955485081 ], [ 1200937429 ], 
  [ 1281194413, 270346832103852151 ],, [ 9863660814151 ], [ 10120140201161 ], 
  [ 1478305021, 46512146437, 22193508123470447, 809196325268853591778548629 ],
  [ 42083575981357 ], [ 779783549021 ], [ 6823539757, 1129568404801 ], 
  [ 65778262201 ],, [ 29278969460793709, 3075805111969914382682839813523 ], 
  [ 412059904273 ], [ 1326409127 ],, [ 1206554751727856638248613 ], 
  [ 6199664925533 ], 
  [ 61414017180319619, 3285510682085493262613, 7823390099540248411265334152712\
05289005281 ],, 
  [ 1042849501, 4061102531030923951, 61309069292743496543991801690339131 ], 
  [ 17378612161, 87077919451993 ], 
  [ 8283521467357613239639, 86937234598137889150386834939270889 ],,,, 
  [ 3235135489 ], [ 1621248107 ],, [ 44428872117827032372989563841089 ],, 
  [ 7259958158755351237 ], [ 1225792130579 ], [ 459101098312858203654822541 ],
  [ 1030250532158233 ],, [ 19429359167 ], 
  [ 17252651809, 374286909673, 558011594992379617 ],, 
  [ 6907532972247579818417, 165052531690264270128817229 ], 
  [ 2629433814001915324601321659651 ], 
  [ 5628490613, 1291330178029, 66831712766786366111043157 ],,,, 
  [ 63255799121, 1718883499160677594815601 ], [ 3109529737, 53405515654723 ], 
  [ 40942049940924290586435330462316625251 ], 
  [ 2260790805853, 9354911254756614638576333 ], [ 125801545801 ], 
  [ 3577711670775430291 ], [ 362438518714057, 54906201477925885488691877 ],, 
  [ 719161451977, 2391559442932553126190148090363543817 ], 
  [ 1174197271531, 10221340619441057297 ], [ 18615709700101, 209789657287471 ]
    , [ 6773080875653, 8295488719296689, 24238569208376853907487 ], 
  [ 20031501891424686414889 ], 
  [ 346334501097501997681503109, 5630736610774309580959405147 ],, 
  [ 4485627485851, 1129660878410201, 3387176694261202992271 ], 
  [ 849744041273104888609, 25351159699826416951393 ], 
  [ 23905219045108403, 78253128100454745392407 ], 
  [ 2177411144622877880322840849097066300627 ], [ 212242309280893 ], 
  [ 5936749310850601, 83616487849605779501 ], 
  [ 15528540527, 3102652559989834484909 ], 
  [ 65493555973, 23348604854238320553390986968135711 ], [ 3397267129 ], 
  [ 4179910880809, 54332160328298337368672881 ], 
  [ 1952073061, 17344102008241, 241551818721583861 ], [ 1246983106919791 ], 
  [ 67539261137 ], [ 17186970230370361 ], [ 30493204712903 ],, 
  [ 121601281709714461 ], 
  [ 396947513089, 188726136699484330517493295850078447885826806321 ],, 
  [ 420316307493692247919254539754802579093 ],,, 
  [ 9856203787, 114993045649, 1015571869684916779 ], [ 312896149538632129 ], 
  [ 165178188953 ], 
  [ 720583297801, 87443609448961, 668824932212728901303768831041 ], 
  [ 81209908502053 ], [ 105757506577, 1473885751130359356354053452679 ],, 
  [ 55416578981 ], [ 16597089668113001 ], 
  [ 1570480218825906765259, 76744772768929999779739 ], 
  [ 3031849157, 25276639542887 ],, [ 267141592709387269, 1376157582141175597 ]
    , 
  [ 1824662920599838833188287406067301, 18940193946489972716276879224550785961
     ],, [ 140696004637, 1256481759555661, 3664565912492810616780691640340673 
     ],, [ 145188444839, 6402032097023 ], [ 9525097261 ],,,,, 
  [ 63227170203961, 928582373733225121 ],, 
  [ 87088134889367, 4765305076205877464618051128703 ], [ 178815617039203 ], 
  [ 459229498458605589263297075647452862483182193 ],, 
  [ 13923801877, 1244054525481277, 432429420426420679 ],, 
  [ 208466892346278048797, 3926542473759443976541 ],,,, 
  [ 11565097544603201, 13717159886332478584097825137, 
      1492118034649542719167076407841 ], [ 321856453351, 171275482273063411 ],
  , [ 13522599816301, 108401674550921 ], [ 16006507141 ],, 
  [ 3192065977393, 418637945916331 ], [ 2016340942579856143 ],,, 
  [ 22500011196863750039812036763332161727 ],, [ 609354439159577 ], 
  [ 1075218541 ], [ 101197583789347 ],, 
  [ 267131317679155309838537857, 151811258965233935713899565715379520927485481
     ],, [ 695704811061613393891 ], [ 4767223843 ], [ 3219810589 ],, 
  [ 1289941396027, 241308584525507731 ],, 
  [ 3764157521449777, 10672020826025857, 11029534965545747377 ],,,, 
  [ 1085908878490952878712475196329794185760521 ],,, [ 2673271453268287 ],,, 
  [ 5694763117, 103035159913831, 343107525697754206117, 
      166718042047192928338633, 620256117701960651053571213599 ],,, 
  [ 1492587433, 69304497319 ], 
  [ 23189388281, 555181707326321, 306618053011315401735781, 
      14416932716770988941537571 ],,,, [ 270809166223397 ], 
  [ 38366882581, 97295563455404731, 1878362188195559431 ],,, 
  [ 78128028272936347267607299 ],, [ 4219538176801 ],,,,,, 
  [ 163027408729, 8252181032969 ],,,, 
  [ 14840818824020719761514585157428841177323455931 ],, [ 476311840793 ],,,, 
  [ 674365389492889, 12472859339662191948193321 ],,,, 
  [ 331640081741, 51505703988421 ],,,, [ 4204794449834273 ], 
  [ 112494963601, 11369742777115201 ],,, 
  [ 232889701453, 2554843881566341, 45846333323965921, 
      117387762861900266934707521 ],, [ 272244910061 ], [ 42555893689 ], 
  [ 14744877636529 ],,,, [ 2124268952209 ],,,, [ 2736764482667521 ],, 
  [ 2485670877163 ],,,, [ 264757679581 ],, [ 5855464169017 ],, 
  [ 257048290117339482055117751 ],, 
  [ 201920721157, 4524463214179529699763721 ],,,,,, [ 1100717654441689 ],, 
  [ 3751592169001 ],,,, [ 20738039665114729 ],, [ 11107491039793 ],,,,,, 
  [ 63791660609, 183461380097 ],,,, 
  [ 6695523193, 150293438386987741, 1955467972853588233, 
      319149072989570575861 ],,,, [ 54991045242897389824810441201 ],,,,,,,, 
  [ 12332159898643009 ],,,,,, [ 235850532936523 ],,,,,,,,,,,, 
  [ 124296259430406081169, 201333989062550872009 ],, [ 3127214445791300173 ],,
  ,,,,,,,, [ 3087274956217 ],,,,,, [ 20873356237, 1272802869109 ],,,,,, 
  [ 171794233572391 ],,,,,,,,,,,,,,,,,, [ 23639453752489 ],,,,,,,,,,,,,,,,,, 
  [ 89468030455518217303 ],,,,,, [ 2562287269, 20823229729 ],,,,,,,,,,,, 
  [ 677400272257 ],,,,,,,,,,,, [ 1621461569113, 1319563145918161 ],,,,,,,,,,,
  , [ 2834222593 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 7079711029777 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 470011018269511 ] ];
