all the known happy fibonacci primes (heretofore known as "nice numbers")

8/6/2019 All the known happy Fibonacci primes (heretofore known as "nice numbers")

1/83

In[3]:= SumSquareDigitsx_ :

Catcht x ;sum 0;

Whilet 0,sum Mod

t, 10

^ 2;

t Quotientt, 10

Throwsum

In[52]:= HappyTestx_Integer :Catchs x;

Whiles 1, s SumSquareDigitss; Ifs 4, ThrowFalseThrowTrue

In[78]:= Dob Fibonaccia; IfHappyTestb, Print

ToStringb " is Fibonacci number " ToStringa ", prime and happy.\n",a, 3, 4, 5, 7, 11, 13, 17, 23, 29, 43, 47, 83, 131, 137, 359, 431, 433, 449,

509, 569, 571, 2971, 4723, 5387, 9311, 9677, 14431, 25561, 30757,

35999, 37 511, 50833, 81 839, 104 911, 130021, 148091, 201 107, 397 379,

433 781, 590 041, 593 689, 604711, 931517, 1 049 897, 1 285 607, 1 636 007

13 is Fibonacci number 7, prime and happy .


475420437734698220747368027166749382927701417016557193662268716376935476241

is Fibonacci number 359, prime and happy .

1387277127804783827114186103186246392258450358171783690079918032136025225954602593712568353


105979992653014907325996436715050034125158604354094219325600096801429743471954831402932543961-


366844743160809780614736136462756304511005869011952298152702428684177680611935608579043350178-

79540515228143777781065869 is Fibonacci number 569, prime and happy.

992147761407189451907256050749721664277173777060785380753831740025101229437073448346427970976-

789911476635740521524153093245874824758383686603863425494453899047766184320724429976045253-

771310416947600376704495790066305053640741700395078191463683945345945166515473212212803762-

946747205488555211804543282881477919646269869373920032880680688691709828958140569090257177-

674136744768707323355321549416484854810182631556323970002295411183888356987484002347729045-

197520281180467010714946817341622816112634055176114141063832909517864764224344973822922951-

602477183256715259700538962062427269309399221750715094535881879691695596602573616659834091-

217636595349510890454791192170232511512182091421687406332807932032189339752678789242337870-

Printed by Mathematica for Students


2/83

629991370398380287145523839113253679291096599453369327533966664783420968431734374555854945-

724379186397892901756555511828150051368096027583676842284196126533365550019160307339454603-

828977048984790407160201030504755766563468795475331416499140120695365225632474475346265254-

898924292898413556006941294289753966003876521246649538080875998995418418238976092674358215-

372623519831758710217463911014110687854632787011629497199934964840786332474060780434020895-

811300773588743694671289358312906956189427691106158763044528142449956628346476245730487423-

846536896899776602737871744981155112644066533104845022674748083097426198649370954510962408-

819761527673075376607241910487901286829903599275653389222125649963276030016331024240877563-

025642524153915016627051926073781266952028581857218588334985448709100632429546490029063218-

901081305191897682360924939105631129447610440430556947599027293106152479111817109156751554-

026446749939586402463627460873048098278558388063650783835023472732389529578337564093371431-

323509465609767187635138742032152715657670616332976181874676459594051083994991926977097605-

307549610136622553724899402525215042022010781363966462394535964095795799936795514730635542-

101949865220718284916589807345856121921737024163649606591377789865211040394682493419410166-

806779130936346922715397290486766997147775719905600505151793457569944953919608335302843503-

291751326570603074972593170873515391698374094958246787816632983896982643487898240243237954-

825226222988795866189586441800282480730453453544084955192224157985554028862721490565257991-

334654795077302509119529394858756679360813452383525191518984205245589420447963204022984828-569770967573436412969968755327560319149264847831313701044588098091250139121331570578833889-

845714000330144336890489895681355190366287014118095468815086608265960204011349505579683521-

966554093190503693186107475865140879491559773139229667858273094482586533074988338767103204-

219967509554242675694910584432659832039336504694237225152044315867286942860779106453691037-

123176387837321745308910935518927285667107769393875781466132523879132470529774162785205523-

165185658042664375472089048804408233240423195198525816966142068664238546415208261202651125-

519052755997203148913834403132302823734532764264272620619326668826117960697751480894762696-

034314157135797682286368008145032008306563257455666305980212163019068209502631531843500720-

871348225524195433379056761457046923391523034732876357799512252641405731675576494583925443-

887532533862131529615872803544861454760363421419815435959683574736211350483342042532174164-

558496098733714499397729573716816728713477135088684652526207948280095027996182884401289435-

553345912215208976474846176453439939791181227327669166102368631244309692439085329406833628-

442169161800473263142330077849898393161613551938162594496367171308701829765038587546131849-

444481519023299707832973305301425996136478658629555540949879295623670028916276110418458993-

822357270957569423582140481362342451500949970665085162589569229908976553218787477861556756-

414832851455797114561672513166589860812021257002668965766030690716935809801547445828638499-

092050000652982776810972423916278122338592380148322920863998318131525861440115550627977279-

401908405862415084224236097691994725683610251989921457639261635418561752439247291237786596-

596534287577241648700467966193782512753213053552759983252186458522364555709311792141623435-

979735489076461027869923967920693408814290272716649102853660246090302050788056095104422967-

067598793744052623089985919005874825273658073708548692186535305602424745432711997439970098-

099099514279960825490094819308284953399186683241475662980411859997193138845590209855498721-

656180830402702702563443389317805727314139491632146864484337509869297620201383930803065699-

178863803933524842789994972696212695190594634052282815666810104080502664159263498965563767-

446533408432902019448964418409223231633510978805046545689204906673244526850608433012057041-

537979960521529278971318515871833256825239134120524905356863160212302851176056809750115870-

302659294573107559646712359000609976515305587194294768536326629096765561968700102636140133-

142290944284714495239779205335279292640382260956197521840188480016345048982073437429360206-

476123454533370751659857802080973802801700592873753569624730066871744970327029718752175118-

017556595528728298061696443575804349032284758102523420779799813399707892916118602041381150-

422782120064954830261085054555829510415023994012648190629363941574205871856121528852813916-

2 nice.nb



3/83

980888438615742750526412500571124934562611145697872077423908588005442488773022931907241544-

621207807983997724456908070001217094553599436323340240395103022424281172637426572830335366-

073090567911259163548985088580981648750416374158861514564463422737547503280522281227624084-

280325381126651690746648413883725947147546431296021853895858411206268013742023796195651193-

865009071351607902969496900221691191251363424237581376186934540114707710096995412838554465-

647777545787914678832014440860192296485228166310178825723391171945900351528271272643837132-

012754230783892430871480881923978913940730327612608786270745099315137508871290486444854255-

546703904876043729645768394995691690697030634017605631951969154591363386433350336694875139-

641703486520421935601360488368141160247842779459379754247995867816150091983106540624006642-

741388455835044898416614603475677620091190408186013038961350381060253748906551264720917756-

738623572269814517924742510584133870352621993632566218700815589704666441408033334450113154-

143084160429909208544067214133524661039340109850114382609867940036430281835544840550338882-

370678943432308903803029017075450897597009880392540898331826264573786734168458767133938631-

555575701497276094596813462342622739516423504508233801172913368115314574338692574199295457-

787727291952239921150464901784817659116021555857869758397062384241844142986322233500055190-

180283189426378765792594922469798165448839611763359257952678633770302517521506867482286687-

979365263561710437335530962743934072440764203578909886845536741134211736993303743189292317-

240365460715027739022133263903479839359855057143756548649558124927152082301279475161854285-386800230308847783946970608416672369485603054810070380457669675373321451473330159364626257-

138448083546724140520495135771117865367986341737091982518942680123048555014626701322194567-

277312868130486734577582752693474173146157849077099872555183679611888233051468751410670480-

914183432976968228442621019562472002810587719574757880819417731189925300477612042143022187-

456167743287137901339219888185882869743370263957947796818940232866271400811409060431296425-

337288360132726245489098540131820744508534211889589324038251100469859852067897725738162982-

525674168837313871024812245150307068320812734637935556270130103696853787915636320764552374-

747612409253224995197021360514987873868329867566503528650786395581780610807775728726560535-

39342170282926349868510208975708536878045181224001


566032363768081906677454960585042702996823403793139340410685934397088801945653150950983111343-

989185013242089282149147417205628101472564223880208011986830709459579770238837025321999755-

507218883541042035816165934470303908952746016653266168997016833634003885569933725617097862-

121393240284381867458971166062862075786735002472358897512734049595191221022871023763459981-

545020468438591268054636136868330929398183808670066208028482660215166406101659031202768770-

382964791000243917386294988638037831612822486729593838651206606218062281948606529362346916-

998212171351850540399039083727416942554178410431655661051170598209954318327466509350059215-

572042273860455330201818392920887743315486611460084627817604589457001178194825352340965586-

