BRENTFACTORS[17]:=[ ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 1016919604559540581 ],,,, [ 960217114820653 ],, [ 3075877724153666279633 ]
   ,,,,,, [ 474969439337, 1094794793219 ],, [ 162260934541944127 ], 
  [ 1224199237 ], [ 4375997670680275555605273053 ],, 
  [ 3332897591, 962619789378941 ], [ 12876020081 ], [ 6162410920417 ], 
  [ 18032534719, 61878754061 ], [ 1365581260423071390161 ],, 
  [ 15103230859721 ],, [ 41643373496311819 ],, [ 42774218980741 ],,, 
  [ 1002402000793 ], [ 9559382330644273 ],,, [ 28639368230833 ], 
  [ 1621745371, 3038535503, 319344640907, 596137412912777 ], [ 172683287783 ],
  [ 1995937064371951 ],,, [ 1837708051687, 12042786858259 ], [ 95294351981 ], 
  [ 3583912721 ], [ 6770748529, 454194717025663 ], 
  [ 18798033503, 76203249126187 ], 
  [ 1441585450365875501, 859764623611313847689900219 ],, [ 4939937011021 ], 
  [ 279119267104661 ], [ 52627759112497 ],, 
  [ 1391124231325187854601158067, 79943735756244327721739740331 ], 
  [ 2220161311 ], [ 986802324691, 1128882253376333, 633917591815554047 ], 
  [ 1511845630837 ], [ 32914090064285401, 4083338668402072819 ],,,, 
  [ 90976939813, 438263590967631109, 65888627940954399173 ], 
  [ 1465198716273377 ], [ 7298280793, 53203926799 ],, 
  [ 1103896660507, 88296018585184110466501207935829 ], 
  [ 14055956389, 45628367677 ], 
  [ 2045745317855197068998380700573793154366295127535115833 ], 
  [ 558796871153, 1175496327058885417 ],, [ 40992110362783761677 ], 
  [ 420679639271885197846600322471, 125071034364823159241289607119367 ], 
  [ 39902245921 ], 
  [ 25433824402380432988461050283974738838510040104186488783881902809 ],,, 
  [ 45694428193, 50667635531043971329 ], [ 24023140081 ],, 
  [ 335430126425379392951, 1070187968644717154676571 ],, 
  [ 152688950198616547 ], [ 682807427588431379494344607469 ], 
  [ 22675666851559, 901345518396317, 19487327623903903 ],, 
  [ 59475866345520219051333125609808893831, 
      67134006980485085641582180502996346325654133 ], [ 528720501902111 ], 
  [ 19758253332426413381871517 ], [ 23321390258237, 729426109307672111981 ], 
  [ 44391312751, 175255701251, 6881647239315382084880079821251 ], 
  [ 428802078097 ], [ 30481352405221 ],, 
  [ 714039721116560436536702749090856988792306514801 ], 
  [ 346638477380024845861 ],,, [ 18153837267507526943 ], 
  [ 369966985497341977627 ], [ 87008992936023480132946122688999231 ], 
  [ 104466451393 ], 
  [ 204070572329107403, 158324542674645249191461035427466599181187410999697330\
81846783525131 ], [ 1191693343, 144905634142323992263 ], 
  [ 9665924510383104304333761973, 7062233146977317532978372830933714969 ], 
  [ 348838692130131428210021 ], [ 23723214648219238200859 ],, 
  [ 1655239713420437, 4015436321246808173, 
      992203637469893893874250612811340616664716613383433 ],, 
  [ 11042165919341251 ], [ 1517302254487813 ],, 
  [ 194296461049, 1017719645617, 1649702304713, 3805112685822988789997017 ], 
  [ 679514836989554237275127806363583, 
      55871153877339133380790771418835701956951 ], [ 2414909984054562151 ], 
  [ 68284702982788934633, 59371036769017350174437, 
      27748695940828490302238820185739866469599983 ], 
  [ 11355003629541687711335762857918877977 ], 
  [ 829369678663, 15857830063279, 2942090816475645559, 
      50078348206744839377865432553 ],, 
  [ 586617476503491263045757163694725340629327253297351 ],, 
  [ 582011782134392699583637127 ], 
  [ 11672515136483, 763172545882169, 4431365126857943, 
      243213231006443503557007 ],,,, [ 1792803781, 78044489325524647 ], 
  [ 97718695927 ], [ 10954332408956399140877 ], 
  [ 580195096801, 398927455208603302615658610301 ], [ 974813135809 ], 
  [ 1558458258127, 140805100875541, 148735476479897, 
      6924332895839557942427580286773187997 ], [ 788614047082016621761 ], 
  [ 44413061083, 97923410020410378836532430731001400957, 
      826625027480976289805317143172383618716169044133067 ], 
  [ 414560726212391729865517272853661 ], [ 908275869985699 ], 
  [ 130246136377853 ], 
  [ 57170070771999284093, 5985308577876124650278825351417108648386073995987866\
741912341909 ],, 
  [ 5303550001, 262438164101, 159938630952913242428951, 2417985571368213454250\
29485517539901 ],, [ 178579111773795954847432777 ], 
  [ 2171241054689323653068865180801586551155489 ], 
  [ 1108776121, 436077123974389502159, 20959217525761917560729, 
      430874112750245329176653171 ], [ 184665652921 ], 
  [ 142851307959417084470710609408407449, 
      292090239570402065139247228825793385569510658605689229164453881887332600\
0590289 ],, 
  [ 80513057603299, 1655148745882817700457, 15139473539268769064239, 
      483082536768481120635398533340959 ], 
  [ 4148175524815310783153, 617037367222165252011618747320201 ], 
  [ 142290808325605421 ], [ 2767814851, 19382201239 ], 
  [ 91770558155114643603180232777103, 5614979831517665327057800827580950979 ],
  [ 5863828311202467185926649, 238824108369072337553839623931699681 ], 
  [ 12135432683683, 219769291604284568749, 1768003906672034233419799, 
      607701480905421954959792340923587 ], [ 4038152734741 ], 
  [ 3738211891, 434982187776031151 ], [ 2533128442908097, 638365843921429441 ]
    , 
  [ 4726369586544718630736364304208311021, 12945788439425187950624081823401182\
637079775297097722021033692741260049043619278551876473 ], 
  [ 231646537192818390287, 10290974283656088969916663 ], 
  [ 356308015831, 585892325071, 1753357523191, 3729060795347156491 ], 
  [ 139005288056819459473501243273273125071599637 ], 
  [ 646477768184104922935115731396719622668746018369021 ],, 
  [ 598591665856686529, 1760811787300683499, 
      587462396161517854556914973071558874858520615454039247, 
      3081446594894436542915826160990069556489114885425538040772594989367 ], 
  [ 3302721872466377201, 16916097286781519886001 ], [ 533689123369 ], 
  [ 3562165718507779 ], 
  [ 3240041297507813, 14902023864706066901, 2322743353208851439054843775409377\
4003 ], [ 840673709833, 803441875684729 ], 
  [ 7985008404216375706608476671, 429241393520762871732383067747952558241, 
      205390833866334687422480038853339245694061242360793501229989241 ], 
  [ 2943067227661610024320481, 2928719479725167021598188503541 ],, 
  [ 953739065349409, 3762839744580593 ], 
  [ 3259487507, 2740628080763, 101714440918855734893309 ], 
  [ 559101878112808170001 ], [ 1814080097, 6418474738875457939770052209946421 
     ], [ 1494286214623237388491714984882811051550425483917 ],, 
  [ 27712852747243 ],, [ 81027679430161, 2694099538998937 ],, 
  [ 1079613990310607925001081696544439430730786087 ],, 
  [ 131270654681, 9676621900652970832801 ],, [ 268092542350510681 ], 
  [ 121712053114634535178519583 ], 
  [ 3953756524792720131046003125427769533601 ],, 
  [ 8055018522183469, 139818673681690593546955943353, 
      4612246785684536812564540046771 ], 
  [ 4124916881, 1462191531623, 118607278281612481725843329305207239947, 
      5001012201240719197256420440083607513433 ],,, [ 17323350221 ], 
  [ 93761010655159 ],, [ 289532440255529181466847889468166042619 ], 
  [ 34457985594247471309, 27171136440845703779340817 ],, 
  [ 4299474417574216757387318418978462401041 ],, 
  [ 56222544577340657668398822455170499471823306626109469 ], 
  [ 1030964741, 6353093699 ], [ 8395586001841, 4792356824095921 ], 
  [ 4270938483377000521, 255561708074815032581, 538341577673756966139827, 
      5554287383281460171037997 ], [ 8463825371, 84501547117431266370637 ],, 
  [ 2492864726213168745263461117953694188847186919070439547298101 ],,,, 
  [ 789705772829428743253863253835849, 
      11444807492194206758800561503506424727566449777 ],, 
  [ 1495117321001, 65320954590251 ], 
  [ 166561044821, 31629294353681511283, 37900837687322630737 ],,, 
  [ 2339919810119, 3094976301708373, 
      1131989419879653316970218011843511731129631784532821288859331 ], 
  [ 277873928058055711 ],, [ 425011829349382827477861094139551 ],,,,, 
  [ 21389038861618019, 81130014084498191 ],, [ 123315508367830153 ],, 
  [ 7320912649, 50914168410363784261873335590957671 ],, 
  [ 522580700249, 9991693611263732728423346911337 ],, 
  [ 69179323152303423299755666170732061 ], 
  [ 505930100580213282257737, 23479077073052656086890293 ], 
  [ 804906380572033, 1404656885157224485374438913 ],, 
  [ 20443274925630863281, 415293102721035675881, 
      95882485832085923851408560250050554630404651 ],, 
  [ 7982229397, 27002645916711059857 ], [ 2141959715459, 5711845672177 ], 
  [ 9856698223, 465712217917603, 
      13866930385722027467414579558807412881242830677 ],, 
  [ 256402094666712277343533321132464467806315736646582961 ],, 
  [ 12279811993483, 4634866394782105265047690366698720693067 ],, 
  [ 314477853267581, 3353052005080219157, 482804827760763827720393403881 ],, 
  [ 91396813806307945079, 393973726113393494033692871 ],,, 
  [ 21366108595042598039019343, 3836838041665991736030577175536822702776528889
        , 8559827427613608311738960262493190686793419862996893597, 
      32913777995568205182999678765726037717770358649634282148486591 ], 
  [ 3617912249174405637818133317502367981, 
      66335103240679338789812391591674887520431 ],, 
  [ 73485494994264140722108652979764358288347757581798526165657382468750860411\
6290261093 ], [ 526423004036736329, 42976241948893386649925576581913 ], 
  [ 410395000454349514987937291939167 ],, 
  [ 144309417832437579013667474275527433 ],, 
  [ 1129168787, 5463377342173, 36865574187889154639, 
      1347621902938723864782616130502781924600258376201 ],, 
  [ 843432361501, 50568800527808196623701, 103227707968410818043304201 ],, 
  [ 968721286459, 118326105546323, 50627721146292527, 
      214399038812248206723868019909715246837345635533701918573911 ],, 
  [ 235595587415294506384682413414801, 
      14095645408890889970218721651271490762250045699444891074081633 ],, 
  [ 15334403988817 ], [ 7036178437, 235061228963566836739 ],,, 
  [ 6638589241, 66195583799591, 1848996721542074921, 
      10583366898253455463419064873106251358262961 ], [ 8387566157723 ], 
  [ 2689171057, 3568253436632855569, 250821550641085682649369972849337 ], 
  [ 9430986108177509, 41074823434161235361, 315546972661382650823 ], 
  [ 6682362287527 ],, 
  [ 184709888668241, 4366856473165064069, 6845863792664060665422218833, 
      45024775982344584916461949608645653 ], [ 1080597018496356557920103 ], 
  [ 30674635167537657623385703 ],, 
  [ 9132721800443866620901717373313374783400331656213553340944715176961 ],, 
  [ 627158479396448232794681 ],, 
  [ 2270196073, 4918052127213669926278097430914954610877332057190844041 ],, 
  [ 14021185856107412142931033923181 ],, 
  [ 7646949422977, 2222369331438816281, 
      211705313878632575148066314525225566369, 
      2051736036286154751449001954384478561232441 ],, [ 210676383734398891 ], 
  [ 2471608184173 ], 
  [ 60566122229, 160573996106316939203176383013, 56785477496585501493468939012\
965383062467909555039749 ],, 
  [ 21634433640274441474045446108679732215562858005495793093089178398744614687\
3 ],, [ 1435648049500339249 ],,,, [ 7668462001, 372782862882059642281 ],, 
  [ 23128225132393, 54016507217477251, 
      448281311366221664522721630583665006714259 ],, [ 568085898535206230489 ]
   ,, 
  [ 2124023417, 61339676678041506391, 111796626007322401109, 24392405888508142\
0399, 7170807805090951882833773959, 2646394069968460092106605366583147 ], 
  [ 1776484097752476416839771 ], 
  [ 58028453461920049, 24951700822055732273787493123417 ], 
  [ 12246587592091141, 65248387776887933 ],,, [ 106065010767039501592801 ], 
  [ 231876719681 ], 
  [ 5508758611, 891568452301, 9378668364133, 14754781394547451, 
      9091097874684344977 ],, [ 672018339517503851753622773 ],, 
  [ 9249632039, 2468693670251, 116260775844013, 535497494795147, 
      5162678095179468239 ], [ 15040718569 ], 
  [ 993668151601, 209915945659005121 ],, [ 44922297196407003428216550580151 ],
  , [ 583946347736753, 632877881392121, 18901504743278982773374191455509 ],, 
  [ 16291989601873 ], [ 10593515923, 254182023691 ], 
  [ 2984757485591813656498159886275245601 ],, 
  [ 118442059751, 406269343981, 7427337768650753126590561, 
      184299074229315644082110543594062701180547416277860712831 ],, 
  [ 47630477497, 33629871063713383131453421, 
      73811012205149208076339328969431545141614473 ],, 
  [ 881785799878628944883396801561, 2073791817787884239278809528116267137 ],, 
  [ 1147276769, 2805771894051115513, 3088044846371309420224862195177, 
      263961627777626830903491333827073103664696609, 
      44617987056935827610745523341622552018732717684867553 ],, 
  [ 15485603332493071, 3859885677613646872148592901098263425992963001 ],, 
  [ 1174280976101, 11129164433501 ],,,, 
  [ 244924505731881472407553, 573819178163681339901028403679689795713 ],, 
  [ 138207259471, 2249401867464340847383, 39603748832607634243502027 ],,, 
  [ 71444404256989257979 ], 
  [ 432351737611, 222177724492524061, 6903895304061385726585253701 ],, 
  [ 41059601983915369, 421312681681621913, 946819172426067056412201137, 
      709497550662539317539921773329, 
      5489549789746158687693633873010365734446268386169 ],, 
  [ 1720812337, 120652139803422836046398107883, 
      11854861245452004511262968204651829313761, 
      930821833870171289422620828584179333038475130149 ],, 
  [ 360184665491121457801, 6204321975309710907539048784331011697, 
      3462879034204180227784982188855512613105417 ], 
  [ 1172312417, 35865259983457 ], 
  [ 288056546069, 3474138905450429135019745259899799, 
      102503624390269856749574952688600769123, 
      25008649149844340299211277201520776393623426827 ],, 
  [ 163633185836401, 156294234529572167201, 
      309965686736424720438503931641406401, 
      1978851374064511060485963474518738329809427285201 ], [ 480897893017 ], 
  [ 178887878986442431060552603, 184254080359467561484400967286050396547 ],, 
  [ 255192827795307979630237 ],, 
  [ 1018003589, 7410235487199532735861, 45348488992996695006216158773600169813\
3, 844680503041181512706507978049863974926818447027 ],, 
  [ 189858781201, 2756444529994303009, 21738853322418655984471777 ], 
  [ 2879373667366255549245263077, 4413130640617567572680365463719 ], 
  [ 55769709089461, 13925036380184231, 133811502811608780532421 ],,,, 
  [ 35762402590195781945027744057484991850437 ],, 
  [ 7317253865377, 3473285654541952289 ],,,, [ 42499815063229298451210188341 ]
   ,,,,,,,,,,,,,,,,,,, [ 7097043741532020527 ],,,, [ 7548701959725116639 ],,,,
  ,, [ 6870040166194861793 ],,,,,,,, 
  [ 2550229091, 7104840064662409, 12057573904045605157405032832183 ],,,, 
  [ 520707053947, 4243795767203983 ],, [ 10004347012591508557248524807 ],,,, 
  [ 71318193607, 81224336349287479 ],,,,,,,,,,,, 
  [ 52551420673139874911, 51404254610606333990800241 ],,,,,,,, 
  [ 41572811658911459, 18130637714311910198191289050484659 ],,,,,,,,,,,, 
  [ 210961695148847, 7547201631811241, 100303178140682581, 
      16620204991197145431065341 ],,,, 
  [ 1686934170599, 149052556195690449512643267915403 ],,,,,,,,,,,,,,,,,, 
  [ 97994116837, 7510209827513 ],, [ 66953792643569976502199 ],,,,,,,,,,,,,,,,
  ,, [ 213231053549 ],,,,,,,,,,,,,,,, [ 107470820627, 6747251642584681997 ],,,
  ,,, [ 624971910177157 ],,,,,, [ 1966142431756299398429 ],, 
  [ 29491860320988041, 1665876894152796193684019 ],,,,,,,,,,,,,,,, 
  [ 4879401012466247, 1388006715227399830769807 ],,,,,, [ 546110026225541707 ]
   ,,,,,, [ 386048526775368153965461 ],, [ 774158074153931 ],,,,,, 
  [ 28933980689, 5226128533662216768070854881 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,, [ 76556604919, 2780623089596079459414509 ] ];
