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, 74499472319616292668860073571904407685189174348482\
39959013 ],, [ 5234176303106791, 2794855972087224486028011777601 ], 
  [ 4980348180221 ], 
  [ 4893152600989198057885546722454264198955018312929277, 69682761741954014044\
000389064875948628836106898730684655051907002831510045793 ],, 
  [ 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, 4024872625750833197630427954604287560271662076359736406609 ], 
  [ 4439770467824561, 202254724516962030101 ], [ 3890188303 ], 
  [ 3832014914233819776114475402917811351 ], 
  [ 609240789000934129655613721, 298635888817831200826874656931864570682039317\
452117399823775863831996477 ],, 
  [ 1711042515451, 68908867770552593063187730578864385270746601 ], 
  [ 2158975289, 4427870101287797057, 852333015613949705733446242454881 ],, 
  [ 452660103574249, 30746232270870161677690909 ], 
  [ 2092593361529545943, 2168565645304958438443671755141, 
      575701440347834996099797913453237773599541 ],, [ 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, 42530729853988266472341757837068479 ], 
  [ 7825170961, 4048619615131328239 ],, 
  [ 72395677076468070119906108281513841 ],,, [ 231050784610489 ], 
  [ 134799670920553 ],, [ 579016463719, 7983601174254569126173 ],, 
  [ 117628061579381, 597891861167008906854329, 
      208987627610561976973469464852117 ],, [ 4971111387529339441 ], 
  [ 244340681940370133, 230321390919883705169904334591 ], 
  [ 2101969584130840266612144288141743329, 
      17915834850330581667260806159243454369619165933658481 ],, 
  [ 1714667341, 22221138052054464059847263, 
      252135148303109236253632457534648757143, 
      9597762522254664012564849620597785692647 ],, 
  [ 6533247341521, 54836637716450236990971812089 ], 
  [ 44119464395283956806299428681 ], [ 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, 27907612187559620790149495507 ], 
  [ 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 ], [ 132530761973, 4725786916899233 ],,, 
  [ 4246832221, 4618988261621, 130262335782633067441 ],, 
  [ 3300771062593, 110463092370899893, 170627672083045501 ],, 
  [ 149170984032147278296821073, 3470968133800651533236040975951160239579233 ]
   ,, 
  [ 100512721293404023, 33244834894845209424542011, 26688862120239020283521646\
65256628273, 5057376122868931570584342959254453190874548299928644519 ], 
  [ 1980424384115840953 ], 
  [ 14114031000998557, 18178782258903260081683549, 456034561045737430608618837\
7621 ], [ 87734713044091438121, 1489864037145148430141 ], 
  [ 132535660270668350675597927401, 
      302595407569313485796560805198699713897070701 ],, 
  [ 19395547354657, 29919435299224417, 161812513752466240577, 
      126842040264286084929767338120479708840436393117601 ], 
  [ 1693790723, 14872385834463741255397207 ],,, 
  [ 1628623079213923119355588431034063622905709 ],,, 
  [ 284462854808107, 404281532432177324328259177872289 ],,, 
  [ 13747131396156414972233468050089094555902570885179113, 
      4412332590820186127081821452086867542813663503784346584968024901277801 ]
   ,, 
  [ 78765914579931959762500493107566519267401, 1089094326297580245839363603656\
801808201506897 ],, [ 5880679831907887, 51880092713072077 ], 
  [ 4205662075978173792461861, 2292521928888004948085572056743843 ], 
  [ 7911246015404132480993, 263255451122003421968412795043894730829785944417 ]
   ,, 
  [ 888577614401, 1614630622391, 106799081520244413455970696379104160656301 ],
  ,, [ 438552673580231875649 ], [ 21903343661, 367934980978027 ],, 
  [ 553784729353, 188172028979257, 398225319299696783138113, 
      7663511503164270157006126605793, 
      8935170451146532986983277856738508374630999814576686938913 ],, 
  [ 5588363607297409, 4948493178819470211350281226827 ], 
  [ 1190791471, 737144208059753497 ], [ 22000710008560364143650941501 ],, 
  [ 15523637066681419768585170660037114811 ], [ 142963194206865438377 ],,, 
  [ 146540934096087353, 
      198315700449399704806908495511278754482201975087875253994876398872086446\
93918823944324607 ],, [ 1180346441, 2249753895467636981 ],,,, 
  [ 11096942977, 375644987843497, 42780848865255089, 39174253999996064489, 
      594550307179244707227626502560391331297 ],, 
  [ 611873120423, 295299449891582653768512854544795477241377821 ],,, 
  [ 397817588947, 62761526468423, 684245337057983523330197, 
      355642443470433180777806666530945103 ], [ 250480083153607 ],, 
  [ 45604314401, 10381913540858401, 689249499714233698770401 ], 
  [ 550869069671653052239 ], [ 556942300417, 3215553577393 ],, 
  [ 4778818919489153480993, 20307225713395144899769 ],, 
  [ 11367371513, 29216756731, 14913858445348196461, 
      156706794372116479028402612937457582875531343948219 ],, 
  [ 4681059934921 ], [ 14819956496959 ], 
  [ 1114694881, 8325373081, 33639770611, 19643811777631 ],, 
  [ 169156125029, 6751049753941218683804533633062608319163634632519849 ],,,,,,
  , [ 3509037011, 197868270679127100699949, 18398035384470548053532773255291 ]
   ,, [ 60866552777821597883446057, 1086749258938317270712488534511633 ], 
  [ 330963403934881, 179988350604280470445878376547, 
      1176728159668205686179492592706522087364913175861 ],, 
  [ 84863647489, 296102253960054265850194729, 4000741506474775723055096281 ],
  , [ 149191250053, 36136869058233840897019, 3635675840331161742297981783031, 
      96292821127287236064998822696599 ],, 
  [ 18470838679921, 2458739964418553 ],, 
  [ 1888302431, 370696297879940727105731 ], 
  [ 56586870103, 16002623839393, 35910496578500372495225262919339090613 ], 
  [ 923563008624961 ],, 
  [ 27340842173064358257699651251, 9265063882320201898324947759713 ],,,, 
  [ 110628894631 ], [ 84730655993 ], 
  [ 4476745241, 154108679648629234086317526808157310299027561, 
      1310880346759943070510045925019763909067493316336961 ],, 
  [ 1590964049817874064437613134993537, 
      103443410537429910434924357731141487573, 
      250628937599392060850222494421582861661073493 ], 
  [ 695501530949172249691 ], 
  [ 596131104371449237, 72899319864895280400157, 120687541344843078804469, 
      1438734846120969865240176038964493 ],, [ 13163260466767 ],, 
  [ 58317286721, 10199228225275634431937, 10759970447698109015939009 ], 
  [ 21333790017301338965261 ], 
  [ 1179081221399801571464824396038876335436197898327372128674278451 ],, 
  [ 2245321301, 863260348179415275777345576983183033312197, 
      2821305503171864342251155998233074825044632754053 ],, 
  [ 41050444705991995903280091731, 85111975050697574591083504621228907 ],, 
  [ 1532151248026912823503230302288782526288888071990883933246531866201 ],,,,
  , [ 3037709713, 204076408725891041831412156533 ], [ 10367420449 ], 
  [ 244040830283629188031661 ], [ 20627327873 ],,,,,,,,,,,,,,, 
  [ 508487385617, 2771521995891026611 ], [ 18855524641, 233029379521 ],,,,,,,,
  ,,,,,,,,,,, [ 31516552577, 275076356583201624491 ],,,,,,,,,,,,,,,,,,,,,, 
  [ 21736167068183, 28330450983148145330179572499498801 ],, 
  [ 27392784116412865520631790699 ],,,,,,,,,,,,,,,,,, 
  [ 8969907677, 883002672683, 247684373717681 ],,,,,, 
  [ 5367241072301, 9113891457810541765801 ],,,,,,,,,, [ 994093010297 ],,,,,, 
  [ 2309643319, 184420802865452149 ],,,,,,,, 
  [ 276349784316623, 23856161946177401 ],,,,,, [ 436072000183 ],,,,,,,,,, 
  [ 207888660977, 98725829460683021, 111488170910292780473, 
      9286669374631788483103379 ],,,,,, 
  [ 3166910681363029, 7174475513717483, 162855111446961389106310183 ],,, 
  [ 349397638341167379797 ],,,,,,,,,,, [ 1736352999169021498787876584649 ],,,,
  ,,,,,, [ 64460702333 ],,,,,,,,,,,,,, [ 80957600357 ],,,,,,,,,,,, 
  [ 12836801075687, 23971866496769 ],,,, [ 325967636003 ],,,,,, 
  [ 55327864609 ],,,,,, [ 54388421135929, 46812202702549091851 ],, 
  [ 659812920911317, 680828893677398526763 ],,,,,,,,,,,, 
  [ 3426129937, 307976399673211, 97208766121498777703 ],,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,, [ 1867202549, 1006506523103 ],,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 1084967239, 5918575330876841 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,, [ 171535995498504799 ],,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,, [ 18988818551, 143414586481 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 28707419549 ] ];