772729980478065918977094074840896851287886886659421337455815085429167599107033111305006286-

524466752051360147543804733557966107778904656853208584928185871356449211186005008521674935-

728110329427765310963604370225784931033896754152148088687335910977909898376466187789780454-

220110556005230699542833969855641566930832528231545539758122201067932939715236622443781668-456297918551434267178147286339318708239274759836175659092022800611787059161599430952811176-

580654270233677878893228304130845837273057655508085883156347595233956503076632787276196432-

974535907779187548821919877069885378845763196494047253690932258618900758548717256429388137-

974896830054787235935714175809146201619240451463069364284763358910181927897308736780872714-

947845784389581520949627161136142574765024809035929762749798742239876536988847747359798853-

023704070112694892945315661616385750723302994104055651583479710804438742332071780837654199-

229433378533831396771520825174069703849709128682466079618797155230878522907391561817787463-

040834672130542109009614992647566370221806439431732117297766252448298581294885674772693376-

nice.nb 3



4/83

043904653805322668128027097191817416471420021071700688510651347593322709245938279972520746-

934599839042334801408511717134755791478473767787171105430967719126940084252416705456121666-

109998747095717933766473599947996030812928314045700948505292719102906271399595951893149884-

819639822505122980558653164160999521774737100050877871627742056840156002614655732439227792-

698066737983515955233724631123388437105315567658037999055729015140483756109905458799794777-

755153034709546685839028754732988204918237758731678878138829309212549746926538790164511912-

960238579377531525673782762915306381130417371196940612994397430231916544879594295812058501-

107515148142472930495763122543094269713920942762776921910764705521084412997717879594273843-

363997202169718754318226718059917392083897214189395436515581550165850727740861773531734731-

321982632444718794282934234549110399806581448723032255515508267897772977920556010493214972-

139859174144558634812743033392741114757505276623280645721357319165182012676433404883185830-

827851414828546000468485546526745915293469535073944511426965155900319726384377328119751277-

018704350804182083369505900212792137297205678886468789675297374127438311201096723671138158-

076934739933451251223986875098067121788247355222594206664293276286501777380362005102507010-

287633428090701575397875571198623496381057923554963749096432443785179848529570544588392141-

126884744501453631130339100856043846990810525612080581862448956053195556532500577062547008-

653202088434123484828731551621791610822061802009637355934430532416342637830543175613247713-

279647411581119018714037850418807375514270644225372987231642546605056833504317797658548275-197147248022331342570090574336551036630096220228273219894074749658953639100674858927766900-

186161616093111968087284218872539614606289231908595854506328040409205391558093851508364201-

921053289214993247386332927865485602176945191670997050123205424050162974000201603010970251-

415352153413743566292836319667886960269257081171816347346629103893795728727032293360918607-

899869517180191425785528244786408505868063445963179927139987940420719040151783948991615967-

451448254967666449881426279315764875983716779385263536881503029461430162741624576793927664-

292180570052779677299493843611442388206362526703514327878081905202027289582983770467593118-

181068657966247822662099081951856886388179352980689045292044334600817384570193284705667321-

994567209040417558203223206176087214175667977575952967980026250989602202775805214428410833-

061017342942490446206123378437794669446108995994933995057095768216463461065821046020540387-

398782368929158361962365761126803365494066478783439602164997114642229386775605000540435320-

363696071897666168227080304076313084501794712379542401640056397506638176792690423077800683-

279567797048449417892061717539036107892958832730155767645979948166088942609855349777057440-

084667994964860432766729823017422382104201392192886137180248243787990514675498237132748004-

548725417403430004759216507482351562536266298260369542649231937143782079589224800652678271-

326317220936710338155629812122577836313747916284153324877793950176501913505743426265355899-

410438901381212363357052925203747260016545350724686443927385043968402886122634303600991651-

162338159580235807490270414739083686618315947295597711343705488081259286849965230345893074-

186312000998940710461947632578886375317577827083319702602152617668349257363546331600525094-

793112902677230068410415680814453534558147186572280697068255463839030685387110161500510393-

611174491405146948686178893771461693916793488751496383789344840502936604027429750860494526-

056963067617032810010788511076216286419401984283468438788580748808150132976774682753678465-

987710506420355409478773685643855329762687751240573722694389858946336606427712097749629980-

933020370994270054565913190770197273238390241657403305710230027418396749387680720600936591-

833212749829056151559809287386621513467165310568376979787012258178625531211151245869196762-

402445131114222498971453534388903512717324839010351526372881576620847650125204153901573291-

676210532765257319612203048887940866993512282117047968015612647681342996700802692527342761-

693466870219084346056051797358950908916100159341874363631426595528076317357994874637877024-

261083513025799776196117580039564664712520000883279474810242494002084292009551000035890909-

440372589097033254813471526852003056514105039018536576959767364219034866143849260407165922-

807177003593989690119479922327076236119380755973353720004945702872539913648878138359948419-

4 nice.nb



5/83

799257154781181860102154765435011555389856957587217132857452691629897877130743149440143646-

558250222825251101284798623914088667171128869731449541847676772144847587946981026795567859-

084584563450387786604920971053448545011138533178113660391969597168462603612871059896112521-

550719963320686381731243482796023444442989372959075038437282604279968705668101191259753462-

406393685782631229703189884724362033384957416934986914601112845563630251421389429031241719-

167986772289000237541097184980215162160436832739892724511321201689785832654963023164846937-

042495697239719124496587254279388452747319708193358775664687812245051617321377611081377694-

024549231008090218223869183357386876129157787207127913213428058163978060907087647170143649-

912606148391050575409313808615428810958039387332991122204814964804109600020034690089544059-

509741607138804005272387164837351398275978280794143188253945785353545422909271849396258120-

562225247354073821308080069394955857904269130915380166474295164478453121463349430148334651-

203061553416279752007426425000461244002453641833618441453652255423232030108048535165928669-

486937817450630355710457507518665842113134643376014879812059676383291141873014682544259152-

719696548105827078091171098674517737320439450612541458238775826049752562464044909821467921-

070653337021579131835964897442190625445556919814557849241862350339847459048422399803308681-

618323970192752180026336720511177125357881216843800495995337133396443624321870394104247402-

870946563793886413678661600053572375338607311967272292184023846742806571245876682933307447-

035650520586777551106210183524914103939240032541222708517323601201742394936212686479608409-168772220763026661908660319322159484055260924294985345422407110503909907656360095002295234-

534831037289513891660550461128696714888392866108703936903996434228494817121748170238819204-

664335231704571152900225195653252613751600979031882097537670540183678578493482294839714332-

370940710818815939960518035841572992087068616427605429136450160130394059326669897783508319-

668848429082584121608689226921536312293933968886424666700935815007802369616080385371520468-

322742292886123365737175584712978501964524683414756533555609313581641844567342242927942416-

938061794103088078015799926537099010695294225205821180728744517530852724221178967098781099-

861249542049168291393502312486619094964019405722342298495632760920781542828232027976480647-

990313362213384739719038531248363277645591948999906190404831749181019606801057769403519066-

442168405057472320001592622335425280361579506954856950126342109938334582085627511104166063-

617802185991151557100964974409385606718055863623100175359120253154280540502913036795885496-

518638179090481422679420447434986837979286016812859285422969142762232674257548046126689651-

496954253307926690001171099200462795417506134927877168166451228683190844294990564284725996-

275322012022529220572779796726150370352555719407075374752843227548816878687278409912449655-

890930064100515675579759026944877589938562063977434949785616039830637380807055279347553767-

228033551939021711453355621516472103288453058800391099750370253194881229009332541027216096-

492659916710098560346477866093090636211973960013196846903490068776951160198472871382776775-

579984191166994432027868974339319640180069032286551138610805651269142467319097919427878782-

189528546239579720288663521409353926856872179978321604951488347786577909541481183383433397-

401746987819060012011893573860385321081257729646024343357415780832357098116124549626009505-

383778492795195764955409678152283816740881824455195652399853922244696915304189779281409775-

278590266956589588303418836444248371960364731005705455756390305725699618476102275584809363-

300312718594412358722201634724254157647633426571389026928637320874773695786276069099483681-

915143056439559451861654043266661894222516330498418272234762332287411655873727994518691569-

459222049253733212288735514844295376338180635502695342028087761600188358601171872085511849-

494360658406759989174705142302717964559448562398847719029623074349484879165763940178741952-

266194183470244508685880169428627455864750855134461803616679108856111214701059921311409199-

203868976996596238661753487449334108545921604231532126859960570553837617773055794068035423-

400275863396603063218752932985590996296863193945352689151904416699268534260497343924192539-

199653603725251356277107440422653515714643052190115017239999873016805222494235817859928114-

342997530922505803280427239337865852543435125880352660561037527803178064722903876244032299-

nice.nb 5



6/83

202418286932970996560250263823854358613466422663535292695274005342136070953041806251407639-

389600709570813238881033485870212854094399756277018262207281448708960008000063593471995402-

