mathematica 发表于 2017-5-17 18:35:41

本帖最后由 mathematica 于 2017-5-17 19:14 编辑

有能耐先把10^100+2^64+11111分解了再说!
上面这个太好分解了

10^100 + 2^100 + 3
请分解这个

mathematica 发表于 2017-5-18 09:53:54

mathematica 发表于 2017-5-17 18:35
有能耐先把10^100+2^64+11111分解了再说!
上面这个太好分解了



12524057196879170836152656209970942116773628688093184832075773293
这个数是10^100 + 2^100 + 3最大的素数因子,
用mathematica分解不了10^100 + 2^100 + 3
你能超越mathematica吗?

zeroieme 发表于 2017-5-18 11:01:18

mathematica 发表于 2017-5-18 09:53
12524057196879170836152656209970942116773628688093184832075773293
这个数是10^100 + 2^100 + 3最大 ...

你试试让mathematica分解
104241590669493308239701120555781281311803497113845585735458965924127644448370593740915978252094469033314322228842632982715329336173716195319247832996307522845285034477847847409771552985212793292315644166389424952463740816789011159832531154459828897987234172413594505018739414326485914141592954639757774005668611803593206774522899037301460172640260770336781986494076009359949076341269666498591417944482038872786222448102042464179957956153676033065650557402448601410813165414799973880900339923167411426836208053325429105106906501565492697636321273512333487147326676080233190431380874576653065073312467093312136186820879481171051364396893950252030308944567073491228281125120350772434804564119887645971315955787516640437685147665859219929733738841154113385669418250606213638976190657599865987435458218168332071485488029139176871873420963652993666525880681786470798368689250456919866373798937381430636985486994365921048372141747102541234083425780847291530136718798148803792752999638764987342168419130683962601100204326171554270213777952222215443648049372168594934060960016352633050569083913615046744666859562775724671564467980338089724003242796484343709308660831513691406634176464420195917969487791668158582150217119755345702301915664683577196102457458531741087334163658087157692088264889183424295168815084688194324673581412206316289462627064783493905966166195010519453067124482829683193491321201609581501926169321365590917999663862103084064352138274631163579903391183031490428489672010147514934599635922667215403433295884073904304061439116680654747270373294285564582887610736181639940175658019008485336522934818157931490660747509056812892978812815802978089751240332459219102850361117968646419466143028125381634467347335297480835161768879163367126970934759585571922784302143264950644964048266490081816475398498723155346888573820638537083377263522076696040540326116558529344764358362139811647219251414901135769780034434503686534750199122037207436496588593611862010990084622347848785949735916353419219200681791456543148640786772913189276631368006294442637851997501848230850948854736320791256876574648636743256452534931623865061618770635108222820410798233252744507243785596808643989499695557323935119206443270023886318866678978001088316279897994545169265817288272503760380059542698861667630571830068726487332429909589416054076620608874999773432166839595811473294828001200456023587594756386731743426853277467715592606829992765228291885889320383288938774059226892656562260903050735908925717284119290989871216303562034601158738590209228587594970142147461402499052997069625048645543206375226321868188378535047490946076103327681985704235865833755337799245450915395577722604210409550566521903214350672912709304641606444475721411326390309510382229515393729017006287308605945337810797353864051641547462991884500124385859592588719761160156474780610810160275230123630945177169450710651109699799837822726789441980764217183680014589376839756983667737127812518815188971383335123033494914854719888377341042001840685383311723735465480237930115038524862053482755214307025778919921185067501282777899936906882111890531118814610018778020192231923663611401473107959158593082418550362417436729037860843366152592548395829816403479231075735822771549859847193071087874497604895109970736332932545810738445935845523129560866380108241734964580674416406584251608091299326031374886845816923749587815952415817479891270021207447217463441709334280551968895645818844438742525761185063088398085262168872565611427237366899876809070438055560029463967225779945653292707706451759559782513657176038582037759805312496693218849381522580789736263182735872347821382000524640563233773002132986388364386143901892843530653401751660009711364406461326635290610699739259086989817950541125693180028921444462395529911712647313655288961569526712626738838410589621602632743590686290466299623956490249771606070149686181597149056772586897596844979271283830636041446829181664744701377838054301965811601517845087731283599443839836651113041876632220165872269443307375952468174978695897333053789437609370136699365054443761635575925260278220601446913883822261303512996348134284810394239164373499468859567418894329847461773756613893740443221050051906330391709529874341694388560577715948549221030173713376209071321178067184838711646757869569705568742897773243974104096575823674733666586388991776726809074101934144685301433530269383743945071969485417093516356942006695846688955968805365610122911719263157788116859500364774567612995208205040392853453354855273598115506158455434413790816892700346824361512944381532923412712037524286701900801872912118404008637954510312931512050140590301984123010189428327683490555694330157122354286844956875792852392593816394755509261531764224796821340853297460755051994552104712907236764205934396086793394918219253436993383987809103934272791109452514272545561495989686515694703367269858207138356022252663467683637090735481505481346781501900951635355201686517773695096115325425441497433340256783448409210953666231455324101257277248987000113795933011105859330429500946825168450728100671097121385555085308759562176610464983180357351187698417630719198731253338196291545969235798794241522712599460540151148120873361065962725761914210771745552078011126830321853896843147995233129605454069489787920717443528091084366367607774974995336602813598319345341340565205149146990944258190806993543739738138694969228367848025618548592109406234494743726442255367693401437457939959812720280337157817604021099107182220609520734460822533151294824066308465183183488059683572527370856106009853461644240699314431284329776470351819220508345091346136209269238918283778164953621815323166822734426337911932131298692154085297056101838603079883633217739845765562708736975405284437700165836310296369608002799802183582333618742077764320924883264320807769420428050163848889145390197410952607383957953168034462504659832065786308111606682504547550096005912316633646432060956374426074135434061832670601686108457898198477315142622362174633352053795380687983452459022705250520999586529653429324424723047332904110821852528224662837631601381981565288548563036348564431496505109292369031847258103035348978871102111878389312681336871446647083304150010809609953201533235184526763369029415762492518413367914127824036052855819874496333229984166000435276027227059847256458604685996772916406323994928806090121641043159254294107329490050386351943436183449758357172885312010378536077706468865333867406989173466839442450107585248387518521648485990007908829305442477698915344524354288644456926433127507333600399265853474006773585724567408794140321078883850398387463332979343698000241993392492968773243304582492925850798662365370309844216188436978889224933384958770778154742986136230197340398659355990824033452298968161655973464881502359344593524608207839832601394265695767087285840877503583499568821980063646960364896557207630272510354448718392233296017831639740495319382314658514676215923327217456403349063076361920572214423022695245555295162406488561153957189303307977514083024173321080230536659203581892773634999197439210816542103033665097947958525330138651610885100991321298129678565600029890370582513383229165440876808318415688943194038983853839790079416664674482049156498437554204287660921533107315535254390798732484454775658496810570141051778268220211871045448530857440726876280833081740388791897362383216858539487972649217170810192398813143195968306291518600541412049849219058951183624799866845040825225671345929729782162716924769106074430129323721242492411601259452028101443846364172539042599136938221082795980524433931996654716997525176448843135030229488507569599063710387480726755149803759641323733561338329518554521530986159665712595936660044963517918049695975833872877756588827876176490363320546778646206592851410713929512629841261668207911845303513533216294529692751154742158415298263729800152904794304096347047981348777431959945575035487918125420247641679357893710937740189784344337946263427472736213234271431120220236693237548788632034856798938031212071197232713414987222084546058828942601829700790121512644933006348623482731801370462577786564190240569517490709668479441578658694730064560706155285245939366750188951688590904267065193307979930323395627673488440814951300125067855757505786780748609385245842895174796802846442229849241565287745575286305341707364287573084080263608458328341221908670278590213644052032583245015426315429101356908609445475148687034459974675742837635250819686665141896039051396115242553144381370807924840611454514877293101865072766429264222640965225182723656539764456164647635655360229464868560560331614566689535613348985490459203947408897899161430660053915975791237026127030895466934080218828575184387423370998235631780673435663350549553132533474098710064006153328459156245250936463475359213045311167537340266629718789835710523014954352131644574663575893689821729319322375688671643551320532819694806882111928629889795561381940729394167281375121278816598236519736292287164651118419599231862618976879745319034568729741841832701341202257898053737630192464484523593676102386905450528332388332527162273075778636279683722378860211360224323623459624624888114653306956957622183720075297760512338149266623589058275873729953211765884439229892097648522314016031734283699531076792601568303319941714466451898057699646698676771699257525058041772499066361860058292817900734679155038371774396617478110671097926417887216480099692459983456580442337075879427563828253314290672766249605666233363833687993078823231968170375510351520857777307910703627892636546748143728619175491681994222887242386761126187414289921858735248556707000686309047028783526465319598532463212603922660942359950334982893153379738378189166632425144223377416537878127019493976300622404749099776172643882115901172520583944215508168865620295220151454392384927286801225295639486369664542043699677615445319490029512512629874254499012964157644845484095578803305821198173888444347162824702868705362637941988303685585853574805791701269140255193839251907794957093185298616306103761957488595550517025855666497332667468253668668994538020118410225344466933198602108183095930506425704884503885017971639387108890026753109499141379290307343869695324796511325771330192059757455607320619941221757377005516630868613098255254530292436874565057174853753595294546919175128771405271143276578263593508888933131572409710977376650078448136437753158026163554463790568222623068746618639978091917597155141353485719614224040519860625179989143726602989135236697298343417888071176383347388979081936642197279659662418502594164877815195005550034010384650076501892033328813627400230047810227963255816478276374588402164931126830630696592263228220244497053919346730185733980331148119072324059292526393226442445137095050082721601091681865088274767924496468968165447248485224979619787674497458094047082529524696503568294665945937406309450713010205043433147934687190911034306415059990073237262402311525645932273415231918406794885640012067960740766705076376545272533481346443394310408084993683838278136146223203164688274033753831576946533825029390674274264904530770313558874206098711462966431256959752617633523448658500473245404488674545817208483567001299027767726082521260685132784573239486009299412740421869306674980858910509920722506071248507401256927653098650355897079467363114493763561857827783361509477800143341383310891166593191813794946069427276687519918580664402394291228720040644576741737043915104851605412907789536932254854131552331053626389826074058809875804018569757171401450108914897485218938603544709119163573215017731976261308873183689330220045923593225739361602870844448476983240468631564863326114659987556883260046968870885809874506790853086300215899743541225243100582753391344654061861250312165480382383017648458622067056966243941554904897472748311189947022997179417996671202318829054953778510502431136702392740293886531753508297311743003013577700112739532850155877706032487125547539551743452560173819510497739008427573512715687738589409757832883855469936892531903575926370131313576048601235452294639657975211006676355710825274086362941853485558973626224774339068093459829095177523322907767376272569740578013475435484052269152367457655449599345659145897281318087924754757075978913933816961130322439480364926029853073672728679501729401042829746350201572442322842604930745729134623689410640945307029504304637817953275950915670182421079056553938776724650175152522361749032049042969768069266504505718640201818744473536356821201915769099430399648635766484477866913509949244899458360809836103134310266607437479550221837918817695168020123315074981897039938649713317375334795021828355240058137085482794625551186856897662206944860212312433889273797495310253246239852960300414958538460184628981447682762849612978237435978615710447404765945387530394183151364690181521749802129930853895636251029106023765960048275404677329346118208663668007938839916947377308951136746026611167759128527268841419575457120629526409608356942672099616865504412839376237723736096058455550503332871402139335025030179654407994237370813187664294375682593113575772920721777856271710950167256077866660411955563086153962906369341976482084872305429357114047510305191103253942152694104468953505852833351739690541756464674853195874989829151720033760151914996107261926081838901050970049600877531604222173925692991501715367381243784363737487147998521750609658628185462139239800160841656208518553050674567304292960786634021048350371180629569113184200514868988616451015055629070965339974341852080954287557159138020959703497556652498254605316965274615180197546506108005137872051484568271604028568267480683399775718331756579469908637013744540690671768093877009954921530118295976420060588992962879350167944741137273762863605122847252758491902969891500402348836038400379512471940396064594410307453532724602793282630815323647950723138907415651349696774148987305231345641581314322097837432187199735439260468766991818032816315911723447957625327789065155054874988955296467353492667221957336135905093098025027484863215105307652508379169170801073293556344816361602002180160067507579263835438629022518747512808967132965109731068331446132312153754120249407817051056339311459992918486638379150407345435499765581810318886424039351809109911413693364087632060763980463893481287271268005977202304444396064684950688111533768185154819079829629032810068072696727445254980272305281875590991985684514033166659138890867054906092615645628861373179202490859176648101563203813149857723375656155560072131009221403718194347896153583819065136346536103824976620859068830423879429917649391546151034423527870760909737372961324248469559723738607849493889183396395249539655379934588288008593112388286799213191501644129468351623958490361628385272129203406670577591271912702353126809646937771802415755780407915606512171671858621093514844865525258854062506767471652532327891036629413488767580277016132616435074703866870115805399345970569299215322888654493393602988723929842902881012178025205843200272491994427027519486555279675745586639572715674610425856141333858184733061333710137628000909850185084657425649500706044127748547930291724238898501865357801674466293585655769372656236150994296348139746963146631762424313652259850095030735374116824319690226947859869313199993700432574962202642664333172181636410713944426607875920912772341897164898609653770487119935657538976189820754812228821956614707679997696678656687205859150671277308419434642281325519233007475021858720852712521817370921796860381583058092608069966168696376014279860573865509224680699378560190170507294727811647106883191154227447317511947181206767268479924435818136673223888864089467042857965608318387575952951295321101061941244859064772258316556501497130399761408122620823772424991733573442486017407951473101718650829537081573638707104414397796199277359106177662186386510876291136037718553721356029533586026877970561680988378051213817254083915555441483461677483764284002198491444158157741626222236807899932588636028843341900219592107218561777558584352603166824997005017028810523605143149485948544885155369841262026689571081941611807044013116558167557027392576356657117776659454746132554358950180923620579468168882214470909191515176579905247345062849072886046955439120775627756054153943696659376342761279691035874375290772480738708872030694685285923256625679996745198886633913296341359744894220904533804177165261982100272127664381056419012113133595718782352174385430722511275384303019149780943020078602757041716953437799373888719571096396972333115729738378987018427233253907273914737938808851469183059461222618093800726608682250818381454257059556217349567845594065455176964670363682207892490871572684350026407929995891158578012914552640022959425134904014193302584343405518495702343590908089027300967288036781463549589478843566475277630520447061867328613623643776965189825401658075234375169982224510077707928581769513181013112298708155034460449837403116186493732017823888185714973592186081274172199080762089410524374146609176829569689455271056538425797267989114723710746910849705738067207866996794987656423635435061997531826510945518859043167806981098021683200000000

