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, 
      4331871038802193939481021 ],, [ 3070700245321, 584956052718791572787 ],
  , [ 47889530650678069 ], 
  [ 15273391169045223255001, 45519604143737739419803901 ],, 
  [ 721744773313460329, 3700110626125461979 ],, [ 341870940205393 ], 
  [ 3955998530955201571 ], 
  [ 2139265982831, 365899366084796321, 205177732079223834923136958397065641086\
927780129 ],, [ 9495234829, 3920198098228689997 ], [ 7127204273834308381 ], 
  [ 1358274846914014502098535628042281 ],, 
  [ 1215446737, 1801463847583681, 3136922605302371107792102549969 ], 
  [ 70465091441 ], [ 1897640948163909357210052625794669965439 ], 
  [ 984678844424348551 ], 
  [ 1400596993, 10373459617, 44557365046970880029040061, 
      108662239426113155177207102273 ], 
  [ 16226332732967040655687, 13581094624357800537971299 ], 
  [ 1075074740903, 37073795563084470799667 ], 
  [ 138471198643, 11491723533274744466917841 ], 
  [ 3733791094487281, 6005268859836125559908715028081 ], 
  [ 1771250381869, 2380914413021 ], [ 16499064957007855828488793 ], 
  [ 2388010237446279891978835543 ], [ 383134771723437541757 ], 
  [ 1855744001 ], [ 336630634239489787 ], [ 18397412073277 ], 
  [ 5682495233, 181864797935403411136667521 ],, 
  [ 14898939960975843010580941363674198167323597052344716467651 ],, 
  [ 1057194850141, 1076721595318807498401729218451285193 ],, 
  [ 406829085710914488289 ], [ 1086395896351 ],,,,, 
  [ 897417864656153301222161, 6754484926643847277271475199462211981 ],,, 
  [ 2554207657 ],,, [ 811414963546601266813, 21240561470088841639816199 ],, 
  [ 1515091393, 1683089449, 2832748505438689849933 ],, 
  [ 518374281197287176737946922515777751 ],,, 
  [ 1540725220747, 3130304918034997710037 ], 
  [ 999954606883, 1804664924547508717 ],, 
  [ 167932168957534277044533746182482869929309 ],, [ 153831024933407 ],, 
  [ 251046975537828867796380412961 ],, [ 1920760942548912346891 ],,,, 
  [ 186468552811, 6573599001290549, 80442297599541431 ],, 
  [ 1605643611433, 24020183915716945349302043468579251931594549377 ],, 
  [ 78466917341, 992229233592092401 ],,,, 
  [ 3891073104892215497334097, 1502650362500977442148155914711 ],, 
  [ 11956808123569, 601435511958689 ], [ 5159328397, 1989456606948991 ],,, 
  [ 1360819316741248081 ],, 
  [ 2193316757598052119784388093, 16414493806726252235627536363 ],,,, 
  [ 340039907058312547, 634886602662457174932559 ],,, [ 165585634474303 ],,,,
  , [ 80825574546869 ], [ 26168666858881 ], 
  [ 46436765795533, 8976314677758215125297, 107609124881997667576348457 ],, 
  [ 13071648569761, 183678718732147, 26006924135272411 ],,,, [ 2867402403407 ]
   ,, [ 8311282117, 19474226581, 173477160256176001587697 ],, [ 1752885107 ],
  , [ 55939414681737906898801 ],, 
  [ 521675224704462338809177201, 287563486687500232727962878447997028929878162\
1 ],, [ 4362335845761821 ],,,,,, [ 6297721559 ],, 
  [ 755613930792599341, 34094095158884339921 ],, [ 125453250488454451 ],,,, 
  [ 15232614701, 12332160166559 ],, [ 727420743250300103449 ],,,,,, 
  [ 411025117593637, 540053065884249644837166577 ],, [ 2349100813 ],, 
  [ 33224901991807 ],,,, [ 2884838683 ],,,,,,,, [ 1135409086314001 ],,,, 
  [ 3451746567016301 ],,,,,, [ 12111460065641, 4557728455330896821 ],,,, 
  [ 519959363617, 19807296995160231592729 ],,,,,, 
  [ 5207058811, 6777688143276541 ],, [ 294011341601 ],,,, 
  [ 2562324109, 62279573316441367665013, 48678630458181805904427841 ],,,, 
  [ 54122913632527556881 ],, 
  [ 44282844367, 37598977320943111, 6605460377467586504781328603 ],,,, 
  [ 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 ] ];