964084142291276972161941754176741591905688204452787578342409986103134816576954412675124076-

632664241808891172444935921961975443081900789129868392887446217884207842641279295729209125-

685738652247138501376010142492125885120845143846274718587941901494241032368879873065085717-

676187293362910053861332214125657262204411384786060313324533619150131218956937700630898189-

380782588388933828728011810183104085583796015123346006826942196734616441400977832344328855-

299254284792763812984079267392790887149609475952538512288101632223707051388825870118984764-

471543699166452998985228577371196823001901766563179945727808162045013014792586840975183759-

886119115153226560275281991047446304932561387015825014645354175018339057234907001659930339-

032898255109582422836528378305337099062680528501586346239895998139047035877833565334191126-

419778483085569183031408003166814638314559170765003514977259263722470402202915917316977300-

429064110237598427331004555207878189807274053755221686448523206875596704214756660971858112-

202456637783288149616592716711132960642038856573431737838806392098283042641660742681186637-

439209469768172966328390830118308265328967309361845254085976290220911103072621062392772173-

760840249690913890959491564194016180109111742797354997022174494637214141419284329031411212-

388402827650915981929131606031796978583453549908401478796389918499573249045932970054017490-

926167192874792629526046031690887226892221156318327417716279145408531853378726958538657989-242725550495397867792268373316030459629524764762681610395836836205717864999798655669955415-

263050558072977414156985004737722553300542153098681312424119132462829188735014089567574678-

265069242391286527677442005474821077219948622262648495864438335645102916120776756501481460-

220896951354486095795825544237391809346566626046672732427978233355833688948316705996855362-

956700884226972662488528330578415581094528061461114141497601072721437452863103054121867209-

155607471123557873637164336708478382392261041450823546562356037168033449688484475866313527-

329872576466572332822513090778081043686426717022911624190490720996844066194348280470375224-

506899312096493748457049848739464261810700803686915430711893442683357307208488089000911138-

258066748838595360705891800245533321411817375496315429355930253466088067320189239048659057-

147297560204373844962135304499171208717315678091062718024257163338671767646362647326633789-

883951104388076676347112143642341065894328781563751640923093988424816602708227972699326437-

700739781173959696539451322761000125486742732709002533908067497399096456961802999828996103-

330803676837248228247537537564903441062370655919979518043370768713179328135767836448215865-

849314868049966886041164213603461517033958669437818036048224020608681891921796368241195036-

590508626672755591375349073378738005154727895482356675594384150468988668235134038102774795-

148016755432324824611969024121801577941136566066806272721606300396124498605495543867804669-

595587367571320639319988241132897959190547197302715324220007234037086057814388610320893351-

125663179186660331874492723929253638592637341415970660692992999734519470976094616977920771-

859098147054057111948323167577090229753878764039939378975027895138007526314406378505899987-

007342473339375806198156717334970374506753285264976721820974077563992263943917639717981601-

263144305058865341174194417737450645122709867700166198299634844097731623732924652698350188-

123281203055995870464332672367843600952825381290689179623419161498369239206066899551273900-

467365778684606378662988171542761751039454832869913402473121244252412501500389657926715590-

991175686875788829097857808093406491198416358699756528306070765271811460371541068390210803-

779266761760472046970591550342427131346202608051376341650229447774775278591857435843523499-

062169049426945930040651543820355673645865024642365741461783653632586203388040749045369862-

351347342007267247376868375604116223576052025658133209635179862028416897941482667761302599-

700169807161613387247455867658185653455024366039383521377425035465715952725995994014519602-

594224630584157345423885261400600399645537072043974156404428297690940586824898381891032995-

604327432658057011231364483124762323624885886646387327811709586302957908271589329359115974-

230689779793012556361766782707602458398215864428658311402206713875718950739521268830144748-

6 nice.nb



7/83

988920677721793941344697198140991518388916792193938422853897954379533121497887312741921094-

867128039290645493917789386377861782417990055507925984224580644801844156340070050477052076-

726792891262073951543848976276751795339012564045684000704913830307227886472790146357684346-

653049947885278526078672974833244770503016879912773534466458712371737296627384356947978553-

742881864233018215651957926280145220539254301002611654550786650854341273672995131957638670-

937382168172699943580140245167322295930409901490200591818486974041327676183419815345170739-

006419877856792807615222104516230623948201193370728302891065078627260641770075981862536670-

568384561626724476391939137892151066381004863080538490430181607618027572335360290451609872-

579649995726220593018896559169846144712789448212534564066462978741775217805683738662989376-

867715712552908460575826166133845178271150990389127286997557585551859830694771306080493716-

317432461468821883274354661910940257518739065716427921448795323026930295448830949426193117-

360304827902932934818068541336834602092550405408831314076668701755309699916186676147100356-

994972991464807077887882577180760938060639947674710545881120956308537337632107558261766643-

910624700631673141242243821660088661452797847515664920653551887240795275206516448015376237-

125371376767913254698879826094986463844673403783965388407959208623360768328290651282793132-

928184001200603554698894506165513599490894115512848467051777847673819333260199643799009111-

021920657530941869493349527677936084594210129906157888962709423573728050623718109780920160-

563759488329686928546219178245923855028249224601121798229549809138059722406014171163670952-985718802007031952807515991195819540278959256511481777293241258164189284620404819612431973-

959593615440672831683838382283758345051943886829980254142255781378411853163653834516450670-

511613412507595879636543775649683098431784955358963798209131016138525378340648937776394937-

129730043377902649201439660626205003224127072865022849052885402738535136583136435222393234-

681483920355751551563753356031913003837134667520503823048252403090586474458152914203727039-

056475841000919296358040946758789713042585824933354067307429155821438503366745906881931935-

203812522278022013015961811093604086050854173846454506668882142861612573264557097522631929-

705248440135778656363580822614112767635259263561410754772309698147695584071318333163903753-

507111065092668119022830327897884365975299801567077923359124023950278940202633795794165939-

161302311477428108416467298955066692975563533987503513962677006673058720256660592413446530-

843529232701461552476536849651893849486983753784466017003397101024648531904921687919519363-

925636848275254928955914967211286805193021429967761953550529100888078035077231604271709236-

539126565362318116322415956740462172770514579153570971010933129524580848794439213640345513-

579105643550192261586385037374236089562856727043247465380064464321258872061637658960244942-

585477844514464252376701122438316729396900628573477627298444133521774550199661883912167147-

845504903211570834687366212673901620130934926609350798844744216630968708754511923250681720-

628827961868051393232600468454489681811207852123647061407207921403969664191579733152047113-

845515726884684983886333560150800290891821811424915966551692881183834074385867274793819318-

460155780382791268012320220021737544151841861791801792542600150321645582171221384541065792-

617157239160230746305118224987359967818692547213497177069817375133741618348816416650300952-

843205780055150780611597744201535963541725196345368928641043593454894933173160781489106971-

723653984023122009404595185738890151622856973717336152456257053640324653815644438669918032-

838291132081955018169915534292568999125439553817639528180338468056938165801470266021869602-

507974736395132916275517924604777936902868948754302281427840881649200592000257805818876073-

447047642912617918101713548909485041115622731413467728578582682905970366872202311765411222-

862527695313006721038424396257177086716888707353504838433582454564232708135971990437056139-

051960284787495746805043058277330923522219134986807975472734615045529121749087646772539925-

862839900512891215576181558151579500085368400788798164349383765989708487805392464316073465-

582290618863980877918638285474360463557861398377908278009580169072877134742632710783630553-

637221988553341335676459532845215328624648321383498014121981052391496458019300620951398845-

620078570943807458778534378583316243591704119613630431263367480375671682300644383090130124-

nice.nb 7



8/83

232683984874770870681222688273650077810153676740447253279322345021600165567638163800534772-

698480682308786781436125272342465737149714540217629717087923719983707742238340510621159454-

276048452341065143948166683193123638466246420604230852370843394804180212920282244375854399-

624188631863044330465963051769465820246111604354006176702916318895551195161228133831645305-

129583647254388927039809330431221352403888526399873624016099824593372116806677917412411922-

772821517643706807919137197690156409175672647752154046566001599839550537933563698428219854-

107127532154933042160622496466391901689874063927469436923610346288810293098453438440404059-

419930566685942763536319876154042746074981673064480259014959945724662993142960887616095517-

740574159114145472263815789899334533174541282606721809934408239735395158719111942709436723-

749858123223850906473218502402751021848127920823758024857902222172103113437966763377616745-

992430200710363082503096856180368363858232227451338742283238934489152232422582260498010861-

716933363620439407508560777716887931874681980578083408115107739745969877395135302950331586-

394945167870249149413051544725279389480164194230034022277404890014158918035484700685890123-

334203220739574951486947473289269624849520627247294327103928259651419340727851837069505829-

951390868538611732756029874494581290611845730165781322397468034503457419536544603982776841-

708063322654593016633628514183508863062059253133228740190260532801962181111542675928036937-

