Quelle  brfac13

BRENTFACTORS[13]:=MakeImmutable([ ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 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 ], 
  [ 966623849742301, 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, 
      7449947231961629266886007357190440768518917434848239959013 ],, 
  [ 5234176303106791, 2794855972087224486028011777601 ], [ 4980348180221 ], 
  [ 4893152600989198057885546722454264198955018312929277, 
      696827617419540140440003890648759486288361068987306846550519070028315100\
45793 ],, 
  [ 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, 
      370101699012810674529938192585529543324899229789475781729018487359393445\
4234719613 ], 
  [ 2034766409871541, 55315179851718646236650521, 
      1331344930977110852021126518627097 ], 
  [ 5990431171, 24385215615829, 34078015035971503, 
      504649541791910254264659793435883391598383106891 ], 
  [ 116077045829, 791958624719 ], [ 1395397213914606731 ], 
  [ 3156176124992605532414981091253561 ],, [ 36081138446572828651824827033 ], 
  [ 1762236499, 4024872625750833197630427954604287560271662076359736406609 ], 
  [ 4439770467824561, 202254724516962030101 ], [ 3890188303 ], 
  [ 3832014914233819776114475402917811351 ], 
  [ 609240789000934129655613721, 
      298635888817831200826874656931864570682039317452117399823775863831996477
     ],, [ 1711042515451, 68908867770552593063187730578864385270746601 ], 
  [ 2158975289, 4427870101287797057, 852333015613949705733446242454881 ],, 
  [ 452660103574249, 30746232270870161677690909 ], 
  [ 2092593361529545943, 2168565645304958438443671755141, 
      575701440347834996099797913453237773599541 ],, 
  [ 2024215569832303, 125933708724713509113257926009 ], 
  [ 9705011473, 11779246681, 3201194517593 ],,,, [ 3172190933 ], 
  [ 10810634831748469 ], [ 172597045223, 2534279978077, 2810860561573 ], 
  [ 3063456113, 3530790423461159, 4644033252013063 ], 
  [ 1030309681, 2643964801 ], [ 35217562019375387102779 ], 
  [ 2644917463, 236537675815901485856148017522791 ], 
  [ 27708851143, 1364188704499, 373628161556090731 ], 
  [ 8626498609074269149060403255784440097670457 ], 
  [ 1937261271540841, 7502160021223356249745536301 ], 
  [ 915180098788603185080359 ], [ 5898195459469, 1644445565188037 ], 
  [ 189616769827415561, 304200083494791049 ], 
  [ 51129204352671125610663421, 27635262629301170027944357627 ], 
  [ 4831140001, 1047326688430383001 ],, [ 1149869468581335216529112593 ], 
  [ 687697797999045703 ], 
  [ 687304059153048444682671733000360314795590589587024964570201596437 ], 
  [ 1028420611, 5327925121, 3857977671794877207529716391 ],, 
  [ 1827497244753492936541513397, 42530729853988266472341757837068479 ], 
  [ 7825170961, 4048619615131328239 ], 
  [ 1616255895425473, 2195165913268800371286782327591 ], 
  [ 72395677076468070119906108281513841 ], [ 1457191193743 ],, 
  [ 231050784610489 ], [ 134799670920553 ], 
  [ 55153673576800847229991, 2288880189942421724622599551 ], 
  [ 579016463719, 7983601174254569126173 ], [ 1544949969625766500507 ], 
  [ 117628061579381, 597891861167008906854329, 
      208987627610561976973469464852117 ],, [ 4971111387529339441 ], 
  [ 244340681940370133, 230321390919883705169904334591 ], 
  [ 2101969584130840266612144288141743329, 
      17915834850330581667260806159243454369619165933658481 ], 
  [ 2802993649, 40813178233787040554383 ], 
  [ 1714667341, 22221138052054464059847263, 
      252135148303109236253632457534648757143, 
      315763309485400584429158395865631317867, 
      9597762522254664012564849620597785692647 ], 
  [ 1993936585055302947485396851 ], 
  [ 6533247341521, 54836637716450236990971812089 ], 
  [ 44119464395283956806299428681 ], [ 18466388799146717978191 ], 
  [ 329920430037432121 ], [ 18603406827218262281 ], 
  [ 41571232169, 2740708636527091, 30840338294916697 ], [ 590202369266263393 ]
   ,, [ 1187807331749399825071347132433 ], 
  [ 1363698781, 5407272511, 73247553601 ], 
  [ 64050562577, 26955750986564813756380111933 ], 
  [ 45077300269, 37558177933613, 934913354812014825287531, 
      56454534133035098546165359 ], [ 8299042833797200969471889569 ], 
  [ 15247192659241717920658977891083 ], 
  [ 7634343961, 943112272332884711, 117977510451276076784741 ], 
  [ 179602500680615671, 29520729391808673332666926129 ], 
  [ 466462905277, 301557549694923141366115643799231359796226965278135642569 ],
  , [ 1314082687, 17712284017, 14790290915806570339477 ], [ 36064339952801 ], 
  [ 560678027993 ],,, [ 808028808913, 73191869782054097032037 ], 
  [ 20858983540201 ], [ 3825415528691, 891964658534797 ], 
  [ 3457568707, 2462954753131, 
      165512000671884026332207815071506721269261677337 ], [ 121169943613 ],, 
  [ 292485170282911046438142739144651 ], 
  [ 1872876367, 8122054267, 936052510699, 15840010226107 ], 
  [ 6446834221, 27907612187559620790149495507 ], 
  [ 718377597171850001, 4209006442599882158485591696242263069 ], 
  [ 6619696803001, 427382931571221401473, 1687923550776185387613866347339237 ]
    , 
  [ 42277560371, 151091386477111, 13496217990809681, 44630257194378716844161 ]
    , [ 5424477432443 ], [ 14269421767320773422797054675027409 ], 
  [ 7768623161779, 2248699552787583072941 ], 
  [ 1302884463846205672630741, 5321704544480702707255714477, 
      42086256219133569812191465703 ],,, [ 1300804356359, 5023812615999641 ], 
  [ 1462139329561, 197795581824045269616226824820047463 ], 
  [ 510502730123, 6428231657169394351137985039 ], 
  [ 1218717648107630002329276423567229540624786569051585904260280734401 ],, 
  [ 105533603618353, 
      144300697299991214196066230010184428761563195482974441033203 ], 
  [ 8052014104462879077748211 ], [ 29320472989 ], 
  [ 4540101151, 1483122116991476324463322939601, 
      135028724103200620191009595572151 ], 
  [ 2756901479, 2551939308888735197, 3645787857397596049, 
      346453308677790002393 ], [ 1350434963463521545023200251 ], 
  [ 977325013427400988608262834933322005324559459650855417 ], 
  [ 39657212462617 ], [ 396089529902881 ],, 
  [ 417489312958537, 712503393203262887688109, 
      11473835979003353407522938066815511343162580053 ], 
  [ 1733594210155927112991377942293993 ], 
  [ 33745583603069203795523806964835272672938859437559941 ], 
  [ 8957766883255573000816392926351 ], [ 16425059281 ], 
  [ 132530761973, 4725786916899233 ],, 
  [ 32791558177045243, 610390929139681381, 239460328528829854840242949 ], 
  [ 4246832221, 4618988261621, 130262335782633067441 ],, 
  [ 3300771062593, 110463092370899893, 170627672083045501 ], 
  [ 525982100617, 1515125133242543374250357, 6975199456208757755749011152567, 
      82503185685269878355049528001701187 ], 
  [ 149170984032147278296821073, 3470968133800651533236040975951160239579233 ]
    , 
  [ 2502922661431, 154450056628104564486847207237171, 
      9322333257658893706916500072000471 ], 
  [ 100512721293404023, 33244834894845209424542011, 
      2668886212023902028352164665256628273, 
      5057376122868931570584342959254453190874548299928644519 ], 
  [ 1980424384115840953 ], 
  [ 14114031000998557, 18178782258903260081683549, 
      4560345610457374306086188377621 ], 
  [ 87734713044091438121, 1489864037145148430141 ], 
  [ 132535660270668350675597927401, 
      302595407569313485796560805198699713897070701 ], 
  [ 2857869379, 136448180973627649239907 ], 
  [ 19395547354657, 29919435299224417, 161812513752466240577, 
      126842040264286084929767338120479708840436393117601 ], 
  [ 1693790723, 14872385834463741255397207 ],, 
  [ 61498306226332924441, 87623942286640326849311 ], 
  [ 1628623079213923119355588431034063622905709 ], [ 2890556264821 ],, 
  [ 284462854808107, 404281532432177324328259177872289 ],, 
  [ 1954726135959143 ], 
  [ 13747131396156414972233468050089094555902570885179113, 
      4412332590820186127081821452086867542813663503784346584968024901277801 ]
    , [ 1249296545224564651 ], 
  [ 78765914579931959762500493107566519267401, 
      1089094326297580245839363603656801808201506897 ], 
  [ 1459666902461, 115361411539481, 4889212965357297721 ], 
  [ 5880679831907887, 51880092713072077 ], 
  [ 4205662075978173792461861, 2292521928888004948085572056743843 ], 
  [ 7911246015404132480993, 263255451122003421968412795043894730829785944417 ]
   ,, 
  [ 888577614401, 1614630622391, 106799081520244413455970696379104160656301 ],
  ,, [ 438552673580231875649 ], [ 21903343661, 367934980978027 ], 
  [ 299667135759001 ], 
  [ 553784729353, 188172028979257, 398225319299696783138113, 
      7663511503164270157006126605793, 
      8935170451146532986983277856738508374630999814576686938913 ],, 
  [ 5588363607297409, 4948493178819470211350281226827 ], 
  [ 1190791471, 737144208059753497 ], [ 22000710008560364143650941501 ],, 
  [ 15523637066681419768585170660037114811 ], [ 142963194206865438377 ],, 
  [ 19147683771371, 2088886107344191 ], 
  [ 146540934096087353, 
      198315700449399704806908495511278754482201975087875253994876398872086446\
93918823944324607 ], [ 643072106709847 ], [ 1180346441, 2249753895467636981 ],
  ,, 
  [ 12171451754383247, 11720407803170357585185061, 
      1872648382774739696393063318869 ], 
  [ 11096942977, 375644987843497, 42780848865255089, 39174253999996064489, 
      594550307179244707227626502560391331297 ],, 
  [ 611873120423, 295299449891582653768512854544795477241377821 ], 
  [ 16714371281 ],, 
  [ 397817588947, 62761526468423, 684245337057983523330197, 
      355642443470433180777806666530945103 ], [ 250480083153607 ], 
  [ 342952587749901067, 4822700182579243001437254682507 ], 
  [ 45604314401, 10381913540858401, 689249499714233698770401 ], 
  [ 550869069671653052239 ], [ 556942300417, 3215553577393 ], 
  [ 4234099823929, 40917285305443847, 7758488438518226858879, 
      986480695168083087667969859729 ], 
  [ 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 ], 
  [ 3555941843600719, 245104739357763646208563, 580930064367846343868719, 
      2024241953440872773261083 ], [ 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 ], 
  [ 1432916351231, 12708750043081, 11514639075191840963064691, 
      2100836464413549808726148396086744432111 ], 
  [ 1532151248026912823503230302288782526288888071990883933246531866201 ],,,,
  , [ 3037709713, 204076408725891041831412156533 ], 
  [ 10367420449, 149539353945821071 ], [ 244040830283629188031661 ], 
  [ 20627327873 ],, [ 3233836846163501027, 20725478319521596501 ],,,, 
  [ 533447246456087751186881 ],, [ 11939439005613777710646137 ],, 
  [ 1063723783, 190344993859, 47708414283809692422712933, 
      60241457942618315315564210821, 
      11525398970553851078309979302109843302139637 ],, 
  [ 4398719840401090844782549795249, 2448282140803898919889895300672986201 ],,
  , [ 508487385617, 2771521995891026611 ], [ 18855524641, 233029379521 ], 
  [ 3938033581, 17356467303449, 28476004816139204850495289113509 ], 
  [ 617461385077, 15456900127182988568909, 74742029555431373880123867451 ],,,
  , [ 626663500993, 11498855147798470124079313 ],,,,,, 
  [ 224092691620166293605409162040912881 ],,,, [ 245605265431553 ],, 
  [ 54212384201566813, 84738470695150730503 ], 
  [ 31516552577, 275076356583201624491 ], [ 9679276501 ],, 
  [ 370638365857427, 6943552314379006643313605717 ],, 
  [ 243138714337, 850883068729, 1853523601522279938171097633, 
      689882477809090515217217917633 ],,, 
  [ 6706043318287, 329593885839544171, 6355315297715156683, 
      1538106641667167786224063, 1634033958628290257909586387439 ], 
  [ 640083839826713 ],, [ 10857476323678269472862538407131561 ],, 
  [ 40005155116033, 32235729015909373441, 4259253269072714801332584491009 ],, 
  [ 366282102819755943617539 ],, [ 1906439401, 3179016661 ],, 
  [ 8507710537175955883, 804927345368263408565317, 
      12703574293739545885100034913087 ],,, 
  [ 21736167068183, 28330450983148145330179572499498801 ], 
  [ 839559687504124267, 3519492070808793497249924242489 ], 
  [ 27392784116412865520631790699 ],,,,,,, [ 153732934672231 ],, 
  [ 46221330694191345098953 ],, [ 840879129613, 4441825943603303383 ],, 
  [ 527426578697, 2358519942329 ],, [ 42796704860193211, 1358530590059931341 ]
   ,, [ 6111373376709990452703393218401680421 ], 
  [ 8969907677, 883002672683, 247684373717681 ],,, [ 473365408653914113 ],, 
  [ 569817104221, 2245944138574501 ], 
  [ 5367241072301, 9113891457810541765801 ],,, 
  [ 29630520151, 6229658370904146054759656951 ],, 
  [ 40082276089, 4778094791492381222507353 ],, [ 112420535317 ],, 
  [ 187354663921 ], [ 994093010297 ], 
  [ 7363424359, 7682541211, 125029991627003017, 34998059554583409418495961233 
     ], [ 2730408334259113, 3208605541997439461609057 ], 
  [ 20963778979921, 13185029293647976709281 ],,, 
  [ 2309643319, 184420802865452149 ], [ 233628485003849577181 ],, 
  [ 1806591924445897, 32564116645597087 ],,,,, 
  [ 276349784316623, 23856161946177401 ],,,,, 
  [ 5247817273269739636080024961, 5497355933986265726220616321 ], 
  [ 436072000183 ], 
  [ 2640414705497, 509257967770577, 29323943962937453422467929653, 
      4322198046590409812344447955776761151 ],, 
  [ 1444762601, 10185312775456436639401 ],, 
  [ 92710967127488438383, 4666163803570862961830028522913, 
      4714179141047061103024777872975892903 ],,, 
  [ 2004550239550005811, 76261371958661512458675277079461 ], 
  [ 4531428569728107997, 1356711590793872853744251884463896691 ], 
  [ 207888660977, 98725829460683021, 111488170910292780473, 
      9286669374631788483103379 ], 
  [ 5179723373560073017, 3830275401154038166597 ],, [ 597575119617747281 ],, 
  [ 522642602422033 ], 
  [ 3166910681363029, 7174475513717483, 162855111446961389106310183 ],,, 
  [ 349397638341167379797, 80833778753773859004117228868504241 ],,,, 
  [ 9482731535401, 1153359916769913001, 44460561312771500913769196401, 
      63621576683373656506391595140401 ],, 
  [ 4598046503, 6361663326757849365805439653 ],, 
  [ 2157919861, 136892060232113, 2817665170683549696409, 
      44114599080189251508365286737 ],,, [ 1736352999169021498787876584649 ], 
  [ 41992310940026758181989710721, 87382843187702305332688326868088801 ],, 
  [ 1263436459210187534221, 4575452629178570666434552736152441 ],, 
  [ 1006854713387017640468320714881193 ],, [ 2134150644202504263041 ],, 
  [ 21383402144292105522700117793 ], [ 64460702333 ], 
  [ 4731269505038422095029673834080773093 ],, [ 77305590941 ],, 
  [ 77752288303450272305154294487123 ],,,, [ 600269776157 ],, 
  [ 121517072815328237, 272502898697386169944981, 
      48596420030150239326242929189, 1136845602516270911117217195497 ],, 
  [ 43697152492141051, 117093879346631705608231, 
      129241533661920157634608099246652971 ], [ 80957600357 ], 
  [ 4243669954466078377, 41069674039276910386720721 ],, 
  [ 166457862757, 10118096172763757 ],, [ 1504082761, 3095413443721 ], 
  [ 180162999199, 97154817435859, 4498687456382260611670019 ], 
  [ 14037174800445743 ],, [ 894379987201 ],, [ 39174984451, 80497549423 ], 
  [ 12836801075687, 23971866496769 ], 
  [ 138398329273, 9284161665689, 426143215381129 ],, 
  [ 1901743897, 2107218409, 1260152469899447, 248448489387018609181 ], 
  [ 325967636003 ], 
  [ 507263900077873, 1718773924633921, 13278874698573868906452577 ],, 
  [ 34707578345453546174397635682401 ],,, [ 55327864609 ], 
  [ 94388714809, 15153617857579 ],, 
  [ 2037429718817, 4360074065613288879592193 ],, 
  [ 21270697807339, 6098129337900231832733162029, 
      46067532333926228449172951593 ], 
  [ 54388421135929, 46812202702549091851 ],, 
  [ 659812920911317, 680828893677398526763 ], 
  [ 102362895475163903, 3772047783173853056689, 45757623556983505866722668009 
     ], 
  [ 33431964619, 1060348076829932774965069, 11104967814587952073158919714693, 
      114461420190065352787053538269559 ], [ 10640551371175153 ],, 
  [ 4994415253, 152182595737, 155448376687 ],, [ 14814713413589 ],, 
  [ 23278008159160471, 473063133761999826911 ],, [ 7041894721 ], 
  [ 3426129937, 307976399673211, 97208766121498777703 ], 
  [ 8151247487, 1053520982087730416942860303, 158863545095402361818058266569 ]
   ,, [ 169937265889, 11612578037862305166521 ],,,,,, 
  [ 27245897055623851838649736211 ],, 
  [ 122115532321, 33956730021038566198850137 ],, 
  [ 736223282242605361, 141811664918119996452773 ],,, 
  [ 203222963162482225714871939, 204662437148319725328300129793211, 
      3115964714969892046884258301373683 ], 
  [ 23414397409411, 854595458899798578548892558903451, 
      4658771043100481474260377335147767351 ],,,, 
  [ 6200654041, 52456879638601 ],,,,,, 
  [ 620597268299401, 521477224327236286743901 ],,,, [ 16306980055562851073 ],
  , 
  [ 53970446940503, 151061630446481, 2454406800257136343, 
      706899781372301763541 ],, [ 222837779268529211495809 ], 
  [ 1867202549, 1006506523103 ], 
  [ 1195140978631, 9660623359574123701039981008884011 ],, [ 348702483449 ],,, 
  [ 52667000101 ], [ 1458264359257 ],, 
  [ 34994214784607092229287, 14813984173625684599953308200087 ],, 
  [ 465630152401 ],, 
  [ 18296610985199837166918210451521937, 210521852417734050252501653090615647 
     ],, [ 148349183321464859164367411537, 1158331121354892822771858043441 ],
  , [ 2421639468919620289012003 ],,,, 
  [ 235733174566901992091, 258326380540507762711 ],, 
  [ 47485044961, 85181388027046672291849 ],, 
  [ 1084967239, 5918575330876841, 42721010593093745390173600351 ],, 
  [ 1870127576494049, 1466876151681884609 ],, [ 113062291184927562579003547 ],
  ,, [ 15889880141710112539, 421273079060601426771997 ],,,,, 
  [ 6260791539923, 9439060173669361, 49748299700212361, 
      90578071248778378368113 ],,,,,, [ 1232912541076129 ],,,, 
  [ 211496763139083577, 3556714705270925790982321, 
      156804477682691067219669421, 8693346888334815420404397926521 ],,,, 
  [ 34292494741724792444881, 14023100088169038530104481 ],, 
  [ 2029947152003182975277432231755792687 ],, [ 187996148624569 ],,, 
  [ 124161551957, 278090889337, 26154755811523, 178343280707194888656095713, 
      433245249569437780838824867745270153 ], 
  [ 35319424513, 4271847969793, 61479042177793 ],, 
  [ 21429654401, 2045231586131581 ],,,, 
  [ 55960453373977494102571911700694011 ],,,,,,,, 
  [ 14708785573546659033293, 389021083509992571132713 ],, 
  [ 329741021141281, 92986913872725936891474529 ],, [ 55393088263 ],, 
  [ 89255422933992729098677, 110886749109121296408989 ],,,,, 
  [ 11997347753, 40078981726855501, 26784737206418284602121503307 ], 
  [ 258035532527, 94889479641971101, 272473548404459984889523 ],, 
  [ 227036235429229, 103889425408247647784414910169656565853 ],, 
  [ 7344357668879265400092776239 ],, 
  [ 3589025010945195861427854333601, 36838886354113880843547264558401 ],,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 171535995498504799 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 18988818551, 143414586481 ],,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, 
  [ 28707419549, 2323704311431, 13295119787921 ] ]);