我用Python实直接试除都比mathematica快。

mathematica 发表于 2017-5-18 14:32:44

zeroieme 发表于 2017-5-18 11:01
你试试让mathematica分解
1042415906694933082397011205557812813118034971138455857354589659241276444 ...

牛,这么大的数mathematica肯定搞不定

hejoseph 发表于 2017-5-18 14:57:36

zeroieme 发表于 2017-5-18 11:01
你试试让mathematica分解
1042415906694933082397011205557812813118034971138455857354589659241276444 ...

{{2, 21}, {3, 14}, {5, 8}, {7, 7}, {11, 5}, {13, 5}, {17, 4}, {19,
4}, {23, 4}, {29, 4}, {31, 3}, {37, 3}, {41, 3}, {43, 3}, {47,
3}, {53, 3}, {59, 3}, {61, 3}, {67, 3}, {71, 3}, {73, 3}, {79,
2}, {83, 2}, {89, 2}, {97, 2}, {101, 2}, {103, 2}, {107, 2}, {109,
2}, {113, 2}, {127, 2}, {131, 2}, {137, 2}, {139, 2}, {149,
2}, {151, 2}, {157, 2}, {163, 2}, {167, 2}, {173, 2}, {179,
2}, {181, 2}, {191, 2}, {193, 2}, {197, 2}, {199, 2}, {211,
2}, {223, 2}, {227, 2}, {229, 2}, {233, 2}, {239, 2}, {241,
2}, {251, 2}, {257, 2}, {263, 2}, {269, 2}, {271, 2}, {277,
2}, {281, 2}, {283, 2}, {293, 2}, {307, 2}, {311, 2}, {313,
2}, {317, 2}, {331, 2}, {337, 2}, {347, 2}, {349, 2}, {353,
2}, {359, 2}, {367, 2}, {373, 2}, {379, 2}, {383, 2}, {389,
2}, {397, 2}, {401, 2}, {409, 2}, {419, 2}, {421, 2}, {431,
2}, {433, 2}, {439, 2}, {443, 2}, {449, 2}, {457, 2}, {461,
2}, {463, 2}, {467, 2}, {479, 2}, {487, 2}, {491, 2}, {499,
1}, {503, 1}, {509, 1}, {521, 1}, {523, 1}, {541, 1}, {547,
1}, {557, 1}, {563, 1}, {569, 1}, {571, 1}, {577, 1}, {587,
1}, {593, 1}, {599, 1}, {601, 1}, {607, 1}, {613, 1}, {617,
1}, {619, 1}, {631, 1}, {641, 1}, {643, 1}, {647, 1}, {653,
1}, {659, 1}, {661, 1}, {673, 1}, {677, 1}, {683, 1}, {691,
1}, {701, 1}, {709, 1}, {719, 1}, {727, 1}, {733, 1}, {739,
1}, {743, 1}, {751, 1}, {757, 1}, {761, 1}, {769, 1}, {773,
1}, {787, 1}, {797, 1}, {809, 1}, {811, 1}, {821, 1}, {823,
1}, {827, 1}, {829, 1}, {839, 1}, {853, 1}, {857, 1}, {859,
1}, {863, 1}, {877, 1}, {881, 1}, {883, 1}, {887, 1}, {907,
1}, {911, 1}, {919, 1}, {929, 1}, {937, 1}, {941, 1}, {947,
1}, {953, 1}, {967, 1}, {971, 1}, {977, 1}, {983, 1}, {991,
1}, {997, 1}, {1009, 1}, {1013, 1}, {1019, 1}, {1021, 1}, {1031,
1}, {1033, 1}, {1039, 1}, {1049, 1}, {1051, 1}, {1061, 1}, {1063,
1}, {1069, 1}, {1087, 1}, {1091, 1}, {1093, 1}, {1097, 1}, {1103,
1}, {1109, 1}, {1117, 1}, {1123, 1}, {1129, 1}, {1151, 1}, {1153,
1}, {1163, 1}, {1171, 1}, {1181, 1}, {1187, 1}, {1193, 1}, {1201,
1}, {1213, 1}, {1217, 1}, {1223, 1}, {1229, 1}, {1231, 1}, {1237,
1}, {1249, 1}, {1259, 1}, {1277, 1}, {1279, 1}, {1283, 1}, {1289,
1}, {1291, 1}, {1297, 1}, {1301, 1}, {1303, 1}, {1307, 1}, {1319,
1}, {1321, 1}, {1327, 1}, {1361, 1}, {1367, 1}, {1373, 1}, {1381,
1}, {1399, 1}, {1409, 1}, {1423, 1}, {1427, 1}, {1429, 1}, {1433,
1}, {1439, 1}, {1447, 1}, {1451, 1}, {1453, 1}, {1459, 1}, {1471,
1}, {1481, 1}, {1483, 1}, {1487, 1}, {1489, 1}, {1493, 1}, {1499,
1}, {1511, 1}, {1523, 1}, {1531, 1}, {1543, 1}, {1549, 1}, {1553,
1}, {1559, 1}, {1567, 1}, {1571, 1}, {1579, 1}, {1583, 1}, {1597,
1}, {1601, 1}, {1607, 1}, {1609, 1}, {1613, 1}, {1619, 1}, {1621,
1}, {1627, 1}, {1637, 1}, {1657, 1}, {1663, 1}, {1667, 1}, {1669,
1}, {1693, 1}, {1697, 1}, {1699, 1}, {1709, 1}, {1721, 1}, {1723,
1}, {1733, 1}, {1741, 1}, {1747, 1}, {1753, 1}, {1759, 1}, {1777,
1}, {1783, 1}, {1787, 1}, {1789, 1}, {1801, 1}, {1811, 1}, {1823,
1}, {1831, 1}, {1847, 1}, {1861, 1}, {1867, 1}, {1871, 1}, {1873,
1}, {1877, 1}, {1879, 1}, {1889, 1}, {1901, 1}, {1907, 1}, {1913,
1}, {1931, 1}, {1933, 1}, {1949, 1}, {1951, 1}, {1973, 1}, {1979,
1}, {1987, 1}, {1993, 1}, {1997, 1}, {1999, 1}, {2003, 1}, {2011,
1}, {2017, 1}, {2027, 1}, {2029, 1}, {2039, 1}, {2053, 1}, {2063,
1}, {2069, 1}, {2081, 1}, {2083, 1}, {2087, 1}, {2089, 1}, {2099,
1}, {2111, 1}, {2113, 1}, {2129, 1}, {2131, 1}, {2137, 1}, {2141,
1}, {2143, 1}, {2153, 1}, {2161, 1}, {2179, 1}, {2203, 1}, {2207,
1}, {2213, 1}, {2221, 1}, {2237, 1}, {2239, 1}, {2243, 1}, {2251,
1}, {2267, 1}, {2269, 1}, {2273, 1}, {2281, 1}, {2287, 1}, {2293,
1}, {2297, 1}, {2309, 1}, {2311, 1}, {2333, 1}, {2339, 1}, {2341,
1}, {2347, 1}, {2351, 1}, {2357, 1}, {2371, 1}, {2377, 1}, {2381,
1}, {2383, 1}, {2389, 1}, {2393, 1}, {2399, 1}, {2411, 1}, {2417,
1}, {2423, 1}, {2437, 1}, {2441, 1}, {2447, 1}, {2459, 1}, {2467,
1}, {2473, 1}, {2477, 1}, {2503, 1}, {2521, 1}, {2531, 1}, {2539,
1}, {2543, 1}, {2549, 1}, {2551, 1}, {2557, 1}, {2579, 1}, {2591,
1}, {2593, 1}, {2609, 1}, {2617, 1}, {2621, 1}, {2633, 1}, {2647,
1}, {2657, 1}, {2659, 1}, {2663, 1}, {2671, 1}, {2677, 1}, {2683,
1}, {2687, 1}, {2689, 1}, {2693, 1}, {2699, 1}, {2707, 1}, {2711,
1}, {2713, 1}, {2719, 1}, {2729, 1}, {2731, 1}, {2741, 1}, {2749,
1}, {2753, 1}, {2767, 1}, {2777, 1}, {2789, 1}, {2791, 1}, {2797,
1}, {2801, 1}, {2803, 1}, {2819, 1}, {2833, 1}, {2837, 1}, {2843,
1}, {2851, 1}, {2857, 1}, {2861, 1}, {2879, 1}, {2887, 1}, {2897,
1}, {2903, 1}, {2909, 1}, {2917, 1}, {2927, 1}, {2939, 1}, {2953,
1}, {2957, 1}, {2963, 1}, {2969, 1}, {2971, 1}, {2999, 1}, {3001,
1}, {3011, 1}, {3019, 1}, {3023, 1}, {3037, 1}, {3041, 1}, {3049,
1}, {3061, 1}, {3067, 1}, {3079, 1}, {3083, 1}, {3089, 1}, {3109,
1}, {3119, 1}, {3121, 1}, {3137, 1}, {3163, 1}, {3167, 1}, {3169,
1}, {3181, 1}, {3187, 1}, {3191, 1}, {3203, 1}, {3209, 1}, {3217,
1}, {3221, 1}, {3229, 1}, {3251, 1}, {3253, 1}, {3257, 1}, {3259,
1}, {3271, 1}, {3299, 1}, {3301, 1}, {3307, 1}, {3313, 1}, {3319,
1}, {3323, 1}, {3329, 1}, {3331, 1}, {3343, 1}, {3347, 1}, {3359,
1}, {3361, 1}, {3371, 1}, {3373, 1}, {3389, 1}, {3391, 1}, {3407,
1}, {3413, 1}, {3433, 1}, {3449, 1}, {3457, 1}, {3461, 1}, {3463,
1}, {3467, 1}, {3469, 1}, {3491, 1}, {3499, 1}, {3511, 1}, {3517,
1}, {3527, 1}, {3529, 1}, {3533, 1}, {3539, 1}, {3541, 1}, {3547,
1}, {3557, 1}, {3559, 1}, {3571, 1}, {3581, 1}, {3583, 1}, {3593,
1}, {3607, 1}, {3613, 1}, {3617, 1}, {3623, 1}, {3631, 1}, {3637,
1}, {3643, 1}, {3659, 1}, {3671, 1}, {3673, 1}, {3677, 1}, {3691,
1}, {3697, 1}, {3701, 1}, {3709, 1}, {3719, 1}, {3727, 1}, {3733,
1}, {3739, 1}, {3761, 1}, {3767, 1}, {3769, 1}, {3779, 1}, {3793,
1}, {3797, 1}, {3803, 1}, {3821, 1}, {3823, 1}, {3833, 1}, {3847,
1}, {3851, 1}, {3853, 1}, {3863, 1}, {3877, 1}, {3881, 1}, {3889,
1}, {3907, 1}, {3911, 1}, {3917, 1}, {3919, 1}, {3923, 1}, {3929,
1}, {3931, 1}, {3943, 1}, {3947, 1}, {3967, 1}, {3989, 1}, {4001,
1}, {4003, 1}, {4007, 1}, {4013, 1}, {4019, 1}, {4021, 1}, {4027,
1}, {4049, 1}, {4051, 1}, {4057, 1}, {4073, 1}, {4079, 1}, {4091,
1}, {4093, 1}, {4099, 1}, {4111, 1}, {4127, 1}, {4129, 1}, {4133,
1}, {4139, 1}, {4153, 1}, {4157, 1}, {4159, 1}, {4177, 1}, {4201,
1}, {4211, 1}, {4217, 1}, {4219, 1}, {4229, 1}, {4231, 1}, {4241,
1}, {4243, 1}, {4253, 1}, {4259, 1}, {4261, 1}, {4271, 1}, {4273,
1}, {4283, 1}, {4289, 1}, {4297, 1}, {4327, 1}, {4337, 1}, {4339,
1}, {4349, 1}, {4357, 1}, {4363, 1}, {4373, 1}, {4391, 1}, {4397,
1}, {4409, 1}, {4421, 1}, {4423, 1}, {4441, 1}, {4447, 1}, {4451,
1}, {4457, 1}, {4463, 1}, {4481, 1}, {4483, 1}, {4493, 1}, {4507,
1}, {4513, 1}, {4517, 1}, {4519, 1}, {4523, 1}, {4547, 1}, {4549,
1}, {4561, 1}, {4567, 1}, {4583, 1}, {4591, 1}, {4597, 1}, {4603,
1}, {4621, 1}, {4637, 1}, {4639, 1}, {4643, 1}, {4649, 1}, {4651,
1}, {4657, 1}, {4663, 1}, {4673, 1}, {4679, 1}, {4691, 1}, {4703,
1}, {4721, 1}, {4723, 1}, {4729, 1}, {4733, 1}, {4751, 1}, {4759,
1}, {4783, 1}, {4787, 1}, {4789, 1}, {4793, 1}, {4799, 1}, {4801,
1}, {4813, 1}, {4817, 1}, {4831, 1}, {4861, 1}, {4871, 1}, {4877,
1}, {4889, 1}, {4903, 1}, {4909, 1}, {4919, 1}, {4931, 1}, {4933,
1}, {4937, 1}, {4943, 1}, {4951, 1}, {4957, 1}, {4967, 1}, {4969,
1}, {4973, 1}, {4987, 1}, {4993, 1}, {4999, 1}, {5003, 1}, {5009,
1}, {5011, 1}, {5021, 1}, {5023, 1}, {5039, 1}, {5051, 1}, {5059,
1}, {5077, 1}, {5081, 1}, {5087, 1}, {5099, 1}, {5101, 1}, {5107,
1}, {5113, 1}, {5119, 1}, {5147, 1}, {5153, 1}, {5167, 1}, {5171,
1}, {5179, 1}, {5189, 1}, {5197, 1}, {5209, 1}, {5227, 1}, {5231,
1}, {5233, 1}, {5237, 1}, {5261, 1}, {5273, 1}, {5279, 1}, {5281,
1}, {5297, 1}, {5303, 1}, {5309, 1}, {5323, 1}, {5333, 1}, {5347,
1}, {5351, 1}, {5381, 1}, {5387, 1}, {5393, 1}, {5399, 1}, {5407,
1}, {5413, 1}, {5417, 1}, {5419, 1}, {5431, 1}, {5437, 1}, {5441,
1}, {5443, 1}, {5449, 1}, {5471, 1}, {5477, 1}, {5479, 1}, {5483,
1}, {5501, 1}, {5503, 1}, {5507, 1}, {5519, 1}, {5521, 1}, {5527,
1}, {5531, 1}, {5557, 1}, {5563, 1}, {5569, 1}, {5573, 1}, {5581,
1}, {5591, 1}, {5623, 1}, {5639, 1}, {5641, 1}, {5647, 1}, {5651,
1}, {5653, 1}, {5657, 1}, {5659, 1}, {5669, 1}, {5683, 1}, {5689,
1}, {5693, 1}, {5701, 1}, {5711, 1}, {5717, 1}, {5737, 1}, {5741,
1}, {5743, 1}, {5749, 1}, {5779, 1}, {5783, 1}, {5791, 1}, {5801,
1}, {5807, 1}, {5813, 1}, {5821, 1}, {5827, 1}, {5839, 1}, {5843,
1}, {5849, 1}, {5851, 1}, {5857, 1}, {5861, 1}, {5867, 1}, {5869,
1}, {5879, 1}, {5881, 1}, {5897, 1}, {5903, 1}, {5923, 1}, {5927,
1}, {5939, 1}, {5953, 1}, {5981, 1}, {5987, 1}, {6007, 1}, {6011,
1}, {6029, 1}, {6037, 1}, {6043, 1}, {6047, 1}, {6053, 1}, {6067,
1}, {6073, 1}, {6079, 1}, {6089, 1}, {6091, 1}, {6101, 1}, {6113,
1}, {6121, 1}, {6131, 1}, {6133, 1}, {6143, 1}, {6151, 1}, {6163,
1}, {6173, 1}, {6197, 1}, {6199, 1}, {6203, 1}, {6211, 1}, {6217,
1}, {6221, 1}, {6229, 1}, {6247, 1}, {6257, 1}, {6263, 1}, {6269,
1}, {6271, 1}, {6277, 1}, {6287, 1}, {6299, 1}, {6301, 1}, {6311,
1}, {6317, 1}, {6323, 1}, {6329, 1}, {6337, 1}, {6343, 1}, {6353,
1}, {6359, 1}, {6361, 1}, {6367, 1}, {6373, 1}, {6379, 1}, {6389,
1}, {6397, 1}, {6421, 1}, {6427, 1}, {6449, 1}, {6451, 1}, {6469,
1}, {6473, 1}, {6481, 1}, {6491, 1}, {6521, 1}, {6529, 1}, {6547,
1}, {6551, 1}, {6553, 1}, {6563, 1}, {6569, 1}, {6571, 1}, {6577,
1}, {6581, 1}, {6599, 1}, {6607, 1}, {6619, 1}, {6637, 1}, {6653,
1}, {6659, 1}, {6661, 1}, {6673, 1}, {6679, 1}, {6689, 1}, {6691,
1}, {6701, 1}, {6703, 1}, {6709, 1}, {6719, 1}, {6733, 1}, {6737,
1}, {6761, 1}, {6763, 1}, {6779, 1}, {6781, 1}, {6791, 1}, {6793,
1}, {6803, 1}, {6823, 1}, {6827, 1}, {6829, 1}, {6833, 1}, {6841,
1}, {6857, 1}, {6863, 1}, {6869, 1}, {6871, 1}, {6883, 1}, {6899,
1}, {6907, 1}, {6911, 1}, {6917, 1}, {6947, 1}, {6949, 1}, {6959,
1}, {6961, 1}, {6967, 1}, {6971, 1}, {6977, 1}, {6983, 1}, {6991,
1}, {6997, 1}, {7001, 1}, {7013, 1}, {7019, 1}, {7027, 1}, {7039,
1}, {7043, 1}, {7057, 1}, {7069, 1}, {7079, 1}, {7103, 1}, {7109,
1}, {7121, 1}, {7127, 1}, {7129, 1}, {7151, 1}, {7159, 1}, {7177,
1}, {7187, 1}, {7193, 1}, {7207, 1}, {7211, 1}, {7213, 1}, {7219,
1}, {7229, 1}, {7237, 1}, {7243, 1}, {7247, 1}, {7253, 1}, {7283,
1}, {7297, 1}, {7307, 1}, {7309, 1}, {7321, 1}, {7331, 1}, {7333,
1}, {7349, 1}, {7351, 1}, {7369, 1}, {7393, 1}, {7411, 1}, {7417,
1}, {7433, 1}, {7451, 1}, {7457, 1}, {7459, 1}, {7477, 1}, {7481,
1}, {7487, 1}, {7489, 1}, {7499, 1}, {7507, 1}, {7517, 1}, {7523,
1}, {7529, 1}, {7537, 1}, {7541, 1}, {7547, 1}, {7549, 1}, {7559,
1}, {7561, 1}, {7573, 1}, {7577, 1}, {7583, 1}, {7589, 1}, {7591,
1}, {7603, 1}, {7607, 1}, {7621, 1}, {7639, 1}, {7643, 1}, {7649,
1}, {7669, 1}, {7673, 1}, {7681, 1}, {7687, 1}, {7691, 1}, {7699,
1}, {7703, 1}, {7717, 1}, {7723, 1}, {7727, 1}, {7741, 1}, {7753,
1}, {7757, 1}, {7759, 1}, {7789, 1}, {7793, 1}, {7817, 1}, {7823,
1}, {7829, 1}, {7841, 1}, {7853, 1}, {7867, 1}, {7873, 1}, {7877,
1}, {7879, 1}, {7883, 1}, {7901, 1}, {7907, 1}, {7919, 1}, {7927,
1}, {7933, 1}, {7937, 1}, {7949, 1}, {7951, 1}, {7963, 1}, {7993,
1}, {8009, 1}, {8011, 1}, {8017, 1}, {8039, 1}, {8053, 1}, {8059,
1}, {8069, 1}, {8081, 1}, {8087, 1}, {8089, 1}, {8093, 1}, {8101,
1}, {8111, 1}, {8117, 1}, {8123, 1}, {8147, 1}, {8161, 1}, {8167,
1}, {8171, 1}, {8179, 1}, {8191, 1}, {8209, 1}, {8219, 1}, {8221,
1}, {8231, 1}, {8233, 1}, {8237, 1}, {8243, 1}, {8263, 1}, {8269,
1}, {8273, 1}, {8287, 1}, {8291, 1}, {8293, 1}, {8297, 1}, {8311,
1}, {8317, 1}, {8329, 1}, {8353, 1}, {8363, 1}, {8369, 1}, {8377,
1}, {8387, 1}, {8389, 1}, {8419, 1}, {8423, 1}, {8429, 1}, {8431,
1}, {8443, 1}, {8447, 1}, {8461, 1}, {8467, 1}, {8501, 1}, {8513,
1}, {8521, 1}, {8527, 1}, {8537, 1}, {8539, 1}, {8543, 1}, {8563,
1}, {8573, 1}, {8581, 1}, {8597, 1}, {8599, 1}, {8609, 1}, {8623,
1}, {8627, 1}, {8629, 1}, {8641, 1}, {8647, 1}, {8663, 1}, {8669,
1}, {8677, 1}, {8681, 1}, {8689, 1}, {8693, 1}, {8699, 1}, {8707,
1}, {8713, 1}, {8719, 1}, {8731, 1}, {8737, 1}, {8741, 1}, {8747,
1}, {8753, 1}, {8761, 1}, {8779, 1}, {8783, 1}, {8803, 1}, {8807,
1}, {8819, 1}, {8821, 1}, {8831, 1}, {8837, 1}, {8839, 1}, {8849,
1}, {8861, 1}, {8863, 1}, {8867, 1}, {8887, 1}, {8893, 1}, {8923,
1}, {8929, 1}, {8933, 1}, {8941, 1}, {8951, 1}, {8963, 1}, {8969,
1}, {8971, 1}, {8999, 1}, {9001, 1}, {9007, 1}, {9011, 1}, {9013,
1}, {9029, 1}, {9041, 1}, {9043, 1}, {9049, 1}, {9059, 1}, {9067,
1}, {9091, 1}, {9103, 1}, {9109, 1}, {9127, 1}, {9133, 1}, {9137,
1}, {9151, 1}, {9157, 1}, {9161, 1}, {9173, 1}, {9181, 1}, {9187,
1}, {9199, 1}, {9203, 1}, {9209, 1}, {9221, 1}, {9227, 1}, {9239,
1}, {9241, 1}, {9257, 1}, {9277, 1}, {9281, 1}, {9283, 1}, {9293,
1}, {9311, 1}, {9319, 1}, {9323, 1}, {9337, 1}, {9341, 1}, {9343,
1}, {9349, 1}, {9371, 1}, {9377, 1}, {9391, 1}, {9397, 1}, {9403,
1}, {9413, 1}, {9419, 1}, {9421, 1}, {9431, 1}, {9433, 1}, {9437,
1}, {9439, 1}, {9461, 1}, {9463, 1}, {9467, 1}, {9473, 1}, {9479,
1}, {9491, 1}, {9497, 1}, {9511, 1}, {9521, 1}, {9533, 1}, {9539,
1}, {9547, 1}, {9551, 1}, {9587, 1}, {9601, 1}, {9613, 1}, {9619,
1}, {9623, 1}, {9629, 1}, {9631, 1}, {9643, 1}, {9649, 1}, {9661,
1}, {9677, 1}, {9679, 1}, {9689, 1}, {9697, 1}, {9719, 1}, {9721,
1}, {9733, 1}, {9739, 1}, {9743, 1}, {9749, 1}, {9767, 1}, {9769,
1}, {9781, 1}, {9787, 1}, {9791, 1}, {9803, 1}, {9811, 1}, {9817,
1}, {9829, 1}, {9833, 1}, {9839, 1}, {9851, 1}, {9857, 1}, {9859,
1}, {9871, 1}, {9883, 1}, {9887, 1}, {9901, 1}, {9907, 1}, {9923,
1}, {9929, 1}, {9931, 1}, {9941, 1}, {9949, 1}, {9967, 1}, {9973,
1}, {10007, 1}, {10009, 1}, {10037, 1}, {10039, 1}, {10061,
1}, {10067, 1}, {10069, 1}, {10079, 1}, {10091, 1}, {10093,
1}, {10099, 1}, {10103, 1}, {10111, 1}, {10133, 1}, {10139,
1}, {10141, 1}, {10151, 1}, {10159, 1}, {10163, 1}, {10169,
1}, {10177, 1}, {10181, 1}, {10193, 1}, {10211, 1}, {10223,
1}, {10243, 1}, {10247, 1}, {10253, 1}, {10259, 1}, {10267,
1}, {10271, 1}, {10273, 1}, {10289, 1}, {10301, 1}, {10303,
1}, {10313, 1}, {10321, 1}, {10331, 1}, {10333, 1}, {10337,
1}, {10343, 1}, {10357, 1}, {10369, 1}, {10391, 1}, {10399,
1}, {10427, 1}, {10429, 1}, {10433, 1}, {10453, 1}, {10457,
1}, {10459, 1}, {10463, 1}, {10477, 1}, {10487, 1}, {10499,
1}, {10501, 1}, {10513, 1}, {10529, 1}, {10531, 1}, {10559,
1}, {10567, 1}, {10589, 1}, {10597, 1}, {10601, 1}, {10607,
1}, {10613, 1}, {10627, 1}, {10631, 1}, {10639, 1}, {10651,
1}, {10657, 1}, {10663, 1}, {10667, 1}, {10687, 1}, {10691,
1}, {10709, 1}, {10711, 1}, {10723, 1}, {10729, 1}, {10733,
1}, {10739, 1}, {10753, 1}, {10771, 1}, {10781, 1}, {10789,
1}, {10799, 1}, {10831, 1}, {10837, 1}, {10847, 1}, {10853,
1}, {10859, 1}, {10861, 1}, {10867, 1}, {10883, 1}, {10889,
1}, {10891, 1}, {10903, 1}, {10909, 1}, {10937, 1}, {10939,
1}, {10949, 1}, {10957, 1}, {10973, 1}, {10979, 1}, {10987,
1}, {10993, 1}, {11003, 1}, {11027, 1}, {11047, 1}, {11057,
1}, {11059, 1}, {11069, 1}, {11071, 1}, {11083, 1}, {11087,
1}, {11093, 1}, {11113, 1}, {11117, 1}, {11119, 1}, {11131,
1}, {11149, 1}, {11159, 1}, {11161, 1}, {11171, 1}, {11173,
1}, {11177, 1}, {11197, 1}, {11213, 1}, {11239, 1}, {11243,
1}, {11251, 1}, {11257, 1}, {11261, 1}, {11273, 1}, {11279,
1}, {11287, 1}, {11299, 1}, {11311, 1}, {11317, 1}, {11321,
1}, {11329, 1}, {11351, 1}, {11353, 1}, {11369, 1}, {11383,
1}, {11393, 1}, {11399, 1}, {11411, 1}, {11423, 1}, {11437,
1}, {11443, 1}, {11447, 1}, {11467, 1}, {11471, 1}, {11483,
1}, {11489, 1}, {11491, 1}, {11497, 1}, {11503, 1}, {11519,
1}, {11527, 1}, {11549, 1}, {11551, 1}, {11579, 1}, {11587,
1}, {11593, 1}, {11597, 1}, {11617, 1}, {11621, 1}, {11633,
1}, {11657, 1}, {11677, 1}, {11681, 1}, {11689, 1}, {11699,
1}, {11701, 1}, {11717, 1}, {11719, 1}, {11731, 1}, {11743,
1}, {11777, 1}, {11779, 1}, {11783, 1}, {11789, 1}, {11801,
1}, {11807, 1}, {11813, 1}, {11821, 1}, {11827, 1}, {11831,
1}, {11833, 1}, {11839, 1}, {11863, 1}, {11867, 1}, {11887,
1}, {11897, 1}, {11903, 1}, {11909, 1}, {11923, 1}, {11927,
1}, {11933, 1}, {11939, 1}, {11941, 1}, {11953, 1}, {11959,
1}, {11969, 1}, {11971, 1}, {11981, 1}, {11987, 1}, {12007,
1}, {12011, 1}, {12037, 1}, {12041, 1}, {12043, 1}, {12049,
1}, {12071, 1}, {12073, 1}, {12097, 1}, {12101, 1}, {12107,
1}, {12109, 1}, {12113, 1}, {12119, 1}, {12143, 1}, {12149,
1}, {12157, 1}, {12161, 1}, {12163, 1}, {12197, 1}, {12203,
1}, {12211, 1}, {12227, 1}, {12239, 1}, {12241, 1}, {12251,
1}, {12253, 1}, {12263, 1}, {12269, 1}, {12277, 1}, {12281,
1}, {12289, 1}, {12301, 1}, {12323, 1}, {12329, 1}, {12343,
1}, {12347, 1}, {12373, 1}, {12377, 1}, {12379, 1}, {12391,
1}, {12401, 1}, {12409, 1}, {12413, 1}, {12421, 1}, {12433,
1}, {12437, 1}, {12451, 1}, {12457, 1}, {12473, 1}, {12479,
1}, {12487, 1}, {12491, 1}, {12497, 1}, {12503, 1}, {12511,
1}, {12517, 1}, {12527, 1}, {12539, 1}, {12541, 1}, {12547,
1}, {12553, 1}, {12569, 1}, {12577, 1}, {12583, 1}, {12589,
1}, {12601, 1}, {12611, 1}, {12613, 1}, {12619, 1}, {12637,
1}, {12641, 1}, {12647, 1}, {12653, 1}, {12659, 1}, {12671,
1}, {12689, 1}, {12697, 1}, {12703, 1}, {12713, 1}, {12721,
1}, {12739, 1}, {12743, 1}, {12757, 1}, {12763, 1}, {12781,
1}, {12791, 1}, {12799, 1}, {12809, 1}, {12821, 1}, {12823,
1}, {12829, 1}, {12841, 1}, {12853, 1}, {12889, 1}, {12893,
1}, {12899, 1}, {12907, 1}, {12911, 1}, {12917, 1}, {12919,
1}, {12923, 1}, {12941, 1}, {12953, 1}, {12959, 1}, {12967,
1}, {12973, 1}, {12979, 1}, {12983, 1}, {13001, 1}, {13003,
1}, {13007, 1}, {13009, 1}, {13033, 1}, {13037, 1}, {13043,
1}, {13049, 1}, {13063, 1}, {13093, 1}, {13099, 1}, {13103,
1}, {13109, 1}, {13121, 1}, {13127, 1}, {13147, 1}, {13151,
1}, {13159, 1}, {13163, 1}, {13171, 1}, {13177, 1}, {13183,
1}, {13187, 1}, {13217, 1}, {13219, 1}, {13229, 1}, {13241,
1}, {13249, 1}, {13259, 1}, {13267, 1}, {13291, 1}, {13297,
1}, {13309, 1}, {13313, 1}, {13327, 1}, {13331, 1}, {13337,
1}, {13339, 1}, {13367, 1}, {13381, 1}, {13397, 1}, {13399,
1}, {13411, 1}, {13417, 1}, {13421, 1}, {13441, 1}, {13451,
1}, {13457, 1}, {13463, 1}, {13469, 1}, {13477, 1}, {13487,
1}, {13499, 1}, {13513, 1}, {13523, 1}, {13537, 1}, {13553,
1}, {13567, 1}, {13577, 1}, {13591, 1}, {13597, 1}, {13613,
1}, {13619, 1}, {13627, 1}, {13633, 1}, {13649, 1}, {13669,
1}, {13679, 1}, {13681, 1}, {13687, 1}, {13691, 1}, {13693,
1}, {13697, 1}, {13709, 1}, {13711, 1}, {13721, 1}, {13723,
1}, {13729, 1}, {13751, 1}, {13757, 1}, {13759, 1}, {13763,
1}, {13781, 1}, {13789, 1}, {13799, 1}, {13807, 1}, {13829,
1}, {13831, 1}, {13841, 1}, {13859, 1}, {13873, 1}, {13877,
1}, {13879, 1}, {13883, 1}, {13901, 1}, {13903, 1}, {13907,
1}, {13913, 1}, {13921, 1}, {13931, 1}, {13933, 1}, {13963,
1}, {13967, 1}, {13997, 1}, {13999, 1}, {14009, 1}, {14011,
1}, {14029, 1}, {14033, 1}, {14051, 1}, {14057, 1}, {14071,
1}, {14081, 1}, {14083, 1}, {14087, 1}, {14107, 1}, {14143,
1}, {14149, 1}, {14153, 1}, {14159, 1}, {14173, 1}, {14177,
1}, {14197, 1}, {14207, 1}, {14221, 1}, {14243, 1}, {14249,
1}, {14251, 1}, {14281, 1}, {14293, 1}, {14303, 1}, {14321,
1}, {14323, 1}, {14327, 1}, {14341, 1}, {14347, 1}, {14369,
1}, {14387, 1}, {14389, 1}, {14401, 1}, {14407, 1}, {14411,
1}, {14419, 1}, {14423, 1}, {14431, 1}, {14437, 1}, {14447,
1}, {14449, 1}, {14461, 1}, {14479, 1}, {14489, 1}, {14503,
1}, {14519, 1}, {14533, 1}, {14537, 1}, {14543, 1}, {14549,
1}, {14551, 1}, {14557, 1}, {14561, 1}, {14563, 1}, {14591,
1}, {14593, 1}, {14621, 1}, {14627, 1}, {14629, 1}, {14633,
1}, {14639, 1}, {14653, 1}, {14657, 1}, {14669, 1}, {14683,
1}, {14699, 1}, {14713, 1}, {14717, 1}, {14723, 1}, {14731,
1}, {14737, 1}, {14741, 1}, {14747, 1}, {14753, 1}, {14759,
1}, {14767, 1}, {14771, 1}, {14779, 1}, {14783, 1}, {14797,
1}, {14813, 1}, {14821, 1}, {14827, 1}, {14831, 1}, {14843,
1}, {14851, 1}, {14867, 1}, {14869, 1}, {14879, 1}, {14887,
1}, {14891, 1}, {14897, 1}, {14923, 1}, {14929, 1}, {14939,
1}, {14947, 1}, {14951, 1}, {14957, 1}, {14969, 1}, {14983,
1}, {15013, 1}, {15017, 1}, {15031, 1}, {15053, 1}, {15061,
1}, {15073, 1}, {15077, 1}, {15083, 1}, {15091, 1}, {15101,
1}, {15107, 1}, {15121, 1}, {15131, 1}, {15137, 1}, {15139,
1}, {15149, 1}, {15161, 1}, {15173, 1}, {15187, 1}, {15193,
1}, {15199, 1}, {15217, 1}, {15227, 1}, {15233, 1}, {15241,
1}, {15259, 1}, {15263, 1}, {15269, 1}, {15271, 1}, {15277,
1}, {15287, 1}, {15289, 1}, {15299, 1}, {15307, 1}, {15313,
1}, {15319, 1}, {15329, 1}, {15331, 1}, {15349, 1}, {15359,
1}, {15361, 1}, {15373, 1}, {15377, 1}, {15383, 1}, {15391,
1}, {15401, 1}, {15413, 1}, {15427, 1}, {15439, 1}, {15443,
1}, {15451, 1}, {15461, 1}, {15467, 1}, {15473, 1}, {15493,
1}, {15497, 1}, {15511, 1}, {15527, 1}, {15541, 1}, {15551,
1}, {15559, 1}, {15569, 1}, {15581, 1}, {15583, 1}, {15601,
1}, {15607, 1}, {15619, 1}, {15629, 1}, {15641, 1}, {15643,
1}, {15647, 1}, {15649, 1}, {15661, 1}, {15667, 1}, {15671,
1}, {15679, 1}, {15683, 1}, {15727, 1}, {15731, 1}, {15733,
1}, {15737, 1}, {15739, 1}, {15749, 1}, {15761, 1}, {15767,
1}, {15773, 1}, {15787, 1}, {15791, 1}, {15797, 1}, {15803,
1}, {15809, 1}, {15817, 1}, {15823, 1}, {15859, 1}, {15877,
1}, {15881, 1}, {15887, 1}, {15889, 1}, {15901, 1}, {15907,
1}, {15913, 1}, {15919, 1}, {15923, 1}, {15937, 1}, {15959,
1}, {15971, 1}, {15973, 1}, {15991, 1}, {16001, 1}, {16007,
1}, {16033, 1}, {16057, 1}, {16061, 1}, {16063, 1}, {16067,
1}, {16069, 1}, {16073, 1}, {16087, 1}, {16091, 1}, {16097,
1}, {16103, 1}, {16111, 1}, {16127, 1}, {16139, 1}, {16141,
1}, {16183, 1}, {16187, 1}, {16189, 1}, {16193, 1}, {16217,
1}, {16223, 1}, {16229, 1}, {16231, 1}, {16249, 1}, {16253,
1}, {16267, 1}, {16273, 1}, {16301, 1}, {16319, 1}, {16333,
1}, {16339, 1}, {16349, 1}, {16361, 1}, {16363, 1}, {16369,
1}, {16381, 1}, {16411, 1}, {16417, 1}, {16421, 1}, {16427,
1}, {16433, 1}, {16447, 1}, {16451, 1}, {16453, 1}, {16477,
1}, {16481, 1}, {16487, 1}, {16493, 1}, {16519, 1}, {16529,
1}, {16547, 1}, {16553, 1}, {16561, 1}, {16567, 1}, {16573,
1}, {16603, 1}, {16607, 1}, {16619, 1}, {16631, 1}, {16633,
1}, {16649, 1}, {16651, 1}, {16657, 1}, {16661, 1}, {16673,
1}, {16691, 1}, {16693, 1}, {16699, 1}, {16703, 1}, {16729,
1}, {16741, 1}, {16747, 1}, {16759, 1}, {16763, 1}, {16787,
1}, {16811, 1}, {16823, 1}, {16829, 1}, {16831, 1}, {16843,
1}, {16871, 1}, {16879, 1}, {16883, 1}, {16889, 1}, {16901,
1}, {16903, 1}, {16921, 1}, {16927, 1}, {16931, 1}, {16937,
1}, {16943, 1}, {16963, 1}, {16979, 1}, {16981, 1}, {16987,
1}, {16993, 1}, {17011, 1}, {17021, 1}, {17027, 1}, {17029,
1}, {17033, 1}, {17041, 1}, {17047, 1}, {17053, 1}, {17077,
1}, {17093, 1}, {17099, 1}, {17107, 1}, {17117, 1}, {17123,
1}, {17137, 1}, {17159, 1}, {17167, 1}, {17183, 1}, {17189,
1}, {17191, 1}, {17203, 1}, {17207, 1}, {17209, 1}, {17231,
1}, {17239, 1}, {17257, 1}, {17291, 1}, {17293, 1}, {17299,
1}, {17317, 1}, {17321, 1}, {17327, 1}, {17333, 1}, {17341,
1}, {17351, 1}, {17359, 1}, {17377, 1}, {17383, 1}, {17387,
1}, {17389, 1}, {17393, 1}, {17401, 1}, {17417, 1}, {17419,
1}, {17431, 1}, {17443, 1}, {17449, 1}, {17467, 1}, {17471,
1}, {17477, 1}, {17483, 1}, {17489, 1}, {17491, 1}, {17497,
1}, {17509, 1}, {17519, 1}, {17539, 1}, {17551, 1}, {17569,
1}, {17573, 1}, {17579, 1}, {17581, 1}, {17597, 1}, {17599,
1}, {17609, 1}, {17623, 1}, {17627, 1}, {17657, 1}, {17659,
1}, {17669, 1}, {17681, 1}, {17683, 1}, {17707, 1}, {17713,
1}, {17729, 1}, {17737, 1}, {17747, 1}, {17749, 1}, {17761,
1}, {17783, 1}, {17789, 1}, {17791, 1}, {17807, 1}, {17827,
1}, {17837, 1}, {17839, 1}, {17851, 1}, {17863, 1}, {17881,
1}, {17891, 1}, {17903, 1}, {17909, 1}, {17911, 1}, {17921,
1}, {17923, 1}, {17929, 1}, {17939, 1}, {17957, 1}, {17959,
1}, {17971, 1}, {17977, 1}, {17981, 1}, {17987, 1}, {17989,
1}, {18013, 1}, {18041, 1}, {18043, 1}, {18047, 1}, {18049,
1}, {18059, 1}, {18061, 1}, {18077, 1}, {18089, 1}, {18097,
1}, {18119, 1}, {18121, 1}, {18127, 1}, {18131, 1}, {18133,
1}, {18143, 1}, {18149, 1}, {18169, 1}, {18181, 1}, {18191,
1}, {18199, 1}, {18211, 1}, {18217, 1}, {18223, 1}, {18229,
1}, {18233, 1}, {18251, 1}, {18253, 1}, {18257, 1}, {18269,
1}, {18287, 1}, {18289, 1}, {18301, 1}, {18307, 1}, {18311,
1}, {18313, 1}, {18329, 1}, {18341, 1}, {18353, 1}, {18367,
1}, {18371, 1}, {18379, 1}, {18397, 1}, {18401, 1}, {18413,
1}, {18427, 1}, {18433, 1}, {18439, 1}, {18443, 1}, {18451,
1}, {18457, 1}, {18461, 1}, {18481, 1}, {18493, 1}, {18503,
1}, {18517, 1}, {18521, 1}, {18523, 1}, {18539, 1}, {18541,
1}, {18553, 1}, {18583, 1}, {18587, 1}, {18593, 1}, {18617,
1}, {18637, 1}, {18661, 1}, {18671, 1}, {18679, 1}, {18691,
1}, {18701, 1}, {18713, 1}, {18719, 1}, {18731, 1}, {18743,
1}, {18749, 1}, {18757, 1}, {18773, 1}, {18787, 1}, {18793,
1}, {18797, 1}, {18803, 1}, {18839, 1}, {18859, 1}, {18869,
1}, {18899, 1}, {18911, 1}, {18913, 1}, {18917, 1}, {18919,
1}, {18947, 1}, {18959, 1}, {18973, 1}, {18979, 1}, {19001,
1}, {19009, 1}, {19013, 1}, {19031, 1}, {19037, 1}, {19051,
1}, {19069, 1}, {19073, 1}, {19079, 1}, {19081, 1}, {19087,
1}, {19121, 1}, {19139, 1}, {19141, 1}, {19157, 1}, {19163,
1}, {19181, 1}, {19183, 1}, {19207, 1}, {19211, 1}, {19213,
1}, {19219, 1}, {19231, 1}, {19237, 1}, {19249, 1}, {19259,
1}, {19267, 1}, {19273, 1}, {19289, 1}, {19301, 1}, {19309,
1}, {19319, 1}, {19333, 1}, {19373, 1}, {19379, 1}, {19381,
1}, {19387, 1}, {19391, 1}, {19403, 1}, {19417, 1}, {19421,
1}, {19423, 1}, {19427, 1}, {19429, 1}, {19433, 1}, {19441,
1}, {19447, 1}, {19457, 1}, {19463, 1}, {19469, 1}, {19471,
1}, {19477, 1}, {19483, 1}, {19489, 1}, {19501, 1}, {19507,
1}, {19531, 1}, {19541, 1}, {19543, 1}, {19553, 1}, {19559,
1}, {19571, 1}, {19577, 1}, {19583, 1}, {19597, 1}, {19603,
1}, {19609, 1}, {19661, 1}, {19681, 1}, {19687, 1}, {19697,
1}, {19699, 1}, {19709, 1}, {19717, 1}, {19727, 1}, {19739,
1}, {19751, 1}, {19753, 1}, {19759, 1}, {19763, 1}, {19777,
1}, {19793, 1}, {19801, 1}, {19813, 1}, {19819, 1}, {19841,
1}, {19843, 1}, {19853, 1}, {19861, 1}, {19867, 1}, {19889,
1}, {19891, 1}, {19913, 1}, {19919, 1}, {19927, 1}, {19937,
1}, {19949, 1}, {19961, 1}, {19963, 1}, {19973, 1}, {19979,
1}, {19991, 1}, {19993, 1}, {19997, 1}, {20011, 1}, {20021,
1}, {20023, 1}, {20029, 1}, {20047, 1}, {20051, 1}, {20063,
1}, {20071, 1}, {20089, 1}, {20101, 1}, {20107, 1}, {20113,
1}, {20117, 1}, {20123, 1}, {20129, 1}, {20143, 1}, {20147,
1}, {20149, 1}, {20161, 1}, {20173, 1}, {20177, 1}, {20183,
1}, {20201, 1}, {20219, 1}, {20231, 1}, {20233, 1}, {20249,
1}, {20261, 1}, {20269, 1}, {20287, 1}, {20297, 1}, {20323,
1}, {20327, 1}, {20333, 1}, {20341, 1}, {20347, 1}, {20353,
1}, {20357, 1}, {20359, 1}, {20369, 1}, {20389, 1}, {20393,
1}, {20399, 1}, {20407, 1}, {20411, 1}, {20431, 1}, {20441,
1}, {20443, 1}, {20477, 1}, {20479, 1}, {20483, 1}, {20507,
1}, {20509, 1}, {20521, 1}, {20533, 1}, {20543, 1}, {20549,
1}, {20551, 1}, {20563, 1}, {20593, 1}, {20599, 1}, {20611,
1}, {20627, 1}, {20639, 1}, {20641, 1}, {20663, 1}, {20681,
1}, {20693, 1}, {20707, 1}, {20717, 1}, {20719, 1}, {20731,
1}, {20743, 1}, {20747, 1}, {20749, 1}, {20753, 1}, {20759,
1}, {20771, 1}, {20773, 1}, {20789, 1}, {20807, 1}, {20809,
1}, {20849, 1}, {20857, 1}, {20873, 1}, {20879, 1}, {20887,
1}, {20897, 1}, {20899, 1}, {20903, 1}, {20921, 1}, {20929,
1}, {20939, 1}, {20947, 1}, {20959, 1}, {20963, 1}, {20981,
1}, {20983, 1}, {21001, 1}, {21011, 1}, {21013, 1}, {21017,
1}, {21019, 1}, {21023, 1}, {21031, 1}, {21059, 1}, {21061,
1}, {21067, 1}, {21089, 1}, {21101, 1}, {21107, 1}, {21121,
1}, {21139, 1}, {21143, 1}, {21149, 1}, {21157, 1}, {21163,
1}, {21169, 1}, {21179, 1}, {21187, 1}, {21191, 1}, {21193,
1}, {21211, 1}, {21221, 1}, {21227, 1}, {21247, 1}, {21269,
1}, {21277, 1}, {21283, 1}, {21313, 1}, {21317, 1}, {21319,
1}, {21323, 1}, {21341, 1}, {21347, 1}, {21377, 1}, {21379,
1}, {21383, 1}, {21391, 1}, {21397, 1}, {21401, 1}, {21407,
1}, {21419, 1}, {21433, 1}, {21467, 1}, {21481, 1}, {21487,
1}, {21491, 1}, {21493, 1}, {21499, 1}, {21503, 1}, {21517,
1}, {21521, 1}, {21523, 1}, {21529, 1}, {21557, 1}, {21559,
1}, {21563, 1}, {21569, 1}, {21577, 1}, {21587, 1}, {21589,
1}, {21599, 1}, {21601, 1}, {21611, 1}, {21613, 1}, {21617,
1}, {21647, 1}, {21649, 1}, {21661, 1}, {21673, 1}, {21683,
1}, {21701, 1}, {21713, 1}, {21727, 1}, {21737, 1}, {21739,
1}, {21751, 1}, {21757, 1}, {21767, 1}, {21773, 1}, {21787,
1}, {21799, 1}, {21803, 1}, {21817, 1}, {21821, 1}, {21839,
1}, {21841, 1}, {21851, 1}, {21859, 1}, {21863, 1}, {21871,
1}, {21881, 1}, {21893, 1}, {21911, 1}, {21929, 1}, {21937,
1}, {21943, 1}, {21961, 1}, {21977, 1}, {21991, 1}, {21997,
1}, {22003, 1}, {22013, 1}, {22027, 1}, {22031, 1}, {22037,
1}, {22039, 1}, {22051, 1}, {22063, 1}, {22067, 1}, {22073,
1}, {22079, 1}, {22091, 1}, {22093, 1}, {22109, 1}, {22111,
1}, {22123, 1}, {22129, 1}, {22133, 1}, {22147, 1}, {22153,
1}, {22157, 1}, {22159, 1}, {22171, 1}, {22189, 1}, {22193,
1}, {22229, 1}, {22247, 1}, {22259, 1}, {22271, 1}, {22273,
1}, {22277, 1}, {22279, 1}, {22283, 1}, {22291, 1}, {22303,
1}, {22307, 1}, {22343, 1}, {22349, 1}, {22367, 1}, {22369,
1}, {22381, 1}, {22391, 1}, {22397, 1}, {22409, 1}, {22433,
1}, {22441, 1}, {22447, 1}, {22453, 1}, {22469, 1}, {22481,
1}, {22483, 1}, {22501, 1}, {22511, 1}, {22531, 1}, {22541,
1}, {22543, 1}, {22549, 1}, {22567, 1}, {22571, 1}, {22573,
1}, {22613, 1}, {22619, 1}, {22621, 1}, {22637, 1}, {22639,
1}, {22643, 1}, {22651, 1}, {22669, 1}, {22679, 1}, {22691,
1}, {22697, 1}, {22699, 1}, {22709, 1}, {22717, 1}, {22721,
1}, {22727, 1}, {22739, 1}, {22741, 1}, {22751, 1}, {22769,
1}, {22777, 1}, {22783, 1}, {22787, 1}, {22807, 1}, {22811,
1}, {22817, 1}, {22853, 1}, {22859, 1}, {22861, 1}, {22871,
1}, {22877, 1}, {22901, 1}, {22907, 1}, {22921, 1}, {22937,
1}, {22943, 1}, {22961, 1}, {22963, 1}, {22973, 1}, {22993,
1}, {23003, 1}, {23011, 1}, {23017, 1}, {23021, 1}, {23027,
1}, {23029, 1}, {23039, 1}, {23041, 1}, {23053, 1}, {23057,
1}, {23059, 1}, {23063, 1}, {23071, 1}, {23081, 1}, {23087,
1}, {23099, 1}, {23117, 1}, {23131, 1}, {23143, 1}, {23159,
1}, {23167, 1}, {23173, 1}, {23189, 1}, {23197, 1}, {23201,
1}, {23203, 1}, {23209, 1}, {23227, 1}, {23251, 1}, {23269,
1}, {23279, 1}, {23291, 1}, {23293, 1}, {23297, 1}, {23311,
1}, {23321, 1}, {23327, 1}, {23333, 1}, {23339, 1}, {23357,
1}, {23369, 1}, {23371, 1}, {23399, 1}, {23417, 1}, {23431,
1}, {23447, 1}, {23459, 1}, {23473, 1}, {23497, 1}, {23509,
1}, {23531, 1}, {23537, 1}, {23539, 1}, {23549, 1}, {23557,
1}, {23561, 1}, {23563, 1}, {23567, 1}, {23581, 1}, {23593,
1}, {23599, 1}, {23603, 1}, {23609, 1}, {23623, 1}, {23627,
1}, {23629, 1}, {23633, 1}, {23663, 1}, {23669, 1}, {23671,
1}, {23677, 1}, {23687, 1}, {23689, 1}, {23719, 1}, {23741,
1}, {23743, 1}, {23747, 1}, {23753, 1}, {23761, 1}, {23767,
1}, {23773, 1}, {23789, 1}, {23801, 1}, {23813, 1}, {23819,
1}, {23827, 1}, {23831, 1}, {23833, 1}, {23857, 1}, {23869,
1}, {23873, 1}, {23879, 1}, {23887, 1}, {23893, 1}, {23899,
1}, {23909, 1}, {23911, 1}, {23917, 1}, {23929, 1}, {23957,
1}, {23971, 1}, {23977, 1}, {23981, 1}, {23993, 1}, {24001,
1}, {24007, 1}, {24019, 1}, {24023, 1}, {24029, 1}, {24043,
1}, {24049, 1}, {24061, 1}, {24071, 1}, {24077, 1}, {24083,
1}, {24091, 1}, {24097, 1}, {24103, 1}, {24107, 1}, {24109,
1}, {24113, 1}, {24121, 1}, {24133, 1}, {24137, 1}, {24151,
1}, {24169, 1}, {24179, 1}, {24181, 1}, {24197, 1}, {24203,
1}, {24223, 1}, {24229, 1}, {24239, 1}, {24247, 1}, {24251,
1}, {24281, 1}, {24317, 1}, {24329, 1}, {24337, 1}, {24359,
1}, {24371, 1}, {24373, 1}, {24379, 1}, {24391, 1}, {24407,
1}, {24413, 1}, {24419, 1}, {24421, 1}, {24439, 1}, {24443,
1}, {24469, 1}, {24473, 1}, {24481, 1}, {24499, 1}, {24509,
1}, {24517, 1}, {24527, 1}, {24533, 1}, {24547, 1}, {24551,
1}, {24571, 1}, {24593, 1}, {24611, 1}, {24623, 1}, {24631,
1}, {24659, 1}, {24671, 1}, {24677, 1}, {24683, 1}, {24691,
1}, {24697, 1}, {24709, 1}, {24733, 1}, {24749, 1}, {24763,
1}, {24767, 1}, {24781, 1}, {24793, 1}, {24799, 1}, {24809,
1}, {24821, 1}, {24841, 1}, {24847, 1}, {24851, 1}, {24859,
1}, {24877, 1}, {24889, 1}, {24907, 1}, {24917, 1}, {24919,
1}, {24923, 1}, {24943, 1}, {24953, 1}, {24967, 1}, {24971,
1}, {24977, 1}, {24979, 1}, {24989, 1}, {25013, 1}, {25031,
1}, {25033, 1}, {25037, 1}, {25057, 1}, {25073, 1}, {25087,
1}, {25097, 1}, {25111, 1}, {25117, 1}, {25121, 1}, {25127,
1}, {25147, 1}, {25153, 1}, {25163, 1}, {25169, 1}, {25171,
1}, {25183, 1}, {25189, 1}, {25219, 1}, {25229, 1}, {25237,
1}, {25243, 1}, {25247, 1}, {25253, 1}, {25261, 1}, {25301,
1}, {25303, 1}, {25307, 1}, {25309, 1}, {25321, 1}, {25339,
1}, {25343, 1}, {25349, 1}, {25357, 1}, {25367, 1}, {25373,
1}, {25391, 1}, {25409, 1}, {25411, 1}, {25423, 1}, {25439,
1}, {25447, 1}, {25453, 1}, {25457, 1}, {25463, 1}, {25469,
1}, {25471, 1}, {25523, 1}, {25537, 1}, {25541, 1}, {25561,
1}, {25577, 1}, {25579, 1}, {25583, 1}, {25589, 1}, {25601,
1}, {25603, 1}, {25609, 1}, {25621, 1}, {25633, 1}, {25639,
1}, {25643, 1}, {25657, 1}, {25667, 1}, {25673, 1}, {25679,
1}, {25693, 1}, {25703, 1}, {25717, 1}, {25733, 1}, {25741,
1}, {25747, 1}, {25759, 1}, {25763, 1}, {25771, 1}, {25793,
1}, {25799, 1}, {25801, 1}, {25819, 1}, {25841, 1}, {25847,
1}, {25849, 1}, {25867, 1}, {25873, 1}, {25889, 1}, {25903,
1}, {25913, 1}, {25919, 1}, {25931, 1}, {25933, 1}, {25939,
1}, {25943, 1}, {25951, 1}, {25969, 1}, {25981, 1}, {25997,
1}, {25999, 1}, {26003, 1}, {26017, 1}, {26021, 1}, {26029,
1}, {26041, 1}, {26053, 1}, {26083, 1}, {26099, 1}, {26107,
1}, {26111, 1}, {26113, 1}, {26119, 1}, {26141, 1}, {26153,
1}, {26161, 1}, {26171, 1}, {26177, 1}, {26183, 1}, {26189,
1}, {26203, 1}, {26209, 1}, {26227, 1}, {26237, 1}, {26249,
1}, {26251, 1}, {26261, 1}, {26263, 1}, {26267, 1}, {26293,
1}, {26297, 1}, {26309, 1}, {26317, 1}, {26321, 1}, {26339,
1}, {26347, 1}, {26357, 1}, {26371, 1}, {26387, 1}, {26393,
1}, {26399, 1}, {26407, 1}, {26417, 1}, {26423, 1}, {26431,
1}, {26437, 1}, {26449, 1}, {26459, 1}, {26479, 1}, {26489,
1}, {26497, 1}, {26501, 1}, {26513, 1}, {26539, 1}, {26557,
1}, {26561, 1}, {26573, 1}, {26591, 1}, {26597, 1}, {26627,
1}, {26633, 1}, {26641, 1}, {26647, 1}, {26669, 1}, {26681,
1}, {26683, 1}, {26687, 1}, {26693, 1}, {26699, 1}, {26701,
1}, {26711, 1}, {26713, 1}, {26717, 1}, {26723, 1}, {26729,
1}, {26731, 1}, {26737, 1}, {26759, 1}, {26777, 1}, {26783,
1}, {26801, 1}, {26813, 1}, {26821, 1}, {26833, 1}, {26839,
1}, {26849, 1}, {26861, 1}, {26863, 1}, {26879, 1}, {26881,
1}, {26891, 1}, {26893, 1}, {26903, 1}, {26921, 1}, {26927,
1}, {26947, 1}, {26951, 1}, {26953, 1}, {26959, 1}, {26981,
1}, {26987, 1}, {26993, 1}, {27011, 1}, {27017, 1}, {27031,
1}, {27043, 1}, {27059, 1}, {27061, 1}, {27067, 1}, {27073,
1}, {27077, 1}, {27091, 1}, {27103, 1}, {27107, 1}, {27109,
1}, {27127, 1}, {27143, 1}, {27179, 1}, {27191, 1}, {27197,
1}, {27211, 1}, {27239, 1}, {27241, 1}, {27253, 1}, {27259,
1}, {27271, 1}, {27277, 1}, {27281, 1}, {27283, 1}, {27299,
1}, {27329, 1}, {27337, 1}, {27361, 1}, {27367, 1}, {27397,
1}, {27407, 1}, {27409, 1}, {27427, 1}, {27431, 1}, {27437,
1}, {27449, 1}, {27457, 1}, {27479, 1}, {27481, 1}, {27487,
1}, {27509, 1}, {27527, 1}, {27529, 1}, {27539, 1}, {27541,
1}, {27551, 1}, {27581, 1}, {27583, 1}, {27611, 1}, {27617,
1}, {27631, 1}, {27647, 1}, {27653, 1}, {27673, 1}, {27689,
1}, {27691, 1}, {27697, 1}, {27701, 1}, {27733, 1}, {27737,
1}, {27739, 1}, {27743, 1}, {27749, 1}, {27751, 1}, {27763,
1}, {27767, 1}, {27773, 1}, {27779, 1}, {27791, 1}, {27793,
1}, {27799, 1}, {27803, 1}, {27809, 1}, {27817, 1}, {27823,
1}, {27827, 1}, {27847, 1}, {27851, 1}, {27883, 1}, {27893,
1}, {27901, 1}, {27917, 1}, {27919, 1}, {27941, 1}, {27943,
1}, {27947, 1}, {27953, 1}, {27961, 1}, {27967, 1}, {27983,
1}, {27997, 1}, {28001, 1}, {28019, 1}, {28027, 1}, {28031,
1}, {28051, 1}, {28057, 1}, {28069, 1}, {28081, 1}, {28087,
1}, {28097, 1}, {28099, 1}, {28109, 1}, {28111, 1}, {28123,
1}, {28151, 1}, {28163, 1}, {28181, 1}, {28183, 1}, {28201,
1}, {28211, 1}, {28219, 1}, {28229, 1}, {28277, 1}, {28279,
1}, {28283, 1}, {28289, 1}, {28297, 1}, {28307, 1}, {28309,
1}, {28319, 1}, {28349, 1}, {28351, 1}, {28387, 1}, {28393,
1}, {28403, 1}, {28409, 1}, {28411, 1}, {28429, 1}, {28433,
1}, {28439, 1}, {28447, 1}, {28463, 1}, {28477, 1}, {28493,
1}, {28499, 1}, {28513, 1}, {28517, 1}, {28537, 1}, {28541,
1}, {28547, 1}, {28549, 1}, {28559, 1}, {28571, 1}, {28573,
1}, {28579, 1}, {28591, 1}, {28597, 1}, {28603, 1}, {28607,
1}, {28619, 1}, {28621, 1}, {28627, 1}, {28631, 1}, {28643,
1}, {28649, 1}, {28657, 1}, {28661, 1}, {28663, 1}, {28669,
1}, {28687, 1}, {28697, 1}, {28703, 1}, {28711, 1}, {28723,
1}, {28729, 1}, {28751, 1}, {28753, 1}, {28759, 1}, {28771,
1}, {28789, 1}, {28793, 1}, {28807, 1}, {28813, 1}, {28817,
1}, {28837, 1}, {28843, 1}, {28859, 1}, {28867, 1}, {28871,
1}, {28879, 1}, {28901, 1}, {28909, 1}, {28921, 1}, {28927,
1}, {28933, 1}, {28949, 1}, {28961, 1}, {28979, 1}, {29009,
1}, {29017, 1}, {29021, 1}, {29023, 1}, {29027, 1}, {29033,
1}, {29059, 1}, {29063, 1}, {29077, 1}, {29101, 1}, {29123,
1}, {29129, 1}, {29131, 1}, {29137, 1}, {29147, 1}, {29153,
1}, {29167, 1}, {29173, 1}, {29179, 1}, {29191, 1}, {29201,
1}, {29207, 1}, {29209, 1}, {29221, 1}, {29231, 1}, {29243,
1}, {29251, 1}, {29269, 1}, {29287, 1}, {29297, 1}, {29303,
1}, {29311, 1}, {29327, 1}, {29333, 1}, {29339, 1}, {29347,
1}, {29363, 1}, {29383, 1}, {29387, 1}, {29389, 1}, {29399,
1}, {29401, 1}, {29411, 1}, {29423, 1}, {29429, 1}, {29437,
1}, {29443, 1}, {29453, 1}, {29473, 1}, {29483, 1}, {29501,
1}, {29527, 1}, {29531, 1}, {29537, 1}, {29567, 1}, {29569,
1}, {29573, 1}, {29581, 1}, {29587, 1}, {29599, 1}, {29611,
1}, {29629, 1}, {29633, 1}, {29641, 1}, {29663, 1}, {29669,
1}, {29671, 1}, {29683, 1}, {29717, 1}, {29723, 1}, {29741,
1}, {29753, 1}, {29759, 1}, {29761, 1}, {29789, 1}, {29803,
1}, {29819, 1}, {29833, 1}, {29837, 1}, {29851, 1}, {29863,
1}, {29867, 1}, {29873, 1}, {29879, 1}, {29881, 1}, {29917,
1}, {29921, 1}, {29927, 1}, {29947, 1}, {29959, 1}, {29983,
1}, {29989, 1}, {30011, 1}, {30013, 1}, {30029, 1}, {30047,
1}, {30059, 1}, {30071, 1}, {30089, 1}, {30091, 1}, {30097,
1}, {30103, 1}, {30109, 1}, {30113, 1}, {30119, 1}, {30133,
1}, {30137, 1}, {30139, 1}, {30161, 1}, {30169, 1}, {30181,
1}, {30187, 1}, {30197, 1}, {30203, 1}, {30211, 1}, {30223,
1}, {30241, 1}, {30253, 1}, {30259, 1}, {30269, 1}, {30271,
1}, {30293, 1}, {30307, 1}, {30313, 1}, {30319, 1}, {30323,
1}, {30341, 1}, {30347, 1}, {30367, 1}, {30389, 1}, {30391,
1}, {30403, 1}, {30427, 1}, {30431, 1}, {30449, 1}, {30467,
1}, {30469, 1}, {30491, 1}, {30493, 1}, {30497, 1}, {30509,
1}, {30517, 1}, {30529, 1}, {30539, 1}, {30553, 1}, {30557,
1}, {30559, 1}, {30577, 1}, {30593, 1}, {30631, 1}, {30637,
1}, {30643, 1}, {30649, 1}, {30661, 1}, {30671, 1}, {30677,
1}, {30689, 1}, {30697, 1}, {30703, 1}, {30707, 1}, {30713,
1}, {30727, 1}, {30757, 1}, {30763, 1}, {30773, 1}, {30781,
1}, {30803, 1}, {30809, 1}, {30817, 1}, {30829, 1}, {30839,
1}, {30841, 1}, {30851, 1}, {30853, 1}, {30859, 1}, {30869,
1}, {30871, 1}, {30881, 1}, {30893, 1}, {30911, 1}, {30931,
1}, {30937, 1}, {30941, 1}, {30949, 1}, {30971, 1}, {30977,
1}, {30983, 1}, {31013, 1}, {31019, 1}, {31033, 1}, {31039,
1}, {31051, 1}, {31063, 1}, {31069, 1}, {31079, 1}, {31081,
1}, {31091, 1}, {31121, 1}, {31123, 1}, {31139, 1}, {31147,
1}, {31151, 1}, {31153, 1}, {31159, 1}, {31177, 1}, {31181,
1}, {31183, 1}, {31189, 1}, {31193, 1}, {31219, 1}, {31223,
1}, {31231, 1}, {31237, 1}, {31247, 1}, {31249, 1}, {31253,
1}, {31259, 1}, {31267, 1}, {31271, 1}, {31277, 1}, {31307,
1}, {31319, 1}, {31321, 1}, {31327, 1}, {31333, 1}, {31337,
1}, {31357, 1}, {31379, 1}, {31387, 1}, {31391, 1}, {31393,
1}, {31397, 1}, {31469, 1}, {31477, 1}, {31481, 1}, {31489,
1}, {31511, 1}, {31513, 1}, {31517, 1}, {31531, 1}, {31541,
1}, {31543, 1}, {31547, 1}, {31567, 1}, {31573, 1}, {31583,
1}, {31601, 1}, {31607, 1}, {31627, 1}, {31643, 1}, {31649,
1}, {31657, 1}, {31663, 1}, {31667, 1}, {31687, 1}, {31699,
1}, {31721, 1}, {31723, 1}, {31727, 1}, {31729, 1}, {31741,
1}, {31751, 1}, {31769, 1}, {31771, 1}, {31793, 1}, {31799,
1}, {31817, 1}, {31847, 1}, {31849, 1}, {31859, 1}, {31873,
1}, {31883, 1}, {31891, 1}, {31907, 1}, {31957, 1}, {31963,
1}, {31973, 1}, {31981, 1}, {31991, 1}, {32003, 1}, {32009,
1}, {32027, 1}, {32029, 1}, {32051, 1}, {32057, 1}, {32059,
1}, {32063, 1}, {32069, 1}, {32077, 1}, {32083, 1}, {32089,
1}, {32099, 1}, {32117, 1}, {32119, 1}, {32141, 1}, {32143,
1}, {32159, 1}, {32173, 1}, {32183, 1}, {32189, 1}, {32191,
1}, {32203, 1}, {32213, 1}, {32233, 1}, {32237, 1}, {32251,
1}, {32257, 1}, {32261, 1}, {32297, 1}, {32299, 1}, {32303,
1}, {32309, 1}, {32321, 1}, {32323, 1}, {32327, 1}, {32341,
1}, {32353, 1}, {32359, 1}, {32363, 1}, {32369, 1}, {32371,
1}, {32377, 1}, {32381, 1}, {32401, 1}, {32411, 1}, {32413,
1}, {32423, 1}, {32429, 1}, {32441, 1}, {32443, 1}, {32467,
1}, {32479, 1}, {32491, 1}, {32497, 1}, {32503, 1}, {32507,
1}, {32531, 1}, {32533, 1}, {32537, 1}, {32561, 1}, {32563,
1}, {32569, 1}, {32573, 1}, {32579, 1}, {32587, 1}, {32603,
1}, {32609, 1}, {32611, 1}, {32621, 1}, {32633, 1}, {32647,
1}, {32653, 1}, {32687, 1}, {32693, 1}, {32707, 1}, {32713,
1}, {32717, 1}, {32719, 1}, {32749, 1}, {32771, 1}, {32779,
1}, {32783, 1}, {32789, 1}, {32797, 1}, {32801, 1}, {32803,
1}, {32831, 1}, {32833, 1}, {32839, 1}, {32843, 1}, {32869,
1}, {32887, 1}, {32909, 1}, {32911, 1}, {32917, 1}, {32933,
1}, {32939, 1}, {32941, 1}, {32957, 1}, {32969, 1}, {32971,
1}, {32983, 1}, {32987, 1}, {32993, 1}, {32999, 1}, {33013,
1}, {33023, 1}, {33029, 1}, {33037, 1}, {33049, 1}, {33053,
1}, {33071, 1}, {33073, 1}, {33083, 1}, {33091, 1}, {33107,
1}, {33113, 1}, {33119, 1}, {33149, 1}, {33151, 1}, {33161,
1}, {33179, 1}, {33181, 1}, {33191, 1}, {33199, 1}, {33203,
1}, {33211, 1}, {33223, 1}, {33247, 1}, {33287, 1}, {33289,
1}, {33301, 1}, {33311, 1}, {33317, 1}, {33329, 1}, {33331,
1}, {33343, 1}, {33347, 1}, {33349, 1}, {33353, 1}, {33359,
1}, {33377, 1}, {33391, 1}, {33403, 1}, {33409, 1}, {33413,
1}, {33427, 1}, {33457, 1}, {33461, 1}, {33469, 1}, {33479,
1}, {33487, 1}, {33493, 1}, {33503, 1}, {33521, 1}, {33529,
1}, {33533, 1}, {33547, 1}, {33563, 1}, {33569, 1}, {33577,
1}, {33581, 1}, {33587, 1}, {33589, 1}, {33599, 1}, {33601,
1}, {33613, 1}, {33617, 1}, {33619, 1}, {33623, 1}, {33629,
1}, {33637, 1}, {33641, 1}, {33647, 1}, {33679, 1}, {33703,
1}, {33713, 1}, {33721, 1}, {33739, 1}, {33749, 1}, {33751,
1}, {33757, 1}, {33767, 1}, {33769, 1}, {33773, 1}, {33791,
1}, {33797, 1}, {33809, 1}, {33811, 1}, {33827, 1}, {33829,
1}, {33851, 1}, {33857, 1}, {33863, 1}, {33871, 1}, {33889,
1}, {33893, 1}, {33911, 1}, {33923, 1}, {33931, 1}, {33937,
1}, {33941, 1}, {33961, 1}, {33967, 1}, {33997, 1}, {34019,
1}, {34031, 1}, {34033, 1}, {34039, 1}, {34057, 1}, {34061,
1}, {34123, 1}, {34127, 1}, {34129, 1}, {34141, 1}, {34147,
1}, {34157, 1}, {34159, 1}, {34171, 1}, {34183, 1}, {34211,
1}, {34213, 1}, {34217, 1}, {34231, 1}, {34253, 1}, {34259,
1}, {34261, 1}, {34267, 1}, {34273, 1}, {34283, 1}, {34297,
1}, {34301, 1}, {34303, 1}, {34313, 1}, {34319, 1}, {34327,
1}, {34337, 1}, {34351, 1}, {34361, 1}, {34367, 1}, {34369,
1}, {34381, 1}, {34403, 1}, {34421, 1}, {34429, 1}, {34439,
1}, {34457, 1}, {34469, 1}, {34471, 1}, {34483, 1}, {34487,
1}, {34499, 1}, {34501, 1}, {34511, 1}, {34513, 1}, {34519,
1}, {34537, 1}, {34543, 1}, {34549, 1}, {34583, 1}, {34589,
1}, {34591, 1}, {34603, 1}, {34607, 1}, {34613, 1}, {34631,
1}, {34649, 1}, {34651, 1}, {34667, 1}, {34673, 1}, {34679,
1}, {34687, 1}, {34693, 1}, {34703, 1}, {34721, 1}, {34729,
1}, {34739, 1}, {34747, 1}, {34757, 1}, {34759, 1}, {34763,
1}, {34781, 1}, {34807, 1}, {34819, 1}, {34841, 1}, {34843,
1}, {34847, 1}, {34849, 1}, {34871, 1}, {34877, 1}, {34883,
1}, {34897, 1}, {34913, 1}, {34919, 1}, {34939, 1}, {34949,
1}, {34961, 1}, {34963, 1}, {34981, 1}, {35023, 1}, {35027,
1}, {35051, 1}, {35053, 1}, {35059, 1}, {35069, 1}, {35081,
1}, {35083, 1}, {35089, 1}, {35099, 1}, {35107, 1}, {35111,
1}, {35117, 1}, {35129, 1}, {35141, 1}, {35149, 1}, {35153,
1}, {35159, 1}, {35171, 1}, {35201, 1}, {35221, 1}, {35227,
1}, {35251, 1}, {35257, 1}, {35267, 1}, {35279, 1}, {35281,
1}, {35291, 1}, {35311, 1}, {35317, 1}, {35323, 1}, {35327,
1}, {35339, 1}, {35353, 1}, {35363, 1}, {35381, 1}, {35393,
1}, {35401, 1}, {35407, 1}, {35419, 1}, {35423, 1}, {35437,
1}, {35447, 1}, {35449, 1}, {35461, 1}, {35491, 1}, {35507,
1}, {35509, 1}, {35521, 1}, {35527, 1}, {35531, 1}, {35533,
1}, {35537, 1}, {35543, 1}, {35569, 1}, {35573, 1}, {35591,
1}, {35593, 1}, {35597, 1}, {35603, 1}, {35617, 1}, {35671,
1}, {35677, 1}, {35729, 1}, {35731, 1}, {35747, 1}, {35753,
1}, {35759, 1}, {35771, 1}, {35797, 1}, {35801, 1}, {35803,
1}, {35809, 1}, {35831, 1}, {35837, 1}, {35839, 1}, {35851,
1}, {35863, 1}, {35869, 1}, {35879, 1}, {35897, 1}, {35899,
1}, {35911, 1}, {35923, 1}, {35933, 1}, {35951, 1}, {35963,
1}, {35969, 1}, {35977, 1}, {35983, 1}, {35993, 1}, {35999,
1}, {36007, 1}, {36011, 1}, {36013, 1}, {36017, 1}, {36037,
1}, {36061, 1}, {36067, 1}, {36073, 1}, {36083, 1}, {36097,
1}, {36107, 1}, {36109, 1}, {36131, 1}, {36137, 1}, {36151,
1}, {36161, 1}, {36187, 1}, {36191, 1}, {36209, 1}, {36217,
1}, {36229, 1}, {36241, 1}, {36251, 1}, {36263, 1}, {36269,
1}, {36277, 1}, {36293, 1}, {36299, 1}, {36307, 1}, {36313,
1}, {36319, 1}, {36341, 1}, {36343, 1}, {36353, 1}, {36373,
1}, {36383, 1}, {36389, 1}, {36433, 1}, {36451, 1}, {36457,
1}, {36467, 1}, {36469, 1}, {36473, 1}, {36479, 1}, {36493,
1}, {36497, 1}, {36523, 1}, {36527, 1}, {36529, 1}, {36541,
1}, {36551, 1}, {36559, 1}, {36563, 1}, {36571, 1}, {36583,
1}, {36587, 1}, {36599, 1}, {36607, 1}, {36629, 1}, {36637,
1}, {36643, 1}, {36653, 1}, {36671, 1}, {36677, 1}, {36683,
1}, {36691, 1}, {36697, 1}, {36709, 1}, {36713, 1}, {36721,
1}, {36739, 1}, {36749, 1}, {36761, 1}, {36767, 1}, {36779,
1}, {36781, 1}, {36787, 1}, {36791, 1}, {36793, 1}, {36809,
1}, {36821, 1}, {36833, 1}, {36847, 1}, {36857, 1}, {36871,
1}, {36877, 1}, {36887, 1}, {36899, 1}, {36901, 1}, {36913,
1}, {36919, 1}, {36923, 1}, {36929, 1}, {36931, 1}, {36943,
1}, {36947, 1}, {36973, 1}, {36979, 1}, {36997, 1}, {37003,
1}, {37013, 1}, {37019, 1}, {37021, 1}, {37039, 1}, {37049,
1}, {37057, 1}, {37061, 1}, {37087, 1}, {37097, 1}, {37117,
1}, {37123, 1}, {37139, 1}, {37159, 1}, {37171, 1}, {37181,
1}, {37189, 1}, {37199, 1}, {37201, 1}, {37217, 1}, {37223,
1}, {37243, 1}, {37253, 1}, {37273, 1}, {37277, 1}, {37307,
1}, {37309, 1}, {37313, 1}, {37321, 1}, {37337, 1}, {37339,
1}, {37357, 1}, {37361, 1}, {37363, 1}, {37369, 1}, {37379,
1}, {37397, 1}, {37409, 1}, {37423, 1}, {37441, 1}, {37447,
1}, {37463, 1}, {37483, 1}, {37489, 1}, {37493, 1}, {37501,
1}, {37507, 1}, {37511, 1}, {37517, 1}, {37529, 1}, {37537,
1}, {37547, 1}, {37549, 1}, {37561, 1}, {37567, 1}, {37571,
1}, {37573, 1}, {37579, 1}, {37589, 1}, {37591, 1}, {37607,
1}, {37619, 1}, {37633, 1}, {37643, 1}, {37649, 1}, {37657,
1}, {37663, 1}, {37691, 1}, {37693, 1}, {37699, 1}, {37717,
1}, {37747, 1}, {37781, 1}, {37783, 1}, {37799, 1}, {37811,
1}, {37813, 1}, {37831, 1}, {37847, 1}, {37853, 1}, {37861,
1}, {37871, 1}, {37879, 1}, {37889, 1}, {37897, 1}, {37907,
1}, {37951, 1}, {37957, 1}, {37963, 1}, {37967, 1}, {37987,
1}, {37991, 1}, {37993, 1}, {37997, 1}, {38011, 1}, {38039,
1}, {38047, 1}, {38053, 1}, {38069, 1}, {38083, 1}, {38113,
1}, {38119, 1}, {38149, 1}, {38153, 1}, {38167, 1}, {38177,
1}, {38183, 1}, {38189, 1}, {38197, 1}, {38201, 1}, {38219,
1}, {38231, 1}, {38237, 1}, {38239, 1}, {38261, 1}, {38273,
1}, {38281, 1}, {38287, 1}, {38299, 1}, {38303, 1}, {38317,
1}, {38321, 1}, {38327, 1}, {38329, 1}, {38333, 1}, {38351,
1}, {38371, 1}, {38377, 1}, {38393, 1}, {38431, 1}, {38447,
1}, {38449, 1}, {38453, 1}, {38459, 1}, {38461, 1}, {38501,
1}, {38543, 1}, {38557, 1}, {38561, 1}, {38567, 1}, {38569,
1}, {38593, 1}, {38603, 1}, {38609, 1}, {38611, 1}, {38629,
1}, {38639, 1}, {38651, 1}, {38653, 1}, {38669, 1}, {38671,
1}, {38677, 1}, {38693, 1}, {38699, 1}, {38707, 1}, {38711,
1}, {38713, 1}, {38723, 1}, {38729, 1}, {38737, 1}, {38747,
1}, {38749, 1}, {38767, 1}, {38783, 1}, {38791, 1}, {38803,
1}, {38821, 1}, {38833, 1}, {38839, 1}, {38851, 1}, {38861, 1}}