146313626858680453208465743833379184109572541000199742218629264940536982701241453966901554-

787401178184863764003462555475238338956026597844269789770410017820469636033793405289966699-850998644178021080175569815155632354168211591374527740774827635315438095378656136260531525-

893693106929190154955839607217215768083597125918587750847591804122266815631676268368057301-

852033233389563174429743667477773070854468513172849379222818048601150366287561372176943534-

443992096368900158580352150337585424318121246832854015469177953043149322806367917701767126-

501192031693305903445805027022903705074305185859258760484311077265592627498040376894124300-

069229670684469182053171463657069475345955822543889726279568341374347536541024068932170644-

281177463389321614992956560509453757818507298152676462808250669751026277005213062917951918-

240080263175336256607333465294869570734172879373405144726076348291774373440298806744112580-

740148288072688098301493339944048494069153429038534273790134842398749079249990254206924992-

9549870594512937275991923857936355409675765021784189

Fibonacci number 104911, prime and happy .

891271242914402970092521876056354556916028671197476697829956431448413431298315660351279353710-

899701823224345445351962498178791571911704246002466407891646363550222574444766768274362945-

632652273657594786671942353542545615361953361270615181189404959780504323333565911565477248-

005651558884883477644212604265105461736754227613465525627030305448647071331022140853041512-

222545847094069759657877932056998063463244214232041295505957303602428782854302270000207118-

803785199202722901515543901469079424293778115849679389444529416450825276808844561812948188-

734269952950377201548121527247848810327731081935906321186714419706573068992977552909395775-

905750942152996501512262003218873361888128900236280233896086048470150758309411050597196506-

788850746881793041331604049074053717396714982012333342556750410312712054589645073550317950-

059106588163489939702510634995817393714325810676584892285406196082122033492207888566839514-

173734170097457483999021139782784760983603627711773029198074892179339747658580184904180738-251534293896350081941857405341253242841275364419823247035751163716245307302760263941979126-

520721821489522290073258311001681538163667244446181703868578420551445673038997976179443759-

447163405379753971866763661969825462231440456298038056129562903526225943749763325778478479-

590250661183722163037461300491478534300796342155778381802555390633497788174740934547885367-

492467619278872018488849535243361584826557386767966740469660599226393253210534910620429907-

775221944906879998368464703297332905022927163694648038159959456334337607751144003906047625-

668710276398541849244268830523364931478115330210683725606615220513375706470517704684028960-

902808953827694946020909618854892034372257358748681510671721542786950710984948806086833930-

8 nice.nb



9/83

341152958493855465052473293130928496563911374526610324203644422656519222438867490085921487-

055746003085190352141550038833115623466723096989575332298017142597876906974330593967599601-

289724499371497824391013307922530512460696848670368234844728365399855940726193666444467107-

054538192681577788726514456797582427577522329230907688059563629002127052238965589584718428-

370847333608206240417574738442245413927867930652836659691777487685193007097575587344447057-

853787775802540949990536391088501889580562472425819573512547030970190490844006592367026626-

799831422364351281156777245544879889365859493590815135163654582489623439531377134382697879-

052648944356126082426563345887145507978821794552357098060762267046745006385926881716644399-

323336042542570551756126732573120559323028720398495234062517251476353178344343923532230114-

835778052872426499306761948832682439153067334315667002922239303973842948115097316183747801-

157595036637020765619395359152257180952554169143887802312556362282509944745594135842696402-

040309000716634720178268041442942384065306096668532014033234179945334072414363932905050743-

995417073797864476207179045519599893039526501700817362224506158473460386686138043770203946-

334545662418907120979672032538616749804059315672580881360192222442968927037284541157618100-

566521268691159684254889560560790184379676828678611917421363508248456296407508718737140317-

367836472656143619495034364873661191658341618701645377067239957154682684021233253375926145-

973301259148614826232186091719321046174266641562397099797925783506460023891223203973107432-

490807056205395967899769253491972247688583204995272019210084185295823614578947498221119940-921439053751185684056705666159185137627123924486411566542571117430577722551071724379877203-

056909242617208348417949744692458923514472997256729040485490058717182932410943861594361366-

874022185731229555992424200134048168288548269856780467917654482133361162385557463793347983-

653259684420532515952650047637935923587705288731995775196197764285167803121189497869690908-

432789681763834085582050585010063550809902359383842626349606243155654522649179664315225118-

853563078178000374269512695783838023613317324301566401242495450905578270152079276822401141-

764254652745161714752370093815222761175722241017611973974994875501117922775410944436402964-

728636711113983883487356396738588635896256300144458164807297239390883036967982215230706719-

879717513395544266894343079507981697289596742297565857691061959486002650546517538903832995-

019227868314519960128501794988736866120364764592514173230764041858279550564927218881527174-

115710256526889911985040383769050674829261147963603053622847727731740195392789156602953871-

480989434395921286635157866743411868219714367672178239847338550292888298518442721075805046-

646315705240996382032053404433509166392691231459859016032180552563707455040110476196530741-

584713750000990626648499900075463837938614843138871137598302062962381565899897868931635264-

904959781122766810721228214050405940154800769431967860019322914272649539455259059952392409-

925968546543462495439748359144303356315135835588972525968191126646866226110482689214454606-

516927695434295292757551810448959737900854386731962455746735851547821875311599700292587207-

492184159649094098454729142644874537718295051228834395138070045168766895872284360906581745-

648781953142486746012470088021385525036496227235184512249856330798454489352987396007969800-

580854140910501409003692799440427695508548043617778746063961973785146667103041376205245309-

393070560160214130115473504498891840559269076289494813274564147717367768952438186871943445-

009748924903084716360945917727967270165204694464438232600071279615970048073538186931012382-

317165489251413037376715894373889797786616617592473127893331336246360644616144354691863983-

880020635676698045656154611291624822964802203200497571952945147493450370865147237806290417-

977678922735830248403076290610345646972972758637076919940130250978959753099484169970592031-

997880046553514643333943948264434578704126343795448684286411132542614041003338330239413615-

966999365837865162715462511086775165434010634486933336616014195112336793331637863385280970-

328749513568499465952638093585092634980955080007376772263091965436281291482263767606874362-

357170004983992731311516327467447975750183216176096059926668386083965658840529923289296453-

271266314310563237894408320368648864524152512910686013776890760408834461560784043733490512-

286349621826710105469059025350272083183479591887899877155127510430213014275442100988590071-

nice.nb 9



10/83

921594819429916767260439990876964332144839416909057297697455703953965731418457746201489529-

424212521212558332370499281148756415421537112967230952013397337894344333779492801493632593-

981222382763163719237000946255786738949656682790751749917955069011653941240518016743065030-

945749896856191118236058201693182648517114461000211932604437270868247205436799144312121812-

904066722546392583311478330533295213210532052292066494043861603131559937491132382708847097-

171404481233881823577025115338625908902277800247228568717421886133129248433830249367994670-

596608860862335035054111145296577360382859399707377979466240559710376340713926788874974701-

720539494342733519187447906914695543838547302058367461752442447000284402609720160115453105-

787507052900930987924844751429332943423895602296229144668132460260285080113094410896114568-

555511987957358586595756979232277837617248559090550269579266790926319330600676651143117077-

463249283138256790549990748348429292992274710240194730375602099916679477429159427519590908-

718016422539307909377745424420271638207096698069961521695991901655306301415458411580700735-

671905428782318111811373495483346248659821608580641324573194111279700031481236311648263959-

057521206634309679732673394799409003555827937961828238574887996293338758186766430788328415-

439716296636250178498370575838906117030464952611506825277418775217189513337982675102494971-

187921811605546474496952094961524073348570951055947583074335567472414360002145487059867102-

003109132329928255112183635219628918797934851934180758691668692891608481889844401685952180-

804704520433213616541687328391937654682843471511712245851712160820901187982952281362098904-377378274204628272792282888988165461609278779984596272662566959033415265450486382195743448-

809634177367582250470214685582156556384335205127671516439080342267773062515833711211161881-

483473303923870181292809675807052141490974621360773961153624027804740212195607722335397663-

390197048229370085273109452015370894141498762390098113458810663093042685996151000788451111-

755168522519160711699254976128435646866671717936002136237950326670491204741819178887169295-

017685549024217070344666356388306315694577458896121203469727865937157114096632717600532464-

838522203575092499758376187208124189666527562776650874597935126189512422032875833104792679-

811620683697270355248913784230751165223546012711942614253419990450080374967889040507110250-

900989158016270139566933482288523557681602976867771560517157572319933187308464780019149784-

440385984947637433751364860962126892416513274165257988390552283464264130838611896598669515-

207371794925487014486311910204356309183061314624586475032227989195706714649605536187410435-

531455689343847065787595604140295742494148328032266826315146281789856674416325417818259298-

221260212583914912407213014910412164482205082160322059006595125523697864589290622841385938-

