Coincidences
Sophie Norman
special significance to the number 2^276709-1 other than it being the
probability of being rescued from asphyxiation by a passing spaceship and
the number of an islington party?
I was wondering if it had just been chosen at random or if it's a prime or
perfect or...? I'm an analysist myself so i could try n check its
properties, but being not a number theorist I'm not sure what properties
would be best to check for and in what order etc?
Soph
*Hanging her head in shame after admitting to the world that she is a
mathematician... oh the humanity*
iain
news:oprt1qr5...@news.blueyonder.co.uk:
> Hey, any of you out there mathematicians? Does anyone know if there
> is any special significance to the number 2^276709-1 other than it
> being the probability of being rescued from asphyxiation by a passing
> spaceship and the number of an islington party?
My script book says it's 2^267709-1.
> I was wondering if it had just been chosen at random or if it's a
> prime or perfect or...? I'm an analysist myself so i could try n
> check its properties, but being not a number theorist I'm not sure
> what properties would be best to check for and in what order etc?
It was the real telephone number of the flat where DNA was living when he
wrote most of the first radio series. Any numerical significance is
therefore most probably the fault of BT.
HTH, HANDA!
--
iain
ia...@froup.com http://www.zootle.net/afda/
"how can you say that iain is a furyy fpevcg?!" - kristen
Nemo -earth native-
> Hey, any of you out there mathematicians? Does anyone know if there is any
> special significance to the number 2^276709-1 other than it being the
> probability of being rescued from asphyxiation by a passing spaceship and
> the number of an islington party?
For the curious, 2^267709 is [a] the number I found in the books, and
[b] calculated and included below. Curiously though, That's the number
that the Guide says. Trillian says 2^276000, and "possibly much higher".
Yet the guide number is lower. I never noticed before.
> I was wondering if it had just been chosen at random or if it's a prime or
> perfect or...? I'm an analysist myself so i could try n check its
> properties, but being not a number theorist I'm not sure what properties
> would be best to check for and in what order etc?
Not at random, no. It was genuinly (I believe this is the case) Douglas'
phone number at the time he wrote the book. It isn't anymore, and the
lovely folks who now inhabit the house at the end of the line would
kindly like the fans to not call it. :)
It's certainly not prime since my sources don't indicate a -1 at all.
> *Hanging her head in shame after admitting to the world that she is a
> mathematician... oh the humanity*
Don't worry. *afda is more full of geeky loveliness than almost anywhere
else on the net I've found.
I think you'll fit in just fine.
.../Nemo
--
------------------------------------------ --------------------------
earth native
[b] Here it is:
51176453305172059298715723395481838977589127858310829444373827013745\
02410571807577393417982266736966171479110032976941982002805732162251\
81453760195835037814643350841902806403362411630864587166740916745831\
12156171805980478021173763765162646262828276592028129998473757685229\
45420723935941744646823495852300860389802998190775710492136937103023\
00293703271504146884099777985186109138956358745368953527029515491901\
79986075972197373254027835527492898555508225025055948224057539656372\
64492800620246626259637106483495643266998431692521384833267591748255\
37200848598420858733745334475450007305956536471023531366335698020136\
05581319936074862229650221559133352882483076996128755505727965035114\
86942142758565027397265436825247021746853636003564180189692202349441\
90711733632271480042881599397799974747443615322030221177768639763586\
25594232149022102281378420013309853901283181026402119694913286916673\
40904798433722023886307800965522860570229969262591730830547353741319\
47505138308172598988857565406633183721797653494457053189967873515078\
09993855264661983135070609252801013840591346273246714264136640214765\
71075110629015474322946464182301989648840352590454498361549806460934\
61345278403909486917845883569880266998150142281937185336777885282725\
05228972381264839080890900593020747865479928060910854626840454393824\
02767124471677453274194902685906316301499932443855774150488949666382\
56853324458705062142980259531518341801784560257798223172409998092089\
05428233998968718890975518473177230160562207586156832801473925403017\
46616942103103823926795218913191832053000481233184756272289868131147\
83300388232392642977516876740773326837387749426151636942486077891082\
18018219160787064652625069174580965402154865075564992169911040719294\
96652644458630299483123838757802396591649157885966194920491652523630\
76921989091103411899757297905720057495153807845988098580485385104114\
37709243926983120796026232843721013199989132655769237391319621904018\
05055177337150385251951404140844973458608363673681153800139865274562\
08530932125033426729380464381283000835983092400166302337561240374047\
26347700778427666122076751076266367862473031701310185458288910242059\
27782150945147868961764464758943680704039434685828923854456843517652\
37549063218606139275441540012890193016863472404269458235205730255159\
68213608848432932104275776784748907946794651440677562675778651430445\
30915878886832755293171075422097343501632219570939023172973233089645\
52504425468990658782935759722614041204599085900468912067004450207183\
57311464974813339256474195495773660925977675621401307767045359249925\
73529193074852215582211435462067482042210705898390257807685085391828\
96687109285646208078991187353252133649109864859314098078977014410068\
76892866596601206008551576601276687773245582688084896674574253168942\
10744770915628288097501883334237169979766368424362144617730110056821\
59936646923011398472803663420842002078565780739525090533414596737911\
88013900071764599502270850907580661144295120619348211006194421997686\
61038046107465784567855841929812686561141199863311640732125902809746\
42491768785023049512737901159234946968882861915553684172699854893241\
98699365190016127768009813055446223394056456487795289662382100436355\
16712586540621605365804984700302771451422774890820740487838895611665\
87392873457671333577483935202348657737563541484065567768320188098887\
31909329956122672891095614848296484796480715345649155205074345717927\
31491318043964161422138743289310613431048591794204332482353722136334\
46255851967987912762101230586114238608388684240282612227775642191581\
06209888137130708733051280642857724094457316500862291861735013748427\
41717436895253115411512137719633205623649057466907495454577077815253\
41072954302902134871055391476624540078200530112702389552290237992095\
98808095809618998877664022842667926235103623107015104880078591118222\
62222209223575110444159207023153052451737720324498753767074432769233\
90331247169797292833672731258904729100022807195403026487522959066713\
99789683257944555177612214774990010038040374512088309632175141201939\
56060998219294247916606793600731509455020386870308591602754540938176\
34814033046876633645813023641285540774922635367660282319491951856171\
94164298396760856256769250396350791074467642184086832590156751900909\
28511191442061112688872646540685793612411524149846356208126303191432\
12567204104239274373692279956847262237306201019739106409764743243385\
44866958094130142056735963724412421397930738238851514287806807613181\
03947194785970742487644573456918155595994427653255678643612048422992\
97804478414775285305927382360499838631588611182228704603095532257636\
21716606106699804949369647090856950216836590463392858430246773738015\
26447246757195476770597838313910208368021274203074430758662573402667\
31610403055142308093676946629538641446033044373234066123550246275115\
48219916014695831842760848535727810068726472382574383818723203008302\
44566624386863299571295669128808263217116945256603774443485828183668\
06141759946392032859348825803645030306597254669654610347762750080922\
44245502524823476131651712948969909311488770341146702267529550792156\
91468417820567411156294547262601154865144966762534475420878583322782\
64740561721927212189909499055285210280198582799108385880739109218281\
49267666387933940758370491261376999555827745818447406977787998136739\
08213275924980091206876726497738161504399095724132101681833066358523\
17894763101887918948315444336020727737455860919974688478687374671355\
75322294460528496190510921416655937371096095033611550901426300496457\
93388894596035809554184420533388888145278200608400734010010498376598\
30323394408765585215224638996344755525171285411836430467628666565422\
47483032852045499373761347245539168132901626547427635999284002479986\
29984583414404259054356926109457604087999715221230994502722583785016\
95326180196997916774065407506489165334016897495054945950405713510683\
27159653864676875162423428804055240976326675434996542121052395690386\
49814805126655459072491745998423880991190696080892304393940103211049\
71469462944605021784801600146901281106471445909405453104442415282737\
75809811678749944171449280153546656236670577022460507948300792420379\
42023330179112480559179738082379772081061142452190248268426331037593\
33697387391565000959343484214176914386665530359181043702873355252597\
63121943025069811537942243792809350879062107187786658177416130483058\
96063281197175845698945845193086486853239344445839469674907952385439\
09010365198401350773323149337582589263132985738369388908667865688902\
98634068267386454774113732707323403821270070871871265796948816780349\
74996485100639757137396902225281122045277845139510003846544115786067\
06918230498271155196399824647281100336000607256264686886258414080128\
20151236232798919731614324231295522804687223276595794901442812184042\
76615042756876406564407015471823943755354315272926499143254999582237\
43772835724260529278265076718088989323573849337545996808876711803167\
89517137587545423633580548869928213461807002359895957508511543842554\
36652122932435415929286315702270612545241678996766643155486176690165\
39827575328268156347636296231152590844671275565913889734929235727481\
49690356594053894063537988717772078399045227570104521431576816223584\
39470771704832174974708713606903158184774691663347952954188389573950\
30093611409519044850296991673247076133269396090722409465919293065455\
42328648899574211221192334347447151322463097725158516985572673970535\
16049091238632065074381738179264235243637431516222060648457036708754\
68956319101436628326957344056568186036279635077054982391383225284483\
72745626499330895325524383810279222698606835813332029090461249528908\
39969841169446203032786110916718497623682531534353506725877876003463\
30017922694598515759162049185000795702075614517597895018444162134604\
73308594927363178281383694229558023334741975416953072419050860652680\
16163322075546322347540084218318306576432000585172789047839910881101\
76768364351183167837680088866679191142190405511966050115753807989949\
06416226215867242697195542725537395902388699819418257115331452479589\
54208331612802558667324867757314930323462312449058407629988284505018\
38619483749882990835170510036330370054981519080639039989618936165246\
18746134203728927502422874863024187242518983717520134056708776403304\
82192854415117897016398924452943026821007534151265313313006313462640\
96589599042133532956583770879862157939838520927920503114634064292822\
83049569029356938679964372164010353826678591797474104946903106207215\
18871730730940505673979307362782529973595318111914485409439212652768\
86029004104176862738226484303802643024493016881270347642669496018870\
10349205207810826522595271339167684424232877637655459090917896044669\
77333336631986671904299198783091961646213706739055068249455288295921\
87890460891097850837798314488428283448952576510733054429526177704565\
39108996639815194533532727391672614377112099457693456299323646074639\
50589763844201914158354649886768438323557163261581902344476783396206\
03597784602891395799727958256567520601510251498382428535725532317759\
90593760003363525598588144754359151138627944541900502823501152367518\
76937291134748942342921616925554793990774345982632891050577690613031\
36062016755947491822391750514597032663954447561540862618527164829830\
49174966326903261547755668810347347427182825039604961674937542645431\
59032350114784598384916163664970204826338821292239414730731556992734\
28233246456521560605966529124387345764008201113267411599338153236288\
26542486488422056054219545074048481785174768242080929836660022260275\
04725231960350852169907565315960652028095552540392503745191817681802\
90329543245862541418134714273689855425372896622625837715239739993406\
04059712156674509857658111062150219410917603942113803900119414094746\
75280929414511440660727825048168895346137928585733081613882323930622\
69112397513868299248811048338935728817807087357751504667654554131672\
52531147283578403203121383246145886525008668081002862098322393791475\
10178882151170808039712473799067972974329493658461803883417150594861\
60066934093271071657660130474070739655575436690231248416486537236092\
52789594126223098600755783733852040964247284137506554495437376676379\
20310066691185394534820807450341293836543907906697827515057656195449\
49531495681520572201951480628183179296188338416516699992116046038517\
17275539069545440895861022090221598450611047831320497813658789119946\
68197417052370131941410653878347681321096483434733446728395094846776\
50114581740795903818537999182283294370017155283770806318451471233257\
33274936335719690536052354944552301694451738609937004199246428290097\
00683010358503466257217918576920052452924269455728396074143403021510\
82470338268538329663764436544778535052449660861491993797243332444631\
17093838545396117089833445732596670130402085476467422430264354827714\
38884869136902847617912383585778199457795956287304992735823086672015\
80527024096110603653209943713279697917317536999889635693304920563905\
50875132710202287976026987671383549330121032906878540993954276273553\
59602642951486767950293039345035036024478942758741606741956020611553\
62885160345296043752322544472840398378068277750324995634523267518712\
96076048596967467555305176641471153962078210304555007034369469191242\
60056763266411230953928101666368423174153904159765940128209391464344\
56721303453826396272917016473636403387450790040424810379240083175092\
22512128283527076456125331843919783878568101394123030956333070043657\
57392983207797476382542543475397989662659390367026670005852175145458\
68677899829076451610796336452787438822885029149034678452559253091047\
57700389544925292079366811644385720374465366433211577149187021636015\
95622634616125876262526310613728090755086412716517685662659632233842\
67840058570710390836780735921565376903367591699534662487812410993425\
83238036746693853806389211332001311992789131130872629084599204687836\
58704796546904965387730476109076638286138819138087915489884050169685\
46563637642628207102259525970873058549734767699742628706988573152216\
91245661301190411045029166735312454415909147739726702287686017676746\
91100207238028112819809676839541147021011470159531427383595098502473\
94717888838420256250488827305623527034563426318694753730076677835013\
64760587753521262691704404844973944403810976901188792278016075910818\
98267779987366624171761873520950492943585279590962665048653838621009\
64541076366031553210737527591664331122610210984224916900860978047593\
93242839810501981412290909322654553451118105517865750311918768088578\
78853594151333642549885403748920215274062747839144848038567558360563\
43471428115537218768700968192061111740748372674579886569288297530408\
40672271849312537291016178596300564470935237309439609171588835742924\
14969951995119656854091102948105775152370141895462996000265947494423\
95570240182849026487592752259216281087352348875907239655010991407441\
17932269701277286240294319748402138001168179464475595247733002831483\
57529973262801656025191500850484008037502933933634321968113257803343\
65091058447934220566452573435061142956211640983142148001439212204873\
35532931750232909239639137872820667290452516131417708934567745483153\
19044195308621458936721275121282139255375756029716830183136603510538\
50066430369008407115767764927017923160467664446347658677151895118807\
15780014868961349782716831874314691507448045587053179354941379088814\
08126440325664161611142549761349233564211950800153348326332263429482\
90623423099235790776987539113252025024516968824041234845756099034828\
33418427571591041791474762894515594097817887250577188176294636421553\
25233079066595142849227515625545895560254741273885296405330352413766\
76540678613747900297931726534442527575038760811154435684903936419865\
16816108498043359462809715271144792967138743178349105602942366677147\
87189706001914545101355892142485380710966013479939207219846760616626\
86283216225762401190919711065319067329828686266654551024300534899791\
52256599130316472202901930091150392179970085778694204797058031865919\
21842174073836973435770645054099328867841672293089845269074117890705\
30677566472644315633226995291499562609294283933279050695415747474452\
60216737674904088953595329236820229525990293234240386856280181662403\
97335023139193904623991861569718519408168668071003966489571295662813\
32044909553145626258118340584271254445482936675502960601587511143848\
80092922605817691326753959494237613154064360685284076256093018952846\
39511088733905872381336761228819284594221116158804700417405697082059\
42668443974428282738662680036251239063101378531527678091343024758702\
33277332974964468030956489609008824847381188878145106199272523612607\
40556566159173036578957633806908156443576309322001202289186778646571\
96226702775168906543528146758118768728795537799611954529863525861179\
10370962162969743558229871877724524002243628344362650150170485890211\
53363522991257875151489250179552711887084145626071433941232177294530\
74277024846133352326425362019546906496022218040117750638296278788163\
89829682317403154942402234938993644025206402491383414855091525666425\
09528467322420050785937495603198564180052522754041904608287188079994\
43466496418267235593080558727715364680537287387191814829735797475624\
63066236570985209147963175781397875611867782606529841716036483628659\
73982119454136490574496000737084605697774360649090663277218127418483\
73762901270627228353293516718657855735304609675529038437255917834243\
14660723529990334026001569341120035669869133254108606679977644980328\
38037081985598403158927889492187463030102585773314033997421629247174\
19679865364130835852243472302436276606397762734928814211136245382454\
10605990736439175343623129889816121894425357060204762033856275240129\
27206462192439012893055156103130426087262858411596340413936378929600\
22455724816245295897777324632041915115362235757202154448741868217612\
43010371635911483602410248836047292287865968073738662467581886548487\
53835570846475478680062332219443020917191598840834503440371086322294\
79229207377270686277223528797115492171051761454015948220687354924048\
53529137387794087082278986556781659041819803824295174138136027289684\
55098514075558509194762433678894078569624746482984029334673146450607\
01066636677140352625687249974658251227317343570403466552921875767007\
13233670749950197029839153957729239982010687106882947876020182236621\
85258479197176854382297803129692476024691276897848130109383131073063\
21140848914069585131269129143941391752331396786301346937868959173244\
04900761651782141653832900717849410130325358871753331466537638955822\
88576569139966004832856606024637220696847370863820160183148608429647\
51916186339341507992257725586426969621483676019644119228231089541307\
77738088514219539978816247685622660648624471029673238353254739074640\
20104917397492593811299748701021237392119454753763053272608006165387\
85091641188540905829441238315602416007224123460757099416380297916035\
09808562314793768979120557852322064572228950595711374821697549666197\
58114828424504621567254400580296251245202788641352516631941843584526\
08159070056513309630295029752705782851304469599299364485289852518015\
63592345626454008085494511510283696087523378834833286273483983971568\
28558248957733414947710527452895566013803187194397850057771926936605\
16470488437471435450067986542896899236666876148488176674724769685623\
12196668355478420360491434171268416939968306063637498514402686507645\
10912023976032056707869279719931607129775987073447441005673492813985\
68567582906452511250154128905986819716507803459187875837347754197547\
74192245195532826022399681198093772583609031767836853316324594482547\
94071362494957448730283877313328307489302001854741760313321249027905\
64162192744298047688862722680623385809056784914307161206411190190011\
77325905892620943283887772623387304271751205459063404529157610533612\
96133008901941695549822420880461198876045647825666094058901568714677\
98716220568983207991335913033796998276203575085160392020099404676395\
82528165343966531555832684072716269021998289492746011354118772171644\
29970997116797968881537596743929768268304071320603769768320689504904\
22520182607467958571986424200915623857540910138547133939157136377224\
66240837143926142266871175457051220640568109383846571719213822639219\
34958300632694082486904811351545531302885262201079955960499691572110\
77842672352657484590319447352621294898672906398318900374263926743260\
49591026729260961576194184255881785136492826904970572251320767222948\
21126460424066897134164116509808246118991819456981464659233634196525\
92099106954768999071148135167738345773794958679733700754393295710499\
67964725284325173583931502526402081609900269333787644386167697520854\
81328202364723034220078189109038850179297731418732357917807611932828\
83433139396027704679107742993092733949471090568998333483167034211838\
87965167339379166869888253122211179907963178484101958380617142750127\
43289205649026435248844993814174447671478821031235712125709204595676\
28358338598428274987246006949326845925571290554898915335230254473349\
06996806861977861205152498397748174355270875177182677915594619099260\
19851850802103722929676259971512176724342726829398744666934702857318\
61335781081635427550546600744495058137196619747840858623821246701819\
89268360191865820751965533718687103180880301310780403610420002202042\
44843896635634853067363161435890170302326504877771120389810948607916\
59676475530672839475617193287355608465988838115242647043322548077514\
73035745438916563546250615682485346254561188541960951866626106864086\
63001548769549003850974216754310026955695853751195065113583440190025\
68277506642472869995605120091719587769841093048702221841039620269801\
42841736120944568800920756394249433456662255892456924356117028343048\
94769028485057906948239077793076813295784764621583757148771620992824\
39335315176478722032649390292637551834351811179396902583930001955470\
15382211003633259519840578521315160079890767301389789429455964790867\
24889527743155250839254878438997323826005203126777445841735965169897\
60170605142587509833030432215648173253377030852441220691975399388400\
95716403717617985634108208189730331784332770913716076833949023619233\
91335960758078851904271985939649055997637907059203644795652401919296\
02503268301487776182257078396737207454670108206336965860318350769518\
02257359475719003197452692823685064578796961055906672028424867913921\
82416446121360858738621322467460668382675733624520407831980550277441\
90469601174753378140525838277236774137741529750852771169165077254055\
26833878229517705521053589500688336361140973146340311857964260785596\
13082295452584073498377891518841322367166264285285820998895792358259\
46135006962281682213351620918773061368170538051379085382388289416644\
88467858614430149859743995794837000859072443157881008264768572426475\
26141049222654065575601285019898687034460357695717341665357163073795\
11457510047682724396212317645895526122879171972181751714582242757842\
81457442491083195876027990548178602492231799334240770592988475199180\
11087424440828950781391760613058478552992765308310442005553698270046\
58093547826347828155471976585844112664417298318292325599837797104708\
59783533961750344927848450297839530787469335927635957395304228519032\
19276098572369121479160713089445157259951832837926504670309202084860\
85990437260724189070623753365722427512090848897498449587411720331996\
52569449417112184744679644099371176865033478012147762005430875905359\
91486717541378848121100505659591159227425736121428883530143596769791\
74799907941409857610164170548116456493930994201556069187773697086259\
86141009683829718169091790859047754855581893123451746515072759587914\
85172828411772558286182989474428638170261897497919593747393072428585\
18674746016825260914012300609542344638513489851671916683442209875660\
06690207162014435982840609405371056811087986683782941574819717415183\
02990154018245392366350505380034711539814559286349848400993016272257\
38384659256098348126463573513339261229853481665953836229387580320252\
50696489476947565451653595617973011488494677507361033226877992576643\
31119664122855420824939001296474122093291279755107638295658518774164\
76248793424002653317286142666093830814293240150790425756031201241042\
47028482491459776643008816943454395946491274795251393259786770694978\
14965973781567859861336850890427903500949709856218881188184783416884\
01561290575419414488635194088222321539322166633191962164154881068130\
75530374082593758679984595442851319047799819712519002365035175110194\
64557943865455718082027692966045515191799710266901547537343183667224\
94285791473701183635343421669135204952713935401659742788016850745080\
07341847730018797578053417558947650621453003443105862043413181267236\
69524270673427742838655614484848763586004952946971756016630739239393\
60108975085009768512703724231188085536772477417452766771009563904896\
78959997262489810538929914085422268836038087319540151479633961032462\
46283768835042603207214294026810187539236228297538655293322773232535\
70146773267926630422582093403816055777184198727184314421827359488728\
58911013390601038708280788833731780601348371433916568759795541358917\
50637354826815281373368399957469099380305742047617348784841156184619\
20338004914884641382323398015405615747576569759260526763256381442658\
40774512479296116540116393127227417065154020271294246433871745042805\
91945553127362903318470574375087294300767062510233771271394490241720\
36195645581707442163287324644452621675503433100285484029629599093699\
66604577643292380602701669901931728694028514203926466427949655192839\
84235847139506005078269006921254269629785523689877055003263330587687\
47752520435986851730926348522703852044974447280643703028389151338695\
24092030925291750031799086402525645867311867808288166807743758471359\
51902368229114356870181660315452059952493228853209147792095571712885\
18487872200104305608179731109200747149548018259296939144250019237445\
74728067435376671065798823529238020930594460622117011321621040362217\
95171007606780564122239602043572675219398261438465449443071315201265\
83316524942888881770501528859792251772257944027510392316827592751575\
06458500053001841400922570748500616093569038823514078280138281045593\
73739891365739861087373449783588207113317576493786841530023781489403\
28169424353058604114542999414168223305850744950010426660172745626686\
61075489665754487397420295416063250875720518325877581798135454176259\
57049139816439669014072801683876690661107851579136912256019287407162\
93064137068655196733997542150352259402006409647669874809242230440275\
68587912916753492707280163335634197979752873962179933470238416427137\
83289987394189446338814577421394240412122314696003960559621545369211\
73828180447866738414826261649905525368767518616954816847439121486388\
13491596321015107963655357660961481646048447892311433951063550579108\
15237661405098672892974230660596503400744563079133212811041373660378\
73545546778767829089308054598729688923930329149429937919053941024042\
00550838990704980422899620607723658030873062914864680100391033372050\
66035641588987507908587633005341137986808411815164277420759197685049\
65944806576684135776321765975575456369484011904822169834561127049766\
67519572936368267580853058748407152241001310941377422694256952053371\
97718600423903380527634739608023655568078902301294173305914042818838\
82871272989659711765108977982707032189076717433832324342987898954880\
62179298953638858275103542255618527121946594726328078613500444948427\
49192449373246055219102046038439799190815051680117572974916455532504\
65050760628320042604805034917349798080459477289466473477899740928063\
68149349047543064701796876168246282567994569419385781178569375647411\
16190506479326719303697627456606437941854782415760713215137449032424\
08333834962525222292943609703564825443379107818659977998159869688133\
46602183964933281756303508399126323629916925831677647043884961336310\
35239629168499908300058319016029338579979048491142427377618272182664\
73784432284911191834346547273359647483876372053289312164933086042984\
96555589117082956600624632154422506826013576815137462785384890834250\
41906397252092493889158693933826767822552133729554965120990333836105\
66483656365005073110572982924001732689058459091544509209778722451119\
98115656450753692006638894300514033992004765395105176367566634645322\
62300770845235940228915851532699153304786099808982049935185007065874\
86017814265360205887520333478623897682252761548938909483310256713732\
60840328646008982717036214225977221805396905559275336033992287078200\
70293506465357468383309744681040096864176544226066272861823044832536\
90705288541716285424001582939575520451855345767349462887039294028722\
06442634293552940317841552630864154555735050215705391842504072127533\
51594144184573518760816049361116116790383136640134834153131232642714\
60435098100035825509962366642987293769973079646238437104082738941246\
06710121937997262885362183337962360741121374673347733341226266086796\
26290034863147199096006665157974361213178667875905523353203909138992\
13221877753705611501426164541904610578132783134758666252031091412396\
31148515945870433365009207968973845670843270365157032757991124346732\
27656099152632290402388551357211333279677882707330285144843216500408\
08099863489108143738990672144981318245509279037973396383613506522750\
80160906902982217645970946301008171868646138689787915303076649030272\
67282846442064782093770839964357458479172903369130081378019837547482\
98838236633997650545465173714017024834989080567403285458617024119959\
35201568191280538363220604011018580650954772542829369708258701509769\
85595487444635070949645191930886579687433036940946636209063755852996\
21389743858157528037964148025102811302502687008616849000888452697138\
90940933802494510443296988483940517418467618863899961018731745441181\
16472074684355895391989511319629741460832733310291830516587366458482\
96937609122230174121926955838620646460893127423654970923319625509520\
88598256553470654966312982753809167810985352155054178181413059326831\
70107437949123953109499184507870012892834649420663337084899707333493\
95826815967336458924611234982715834094018076177089358752416148214616\
97847781496321707754437892292750439976482681640402446914299656077201\
98598567733854545718356126114715958772849103516460847150902657522723\
04050818479345763106744314162557870168599510241951510146647830192830\
32744313186567766694669325636560711282327227101909600302506885130867\
14273993033167965627089617412285600244412500037650613516743765662607\
36431722921338153634691702422604186512439730552017192767472193341354\
17936639714606614366675261418563128971886890445849163894400900253709\
09403171560261746466889206283044613212858525394028539103658220456777\
09300480563466440262671582256794880860238134368792243854199822159620\
62630132505943339369600654791829474451971811681187694434063509093282\
08460919393924421772826927997624846866045244275423433598538161019154\
74139711743421275665609750839728687380132101831693505285229754396161\
57703494161447981291052894277778513395320846122289485462299549797078\
29534774455181479290185907733453097518630174660764536103831278139546\
14261035193707770545792371358115189920994537157713918123242713290934\
18899674611043477004120366358226264701102949573676533719714823662603\
32474859191988108727040178060763482806763438207756609392006968916662\
06660110456542895852881324730966857071301575529652667093085604036397\
64516900795498736567067569274640894453697545685913456906534074971378\
76413669750333068037557991598306110217264551864198856991786462742513\
94601789160139566400067253912423901609658498672067043600442478280264\
24573928789756939636022257921289528805364470533096286019500236159017\
17822460690436743790729339495182182307019971363626191673825471336505\
54248859293184117917663023607328943140122961867504142155432088040512\
86163819936453720951735180974762428433435869968632309641016665178109\
17002378389800576985234387299758229009413579366876661065123955285482\
01826904513327848894697145654321016582937087620164400845880486919693\
30249993587028524464234371800442542978588632008261059762809825597633\
94866896892902592749186453699780630060431150725235847555391309802867\
39328515756275353077875671928196965884476267170469467656074355276851\
42802831507431727914744048170647929413786490313006778344558085059567\
42791217349157955116163474630186395161587450579344580853848402852657\
52487055361669935425300258033585335420530961744627804238611275520583\
47508512371094701756696764867173772279956667536493780093828463334712\
45877424815262105634100611024077530831149560545227632253365147223309\
54077150372974310183471923178640605639625026937621672495436940172940\
10354037362155731382166934676750088344085460416865117732544870778380\
82475499941326649783182191593077921105953118628791212508840669199599\
99457160236471636238561351160671401934297276891576183390671589158209\
86918985645428335967072672932676434701492749274875930197936149342981\
82986619185686144434187476651506988920017739594599365443488920185914\
50634583051060415500707172827314696521178354313879599694673652427174\
12653838009882071246710959942147340158528034574632401132934198708573\
96128769984753939950938827692689466420924445654905377557349531273951\
89244589073771000341043926206603094344877978009567956245808909932478\
59859096774291482937329049894533023776586704547148375290735683591932\
92381282512429616249837401761523560909652194747178143817836248503059\
34385848137651193037974362084324817308651171541759947171227219954568\
87045894709329764097728013830917714774102823922077442871950739163798\
64681612355209438538153611839471655239058035655708898778436202190455\
45834784001890899385152894386902896932922354764065958677941708361461\
48448145530364398462665213267575416795247215907530747098534954594367\
46004686793041654427260377176841418591821879209642654222854032844546\
81715696175254654759329647669382106633305237580458308846854167960442\
55228540395540430344874875233337649373284231344565677851469346405161\
38121912586007305301747190434049435865069719371559883678401912771027\
81269325727423344345763734006955656402712316874030578133828077078560\
19881832221017218039732108276917012443356904275230433776105544153551\
30354823200068114943136018618473526147509057704181953925924975401738\
97361479656017252642716999833264736167817934772543586158414721633248\
90512511344109074911236091575996409194099630984657648106580606762417\
48644481299149876242974941979111612358765969399721560090924401757247\
41371940057007578905720304098231333164196336306079570338735043063447\
78215211455871505784423956385697753334116735718976344572065109000275\
65921027836118291493588156495099617922189763230606077901202429871356\
45210289126058671646427158645406370852015648309016753197623120309109\
40011970847073867007298484810628746574627294248535645796766611859206\
36452330891866519906762184027107948417801482855379005673139592986054\
03955836115403082292799990412153821786517048839632543913249275573772\
72930449949709589531082641516869522961471056187847016609250733461476\
36372745396073912062918299354638357192461816504805956411142357364526\
00933196126471188358030923402909887204647388654788927988191869066222\
08670981774470364293623334301187287387016731105581051822054896541824\
85591756297127533525461853759220993459091363276005465243353327248101\
25718025038350233183474594086480921499080374620509613690947540445607\
29632890731214983139801969880560562973922232362423854963812672345694\
06562858002223690570267855830802198182606622996710585457101156248520\
81834180529547412441238052925029191007950764748321285478025535323172\
16936121528653221894492745741426841020014288690836998771529441380161\
30227324340898987860222806077452670379807413656069255614068473916641\
74723940166572489983231815100989948764312306904223945882131129344579\
53266688993584165245755227193546982558658403837021071760689330107949\
02684415937042610828684210252278937093965288572850570465576667613559\
25380489939474959685455912414686748100047289625798875782692776279904\
75694638260936549230676931639477469280534243780220931046092259341074\
82624815329766316452731438931136417840335529206662964554882489416131\
00855547905792022034678228252200477394959864830236923725458560197558\
69741869559869210707185221064794124899003729135227924372575546638435\
14575322425631529631075218272986749693331949706738460942345520891111\
88661949753784388499347693501550677520691575365204588562146401242583\
68419648880383118722223595265034197684763441130562432122427562559132\
89926714359099360256334643372499040029631018299324788616658760551449\
25856428072132582218359927377578368113602171034570518882878075538482\
95155346736332796930013700429134001312779418754130030705965195141717\
20519984877155801694572266092421071231144488286456824995806401861280\
68414952395242613527057732604528197601786127102153375354327330990677\
69340186987201842623310443756336426199710365920654377307086370219153\
63637533765930055037122988195349463101537583529510613701823037253686\
46019466945047007478289119969744005252787651237548858239656889991588\
40721214660978877825925810950416172721125521282034307140823604014445\
94553091696007588966716259627604344929054521045571334516107512309755\
57275199413035410455276616585824012510676115409932872774363336028931\
78756706121815637124618851117316838685876389968711019892137201241933\
91706285492155021490077777948196142637341232921274727141803214491287\
25037560644808014067916183144683806014879239573831564269599590238521\
00298546143345087907947095808474647281849918067929893978392521567921\
67005167706639584439567011862932157599152619476012205190229633336255\
83340190874684005807059731533084365260585117104268831676986418247493\
14295819054554606606949696135774120367848096358250291025485412971831\
55601811353321579504017491547436892788645558660438907791527539689875\
35472344187265234049953431425406141959823663759198591348360735554908\
25230234429573209097604947512467860716873908315531577938820526097642\
34184228413597039108007192040644506335504732550025393597318139385711\
10680857638495633750625002210805947200154606469039320916121235935106\
56285997721677452959965445745601038466961212038554355043304382065404\
74772791205637599536772026200951630688191519935673292731565338864784\
99828065462232284728726691504084524388546531253102694238675153971132\
70627822516440360098015454443849765438569810286801551432245557722205\
94267231092624234953890394784590886784208588564551413564995008882331\
39114075357673252010923379198816192315083602934033676570136121401210\
57551907560029387258587274694577329772992875441349856842491192659860\
19829826704108459185955333237467447008642305044416119303381151481932\
06708665397160157201157539914593012993603537958745777213270512734852\
50624392222722351803524424281707594498068505625946260531523456809668\
23411827920927557691555802498864665494709370786673303388420312648639\
90317609102476706368811231064930374286925740971907204592461168923070\
15899816425371738327370129394778446106784533043531282420577623759893\
52281252503789128802846937863952295010695721703752437582394717933240\
32442495530638249390823057470647204511858921113301189113494489566228\
32823790951159837282872115388899268461636001869452968368726982329749\
82994805097861053210718930714371203816635227359312604775416012670416\
69189446437839479324616851343984234381179973287695053773872391026256\
87218302206771274971541490492915521491566389659254800480933853831288\
33863189058552478934471534946630126888474015706765490861419149508874\
21231954560330869378483549942404671189767796744058723795949282678217\
79568438216336275114469624520258196021726696344880998051561411399487\
43856019822591698544689016714478663573680856119820536100910843943273\
05263397569146960279183262905727482249606080705377482516711127486293\
83873620783139626795086152506794154627659541099028372434562679519929\
45120366382520977780502781208328632507743914255919405000709415073898\
54947370022251592989190410860816681127334377072290054060734897058087\
95314942865703888122039809128031246135689212281835821320913933296517\
98406315028945609788481743880285462980629629484162958019134529176400\
02340854760911326268108247032543386930535282430735513589522667031981\
21719509995921452385049802467326077673916855503873418599129793285114\
64262700585350447842565555124045143742306806979616674234409093122895\
17114288889500702806264661646371395735332032280536304573899249877243\
26705248694208527477340723727877979232208884387566713743616961781327\
63165190389543907447215812404186882055215497503103048468584078699681\
57339624325151817023058806398567009492570294956004304964553836497110\
80380498445111464035246335938835872749545243978558827843144554113844\
66876710722292223188508631927816561187322056226799219376090804862592\
37979471536275776278047972454332966425333775144787471419130636458965\
54422486615807821086792935163900560016929842380992903182631272680294\
40188906041758135967316924359859524317029198421292655093741850683868\
12245017021443570972276170369973628821267509881713245086226315806779\
76696481082238882437056531582282308012472800209417665390488140895414\
98920779172339184670869207737781251492203347242321307688004810594252\
52280786870082973787120096904964259736475176918658985311115370882821\
22657121331746766849912792600032380165428119276504584590734535073218\
24889755506531061571608543665669819316286602780338581556356978459239\
80859286690919798264875607475617643867922553296668811568729433965467\
97982561720412279363201755678001933937248140707128993421704107532857\
56849656117570649465079380511869421100674946101648985180937285816939\
17540117020567469101177371790622705585317576813141540048372796955764\
59926015362965217089762510809101800184018730155185713417523113452178\
80914729609963758089973384298751850242089769321165125583550159844341\
27591745946289921080465830478592053395336367225703006527019375988394\
93814730353978740098802215620341743002491410758826029891048576782581\
62127576364861959210426306373844282878188789976938499833476311766419\
02531419077360015041196596434811436121736197465311904405006250461983\
20688879135062922781294190568559225128231266761446077657813628010702\
71486687278995527636726357976179498353398471277886819938974408745612\
13924884995431827045446377384999480978075642681805272165607040645883\
20451015569884761383435209331646283922288020320617761619696634728317\
58252566428091665973522087391096532109895616837797146033193552453051\
95717328712460737065955000171363035111626630639532770233707270602190\
50669594108711435203704359098893857242290556598241667984055468533152\
75712836012778015220707601414707220950851185363310288612785965087660\
25352019058454555710888885995841370461738777157115614664816404760348\
86104896765872995785982014542693995226163762481876396619659831821139\
16880838971534371390712489471653100437301385334280233346484639609745\
49289029610196211744776616444704216703077292852465313844139494895763\
12299301635838717016052657026958004258287633781446535375323999515221\
32632427493811759891416441931913857733065452212754744543567096752465\
41956983577290044427122313420320983782943077343161545594850557041286\
40767970599446003401634598494972465241692779085090831292673300019832\
83779767761275399783249427064492540985560570151664992684036860352259\
96546031993335694919996538770125021134630288325184706171490973919291\
38028885822017260391254251096800095571895710989564401238394007500412\
22701497531027711799601819017716525225167549653462094322834686510206\
48487452855557708863939276380110596196188370873311612244450368662541\
83434989615517756002411949801837704292606716432506560614169793927095\
40185828225061324000293535197175738117696739381913188547451761890783\
19709811833045180465858614690372936630684919709075329357024216763774\
51633660285636076307915033755286740200315032101133619306002312151704\
08140947643637846108588082548180402122674246361003228239877861476115\
00561636427793178458890519677255340429152870979521547902526709179601\
06847459178161098149222911785568906210977162939062287970231285346141\
05259231317634302562649772012673133398639633258521153421458536997830\
42716912793711873226499456502260437709196120999168696061941466281968\
46395276238179089313031867333692867229735634384473981629016214583128\
11840468443063232413984693558764165675107741760559785427357112839698\
41370608056001535009588176839766612868127552900602334399796295957472\
38801525873461781602283327667568237699837596613079906580704466542325\
46379897497155857213333210210628941556094036014772671845175926668447\
93345373176967483053444180429729680353480368261563777103496367932371\
15169305735834918650235435022202484800397268936007934442740523271846\
62829251165858610657394379701649052736020905994640393201685150621625\
26511740365106837216622490034865909939795081458899294943899207468997\
63107917200456882484366250926871916702905741224861996372898887144711\
86285184488525209345833186267591102187812160709330442367858652758745\
86468306943861929259286616248266836814957350460483328424884354675660\
15149373827512494320542347300250847434707361914258626253922832844753\
24913865000928855835922936403355683592933670576108246018656380600515\
66739210728871268108738844370639345470450084615651933572876313470349\
09286930486549318864755624499682406441121865091280289226729407034904\
85247666318051157876100707828289798690720391974522916403928209181791\
65116899826539169054203538948705166539942797714966937542768263735824\
66496735619956298133699056088279028475390277574813546213386633666650\
50456121008254698337649215223345815706778519523644159115505369967133\
84014679492552218601107499906113962761259675300532505265844300624782\
45526727040437924386588851532227947778141406387310520910294132333374\
79711610236956040629323131647834719227362303187361209098006231816185\
63353401707906951186336037032151818279057468752363164098413643592187\
06589234907738072367325021709696994118768016263567587851496366401528\
13297809301188718836039967973351701887191024363887167504326390347932\
88514193120590511012249090636171256531135259813417259234820484081013\
27794887481260831104056469424224187206957900037842544074695219365203\
21174964134984407708098015300898419143302152302382293586257181386941\
68635868063208240268899743310988361631973576760384702588155143795392\
23282853970777477691264696741103291616475861194367469376297853046451\
22679799829320565625394906196087006390828247873565168977069896142765\
77439163577162000999834031136794755696860049154578182935355734293398\
77766911523928874241433512975568026493191777330589456111749951477648\
81167841285595580580534214851302191383596611964930647858440944636653\
80475807355755134235249663172660712962653606020301479094081980110323\
74789882742297829839443985419540943507551950601244239860805416335163\
20678941252836958408756856900657520973514095820700951689913234420224\
63977381163098720770165387817906736317514487998820870866577603755871\
30165398626380828023357524878310386572321144878226784206853176536939\
10682670421601750124021951483045473233416628689528057075200147885834\
97986718090831659881829460366827013645710873629242187796279798847020\
78716410795860961789263624580723006215293551918270568834742330019104\
73281119199107051739042284090528191839299308986984914544825489944253\
68697073512397165416061056040896360522789240461485360736671281665871\
33436887734857397195676475072247814908775124811902590383602748245308\
62481313100877322302371888212933741399830719138315231058398632541711\
40952615358817427317001851677476179970502865976643837869292180567034\
83485798079105754662562083314321919328098856899804101696886636142710\
58064887995467818640930626206060183717914015010545604549441163820205\
57382459600565332029825217667755361676490365436786376573402822072524\
77415124538776346604752763889759842927942815276834789467734902904262\
80927378335311687136575227481931402894379748154430962546326414501583\
36875858208215055712094860459986825274187111559252531251713391522916\
45292424904035822425602247938334391252847024872393980665711036573486\
47643911804375714363947910206350427181544554525925460444874050019237\
67808019960199797334323402592166771574529126357444867082460824107931\
87801099942444267136606267948097988107777212911549156608971800319063\
17411657607408352517788521820971520974167851970802922160550586920695\
17464161779206318092047319463877727654474423149367856819491519397514\
69707746480114251385728271257172546182379513322168972175078245407734\
17179675542409936383003860149825251866673233117982600298904357109952\
32834272098168280375664446062732111819019171584513761104079762821664\
70012896998120915359161235840429811703506759838079850032135940750097\
93428575887344347378507584373864323374898682668526116797286362066192\
91975606630970812249631861025165926547767870381829717359806288133790\
69541968812194452431564857971340847835791665990004874844987913299615\
36251856352697839961281242443589284705099018600849639045659647479836\
37507625287372322628297857069267660496611559953680460480929769652394\
93430806743690704960753765925399679005198910381309457340591225406411\
27076138522501615602741871447816032499944975966780240066468947767420\
49596874132477795565234820358431017759218290326482093823268941407499\
24078302224614727082096364803133794581757061332802654453107994926267\
67714537385149061647992298426770786663013435565644538196495994114289\
02962472223871380035472698743074931742619779344514265268356697757490\
91162886743468307900928295428724220864783241352547261991159578596108\
99837428218462033214804805713510776821846144995417024057915728007406\
11625764223818452155582724761162838854659953723079330389552451965351\
39158366330308480257654619736028991575040219966441748840253418188266\
33562767481467630125232584499958768633025588067813275891410878332575\
02463269763817332142933107159434471794270266991364634055176837894824\
52087587966700101573389997401782677479969284999162504487459649546424\
09742109191971861938080359501807741074668697179423961056615138641244\
63926773152106101059788053812769456707271498905351656508350622308289\
58804809935865948354299035412105492468936145277118092114894183373253\
33563519125822236263354618049453903292036481399069698740485276831007\
68754363760829157041291976817754140347679603088753850810488411814624\
31134863747786727612427571186251036184641123910143269179989683132950\
73466063717925737455366003849968411892576566682684072867768931934139\
06424384991079004037485735082607674043047873168694568839861945100385\
34802481585350679336814992581570975471732644267076082486120998873928\
07088354194963300256152878515024500595837850448242948685212475719900\
77004103118119137054788695452599483642060868303420393779787934026173\
66739719936673099001409282943871899491378780312760588236850666779644\
80283469280736494397902025143395193426197537476116659201428065539808\
38945473352315024204191494835621100587639763854645947848540428008243\
33334877843651262208281677790441265390321708808657311662957642678371\
03011285952253046004048376976996069939185803070469107535556724475320\
12464402798474671637222468242734654859020190845702595990247045312757\
30418156533488767395525263716319190609268205964855721100086091961171\
74002446370233913781997703542627208761933211841747182573687872355828\
27818296197302254896625878899982479105812301187874831389174900058582\
39603062807677584987851411632717033849523908812227542832177177491914\
10733784974461136398568254191028253663223665425741338434774311536370\
49794522190394414974717144230540852201206274190871414993384368151679\
42283861264984677362759316022049771007999384724101946685609948382612\
67683410648897717639650508695910093700132892395259078711707376263885\
30173791494776636671841616229141773781831916157448112591357948569964\
70598343727788122713566472520543327787512483497419829955421124959086\
74858038980504575423702661243830669201961656679922111693125753592374\
43898654134382053840216617923672311679939856285107558946059100521831\
44418001600295504365929542585903531384931616490220900057333603346427\
72013103423125973234069427775002023501157769418480855095495866091954\
75001604471915796119062135254221079949061190800483688953471943529528\
93662105158275849863352954159747865821853983907634441295922391178945\
42839604078926783270946069170985837344988580139771073999796999110988\
40356456768384174673719874426103634196577570880964611066663346960161\
36542542427349044353621934881738910044471498312635405379614076220925\
13126922314357403195899262262005534263222708062281288776699671310641\
18185719542729574174865798045409069066212000070298417432866721859224\
66887801788222278108016466504996673217690338675550932194098134197151\
51258660687032533884386919305504494970015939046168167620369423423410\
76371589665263100477609052805353464322707419801545599513678612767416\
96048100787426653529300884046668262324922419657372141059213361195632\
36199748640794807872086890167624600351755969563598787308120713045586\
87619397556439431099966544365326170154516716860526001982778661071496\
26569451523510829734699430435882265985559989024328193367047596043366\
60319491845460900221628249317678064512549130968211428510322358959020\
38862267615710379203629256612355582269653664501852622766684659872210\
33720138016919380607050511881475542916471423433568337321788617962936\
75244346899469466876307208052290071003652269134165149089049067530457\
51006830264383844062631874523267501628785768553548450305641132403014\
84309269531856305521397572460171474718460506923937753716933787050598\
20737215686099176439798195730691782152709700811557976682708068259975\
54985650258536314928589401079621234526286102805608027281045247011868\
26068032581959098363003848449184907293129671436468758956541345079295\
60736531883989060005548359957278025499801493133601851314772933762640\
50679096999578011423023621483504099600024184787042196020937504043936\
20529721328647149707827822686120774670704631878749828495844946339449\
64787905430278850087645799195918347221313328320227601951790812748547\
82019191058311597923524697224005185544726601029090187275928275210264\
55084564538045217738190296985799243184454692150506867629449603516306\
52867596583115929502592864895303217206222140316390715625969264772981\
04091139826289989086108955978328601999206812917766579021350415754732\
22361445352114972422314250006050983994581728818033886253284022803796\
38837221015465899211069126303678116358034725607242027275195856644743\
69569569793977768422333244199779201640764944441757767193539880890162\
13833108066498489076236023491435318387152122043726859135457674914556\
65080632646040034844307210890731224983088783187778190864638007763617\
43404758604875069770906771316636320163939370753276692513612897369354\
81300503574365699971813534539930744188881425301088040459255462784477\
44336878703952682000799005521251407215019068702618966373891282958483\
62583990224877476112906828642904231040191273939127464120414320584544\
67516824897417167452194136766892586148153059036157851284847832742396\
69996229080365849571370408798383690742574549008691232520616201689308\
68200529683643679899214489096644322456253352215304922018635853803266\
73727612633759997653994441938924483823214886853811284721833613206548\
37140530375781259824879395526346139396549223583267957859765487841130\
36610497335363101459020447646079127514915592382937025448078399067143\
18027371835857042802004638360928483736768702189441065764989120903380\
96920625105097742596169676216186475308135011396189009050340692751623\
85524110045942108542763886604915012138602102021022904173423839080937\
68924670229241877453017064544799196378831189173719651481866855536299\
94350908262385652156221431923967531999776862373585499580584539719929\
91948226333638403437108787581965300416353165355697795896327746325797\
60149029978263910989098400934772402191099516494605237377430084118329\
21484401386306326647827216172680926230798389970090787675598916370471\
63562883551858981516824247567921520203827668325028949812513773515700\
58091464561610612513317777332584012568502188886601876042289446213347\
41780296435652708252515668502699304139561252194186634118948089661586\
39688717501448369845325825725732091696012918390586979764393666770623\
94686777903339761000266593307969396931765353768756942012207946607965\
52393992133678219402026532571445841191828475316813875901180520047910\
95127698632707415168123105493237111239696037062047620149747004088826\
90678126477696687901816737194658243792418704147645129339614698939667\
01573490744040536005354911766366006916054226961006975644097497059157\
93692671159463024733433592089677110342742160600701662688912022715052\
81151449298571737293551112533803410954667838821534135517349198514492\
65695290111461237856189066868367067656049745744198717182430941302791\
20559653714631218597037314691498113983367800617221906759999215803748\
57462229172549543244354981495282606433070038908044392816836129246645\
55962060255729244282386124808074240915288367494651398701877596031661\
44527979697250119973400804310417599895897356721055178232538361612603\
69119794301625418065980526369254488868174654256998096404848703661469\
39387659094082420193590160660630462113843178728661618731785428573111\
90022618954664298180560191865111386911814355200020769814903242068071\
23462266313701311698172075497341096198560514090046822965850478448661\
33855154383698071302209911180802383417220503459233843925744466531078\
38287929775532031222196985802279608852789727245736436138680267108581\
51485517236867120199381512479481484656807922681449536255184574671430\
05632533443507554518836133007042455429745945495882378310085060128904\
05664599588906260150132177445915982627831201919864632120970767062097\
01348780180952596417559003001950726287760112357000887017546980884339\
29058094465312634675977468480414108264114078746322949838240015325317\
08804855107394408219784359685649576243588212607446942489514888844426\
86531654428643556611399680733909726290682224315558723056005392550844\
70354393193451885117369336101067617761342569776532863563337881797227\
29844109546501312107539022650409522249571153136650550732853604730814\
88091159660767332268322376963740870269630857435247191428538691165069\
37867020661233810281239436474436645099325483141217050129281682230232\
20907481143381566272157193566709393793702196076918274377166746076230\
10972506891631808041745941395776312423591948932636662739470167584254\
98761912750223032619573520632384044154064024557791104846554107131580\
36682439591808876894981649547124012924890882446757374470905189031026\
70812422827203512106291178355575019258089470604088089937236329259252\
61974728527392041709624771061859801031446852667311308269597694476154\
82333045412944097446869238993059289744058335552136856322751571710933\
59039554319198809421650212862319750677791501004632631698797639528245\
19511947787410330814406107354713328275409314656859603126852415201807\
86765309024026175979900016048516129356351032301641242916382366181883\
15099422422630705306667355702224166939001337489072972714785365670636\
90135608040367733555051220120846514609885954249572431242181539412789\
21126794600991786130950109240452919502386714461778557461774019308303\
92069343362991515498107364295461390063959089096959048572071169269283\
39736582077014721383560929208532636896567631728681109169084500217022\
23506689212155617423277115756118694351897270973799253385895072703376\
52558671473852636076055220152483252758941185496742675863628542200977\
56945020948781519403302192648536333353539542148274621931466682693891\
67232209282762639856698781578404283204922013056307615452612959605914\
04018572579101269095038700746637443662445001762122124670875147501697\
30501441100627272274454124847254558375375895341566764005344028735314\
91001365149688817899372058019051321684017151611268228036633224325454\
37963194016457040031826074235153036020622384309086246856591464837401\
04472010825332147458090807369861617912110075107032496297062683417498\
68203659194750060287360712127194428579125589517863088246657414976708\
13531978912022625109569782698900724297823427809319819692198557385861\
32834652257893492561226576974730985148190265825042638329876937196673\
65779256403684130850100593052568360920248025022401898891775098833027\
82688839011547470599954022675051888340630476089439976896258862932152\
54788872838841448999659312065059524741109993693206804280813984945808\
77340537723786018575342930395199149522396616282064651157575549562051\
44196065360051805254532423390028149238807109801679484991698156703580\
90380651199067887437741430728107983623470607009423535407550626462666\
05320944488482644794101974427230420038265161708065042543851959876561\
88682043706360317410811848901630463526810608870862288452878785602070\
59898645898401774894477438986167088334193598674168039035050183689374\
86022160362635478002283507485971909716665594698559238731817666556550\
83572714028782561770740566248627935894614362576627495740015254905786\
68229912574559723454798395473480563018147828088989255913288261652481\
40518522142512401840793265060299261707629487620908317946130175392174\
89512913993234226259368972566106853129737020832179954686378500216308\
70170540875839421301720782558954461383664538803311508259377309062953\
63032066691979214793301213474374525409793341506833982852093877362211\
44356896749201885297135516887432975035248755409724646239598008043700\
83656477534502988407603499658761209034021789526877134850980628613953\
87939550745219468548364027758736687708180406322920578587368661451392\
35254872556034695863432176028494310509437036872089419167555860357537\
58768859141717993724454415983601431905816185637373269221952044331201\
20882731529793207357766741802042283767777908739563974171923709061823\
29673801861157687235072231006684248335290184290013026412471133575576\
59630499269771996791866720983446200892106674305597585161014329516714\
99086131764461105906122345816454697592164182633404037528837801142436\
14913639003859742181323123873534320187695519992766873285568345403810\
64193028838176607426330512754092584196442627503040282572502764920040\
64565038040047800531718959995980451830475994422912492829057359994295\
92527726626661058352104439510920257276192878212677279683386186910516\
91664974136659194729152609793801546514317965411713449606690341614527\
58686029477450206637252757603041438851953717583814551838881505286337\
72499050243378725141979183168351576492347471659768317240395761253502\
66242994829564908151898174441952067850178073977772241107497171871611\
98937661101176016585341823903192412112791056382317494864419689503186\
38957267570573805644703949389211369508702421693920052438776678190721\
97156506283768825193824150540480739490603590257600729975716966237050\
01827212737082869867524929910889622861658589343625004492599422548991\
46100902481305109515107661033798188135206576553436629305244937801896\
63304617928501017951158027709878950224736365237491662156920605452450\
43738834065392374816948790243124269638792566906576346215617836755365\
13088041993768784469316475229587561272334075636656068512777838228647\
89390970400194594538951338770257934547420595721743917622516550319935\
85204701811437080461250800972414489002077788580118052055045714864876\
96847252854973716193111753455438516485991011628949863447137297229388\
61953518656702797334494325599924943001033303060673630421352106341656\
88768641783837295169382166858272189425860673494113214478330892895408\
66460321954787815799416964674611957633224393639619688612794067630263\
21350139198126744141381539552504594527613468808572833276470019493360\
16006088569136345824515079258251924680642003926904060918579316099897\
41741680972446250274025192066358874374721384301135194101130741046646\
29264428131167056866820799281745941567895651438147046466645124503991\
26800087537494346685902186527414594975107871959496421582822845585309\
29717282919701919716736059599445737082584995998118438575153937606847\
51272965655328257526461242687530771069786486226369268872674918831896\
50048711445805644485438686894680496950322042287121320107694081517779\
64235326907698860686291104043933649360954201537867609104439303120632\
53328079587913652773794605085433204697228184654198950099089848852417\
69468389132595397743169131883024394547556261967211650468997409812821\
52905788258253022107769439949475777741093152059800435677176911045110\
05832332827096733604830535764330438330495653365114232449741796343044\
79294053211293322411870866843066541050004775852673866799465424317561\
66118497189578651265222284536344365727482490795522542148811281084498\
45358821335347917868975734318852210068712767611715741454387661236037\
65063353683767383603702806555263367688138719993293654777173264833908\
29337713241263277557184424024479131414455685494159308210742300040142\
06109868268339437064401199941198564694758669392783361547277655653642\
46093845054323187981009694230599370826455621110927437454130084788136\
02947785732156696358002067683838504454082078277265400061413287680587\
60999007063925585843172329353820273599739510589263132477510788903923\
18343820787374663217094636127517217523358714787783739864567421946863\
81918869896116632641134324992493342156153764155031133460937402383659\
24829674942433808098855907442734889168055148886805105333838909291681\
92381366591667692153041639205344835378928427667375657742682927685121\
23842634345120974314696716239781718551964988881446496375759214003791\
13093723478547493301048703816724465361566337863794133865392658208844\
83734830884152650916557562236194502769592740725831979275658286948363\
35945970838069898963517753133805216533241474988074376700989198029176\
29017959141141884387002894547246563379403178455408866849416437737004\
02196154080904500952720045616589545958865742651122991405629148958334\
49046039356407423659251526515026777215317440667414814457302348755013\
73752945685100990906974321375057226414774606116227993918602827281224\
76907457935497521734979868186114492934438316608985348285180930140560\
14986569794013160970744677453464983253130234046759637454202695269293\
21064120971573846510994974876016631027960813135681264210138486253544\
36135171918878611209900098115868119238144538355819240119254982760217\
81561722829476005760585166942928303190931411235550223885057314283806\
05962915840567641207027771786378358764622259230827976449837877531118\
38710729350969849813922298286815456137286360878026925264356940920945\
96069933460396479288073986639202799644497438072992781963338358891510\
69315336087583971723593462468714266968148427585496075724420098427241\
30602134161535179856394085114611157112430426395413309197146285577543\
37742896362792451095157185653312495275681280645998395307442082707663\
18450053149177278407785778988227214042042439500754235783318478260994\
48175727232058448535145736893667719050038185354031133696063833386435\
44599913537525595529702384683600844337764331793234704819490545579319\
15092022193687035885138580661609500087138443426544656409111768984568\
57985800271942247305434794113542690471219766272371638232803515654839\
99560102435156812430614908600082241416918069623687603672989245523668\
23058330503750537665225289488619646919524743082969179623434922704211\
43551873119050856216419757536525946808692655187461940975723266853079\
24745029052176346678099666640239634909725271884903946788675018688280\
79446213582815226148289545633614642756337152233446081645226774139170\
28449140716974615257474628896160973362412313974224370390210908062845\
98561680911703707352893969723222764250136266782273191787107936800530\
57147432709056667225204388344542556347815369610946383736874358157415\
08343814321770153661151677678406798551437408050122440351343845633892\
59681720549314299163148504885981801057986923715183369360297025234198\
84420318173168753785909725716665883152222857244528114911183609224258\
30547725103425800035885512815495026136787981368370713457889890244504\
51753635545496436684582416498645460136802246173216627311440370296608\
44768735639600502730822214984448204033650916462521722217121695456513\
19758530233757165351981847551376519493274826812491172893981312165528\
39718161684062289770457503742658984570689254086935073704891307560182\
14659910622293049539686837070915271847950851222427705856844569769213\
48793521420115770556996722791336336753428279630203330721023776908618\
97923289442145701890710042044663411301504356053626090106308719968869\
94195804458659228640605003594537505070887113421676759629946673730332\
00127460786863129492579668483566716351895769954853381039285253007469\
18317606070524562624347063966978265158040896998545991468320176343335\
00089192816369833864493638807432762228756586217220999019471988799096\
50106977891599995294170852493638663718522086415276747291305068698625\
09445514020833314777281075976166751591638454716555250432151090811186\
35857764957126331174987994131398362699727703596316298526470049072425\
97331117387504053317992777875618383024796768644814438451040891391718\
35432119764580565149177584599401580209817552619532598903209233699207\
59191477466506662423748324465713499620017209848662084432549953378492\
19203239802099200285774839118680524295407712880342904764906499867277\
36905546252048742426430030118199993549132098135118841339463907892357\
06406525806270031672428567015859181824543749662790195028054537162391\
72951529270662143417737571697943314985584597238010166421625970986381\
47062476160268522341770493877639877462009965943181055907078741357585\
15271389672653730751249127071882693211450653702838608889847982324328\
82263442312452697888938886491150560516788719923387749441052964315869\
21182782745884234983832342022816642621422998581476569894982322842615\
07833538471732584517533676060854578556092734727275317832248780155162\
53286527566644558964930980629033312972038430464519788905051735867372\
67693584201771555928498628831662467508911615563331331694374739673871\
39990049964051407283212337670100667202613303990214007550117391969485\
88854239501485140255804348566165747032563477587480089499072884864204\
43750127942263945380919423432357776764902455385534057229830003471023\
46820377362848276369184644258793690287892813536327784008363510657177\
10600298959310932377406523640627016903712036948185564491777211761070\
98502099368944791727468982374575849060000440748597764551318044469217\
52946390798701146607535253449585919722740634960760156338425634054106\
08599729360914491488277939848023409809744418411837491912914180843199\
09377739253328869731160271074864153629172477509240352780680254406918\
71534721480677346199238037658198544648140621684423359902202170463547\
76843871991734440885111257022116251826015917734637261653383805722396\
11483592564987810172997845301081037858004407065189658763749243521162\
80668843175365272122950205122521816126934847522936775100105116221750\
59291885332840115087512194131107832426131473321575776741505131108566\
59079014495733696756738427502581617894529420962010971109270723559681\
57795463298012177423121350467133852105659805749718744369093372850874\
06100978249878549945804844328751148765313609063999648428102679814942\
52135992858640042973081330744285108012457123791679703523800721955648\
55708859160421523012805559582674705996860229669156253782286848806289\
62022977655334364379623879216613944796790589297688804939244489075177\
01421785669901915405106423509629095101307176301234286016210471214619\
47620027628450457917304368484698883762028328405425044630819838898313\
76958285363590427719063674421180141952922621354719740114468263426848\
45177859817116216102494041411676005601592624223250372730046467370289\
07015088568150623616853873722059965887762548909393290094676812957557\
67172063449903515335438971621034427052463887638865749769073398294419\
65422235313987744924265646195382325675830254604919652043738620872843\
45562763109411474131301826900000662524616296194762789153567463972914\
58277515090898235138861328002461306042067126567591867625177258168896\
18897913804935799748271311270463240335840539151457361512049634485782\
99306158602089530556597720078677185638017419537306041715903729272946\
07864328104812615003740519017194158490539982355243289956076487866090\
64837695122070672255529640941334825587101310079081183898388829786036\
92060137081258480750299865869907324109389062328643256688277387377269\
80055632798823753121815563292832421361772187918567483624989098846239\
55942586326739578766499122597365727144888054238555768201160417434593\
13484431378490277012078181412104621696441697059340984560365015472409\
10577682719129095999461108196222828566946781826693064735722902661388\
24475306104468179246273709294963476899253706633605901771621864563154\
41053736049887383397025381359974825108655318347031107671254852956892\
21545005406090415569756519260649803143380841203409142557206107434942\
63835305576812606323510948290671294641032896079769168604659871708151\
73735543237877163960349213880284773104699946170737528953273355575654\
79089057611479884438608352081101771968193972375811009082942308479648\
26595304167301130350764252376009246794317183505069381891784213061169\
96212800403137084811251340502822912041675695666883627346419583171823\
15135926681509645043757218684418050894077885212515014819020422233918\
65123669503901207459600733305832038991696379615155482301870166421210\
20960665808441487346132715630602831404789971512231481200821407375906\
50401681247808285809509974861930717839956365319669062700073794460671\
10519164441534847529318927288950713700965004182715745019396756986799\
86230032550842490736503596225367349937785004510449568475801623930257\
24352404834673664598383785423611613612035283756720474216465600767998\
37208228899163359709217060484747178801944720834615042330241235245466\
85168776741232903225327830268543748608432341553808703710109007293461\
33221907442252918607005257842171670738476748583144234788383215787165\
80561874978394305568533284218009015590358702853652952709473336519793\
34937284438112733637032634732022551543985712624230295883534947063332\
17900591769973020088636847462669768741280910356653110017449046367380\
29358895953065004816859552893100624933870661268493125827631861508672\
30680495286370476138824942145971252843646990469418665823736696734491\
01866454858945359108569807306443748149100449157300587995593496051898\
60843514303683597524456294510941561385209594927639774262071863515719\
60322563463560807085327699914318799223445150298435882372606425298119\
44734947543450378892545837154897161674397919249935748400865610997190\
15233299404766821666228932838359076307418508496486622055445142128854\
06117768701352505911962678533310344854549195426272349543597976475189\
68296380920166740033481639057858427287373285336900784719975460859948\
55038586314397742016590431426709458265389829136419406099711353289660\
61129978813699074855662052624445776426377162545655920518459550950088\
22057857773346113693864461252164526616926025017578912424464690496306\
33415390332936834476219837803904856177527493467442910170773829297922\
05578094157231537517618097732385388520084155689690030971227036568443\
11639049285902413948716210193502154940509611168409163653608069969973\
52267945327056868532614001309220170990379875270367848288885804375722\
93471804805793982419749004090593614141571567072138861265855722082677\
26451250169479875013113566794147074099248381343154513137342235579962\
94436740964862159170183696066505093345906993516771951011230942472954\
23736445891325253129608378632686329502824505086138747718322984932602\
77027293796626984928256204287180454000254905694321974587600300818154\
83533262970633824739108908499741727130654808227099124008302113799689\
42639959725926026289820444399781681750784405650363069472890498270324\
47711169993910666107139255150693533893876684249808439877677459245983\
36434777465983825797425327626431204793754470614228124020803353113015\
86787120046550854820648634006620752082068873550407004430668592041747\
25307559089490878184276839215784139844584051325828298632882757456434\
56802226694560378100183757984657057869555283649636417251225941524465\
25254211566995764593460703367469362950614241671048028123913072311350\
68700419215257982654324160955535295181855338225219250057923034439449\
91564694157580525283857038919921123129324004363115477992286423522435\
87764576537203071551090904514442568392779394612906392828233048586106\
80766438716688382431739656239288154516559337532752383417518004825961\
46710876294078366234245054250054148163241414064317777952177625264149\
17507157020297179323366935646058044529436249078108472184404376270731\
51817493373085918378354036018219434288791585476243250251044049822578\
52036025288278651740680579289448804302753584500941644765070624537197\
47408650490730681385967599973178553630022195778620748223572288948967\
68889240147216591367560603830425165072799236483035721335848127345520\
16925138972511515300446970427474415830155518178717279665036292108515\
69520148238363839830931323184194559556471702167287571810913525472829\
11233195186505926536694509350447687904606319333508420557607998955818\
50590970371070252803777149096690634494458525049163666969447147061313\
56975782694259104860604715272373555632081551317960908552908753443694\
24764933265665676682350116299839536336730063798418024320110360175597\
30129117241402697928291461804947823791880882391922301349275672077815\
86127348890560612011244058767305605606102796017879627698711348868171\
95513984244194947112077287844499392365705116739233957092561958509400\
83291321533460762019793901500607167536007625437680760597454711979129\
76793312636563409579023405564814999728795718837361035286372683644330\
91215417599437397667341826597075993004932097263108598995832504669283\
82406153488425627156202948423296566607383422580305987379895193941838\
25599960113620456868296564940677134329405433025073149532757455004434\
46609182192052532894202436446201758364434908826604109906323355218187\
74005193613808572523329561515198002862119696381253983503447983732121\
28093604183935856502044989423978258695625881025337319276353692236829\
81688386138561603973284108311458255088559945874214524617961708624205\
49496712322724519220667230058629723453151348830829004230053440262537\
77268436421298845191413794120271054124397329411971086599680014074198\
33461453017582308248081951372472160373868228738741188990884339482764\
17913280674312685944305251990635033479679628249866291300939358821860\
80055611889662331023617878346280364948495918627895710215681901082648\
05361863319249172501780466406968445471763649754843696305923200955778\
06766217540966020929503260975282413747732246453711274711655747411766\
96708942078593676090163300361391766521965656462307148221876895039669\
85096440972795313373114687129223925089911211991508628136853758253580\
12221950103515985221462665278051962343176758865629364776963677317717\
38595570815568797295322770156739921193385027689288053248346557564433\
06596172133878034550186798965362776893383464741229377461339098593413\
24421526223901807306963029190165521663649762830490238538248286245694\
46444113542904875114882186384320987749244762059366503121382696165983\
82965246549174787354995189642083876187058474780298839498899773710389\
72027094114556553014297132334937106037743072351290409865223313298115\
45476073023850405190203676422351010776440477906684503031710575218760\
50654353656615047649249267841870643617549343135288645625620029422622\
15273189604278617945465210515673092504060437603168117677678069156562\
25123688370590912796893164002638424561570714156297240769661300769956\
22504249980685385256307588900199375938121673743710262133971571511377\
82656827999250812345622992200446623738643853272713273194412961489544\
64640297292770638115497330022203087139255589478579873750333822956834\
76014162411364876651754036450019332396361537145136275340449547153698\
28772528362624222063675484306445227124821133449521582511664197532962\
65339416096292798279837987280413826810678504633938128858767315732995\
33345745609276233483863177705194523943138199028785018262157073416822\
48370463043484375029847983590617624896753653195852228682529944180473\
63641204738005744206221500006206780239295999421987566970800663294405\
91698740230098180098400434667608571491427566751901044705248445302960\
17843111601145965405063247191497482356914771710556560829637286634523\
14794858480905932190793211171813650076953794700734490331927384105681\
01086686833152275554804659324514650940028188375477758521092751693339\
29038074748796065821480267824828925793820674259145381218869789446894\
10988166043168559404830472925098695467734410591171275646699730160023\
72832219633716191042453578529895860469617947008345431368831837644684\
93485152861356865434364563151266645327846568746339289983914902306125\
70556796982138492931427848424066106445625996596141006186754054687701\
89421928781482670580033512461126130896904923350867428114600682328918\
47099803559472531768601112131570258919424952419177443154941596095810\
45324495284452445193964635458341554339016231356720747919490742778003\
76477367275845380787579243287326758250599007714241115617033270325275\
62786525910554141554379718770189623066369826097279050142476570560934\
00770747552569818639060909238208365765079315986059790754616504139940\
20380978226185013599081226880099921439995196347659050280538598432609\
16662765041069185620803106422979278075711155104506723631441359328214\
71685541527712981143845670956113800071248885741265450658993293631992\
11962642168571932471968572214536562311312035372206692728448981246011\
92942288634282360729086569848685928753856427255219362422437569353043\
05300075920515205898018831627274376801503512186094426698756810883286\
54588954851979165591686287892085281232046783188737569945351160068244\
71302955747107242250443670782407685858374766003424984595007959553822\
64439777083527851831906444519080339765311615503109973192178381042750\
15401039454434888463370066461905592549095838180068447910281224631849\
32989892449102805060641086755126578837998042577004760059820786153246\
34751620761132096309242376662646081950970755813333559501686206583700\
74331342889117507845580665028501508147965048006882699838142215985931\
50709131772936838508950597733804847806498937459424846009006344417522\
58556656360907501963787610925451874068316739679030882951836803733637\
73475653917509755590510465132728230793529328138156460108552137052023\
69843241494385797735417119768503670113315538590287961841673136141414\
26602164699366912328318574313527377352318037660706415993231590629188\
08259941791195080464279664677119857876925435389459762032001295182890\
65128425770853465479936180163875020310940604395339611533793915342153\
04534313815737875154023126694145163819650435643909436756991325090484\
27146966628744176421213198479504201775053166153140454607778134569066\
25312232625052459895949485339490829097992630068960275528829647601273\
43411383958387031359448238277599818191405436471659105135574197075736\
51571733071371839468621494071450235543208803375948722094938186370707\
11168856044360881315486286424069846090023262684124985387472604084008\
01315071783125714920519689941890807315143872411133274009445918182500\
13496677302798888972393953109371939332500933459579125705300091499085\
87861281954999603795118417087815960253255972188914533648034857440772\
93385496751027341866636690066584540790150934199415238608523814147280\
33285000425551720141014413694936657387407117279023376777941360936392\
85159951619239759692704223174120849761152727185855257654562575210780\
94393760102637567087859647077289139365761124136532974725366019040239\
85855656292050176949315479504828758944950053690047570494426001987467\
77973534347404548437074755293196523642557812458708000615945160216063\
09561168404660259578318105019211393528133267110888143984133544857321\
74980381247831796718293836473543110828454621975959637473452472416346\
66519897167482926329219487362344204053227679023092391977889245716442\
65489558868908520430725254328155424666174485265323095854980741648557\
61080370969277924003400642649890161356438564440679068055209563645472\
60988941916024113460501072487452596870560851625807693321352089789772\
39527447111616024613026367001855860138330597777136717328181901497662\
31888905018848485054917431707094797561973545546005645971568933754954\
00696975243445995445844220301339283748749424498504046437532153969467\
69066055789729340920559133913068894749775292951048396687879644340676\
66380731587397748531851227789468360147693567382942026641537170555655\
53763344919729396586471044733763497637302861378672568997389819463839\
53141762052735271774189052134853538109812682947577023551512865197974\
51835761898307187714898593385935254857793632697534429726992858192625\
58475867942148501940862938053604185410259746226678664188523344063250\
37911922017653610197738203710828013767862903457285539504620645636254\
56111979264076423137922295748216351158680547495254408239898610854457\
87072612016820722458657282643659704311975700899092505085641078214102\
30727235398894270454513759981207127769467500386449832479664933937132\
47642234854369642177162397865692472949674983214900161830111636164328\
93577623193628097780746082072430217074360187338104637359988807426295\
20389876590378946705095848860589931278281941068448732493880794076204\
53063241839686340804901083636328993063836150416390685811693684441136\
69841444964920337114181148791378560562700919592841385990588177112030\
48472333383953207581671252633746296691080038382630161757391746737916\
70355615931079530811312974742270172932343196468403376682176274687581\
53366228090803585486470835800183935991429903855749154851212715642174\
05404377161034730725707770558603814956699212875372301663884947696913\
42249106977071772434374811451341705836629826670101462282755665689406\
50701595653263070547787839352738497500080744865993564044362662839263\
25747169791419675080527738881752739774232550504418360087433271881888\
24150240210371459106401077781317766819742373580000396064583721307651\
04739156661654899723455612283999056914067227694026926240452870057754\
42091722020495195031656523820810841308403236360183496591891311263421\
82716589741778182368446971607451130139384549456906829185391667673324\
82034420620522630065792966711105367689932515294362292951676884287448\
41023489303312470644467964970414517337708224813550517453285776661010\
70680495294071191198369622295650667206542294887955676129520045812724\
12593834675987506321020157338002103408150680534669885097454398774386\
26976279330502666207062768566033625499791244950921828165049107468106\
70672425268920069895451543937876047386353423401975947388599135298019\
39375952592874832188465383770238712054050094976289045902086515054860\
88518806980902787786061522403253192540122893334358318294884014250907\
33203101677448636753995361734550901362811083775664177465679503349401\
81017705497965777059607537249761545508020470068398613852025483199574\
83037654601717707841138814719874517051433134626316246607209453185774\
49386792558295267527412010628742620522116499772235041121470423259319\
48947974136628657313326652544246544271168058487005205990903141865735\
31067707913568946617390829568722766305625021688087121568126063415411\
07205553222204861109363159080683399034383845785337153791770328785427\
79261240493488847864496436697529854276544712801985897884332409892438\
36095553829569180666718295038004083223288533802892346631411608590630\
44298062108312835981574395604560281677606866476904626077063854346915\
20077492309436084828403921050005366361147694788973079493854508821087\
67363749236092957772405553736411558603763238765093435838190338019794\
37446352394726410723858320892592390793446226482248206164372575345016\
90706000630069294953521781761238748207813750062003385869857343425456\
76196407980226933277923619788077177704041578077283330739719690352502\
10591423345907590882874159349661021567446558413173822196452038268616\
64914367474956754046901636958660453409485953588941430171628893013354\
79117650182897796026403811426545664637038321024849409543031200599713\
28247717301577972140171027686333374533383919965262101392548766240427\
82712663238298632034347479814282092438953107987200339248975463777716\
77671084746343901943022993361735896419985285154558499712033600404722\
08584481353369504105857151502514654708819071626555383810524875150111\
323504882862103282888934387720189773483635033435620175872379584512
That's over 80,000 digits in length... wheeeee
Gusty
iain spewed up:
>Sophie Norman <sophie...@operamail.com> wrote in
>news:oprt1qr5...@news.blueyonder.co.uk:
>
>> Hey, any of you out there mathematicians? Does anyone know if there
>> is any special significance to the number 2^276709-1 other than it
>> being the probability of being rescued from asphyxiation by a passing
>> spaceship and the number of an islington party?
>
>My script book says it's 2^267709-1.
>
>> I was wondering if it had just been chosen at random or if it's a
>> prime or perfect or...? I'm an analysist myself so i could try n
>> check its properties, but being not a number theorist I'm not sure
>> what properties would be best to check for and in what order etc?
>
>It was the real telephone number of the flat where DNA was living when he
>wrote most of the first radio series. Any numerical significance is
>therefore most probably the fault of BT.
>
Damn and blast British Telecom, he said from force of habit.
Yep, the number was originally 01-226-7709 but I guess these days
would be 020-something-226-7709 if it still exists.
As Sophie's new we can probably let her off with getting one of the
fundamnetal numbers in Hitchiker wrong (but don't let it happen
again!)
Mind you, I'm not sure a mathematician who can't copy down numbers is
a particularly good idea.
--
D.
Life - Quite interesting in parts but no substitute for the real thing.
Anonymous
"Gusty" <generalmishmash...@btopenworld.com> wrote in message
news:ca0vjvkm3pq9jkuj1...@4ax.com...
Well, Sophie's just zis guy, you know?
--
Carole
sorry about the "anonymous"
----== Posted via Newsfeed.Com - Unlimited-Uncensored-Secure Usenet News==----
http://www.newsfeed.com The #1 Newsgroup Service in the World! >100,000 Newsgroups
---= 19 East/West-Coast Specialized Servers - Total Privacy via Encryption =---
Sophie Norman
> My script book says it's 2^267709-1.
>
Ah, i didn't check the radio script, i checked in the book where it most
deffinately says 2^276709-1, i only checked the book as it was closer to
hand...
But we all know there are many many many discrepincies between the radio n
the books
Sophie Norman
>
> It's certainly not prime since my sources don't indicate a -1 at all.
>
seventy-six thousand seven hundred and nine to one against"
Sophie Norman
>> It's certainly not prime since my sources don't indicate a -1 at all.
>>
> I was including the -1 by saying "two to the power of two hundred and
> seventy-six thousand seven hundred and nine to one against"
>
I';ve set my computer to check its primness (for those with a maths
background... don't you just HATE MAPLE), so far its been running for 3 hrs
n is still checking... reckon its gonna take a while
Sophie Norman
<sophie...@operamail.com> wrote:
>
>> My script book says it's 2^267709-1.
>>
>
> Ah, i didn't check the radio script, i checked in the book where it most
> deffinately says 2^276709-1, i only checked the book as it was closer to
> hand...
>
Ah, just checked in my other verson of the book n it has 2267... Bloody
Heinemann
Sophie Norman
> I';ve set my computer to check its primness (for those with a maths
> background... don't you just HATE MAPLE), so far its been running for 3
> hrs n is still checking... reckon its gonna take a while
>
Being very very very stupid... maple's never going to work out if prime or
not... far to many digits.
Dont Be Fuelish
>> My script book says it's 2^267709-1.
>>
>
>Ah, i didn't check the radio script, i checked in the book
>where it most deffinately says 2^276709-1, i only checked
>the book as it was closer to hand...
>
Now I'm wondering what the reason for changing the
order of the six and seven was. There must have been
a reason.....
Tian.greens.org
--
Last evening I saw the San Jose Giants get clobbered
by the Modesto A's at San Jose Municipal Stadium.
It seemed like every time the Giants got something
going the left people on base. The A's had better luck.
John Coxon
"Dont Be Fuelish" <dontbe...@aol.comGiant4A8> wrote in message
news:20030817145143...@mb-m06.aol.com...
> Sophie Norman wrote:
>
> >> My script book says it's 2^267709-1.
> >>
> >
> >Ah, i didn't check the radio script, i checked in the book
> >where it most deffinately says 2^276709-1, i only checked
> >the book as it was closer to hand...
> >
>
> Now I'm wondering what the reason for changing the
> order of the six and seven was. There must have been
> a reason.....
Read Sophie's last post. That'll give you even more to distract you from
life... ;)
--
John Coxon
Bachelor (n.): A man who never makes the same mistake once.
afdaniain, froodfest moderator (lackey #1), poster to other various forums
etc.
My site: http://alphacentauri.8k.com/ (UNDER CONSTRUCTION)
Missing footnotes: http://www.nut.house.cx/cgi-bin/nemwiki.pl?ISFN
Join froodfest (the HHGG RPG): http://groups.yahoo.com/group/froodfest
Anonymous
"Dont Be Fuelish" <dontbe...@aol.comGiant4A8> wrote in message
news:20030817145143...@mb-m06.aol.com...
>
> >> My script book says it's 2^267709-1.
> >>
> >
> >Ah, i didn't check the radio script, i checked in the book
> >where it most deffinately says 2^276709-1, i only checked
> >the book as it was closer to hand...
> >
>
> Now I'm wondering what the reason for changing the
> order of the six and seven was. There must have been
> a reason.....
>
7?
iain
news:10611506...@dynamite.advsys.co.uk:
>> Now I'm wondering what the reason for changing the
>> order of the six and seven was. There must have been
>> a reason.....
>>
> You mean...there might be some sort of Hitch-Hiker connection between
> 6 and 7?
6 and a quarter, perhaps?
Nemo -earth native-
> >
> > Now I'm wondering what the reason for changing the
> > order of the six and seven was. There must have been
> > a reason.....
> >
> You mean...there might be some sort of Hitch-Hiker connection between 6 and
> 7?
>
What do you get when you multiply...
no, far too obvious. ;)
Alex Watson
>> Hey, any of you out there mathematicians? Does anyone know if there is
>> any special significance to the number 2^276709-1 other than it being
>> the probability of being rescued from asphyxiation by a passing
>> spaceship and the number of an islington party?
>
> My script book says it's 2^267709-1.
Your script book is subversive and will be removed immediately.
(By the way, iain, I'm assuming you didn't get my postcard? I guess it
was because I left UK off all of them.)
--
Alex Watson
http://www.zen24203.zen.co.uk/
Emails to alexwatson at froup dot com, not deadspam.
Nemo -earth native-
>
> Being very very very stupid... maple's never going to work out if prime or
> not... far to many digits.
I still don't see the point.
We know that 2^267709 isn't prime. That's easily shown.
"2^267709 to one against" is "a chance of 1 in 2^267709", surely, and
not "2^267709 minus one", which merely results in a number, not a
measure of probability.
Screwtape
>Mind you, I'm not sure a mathematician who can't copy down numbers is
>a particularly good idea.
But think of all the interesting and novel discoveries they might make!
--
___________ ___________________________________
| Screwtape | http://livejournal.com/~thristian |______ _____ ___ __ _ _ _ _
|
| Ipey nwirkin forpa fesser Lauder, a nair wiker nony talk Strine.
|
Kaare Fiedler Christiansen
> On Sun, Aug 17, 2003 at 03:40:08PM +0100, Sophie Norman did utter:
>>
>> Being very very very stupid... maple's never going to work out if prime or
>> not... far to many digits.
>
> I still don't see the point.
>
> We know that 2^267709 isn't prime. That's easily shown.
>
> "2^267709 to one against" is "a chance of 1 in 2^267709", surely, and
> not "2^267709 minus one", which merely results in a number, not a
> measure of probability.
No, but it does mean the chance of not getting rescued is in fact
2^267709 to 2^267709-1.
Best
Kåre
--
Kaare Fiedler Christiansen fie...@daimi.au.dk
2b|~2b == -1
Kaare Fiedler Christiansen
> Mind you, I'm not sure a mathematician who can't copy down numbers is
> a particularly good idea.
Bah. Real mathematicians don't use numbers. They use Greek letters
instead.
Gusty
>m_init(): spawning followupTo('Gusty')...done.
>>Mind you, I'm not sure a mathematician who can't copy down numbers is
>>a particularly good idea.
>
>But think of all the interesting and novel discoveries they might make!
You mean like 2 + 2 = 5.76269619649914070740 ?
Gusty
>Gusty <generalmishmash...@btopenworld.com> writes:
>
>> Mind you, I'm not sure a mathematician who can't copy down numbers is
>> a particularly good idea.
>
>Bah. Real mathematicians don't use numbers. They use Greek letters
>instead.
>
Ah, now we're trying to get the british telephone system to recognise
Greek letters. That /will/ be interesting.
Kaare Fiedler Christiansen
> Five wild Event Maelstroms swirled in vicious storms of unreason and
> Screwtape spewed up:
>
>>m_init(): spawning followupTo('Gusty')...done.
>>>Mind you, I'm not sure a mathematician who can't copy down numbers is
>>>a particularly good idea.
>>
>>But think of all the interesting and novel discoveries they might make!
>
> You mean like 2 + 2 = 5.76269619649914070740 ?
You have to be a real bad... welll... a real bad anything much... to
copy down 4 as 5.76269619649914070740.
Dont Be Fuelish
>"Dont Be Fuelish" <dontbe...@aol.comGiant4A8> wrote
>> Sophie Norman wrote:
>>
>> >> My script book says it's 2^267709-1.
>> >>
>> >
>> >Ah, i didn't check the radio script, i checked in the book
>> >where it most deffinately says 2^276709-1, i only checked
>> >the book as it was closer to hand...
>> >
>>
>> Now I'm wondering what the reason for changing the
>> order of the six and seven was. There must have been
>> a reason.....
>>
>You mean...there might be some sort of Hitch-Hiker
>connection between 6 and 7?
(thinking real hard) Well, if you add four and two you get
six. What that has to do with seven I'm not sure. However,
both six and seven are part of "many", as is the large
number they were used as digits in the exponent of that
we were discussing.
iain
news:pan.2003.08.18.01....@deadspam.com:
> On Sun, 17 Aug 2003 14:01:30 +0100, iain wrote:
>
>>> Hey, any of you out there mathematicians? Does anyone know if there
is
>>> any special significance to the number 2^276709-1 other than it being
>>> the probability of being rescued from asphyxiation by a passing
>>> spaceship and the number of an islington party?
>>
>> My script book says it's 2^267709-1.
>
> Your script book is subversive and will be removed immediately.
>
> (By the way, iain, I'm assuming you didn't get my postcard? I guess it
> was because I left UK off all of them.)
It came this morning, thanks.
You also missed off the last letter of the postcode, so it just goes to
show that the postal system isn't entirely hopeless. Except from the point
of view of me saying "Alex says 'Hi', he's on holiday in Majorca" to the
froup, since you're not anymore . . .
Nemo -earth native-
> Ah, just checked in my other verson of the book n it has 2267... Bloody
> Heinemann
Both my omnibus editions have 2^276... neither are Heinemann, I'm sure.
I don't know if they're US or UK editions of the story though. (I think
it's one of each actually). All my paperbacks, hardcovers, and even
comic book versions agree with 2^267...
The only reason for the change I can think of is to make it consistent
with Trillian's later statement of 2^270000, possibly much higher
Alex Watson
>>> My script book says it's 2^267709-1.
>>
>> Your script book is subversive and will be removed immediately.
>>
>> (By the way, iain, I'm assuming you didn't get my postcard? I guess it
>> was because I left UK off all of them.)
>
> It came this morning, thanks.
>
> You also missed off the last letter of the postcode, so it just goes to
> show that the postal system isn't entirely hopeless. Except from the
> point of view of me saying "Alex says 'Hi', he's on holiday in Majorca"
> to the froup, since you're not anymore . . .
Sounds like you can't get anymore useless than that!
(Well, except by it never arriving ever.)
Alex Watson
>> >Ah, i didn't check the radio script, i checked in the book where it
>> >most deffinately says 2^276709-1, i only checked the book as it was
>> >closer to hand...
>> >
>> >
>> Now I'm wondering what the reason for changing the order of the six and
>> seven was. There must have been a reason.....
>>
> You mean...there might be some sort of Hitch-Hiker connection between 6
> and 7?
Both are represented by a suffusion of yellow on the I Ching calculator.
Kegs
> Five wild Event Maelstroms swirled in vicious storms of unreason and
> Kaare Fiedler Christiansen spewed up:
>
> >Gusty <generalmishmash...@btopenworld.com> writes:
> >
> >> Mind you, I'm not sure a mathematician who can't copy down numbers is
> >> a particularly good idea.
> >
> >Bah. Real mathematicians don't use numbers. They use Greek letters
> >instead.
> >
>
> Ah, now we're trying to get the british telephone system to recognise
> Greek letters. That /will/ be interesting.
Well its not too tricky, all you need to do is get to recognise the
greek letter x, where x is the phone number of the person the caller
is thinking of at that time.[1]
All you'd need is a telepathic heuristic search algorithm, a database
of all the phone numbers in existence, and a phone with a single
button with x printed on it. It'd lower the IQ needed to use a phone
dramatically.
[1] DWIM interface design at its best ;)
--
James jamesk[at]beeb[dot]net
For 20 dollars, I'll give you a good tagline next time ...
Jan van den Broek
Nemo -earth native- <afda...@nemo.house.cx> schrieb:
[Massive schnipp]
Next time, would you please be so kind to put 2^267709-1 on a site, and
just post an URL here.
--
Jan van den Broek
balg...@xs4all.nl
Frisbeeterianism: n. The belief that when one dies, one's soul gets
stuck on the roof.
Jan van den Broek
Sophie Norman <sophie...@operamail.com> schrieb:
You should have checked if 267709 is prime first; $2^p-1$ is only a prime
if p is a prime, 267709 isn't.
Sophie Norman
>
> You should have checked if 267709 is prime first; $2^p-1$ is only a prime
> if p is a prime, 267709 isn't.
Do'h and I knew that as well
Zach Bean
(metaphorically speaking, of course):
>> You should have checked if 267709 is prime first; $2^p-1$ is only a prime
>> if p is a prime, 267709 isn't.
>
> Do'h and I knew that as well
I didn't, but I find it very interesting.
Zach
Dont Be Fuelish
>Sophie Norman scribbled
>(metaphorically speaking, of course):
>
>>> You should have checked if 267709 is prime first; $2^p-
>>> 1$ is only a prime if p is a prime, 267709 isn't.
>>
>> Do'h and I knew that as well
>
>I didn't, but I find it very interesting.
I knew that 9, 64, and 81 were perfect squares because I had
a mathematician explain to me how fortunate I was to have
a phone number comprised entirely of perfect squares. They
are the perfect squares in my phone number. Until then,
perfect squares seemed like a perfectly square thing to know
about. Since then perfect squares and prime numbers have
seemed more like normal conversation topics.
Tian.greens.org
--
Yesterday afternoon a grape escaped while I was eating
its brothers. The thing captured a dust salamander
before rolling to a stop under the dishwasher. I was
impressed by the nerve of the thing. Can you imagine?
Till Westermayer
>It came this morning, thanks.
>You also missed off the last letter of the postcode, so it just
>goes to show that the postal system isn't entirely hopeless.
>Except from the point of view of me saying "Alex says 'Hi', he's
>on holiday in Majorca" to the froup, since you're not anymore . .
>.
Where's that, Majorca, I mean? Same as that Spanish tourist island
Mallorca?
till (the next time)
--
"I've found two new usages for towels.
1) Hang it over your window, so it keeps the sun from making it
impossible to see your monitor while reading your froup. ..."
Nikitta from afda
Ian
"Till Westermayer" <ti...@tillwe.de> wrote in message
news:8sEC2...@westermayer-74391.user.cis.dfn.de...
> [18 Aug 03: iain (af...@imb.clara.net) wrote something]
>
> >It came this morning, thanks.
>
> >You also missed off the last letter of the postcode, so it just
> >goes to show that the postal system isn't entirely hopeless.
> >Except from the point of view of me saying "Alex says 'Hi', he's
> >on holiday in Majorca" to the froup, since you're not anymore . .
> >.
>
> Where's that, Majorca, I mean? Same as that Spanish tourist island
> Mallorca?
It depends where you're coming from.
Ian
Jan van den Broek
Sophie Norman <sophie...@operamail.com> schrieb:
>
>>
>> You should have checked if 267709 is prime first; $2^p-1$ is only a prime
>> if p is a prime, 267709 isn't.
>
>Do'h and I knew that as well
I may be somewhat confused, but I thought you wrote that your machine needed
more than three hours to determine if 2^267709-1 was prime. Checking
267709 first would reduce that time considerably.
--
Jan van den Broek balg...@xs4all.nl
"It's guys like Jan who give us weird people a bad name."
"Sid" <s...@siddhartha.8m.com> in alt.fan.douglas-adams
Sophie Norman
>>
>> Do'h and I knew that as well
>
> I may be somewhat confused, but I thought you wrote that your machine
> needed
> more than three hours to determine if 2^267709-1 was prime. Checking
> 267709 first would reduce that time considerably.
When I said "Do'h and I knew that as well" I meant that I knew that you
could test for primeness in this mannor but hadn't remembered when I was
running maple
Sid
Hi Jan,
Small sig update. The email address s...@siddhartha.8m.com is no longer
valid due to monetary demands by the freeservers.com people.
Sid
--
"Success is counted sweetest / By those who ne'er succeed"
- Emily Dickinson
sid at nerte dot net
http://www.nerte.net
Jan van den Broek
Sid <no...@hotmail.com> schrieb:
>Jan van den Broek <fort...@xs4all.nl> writes:
>> "It's guys like Jan who give us weird people a bad name."
>> "Sid" <s...@siddhartha.8m.com> in alt.fan.douglas-adams
>
>Hi Jan,
>
>Small sig update. The email address s...@siddhartha.8m.com is no longer
>valid due to monetary demands by the freeservers.com people.
And all the spammers are now sending their wonderfull offers to a
non-existing address, it must be a though job, being a spammer.
david_s...@hotmail.com
> Hey, any of you out there mathematicians? Does anyone know if there is any
> special significance to the number 2^276709-1 other than it being the
> probability of being rescued from asphyxiation by a passing spaceship and
> the number of an islington party?
>
> perfect or...? I'm an analysist myself so i could try n check its
> properties, but being not a number theorist I'm not sure what properties
> would be best to check for and in what order etc?
>
>
> Soph
>
> *Hanging her head in shame after admitting to the world that she is a
> mathematician... oh the humanity*
I checked the first H2G2 book. On p.63, the number given is 2^267709 to 1 against. However, on p.80, the number given is 2^276709 to 1 against.
I think this is just a mistake: some kind of typo or continuity error.
If you write (2^267709) - 1, this is a Mersenne number, but as someone pointed out, it's not prime, because the exponent is not prime. In fact:
267709 = 13 * 20593
and
276709 = 17 * 41 * 397
So neither of the Mersenne numbers is prime. Perhaps Adams was more influenced by the telephone number of his flat? However, he did have an interest in maths and science, and he may well have been aware of the Mersenne primes. Assuming, he wrote the first radio series in 1978, he may have been aware that a Mersenne prime had been discovered in 1971, namely:
2^19937 - 1
It was discovered by Bryant Tuckerman. Perhaps Adams noticed a superficial resemblance to betting odds: 2 to the 19937 to 1 against.
Any thoughts on this?
Nemo Thorx
> On Sunday, 17 August 2003 12:13:07 UTC+1, Sophie Norman wrote:
> > Hey, any of you out there mathematicians? Does anyone know if there is any
> > special significance to the number 2^276709-1 other than it being the
> > probability of being rescued from asphyxiation by a passing spaceship and
> > the number of an islington party?
> >
> > I was wondering if it had just been chosen at random or if it's a prime or
> > perfect or...? I'm an analysist myself so i could try n check its
> > properties, but being not a number theorist I'm not sure what properties
> > would be best to check for and in what order etc?
> >
> >
> > Soph
> >
> > *Hanging her head in shame after admitting to the world that she is a
> > mathematician... oh the humanity*
>
> I checked the first H2G2 book. On p.63, the number given is 2^267709 to 1 against. However, on p.80, the number given is 2^276709 to 1 against.
>
> I think this is just a mistake: some kind of typo or continuity error.
The first reference in full:
>> The Hitch Hiker's Guide to the Galaxy says that if you hold a lungful
>> of air you can survive in the total vacuum of space for about thirty
>> seconds. However it goes on to say that what with space being the
>> mind boggling size it is the chances of getting picked up by another
>> ship within those thirty seconds are two to the power of two hundred
>> and sixty-seven thousand seven hundred and nine to one against
...which is quoting The Guide (and besides, In cases of major
discrepancy it's always reality that's got it wrong)
>> "Please do not be alarmed," it said, "by anything you see or hear
>> around you. You are bound to feel some initial ill effects as you
>> have been rescued from certain death at an improbability level of two
>> to the power of two hundred and seventy-six thousand to one against
>> - possibly much higher.
...which is Trillian referring to information from the ships
instruments. A ship designed to navigate improbability and likely to be
much more accurate about these things than The Guide. (besides, due to
the quasi-reciprocal and circular nature of Improbability calculations,
Douglas Adams' plotting, and fandom rationalisation and reconning,
pretty much any number could be used and it would be able to be made to
make sense! ;)
[snip]
> So neither of the Mersenne numbers is prime. Perhaps Adams was more
> influenced by the telephone number of his flat? However, he did have
> an interest in maths and science, and he may well have been aware of
> the Mersenne primes. Assuming, he wrote the first radio series in
> 1978, he may have been aware that a Mersenne prime had been discovered
> in 1971, namely:
> Any thoughts on this?
I think you're giving too much credit to Douglas' maths and science
awareness in 1978. I'm pretty sure that by his own admission he was
almost a luddite at that point (Marvin and Eddie were written as cynical
satire of computers/robots, not as predictions), and his love and joy of
science (and computers) developed a few years later.
It can be fun to find meanings and significance in the numbers. But
I think it's a mistake to attribute them to anything but chance :)
.../Nemo
--
----------------------------------------- -----------------------------
earth native
Marvin
> Quoting from 22 Apr (a Monday in 2019) at 0848 hours...
Thank you for your reply. However, I would like to point out that Adams had=
an interest in General Science from an early age. He wished he could have =
carried out studying Science at A Level. He was from a family of medical do=
ctors. Slarti describes himself as "a great fan of science" and this could =
also be said of Adams, who may have based this aspect of Slarti's personali=
ty on himself. However, Adams was strongly opposed to computers and this is=
where his Luddism is most strongly manifest in his early books. Yet he had=
nothing against General Science, and may well have been aware of probabili=
ty theory and Mersenne number.
Kind regards,
DS
Professor Urban Chronotis
> On Wednesday, 29 May 2019 08:42:05 UTC+1, Nemo Thorx wrote:
>> Quoting from 22 Apr (a Monday in 2019) at 0848 hours...
>> >
>> > On Sunday, 17 August 2003 12:13:07 UTC+1, Sophie Norman wrote:
>> > > Hey, any of you out there mathematicians? Does anyone know if there is any
>> > > special significance to the number 2^276709-1 other than it being the
>> > > probability of being rescued from asphyxiation by a passing spaceship and
>> > > the number of an islington party?
>> > >
>> > > I was wondering if it had just been chosen at random or if it's a prime or
>> > > perfect or...? I'm an analysist myself so i could try n check its
>> > > properties, but being not a number theorist I'm not sure what properties
>> > > would be best to check for and in what order etc?
>> > >
>> > >
>> > > Soph
>> > >
>> > > *Hanging her head in shame after admitting to the world that she is a
>> > > mathematician... oh the humanity*
>> >
>> > I checked the first H2G2 book. On p.63, the number given is
>> > 2^267709 to 1 against. However, on p.80, the number given is
>> > 2^276709 to 1 against.
>> >
>>
>> I think you're giving too much credit to Douglas' maths and science
>> awareness in 1978. I'm pretty sure that by his own admission he was
>> almost a luddite at that point (Marvin and Eddie were written as cynical
>> satire of computers/robots, not as predictions), and his love and joy of
>> science (and computers) developed a few years later.
>>
>> It can be fun to find meanings and significance in the numbers. But
>> I think it's a mistake to attribute them to anything but chance :)
>>
>> .../Nemo
>>
>>
>> --
>> ----------------------------------------- -----------------------------
>> earth native
>
> Dear Nemo,
>
> Thank you for your reply. However, I would like to point out that Adams had=
> an interest in General Science from an early age. He wished he could have =
> carried out studying Science at A Level. He was from a family of medical do=
> ctors. Slarti describes himself as "a great fan of science" and this could =
> also be said of Adams, who may have based this aspect of Slarti's personali=
> ty on himself. However, Adams was strongly opposed to computers and this is=
> where his Luddism is most strongly manifest in his early books. Yet he had=
> nothing against General Science, and may well have been aware of probabili=
> ty theory and Mersenne number.
>
> Kind regards,
>
> DS
anyone elaborate?
Nemo Thorx
> Dear Nemo,
>
> Thank you for your reply. However, I would like to point out that
> he could have carried out studying Science at A Level. He was from
> a family of medical doctors. Slarti describes himself as "a great fan
> of science" and this could also be said of Adams, who may have based
> this aspect of Slarti's personality on himself. However, Adams was
> strongly opposed to computers and this is where his Luddism is most
> strongly manifest in his early books. Yet he had nothing against
> General Science, and may well have been aware of probability theory
> and Mersenne number.
Ah yes, good point. I had conflated science and computers, and he
clearly understood probability and numbers sufficiently to be making
jokes about it and using powers of 2 to represent big numbers.
Nonetheless I don't suspect there was any deeper thought to this than to
the infamous 42. Phone number (or something similar, since there are two
given in the text!) suits, so why not use it :D