这个是mathematica的分解结果,瞬间就出来了,不过我不赞成什么都用mathematica做

zeroieme 发表于 2017-5-18 15:31:15

hejoseph 发表于 2017-5-18 14:57
{{2, 21}, {3, 14}, {5, 8}, {7, 7}, {11, 5}, {13, 5}, {17, 4}, {19,
4}, {23, 4}, {29, 4}, {31,...

请问你用的mathematica版本和机器配置。这个结果我是知道的,但我的电脑里mathematica算得慢死了。

hejoseph 发表于 2017-5-18 16:43:51

10^100 + 2^100 + 3
这个mathematica运行了大约3分钟,结果为
{{307, 1}, {23029, 1}, {258127, 1}, {437530233600520729339663, 1}, {12524057196879170836152656209970942116773628688093184832075773293, 1}}

mathematica 发表于 2017-5-18 17:56:29

hejoseph 发表于 2017-5-18 16:43
10^100 + 2^100 + 3
这个mathematica运行了大约3分钟,结果为
{{307, 1}, {23029, 1}, {258127, 1}, {437 ...

5479385797293335418325513579776804900707871729021142807576352102056617\
043555936386549552591070458148
这个数是我用
a = RandomInteger
随机生成的,你试试看在你电脑上需要多长时间?

wsc810 发表于 2017-5-19 07:44:56

不知道mathematica中大数分解程序是基于什么样的算法

mathematica 发表于 2017-5-19 08:54:21

hejoseph 发表于 2017-5-18 16:43
10^100 + 2^100 + 3
这个mathematica运行了大约3分钟,结果为
{{307, 1}, {23029, 1}, {258127, 1}, {437 ...

5479385797293335418325513579776804900707871729021142807576352102056617043555936386549552591070458148

把分解质因数的结果发给我看看
页: 1 [2] 3
查看完整版本: mathematica因子分解