423727783358967893436574092709383473132944463263199968001449246621963201896968820959367856-

326113388651842608320975479986329582795135402460315820433583072723221236290479389537156708-

233552652867522017822504633966708167898296950755587334846096291308919999786157894751142993-

995622267544971637353620461073221362941501145223269144405637006057658535661984042244308843-

312332521223444416205930860356559679894077163812480973654295473634235181610842905246238904-

941407858373722959992747206006247043305243111581903910756183181514292578904929554198502051-

337045588012563380102714019688364491627592878321227565027726488716280639925546321792939588-

291151547337026779295914658536277329570077534386268774712043870726857713138603289032331262-

918865152084625867859362892788619558899939272119297093390081130576561439461894153456642076-

068952677860587789292995726401680143427726770259062763200044958944701532401753103658297042-

546105047415673237645306519577315172307723886911116119344837673741562513106637690393308314-

398220025317406389585671666660371482378764717298508076173025567597573799566175875730474172-

507061410649283014508459941197481810496467824701181714930175682372535067804138993495697556-

961536589545711996293737319685593653852470519707214411080841187265814287278740457190107241-

441972530253163440659317698786182111580186433878453009012591796865473763302019054812048861-

160770090596537553699109654561371065553359317644678776194268479460400955960910474893926060-

527632202128702991096109110558068949612227379672657650085388608779485349845281751716036774-

804881805242229294873166241615300346411498638598422850992265463065637595823866102379966441-

1 0 nice.nb



11/83

791124191517090152470817773836264756257977286440079399183393872881156979078766696423422493-

700585242099659501346827417816319135536549839881997677939568617733135272052626726242401107-

349915170724465012105598138105293752388376578663911345034810202729022472180530046198318710-

185713866908739053399565004911634892110180294770067724816577726416189469617789038105532976-

235633039398522022889414170810087323016172279639504482402182788864063972940157656571829199-

213432905312245473023014095268266577469764331680215073099418739945302956799857796712002453-

179638363724720420727917659468471641479299456997302492275836368461469979862974651225049766-

833757195126207036892406065169458878841987563647841128955102587305640382741845151165918758-

367975763701975777986521401810504244650303468754028815893771914798440775389927632160949943-

186448553870551813971638742841207617833836898627387113661370410986142860641667954614208282-

295033664474017698088263627426637019840346706769234360907170413582938396474082027647489345-

560044288089460056719839336717706133899562108010049601128629685641233246069741402877053088-

007062970944481246612549613533894092270630538240283542169551744701300971847634294128629042-

918307563799046257879572338486247820306957195201880252144633582284043818570433036084203515-

391761762092778244589448088415021025858355709300292808775206653370204534336703465241223230-

852738031513849019559952709270577141206119836840367721716756503410925541525715680717287280-

170381612266234977331564942735215056754040822305954373310263135051204891496194736841805964-

307116718934983352263825636952211323954743143419164569719896655289722288043998315746078255-842461021501507060246989104470423736547003778334639432841366178607147123479737170600251426-

712162570414869171465410770849532148618017810485838301585687751754225644464984045732218323-

066237711636995502568670403671148510156774958801980592285528763295030307562402615873449508-

317158989611695454648560920073991645617810422239392062786046742892972746168211486865397079-

231176514061670591494169334351854274957596205662606619232615379706904760115879368169932598-

763088126137474446562764169674249048575644910234665278484581831572549045312416811916961950-

896462142212478109627235037748363696150024574807180091107729899341978185815765270715114903-

002579992592205511476445064165858081394828659285362032743212334749153505671926909907245220-

631280252971005228606297049251134764416331958258001519800816695520593356446096197257927021-

696580658884857717336087486798516893438412575039834943229377468957956720478486740285755088-

802980973594085348923521295396586195363443873352362849966126112631991686845074623911153077-

399182320025869789047084030717920570130036889449637450980692448742823780488842346119333618-

976893122991679176201319848211158471953330083609241883267133023806470631373434651793021252-

959964516871055261948860372933940606867669635150100817092178248669764240300489947026000759-

860520116676587037879171626891989517109130286142005829536267909149532631933503616514236304-

959079566949203854639857102854175226121467173101893680907323768131386305592763231576807839-

833300473566672838678944203020423346699449143688390212010343636138743484810517392762005922-

195342595790455130239527745841985369155426849218920954097729493380505925197668051229410569-

091180520545665549867707063873332112082674625815800587645488460893559553154165745795154609-

043562030255849621488458259285485662036264490024628232095626626765986592692185327351485346-

355670933025450899097892601717933628739519224737558656474632243892681753324329876781667611-

008345603009867653297787786266023464429958905064463908450377725063013335562733631616939938-

919124561711710101086089700692690949373409214048467083374838378207091170717557011818051357-

831929487491838914371071658955366946851174100410891389907053912347360046481396358627357282-

126758354423194426940779498259433850933282549459161202574602256032186275070657972512180620-

258947247413351833669317353853449099146460665373807863553660459147311628244639563560087748-

878285891294166785983235174732553883528002415452775764030119134047631921587291769787242247-

892920921302946654704580840557408882683287890278441201739986200743376212899721136809307256-

030276819620420702512882776558347103562859870976623239381340485955419809771833375156234226-

709647216136896898840502410382641761139937961368153182335507324282597470363720854113124819-

899746577878786560643328954872045842043077283995816864744008718876553096135178305346829911-

nice.nb 1 1



12/83

106964882168705784193930355742214010215480064512204525996200404727879787053727402319735807-

598197158505196703084623872983503721110479904762164839014521500461372704136850639301417823-

906149710715057556266254811126879117168426063504279344441635743348819708856978678878773081-

394148941009459214330128100655924886114471614569039195944557245664475028812958869693309794-

844360833351218663578331245339273768767464457361710530912137088463056082019929766404247196-

339310627930911872975535228252939762519476527317209225747121235118267776203636266026632224-

568187541916448985065689919565286622102750745920627339925258386361135089291454119109289133-

523853706114793730958329901542893541650225878233977355990523718034098474675245895173781219-

149801873724835190485320938877637200716872234735513862599958013535159532945853479224935372-

436335791223959439565808507738600020601051077658048160105421021424247807855719078810963235-

565519633529545287940335589520394522931192147868402579425961876378903520673201182691229866-

896723364435234882231850505783707857213460208983626905187386243474225383751519720265538357-

527776384898772844578570045616332695398436574090408053018991945113621489543555100793189964-

252973589361873751719248711103182579450074310286420535722739628620669553056659390203048985-

912595736100721988573422664490978143422263627235898642828822616485277350554314844779226260-

365570217825205502099093128313096760950464614654081341776167995736329769563342943914190029-

528976948212075655872132191839229219715834307576995881972763039981665042713872939376171711-

036974441723818143346835989296879995474978541513370317722613682919114427768129619438583436-493571586343335711276692489456566034166816150281739579375201997183379870076756759075544600-

402710033861611170706657173422515241171182772037984819893765726438534884790773409653046848-

621930345277360569504543574822337833769822377446958678595359124583426393927372917366230872-

010256647550552507979459597397796245125294845096813335557465022909232618210291752157566185-

934421814146786444512981186767624338923402981422439748116376174617149603535636290614860783-

870809669832689455781849258840134193424858774266199836567693485510898325286151063828474045-

002941300744972441348292286402565838290138007636689435401418152330112897196887341224713757-

680020968551329013022390995786829868042999943005898658133419469133426591149767792753485981-

662843369155131363288457424500107761976060596902065148062787111385797091808934045157428853-

402670391938343717600686655732858152527136914793403439927601961320898167081219123596895327-

163900102641136253530696335732522329458520539676735469972872447895317267143892913698149985-

022848985797680246259140238867346380434561587268942105939561853152670140146788788297116805-

413893500878683286173279980189688985093942018073651107110700987624269150327545658694170987-

760804094348916692307663041086262370876093857129506048306106144657307617634364990128902186-

399258355272279180815429816031324602674443793019298836753704936541330852220932809333651087-

058033514382122696923247633332452158483600609955269596457020574268238367884901091316575102-

319156512442254270265033201076815781240046413643057042182654060491105024986942362246590204-

484327686841717852453527100471682111205307614436344520323804842858161376132050914867198308-

499966421831751909112331340679577315515402637090725974588100040460414307260397342672811686-

226152563772144897946058208080542190619223220205466622101367540979803662353132628302909121-

589742180440389811916204283451498354529479081907709242359306102248719720459647849049331214-

665757764486290919288507532068204869570082691041369273516984658283027522947114225169216096-

863072837741098392700733870542753225203466637199037425988160962779230462661182662759802727-

746317984270772580175812123953302574627493643738447653665498047854618516809389528641978787-

944358334160708452994172914289065241737649836038663775590035211674281712896094545477087415-

829858636730007829666702316611600421929486812071493072329789069412317333989503118845522861-

194359932785639983405009760427339369206212599445345259597689828804898266165433626607996533-

