Ruby
Double Mersenne number
申告ソフトの会社から不具合の修正のFAXがきたので、読むとDouble Mersenne number
ある箇所について2,147,483,647円より大きな金額を入力したときに
出ていたエラーを解消した
という内容だった。
データ型の範囲の問題を解決をしたことはすぐわかったが、
そんなことより、以下のようなことに気づき驚く。
2147483647 = 2^31 - 1 = 2^(2^5 - 1) - 1
調べると、2^(2^p - 1) - 1と書ける数をDouble Mersenne number と呼ぶらしい。
オンライン整数列大辞典のA077586（http://oeis.org/A077586/list）
を見ると、
7, 127, 2147483647, 170141183460469231731687303715884105727
の４つしか載っていないが、その先も計算してみた。
（ちなみに、このうち最初の４つしか素数でない。）
出力結果
7
127
2147483647
170141183460469231731687303715884105727
16158503035655503650357438344334975980222051334857742016065172713762327569433945446598600705761456731844358980460949009747059779575245460547544076193224141560315438683650498045875098875194826053398028819192033784138396109321309878080919047169238085235290822926018152521443787945770532904303776199561965192760957166694834171210342487393282284747428088017663161029038902829665513096354230157075129296432088558362971801859230928678799175576150822952201848806616643615613562842355410104862578550863465661734839271290328348967522998634176499319107762583194718667771801067716614802322659239302476074096777926805529798115327
545374067809707964731492122366891431224132080998116346215916393094860665924559647608132117262600993611978645898078512636554935410088592031805489882538777399539453149421096494769304912614024102579848425806795819098385943271304662280060645276950943150508950126267899958600005039800013267918400452648902940476175250815097737826955502656182280007423713017646775622921964459376384348139672044027808757847174972703338912570407450308052960128219252289006663246782918023621203691221406122565758878759582449613182871861216138684037513813941522603250896380850472849584248628939841925868524998450480560257827525057780635745746257671052874483314773516393160752865414215110832485162198069317625813204758084002713811717998154460845723090593703197655332702442869717416438714083703747685496755934378179985195058510911808374729310484928503131806041353357704078533287568640513511155463782455138379580260439152316205524682284377460483661491229592381713691895136224219009263488882470536357805790217345413729669995980707121370705299558713030278241881878157263805681329314191684310578996819010439268837772668394957847117216977833157535043606767735127835156002065362747917254178719826914468038540489275289456483953676390027467810780545397922586477057986463739938763869280004102059279465002388874363880926906755246920290930799326105802980154178202970910594857018934363109740749363801826808149428087411206516742719392662012375709708591506140539104864651768686402287186047614351811388181972645434903129211177574253785519809693724814933404094384831407889076539696589546571824170380869290909781501497211395377477530644409154215039824346616089579382959017782608078557701496060138077803936553968738733420764181493854349725076015615931297101542846919472328530673118352117013410551479477475598543538273093311398147268225810378254675509453011886910769766388104338489294865983165154446652332584718092539175320784168472265025718745655649417183632619297702452136727964361974762613592308702183927377305237188509884012788302940519038635353858971110988545192719292922047746058049926269451987327851971986543045465298481680383764982469207299092852981877280748677913906811916644453154502144008660712404331981335666764004616379175436529807059361890711050730099307873693427548448044594590220669779262411433770556606319396837783825170181485015965011698914232659273619122116014007594844830209411488000407718805326127135081797825437716925573561607113633302701790890734545403288234475293830998593252832737857896447
2007066091018031519583030303019438367188575513520709497791276903233450684364629170580261012908062496894996847911185344152332475753594273561711611353514231322872252247549885618019886365739763054605545002155897202120169562392273711172608007045634948121028864394660154194037732267846867353969405180579411444564905349080440995680695807863949243961055962977178933115996007783056004118093785119749203963841963959887921144331976598633663807761381995273487151112904214047707434177094943738773565035046257176620815890077719912437783484544703445095226650609700972377817891005502328973752787042900390478620415494702771013735848799035354111944680163623324180125295211596742702870012409330483198044404773950621770556495528647282246588015098285484207813527059693147108868618352914816161317915051001331208239219010880137736683114774195009982713890730421508459849243002553490962428242067594563154755677876845826996164421822613267625636628553603827572260992639597343835309068566682530883840346302163401298243571212439712026168277247160932870922875002707063894519741330247334559861073929915604558847855108766650436760662594809953200306919112232901072819381687907367104969919681309921627180927100467584409549375081263665370631157840266520282102978840372236763293760593364776381992487085983521664872044362566458984242562005758686953109598253226418750504890237615968337479151842162712770117855792615893043107695348590213844666703095564839093535649380545119099766291637314334127769775643329785819731833139380837436890445856647679152186815190658321183955221069398517140239422518812360340942063522633485983066057491671421530112645900499143694260108445517706125417018766866021180031855431695858189815899940853868304762173033715606846567435605797132705126395212762267136028402541381584416392690027919962387256996656436157348421103525894462765663098963999588995710585564127866591148071259363787938050796601560786686734966410699033272194603481470570956488626286116433567718548371572204763174448046986294745082594107820380364755819666203841634615474921868317569447037845843511063152906988920262216609937105179257960100115877528362810111607665694110065738681165559710217583923097440592729327425791965039910904339199228494446135786190982240132519735824648839449562895827723817448062680160595815347740171623906103291471107832306919579331324203701774845504210638665966866648401363923875644870091616266913456067069437205793768536074217244599805412749556177074829708357621510173091302503118274732404913798092001986066820526484853309285780843505852495089023532986189106965236849371255186381926926413130315976959806227498397283033078442364357834340453013503430118145969559115838296453884890511181228384293107075620502079610963762009185439424342329082093613560132498039083351071871474636936361645594739420880261274594899185734409438153510771630095623906558449203314923868693606675050976193675385411190641645168402519954714546623181618194446277090003561575401966711070107079548751377220578209468741540082765294623867977787182248143469181411796567661241450877696006588094035816184615352799026762403616165166122425377885386543276051273239928432620796371491554475793775136421075668713750492895366628723487389257358711661082376870532101671936955752979929947421700673382099042287444285010791024948993687706267361601872106706772456960502841476145623014848322347574312788922770082724580747259432981786802583109898793851476339464773545736085427252988386046105915080561180846495758076352834361485094290225503883922216993119983682259210471036083073400741083974773845900080556480579453211630812731911931743996596780557340895421569352460248609941907830988329415884565879396559912484500918372749091199419170324463650939576382113055059335689339398116327408655925871478779273600844937965774995757517670486093552955932324272118418130252423766599186340836064771593041684975867817080922963337822057699887005312704495393174140455261513540822601892819839480656100596228119348260172019771065419928351015779825369534941919337125333958271503408604328069028668313172565174717055216932239531239275017514734912369513969458120263939906560104407761757889837988574363096828377814509508133690338947784557713380823115450144439799541185111044811880872558410833815454556648526572993669521463154365386804346925977328389908218735721694160469653332413894315935648476834448537843741965049613993419880024478689565818937672157053901013723080269633117146704302493477450491737241282613986476801683358113939847016734800843529230855435167234627094273995681193678222808922377615253775268481556019541267896419143594349772684549980012271067540047938673265588178608750946530897422798092847686193489005841566092791873641022178489320307343072152574419468983029889365626157831258658678226382271764684379249564248086512974734298415320564315063491284840113836575997341464691564179700400365323516504871097484698933866053427646152992953829805025125432348989818754319215374272263877119475177194702285986056517713566726238740461050249716814791148239515624099056577093501237007068138697647583525722970563959348218681980478670463466206976043203663213907954438023971182888701951954614613126064546142089581866551476523984724266344801781809659121562045209972856014600569594916005329734281927340749998822137383515162494483275071673090245084743702408890616118398177244146620001989892229509187311437259898644580125462006538595822372333539915953723008007337523693693924939817269266462379850157029482004155031535589596113722402854913547871101064693202924636130368935384728147992867126145636353974131682592193019167343999578361661865517937174365507159507336179843378514139080441109391407822912867815487081588754345659596423783387025776472766251552322020048595452832602305705141624406023102318663835923117912436556686517061767925859275700442999669468797399796981002982419851055738800790522836032208463063088370064349490625099447368921267227404752537930600852592124524951401382725888052761913868353363981174808540176431213572766934319337323810817951761188265502093137042432159897845289908018572355491268789287250700982303367258469085691991816094348061389760578118540301367273332620731439465156260380367657134063926756057103206592186023900180412818259514553107406829601385256529643912059482720760608143217375041255548409119318915743036408584553664060533159215212070775550724127678013525556214942904736280884751645239450984988655213339243471507596162419147534716513858233120025300849093939913732490267379376743177208023723104680967458164768969247760549732058408936949032307873212667153996790242675273397844230001132990886710886783673287120775684554501882408561831111808847406106079084930082604793615602408093082020454031213528716687177166756049293918875795463792510758810139648620184368361091758852501512291594954299268076081763053715721427087195779950731872843311385158769606755361585405070986433241961317215272725455712045827985309612133426712640654102513101147135762944989474424393225944675828535260525341720259811139022766476671929080476786911204145508634355281151675422807908975762174513283587947510889464808151270014825042188892427875789800134578981837960156938082266694146268051079103178857864829140020216566306070136011051973957887023840697468429906496613521427758417300464355076426199069297392214591157048570343707768442472999945059967240271166047707283511338555091562044288517103592017611634873106262354160166692423481832307213210499669490178941945225692693101911692220983553524922555721864660857377129192652859841052132311992447083113483302266557291957167443384157263889166173221630072382112600390411908175070165503639941248814018555631472966741720125443424233422142629900600523522082014394518336398760705442208557240556532445205254463387574003751596153472436183587258384619782866099567890391512596875095107843866617501264195098125873656554381033950920392569282855924650328657173398483893850959073716217684440223859400868803280682598080455638227210383597173999396880192669107212495171421431305429128205649048689962293099196797428576596824767710434800866627956801874367554477883562930206399467291395568295402917718503107309590416733769038062480603311372605187591391554472303030639776432241240336855609330122593538010590783897179333195018820277570804120166927036669021767214916091470055245328908857215703057656434775065680495131372066961843859258712945146355569944143560560584786239757284568753269266330032804688111453721120595197578401090491997200556647343934843266255912655826081222361677547681113297747925557689310864775309530087967397838929126163177261894140973857623212070601467335122690104876091672539609748911660348889898784094411948696219832953575970792455626227245696532820610006250153537567284585273328975314256616353219484499736416985833033426910834877756644680141952409449669585190691415011596842568509788277683672198698750172953601571299338084560807499711389686289732313095544509485539038449380900622051597747605229400791884883115995703465702500734002962691699600538595428622016471865949331454054163595930845454735175569491515939564818957256804316233891174365440806642291555872683149535721653631774646299952421922427587277317012550601103462319968159191595027554324367302264405321877292079548832390055536371276635906471724105009885366895925570454761999421537703982104657596184829710760290000198741545738246303470234024140817450739390007212733451591506097656702520130090968937067550195605712140284261416108671609224783106288919928714758886695662617485061991355328421066481036356835265792814320290238151370284723037028564625335068096042592637592889655824714279245919313918356524023660285125075322772106497404811867390012337497109564835704177263558067794516146130438915255504597902928796268899804602120950866155862735071223899943176742257909813179397239157376127551141859868822309187649841633408011977752093408701219729992633275732529734521899405690260912092931923497369379726534762512842064034621349092454864580540465840353227494148037457820425654074760248241770970028175281242672019243984100221486803087443268292821634720745768782760583639755178458012560667540628664455768120041718176204286665581524292445028346382433749368362483642968935531918682168810877724595964236124747154704198967571454266819787179716350304171052962650789456125688927992786679172336317432099376257806726455111683317952491357857730885052373752044708338943895037659276817554900919943500388206743343359663066638926506341314610340706042213969679058916637283493355831577855154331889593854024772915883493000158404813493705293018076672176759351474928192707006752332721610167637327534769958788019038466534336699615771330008392673140967337095143566660696932519506292650758144235626222813363591806895143687632431720170691475144768369170540535411733536320831319080460344539711707782707772046761500454521229827749779173651558394159384395010393098224553468724480248167500032812997154384959109058766198878056077029257219616357365773812714014650963379700596375943925259075492658368295384685137674648422640547716926662230410013048479928119221370974870256322374502729079213943307356493496877508577966309542944311834255022214662805612640233536053689187484916014130588061962201494328396456445219471212440703131968369597821282463877909173064981415282476431004157563923871852216112250793307095810567060707042383308425002376427868895224690760744153939059694817838576258850221799312556509691624447761328462437338039041682923370917848019821043568029946399005306472033662220616767052305694217047678800208792543451603100759362429335253365834220531677938999472925148504077874054758250669854154199338717618859428332051183097658736265431749707402101095951309100567567709669940757981211256428512562265459532595425646243336051528965993585577013869173951260506908966317748204055193986015874627734709386473519494816870269026842419931250497378386858440606681241686453018963985258014251946624969185499045177983171689797271696928809719984536938208287737515678671050448979821813123570545569556673215456109210666213198808715510795016823183824055933236607666780712382788008464671979332909757391196733618684653193939982696980753063172920544920298853642067845358786624029111216858048895487153020506593483676717050206936196668992290701768683273339190990557867626437326647524857968498153413681443759551623380776467369672603697754874775988501697514981379118671514210166928490216036057270855824994416680843155519362805300803726130400138302268794043314916196831075954366235765165695251799121930552644674877323316837582979311253605022338459809275572095605645974002515992587741374085479965057978074908029671809362982129572272817759185445552541759283325173163082166440335474797250610504432613391085701508518653192917383378878454248530349518318736201983841371031735728142026429650396659246945300417077736114075965239537824225381547896010343916647934505285705084707733947946961883117198529784187150705098016784192612334767247211022302264943223906151621684907803460044512189152318616550209841065583573841569118551918198073431534240748785537656609332140915947386550905986904518760628233021990358761563632732783521092633910545799418576141317781471619841850329414280488980736082852797471908499716712713383366859238236183946922607842160370306291472700785267926087455877359477018710025230626309610774832862515884569832370056158684999404954974101283174628225550785248333125622684914685023971090536630901319343153906072864679853539422499860981642422181340477970738611641352346301361275857310485963988795393233108202352835492508558913302305727979891112806783293008118077545567039810470711745022366867472198275285415727807885278098759928442689536308523447028721307585209740157382338794099122902757495555354139470244964907992337837625476239656300895338403774108435288685663443760759308164726941585582787760330181144199390399882140617138916934824908463054215218680481842659869227362438581264917076677747488273392512481309862033528832315885297124299321380864250364788108490237869545004284992421525037346588334983424713038396537673848677042203308694984182311877180222993008980424542329422080967587368329094242354072019335707482493269035848588641674052418215482510147054816007718998438795931307509396423469597381095727923832008484658640454822364781378644401735081641681418291400852341211275611762253168206095390616034015592545884934872465718326587452757073880830897807628545712313435460713076886403667309757538802013976367488482217872824991427122179786325102221742805761189505964883799018555931743720781035439419708597767159827600634978113045838000653540385757587978575256202678266411268151248583277496706035612071974980849983001589820220264169916430148358173595559638550312443325521701367297130225829864078969713699861933480112878674469508420589208862466396421355117822479642797905407089448798260866881274615396461048270998658218603563170995107571781671612998289540880672752708728271880278451119249207096343353175443720708515449482386553280412602468786953697292406560805315739610047943062788260632779557926782704330828324355332876871413177049654857905359293344193083369847680052576866365405428181557852598465225474082496489178444600082254598711527505791211232491573263205472541338891167986369510677269123617653814389118195009081881252907357440429505391945855322857754251321432909439442552755449538307425162684267453642090906830513522417386520095138075063027480947937095192155687327923573648362798310893405888109803727926098918538627480591129543638875107336844385519387740093637785626191186856799489372395664523716201991966002122241605826251305876470105559100529168617292017432287113905100365295063890854753069100296968389773007315380603008660358306069392847101529769032377979330098059694291444183230070127495502179006419054349902388102344292112787831487990021973182221030508189071682528573862621365739218958457472503814370366429325764291062353519518977829960600492294826983645178335911383250275752073548031279619356048735200733284164244063564472071166845895822026660604036058581307611561493639879076718988356989747282162419654727879103984070746547054494729654556030898956252557998799889867158317321393831430865418777286731169872595874217424359106282407199544445025279281643039814038836541914886147319740499382555123322310109596212800414498281161997763087078948929353573059244745908278179897878118425961918597143515452979680739985420200071660214183303442512533665845869020101027893506351528475891411944187753104494170578704114251971271539771885470221961988115546615159407165701237361876900467790134574734958684257287045048174289181660773787094885129233903738816926065535275500320027499107588431621444877379264828496609262375420637602392708223254330807323784489585154990127727399120713138457804620644999499720687375275881249994944888101461467779528432690242926760147761094372440460277125228507709697504501849190376044937601079369119159525438397299922706396983517683929265881960568585781458584052735201206779430088875356906310796641889660700700116685222391372126412948308077855145931907935165926792692879334253533788408671226567371669243332000866082179588480438099853000922487717429146582518581383622227335857237557904328821481776373920193983026273480668790539979811456322632671733839382095203285738626713149868038622130309118559825929042343518309347897037739394655793708529855671715613651675486899693939410250969782752732537297012718018483082663120505689398573132562663669231934672129533380533354379416508619992098504474368870333621536180564308703433929511610314062030496781977652940503671711403576472686645368329267936138987869110720971694125637223958699908129649764068004682781386452972059767932377957822818240694860666244701499390219318315635129237635603850752224979756913458783559441135332848662327192269614546636757685572828683736675850738588029143985762566061815115651096409404507826635723182360332338776774276295969946311156018074339566338111315220486811508086286398159031122884782008032751700427566486059810253355600382584058969893337550968234882845006930929505906870458248619281401574801249400371683419797232051111401638012632010426265434814162311101617980314776048601024933588922309330105270814389669416857616770408418807020082797060606873902275161553322902426659671851547640565389726144199237026603015151562037859349751384521677394493683151579229311108119279694426293143698622411793814452643739092527968869193276730258982485089202648909287000776349295201711283890125462786842356220025869140093338985102363586314815125403794240475309256602573192157335188004281481444632076422660489060592375578774810176935384807370197440367250879634603583206532589408171933006713095567295221401185211646074514028118304422054807627582271669411962302362005130049350442416118705575269663717061318813469301365367783918616332237913339245215786274454686915968981345514188728855481054611673868944275738489885067336789214098390153614262765359966059864259840510028207532789678881069031170970357752829175516093971663240732681721931901644055186028606966543287633489917057140735474366658716269016901876841661133675879897186928490251395038025244517807730100481241829857938320083602598546740071634424294443761786434724100338188093971873427688987243354527172292353094200440762120770695555575328690312903322246057476761462410138374344555066099646964832473144115406526589153177324463380718667977053497106643966569870317799374721276927151129511789827871101758023744083387344723784933968311410305602087302996475149384958038564491355255144098213689051684282582179018090002231244391348091653080674474116027880402580810646366059289849291863267961570762464748203181706932134621404820172351750746291226345103510408569993988879314847159003301350142927869100031510611959666586482588815697313643779198519732646312641419653748311529891840978481141854814762575042376414913206585911633980727155911339904181097733365978677971179619140598837420006777305158728503536723673777786623644897106803122376597694241667150561530033934561820533683700331342440200797219104234175012353854414535111329882183114147773826060307263329579257902075532693337753905549481515553582867545206133882135765167795809265367870223036687926291622190418958230997839250534964149237824887688312567578974073715422909854403635043561784223691273199802100821028354439788025267434507437165043127526269079919643201113772554358584986897724756784098073246306330508922216993346752200318396852814089803845260198151182679663029005872496726332293391836183496468697548109131594184489901506640612424818648221070802281230581245743958116492116285693081594799973855512616230772705053594643334948732124633744193407815210515593745537084562912585403691128822590410871540029484159358601654033654215153004359607999724774637593326427664757240144336118119068780607407233194652419846113410233587829194749860192860705552937723531397921271861641066595413965211453440975539758814093468021463237791249995922334572022963393276932486476711592774300866575608144788084375726221378037777417225913498729941944185001768826014994767178167322593956788032648396322262100412292066332349387565270786087528574770230660747049158104993205154686543773236290668784479313560909503885912513761254143629652926288938194153200713575100974288208700828238686083677756062175653848483662248597748096369639607984629271640969294983327165505433949250995347158582512246094738689083101557013643943432405960799050366056122236115235277191653685149709235865574511008877179845173201506563889459384115803015254999249821074023098467905119032206265563088078154201446999240393405568936372058223802778762215931496062227543097347173479499106709474531385548736173583675069834323490583631332493629703897865114420868694512872010030660771458816993008165025053513180788262930680671531662838661771355031144326811004050123182764443697817140176053316760134270179089954664038428180670278959363291851632804263107936623687219064476990096510890617928317221935265851867256201895386808602206586108023137054493911464693445373520925123436139660070508069605333516588926396051478208891671582592728531630507109509760117844723037752797764714553475640727045556621783454293247858277634465008061872829733700566764570237054002172616024106237224123884079744800506565487738347049916157459357701624305626008324961435192396846311114851305053493492946559501638704540339631164858582571515806164166307591855801393563918284504651953283919371937866192243851095328361275696342096092576450104329778164751611847184682968251051383305877896417795554643160327178989703115644468185671323772383099847063755362987421633560969424133104363768554670973213641883730129910374912449662550548382291737299902372313982259062936044327733073905116709462106281011837734450889022903970418161553649204434327652418210717575792732224569270075172732643763206672883693380996526636899797148399138690464624924678613803226790352264576574459357833018677823779866310396255873223192964525161174627162285205703870194384334723090056534921732717157610998052563945200799831003098607080527542480973677511172376768157048935755219580446101307335095987651190319383048921645476162474465276045272781470184060881108421637170801706713868777167204539547328405028030121866684792477455609364765042358197066602654562331123048377940779860746464590950106369125696458141549354096041403966907103462513293406086623054510443474040194161667266458426837146929369373287946068884728852690915115338553282283503075251772740229205755999014257704026714513404571390346382204110124127232468586821421563981223663677703507584190547401443827306192262280247986959854022059978733046452106924390382321247116866146612018065474659016997544464881690037215935761851796713118429691683542741784991314843480075409921807850942104608295368887259807172222789638001119637388148108901610339464543916233664739834728196968425269029010533132754894165060169721865342020891746716701684330057926983638776396124954010004927813524113680827772311341229565596666528760550487666079216511531466280684917958126362417765481531978225887656610308981424798087547735477868132945729281436951374097438359595980399639232536077471727770208945427232612738883846694802584224595239271098294750786913083012932803073322585669612004647286298907858742393382868576644239278327425741440701757516447347910186207530057651437596036823059882703070740046283706626174256484257791373450584103821887358794980303799202164718782197569997164817865055555316840850301842718668054817136105051516709027225112469041869939918076761861277520158091798551569325187460789324994357510921125389862607241838091581456637010303557203990418157594459826159309150892298942874490177009001382704424699982259297878690124152835788746277220908001610500096454142810392278646493108728728504468501543676571656427787020916210056158812759770811128836955160612732428274191177633115011512258554504407559809947167549712167185748940599025630943498731593746177285020410412072731026115215955072845182342823950485385067261731479057360843454978885642259293294307878648487620202598661730656083150418709205550475845681384634504799087486277272533300141111595854572329265556652597896039759599966759680598610267177834667786819311183659341207529041842872229544751752346847013069244454884951720329991176098584347303734305273263801846675127006961935611107453683006701159234910532609505671443507272139965969113201648404420569160634483007771595294408340432590276840155973154293160091683777108113902011118744781662692431743751349131607826457491242165975731666154369069099425014637180472298374455024711967414211178643898394047065347574600270111017560970425469438812149311266477398425948073580330718525110308282635961366276473223355338616258230364730888019329571112238128672923897225471186789039929749742563365065663288262258152445157165956588925495493512084055600615184544444407345199086441018295149555827770005013742867849857373013944498447245537318430140163573612911972124221130918328286952443229520389658655694150373076591841468299283248059405425558605077925748677709303725971208609171202651703733441170369712986433714147825559904360252124819566061431477519153945484746997097552056523262021874580397480718348628804842073963625842479852230305431648052415825766493020412659451150223720329312690050938751990197999113966199042861690588928764218283256429532445961962637671594129580390989373618004835423965114317400539206778072452304295187033289191081420367047352278441294383443323252613432369041153559612306666619066969798423185875669276442066934269152835750925338822350667147272761368362954701813950212714287757628140387613048724565732282670433054824563371816297061374699110666512215268191812789108089910018437629362181827007072346569039137541736610758134867310028114705159605596169689686852984935680858208188839553458194118608361143888329587150898930435054334667655443521286792482042274915426903052500778370813731892608774871480969500642750087316959570623473678778554278299522741551189043996093772551613964358839672308390565119384325741730596371978253792682115737685647107728369713727441507131894766030661017984396927966780993662846113880547702176165242413207205751859545265588686001649948508098813489963697728614997395633874763076651814436339019166400033291809966629002456591674539524302314707158178659595663597779115918538903126343387915173658313525442574925985788791531306434931793641533830265628955850034586785913177440473658818541642174936206272037956701354471594851909507442503834920119639002764806722797319416285766554953319051385654304889153959443986072286355024078363666229792486535018410666575806576909980780292839131856056015235134029938114258514712798113581404556855446648735426430047670781280251690409701369172287054185327360153117222897914796195471308680617027346719578988288675347473985988903902445611662787217002863332182932051322055658030074811547565591163568201208815647150794664597826732600213596348105599539263036324313716581427253256769614885386575117229078108113464259193933164247642714983327429232434676513478196470714629247174979135743083797956357628882414133591380230682126948363407555940505213372443823790228245252483672712728237008311486913173881967306669143605718091128593088294001850570086027586998752363922087853834444800103783653025815600451945065090735780065312599474560276279724279373406314570508842354855213502024371194599306088301838178002236448334464029840382779255047393871728962391242375815385041188333654117036665256953048428739089116841935497845179891777035551565312359974563185119455484770301624934201268430738738141547688056034579525031103910330652299725457154474682360217237721746482416632185390422723480473000898872886247952409438396741387226346707834739748833893737767386230061246746068905496904000075555845783103554886876085853140910253044141365017137480722424324685309988702771847191747186414086953975133129733626087387198970149084614283362023174434491528478256000716133427639016219099361425157480964001100866479097959009705856009046218342704464285531903831534953345341580527824041285345448767370515632346182848995750891265245610092616527407124272489303504225248654751027186181835500240763243283432002641746946682200484434038268054387932560763309717102544310378792765984069280945447108732109068788298314810739416689686699482400217925218788820484230188820667703324163858506540886897005397007476437770385015905440088694548958836605645060009363324431794683854750630694411757001261722637468906654170251658137778485917047978535155575842831548325367684420006995514730193023640819970493810166721087840627960706749454317824273989450322417546464774086238782532324655869311686620404313907351874797235462125126761980677975342852215316343986391341304402578786746043341494305146613080530497047893100818738115624138921606691360127451154199938075057477193492625200230854671488627744507661141889250888631826630805629088991684537392509162658639570931891320012118207858293227824690756171586985988596607589050614007326850206239869259668338311383253717703820263240102245221451346098323455263236235882301557196545277043276563878088391727080017831150609900304721944594819751864836787671853983987535209771735207658794472770158825671334587577750683433495568266126489228465849487678667770512407817528194667124735288070093327818794541721743070739733430421594361383176454855597866356398381197281652483854706718479467011554464995540257858002545311014344771918050118776531320962104156305222845361626976121936061414999318111507196384726151892127435993463328387146253191479704499257834927630302295708521412090876987484774799058894707159148721468586470715104577614874641230651539797222464906651369697383283262848549345701266640958421632166879699571108928828900291661780342390746950145348979064638480347366941167336081747028425475070789926677428367845044427480221480147013599008929975388819703950534444044356199619108962634904750155616352582793820660377499388365601976270385890426078619595282679951881207380724104239479256991040547339520497279197673936438010111191907147171795388399518654041577826828553999313856161621202374531634738058950711779623223123024521937619726678638004421304029073056970171763131655651013797793088972432040689966518521085543692859599762118773684177213384395622651255686770042031304090076373967940543612222059016761913277239190631025957261801242513800437244572900856816393856748792375736003163785124806715276576120608038115066005211160138204568668267385226955201890310835761196182995346092812309399063845363424952849032731095281274421933905619508839857589608935200667285984713511385388158728245815245961026493187280519447605761989763713708380316866407471490182532300435311242994171938035192400027685572502338117466102162890855842697581600080347872357984643052182899626845585141886472992107365170177797973849849049507221657508559740589309246007559065370496848245855954207447961445533627027170265928696980404076712639283114758718394185191276461147296367046351305790483649679385025157329524127854779962564744147338354015252630000036438803728769836969963660174594041494483529082708799920926362544949600441960396783853118677334765661535621151680993859250218887385418366537476439195019445540747336372712210080206369327147930891345062339594789528733554339474759305834221833542170766598763148076702133776408416030864193018241307398417871925839561560037265428543354995085353232145537381338862956183273243035010636746704212346185561198936817190043522460199784707388335981142182809187247202391504727453549075710482832617512430027292337229414997359920044289242463453674524897524330594495112733739750584439082278022373851089687880150874558215772398271711551427955288039480254952068736144841118064085114483120964515436809693942143249320525450718406512671445657221004154013447909260212705691162681998231601911484507480203485583808901745371623479898244588354761335119634506472298212370600829672120871294404720955029241526158395533847865453440805917365517806954980909150119479776837488596136662291131968222690676231320172158576342836187818053031769151433106391150297439131282753131253508292971175149850241297243268623807068703865572047455799351710482070326753953986500021197712561589122846580773269472408581737264980620107026873423962850193799105552270029977726666202103688101146092115753942795554767798397285500056908816590046745457309855136048894631420842051104149199777603872567250360196880389194233828823916326266887477606557517452515665585186453858621212945935893541532052548235235403608726567082450922595190651823312248977576743625300985236472298534670553950609313280876344411618254899217061754370833405580791614610761070567262295708793451228776326584572660410896852172209751486376067233997467434548203920961678246441004057148441032419676769943132621415571587497580381345440296616154662334896232367879680700033294114387815379045698710383211173526669834973204198949239874351087120862692879757904794166490595591616431563207012514427928812638013435870422664627242868325786773984471198000841630501691462291709918202789201511462520657749200096792661758022394066206082436441978382053801790380507804126605167019835042496668813480819329132073784410581930437396647050551759033804131072444475857769988799227940258749961544375342918327757858183995236391144876794144821626288492071526875847558755260186144083515120372085008313714215933040406604968249183600480500608786160766791455762621042428560948699566956419271862788001388602532568937677020934376306595187412254168812436368373037763959952027182504662723982886308934234893763450477331114469075850709625168068789039606959204557226641981642259352164847781292443009155131523788506594693016599317247840833293595864608182130157534283262716597730322810636270318568100875300900640175493827438751645189921498346152435989868680618502502225055508604931710717224071040461029365758642812243330917728584979125429800595880123902458793515125480059471258090766334321454189582773286123294118090726435029582029645917049325050446592525150374913905662406376390317986875585115896762324371302819759630532921174042390039098811522333454152473920161187619460823534245014851664462612315143855937192880953137926812431223997866740976289728680580861849329434300551077469915950841370451319929784107508271528849624521488766425806616737639599094223039151888882466896948799003182245047521555682009581426653574401722574357240626993091737617704750725599829359926081653801118606428758664162477247319372290706229512872107132302152704414774070525432971292101239443079798567417027781891894965882419300826214459382207821658974251111029855590526675914103809313956597961897911028651237202999439385308229833269323342786009996944653519571220367135067543228781054117027777956801076444158513117802902723701890157211546680070155369026110552079077724506493248169194766371247584993935843981065638599627012637988058529533583189452584886351557934363403642954960501495340076557088486786215360713227503311019199703596358694742798858715045350481535323067952700861758589280194581345897892916863413184118366330435627377218975452934013430020170200683182218317791293288160493674752452384378113144854612263748265536813939817096227441612879558878067216759831907833194371316802356329989994968873117572049332689230630052962172842159032683894258606952057043445717488017401065287097715541960995476887020453953143582497088954936700716770700703140527972488403183369099598150623314212519738850499792463706619826511003200910165834068417652160431225723210284420815302858902406401258569306694176663763612106725080122471320761914442448390003480872206245558753512331400003978032539679786253117992706725677969816161542438466705291890499433894552826718770795591121828255332196711587211756641447545987022302012856720978317632833040832170056791121416223135462660993218318261497960676305151382967073623840619865927902508811696243781918978168990370323821629429629812615484083025687273466409296981461063153475151056112044435240175445971718607870720927606182966063707762678548413643933971607685936991278827945252628138219399621587038882617535321094627042990360809399823672526825444362700968234903026112094027691378305606628921872470408340885132912892007106304288128678067279357505232226573936817328524765497950430125650184315548796411133449023345352879107106020130293933921997876486227527083193530169260611601767272028749006546722846728599861213881938371118150659701253534772999624692438552347958272513903886233828509309930010414258402313730708267128090940640171604303943088984862658236638497689844706002349597016318705381014748859528417606569325036040147619996627758073585807647011645405298918942600967228332474291629948218852117763419576588939113890938761346587085996668226726025294252884315686693546915875923454221809320787423868876599443365426225891307836392619279751849583092054994737706822379544479645932234646800842850494920436738895241856466758426770494439938345976541886421869005465950413107309087777726835896248421739592479579376827892754205089572165857825423821951910521240113448342391147907874720081573706667472297068230041423374072094204695736711103760308794254305353632050769333826983238960969857961061754415062198524665970296608216422929868465989521046263018910593296421845897817690153788332061859144781673805085524358726123634872661336512869091826528184568515408771755920441783808134589438857851342341095381369219920550683814524806552838552178512838909574255906871543971786153529847071520928508308045460314603568560146540475612399506951043715468482265712385693612302635856197328396475700684066687652331242966563906149925245433445003313960636512726785915591226803363161095599425757410915003089960118433359807472578770096536535529514621964358403033493330872965324506746860228713208379773500518239974991616093475034036272659462800067244820769540251232531598379843102931966674126113413974224393472797253113816912495719030803056005320852739294856682630916855419740911257018495590367640502865575120069347576597819689961098842622924861852290424736993395669786857422891610248711552533535893756428559761903417943419861717828122366090394049063137135487525175159814341202734500886799173928412686268275009464008123769317999556318792436835836905002093266910388719637587351539347291011007420478602928865893425047946961526192197115306425136291492265720518723480601223968334665550824190386553345660308588530930661759827112785131525965295932937168663771537827680080186811488652972867238759605394427634967736159056116389699550796259779126233574542057259310870306646858465064630525651582623405729270508689671651196115672270779201862915216497609601860286718839414556303783616456420638211923223458750538687806363727000413893140706060912629503271264638969948907615818250166423520240547616693198500333772035651506684942363221268346659967078712504272225286171534040602402180558791122150945707623447619571187488663871138259786825197399080210469348464463752211300449950289230460678651357980063335134306832203154627949334403097935289498183268354963403703699590162681272137782919487338130925332906159285467086847
（ちなみに、このうち最初の４つしか素数でない。）
require 'prime'
Prime.each.take(7).each{|i| p 2 ** (2 ** i - 1) - 1}
出力結果
7
127
2147483647
170141183460469231731687303715884105727
16158503035655503650357438344334975980222051334857742016065172713762327569433945446598600705761456731844358980460949009747059779575245460547544076193224141560315438683650498045875098875194826053398028819192033784138396109321309878080919047169238085235290822926018152521443787945770532904303776199561965192760957166694834171210342487393282284747428088017663161029038902829665513096354230157075129296432088558362971801859230928678799175576150822952201848806616643615613562842355410104862578550863465661734839271290328348967522998634176499319107762583194718667771801067716614802322659239302476074096777926805529798115327
545374067809707964731492122366891431224132080998116346215916393094860665924559647608132117262600993611978645898078512636554935410088592031805489882538777399539453149421096494769304912614024102579848425806795819098385943271304662280060645276950943150508950126267899958600005039800013267918400452648902940476175250815097737826955502656182280007423713017646775622921964459376384348139672044027808757847174972703338912570407450308052960128219252289006663246782918023621203691221406122565758878759582449613182871861216138684037513813941522603250896380850472849584248628939841925868524998450480560257827525057780635745746257671052874483314773516393160752865414215110832485162198069317625813204758084002713811717998154460845723090593703197655332702442869717416438714083703747685496755934378179985195058510911808374729310484928503131806041353357704078533287568640513511155463782455138379580260439152316205524682284377460483661491229592381713691895136224219009263488882470536357805790217345413729669995980707121370705299558713030278241881878157263805681329314191684310578996819010439268837772668394957847117216977833157535043606767735127835156002065362747917254178719826914468038540489275289456483953676390027467810780545397922586477057986463739938763869280004102059279465002388874363880926906755246920290930799326105802980154178202970910594857018934363109740749363801826808149428087411206516742719392662012375709708591506140539104864651768686402287186047614351811388181972645434903129211177574253785519809693724814933404094384831407889076539696589546571824170380869290909781501497211395377477530644409154215039824346616089579382959017782608078557701496060138077803936553968738733420764181493854349725076015615931297101542846919472328530673118352117013410551479477475598543538273093311398147268225810378254675509453011886910769766388104338489294865983165154446652332584718092539175320784168472265025718745655649417183632619297702452136727964361974762613592308702183927377305237188509884012788302940519038635353858971110988545192719292922047746058049926269451987327851971986543045465298481680383764982469207299092852981877280748677913906811916644453154502144008660712404331981335666764004616379175436529807059361890711050730099307873693427548448044594590220669779262411433770556606319396837783825170181485015965011698914232659273619122116014007594844830209411488000407718805326127135081797825437716925573561607113633302701790890734545403288234475293830998593252832737857896447
2007066091018031519583030303019438367188575513520709497791276903233450684364629170580261012908062496894996847911185344152332475753594273561711611353514231322872252247549885618019886365739763054605545002155897202120169562392273711172608007045634948121028864394660154194037732267846867353969405180579411444564905349080440995680695807863949243961055962977178933115996007783056004118093785119749203963841963959887921144331976598633663807761381995273487151112904214047707434177094943738773565035046257176620815890077719912437783484544703445095226650609700972377817891005502328973752787042900390478620415494702771013735848799035354111944680163623324180125295211596742702870012409330483198044404773950621770556495528647282246588015098285484207813527059693147108868618352914816161317915051001331208239219010880137736683114774195009982713890730421508459849243002553490962428242067594563154755677876845826996164421822613267625636628553603827572260992639597343835309068566682530883840346302163401298243571212439712026168277247160932870922875002707063894519741330247334559861073929915604558847855108766650436760662594809953200306919112232901072819381687907367104969919681309921627180927100467584409549375081263665370631157840266520282102978840372236763293760593364776381992487085983521664872044362566458984242562005758686953109598253226418750504890237615968337479151842162712770117855792615893043107695348590213844666703095564839093535649380545119099766291637314334127769775643329785819731833139380837436890445856647679152186815190658321183955221069398517140239422518812360340942063522633485983066057491671421530112645900499143694260108445517706125417018766866021180031855431695858189815899940853868304762173033715606846567435605797132705126395212762267136028402541381584416392690027919962387256996656436157348421103525894462765663098963999588995710585564127866591148071259363787938050796601560786686734966410699033272194603481470570956488626286116433567718548371572204763174448046986294745082594107820380364755819666203841634615474921868317569447037845843511063152906988920262216609937105179257960100115877528362810111607665694110065738681165559710217583923097440592729327425791965039910904339199228494446135786190982240132519735824648839449562895827723817448062680160595815347740171623906103291471107832306919579331324203701774845504210638665966866648401363923875644870091616266913456067069437205793768536074217244599805412749556177074829708357621510173091302503118274732404913798092001986066820526484853309285780843505852495089023532986189106965236849371255186381926926413130315976959806227498397283033078442364357834340453013503430118145969559115838296453884890511181228384293107075620502079610963762009185439424342329082093613560132498039083351071871474636936361645594739420880261274594899185734409438153510771630095623906558449203314923868693606675050976193675385411190641645168402519954714546623181618194446277090003561575401966711070107079548751377220578209468741540082765294623867977787182248143469181411796567661241450877696006588094035816184615352799026762403616165166122425377885386543276051273239928432620796371491554475793775136421075668713750492895366628723487389257358711661082376870532101671936955752979929947421700673382099042287444285010791024948993687706267361601872106706772456960502841476145623014848322347574312788922770082724580747259432981786802583109898793851476339464773545736085427252988386046105915080561180846495758076352834361485094290225503883922216993119983682259210471036083073400741083974773845900080556480579453211630812731911931743996596780557340895421569352460248609941907830988329415884565879396559912484500918372749091199419170324463650939576382113055059335689339398116327408655925871478779273600844937965774995757517670486093552955932324272118418130252423766599186340836064771593041684975867817080922963337822057699887005312704495393174140455261513540822601892819839480656100596228119348260172019771065419928351015779825369534941919337125333958271503408604328069028668313172565174717055216932239531239275017514734912369513969458120263939906560104407761757889837988574363096828377814509508133690338947784557713380823115450144439799541185111044811880872558410833815454556648526572993669521463154365386804346925977328389908218735721694160469653332413894315935648476834448537843741965049613993419880024478689565818937672157053901013723080269633117146704302493477450491737241282613986476801683358113939847016734800843529230855435167234627094273995681193678222808922377615253775268481556019541267896419143594349772684549980012271067540047938673265588178608750946530897422798092847686193489005841566092791873641022178489320307343072152574419468983029889365626157831258658678226382271764684379249564248086512974734298415320564315063491284840113836575997341464691564179700400365323516504871097484698933866053427646152992953829805025125432348989818754319215374272263877119475177194702285986056517713566726238740461050249716814791148239515624099056577093501237007068138697647583525722970563959348218681980478670463466206976043203663213907954438023971182888701951954614613126064546142089581866551476523984724266344801781809659121562045209972856014600569594916005329734281927340749998822137383515162494483275071673090245084743702408890616118398177244146620001989892229509187311437259898644580125462006538595822372333539915953723008007337523693693924939817269266462379850157029482004155031535589596113722402854913547871101064693202924636130368935384728147992867126145636353974131682592193019167343999578361661865517937174365507159507336179843378514139080441109391407822912867815487081588754345659596423783387025776472766251552322020048595452832602305705141624406023102318663835923117912436556686517061767925859275700442999669468797399796981002982419851055738800790522836032208463063088370064349490625099447368921267227404752537930600852592124524951401382725888052761913868353363981174808540176431213572766934319337323810817951761188265502093137042432159897845289908018572355491268789287250700982303367258469085691991816094348061389760578118540301367273332620731439465156260380367657134063926756057103206592186023900180412818259514553107406829601385256529643912059482720760608143217375041255548409119318915743036408584553664060533159215212070775550724127678013525556214942904736280884751645239450984988655213339243471507596162419147534716513858233120025300849093939913732490267379376743177208023723104680967458164768969247760549732058408936949032307873212667153996790242675273397844230001132990886710886783673287120775684554501882408561831111808847406106079084930082604793615602408093082020454031213528716687177166756049293918875795463792510758810139648620184368361091758852501512291594954299268076081763053715721427087195779950731872843311385158769606755361585405070986433241961317215272725455712045827985309612133426712640654102513101147135762944989474424393225944675828535260525341720259811139022766476671929080476786911204145508634355281151675422807908975762174513283587947510889464808151270014825042188892427875789800134578981837960156938082266694146268051079103178857864829140020216566306070136011051973957887023840697468429906496613521427758417300464355076426199069297392214591157048570343707768442472999945059967240271166047707283511338555091562044288517103592017611634873106262354160166692423481832307213210499669490178941945225692693101911692220983553524922555721864660857377129192652859841052132311992447083113483302266557291957167443384157263889166173221630072382112600390411908175070165503639941248814018555631472966741720125443424233422142629900600523522082014394518336398760705442208557240556532445205254463387574003751596153472436183587258384619782866099567890391512596875095107843866617501264195098125873656554381033950920392569282855924650328657173398483893850959073716217684440223859400868803280682598080455638227210383597173999396880192669107212495171421431305429128205649048689962293099196797428576596824767710434800866627956801874367554477883562930206399467291395568295402917718503107309590416733769038062480603311372605187591391554472303030639776432241240336855609330122593538010590783897179333195018820277570804120166927036669021767214916091470055245328908857215703057656434775065680495131372066961843859258712945146355569944143560560584786239757284568753269266330032804688111453721120595197578401090491997200556647343934843266255912655826081222361677547681113297747925557689310864775309530087967397838929126163177261894140973857623212070601467335122690104876091672539609748911660348889898784094411948696219832953575970792455626227245696532820610006250153537567284585273328975314256616353219484499736416985833033426910834877756644680141952409449669585190691415011596842568509788277683672198698750172953601571299338084560807499711389686289732313095544509485539038449380900622051597747605229400791884883115995703465702500734002962691699600538595428622016471865949331454054163595930845454735175569491515939564818957256804316233891174365440806642291555872683149535721653631774646299952421922427587277317012550601103462319968159191595027554324367302264405321877292079548832390055536371276635906471724105009885366895925570454761999421537703982104657596184829710760290000198741545738246303470234024140817450739390007212733451591506097656702520130090968937067550195605712140284261416108671609224783106288919928714758886695662617485061991355328421066481036356835265792814320290238151370284723037028564625335068096042592637592889655824714279245919313918356524023660285125075322772106497404811867390012337497109564835704177263558067794516146130438915255504597902928796268899804602120950866155862735071223899943176742257909813179397239157376127551141859868822309187649841633408011977752093408701219729992633275732529734521899405690260912092931923497369379726534762512842064034621349092454864580540465840353227494148037457820425654074760248241770970028175281242672019243984100221486803087443268292821634720745768782760583639755178458012560667540628664455768120041718176204286665581524292445028346382433749368362483642968935531918682168810877724595964236124747154704198967571454266819787179716350304171052962650789456125688927992786679172336317432099376257806726455111683317952491357857730885052373752044708338943895037659276817554900919943500388206743343359663066638926506341314610340706042213969679058916637283493355831577855154331889593854024772915883493000158404813493705293018076672176759351474928192707006752332721610167637327534769958788019038466534336699615771330008392673140967337095143566660696932519506292650758144235626222813363591806895143687632431720170691475144768369170540535411733536320831319080460344539711707782707772046761500454521229827749779173651558394159384395010393098224553468724480248167500032812997154384959109058766198878056077029257219616357365773812714014650963379700596375943925259075492658368295384685137674648422640547716926662230410013048479928119221370974870256322374502729079213943307356493496877508577966309542944311834255022214662805612640233536053689187484916014130588061962201494328396456445219471212440703131968369597821282463877909173064981415282476431004157563923871852216112250793307095810567060707042383308425002376427868895224690760744153939059694817838576258850221799312556509691624447761328462437338039041682923370917848019821043568029946399005306472033662220616767052305694217047678800208792543451603100759362429335253365834220531677938999472925148504077874054758250669854154199338717618859428332051183097658736265431749707402101095951309100567567709669940757981211256428512562265459532595425646243336051528965993585577013869173951260506908966317748204055193986015874627734709386473519494816870269026842419931250497378386858440606681241686453018963985258014251946624969185499045177983171689797271696928809719984536938208287737515678671050448979821813123570545569556673215456109210666213198808715510795016823183824055933236607666780712382788008464671979332909757391196733618684653193939982696980753063172920544920298853642067845358786624029111216858048895487153020506593483676717050206936196668992290701768683273339190990557867626437326647524857968498153413681443759551623380776467369672603697754874775988501697514981379118671514210166928490216036057270855824994416680843155519362805300803726130400138302268794043314916196831075954366235765165695251799121930552644674877323316837582979311253605022338459809275572095605645974002515992587741374085479965057978074908029671809362982129572272817759185445552541759283325173163082166440335474797250610504432613391085701508518653192917383378878454248530349518318736201983841371031735728142026429650396659246945300417077736114075965239537824225381547896010343916647934505285705084707733947946961883117198529784187150705098016784192612334767247211022302264943223906151621684907803460044512189152318616550209841065583573841569118551918198073431534240748785537656609332140915947386550905986904518760628233021990358761563632732783521092633910545799418576141317781471619841850329414280488980736082852797471908499716712713383366859238236183946922607842160370306291472700785267926087455877359477018710025230626309610774832862515884569832370056158684999404954974101283174628225550785248333125622684914685023971090536630901319343153906072864679853539422499860981642422181340477970738611641352346301361275857310485963988795393233108202352835492508558913302305727979891112806783293008118077545567039810470711745022366867472198275285415727807885278098759928442689536308523447028721307585209740157382338794099122902757495555354139470244964907992337837625476239656300895338403774108435288685663443760759308164726941585582787760330181144199390399882140617138916934824908463054215218680481842659869227362438581264917076677747488273392512481309862033528832315885297124299321380864250364788108490237869545004284992421525037346588334983424713038396537673848677042203308694984182311877180222993008980424542329422080967587368329094242354072019335707482493269035848588641674052418215482510147054816007718998438795931307509396423469597381095727923832008484658640454822364781378644401735081641681418291400852341211275611762253168206095390616034015592545884934872465718326587452757073880830897807628545712313435460713076886403667309757538802013976367488482217872824991427122179786325102221742805761189505964883799018555931743720781035439419708597767159827600634978113045838000653540385757587978575256202678266411268151248583277496706035612071974980849983001589820220264169916430148358173595559638550312443325521701367297130225829864078969713699861933480112878674469508420589208862466396421355117822479642797905407089448798260866881274615396461048270998658218603563170995107571781671612998289540880672752708728271880278451119249207096343353175443720708515449482386553280412602468786953697292406560805315739610047943062788260632779557926782704330828324355332876871413177049654857905359293344193083369847680052576866365405428181557852598465225474082496489178444600082254598711527505791211232491573263205472541338891167986369510677269123617653814389118195009081881252907357440429505391945855322857754251321432909439442552755449538307425162684267453642090906830513522417386520095138075063027480947937095192155687327923573648362798310893405888109803727926098918538627480591129543638875107336844385519387740093637785626191186856799489372395664523716201991966002122241605826251305876470105559100529168617292017432287113905100365295063890854753069100296968389773007315380603008660358306069392847101529769032377979330098059694291444183230070127495502179006419054349902388102344292112787831487990021973182221030508189071682528573862621365739218958457472503814370366429325764291062353519518977829960600492294826983645178335911383250275752073548031279619356048735200733284164244063564472071166845895822026660604036058581307611561493639879076718988356989747282162419654727879103984070746547054494729654556030898956252557998799889867158317321393831430865418777286731169872595874217424359106282407199544445025279281643039814038836541914886147319740499382555123322310109596212800414498281161997763087078948929353573059244745908278179897878118425961918597143515452979680739985420200071660214183303442512533665845869020101027893506351528475891411944187753104494170578704114251971271539771885470221961988115546615159407165701237361876900467790134574734958684257287045048174289181660773787094885129233903738816926065535275500320027499107588431621444877379264828496609262375420637602392708223254330807323784489585154990127727399120713138457804620644999499720687375275881249994944888101461467779528432690242926760147761094372440460277125228507709697504501849190376044937601079369119159525438397299922706396983517683929265881960568585781458584052735201206779430088875356906310796641889660700700116685222391372126412948308077855145931907935165926792692879334253533788408671226567371669243332000866082179588480438099853000922487717429146582518581383622227335857237557904328821481776373920193983026273480668790539979811456322632671733839382095203285738626713149868038622130309118559825929042343518309347897037739394655793708529855671715613651675486899693939410250969782752732537297012718018483082663120505689398573132562663669231934672129533380533354379416508619992098504474368870333621536180564308703433929511610314062030496781977652940503671711403576472686645368329267936138987869110720971694125637223958699908129649764068004682781386452972059767932377957822818240694860666244701499390219318315635129237635603850752224979756913458783559441135332848662327192269614546636757685572828683736675850738588029143985762566061815115651096409404507826635723182360332338776774276295969946311156018074339566338111315220486811508086286398159031122884782008032751700427566486059810253355600382584058969893337550968234882845006930929505906870458248619281401574801249400371683419797232051111401638012632010426265434814162311101617980314776048601024933588922309330105270814389669416857616770408418807020082797060606873902275161553322902426659671851547640565389726144199237026603015151562037859349751384521677394493683151579229311108119279694426293143698622411793814452643739092527968869193276730258982485089202648909287000776349295201711283890125462786842356220025869140093338985102363586314815125403794240475309256602573192157335188004281481444632076422660489060592375578774810176935384807370197440367250879634603583206532589408171933006713095567295221401185211646074514028118304422054807627582271669411962302362005130049350442416118705575269663717061318813469301365367783918616332237913339245215786274454686915968981345514188728855481054611673868944275738489885067336789214098390153614262765359966059864259840510028207532789678881069031170970357752829175516093971663240732681721931901644055186028606966543287633489917057140735474366658716269016901876841661133675879897186928490251395038025244517807730100481241829857938320083602598546740071634424294443761786434724100338188093971873427688987243354527172292353094200440762120770695555575328690312903322246057476761462410138374344555066099646964832473144115406526589153177324463380718667977053497106643966569870317799374721276927151129511789827871101758023744083387344723784933968311410305602087302996475149384958038564491355255144098213689051684282582179018090002231244391348091653080674474116027880402580810646366059289849291863267961570762464748203181706932134621404820172351750746291226345103510408569993988879314847159003301350142927869100031510611959666586482588815697313643779198519732646312641419653748311529891840978481141854814762575042376414913206585911633980727155911339904181097733365978677971179619140598837420006777305158728503536723673777786623644897106803122376597694241667150561530033934561820533683700331342440200797219104234175012353854414535111329882183114147773826060307263329579257902075532693337753905549481515553582867545206133882135765167795809265367870223036687926291622190418958230997839250534964149237824887688312567578974073715422909854403635043561784223691273199802100821028354439788025267434507437165043127526269079919643201113772554358584986897724756784098073246306330508922216993346752200318396852814089803845260198151182679663029005872496726332293391836183496468697548109131594184489901506640612424818648221070802281230581245743958116492116285693081594799973855512616230772705053594643334948732124633744193407815210515593745537084562912585403691128822590410871540029484159358601654033654215153004359607999724774637593326427664757240144336118119068780607407233194652419846113410233587829194749860192860705552937723531397921271861641066595413965211453440975539758814093468021463237791249995922334572022963393276932486476711592774300866575608144788084375726221378037777417225913498729941944185001768826014994767178167322593956788032648396322262100412292066332349387565270786087528574770230660747049158104993205154686543773236290668784479313560909503885912513761254143629652926288938194153200713575100974288208700828238686083677756062175653848483662248597748096369639607984629271640969294983327165505433949250995347158582512246094738689083101557013643943432405960799050366056122236115235277191653685149709235865574511008877179845173201506563889459384115803015254999249821074023098467905119032206265563088078154201446999240393405568936372058223802778762215931496062227543097347173479499106709474531385548736173583675069834323490583631332493629703897865114420868694512872010030660771458816993008165025053513180788262930680671531662838661771355031144326811004050123182764443697817140176053316760134270179089954664038428180670278959363291851632804263107936623687219064476990096510890617928317221935265851867256201895386808602206586108023137054493911464693445373520925123436139660070508069605333516588926396051478208891671582592728531630507109509760117844723037752797764714553475640727045556621783454293247858277634465008061872829733700566764570237054002172616024106237224123884079744800506565487738347049916157459357701624305626008324961435192396846311114851305053493492946559501638704540339631164858582571515806164166307591855801393563918284504651953283919371937866192243851095328361275696342096092576450104329778164751611847184682968251051383305877896417795554643160327178989703115644468185671323772383099847063755362987421633560969424133104363768554670973213641883730129910374912449662550548382291737299902372313982259062936044327733073905116709462106281011837734450889022903970418161553649204434327652418210717575792732224569270075172732643763206672883693380996526636899797148399138690464624924678613803226790352264576574459357833018677823779866310396255873223192964525161174627162285205703870194384334723090056534921732717157610998052563945200799831003098607080527542480973677511172376768157048935755219580446101307335095987651190319383048921645476162474465276045272781470184060881108421637170801706713868777167204539547328405028030121866684792477455609364765042358197066602654562331123048377940779860746464590950106369125696458141549354096041403966907103462513293406086623054510443474040194161667266458426837146929369373287946068884728852690915115338553282283503075251772740229205755999014257704026714513404571390346382204110124127232468586821421563981223663677703507584190547401443827306192262280247986959854022059978733046452106924390382321247116866146612018065474659016997544464881690037215935761851796713118429691683542741784991314843480075409921807850942104608295368887259807172222789638001119637388148108901610339464543916233664739834728196968425269029010533132754894165060169721865342020891746716701684330057926983638776396124954010004927813524113680827772311341229565596666528760550487666079216511531466280684917958126362417765481531978225887656610308981424798087547735477868132945729281436951374097438359595980399639232536077471727770208945427232612738883846694802584224595239271098294750786913083012932803073322585669612004647286298907858742393382868576644239278327425741440701757516447347910186207530057651437596036823059882703070740046283706626174256484257791373450584103821887358794980303799202164718782197569997164817865055555316840850301842718668054817136105051516709027225112469041869939918076761861277520158091798551569325187460789324994357510921125389862607241838091581456637010303557203990418157594459826159309150892298942874490177009001382704424699982259297878690124152835788746277220908001610500096454142810392278646493108728728504468501543676571656427787020916210056158812759770811128836955160612732428274191177633115011512258554504407559809947167549712167185748940599025630943498731593746177285020410412072731026115215955072845182342823950485385067261731479057360843454978885642259293294307878648487620202598661730656083150418709205550475845681384634504799087486277272533300141111595854572329265556652597896039759599966759680598610267177834667786819311183659341207529041842872229544751752346847013069244454884951720329991176098584347303734305273263801846675127006961935611107453683006701159234910532609505671443507272139965969113201648404420569160634483007771595294408340432590276840155973154293160091683777108113902011118744781662692431743751349131607826457491242165975731666154369069099425014637180472298374455024711967414211178643898394047065347574600270111017560970425469438812149311266477398425948073580330718525110308282635961366276473223355338616258230364730888019329571112238128672923897225471186789039929749742563365065663288262258152445157165956588925495493512084055600615184544444407345199086441018295149555827770005013742867849857373013944498447245537318430140163573612911972124221130918328286952443229520389658655694150373076591841468299283248059405425558605077925748677709303725971208609171202651703733441170369712986433714147825559904360252124819566061431477519153945484746997097552056523262021874580397480718348628804842073963625842479852230305431648052415825766493020412659451150223720329312690050938751990197999113966199042861690588928764218283256429532445961962637671594129580390989373618004835423965114317400539206778072452304295187033289191081420367047352278441294383443323252613432369041153559612306666619066969798423185875669276442066934269152835750925338822350667147272761368362954701813950212714287757628140387613048724565732282670433054824563371816297061374699110666512215268191812789108089910018437629362181827007072346569039137541736610758134867310028114705159605596169689686852984935680858208188839553458194118608361143888329587150898930435054334667655443521286792482042274915426903052500778370813731892608774871480969500642750087316959570623473678778554278299522741551189043996093772551613964358839672308390565119384325741730596371978253792682115737685647107728369713727441507131894766030661017984396927966780993662846113880547702176165242413207205751859545265588686001649948508098813489963697728614997395633874763076651814436339019166400033291809966629002456591674539524302314707158178659595663597779115918538903126343387915173658313525442574925985788791531306434931793641533830265628955850034586785913177440473658818541642174936206272037956701354471594851909507442503834920119639002764806722797319416285766554953319051385654304889153959443986072286355024078363666229792486535018410666575806576909980780292839131856056015235134029938114258514712798113581404556855446648735426430047670781280251690409701369172287054185327360153117222897914796195471308680617027346719578988288675347473985988903902445611662787217002863332182932051322055658030074811547565591163568201208815647150794664597826732600213596348105599539263036324313716581427253256769614885386575117229078108113464259193933164247642714983327429232434676513478196470714629247174979135743083797956357628882414133591380230682126948363407555940505213372443823790228245252483672712728237008311486913173881967306669143605718091128593088294001850570086027586998752363922087853834444800103783653025815600451945065090735780065312599474560276279724279373406314570508842354855213502024371194599306088301838178002236448334464029840382779255047393871728962391242375815385041188333654117036665256953048428739089116841935497845179891777035551565312359974563185119455484770301624934201268430738738141547688056034579525031103910330652299725457154474682360217237721746482416632185390422723480473000898872886247952409438396741387226346707834739748833893737767386230061246746068905496904000075555845783103554886876085853140910253044141365017137480722424324685309988702771847191747186414086953975133129733626087387198970149084614283362023174434491528478256000716133427639016219099361425157480964001100866479097959009705856009046218342704464285531903831534953345341580527824041285345448767370515632346182848995750891265245610092616527407124272489303504225248654751027186181835500240763243283432002641746946682200484434038268054387932560763309717102544310378792765984069280945447108732109068788298314810739416689686699482400217925218788820484230188820667703324163858506540886897005397007476437770385015905440088694548958836605645060009363324431794683854750630694411757001261722637468906654170251658137778485917047978535155575842831548325367684420006995514730193023640819970493810166721087840627960706749454317824273989450322417546464774086238782532324655869311686620404313907351874797235462125126761980677975342852215316343986391341304402578786746043341494305146613080530497047893100818738115624138921606691360127451154199938075057477193492625200230854671488627744507661141889250888631826630805629088991684537392509162658639570931891320012118207858293227824690756171586985988596607589050614007326850206239869259668338311383253717703820263240102245221451346098323455263236235882301557196545277043276563878088391727080017831150609900304721944594819751864836787671853983987535209771735207658794472770158825671334587577750683433495568266126489228465849487678667770512407817528194667124735288070093327818794541721743070739733430421594361383176454855597866356398381197281652483854706718479467011554464995540257858002545311014344771918050118776531320962104156305222845361626976121936061414999318111507196384726151892127435993463328387146253191479704499257834927630302295708521412090876987484774799058894707159148721468586470715104577614874641230651539797222464906651369697383283262848549345701266640958421632166879699571108928828900291661780342390746950145348979064638480347366941167336081747028425475070789926677428367845044427480221480147013599008929975388819703950534444044356199619108962634904750155616352582793820660377499388365601976270385890426078619595282679951881207380724104239479256991040547339520497279197673936438010111191907147171795388399518654041577826828553999313856161621202374531634738058950711779623223123024521937619726678638004421304029073056970171763131655651013797793088972432040689966518521085543692859599762118773684177213384395622651255686770042031304090076373967940543612222059016761913277239190631025957261801242513800437244572900856816393856748792375736003163785124806715276576120608038115066005211160138204568668267385226955201890310835761196182995346092812309399063845363424952849032731095281274421933905619508839857589608935200667285984713511385388158728245815245961026493187280519447605761989763713708380316866407471490182532300435311242994171938035192400027685572502338117466102162890855842697581600080347872357984643052182899626845585141886472992107365170177797973849849049507221657508559740589309246007559065370496848245855954207447961445533627027170265928696980404076712639283114758718394185191276461147296367046351305790483649679385025157329524127854779962564744147338354015252630000036438803728769836969963660174594041494483529082708799920926362544949600441960396783853118677334765661535621151680993859250218887385418366537476439195019445540747336372712210080206369327147930891345062339594789528733554339474759305834221833542170766598763148076702133776408416030864193018241307398417871925839561560037265428543354995085353232145537381338862956183273243035010636746704212346185561198936817190043522460199784707388335981142182809187247202391504727453549075710482832617512430027292337229414997359920044289242463453674524897524330594495112733739750584439082278022373851089687880150874558215772398271711551427955288039480254952068736144841118064085114483120964515436809693942143249320525450718406512671445657221004154013447909260212705691162681998231601911484507480203485583808901745371623479898244588354761335119634506472298212370600829672120871294404720955029241526158395533847865453440805917365517806954980909150119479776837488596136662291131968222690676231320172158576342836187818053031769151433106391150297439131282753131253508292971175149850241297243268623807068703865572047455799351710482070326753953986500021197712561589122846580773269472408581737264980620107026873423962850193799105552270029977726666202103688101146092115753942795554767798397285500056908816590046745457309855136048894631420842051104149199777603872567250360196880389194233828823916326266887477606557517452515665585186453858621212945935893541532052548235235403608726567082450922595190651823312248977576743625300985236472298534670553950609313280876344411618254899217061754370833405580791614610761070567262295708793451228776326584572660410896852172209751486376067233997467434548203920961678246441004057148441032419676769943132621415571587497580381345440296616154662334896232367879680700033294114387815379045698710383211173526669834973204198949239874351087120862692879757904794166490595591616431563207012514427928812638013435870422664627242868325786773984471198000841630501691462291709918202789201511462520657749200096792661758022394066206082436441978382053801790380507804126605167019835042496668813480819329132073784410581930437396647050551759033804131072444475857769988799227940258749961544375342918327757858183995236391144876794144821626288492071526875847558755260186144083515120372085008313714215933040406604968249183600480500608786160766791455762621042428560948699566956419271862788001388602532568937677020934376306595187412254168812436368373037763959952027182504662723982886308934234893763450477331114469075850709625168068789039606959204557226641981642259352164847781292443009155131523788506594693016599317247840833293595864608182130157534283262716597730322810636270318568100875300900640175493827438751645189921498346152435989868680618502502225055508604931710717224071040461029365758642812243330917728584979125429800595880123902458793515125480059471258090766334321454189582773286123294118090726435029582029645917049325050446592525150374913905662406376390317986875585115896762324371302819759630532921174042390039098811522333454152473920161187619460823534245014851664462612315143855937192880953137926812431223997866740976289728680580861849329434300551077469915950841370451319929784107508271528849624521488766425806616737639599094223039151888882466896948799003182245047521555682009581426653574401722574357240626993091737617704750725599829359926081653801118606428758664162477247319372290706229512872107132302152704414774070525432971292101239443079798567417027781891894965882419300826214459382207821658974251111029855590526675914103809313956597961897911028651237202999439385308229833269323342786009996944653519571220367135067543228781054117027777956801076444158513117802902723701890157211546680070155369026110552079077724506493248169194766371247584993935843981065638599627012637988058529533583189452584886351557934363403642954960501495340076557088486786215360713227503311019199703596358694742798858715045350481535323067952700861758589280194581345897892916863413184118366330435627377218975452934013430020170200683182218317791293288160493674752452384378113144854612263748265536813939817096227441612879558878067216759831907833194371316802356329989994968873117572049332689230630052962172842159032683894258606952057043445717488017401065287097715541960995476887020453953143582497088954936700716770700703140527972488403183369099598150623314212519738850499792463706619826511003200910165834068417652160431225723210284420815302858902406401258569306694176663763612106725080122471320761914442448390003480872206245558753512331400003978032539679786253117992706725677969816161542438466705291890499433894552826718770795591121828255332196711587211756641447545987022302012856720978317632833040832170056791121416223135462660993218318261497960676305151382967073623840619865927902508811696243781918978168990370323821629429629812615484083025687273466409296981461063153475151056112044435240175445971718607870720927606182966063707762678548413643933971607685936991278827945252628138219399621587038882617535321094627042990360809399823672526825444362700968234903026112094027691378305606628921872470408340885132912892007106304288128678067279357505232226573936817328524765497950430125650184315548796411133449023345352879107106020130293933921997876486227527083193530169260611601767272028749006546722846728599861213881938371118150659701253534772999624692438552347958272513903886233828509309930010414258402313730708267128090940640171604303943088984862658236638497689844706002349597016318705381014748859528417606569325036040147619996627758073585807647011645405298918942600967228332474291629948218852117763419576588939113890938761346587085996668226726025294252884315686693546915875923454221809320787423868876599443365426225891307836392619279751849583092054994737706822379544479645932234646800842850494920436738895241856466758426770494439938345976541886421869005465950413107309087777726835896248421739592479579376827892754205089572165857825423821951910521240113448342391147907874720081573706667472297068230041423374072094204695736711103760308794254305353632050769333826983238960969857961061754415062198524665970296608216422929868465989521046263018910593296421845897817690153788332061859144781673805085524358726123634872661336512869091826528184568515408771755920441783808134589438857851342341095381369219920550683814524806552838552178512838909574255906871543971786153529847071520928508308045460314603568560146540475612399506951043715468482265712385693612302635856197328396475700684066687652331242966563906149925245433445003313960636512726785915591226803363161095599425757410915003089960118433359807472578770096536535529514621964358403033493330872965324506746860228713208379773500518239974991616093475034036272659462800067244820769540251232531598379843102931966674126113413974224393472797253113816912495719030803056005320852739294856682630916855419740911257018495590367640502865575120069347576597819689961098842622924861852290424736993395669786857422891610248711552533535893756428559761903417943419861717828122366090394049063137135487525175159814341202734500886799173928412686268275009464008123769317999556318792436835836905002093266910388719637587351539347291011007420478602928865893425047946961526192197115306425136291492265720518723480601223968334665550824190386553345660308588530930661759827112785131525965295932937168663771537827680080186811488652972867238759605394427634967736159056116389699550796259779126233574542057259310870306646858465064630525651582623405729270508689671651196115672270779201862915216497609601860286718839414556303783616456420638211923223458750538687806363727000413893140706060912629503271264638969948907615818250166423520240547616693198500333772035651506684942363221268346659967078712504272225286171534040602402180558791122150945707623447619571187488663871138259786825197399080210469348464463752211300449950289230460678651357980063335134306832203154627949334403097935289498183268354963403703699590162681272137782919487338130925332906159285467086847
0 件のコメント:
コメントを投稿
注: コメントを投稿できるのは、このブログのメンバーだけです。