# A125819 a(n) = ((1 + 7*sqrt(2))^n - (1 - 7*sqrt(2))^n)/(14*sqrt(2)). # T. D. Noe, Table of n, a(n) for n = 0..199 # Offset adapted with bfclean.pl by Georg Fischer, Jan 31 2019. 0 0 1 1 2 2 3 101 4 396 5 10589 6 59590 7 1146313 8 8072856 9 127338073 10 1037743178 11 14427279437 12 129515647140 13 1658477399669 14 15879972571918 15 192632252911729 16 1925621845299504 17 22536572223036721 18 231858463440125330 19 2649764432514812597 20 27789799818721782204 21 312606749591380386317 22 3320824081598773646422 23 36964502873561444765593 24 396048941662203933234120 25 4377654662059868008730761 26 47172056665353517541171162 27 518976615550514231929226141 28 5613642727640319665352054996 29 61568017163680519827839045669 30 667659378908472047194827425950 31 7307416422693954517690042281793 32 79377792599509697613278344880736 33 867574978200332983442490791095393 34 9434795838553106635372981035622178 35 103024364562538512664667568807497477 36 1121223925464728368960514298070346220 37 12235811213495692466393782770467947709 38 133230343197070036721957452453759478758 39 1453334374103222242684111833642909885289 40 15830012038322238047398096555300489210104 41 172633458364657033635155040973963237293241 42 1880778084446571157867925447812073927966570 43 20507001630264874578345889870098581873377517 44 223449477451847151469880548177968334759512324 45 2436078113039387137039312413755499111236643797 46 26546755538907947966657038000773926694145983022 47 289393088042636448226127380135831267178246414353 48 3153821463359343849217987446346733423688653181840 49 34378772466854423176370330765869099763667208555921 50 374678226879565199726885443827371341625133775750322 51 4084097383044009447561692971944045360325986781424981 52 44511982773405843268631273995143110858289949810631196 53 485181411702080602950746766268858621668200617419485549 54 5288025152424528002958727110066598996590526366470197110 55 57638647239950874492139890548212484294996512622630492473 56 628215734265080965271276310772885071259274082792870104616 57 6847380250805396756280122004722381119133209889980897979113 58 74631686725323647143874046154414614150416005810870196105978 59 813459257778770779646919926766900196856753370949887496185917 60 8866192127913935332249622330512017966303859305554184014651700 61 96637932260368636290250477557413355027712795593247455159337349 62 1053296500928388999808714321174492452786899943825250759739889598 63 11480472431112535719771724965418080343261941060195504669935502049 64 125130705452278804420988739084761928606853176671440333034640295104 65 1363867236722473573659834799815077650510114636181844619053024288961 66 14865412902315991176155577290852062375884987409493401542466157203010 67 162025947766711918997315130163766656851251094528625731133075670435237 68 1765996947058074982081721257540183364163345967778111411885368589562444 69 19248510827487206106903010140965732442898048104832918743679077211342877 70 209798725519607685475732982263329251209640655084142644440238907610242822 71 2286703001305474363321057948200334549380391976337078407017348304720744713 72 24923882378012894217788215175943606466095927495835993324737870647635043160 73 271657955882656801677719051327319664222089876696368592130158526853182323481 74 2960932502432564342480894974721169155655484720488828536759890506526963833482 75 32272686725482838447700537928192345740853687480525410510145158117812613044621 76 351755826186924418116047888404338099580289392848467189085999695368740717936996 77 3833962264745684165659047955843333736023386471307899197656079728165304901202229 78 41788239669623036888574741086907463131334844048917115736654129907098459442293070 79 455470819019577437846077133890618298656938175814700453645947993446231494301202353 80 4964400885992589453883904153211260521053356224374361133747346587881013554504832496 81 54109471216884190378837290293812496011829715502774666271151648540046482056226293233 82 589765828375049557784413283449117262565834984769862362515795916104551278899421338578 83 6428150364787865582316043725398046638279152373308867353333301740593611317252793120757 84 70063586081955538269720175945360467745444298269294383870698807343328696687749456083580 85 763657757548334038024096593254331459403966376749548901014727883524237691149019844880589 86 8323483365046355288211050253208628290116029685620653037487240079351358961009736929868438 87 90721769212281112264759470052087408142416797915947549473403084860553773963474398813154009 88 988821424834058687485990814665411760426088475337098443583068457418189367144893279823546504 89 10777654463259385264653650224383302110666606348521109186086236146310094808746803244523031881 90 117470987135422463215448409471311544982663794804740767399730112662184558230548254631930074650 91 1280374457207005297102300890707803394699988405416029125849825131516448312909536423982594241757 92 13955434666549989526103097500132826652718364906891912689473471191264798774182253547262405724564 93 152107191682179492871129381398922582591335605139138650586379980139625083900589540220836452899557 94 1657891546019707969774259220310729350496352606246792832051686665831935648896857674526126261081822 95 18070180685210826748048068436316949212352258910990034770982231405207504436150900750473388453420673 96 196955841334333326564199281242774645422850720627918974250978069396112766815296995929981024231778080 97 2146719209134116847689061200808293364443870555621871321287232585097353463937231364655880728445361441 98 23398155027698566372105452682165727334904261012151883144919337901617645308958271334519920807373196642 99 255028073341406466970049841842735911020863965919625284454700236557678576619827985040660272273946453061 100 2779677184369573872034328593855547373527441250017983233966576249572268748208608289529752862863092980396 101 30297077482855575040163491846456478116078687194239619060039075445239359428540531128003552136298991907709 102 330222841849559815667656857296901051464319175640223611814836047098988787433316066340393131970318002913830 103 3599262199536110410231172423700080480188271009121690272453462412386195439435063652097130821161638220875433 104 39230140058479522940225060005199562952415502055345070890946021393374303259901785739212395443444122724392376 105 427588713471961755672873845109306932483093291995494098209877896788209564145004745731846480539567152873701753 106 4660501012616437236547578510722971471350490283359460072841519868733726544500482708167295319093214210013463978 107 50797107232013164773363919997048715393561029890281847672041195725923780811066425752323699250524442248775997997 108 553662812687820741491842955534225663508119617266431322409709818719019036438679674196875044453090662868858001860 109 6034645026880918465999986150782176720191659133890201869007415622852644811550802646369148916207052223868987809429 110 65774582884480448856708738988384242800670921142624242011756683661450136157653533689835177144363898746017201799278 111 716909733376409988915416134602639627459932778272598065317232682739606819035734924077477799160811863207326221113169 112 7813954006547423516931579951078550806584944907379747605774863680639876845363862616068967781324921904778321016756304 113 85168152150606615958658524958613145476783369307201507547321297587021615137194012867653282081248594540667285481490001 114 928289842936313313059680305171845719192306394630238532854804372196111284274682699493996438951014613844831709588341490 115 10117890444481468374109237531329166549632599612059023297799774610333319236857184647150361239783142898134390110881213077 116 110279895653785328115007464664327367860918919503251184282515573323689433048358591145218377057814703339217456051831550684 117 1201995164422273088518610969867583891036200001376227628451609283849710832071864093064021794374594267797470752859140769837 118 13101140207261723004192946012174922464581535194567820132307229180097296669834511527214226163357214759499034742745941956022 119 142795811363483935594691156101505482359674470522629720224420558893616544050639840081638566381050073495352732512828538586233 120 1556402222831355002596098075383978443783757854918337993282642348256670865075227298303057070607749978662111835072013446906600 121 16963998147920651757877238292613988676455939350531758848334078909194146503062519084525055080177357086373438723888395136677801 122 184899011910482738767575989897473886399936390628142303045084465599285366918422086104446646009306462102971725449762094623295802 123 2015305844169268698049244094178504674416098898257865214378574585390402944633908523407823634795816561584167007116698517504338301 124 21965815843655363056553359208411976329626027687445533824130342333911486480354759398946971932494359947156591382860320213468369396 125 239416298571729789823883395552138906077613648505903993442982419450692058590198645568452836440182926367977382456040396624857553989 126 2609516733978029796133442634320239516128951982694024767826608045290798305774808952834761950332318767610144129049531853956146939390 127 28442414429413849205183574637197952921786427870460736899622510777298726294798886525809449035362381392914094356334982180523476615713 128 310007952054696588635311084803459138908081198062241876278426001947804888249754241476590807252959683244012169230474554194793206352256 129 3378930103762536550173428909415119711229445899559175231820235549293586227095000475956698170936070361600691491025442379900363644428673 130 36828631556830642197972033044765775896542768011155812462647793287524246614416162375142704645409229997870563397406916516695668305026178 131 401413483178627329762766670302798163782341788279551622411858434856526357257047370918085131871617285071008201424281743883726610119633637 132 4375204227369826952728820545947876589529332073641217053700552818602904636112462492225012614347929879935461052397034389886933045826806540 133 47687516323066504892446008111267175065945817610398941481351373818288865926158519963504283020242736411758717642949397936495347273258075869 134 519769842701006224199587609179478379316236846363995937171656371041059481555225901672834789632234671177257157368411131692023199991716386118 135 5665228768739463422966438005151872740029218000936689198034396002456138957947828239805585032228014774295109926102913863224095085489466131529 136 61748132279476530593292874100713148273733410099180984301719459995895047626752568941876144658782792652784164116941707500574440570175421716504 137 673023455126681013214330234701157952330300966289220820812775332230035574174444477144894037443683018412193991065866059733886104432829058191321 138 7335615741362585493978069257171491287212742712198997118892338284061890768143888141651774106789296924144451901475077747023492944172674022883530 139 79954506630013229269746171280355303950464679154452413856623883794437232231208890566358269845615846634271720936339163288233938018329766690325197 140 871463740172197251455365060506345262760565401392207548245804581142877868972374930872938628049793494910555276315760868037746691621408913600352804 141 9498514623455677742076108735207155008716204680766299240584125890346167264372012246682629431124324113345467483456420575034185371020805196162249717 142 103529012043614488875322628339529800505207253296576730661011296151551487819064392788040305783078617233014796769541645349729799829318275011558721422 143 1128413942562429718732027803994153636855886360627484487658682803666681200282213973504295666385216673460539939434356086477775580647654654050855665393 144 12299142053355464858370350556922697922716876291022911849435461334033856719013674047448500993729059218523515165514251771879341744739181984222907308720 145 134054436535266612433747398101278298620454729562911819001763154623735789865402103524813681626824135762719404456161043932102914812300865411378814160561 146 1461125652246013316129418800224058295744446459355046087398766058648755681475130589652131959645367015722219779967204509736501978864302383292379637266962 147 15925531648412888038332335216272111557673001686312538617968558115799882979894265221211191037092675200428221792182030280886986694521788711488504248108341 148 173580251564689067741218294054277877802557309930064547713617423920529067062876197638679182159785950925911762241182898006214665338880908602337833311111996 149 1891937073025428275200673104086950576699395783432445341370184985073646783175496121734843894917561396293361038324022733258467040046375322219060578688733069 150 20621158547825696121299520731438855300246850630081151810961260090438613071449983414421568459334360032400163014042786573119756617964198778864890988555329750 151 224760213179117934937064332559311916540335092253109501734830463733020964110923090637122994725672175505256346745515778272310816120426803812978658109917767193 152 2449772805497328393640182176068192797204614695624090729132903156238587396152494572473138130006777274153328505853181854137238024183380889175851742109702520136 153 26701286289369096476175604610389641498821733339799803126544361294580208311064528936747206748403755572316522646021394200688625212048161748210633320881428457993 154 291030534711979047135448880299393984326491092155136406978980328744303394048921031403388812107464906737505910359801428252689338769884269746478885626404001369178 155 3172085839492760452459931407806583194038690318270853717232763703062886994271101369671256678810094103989714517383678093972175323108440229069389203378306563163677 156 34574133546047488477058404204654382867747016575589938911426619294323203211287542785471228132044284161517502339668094728455216506895654623547230312517801259137620 157 376840593522892740842730154966547335557246994023452688394431317785746444866871918429054354108667696410037312865552964572211439355310011466825213352731339145151909 158 4107372141012391863960125517784569809285954595879129451197244707120843601228635487048817837025630956487272352678911117804578879879498521417731767019689400426652958 159 44768281853745379589665076067324231167624867612033169676654327239459092354543847061715908022592028464748164053316459799113667377224068155117509229254318697933041089 160 487951661385692769983462327359751733835987331024341896119441391069640014028265336367167146236670259708761746316487298025271486102759492887754999859418509237251419104 161 5318426662584687360164437033249953890931586820415901250874352524366811986447283837720777370664767280498095405804671196564568707796253596821908394956505932174007823841 162 57968164479581573408724719820395825963953944750192966425334519982488705333636305303056767926286549752746080204308610301580471567560178003756051776276607260361403300770 163 631823715229877820753399831866037179348271811080728354185481234828558173352659142865028940807055525713807414771670326669924107791356954899237217863334289941601565514117 164 6886559384979168262153097486310469477200076262930174451628410907958520764068039900126564370463906377443984609361275852593153957636051176162811458025499484138259251202924 165 75060019147256485137385978663626545351182518200690999259248501594287184343344016658160935999212198749127288451574573392168946371033726977551633048794425092611870357275197 166 818116298637492291703622413499368629990772433905608920326452861260550882801287903628598615933423316110321084011192904485873826632764418042895977526062300146634888081234022 167 8917054454558863641733684757370512159046249133278244768800010377166958646906945423098808023790429910885989147825119428012135451255800352908300360785183834276621200818162153 168 97191389876954479578718743624179781427197424355400554809265948296607352925538817498171681793122921484473123444735950591154032085889749255977510541598410782776826545516024440 169 1059337061846118732405604908713299242281881014638790852192132903178409694601051341036927741893917544324887194228508485699485202943592132744060156079359653490385909570393777721 170 11546238941756821983946927948972037283001912191751435520883062791127732622979367979396508617720758472643667362596404178740911518218489943317938834693765152910123994055841926122 171 125848172882587161011237532043134101067346282803465583704403017190561205622260716039375008199151518744801392565358131470331887721965416762809712809085416694387681216439880291181 172 1371681523115586054465327075136555818585878048206820412934463125120512475673520126080211352317216609336038519302567468278532192711124358027459492583466053221057389856296427416196 173 14950635815842126727020694758457119440704345528349802445196018917725461896706329707979798499952130536917812117444873689179257494452894142047461127648217525797719857707261243076949 174 162954379373896100737178115805160153284238861732761184945034960972140633933744111645740098174674272179431360607238791801376137681884851012758493035892642214038006531475275945524910 175 1776120432884478493995363623180660892316799239715453207074083756963651071848002204965520650844705206439890496606630331453140252325700433804120715453662384430454839260554892469513873 176 19358815665036878759497004479461856653204768067508741353816558728224943635269183239567830824632814814284622972115423467639765859794231415845815255388911063622596312074211551654944016 177 211001313319868171436544280407447819861139062387416443793819241881924041239794580360791164781202034653238624115073989086234136195181404910691339909783073416999312032422247672852733713 178 2299807746148313582544297995322695735083140627323180798907844680401667615100699934959661919551787106292085676525344054533525560790403257158426759592290520005390466336043015856235036978 179 25066742884323839794433391190167829996696770306225756645816155823349967230461474164916066822880171573948317892212865050431762332513402790653913490433539161459714199817044055979185244117 180 273214837145034097095663687926637146296458181462800050785693245645661693125690842020919339842283692458228946407384103390615504061695921525675222661319258763442303634230260650013169075100 181 2977903734069480654251366321299553802272503082629498496215553606156270207606144678038697161503944027589444728359416116673111954377191913744780053894691816188476884650713794730007306829549 182 32457646671207268726782110371482910795301449767150601918643352039941724648404301032106570287709406223627097258235090262235927802738888215480056705937351732430857221821762872511292013943798 183 353771955547154160915946753909022540411035698549362557970195403877041659434604635833966765241301383123430333167333543841763715180065392064203778639659809635143972254762763833833292790353849 184 3855935638201413388329758213851887427966312024512333502048795955628430609764426471782270848390415169938689100383470843120412427225802941029973057755242737316081095026236526301261910933256104 185 42027750964476780385506351556878961275803086808312835127206546087329902184685502619459317925187064502850120517998295438891905226917948912287712643557487009241127498764461144484353222530835561 186 458081258834490659438999249857391003064338439994322019953146299870617573516520373001798908144244400489753083773193262660463815894738783104482811889373519538142121215073865340191111805587513210 187 4992854361223229016272114600732041249881576300394989047245327570212235658947534500091151655031634057755967857792221182893442438800518610700873750203823278972673609810300461695364486196666075837 188 54419590829392051998127156437631009797003981280239214029945846227874375948997545181356797400054974963017984841584188843851875019390699182536580253676877953145132977482765861389266817535320933044 189 593146054697437318574649429146270020832520863698792365642688466766335610815905936871555305338178453528364851889013832428367666602431703603057914277124613966639606106564676507228888796147251222277 190 6464992419845903680967633032742747991974427911580788492190124017636485688684573756334719958481689478469474233411693982710367210085761227912164113160906389388357111028957641569216658893220632949822 191 70465152145343227263676260692673688004703379601944436451721029311607525626512023389210304534766688949190339100057729710972398080607397705320945911202900333540756014394688904339635531012724634460513 192 768034569015739111581212925561393931230926266627225356645884088333954163055427701142888445042257257309919678841049775744850415539533634518121810799013720437752151798598269040893286974667850665053760 193 8371188896129771267739023138312135598918080354643061049108708019893838311882521671039176429956883342691302250387699333454023444897984846452375374984708773228957636993481361802731220457569990872777281 194 91241730986786236358855700056079482527236008572126981692868172608181230440141530352938532029012720644444813348357226914158537197130732241162566397473748428919873998450994820572111277457921496255769282 195 994488784898160285688396644528436118149525811544630885149281023146064777132887662796677177763843125529945944984321289173357348549365994588205544168464247861048638785269681736009150939300132107170934821 196 10839425475514585498185796194496582041440944454585578994506774789285708906959503769828391962341920153571038784759293589020092805220413016569180028891882093327325055420285861067513095792018649351151489996 197 118144263086150718708146066908251467543385892629000353848493808823739701195809110830934470167776623483546834232997752227855848419729327508194297842124796229176368073011730850527913832696150113097883657629 198 1287712797297216230740314364682671393106543397352801870164144772208193166366690087335222960682719501863484430587646982590660698945838717623599058486762155511103266521791190224604597957218109213257461844870 199 14035419113951052176170797219465735137921518379718638063632189000319137348726863925271089527639771481631011781776075931283338694605422203542045007659629545252314236125720272950416837685962779397009638479753