BRENTFACTORS[13]:=[ ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 3357897971 ],, 
  [ 67495678093, 4287755796749 ],,,, [ 6740847065723 ],,,,,, [ 19216136497 ],
  , [ 28082195177 ],,,, [ 189541180943969, 8403659652641423 ],, 
  [ 13545148572117361 ],, [ 796956375829 ], [ 8546789918171 ],,, 
  [ 4672993939, 48401662036451 ],,,, [ 71442881968439190301 ],, 
  [ 1093561021297, 1195860242597359 ],, [ 282244620282733 ],,,, 
  [ 145009586102490829218552548223336637 ], [ 1548921490187 ],,, 
  [ 624958606550654822293 ],, [ 6709792556882923 ],, [ 1102123844336048491 ], 
  [ 140299545168523469 ],,, [ 11435433293542010176161611 ], 
  [ 8001003293, 346982008721 ], [ 808648601294417626878199 ],, 
  [ 716164560927079240026189379811 ],,, [ 1445443990517 ], 
  [ 6377362657, 109711631401199502223 ], [ 498851139881 ],, [ 127028743393 ], 
  [ 93964390627 ],, [ 2192746830056885246381227 ], 
  [ 1253653901, 26771688828701 ],,, 
  [ 9577825183, 299872566772439874463, 1493185475735966076741431 ], 
  [ 2176307537, 224277684782113 ], [ 995277238201 ], 
  [ 7504072417, 202326783229, 37379721025854083 ], [ 3286126349184953 ], 
  [ 4220430741361 ], [ 7730096009 ], [ 4122652482568228291 ], 
  [ 5897148699869174859194378551 ], [ 17254637799169 ],, [ 2657518772948983 ],
  [ 1309485451 ], [ 20970714732554798304809 ], [ 19440694027 ],, 
  [ 1251321793446942324872434004484031 ],, [ 4161245903, 1368405847627633 ], 
  [ 6024266671, 298681203493, 1535617756259 ], 
  [ 1374332707191583, 763604898951326591407, 34241383511160276465403 ], 
  [ 111109852618983753193 ], [ 801560380001 ],, 
  [ 190421635185941, 115806724907473978817 ], [ 36713826768408543617 ], 
  [ 7180925126477041, 43466212635494347 ], [ 3808876542352598861 ],, 
  [ 23057835113017 ],, [ 28376556792667 ],,,,, 
  [ 62895574665131573770495625630815229 ],, [ 455036140638637 ], 
  [ 532615479720542238328159944384931 ], 
  [ 133419712999, 140748861026489, 34436567931553789, 39826785573214737241 ], 
  [ 29975087953, 6654909974864689 ], 
  [ 3331836160337746180840402301, 573409492728603405512028102226141331 ], 
  [ 64803179963 ],, [ 1738568407946597 ], [ 2242046914771 ], 
  [ 101348453341211701 ], [ 2118633909226902785023835895222977 ], 
  [ 62300665486585624081 ], [ 1814824801, 1981729131748453 ],, 
  [ 100860853831, 46458503064581, 100889415553845820735921 ], 
  [ 2874105113569 ], [ 27323390907418173038175977 ], [ 25202746699639 ],, 
  [ 1116130730334721, 1266394281048641 ], 
  [ 47997392497374259176994238952273383181800129, 
      412647584179177401418889316551332818291991099 ],, 
  [ 1279033291, 57483449583854824247 ], [ 1089083758501, 1508425553233 ], 
  [ 3386047926964307416018724773840321 ],, 
  [ 199494205465879, 863628686858502013448191, 
      43858466425997115091385652570530347 ], 
  [ 213867479113, 2341071239305009 ], 
  [ 3221968439, 200764162484293733261, 586814952741629335333029441607 ],, 
  [ 1707914176047127, 11579626908585447176195979823 ], 
  [ 3605871444392247654973, 14704313671678643430446722121 ],, 
  [ 388719701504541540919 ], 
  [ 6960114001, 15320444013418579351, 97940332989443462362601, 
      1534984704054820657287614317690451 ], 
  [ 479397861182521358407441, 1358999792679530608571000081 ], 
  [ 210439555242381217, 39514351240970968031506068648339967 ], 
  [ 2197020880176009487, 410771620528283009753757952793 ], [ 68014208993 ], 
  [ 14513462249341141 ], 
  [ 1244504930700295881445351, 4456957638066283594576947293617, 
      11303561412138014618753000377442772205214575894072680823 ], 
  [ 6176383648709, 244409090738941856729 ], 
  [ 6274983367069, 71639002544177046079, 417324063726420174777931, 
      715867003033745576109669960047077 ], 
  [ 10093085551851597657003882281641, 13083857523758118007762301611817 ], 
  [ 355505024671, 6934871644321, 26101416485231 ],, 
  [ 445536601753454704112226421 ], [ 99886248944632632917 ], 
  [ 203865063949, 91323298699395463, 56199108572218966663 ], 
  [ 19755615371, 3657554614741, 5810151294071 ], 
  [ 3674491999, 34115367574721, 84897381032489674968541203989617 ], 
  [ 11352931040252580224415980746369 ], [ 1468937560453708434469 ],, 
  [ 5234176303106791, 2794855972087224486028011777601 ], [ 4980348180221 ],,, 
  [ 60144579533, 2822026772941, 704550879887947, 
      62988186566830418483070030377018570701687 ], 
  [ 128245657201, 38245779934601, 538823041855601, 52008826491976715201 ], 
  [ 14137511716656949, 22136066578997222579808068663945748427 ], 
  [ 3327037444864439, 7425107270430419, 9320615531279027221853, 
      14560861044113847497319380951 ], [ 11878648531, 615557670589 ], 
  [ 229090993311472339969 ], [ 143207110374732650171977021 ], 
  [ 592045971390131, 147258804290600290058437 ], [ 1598219928127 ], 
  [ 161343579388091039418006351540289 ], [ 50273133791 ], 
  [ 30152259698778631 ], [ 453216197376414128940399015272903 ], 
  [ 2034766409871541, 55315179851718646236650521, 
      1331344930977110852021126518627097 ], 
  [ 5990431171, 24385215615829, 34078015035971503, 
      504649541791910254264659793435883391598383106891 ], 
  [ 116077045829, 791958624719 ], [ 1395397213914606731 ], 
  [ 3156176124992605532414981091253561 ],, [ 36081138446572828651824827033 ], 
  [ 1762236499 ], [ 4439770467824561, 202254724516962030101 ], 
  [ 3890188303 ], [ 3832014914233819776114475402917811351 ], 
  [ 609240789000934129655613721 ],, 
  [ 1711042515451, 68908867770552593063187730578864385270746601 ], 
  [ 2158975289, 4427870101287797057, 852333015613949705733446242454881 ],, 
  [ 452660103574249, 30746232270870161677690909 ], [ 2092593361529545943 ],, 
  [ 2024215569832303 ], [ 9705011473, 11779246681, 3201194517593 ],,,, 
  [ 3172190933 ],, [ 172597045223, 2534279978077, 2810860561573 ], 
  [ 3063456113, 3530790423461159, 4644033252013063 ], 
  [ 1030309681, 2643964801 ], [ 35217562019375387102779 ], 
  [ 2644917463, 236537675815901485856148017522791 ],, 
  [ 8626498609074269149060403255784440097670457 ],, 
  [ 915180098788603185080359 ],, [ 189616769827415561, 304200083494791049 ],, 
  [ 4831140001, 1047326688430383001 ],, [ 1149869468581335216529112593 ],, 
  [ 687304059153048444682671733000360314795590589587024964570201596437 ], 
  [ 1028420611, 5327925121 ],, [ 1827497244753492936541513397 ], 
  [ 7825170961, 4048619615131328239 ],, 
  [ 72395677076468070119906108281513841 ],,, [ 231050784610489 ], 
  [ 134799670920553 ],, [ 579016463719, 7983601174254569126173 ],, 
  [ 117628061579381, 597891861167008906854329, 
      208987627610561976973469464852117 ],, [ 4971111387529339441 ], 
  [ 244340681940370133, 230321390919883705169904334591 ], 
  [ 2101969584130840266612144288141743329, 
      17915834850330581667260806159243454369619165933658481 ],, 
  [ 1714667341, 22221138052054464059847263, 
      252135148303109236253632457534648757143, 
      9597762522254664012564849620597785692647 ],, 
  [ 6533247341521, 54836637716450236990971812089 ],, 
  [ 18466388799146717978191 ],, [ 18603406827218262281 ], 
  [ 41571232169, 2740708636527091, 30840338294916697 ], [ 590202369266263393 ]
   ,, [ 1187807331749399825071347132433 ],, 
  [ 64050562577, 26955750986564813756380111933 ],, 
  [ 8299042833797200969471889569 ],, 
  [ 7634343961, 943112272332884711, 117977510451276076784741 ],, 
  [ 466462905277, 301557549694923141366115643799231359796226965278135642569 ],
  , [ 1314082687, 17712284017, 14790290915806570339477 ],, [ 560678027993 ],,,
  , [ 20858983540201 ],, 
  [ 3457568707, 2462954753131, 16551200067188402633220781507150672126926167733\
7 ],,,, [ 1872876367, 8122054267, 936052510699, 15840010226107 ], 
  [ 6446834221 ], [ 718377597171850001, 4209006442599882158485591696242263069 
     ],, 
  [ 42277560371, 151091386477111, 13496217990809681, 44630257194378716844161 ]
    , [ 5424477432443 ], [ 14269421767320773422797054675027409 ], 
  [ 7768623161779, 2248699552787583072941 ], 
  [ 1302884463846205672630741, 5321704544480702707255714477, 
      42086256219133569812191465703 ],,, [ 1300804356359, 5023812615999641 ], 
  [ 1462139329561, 197795581824045269616226824820047463 ],, 
  [ 1218717648107630002329276423567229540624786569051585904260280734401 ],, 
  [ 105533603618353, 
      144300697299991214196066230010184428761563195482974441033203 ],, 
  [ 29320472989 ],, 
  [ 2756901479, 2551939308888735197, 3645787857397596049, 34645330867779000239\
3 ],, [ 977325013427400988608262834933322005324559459650855417 ],, 
  [ 396089529902881 ],, 
  [ 417489312958537, 712503393203262887688109, 1147383597900335340752293806681\
5511343162580053 ],, [ 33745583603069203795523806964835272672938859437559941 ]
   ,, [ 16425059281 ],,,, [ 4246832221, 4618988261621, 130262335782633067441 ]
   ,, [ 3300771062593, 110463092370899893, 170627672083045501 ],, 
  [ 149170984032147278296821073 ],, 
  [ 100512721293404023, 33244834894845209424542011, 
      2668886212023902028352164665256628273, 
      5057376122868931570584342959254453190874548299928644519 ],, 
  [ 14114031000998557, 18178782258903260081683549, 
      4560345610457374306086188377621 ],, 
  [ 132535660270668350675597927401, 302595407569313485796560805198699713897070\
701 ],, 
  [ 19395547354657, 29919435299224417, 161812513752466240577, 1268420402642860\
84929767338120479708840436393117601 ],,,, 
  [ 1628623079213923119355588431034063622905709 ],,,,,,,,,, 
  [ 5880679831907887, 51880092713072077 ],, [ 7911246015404132480993 ],, 
  [ 888577614401, 1614630622391 ],,,, [ 21903343661, 367934980978027 ],, 
  [ 553784729353, 188172028979257, 398225319299696783138113, 
      7663511503164270157006126605793, 
      8935170451146532986983277856738508374630999814576686938913 ],, 
  [ 5588363607297409, 4948493178819470211350281226827 ],, 
  [ 22000710008560364143650941501 ],, 
  [ 15523637066681419768585170660037114811 ],,,, [ 146540934096087353 ],, 
  [ 1180346441, 2249753895467636981 ],,,, 
  [ 11096942977, 375644987843497, 42780848865255089, 39174253999996064489, 
      594550307179244707227626502560391331297 ],, 
  [ 611873120423, 295299449891582653768512854544795477241377821 ],,,, 
  [ 250480083153607 ],, 
  [ 45604314401, 10381913540858401, 689249499714233698770401 ],, 
  [ 556942300417, 3215553577393 ],, 
  [ 4778818919489153480993, 20307225713395144899769 ],, 
  [ 11367371513, 29216756731, 14913858445348196461, 
      156706794372116479028402612937457582875531343948219 ],, 
  [ 4681059934921 ],, [ 1114694881, 8325373081, 33639770611, 19643811777631 ],
  , [ 169156125029 ],,,,,,,,,, 
  [ 330963403934881, 179988350604280470445878376547 ],, 
  [ 84863647489, 296102253960054265850194729, 4000741506474775723055096281 ],
  , [ 149191250053, 36136869058233840897019, 3635675840331161742297981783031, 
      96292821127287236064998822696599 ],, 
  [ 18470838679921, 2458739964418553 ],, 
  [ 1888302431, 370696297879940727105731 ], 
  [ 56586870103, 16002623839393, 35910496578500372495225262919339090613 ], 
  [ 923563008624961 ],, 
  [ 27340842173064358257699651251, 9265063882320201898324947759713 ],,,, 
  [ 110628894631 ],, 
  [ 4476745241, 154108679648629234086317526808157310299027561, 
      1310880346759943070510045925019763909067493316336961 ],, 
  [ 1590964049817874064437613134993537, 
      103443410537429910434924357731141487573, 
      250628937599392060850222494421582861661073493 ],, 
  [ 596131104371449237, 72899319864895280400157, 120687541344843078804469, 
      1438734846120969865240176038964493 ],, [ 13163260466767 ],, 
  [ 58317286721, 10199228225275634431937, 10759970447698109015939009 ],, 
  [ 1179081221399801571464824396038876335436197898327372128674278451 ],, 
  [ 2245321301, 2821305503171864342251155998233074825044632754053 ],, 
  [ 41050444705991995903280091731, 85111975050697574591083504621228907 ],,,,,,
  ,, [ 10367420449 ],, [ 20627327873 ],,,,,,,,,,,,,,,, 
  [ 18855524641, 233029379521 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 349397638341167379797 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,, [ 1084967239, 5918575330876841 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 171535995498504799 ],,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 18988818551, 143414586481 ],,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 28707419549 ] ];