751733585370172598055809639628024375083746576648530879643780092663425274529886995452614652-

137388888724265588681321876179897740776783215698326383488992152456353229191761328641270405-

898753541587032385980865921730904614547183020669629054341652355860966959587955188140114536-

395646126109616269538233106075286974780861465431461298637754154225057370601914942892536600-

1 2 nice.nb



13/83

892620099091012072553881268090320793446058672302700378796980786544092688307990721396714866-

862945905483335347749435326235839505334474061289950476721537552678326841497826024224524840-

422522088493939805046268776355334211737126195979810278183492679513430180607518954296126015-

850859107178637771543002483489954699740385199811328673100280830073962981988149598828298629-

078397877139353627169968545391091087762302921296105824130832546073060230944595852221045452-

217058265163945496444590254337891701436726601148693921797087706431659806532651527646266735-

157555592153639648166904228210375188367163196828979346869312515284205234570536574665467446-

037207027064375209194392092856813145476076102179016929486933104477548571349479114430136428-

156410358446375194771948994170980997691892370104348223190511975537938127647798847154880173-

785748413579991487325556733715075622351440788244440091996144790759492512219273200977188140-

400245585527214566653671402371593324081916817617473287289423984127131436339347038875461689-

415399350053479757874889705651098716615967628100349367521592680104653446662874173693181712-

761399885474147402475572219602602446983911499064942158501427834165574238350500664963153933-

664704308950283144786676399989800038914519009327069981524982745976935311782296540758065789-

197144525501248574137441382865808717614592828918817604038383230782416190649005439912908436-

214012030043647850168454828489625421688464583854065811242504001362818458929900439796555573-

591554287090606146954876934365879057277589607169651900193675529136438922345406268765214927-

293008306719712055219146485584584381840176860589488484762450520579360207459512988325994576-500493600367206560617405513977586283905286802454164371313463352006046121615444417401521582-

642054065666325118555907037891221465858957956764820399667013987302307950420200669079883717-

659387449826702090233892981632172380967040196675930866625473498876946664635515414017798903-

325819982351976021978002898848082534623468588934719564613601321473009813203700005587430879-

267522196038264535538263977615103600488536524857916719502328536185293315106112847335397425-

175638828435387742543851471303605471399018129376546568619969419087114068545277374979868336-

630092195331266684956346435252962878120645166441520241648541281956020773376909481819422669-

900787594841088753749820774886574208699607816819590702683521298233290414802165907709362254-

440518487454149757333583913806277215281246808103081621432524386557015132424165323316661923-

213278399962222942242922280826599469091695411032344994351819467156286593288787898578461960-

722337847054604132142968334493810926888013976282064973178470147064599720917681740527856751-

986758663323944548409691852685952913428228698205948764768618152378752165526054589328267555-

184696763933588204651199932379142063805943827436250815834795665197123476963197070793610359-

605486025136962179885426575212861777151538066289334465986173848335714239501044144425457758-

513803562211269423518792426492186564733431207201586034572477211110010510808000920697888185-

938362233840695843943747229996160227904725206324458316250763852818862794865939774500470968-

552371777603629694740029957538182290678389815885847832988142017506618348116133031541449379-

333122427164095477771234997879237748775831192433492444569177447700576053103507961964894413-

204278693930235269209696418805860304116619173283434779298776743851335202466178712471252800-

199246873070734672509818389106115987609973471322393460918620291264041953603021090476268266-

112794553107834810017643417564685357752163760433389513188552030331998956800771393129142785-

181125169163330052416334877009258739083530902630422200932616627353768428058045183247203114-

657028598409320566978299804967774686626983437604010696225568394531698540507319224846603945-

065830689404885755437790836296902038222479690770198519198426368206869153505481631774699876-

717872087578454546466838982008934184342944772123761258100887379912162214929434086065959753-

852986097755835748578052890828937209450397229544772124755119966094149561035018611512406087-

423425912414638080237646310595359872093460910834895110694731486514848632373208439355661868-

062310179740317913355875950218052044138602437777779786994888109030175694055353536734252865-

606617484015068216186527855808834118249395476328445001112698715824957943354109415116842717-

592880447643159796392679829525189736862750993403997802741967274290149258165860593315115998-

043944993230398907831961965769035867962474932372791069527916236369941703066002527081154571-

nice.nb 1 3



14/83

163807111269257207667596273406996411919359121288914077126368143291731487279861797592433235-

598851504321478084707327682342886096101804988567615296246929932595640263352377733177814538-

992881421804923415879102061585979967820386125973401706005607471411789676005500591530325258-

815092344787982845068922358981527770568320355555074644790560646921728445788113986704915649-

794364536698797134727423398093276559759125582807453709829448578549166980805486321471149961-

101280821344887833085264013002175963131438605404540155739924763243569535415178357032446552-

689601984663902950451535179819976624459726089422267011687768251088992698603147907225266160-

124951401444191673962861165006894590141241821214819283766425117071651491908554379931576563-

099918246769289803845182405816843202702104945501887311657683764879539077329069933354276654-

700890676474883243339113842117890321472292975536832267208065370083496016233753004453537175-

597944581839958188850655544069318228998153949642273767962313332513964866522937843600281971-

442487052974722501036921675976354529989189906101822845424335036773717605470067934665079598-

507739922502624880424654034913394199483563289721930854399568226918195224311602049557782561-

082754320579166117901102586869149904802584183724079305040801230247325939399570472092348650-

271864701421642772858728280773026203381300887989913395756182097572533847846050359632077770-

232174079352107164216080669731423113840235270834357044760712829774051674936260942363789911-

419639076614402080569097997176238787881256537993358654882374602813609655519514613279018182-

170921993016511000486775014718500781807062855647643188303126846912055112729950531190846201-882633687612983742284310619115295469376884927678503402324632203529132130367793080010053493-

175566961932119226731279241198652716556497687171032384510915702858001902081789523039092862-

077752795806702397241544306699055628099590573234502062954707663956220252482623669377263456-

280509237962783055054525550650427472101960697722873296472471830319202422771005414291639210-

772247371998615825362323825367754150949918324506021635961339801451238147412238150188780065-

321152761984728904969015216244900310049085157049322490810261147349843193181322032631003760-

376688573710361797250762288195719739143206852140105982270742497983153212943092922022483427-

185627059196775893484768486449855236973746469035393661348780037159956320731286548354402890-

312882947805496386264141532571584295343904257076550287064114298010964910542414244990799042-

541615512645025393046740111529296360037384781655617403804835413906623970727199553270711464-

595212312697343307520209753011936082361246670946450526725908659846746488682345852976208013-

065324323439334282625781171703172498705086258511657642631085065282376816988118660078447296-

183037402100343906076188993357978796071380229310466859879736124479075960524456502165339213-

277653241603028484719683304042873076491440766590232513393101838236934306580150760953139155-

592151217713891700550419773869481188857309960579804366032595017363269192087817551269736353-

968495491677201370582829059458274547404306923494357366792576226530649346075010224049564447-

051856815588890996296436996900485869150859656649711334309556588931830856794107987022714239-

363816557187149129898564798627525150650360651016188446546341265251992880609656453802184426-

468869596723633893326404719589749258793988416388895844284178225123388892427551659871904262-

863162716222242704743845657376309465943987028959794719716283487368050251579398506058375699-

452535362814849849772469172338695361457950498687069177601197441591144152421942595009798307-

155655844193896900821445825355012431317252395189368259710436310432356335906130285112464416-

091698695337771966842258067699542307676088789200680084155026991220160958301763381517999292-

459284953629744054696810296468015486354369448890859550048316372063327701899770304797811848-

421416149497003834530037899088131047307339224960372522475518150111810113063854169984438426-

321383508840636422223257406288698297428507058163823659118373812688888585088640165981009160-

681642602200641002224616078037168807330932331070435617432376836756312208033867506597824101-

584237746128019221738507395532907429867395444280643462339522082404296237555143114910582361-

468195218057534346474604358232929493079485487789743320133612485621782310133227367972549125-

969041774384977504765090912397598227623428297538360207296739076302884701786713079665549835-

638444090228341072929643871684036099460946554228561173081066444356955887925555662234505290-

1 4 nice.nb



15/83

974215613271565662294842142022126258365749334342205922200381949400076278282365329891691417-

640092083539773471527446850874231784811065819368872914185204867393146227940809081676973599-

348398762160859536939900426653478137923304037661975388893803811282747011385089462336474623-

772605170457623853863477969523654334651030106112031555306681950568230282069223333879191612-

117656175855117509090201066076860795166896496804146712718486399656936154000828306935080166-

245952839723031205030960642115629541142449736860030402727688266192310898532506370940579898-

524769983675094136267872603817758760789068925027636187297601431840366515837358969372358993-

445400115160342033147236749914143867851468462865468612562870240728890427978287552772159602-

091557205027207936118323709864680914831264372599946718766346490179872834748874114922996306-

