BRENTFACTORS[712]:=[ ,,,,,,,,,, [ 224737402319 ],, [ 29647190821 ],,,, 
  [ 12467191186641546343 ],,,, [ 26011912291 ],,,,,,, [ 9343250499521 ], 
  [ 37326201983244210130713851267179871 ],,, [ 200670009396737 ],,, 
  [ 1990314691, 101608899631 ], [ 95621671873788157 ], 
  [ 5705862889537, 1827899837775547, 33257260097069691481 ], 
  [ 42014679795211 ], [ 942953191113176082841 ], 
  [ 45736286521, 5353916867641 ],,, [ 629252133049, 1903172017770267889 ], 
  [ 231927194651232645969736861 ],,, 
  [ 5015693321126566734598365895177241777953886837335993 ],, 
  [ 5157281074385770340778447136397627, 579189640713584675029824987736573543 ]
    , [ 1478224457701, 15325686002351 ], 
  [ 2516926297, 371367480709, 121057085918564673659252195796832279 ], 
  [ 7383781310693269 ], 
  [ 119220124537, 10402002192198073, 12677208497714759412507528501974351012786\
3 ],, [ 491179749729241, 213526826981159641733152293441533352390672967801 ], 
  [ 1663677233, 1485070736353, 486013440719655020929 ], 
  [ 1054427170189, 87059424834920027107, 12577088710156163094721 ], 
  [ 2549676463, 287924402882227 ],, [ 111813614461, 109135470609961 ], 
  [ 49699652839820981 ], [ 7601939237850113656853693410183 ], 
  [ 169956133957, 69086177156928415681 ],, 
  [ 203409770981, 561853779357911, 122325406521604923009875748552862285211 ], 
  [ 236843163943 ], [ 14776717301440951807 ],, 
  [ 269896822521816282262530727, 76011264723490863526898582503, 
      904456222480351462035862692289 ], [ 497060636591 ], 
  [ 7699505024399, 1420650676167971, 2352787996591824380506030787, 
      364134244449448194247531847358703 ], [ 348245607597335233968088729 ], 
  [ 2043328879937502529, 176443608837784569769 ], 
  [ 5177880011466424087411759 ], [ 6548277365878894951 ], 
  [ 2361233787848917, 1759522135651581305821 ],,,, 
  [ 36164025697857129060641, 118178995886578830999393391121 ], 
  [ 1554186294209917729, 16250562012149270497 ], 
  [ 5596501969, 25310611891597, 307744541781318059827 ],,,, 
  [ 10143520286093863, 87305742001049246959, 7194359960951384565306244363 ], 
  [ 2521942316989, 466142495539081 ], 
  [ 4166216775297683735445077238011414953 ], [ 31917151128223 ], 
  [ 2359662249871 ], [ 276559910296578323143 ],,,, 
  [ 21305634964921, 10892942014265671 ],,, 
  [ 1891255726844807, 5084743268532042468345674346862742791 ], 
  [ 257510040269912329877040389041, 5727474830660391030901848220459, 
      14484731373048090070627770503863, 
      13158385147552236104931634154335507111 ], [ 38310218897746196629601 ], 
  [ 582738204599657 ], 
  [ 96282967189543, 311260413812167, 104942307048903060517483 ],, 
  [ 10009783577, 31730481370849 ], [ 2726789521 ], 
  [ 1084008470849, 990710871220999 ],, 
  [ 10719750522814561, 68947399083031849, 4290433350844290002582192055793 ], 
  [ 6564469411 ], [ 16383785881, 213955243296767943381401 ],,,, 
  [ 744489339248100451 ], [ 426043816831 ], [ 3035830645093 ],, 
  [ 135593074354767577 ],, [ 709534381472277920756448664081 ], 
  [ 110481364489 ], [ 108669902298367561 ],, 
  [ 16815241589, 11381956226357244868217 ], [ 685501981501 ], 
  [ 4723860491029, 423399498532048081 ],,, [ 894950492316009937 ], 
  [ 5706965080784761, 21180150651114493438956271, 
      472177329754864719834118096244763684936452831 ],, 
  [ 230462690173, 500505863201439011230470740003480413 ], 
  [ 4356949661, 151434432059093 ], [ 5680311457, 1534554664524887 ], 
  [ 42388965901, 90996025480039640161, 735188267001523532401 ], 
  [ 1423686217 ],, 
  [ 73929879847, 3707077185345946537, 198869982009998887879, 21665963103459604\
0904989 ],, [ 354690711341, 42240500428001 ], [ 528781947788963371 ], 
  [ 154949634830467896330154048457058676058918587 ], [ 29014850299634057 ], 
  [ 2989053937 ], [ 151815192271, 3041461474905121 ], [ 2715858713 ], 
  [ 421076430559 ],,, [ 2436202827331984351 ],, 
  [ 208425799633, 1489054130201249 ],,, [ 1784329621 ], 
  [ 696376321519797924715403586070387518549299546031626106481 ],,,, 
  [ 97861023509042669761 ],, [ 610819065231247 ],,, 
  [ 182669930404313551, 3428375866242949226551 ], 
  [ 488703423314341, 15611036533182427, 43476821797530554337059 ],, 
  [ 49971304022539729083132069988648018441 ],, [ 4875851261 ], 
  [ 515794227832099, 17853773878579519 ], [ 1103317049 ],,,,, 
  [ 160345167687277 ],,, 
  [ 53820522929521, 3212409845384791708518423550703692355977929709261 ],,, 
  [ 8285705066377351 ],,,,, [ 250218895427886056417 ],, 
  [ 6781723812371, 2476984455435541 ],, 
  [ 67727760968641, 854006144693904880875404999327689729 ],, 
  [ 192123664335778187 ], [ 10120885695961, 858780070600141, 8601808049569411 
     ], [ 12611860297 ],, [ 27197838163 ],,,, [ 54142519147 ],, 
  [ 2902700590906727590669 ],,,, 
  [ 28071478657, 64856068369, 7822252182672721 ],, 
  [ 452580935705487792789994816652295741271, 
      2793572255990771756192374609788041497987531 ],,,, 
  [ 1163348210903, 1481202575683 ],, 
  [ 179738665201, 16858312377759649, 798087925298544894189844201 ],,,, 
  [ 8903589076654219308461 ],,,, 
  [ 243395788877249, 28186372665515681, 867830854894441261601 ], 
  [ 115080054751 ], [ 1509455405947, 8723911010653259 ],, [ 2251111036033549 ]
   ,,, [ 53337322963, 4162990354447 ], [ 1312968168761 ],,,, 
  [ 93808434457657, 7747830562980061131257 ],, [ 1855936065649 ],, 
  [ 5418097681, 210482456653267541112481, 43091190633921249144458546641 ],,,,,
  , [ 27668000489249929 ],,,, [ 7683565254532501 ],, 
  [ 9756776233, 740574580789, 13456755859398931685143441 ],, 
  [ 13277129320087033 ],,,, [ 3528392718919, 191125737153787855938031 ],, 
  [ 959287850683241 ],,,,,,,,,, [ 269318819828791 ],, [ 48246833137 ],,,, 
  [ 57399331669, 58358181613, 3969447604142173 ],,,,,, [ 150614702172504643 ],
  ,,,,, [ 52582032277921 ],, [ 1856227361, 347611388981, 12317592091903881701 
     ],,,, [ 4744354525849 ],,,,,, [ 33933147601 ],,,,,, 
  [ 1395476281, 12974241160532402077861 ],,,,,, [ 10096511419672393 ],,,,,,,,,
  ,,,,,,,,, [ 32633717491 ],,,,,, [ 251317507843684129 ],,,,,,,,,,,,,,,,,, 
  [ 26080052556193, 895477427340751 ],,,,,, 
  [ 1284996241, 100996114321, 53147194505641, 1338740799947641, 
      1861046782982641 ],,,,,,,,,,,, [ 112998667079281 ],,,,,, 
  [ 19724809987, 2198987330401 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 9561451033 ],
  ,,,,,,,,,,, [ 3049705261, 835528285621 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,, [ 13638345337, 37947179268307 ] ];
