BRENTFACTORS[415]:=[ ,,,,,,,,,, [ 1155868033 ],, [ 2873996613203 ],,,,,, 
  [ 17260100077091063 ],, [ 14449661227 ],, [ 2952851601783915479 ],,,, 
  [ 3542296495447 ],,,, [ 1710341623123305321307313125877 ],, 
  [ 325791408984600967 ],,, [ 26650079344117 ], 
  [ 2437683890132298056649073 ], [ 3171867943 ], [ 346364753279141088493 ],, 
  [ 8749461519208337, 1482469410437411086788736291 ],, 
  [ 4468022013282470776385183, 1893498621302701527111607589444632656409 ], 
  [ 507063692657354090281 ], [ 13845652201, 420843195596701 ], 
  [ 14537337132509 ], [ 253678049629726857320791312943 ], [ 3396281569 ],, 
  [ 284238565584751 ],, [ 31845631815302559853 ], 
  [ 156783508961399, 666118797062213100597040213063859 ],,,, 
  [ 511693606399 ], [ 202177963159, 155135900040733 ], 
  [ 1435895627, 108741338743 ],,, [ 63882084146915908738308234013259 ], 
  [ 1286043957135253 ], [ 6435989249, 2481735042433, 533569257647533531841 ],
  [ 58696745014051, 427269469137824216801, 
      3414453216551698137951589101953017466561 ], [ 2601220381 ], 
  [ 372340940690811491220426480523 ], [ 50452105097, 4007828476881041 ], 
  [ 1030465398799, 4228642390660543818298840086632438625541 ], 
  [ 207646477831804882674287592781 ],, [ 832087921164645923323849 ], 
  [ 1332657841511 ],, [ 28828970950690154386651 ],, [ 2972512451893189129 ], 
  [ 174624403497961, 31327308918269521 ], [ 15557708897 ], 
  [ 314666341921, 143147387869264481, 34215872096467319094721 ], 
  [ 823857416381491124393873017 ], [ 6202610858193458773 ],, 
  [ 2650940377, 65341186764052431541 ], [ 114391429326932711 ],, 
  [ 28784362903 ], [ 5033767993, 2116490925223048404207937 ], 
  [ 7129422153264874909 ],, [ 339400807747 ],, [ 8393648095057 ], 
  [ 15744616728878819, 9619893458366478305880202063784207 ], 
  [ 251066878077971, 341113840172711, 8617747393379281 ],, 
  [ 3070700245321, 584956052718791572787 ],, [ 47889530650678069 ], 
  [ 15273391169045223255001, 45519604143737739419803901 ],, 
  [ 721744773313460329, 3700110626125461979 ],, [ 341870940205393 ], 
  [ 3955998530955201571 ], [ 2139265982831, 365899366084796321 ],, 
  [ 9495234829, 3920198098228689997 ], [ 7127204273834308381 ], 
  [ 1358274846914014502098535628042281 ],, 
  [ 1215446737, 1801463847583681, 3136922605302371107792102549969 ], 
  [ 70465091441 ], [ 1897640948163909357210052625794669965439 ], 
  [ 984678844424348551 ], 
  [ 1400596993, 10373459617, 108662239426113155177207102273 ],, 
  [ 1075074740903, 37073795563084470799667 ], [ 138471198643 ], 
  [ 3733791094487281, 6005268859836125559908715028081 ], 
  [ 1771250381869, 2380914413021 ], [ 16499064957007855828488793 ],, 
  [ 383134771723437541757 ], [ 1855744001 ], [ 336630634239489787 ], 
  [ 18397412073277 ], [ 5682495233, 181864797935403411136667521 ],,,, 
  [ 1057194850141, 1076721595318807498401729218451285193 ],, 
  [ 406829085710914488289 ], [ 1086395896351 ],,,,, 
  [ 897417864656153301222161, 6754484926643847277271475199462211981 ],,, 
  [ 2554207657 ],,,,, [ 1515091393, 1683089449 ],, 
  [ 518374281197287176737946922515777751 ],,, 
  [ 1540725220747, 3130304918034997710037 ], 
  [ 999954606883, 1804664924547508717 ],,,, [ 153831024933407 ],, 
  [ 251046975537828867796380412961 ],, [ 1920760942548912346891 ],,,, 
  [ 186468552811, 6573599001290549, 80442297599541431 ],, [ 1605643611433 ],
  , [ 78466917341, 992229233592092401 ],,,, [ 3891073104892215497334097 ],, 
  [ 11956808123569, 601435511958689 ], [ 5159328397, 1989456606948991 ],,, 
  [ 1360819316741248081 ],,,,,, [ 340039907058312547 ],,, [ 165585634474303 ]
   ,,,,, [ 80825574546869 ], [ 26168666858881 ], 
  [ 46436765795533, 8976314677758215125297 ],, 
  [ 13071648569761, 183678718732147, 26006924135272411 ],,,, 
  [ 2867402403407 ],, [ 8311282117, 19474226581, 173477160256176001587697 ],
  , [ 1752885107 ],,,, 
  [ 521675224704462338809177201, 28756348668750023272796287844799702892987816\
21 ],, [ 4362335845761821 ],,,,,, [ 6297721559 ],, 
  [ 755613930792599341, 34094095158884339921 ],, [ 125453250488454451 ],,,, 
  [ 15232614701, 12332160166559 ],, [ 727420743250300103449 ],,,,,, 
  [ 411025117593637, 540053065884249644837166577 ],, [ 2349100813 ],, 
  [ 33224901991807 ],,,, [ 2884838683 ],,,,,,,, [ 1135409086314001 ],,,, 
  [ 3451746567016301 ],,,,,, [ 12111460065641 ],,,, [ 519959363617 ],,,,,, 
  [ 5207058811, 6777688143276541 ],, [ 294011341601 ],,,, [ 2562324109 ],,,,,
  , [ 44282844367, 37598977320943111 ],,,, [ 3343698292507 ],, 
  [ 30304697677841089 ],,,,,, [ 69879753679, 897264059761987 ],,,,,, 
  [ 777740499887029501, 73463926916910177301 ],,,,,,,,,, [ 2471457641 ],, 
  [ 856879389601 ],,,,,, [ 56063862305221 ],,,,,, [ 1554114435409 ],,,,,,,,,,
  ,, [ 8897453041, 4113317729473 ],,,,,, [ 3374895331, 25908865794921079 ],,,
  ,,, [ 52395273241 ],,,,,, [ 37066077991, 3038878036837 ],,,,,, 
  [ 233375296321 ],,,,,, [ 12260564461 ],,,,,,,,,,,, [ 37288806598126441 ],,,
  ,,,,,,,,, [ 1673419160401, 2988343704278791, 3936662192503951 ],,,,,, 
  [ 89276616397 ],,,,,,,,,,,, [ 1565151649, 32445065761 ],,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,, [ 32373177301, 12448511178751 ] ];