604519509144791394232344856713959775129961416834964109870962866655854164135510841614028972-

754238444895461714718658115356989203472519811176709499066531105295380588371573340970412340-

023042485152533581760792447151144202025886440294953001021798352784390233223656148552177476-

323334314197620647336182995729455144853334631313497544594695496329280253387540027781823758-

804113831422322448812403421774663019685129795741857970960655403742772679371770284374119166-

219912495330421191000493794095332194683901088970225407054337593662610044575326952285872152-

261716225760858323081007767031605475256907296433556857823886104532907016900369179136119401-

260400723498147547745049673111499192772016761422192540508555046170586303477825219117864204-

897990062959642124794274846163996497725262793848751688973697719346304093922262065323274407-492230233282896379527931345507363303413784442367372507952284356854502759607626387655965964-

421382929949498359608119507692399323128567768012165196798911773923733179445410448279858007-

317147725628212978416519789314243998519543343103561191308684416303501292209650558590210603-

821622294562876019809116457056244838044967952623746973009087403724945100822236303065326375-

289669225104952648653618412604163889925254002285331114207765002370690869991283933158687008-

621663040947566983170756897020922657890360510501298686983580471635689706130494555495627681-

752118136617876021442866951088805023093028073293848712789734039278195497402079780031645227-

997085353770424397791425345390294565865549687314917511621105080279026523260797580029638280-

540836539411041914726730062834764759498035497117776146562827563282661932797082182410412295-

076683195343679083638818766388242494696780734405725345282536110221397081677102244842004085-

596427747485804344066454983486456547095242538505289255806545696784974923396898228877102000-

117350270793015291085294839270279056625778085758819907168645353514054099126451952821783310-

548466932813785458569821002310829565692371649937872057955520755456853981190381508866152284-

583066003211126035993024408616190640521916251142196170883713367640279580324196167823811169-

812182705390014281943396910376709481585777776900875871464203615369895650552741191846652917-

020166299566872787608443934607100552496841771752054736086209136148340387820536357794702122-

888856004984293172588122546655073444106319593771895889323235529040322864213006598020269011-

527885873011799691103225505057235242941181825785264220672585497711351442045682948910391232-

323482968492182659895756738332034498290097636350703299376264629814692145464259446331517691-

264977436621115057560537404283582138014846221445153612128488717860701624598769701598652936-

049150069742280151374595451540776036129058517407292615691463880041077338864365759651160519-

900622039165681270974247292023218801408852832254343494236845810542968094724502486861039931-

504171130822386678421829787042059810936410022942845505826774911523643353138997210357482041-

305421932879853754014059910513510589470930288820771764394065519999858654045905540714169953-

463063340441442217164401317801776746701846826630079304149652817278857347570863535829782399-

222309639917103487874261179220619296715692316967807156265398938382467568380411812328937896-

555907620145459710972724531522715721362132678131923479891787429473708086577700967229736361-

090555084897912108334877070172425394094346616839032190149046111553480720002444653964485326-

878949498411320681452505529146030925085409248333876389763695067982190199363597870961378332-

699982516388929541201524164863190069074579019862929721332921753037780871809099038500780570-

954334227498836244250813406699805154488525181815119424821293075771439916816455428606364274-

nice.nb 1 5



16/83

696745429235258418470863574540630052290621772634161584232260413388490274033534328068638585-

908284604581704106145343922089279048080530318066857995261456632382269724687193003738850815-

849150769467215839035573212357709375153804335685377191262331587824201790565475658283932390-

530085399366027829897707052287474600426189974008267687150969258580341369413153642485099250-

838651314034769676927824969107909105171588796981349988137761650056902356449008589529121365-

632904071167244438203503793853432616345417591734625023594772570759995009135750790457719351-

289446658558680766374944489949815032888661025931487243106774704070719568177141922336146459-

773221243748108236160478829383888513808195134250966455945168796799391229161466234366702805-

798051043354791699502371871353685156291315389742741458487269886588369360048478105970159493-

450781796363195962317764608363668950147448630935905055263805828541396114733078927099483813-

365835129435244218221505672506785605584496986557681093485149070023717907174871828037788676-

568521738697450761535094577569385552704341023163411226820914524980833559087823124854986323-

142878895322221821152433318013228862981311284654125100544919557401175319659687762958804821-

856930322488223778653374640358244330659599923635974435974843707856139909353426164999405247-

125576583808819455742927035056353179753397891529442900605168228925629112710043799566265093-

522725289397397571398786256673793504944812292124675949215015561377070837464442006252847782-

852687357423903871958548689498482174932472741245757686688300431014452262021764561053690395-

439353461341055668447132773384949080008917138318804624175582169891372957025391427523458835-571885335185222777849811599313284956957048044518253051678200748051337400397506533627043931-

243401869468703404371693551050354974628380754379814236168424855859303883229080487911793224-

295862806506424777901720615263731136209955662591451323495822440617207632245796198671475756-

461978414948726912361649164331247977343415418385425862712226080502907985912922614803283925-

982098530104712854093730286138799544656916182969193884358578242844125291483284386798673214-

022871125245488635051821675521664486741268975289226738864874018205552207443441743683953386-

352123490317143565079366456148366099652922783965064185171566407139430022086741487451622990-

447700987723718550136698487848002040595860540594431089667596035505593564049313181234391636-

210545783360808471720784680047273552854375677085117900785054174602331685574494731067184005-

359093016548440378974333456471905570426764915916085724399938739734892291319344423313167222-

763968223225667383961468811961775637134888875976149831524019213973081113426466019819852251-

217799359204774988729262878000027574401677430874633422317961329188101131546047227897294543-

551721694873813156338121702862890832415203469646086592155611273182715851436467568559659065-

821749967128051988705101574170551330386530865446550167508958637003230335016261027742671856-

799236978748690143545075269527766004916353977355392278618942578650480351420354452920562277-

023135025898147660230417106308090843526075559227582010884068214126097256537369378206537825-

725450500694154816928823807651549719930509532634090123960717902524851443593111474772623928-

625105236756809013293269103894776159899035180238918349565856224669485417211115858032351587-

301790384596576023827967098164662803201007369725875882058532571259936747554850174710615183-

205520771794989862545979557828701321223684265358090388810890476443372539387585530327560090-

843138242951315739493817789339769627023646831585985962829459449315378766568901250354710744-

614392712648296584796311007250496172064924457185534215735473570612267690126626579857977817-

948706600232874780371748076804535777547704954233433874055196954756336414592472526573242829-

556010791928554979498132073957001010852796918523299370378840352338341314272723368413851858-

902327519057932442950817456863921548176014173928803899697365417319796963729404215714950136-

776910705347486348145408869979678779216051255282244441709304836834285791395751496280714118-

970817156692902708705031682489118456953534188767051063766835509429024409556353408304378913-

364991106357500964403892589161907408212083744969599524371852831327970127046844267594186570-

366935143994287210849547512813295255673024159659594345765889678612072749436594038929337773-

332986637783166814391133882911819395357961448471143202727833412410617918601463453440294446-

480611142749623035458030045477791194720803719635733904937283227692120840392732068785446650-

1 6 nice.nb



17/83

522436186085730832906945229957321504884789949687074294113788101710739163173790070435924189-

708368345575506602929946871146576769698723925927290851461635599690335527859877969145988576-

850619317376344354485261670735722700684138010352829554405483726644881838057520846155333481-

871763232852062684154666566393420013927335341589489965432803453331909660244810477044022895-

970541462958488627890243466660671622933206711739062629554264140790860463045144511279679023-

701110400188407389336607301003759040429679337808708487483897444538658223826182534443778520-

582563681904199473358483015057259767024814978103437073809485162572216589864156465986514298-

682369872341816440737761366284099056592539383857672924494439866882079875338405716762158710-

659424866071804920724607035521983779213658709060998998733290991539342817200566815152828859-

675126437589761986809930591200443585979876752738693178534788121077292877276907977495219752-

722044163404213714916800356120409081506384908983855579662360072397706098798834185480409189-

511632343185603280245546991391717242056511412401282101168726888155180373639417399042742996-

032071157416639138281853964044554611903164620878536059196297565025396159510814914770224772-

356322025193875739767450722421051279833884025326353404364808559767259528192020355619550248-

047098183678026363158213933143028053630362485338131165274849955979432359209696355228590883-

959607541754174421898090700509125234451309218399177506042714521444220281160057036808532993-

931063333321676737613664756576724480845245773328540925531495241502205630412440275150587652-

838906965070979248256573120475369541461986279199233561274251596428063118448493597281697110-906061233976777037861526715380073746062639616716593058538401536048483126084343808503117263-

052172067188631229225440664178252715998376465598686206666807124294267071421932060276008007-

205413761560889856148795892549155192602387444287542700507347607375625376714741751007141320-

990092634591868831503701849580206689123677611634883190796447791846800975824255504428680572-

288863178274448460538146005959965908638487522034498929471380821413984722408274793439628770-

692906246329697190357992010726039737364258653204161398318279789449942853911664410499929878-

818200289857382943678207935326684872214264742962283899923542534964702561843156695261185933-

337243099351921658064121630409106256742477806563590153688209704649394523237556432308348433-

427816971809875339597989886305821968752281312077255984905588293067098678436394244605189110-

537988572901277909997542150351527204576068158583881536970065061301222318678022937860511783-

346845242384537563118381429055739555948827675415024683843708340742314399709028647938834304-

181183627168202140799582549191852454636100753871309729134103504009763345611135438835049987-

140504026232857335568639759742261681173119208526602016490566644356548274094194923974093345-

165766205927403495830955515125669575070397507870612334228207220318798126583311294036113250-

594636330922099830118717646038919331452203880186781713743194268539951738113370303656432484-

669040180394156527174072227525103753396217587751155289897620096248050806343834104814613660-

775128938708615186436016196511932805633535949725606603698736227007887815775488570013061397-

267349829427760976682384047135961673253086220507893328219808218165079429683728149097898386-

838982603394510752358575466078464162165621958674950127192458186931656951517142871982696544-

517556628624540539139429977197586132057115944547518853347838375495500055123335599607252515-

300750437849125782182965814976563137785801574036235881708837532650935861698116574596899733-

436876174133187799575309169533018332382053513709371466079559569582992626747638723929254798-

289537211616676601804638997031708289950247855932862439949390809716122248734604763603527687-

310114268318150759496865534091979417601998257821164686650834318370406146716776811784303588-

531718901349017943196541768973249429171692155025242221330746283456632040929124083295564087-

846794967888032192494179205085854526165215155744779183458268938210582852520505323115637702-

406888033678544916839583030984078739348691487884805627816086761625918989138591202548637944-

950761367733718916543837149422803479320029920245011136858486310895152921085633886473549214-

058471178166769623032725401687613979336353052391439798609703774670503323600202983688803768-

804050797204273302678786285244265854708418470109080469125423471479876994713330455187654539-

018578209064265201303519420742956558456914829229051948299133799731589937124821807147601441-

nice.nb 1 7



18/83

782713976788631312235432325865501052299158140025603376631157969218390770241216520873375046-

907041344494253846902379940045500575824365254552613645118822056582855957573619846137909833-

409144288747927500264078040241408983135037921723050782125431317440124253062319165517140117-

018485603099293998171727644638114439240239783561826296317064720647122045439073721581560134-

147529695336152426988157393366518093316032884475388399749336317559918604376464221069303190-

132895904216670198609074994837596721636526042883200935432602450234638507671670079904886843-

188848036431021173980515669641001730519199021511757411012495582003739893034203364765919172-

579482835377209244709675743587006176582664196187551531746052349583546937640752625432368591-

810810321706386180548865648265882178012744050813116506705099432520979369428692453539584995-

017324341923990186989114006745117585084711120553278648927346924497728554010167600757309170-

284006831433339687171335502645883295391456554447446467585744362771622538531708354633557957-

039623372937228808835372028218494869954871441385358596738968807614877799294097933067250289-

534138263219557849039972211748888995310558562759701966239115258615174419656639425768840998-

390382415726773223725528101482880026674707243828451978021520009155947256168680115396042528-

193971894846743610161239426596645949768807842874927665946788527382209857294735056005437431-

581468817796139553802354235560662081094109814484996997812283964253444722793810012831600739-

759993714168594275639325780295885576223397587132194664942569922853110385891551640147936488-

563205518057591675623422398998573224283343258296204876602909533208672976389401675505174456-021957533463039241733837406442517051580483439335214649635119126647038694042150941882950045-

335609058624040489379333951008915055521151503306963627859199345595557762625460707081642629-

962476313161418115412113656914381438508929025638450609590039968072041141692702685020051683-

420633497452747996603791884606237239554867529779338052265010535615174825418899132056745745-

963650962677648885019962260643832764037664533904695863566212083543734138660496835123523744-

695252533450259065487685239176977284486768984638301166860686111475064424484894544049912112-

194444563639062760219941792139093128900150592275518831776427314560366196756619714639282139-

889139208136489338212954873972441914958597971188073934043562161167144931431560776184560663-

934150828782770200399418939068743262707155897209238746974949910440208058407323468614025488-

023233814962751563012426147223761338878818008632478410150714756513842776145555730987282591-

164908588225080474390642732583923368971388926928834246626983049483731288152804364612862023-

107399809449972091872148726165609812463308697190118711134115571615474904676103371168956880-

679033309046410463207984665784291116290025191598704079283683396822258865610776336901062045-

650021589278004793613085925897382970645448193589064633282014297311141630658099325888617958-

146418418924577477357445337817558355131882196675905396031100699505807192579266384163017565-

350777570702200542374495400219109830356107251022551545515549315370352933725646786290501720-

346515918416382417125607651523816058346196629335325355746130936138108144448502067473717201-

851757884576804862428390801489020245108379368619149365289702882327123757258360828268517245-

575755531359239633832057271975357566887437092985524364779251751792644108176108852468593611-

616417394367404767661271952809177655912798064022629310916884807573204000216344437432283969-

968937087980842054914785035337233606294730062478838564402342437389062411567897640878425425-

990579231892904716314956328128975599543098061613864208177280465675011123712551650108768855-

752155189332053541434186525220721762774176595979780973107926062055556610776388460224008728-

831611825364961127055215892656438569587259434078714771011441232159555954254304663437076903-

422505355672528482779666678541776971971414889731275218538740554735012930001083681228930885-

819373044958060788691187805006902382027105346440749195508450878952651097039594158584306171-

805765692422562897577726950132283098794131076310435476671512838105485390096059347410904710-

193023032471583336709960946602273259333266613294702109684470374202556722917913960817824668-

948348862289274127770725000801065021145115062470160910607983461354345545189363758833340312-

657445196310743378848852123555235100688047007021362591006696653240816428408713455006810933-

990993679692940060478350067494077349385681780565993720453190443098355277258293590314134613-

1 8 nice.nb



19/83

307702754399774705024185552905300777759219315667367054934924057333706827306386182664451367-

929822930869021503676019069870388376954637293397090523317148701314943968905581504537130040-

221722285485559596810837686741964668757878458596485035375657348084588696519098059032933946-

888460149242815512128062295463668961815266334542106141638306059593872056594083820539055056-

319446295547760272550504349711063406788046779513027656232886368005908844542846267324086494-

394980392756232426414150767950268220487705894415963058221032686335330444926961653405867602-

765312559429952236702358318645536894913786432929854222715579830868302189307425783894126387-

307753123329821074943945070485985179472548965688889210187571397977477573229848137715877042-

342363397367477397806743731638931019335525754630307947127779089796260325873767240543538989-

616971798792863701141950257844030556094271407192407079916808136859824738216667015324002090-

810979109386075502229213144321466138517477004211011505914695068971333440903174932396205450-

797020217609658413365710749550176909461603628021510963072713969867143530388809867964037835-

534298928146159205513738503870210163005511199456357520513168969930448675001855837165310119-

989402693599664905171888949261503938446688244891054943310898563864822986330436080001971160-

631460015737333716912962492864830757413916876858763060976206089886311790279354200612329667-

052639418153738724891571870094727265561417550853973042412167105748668874390266328748649426-

986560125699582519139778716401285033410695791369184341186259848065395511622701728729727438-

622330482953919082321544509051828576467192221665310239528653002020335037370445472614471907-479817329231225331667763506195658044967306941651151343172987507073107596867325543763567636-

533651683883516472006355165625398840826856961535326640875777601241581120148422680637222742-

491850173798993545782033203951880939315542423565632073785413611702015585408690129597087872-

996359399051750263043915187977008185420551040633158588554458096465508002406338305021001609-

316011402094981502488946518963856377189401501766985938749231231112218684161631790556859322-

714208306662648217824815914561476524344292297308609760535726131115008154993970011912065632-

702177673440327285206215711299390159052861993107173219508878445901193613203216867486818928-

041736879397358498437241716694682474081492808505968589812651431109340672775705861472238632-

726279676253262243322459844412466455323214666961280011336667488074008823337051446690730730-

173955173866111318280998159193413912801038233432641370114463532972403284560609385024007741-

009906027365471100405495284141624002716657694395267914310183806539740711751945440645124049-

359540390510887464863288679301576437053597351051529148623719436592687986045456766604987502-

031748173516582451350412989139390052488905844932717028758764584551649867969670891332755696-

546338534701475743553252525056409319776955327448374888857165580908830560222785963159879512-

611031361690280611750585347788398764062759099056519594619592651627393637067013116581635565-

665663618763137112537643273597123565724085505124111423003814106417175623605576321852961691-

982271881082436708459306713851029825734092720657212316288788439401408681633772043457883203-

92672347689652793152945725855816699494349548437047395698386781366770743

all the known happy fibonacci primes (heretofore known as "nice numbers")

Documents