Skip to content

Instantly share code, notes, and snippets.

@hyuki

hyuki/fib.rb Secret

Last active May 18, 2021 03:36
Show Gist options
  • Save hyuki/2c0bf72064c16ff92b0bb648619b81dd to your computer and use it in GitHub Desktop.
Save hyuki/2c0bf72064c16ff92b0bb648619b81dd to your computer and use it in GitHub Desktop.
『数学ガール』の最後で求めた式とフィボナッチ数列の比較(nが大きくなるとフィボナッチ数列が圧倒的に大きくなる)
# cf. https://twitter.com/hyuki/status/1394478452854587394
FIB = {}
def fib(n)
if FIB[n.to_s]
return FIB[n.to_s]
end
if n <= 0 or n == 1
v = 1.0
FIB[n.to_s] = v
return v
else
v = fib(n - 1) + fib(n - 2)
FIB[n.to_s] = v
return v
end
end
K = Math::sqrt(6) * Math::PI / 3.0
def val(n)
Math::exp(K * Math::sqrt(n))
end
1001.times do |n|
printf("fib(#{n}) = %.0f\nval(#{n}) = %.0f\n\n", fib(n), val(n))
end
@hyuki
Copy link
Author

hyuki commented May 18, 2021

fib(0) = 1
val(0) = 1

fib(1) = 1
val(1) = 13

fib(2) = 2
val(2) = 38

fib(3) = 3
val(3) = 85

fib(4) = 5
val(4) = 169

fib(5) = 8
val(5) = 310

fib(6) = 13
val(6) = 535

fib(7) = 21
val(7) = 886

fib(8) = 34
val(8) = 1415

fib(9) = 55
val(9) = 2198

fib(10) = 89
val(10) = 3333

fib(11) = 144
val(11) = 4952

fib(12) = 233
val(12) = 7228

fib(13) = 377
val(13) = 10390

fib(14) = 610
val(14) = 14731

fib(15) = 987
val(15) = 20632

fib(16) = 1597
val(16) = 28578

fib(17) = 2584
val(17) = 39190

fib(18) = 4181
val(18) = 53252

fib(19) = 6765
val(19) = 71755

fib(20) = 10946
val(20) = 95940

fib(21) = 17711
val(21) = 127359

fib(22) = 28657
val(22) = 167944

fib(23) = 46368
val(23) = 220089

fib(24) = 75025
val(24) = 286751

fib(25) = 121393
val(25) = 371572

fib(26) = 196418
val(26) = 479018

fib(27) = 317811
val(27) = 614552

fib(28) = 514229
val(28) = 784837

fib(29) = 832040
val(29) = 997976

fib(30) = 1346269
val(30) = 1263795

fib(31) = 2178309
val(31) = 1594181

fib(32) = 3524578
val(32) = 2003477

fib(33) = 5702887
val(33) = 2508952

fib(34) = 9227465
val(34) = 3131344

fib(35) = 14930352
val(35) = 3895506

fib(36) = 24157817
val(36) = 4831164

fib(37) = 39088169
val(37) = 5973790

fib(38) = 63245986
val(38) = 7365638

fib(39) = 102334155
val(39) = 9056943

fib(40) = 165580141
val(40) = 11107318

fib(41) = 267914296
val(41) = 13587378

fib(42) = 433494437
val(42) = 16580631

fib(43) = 701408733
val(43) = 20185666

fib(44) = 1134903170
val(44) = 24518690

fib(45) = 1836311903
val(45) = 29716459

fib(46) = 2971215073
val(46) = 35939673

fib(47) = 4807526976
val(47) = 43376886

fib(48) = 7778742049
val(48) = 52249023

fib(49) = 12586269025
val(49) = 62814571

fib(50) = 20365011074
val(50) = 75375560

fib(51) = 32951280099
val(51) = 90284435

fib(52) = 53316291173
val(52) = 107951942

fib(53) = 86267571272
val(53) = 128856173

fib(54) = 139583862445
val(54) = 153552935

fib(55) = 225851433717
val(55) = 182687613

fib(56) = 365435296162
val(56) = 217008739

fib(57) = 591286729879
val(57) = 257383499

fib(58) = 956722026041
val(58) = 304815431

fib(59) = 1548008755920
val(59) = 360464613

fib(60) = 2504730781961
val(60) = 425670671

fib(61) = 4052739537881
val(61) = 501978973

fib(62) = 6557470319842
val(62) = 591170438

fib(63) = 10610209857723
val(63) = 695295413

fib(64) = 17167680177565
val(64) = 816712164

fib(65) = 27777890035288
val(65) = 958130561

fib(66) = 44945570212853
val(66) = 1122661623

fib(67) = 72723460248141
val(67) = 1313873675

fib(68) = 117669030460994
val(68) = 1535855942

fib(69) = 190392490709135
val(69) = 1793290521

fib(70) = 308061521170129
val(70) = 2091533778

fib(71) = 498454011879264
val(71) = 2436708332

fib(72) = 806515533049393
val(72) = 2835806946

fib(73) = 1304969544928657
val(73) = 3296809781

fib(74) = 2111485077978050
val(74) = 3828816638

fib(75) = 3416454622906707
val(75) = 4442196023

fib(76) = 5527939700884757
val(76) = 5148753065

fib(77) = 8944394323791464
val(77) = 5961918543

fib(78) = 14472334024676220
val(78) = 6896961562

fib(79) = 23416728348467684
val(79) = 7971228678

fib(80) = 37889062373143904
val(80) = 9204412616

fib(81) = 61305790721611584
val(81) = 10618854059

fib(82) = 99194853094755488
val(82) = 12239880390

fib(83) = 160500643816367072
val(83) = 14096185690

fib(84) = 259695496911122560
val(84) = 16220256788

fib(85) = 420196140727489664
val(85) = 18648850686

fib(86) = 679891637638612224
val(86) = 21423529253

fib(87) = 1100087778366101888
val(87) = 24591257752

fib(88) = 1779979416004713984
val(88) = 28205074474

fib(89) = 2880067194370816000
val(89) = 32324839531

fib(90) = 4660046610375530496
val(90) = 37018071743

fib(91) = 7540113804746346496
val(91) = 42360883536

fib(92) = 12200160415121876992
val(92) = 48439024777

fib(93) = 19740274219868225536
val(93) = 55349047723

fib(94) = 31940434634990100480
val(94) = 63199606463

fib(95) = 51680708854858326016
val(95) = 72112905748

fib(96) = 83621143489848426496
val(96) = 82226315586

fib(97) = 135301852344706760704
val(97) = 93694169771

fib(98) = 218922995834555203584
val(98) = 106689768390

fib(99) = 354224848179261997056
val(99) = 121407606423

fib(100) = 573147844013817200640
val(100) = 138065852904

fib(101) = 927372692193079197696
val(101) = 156909107579

fib(102) = 1500520536206896267264
val(102) = 178211464839

fib(103) = 2427893228399975464960
val(103) = 202279917697

fib(104) = 3928413764606871732224
val(104) = 229458138005

fib(105) = 6356306993006847721472
val(105) = 260130672727

fib(106) = 10284720757613719977984
val(106) = 294727600176

fib(107) = 16641027750620567699456
val(107) = 333729694549

fib(108) = 26925748508234287677440
val(108) = 377674151960

fib(109) = 43566776258854857474048
val(109) = 427160936520

fib(110) = 70492524767089140957184
val(110) = 482859810887

fib(111) = 114059301025944006819840
val(111) = 545518122090

fib(112) = 184551825793033147777024
val(112) = 615969420530

fib(113) = 298611126818977154596864
val(113) = 695142997703

fib(114) = 483162952612010302373888
val(114) = 784074436680

fib(115) = 781774079430987490525184
val(115) = 883917278613

fib(116) = 1264937032042997792899072
val(116) = 995955918618

fib(117) = 2046711111473985149206528
val(117) = 1121619855514

fib(118) = 3311648143516982673670144
val(118) = 1262499431942

fib(119) = 5358359254990968359747584
val(119) = 1420363214682

fib(120) = 8670007398507951033417728
val(120) = 1597177179413

fib(121) = 14028366653498919393165312
val(121) = 1795125880031

fib(122) = 22698374052006868279099392
val(122) = 2016635799877

fib(123) = 36726740705505785524781056
val(123) = 2264401101155

fib(124) = 59425114757512653803880448
val(124) = 2541412009411

fib(125) = 96151855463018439328661504
val(125) = 2850986092480

fib(126) = 155576970220531084542607360
val(126) = 3196802717870

fib(127) = 251728825683549523871268864
val(127) = 3582940999379

fib(128) = 407305795904080642773614592
val(128) = 4013921573006

fib(129) = 659034621587630097925406720
val(129) = 4494752574103

fib(130) = 1066340417491710740699021312
val(130) = 5030980222548

fib(131) = 1725375039079340838624428032
val(131) = 5628744460611

fib(132) = 2791715456571051854201356288
val(132) = 6294840129560

fib(133) = 4517090495650392692825784320
val(133) = 7036784216091

fib(134) = 7308805952221445096782954496
val(134) = 7862889748713

fib(135) = 11825896447871837239852924928
val(135) = 8782346977705

fib(136) = 19134702400093282336635879424
val(136) = 9805312530399

fib(137) = 30960598847965121775512059904
val(137) = 10943007296940

fib(138) = 50095301248058406311171194880
val(138) = 12207823870552

fib(139) = 81055900096023528086683254784
val(139) = 13613444441403

fib(140) = 131151201344081925601761427456
val(140) = 15174970124699

fib(141) = 212207101440105453688444682240
val(141) = 16909062792430

fib(142) = 343358302784187344105834020864
val(142) = 18834100574633

fib(143) = 555565404224292762609906614272
val(143) = 20970348300953

fib(144) = 898923707008480106715740635136
val(144) = 23340144267268

fib(145) = 1454489111232773010063135604736
val(145) = 25968104836024

fib(146) = 2353412818241253116778876239872
val(146) = 28881348513489

fib(147) = 3807901929474025845367035133952
val(147) = 32109741293296

fib(148) = 6161314747715278680670934663168
val(148) = 35686165214356

fib(149) = 9969216677189304526037969797120
val(149) = 39646812253551

fib(150) = 16130531424904583206708904460288
val(150) = 44031505860632

fib(151) = 26099748102093887732746874257408
val(151) = 48884052645735

fib(152) = 42230279526998473191255592402944
val(152) = 54252626950156

fib(153) = 68330027629092365427602094030848
val(153) = 60190191269913

fib(154) = 110560307156090847626056941174784
val(154) = 66754955760732

fib(155) = 178890334785183213053659035205632
val(155) = 74010880334017

fib(156) = 289450641941274060679715976380416
val(156) = 82028223157979

fib(157) = 468340976726457273733375011586048
val(157) = 90884139708191

fib(158) = 757791618667731334413090987966464
val(158) = 100663336869635

fib(159) = 1226132595394188680204060037480448
val(159) = 111458786979893

fib(160) = 1983924214061920014617151025446912
val(160) = 123372507123099

fib(161) = 3210056809456108694821211062927360
val(161) = 136516409438969

fib(162) = 5193981023518028132977609784950784
val(162) = 151013228703770

fib(163) = 8404037832974136827798820847878144
val(163) = 166997533973186

fib(164) = 13598018856492164960776430632828928
val(164) = 184616831654202

fib(165) = 22002056689466301788575251480707072
val(165) = 204032767997687

fib(166) = 35600075545958466749351682113536000
val(166) = 225422439679200

fib(167) = 57602132235424768537926933594243072
val(167) = 248979821866658

fib(168) = 93202207781383226063906578853003264
val(168) = 274917323964388

fib(169) = 150804340016807994601833512447246336
val(169) = 303467484078285

fib(170) = 244006547798191220665740091300249600
val(170) = 334884814171581

fib(171) = 394810887814999252161061751166599168
val(171) = 369447808880456

fib(172) = 638817435613190509720289989885952000
val(172) = 407461132039244

fib(173) = 1033628323428189761881351741052551168
val(173) = 449257996132783

fib(174) = 1672445759041380271601641730938503168
val(174) = 495202751155206

fib(175) = 2706074082469570033482993471991054336
val(175) = 545693700717554

fib(176) = 4378519841510950009936730023576731648
val(176) = 601166164718878

fib(177) = 7084593923980519453123913136862134272
val(177) = 662095809485540

fib(178) = 11463113765491469463060643160438865920
val(178) = 729002268000193

fib(179) = 18547707689471988916184556297301000192
val(179) = 802453074695401

fib(180) = 30010821454963458379245199457739866112
val(180) = 883067941287416

fib(181) = 48558529144435442573063272885395652608
val(181) = 971523402284737

fib(182) = 78569350599398900952308472343135518720
val(182) = 1068557861135755

fib(183) = 127127879743834343525371745228531171328
val(183) = 1174977070493262

fib(184) = 205697230343233244477680217571666690048
val(184) = 1291660082784909

fib(185) = 332825110087067588003051962800197861376
val(185) = 1419565710202703

fib(186) = 538522340430300870259664043329026260992
val(186) = 1559739536377748

fib(187) = 871347450517368382704852280214900703232
val(187) = 1713321525406547

fib(188) = 1409869790947669101848788871715280125952
val(188) = 1881554277559220

fib(189) = 2281217241465037484553641151930180829184
val(189) = 2065791984950995

fib(190) = 3691087032412706888633884927302754631680
val(190) = 2267510144714502

fib(191) = 5972304273877744675418980982890229137408
val(191) = 2488316091797530

fib(192) = 9663391306290451564052865910192983769088
val(192) = 2729960418452019

fib(193) = 15635695580168196239471846893083212906496
val(193) = 2994349352803392

fib(194) = 25299086886458650221376352032534546087936
val(194) = 3283558174621073

fib(195) = 40934782466626846460848198925617758994432
val(195) = 3599845752585218

fib(196) = 66233869353085491846521272499635606257664
val(196) = 3945670293990150

fib(197) = 107168651819712333471666192966736666427392
val(197) = 4323706404980672

fib(198) = 173402521172797825318187465466372272685056
val(198) = 4736863567118681

fib(199) = 280571172992510158789853658433108939112448
val(199) = 5188306144365659

fib(200) = 453973694165307964765228010065414416498688
val(200) = 5681475043485089

fib(201) = 734544867157818046183829213162256174415872
val(201) = 6220111160464482

fib(202) = 1188518561323126010949057223227670590914560
val(202) = 6808280755878669

fib(203) = 1923063428480943902390381525717392402939904
val(203) = 7450402913217615

fib(204) = 3111581989804070068081943659617597356244992
val(204) = 8151279246142369

fib(205) = 5034645418285013970472325185334989759184896
val(205) = 8916126033470478

fib(206) = 8146227408089083419584249202262449665867776
val(206) = 9750608974495286

fib(207) = 13180872826374098627996613672977714324176896
val(207) = 10660880772081388

fib(208) = 21327100234463182047580862875240163990044672
val(208) = 11653621766923916

fib(209) = 34507973060837280675577476548217878314221568
val(209) = 12736083863503446

fib(210) = 55835073295300462723158339423458042304266240
val(210) = 13916138006676524

fib(211) = 90343046356137748350495973113197020214984704
val(211) = 15202325487635780

fib(212) = 146178119651438211073654312536655062519250944
val(212) = 16603913379221090

fib(213) = 236521166007575939617109657083767684348248064
val(213) = 18130954423398704

fib(214) = 382699285659014170497804598186507145253486592
val(214) = 19794351718236532

fib(215) = 619220451666590110114914255270274829601734656
val(215) = 21605928578038392

fib(216) = 1001919737325604201384556339192444381311270912
val(216) = 23578503968558024

fib(217) = 1621140188992194232271308080198381617369055232
val(217) = 25725973949565976

fib(218) = 2623059926317798433655864419390825998680326144
val(218) = 28063399589608224

fib(219) = 4244200115309992665927172499589207616049381376
val(219) = 30607101852755720

fib(220) = 6867260041627790465757736804865332866378104832
val(220) = 33374763994653688

fib(221) = 11111460156937783765510209418569241230779088896
val(221) = 36385542045432584

fib(222) = 17978720198565574231267946223434574097157193728
val(222) = 39660184000218840

fib(223) = 29090180355503355461476955185545012334529871872
val(223) = 43221158384307888

fib(224) = 47068900554068929692744901408979586431687065600
val(224) = 47092792909738320

fib(225) = 76159080909572285154221856594524598766216937472
val(225) = 51301423993287896

fib(226) = 123227981463641224988171559829339397171529646080
val(226) = 55875557963040360

fib(227) = 199387062373213510142393416423863995937746583552
val(227) = 60846044841926352

fib(228) = 322615043836854735130564976253203393109276229632
val(228) = 66246265662297016

fib(229) = 522002106210068245272958392677067389047022813184
val(229) = 72112334335992928

fib(230) = 844617150046922939838704161626929934261796470784
val(230) = 78483315179779248

fib(231) = 1366619256256991103982024139697315627519814139904
val(231) = 85401457276882816

fib(232) = 2211236406303914206080005130537608953359620898816
val(232) = 92912446941968416

fib(233) = 3577855662560905310062029270234924580879435038720
val(233) = 101065679649704592

fib(234) = 5789092068864819516142034400772533534239055937536
val(234) = 109914552886470592

fib(235) = 9366947731425724177166956354154004548806449823744
val(235) = 119516781491251184

fib(236) = 15156039800290543693308990754926538083045505761280
val(236) = 129934737165803328

fib(237) = 24522987531716267870475947109080542631851955585024
val(237) = 141235813956309104

fib(238) = 39679027332006811563784937864007080714897461346304
val(238) = 153492821639469984

fib(239) = 64202014863723079434260884973087623346749416931328
val(239) = 166784409086047648

fib(240) = 103881042195729885805748964302267075531150549057536
val(240) = 181195519824655072

fib(241) = 168083057059452965240009849275354698877899965988864
val(241) = 196817882189079872

fib(242) = 271964099255182871814946247716932288531035831926784
val(242) = 213750536604065984

fib(243) = 440047156314635816285768662852976473286950481035264
val(243) = 232100402748210688

fib(244) = 712011255569818688100714910569908761817986312962048
val(244) = 251982889529221408

fib(245) = 1152058411884454421309733836865643178616995526475776
val(245) = 273522551017126784

fib(246) = 1864069667454273109410448747435551940434981839437824
val(246) = 296853791705946304

fib(247) = 3016128079338727198413183638072226893100212295827456
val(247) = 322121624715128832

fib(248) = 4880197746793000307823632385507778833535194135265280
val(248) = 349482486799325376

fib(249) = 7896325826131727506236816023580005726635406431092736
val(249) = 379105114310447872

fib(250) = 12776523572924727814060448409087784560170600566358016
val(250) = 411171484550228928

fib(251) = 20672849399056455320297264432667790286806006997450752
val(251) = 445877827266232384

fib(252) = 33449372971981180475901721271923829039362487003119616
val(252) = 483435711380745408

fib(253) = 54122222371037638454654977274423365133782614561259520
val(253) = 524073212401501120

fib(254) = 87571595343018818930556698546347194173145101564379136
val(254) = 568036166347761536

fib(255) = 141693817714056468019035642100097542537384198368395264
val(255) = 615589516435847808

fib(256) = 229265413057075276315768374367117753480072817690017792
val(256) = 667018759207468160

fib(257) = 370959230771131744334804016467215296017457016058413056
val(257) = 722631497253021696

fib(258) = 600224643828207063185868255951640982419355762719457280
val(258) = 782759106183318144

fib(259) = 971183874599338764985376407301548345514986849806843904
val(259) = 847758524038534656

fib(260) = 1571408518427545998312428123722421059621646328410406912
val(260) = 918014171894785536

fib(261) = 2542592393026884763297804531023969405136633178217250816
val(261) = 993940015039974912

fib(262) = 4114000911454431101892599575684853928132886938395869184
val(262) = 1075981774742129920

fib(263) = 6656593304481315524908037185770359869894912684844908544
val(263) = 1164619301330524160

fib(264) = 10770594215935746626800636761455213798027799623240777728
val(264) = 1260369120053249792

fib(265) = 17427187520417062151708673947225573667922712308085686272
val(265) = 1363787161968705280

fib(266) = 28197781736352807417379843024926933612452082204253618176
val(266) = 1475471692976279808

fib(267) = 45624969256769869569088516972152507280374794512339304448
val(267) = 1596066454995954432

fib(268) = 73822750993122682430986230732094856306820595624884305920
val(268) = 1726264034272111872

fib(269) = 119447720249892546555556876969231948173201671228932227072
val(269) = 1866809472807083520

fib(270) = 193270471243015228986543107701326804480022266853816532992
val(270) = 2018504140029839616

fib(271) = 312718191492907775542099984670558752653223938082748760064
val(271) = 2182209882977760000

fib(272) = 505988662735923004528643092371885557133246204936565293056
val(272) = 2358853474521490432

fib(273) = 818706854228830823626886042922567633098419894285645119488
val(273) = 2549431380498036224

fib(274) = 1324695516964753828155529135294453190231666099222210412544
val(274) = 2755014868040685056

fib(275) = 2143402371193584651782415178217020823330085993507855532032
val(275) = 2976755478914307584

fib(276) = 3468097888158338479937944313511474013561752092730065944576
val(276) = 3215890893283598336

fib(277) = 5611500259351922783271215764687508250396240076107272945664
val(277) = 3473751211069648384

fib(278) = 9079598147510260566310872624117009090966796148576041828352
val(278) = 3751765679891567616

fib(279) = 14691098406862181955785513480640570995380644184160720650240
val(279) = 4051469900554343424

fib(280) = 23770696554372442522096386104757580086347440332736762478592
val(280) = 4374513543135940608

fib(281) = 38461794961234621690288749769070258389763300435852294881280
val(281) = 4722668608960154624

fib(282) = 62232491515607066999978285690155731168075524849634245607424
val(282) = 5097838276117486592

fib(283) = 100694286476841677539894436193914418789979688961305787498496
val(283) = 5502066368733683712

fib(284) = 162926777992448733389500122618758579190196077486759280115712
val(284) = 5937547492883764224

fib(285) = 263621064469290410929394558812672997980175766448065067614208
val(285) = 6406637884930824192

fib(286) = 426547842461739099717404284370185294098935298638101335769088
val(286) = 6911867021131906048

fib(287) = 690168906931029510646798843182858292079111065086166403383296
val(287) = 7455950040623398912

fib(288) = 1116716749392768610364203127553043586178046363724267739152384
val(288) = 8041801037376394240

fib(289) = 1806885656323798121011001970735901878257157428810434142535680
val(289) = 8672547280420157440

fib(290) = 2923602405716566909781166686533930596720949973721593929531392
val(290) = 9351544425580748800

fib(291) = 4730488062040365387604091833759802739549599764905812167753728
val(291) = 10082392786185000960

fib(292) = 7654090467756932297385258520293733336270549738627406097285120
val(292) = 10868954734659469312

fib(293) = 12384578529797297684989350354053536075820149503533218265038848
val(293) = 11715373311719333888

fib(294) = 20038668997554229982374608874347269412090699242160624362323968
val(294) = 12626092124920459264

fib(295) = 32423247527351529094611651934360686546196818195188979010109440
val(295) = 13605876623749947392

fib(296) = 52461916524905759076986260808707955958287517437349603372433408
val(296) = 14659836844185356288

fib(297) = 84885164052257288171597912743068642504484335632538582382542848
val(297) = 15793451721770219520

fib(298) = 137347080577163047248584173551776598462771853069888185754976256
val(298) = 17012595078779887616

fib(299) = 222232244629420346838163627942524289433543944298387859199492096
val(299) = 18323563397976031232

fib(300) = 359579325206583371250784718198942790963740286176353862830522368
val(300) = 19733105502836584448

fib(301) = 581811569836003718088948346141467080397284230474741722030014464
val(301) = 21248454271996973056

fib(302) = 941390895042586997995880731158977483630722471883406856364752896
val(302) = 22877360523994832896

fib(303) = 1523202464878590716084829077300444564028006702358148578394767360
val(303) = 24628129217296171008

fib(304) = 2464593359921177714080709808459422047658729174241555434759520256
val(304) = 26509658120040206336

fib(305) = 3987795824799768064790129553034137060765527697528949099171151872
val(305) = 28531479113996455936

fib(306) = 6452389184720945778870839361493559108424256871770504533930672128
val(306) = 30703802307923320832

fib(307) = 10440185009520713112910150249076237067347368211157943805135552512
val(307) = 33037563146891960320

fib(308) = 16892574194241658161030170945118337073929208724786938511099953152
val(308) = 35544472716244111360

fib(309) = 27332759203762368350937046532388737733906911503378843004370419712
val(309) = 38237071451709652992

fib(310) = 44225333398004029434970492139312911215205785660731820827335458816
val(310) = 41128786480890593280

fib(311) = 71558092601766397785907538671701648949112697164110663831705878528
val(311) = 44233992835854606336

fib(312) = 115783425999770438912891129458237905793797144555106641906501681152
val(312) = 47568078792049647616

fib(313) = 187341518601536825006785569482716209113431179988953148490747215872
val(313) = 51147515605169070080

fib(314) = 303124944601307263919676698940954114907228324544059790397248897024
val(314) = 54989931935076597760

fib(315) = 490466463202844042158409873834776941502744857611956309898154737664
val(315) = 59114193264447258624

fib(316) = 793591407804151352846138967364624438927887829077072729285245009920
val(316) = 63540486639521439744

fib(317) = 1284057871006995395004548841199401380430632686689029039183399747584
val(317) = 68290411081321242624

fib(318) = 2077649278811146747850687808564025819358520515766101768468644757504
val(318) = 73387074037951168512

fib(319) = 3361707149818142142855236649763427199789153202455130807652044505088
val(319) = 78855194272285147136

fib(320) = 5439356428629288890705924458327453019147673718221232576120689262592
val(320) = 84721211604449476608

fib(321) = 8801063578447431781849999421513174339223461271413269447610195771392
val(321) = 91013403955257393152

fib(322) = 14240420007076719924267085566418333238084500638897595959893423030272
val(322) = 97762012165097684992

fib(323) = 23041483585524151706117084987931507577307961910310865407503618801664
val(323) = 104999373092900356096

fib(324) = 37281903592600871630384170554349840815392462549208461367397041831936
val(324) = 112760061531836891136

fib(325) = 60323387178125026329656608795970524873846961862466951030250508648448
val(325) = 121081041512356626432

fib(326) = 97605290770725891973730072842942012726946349605780163886947854450688
val(326) = 130001827599285878784

fib(327) = 157928677948850906330765268624155831676207161856456617895798971039744
val(327) = 139564656827991359488

fib(328) = 255533968719576798304495341467097844403153511462236781782746825490432
val(328) = 149814671965342498816

fib(329) = 413462646668427704635260610091253676079360673318693399678545796530176
val(329) = 160800116824334925824

fib(330) = 668996615388004502939755951558351520482514184780930181461292622020608
val(330) = 172572544407166844928

fib(331) = 1082459262056432159684530909590578372863530259652461593054240850313216
val(331) = 185187038700120309760

fib(332) = 1751455877444436854186229469385037188139422838222039726857923745284096
val(332) = 198702450995365150720

fib(333) = 2833915139500869013870760378975615561002953097874501319912164595597312
val(333) = 213181651669563473920

fib(334) = 4585371016945305484933104631888438159555619148519245142085307794980864
val(334) = 228691798407327449088

fib(335) = 7419286156446174115679979794391839130971815458816450557312691844677632
val(335) = 245304621919357435904

fib(336) = 12004657173391479600613084426280277290527434607335695699397999639658496
val(336) = 263096730270586503168

fib(337) = 19423943329837653716293064220672116421499250066152146256710691484336128
val(337) = 282149933003139579904

fib(338) = 31428600503229136381897230378730110428720738974106209193586935491198976
val(338) = 302551586312686141440

fib(339) = 50852543833066787033199212867624510133525934739639988212819382608330752
val(339) = 324394960614994280448

fib(340) = 82281144336295923415096443246354620562246673713746197406406318099529728
val(340) = 347779631922444828672

fib(341) = 133133688169362710448295656113979130695772608453386185619225700707860480
val(341) = 372811898538329767936

fib(342) = 215414832505658621603427772433222884391243064964658914075719041338572800
val(342) = 399605224670064082944

fib(343) = 348548520675021307531794774692980281353463239013098161795118787108798464
val(343) = 428280712661503705088

fib(344) = 563963353180679978175079854834646633211811172787650951670489738322640896
val(344) = 458967605649494048768

fib(345) = 912511873855701285706874629527626914565274411800749113465608525431439360
val(345) = 491803822561170751488

fib(346) = 1476475227036381263881954484362273547777085584588400065136098263754080256
val(346) = 526936527486539857920

fib(347) = 2388987100892082549588829113889900462342359996389149178601706789185519616
val(347) = 564522735586000830464

fib(348) = 3865462327928464205789642059919721749856284531456700250135020331941756928
val(348) = 604729957825298300928

fib(349) = 6254449428820547147697329635477169951935483478325000435133942400129433600
val(349) = 647736886970815217664

fib(350) = 10119911756749011353486971695396891701791768009781700685268962732071190528
val(350) = 693734127427554115584

fib(351) = 16374361185569558501184301330874061653727251488106701120402905132200624128
val(351) = 742924971659791171584

fib(352) = 26494272942318569854671273026270953355519019497888401805671867864271814656
val(352) = 795526226102333734912

fib(353) = 42868634127888125217304706663804633091351559382161894874897050764455182336
val(353) = 851769089647382888448

fib(354) = 69362907070206701349077715076756350282660002087716712782924363092761509888
val(354) = 911900087980611469312

fib(355) = 112231541198094826566382421740560983374011561469878607657821413857216692224
val(355) = 976182067238873202688

fib(356) = 181594448268301527915460136817317333656671563557595320440745776949978202112
val(356) = 1044895250673643945984

fib(357) = 293825989466396329373435617011155261687525432196808263689145412951056842752
val(357) = 1118338362227931348992

fib(358) = 475420437734697832180488812281749540001039302923737919720469412044896993280
val(358) = 1196829821171138297856

fib(359) = 769246427201094161553924429292904801688564735120546183409614824995953836032
val(359) = 1280709012188212756480

fib(360) = 1244666864935791993734413241574654341689604038044284103130084237040850829312
val(360) = 1370337635584829030400

fib(361) = 2013913292136885954421082138493774700632907230519504971264324839187700252672
val(361) = 1466101142552382799872

fib(362) = 3258580157072678149022750912442213485067772811209114389669783299077655494656
val(362) = 1568410260735272681472

fib(363) = 5272493449209564103443833050935988185700680041728619360934108138265355747328
val(363) = 1677702615658541613056

fib(364) = 8531073606282242252466583963378201670768452852937733750603891437343011241984
val(364) = 1794444453909244674048

fib(365) = 13803567055491805552441394884819052085488086724085051850436502684211949338624
val(365) = 1919132474318954430464

fib(366) = 22334640661774047804907978848197253756256539577022785601040394121554960580608
val(366) = 2052295773770534879232

fib(367) = 36138207717265850143473285215035754757820441618782632407070909240181239316480
val(367) = 2194497914649209470976

fib(368) = 58472848379039894734505175545252457430152796513480212963705315796150529294336
val(368) = 2346339121379432726528

fib(369) = 94611056096305744877978460760288212187973238132262845370776225036331768610816
val(369) = 2508458613933799374848

fib(370) = 153083904475345639612483636305540669618126034645743058334481540832482297905152
val(370) = 2681537086671970893824

fib(371) = 247694960571651384490462097065828881806099272778005903705257765868814066515968
val(371) = 2866299341367147495424

fib(372) = 400778865046997049813954441515213960095618784882350602394987207225981729243136
val(372) = 3063517083805020061696

fib(373) = 648473825618648434304416538581042841901718057660356506100244973094795795759104
val(373) = 3274011893900286361600

fib(374) = 1049252690665645484118370980096256801997336842542707108495232180320777525002240
val(374) = 3498658379866550829056

fib(375) = 1697726516284293918422787518677299643899054900203063614595477153415573320761344
val(375) = 3738387527602346655744

fib(376) = 2746979206949939402541158498773556445896391742745770723090709333736350845763584
val(376) = 3994190257118294048768

fib(377) = 4444705723234233732340085347752366628537742282286460583370152895546890003677184
val(377) = 4267121198531723919360

fib(378) = 7191684930184172723505104516224412535691838385694605060776895820888275012288512
val(378) = 4558302700896484065280

fib(379) = 11636390653418406455845189863976779164229580667981065644147048716435165015965696
val(379) = 4868929087921335566336

fib(380) = 18828075583602579179350294380201191699921419053675670704923944537323440028254208
val(380) = 5200271175459255877632

fib(381) = 30464466237020987280700041565384013019120182279007241331806858887338468392828928
val(381) = 5553681066530106769408

fib(382) = 49292541820623566460050335945585204719041601332682912036730803424661908421083136
val(382) = 5930597240565826322432

fib(383) = 79757008057644553740750377510969217738161783611690153368537662312000376813912064
val(383) = 6332549954552664686592

fib(384) = 129049549878268107036764254886906085217449924485569025543381540668023378446123008
val(384) = 6761166974781753393152

fib(385) = 208806557935912660777514632397875302955611708097259178911919202980023755260035072
val(385) = 7218179659019917983744

fib(386) = 337856107814180767814278887284781388173061632582828204455300743648047133706158080
val(386) = 7705429410074520977408

fib(387) = 546662665750093428591793519682656691128673340680087383367219946628070888966193152
val(387) = 8224874522955973918720

fib(388) = 884518773564274196406072406967438079301734973262915587822520690276118022672351232
val(388) = 8778597449139072532480

fib(389) = 1431181439314367624997865926650094770430408313943002971189740636904188911638544384
val(389) = 9368812502802089639936

fib(390) = 2315700212878641926716230002174719547650170970876350877907356727729418188621873152
val(390) = 9997874035370374463488

fib(391) = 3746881652193009762338679265939187713916634652160218486887288165731829608882372608
val(391) = 10668285106233855180800

fib(392) = 6062581865071651267805742593885160469894694888354840089214263291264802780260335616
val(392) = 11382706679123026116608

fib(393) = 9809463517264661872642755208281841767155551009878517127262314661389522423630528512
val(393) = 12143967375353603686400

fib(394) = 15872045382336313140448497802167002237050245898233357216476577952654325203890864128
val(394) = 12955073816955279376384

fib(395) = 25681508899600975013091253010448844004205796908111874343738892614043847627521392640
val(395) = 13819221594624913047552

fib(396) = 41553554281937288153539750812615846241256042806345231560215470566698172831412256768
val(396) = 14739806897465636945920

fib(397) = 67235063181538259796637670429234715912084953837003271699311310363170460320982368256
val(397) = 15720438843618063548416

fib(398) = 108788617463475541210190754454190613486587224888440834850240675294725512876492062720
val(398) = 16764952553151258427392

fib(399) = 176023680645013801006828424883425329398672178725444106549551985657895973197474430976
val(399) = 17877423006973322854400

fib(400) = 284812298108489315257072512186976148218244316594254267762648238412049004970356244480
val(400) = 19062179738049690206208

fib(401) = 460835978753503116263900937070401477616916495319698374312200224069944978167830675456
val(401) = 20323822403881275490304

fib(402) = 745648276861992431520973449257377625835160811913952642074848462481993983138186919936
val(402) = 21667237292024646336512

fib(403) = 1206484255615495547784874386327779103452077307233651016387048686551938961306017595392
val(403) = 23097614813408176111616

fib(404) = 1952132532477487871466061166982597550619177771069080963913319458871643020029763518464
val(404) = 24620468041347447652352

fib(405) = 3158616788092983419250935553310376654071255078302731980300368145423581981335781113856
val(405) = 26241652357492346191872

fib(406) = 5110749320570471290716996720292974204690432849371812944213687604295225001365544632320
val(406) = 27967386269446477709312

fib(407) = 8269366108663455141327078948013587573433929319988635702708366510367966680359089733632
val(407) = 29804273468508821520384

fib(408) = 13380115429233925569325782319486088348779879384732267090533432593364872286409106391040
val(408) = 31759326199909325996032

fib(409) = 21649481537897380710652861267499675922213808704720902793241799103732838966768196124672
val(409) = 33839990022042464288768

fib(410) = 35029596967131306279978643586985764270993688089453169883775231697097711253177302515712
val(410) = 36054170035574267707392

fib(411) = 56679078505028690441504678249767333910585427932686798902571516886023827801207610540032
val(411) = 38410258667914928324608

fib(412) = 91708675472159996721483321836753098181579116022139968786346748583121539054384913055744
val(412) = 40917165103414505373696

fib(413) = 148387753977188700966480693667648006961676268508877672591136209809918477180640971194368
val(413) = 43584346454788512153600

fib(414) = 240096429449348697687964015504401105143255384531017641377482958393040016235025884250112
val(414) = 46421840776705114898432

fib(415) = 388484183426537426261430096334304261843955102147997123773055056884504714065763750641664
val(415) = 49440302028207337504768

fib(416) = 628580612875886151556379499000960516726233935787116574954973903959090950950886530088960
val(416) = 52651037096683321163776

fib(417) = 1017064796302423467389868046686244179614095241502706459510285406117410782416262699941888
val(417) = 56066045002497570897920

fib(418) = 1645645409178309729374189094336225295296422973722230273683002864802686615967536810819584
val(418) = 59698058410136057151488

fib(419) = 2662710205480733196764057141022469474910518215224936733193288270920097398383799510761472
val(419) = 63560587578833232723968

fib(420) = 4308355614659042926138246235358694770206941188947167006876291135722784014351336321581056
val(420) = 67667966893158331056128

fib(421) = 6971065820139775681190537181785081849293084218442474783198605187738141882333585509187584
val(421) = 72035404121982919245824

fib(422) = 11279421434798819490752315806335941411148775778848899703816844761270404957488022477078528
val(422) = 76679032562591197036544

fib(423) = 18250487254938595171942852988121023260441859997291374487015449949008546839821607986266112
val(423) = 81615966235551946768384

fib(424) = 29529908689737414662695168794456964671590635776140274190832294710278951797309630463344640
val(424) = 86864358305264249602048

fib(425) = 47780395944676006300943892225809328765437494287594617022879950908049582393918835864371200
val(425) = 92443462910931579699200

fib(426) = 77310304634413424497333190577034952603623131549571922868680039369566450434440868912955392
val(426) = 98373700603089598283776

fib(427) = 125090700579089430798277082802844281369060625837166539891559990277616032828359704777326592
val(427) = 104676727591749139038208

fib(428) = 202401005213502855295610273379879233972683757386738462760240029647182483262800573690281984
val(428) = 111375509023759146156032

fib(429) = 327491705792592271959110837955648878675364377280556876031928844919846851118310668126650368
val(429) = 118494396519187344261120

fib(430) = 529892711006095155524274147789677385980808146553991592031911224576932664326810462498848768
val(430) = 126059210209333725888512

fib(431) = 857384416798687427483384985745326264656172523834548468063840069496779515445121130625499136
val(431) = 134097325532570615545856

fib(432) = 1387277127804782583007659133535003650636980670388540060095751294073712179771931593124347904
val(432) = 142637765058467242967040

fib(433) = 2244661544603470123569256265096927008624193241769873541118560763610105014999849606477512704
val(433) = 151711295625756000911360

fib(434) = 3631938672408252932733339690265124845923254007251983627132250857763043834337374965057191936
val(434) = 161350531095572298858496

fib(435) = 5876600217011722603989747372095663481223287058834717116414934021214695570206037040624041984
val(435) = 171590041038167308500992

fib(436) = 9508538889419974632097389895828011580498220685712420639875429678660832846281036943859908608
val(436) = 182466465688992977256448

fib(437) = 15385139106431697236087137267923675061721507744547137756290363699875528416487073984483950592
val(437) = 194018637528642992734208

fib(438) = 24893677995851670058933132830686133148923087669510998188822282977902548146243360804701208576
val(438) = 206287709860879191244800

fib(439) = 40278817102283365485768875765544254717347954653309575737769136277144263446205684665542508544
val(439) = 219317292783594970808320

fib(440) = 65172495098135035544702008596230387866271042322820573926591419255046811592449045470243717120
val(440) = 233153596969475947626496

fib(441) = 105451312200418393793465307029512428610432433933135908834986513929655822572555729641215623168
val(441) = 247845585696163312435200

fib(442) = 170623807298553414864156160961218388530330350169968001102829849979632129232806774122318135296
val(442) = 263445135589956776886272

fib(443) = 276075119498971808657621467990730817140762784103103909937816363909287951805362503763533758464
val(443) = 280007206572707775774720

fib(444) = 446698926797525223521777628951949205671093134273071911040646213888920081038169277885851893760
val(444) = 297590021528596013645824

fib(445) = 722774046296497032179399096942680022811855918376175820978462577798208032843531781649385652224
val(445) = 316255256235795036504064

fib(446) = 1169472973094022197805132107236531516697456548305293805384116458866846094152909055578672726016
val(446) = 336068240138144088850432

fib(447) = 1892247019390519229984531204179211539509312466681469626362579036665054126996440837228058378240
val(447) = 357098168563453745168384

fib(448) = 3061719992484541427789663311415743056206769014986763431746695495531900221149349892806731104256
val(448) = 379418327028353063714816

fib(449) = 4953967011875060426190016040962563748574111464292417351569305200915826269230622714208530202624
val(449) = 403106328304736660357120

fib(450) = 8015687004359602317148036301643088499064820514030812196395939359009982648210308638667779866624
val(450) = 428244362959798832988160

fib(451) = 12969654016234661817001338444076088859071051908819966721805367234801296601780259289571272949760
val(451) = 454919464120583765098496

fib(452) = 20985341020594265986822802542778304135271632561857304570521061244060303881311912054849127055360
val(452) = 483223787255082835247104

fib(453) = 33954995036828927803824140986854392994342684470677271292326428478861600483092171344420400005120
val(453) = 513254905805064212840448

fib(454) = 54940336057423193790646943529632697129614317032534575862847489722921904364404083399269527060480
val(454) = 545116123551535820963840

fib(455) = 88895331094252121594471084516487090123957001503211847155173918201783504847496254743689927065600
val(455) = 578916804641555262472192

fib(456) = 143835667151675307974424316857883280145028277979720320408742389323709310686614961636519157170176
val(456) = 614772722255830177546240

fib(457) = 232730998245927414747507978997897356051899198370879962345358270323500618483540463367328490323968
val(457) = 652806426949743456288768

fib(458) = 376566665397602693079157451102834607762755314126495872316984585243225535069013918978086459670528
val(458) = 693147635756543223267328

fib(459) = 609297663643530107826665430100731963814654512497375834662342855566726153552554382345414949994496
val(459) = 735933643200578539487232

fib(460) = 985864329041132800905822881203566571577409826623871706979327440809951688621568301323501409665024
val(460) = 781309755430665912844288

fib(461) = 1595161992684662790161388932292514421655375690224829899893205998760740265769556659565871608365056
val(461) = 829429748749312431489024

fib(462) = 2581026321725795591067211813496080993232785516848701606872533439570691954391124960889373018030080
val(462) = 880456353882400798801920

fib(463) = 4176188314410458381228600745788595414888161207073531506765739438331432220160681620455244626395136
val(463) = 934561767406887004798976

fib(464) = 6757214636136253498011415043237539953174192128336562546644415687438373868933542484932438639247360
val(464) = 991928191830424679350272

fib(465) = 10933402950546711879240015789026135368062353335410094053410155125769806089094224105387683265642496
val(465) = 1052748405897504825016320

fib(466) = 17690617586682965377251430832263675321236545463746656600054570813208179958027766590320121904889856
val(466) = 1117226366781693003563008

fib(467) = 28624020537229677256491446621289810689298898799156750653464725938977986047121990695707805170532352
val(467) = 1185577845912872108949504

fib(468) = 46314638123912642633742877453553486010535444262903407253519296752186166005149757286027927075422208
val(468) = 1258031100282306574680064

fib(469) = 74938658661142319890234324074843296699834343062060157906984022691164152052271747981735732245954560
val(469) = 1334827581167917982547968

fib(470) = 121253296785054970112527561785150965989517860854334294232405034490770322947313730810358523404222464
val(470) = 1416222682325859059105792

fib(471) = 196191955446197290002761885859994262689352203916394452139389057181934474999585478792094255650177024
val(471) = 1502486529804667411496960

fib(472) = 317445252231252260115289447645145228678870064770728746371794091672704797946899209602452779054399488
val(472) = 1593904815653861279662080

fib(473) = 513637207677449550118051333505139491368222268687123198511183148854639272946484688394547034704576512
val(473) = 1690779677920214820847616

fib(474) = 831082459908701810233340781150284720047092333457851944882977240527344070893383897996999813758976000
val(474) = 1793430629453242994524160

fib(475) = 1344719667586151421059794996709457677648499190379940975969374109761343382959006390732305761126318080
val(475) = 1902195538176271043264512

fib(476) = 2175802127494853109876330013751675465229222347367861255701923909529967375614114680047787749559762944
val(476) = 2017431661620836977082368

fib(477) = 3520521795081004773769736538677267007810459890687665561972152900808750915049672288143129161337143296
val(477) = 2139516738672168880046080

fib(478) = 5696323922575857883646066552428942473039682238055526817674076810338718290663786968190916910896906240
val(478) = 2268850141629880092065792

fib(479) = 9216845717656861686081356978241674021119188716983739058442810185077708579807254386881903469629800448
val(479) = 2405854091853760590512128

fib(480) = 14913169640232719569727423530670616494158870955039265876116886995416426870471041355072820380526706688
val(480) = 2550974942438399145934848

fib(481) = 24130015357889579313139888283183219595816152848504098292152858128354614198465886003050438644948008960
val(481) = 2704684531543194162167808

fib(482) = 39043184998122296940198419588124765170513116980024457525862906071631519817124517619218973820266217472
val(482) = 2867481610197165343244288

fib(483) = 63173200356011876253338307871307984766329269828528555818015764199986134015590403622269412465214226432
val(483) = 3039893348600510196744192

fib(484) = 102216385354134180964212296362349033614690014102628639913506026480175738839964560197105527106314436608
val(484) = 3222476925157746885525504

fib(485) = 165389585710146049446875035330740734703171656637081569161894434471603787848305324863757798750694670336
val(485) = 3415821202701949041901568

fib(486) = 267605971064280230411087331693089768317861670739710209075400460951779526688269885060863325857009106944
val(486) = 3620548496605245161340928

fib(487) = 432995556774426279857962367023830503021033327376791778237294895423383314536575209924621124607703777280
val(487) = 3837316439718640035561472

fib(488) = 700601527838706541351751974328585406050285507292804493591204781209395181253843650807953013748048855040
val(488) = 4066819949345961729327104

fib(489) = 1133597084613132759044309790129085639648537816316991259271480826964313815732421749087637011789080690688
val(489) = 4309793301730358160523264

fib(490) = 1834198612451839176065252662011010506853261286904585727748647908836779636870271176605715772403785662464
val(490) = 4567012319821537512259584

fib(491) = 2967795697064972183771180657033417224192923176631997037248204134474952172834681372273101290459554119680
val(491) = 4839296680394592113131520

fib(492) = 4801994309516811857159669728831069886428432610357422865453002840659449250168929442038314075396715315200
val(492) = 5127512346911307995283456

fib(493) = 7769790006581784040930850385864487110621355786989419902701206975134401423003610814311415365856269434880
val(493) = 5432574134850959100084224

fib(494) = 12571784316098596892736992934268841307814284690988522969066511410489285554100494042668723466319735816192
val(494) = 5755448416589849728909312

fib(495) = 20341574322680379939021370500560044107671144184336262670855416790928252096176151070661144807109254184960
val(495) = 6097155973281594151534592

fib(496) = 32913358638778976831758363434828885415485428875324785639921928201417537650276645113329868273428990001152
val(496) = 6458775001579171159736320

fib(497) = 53254932961459356770779733935388929523156573059661048310777344992345789746452796183991013080538244186112
val(497) = 6841444283452143647588352

fib(498) = 86168291600238333602538097370217814938642001934985833950699273193763327396729441297320881353967234187264
val(498) = 7246366527782294564896768

fib(499) = 139423224561697698330489613862193018947914545343780323868775030943672596190605867771863846635039486902272
val(499) = 7674811892877472728875008

fib(500) = 225591516161936016018684146119238284914324606580499274604877478622308965492488048488080823587938704031744
val(500) = 8128121699516837569495040

fib(501) = 365014740723633746177860890207776401806703033320813364902846160596235477872788437422152479025114225049600
val(501) = 8607712344646758216761344

fib(502) = 590606256885569825853919296779704882609955402694380172366110941279052275744665528234648920217324997312512
val(502) = 9115079426371113006923776

fib(503) = 955620997609203572031780186987481284416658436015193537268957101875287753617453965656801399242439222362112
val(503) = 9651802091434436953374720

fib(504) = 1546227254494773525200448004672566558804469364295708775351842647275355694120897578540281554668308356136960
val(504) = 10219547616980371832307712

fib(505) = 2501848252103976969917479670754667451443272274724767246904025145029627782979573459548251718702203442036736
val(505) = 10820076238979762491490304

fib(506) = 4048075506598750495117927675427234010247741639020476022255867792304983477100471038088533273370511798173696
val(506) = 11455246240365585778081792

fib(507) = 6549923758702726955776413262560379894579591811400703006292794520850548601044932159041460051238538694361088
val(507) = 12127019312590275680927744

fib(508) = 10597999265301477450894340937987613904827333450421179028548662313155532078145403197129993324609050492534784
val(508) = 12837466205030554059931648

fib(509) = 17147923024004204406670754200547993799406925261821882034841456834006080679190335356171453375847589186895872
val(509) = 13588772677413454775058432

fib(510) = 27745922289305681857565095138535607704234258712243061063390119147161612757335738553301446700456639679430656
val(510) = 14383245771221131426004992

fib(511) = 44893845313309884227199873004597515235195495564686782046763182315231442800385624555091600312967522682929152
val(511) = 15223320416859412823539712

fib(512) = 72639767602615570158836920812105295476321131095686165213090088794265556830002261817155646540097574729154560
val(512) = 16111566394239376647258112

fib(513) = 117533612915925446237892888478758465637733873022860303053979696445751997085826088954722047799718272678494208
val(513) = 17050695665334317496664064

fib(514) = 190173380518541016396729809290863761114055004118546468267069785240017553915828350771877694339815847407648768
val(514) = 18043570098233117947985920

fib(515) = 307706993434466462634622697769622226751788877141406771321049481685769551001654439726599742139534120086142976
val(515) = 19093209603211507353518080

fib(516) = 497880373953007511623928128412263368160974895810003816411613565580767115095729980168578232692737266428149760
val(516) = 20202800702407484232433664

fib(517) = 805587367387473909073399583478330834322501743851309434085674449956576645740890040554976382405496788645576704
val(517) = 21375705555787664687366144

fib(518) = 1303467741340481420697327711890594202483476639661313250497288015537343760836620020723554615098234055073726464
val(518) = 22615471467268073748168704

fib(519) = 2109055108727955329770727295368925036805978383512622684582962465493920406577510061278530997503730843719303168
val(519) = 23925840896068617102163968

fib(520) = 3412522850068437011208659978073738281650503139574340549668204870271104248840107599362891982309063290267893760
val(520) = 25310761999672884311621632

fib(521) = 5521577958796392601719992244256882360817529639487367848839121725004864736843595178002229349519892525462061056
val(521) = 26774399736115491380396032

fib(522) = 8934100808864829612928652222330620642468032779061708398507326595275968985683702777365121331828955815729954816
val(522) = 28321147554737375175245824

fib(523) = 14455678767661223257611064349844379172729754884150694705698265877240194048231208024810576160177241907091472384
val(523) = 29955639706042348479709184

fib(524) = 23389779576526054956464556338688752154086172594415640020909227586434883685322730941062148449662984854620340224
val(524) = 31682764202854878204133376

fib(525) = 37845458344187282385925300221560636004592697340972808560014763691512519036369579243645626525153801025309638656
val(525) = 33507676466619799796973568

fib(526) = 61235237920713337342389856560249388158678869935388448580923991277947402721692310184707774974816785879929978880
val(526) = 35435813694420165517639680

fib(527) = 99080696264900619728315156781810024163271567276361257140938754969459921758061889428353401499970586905239617536
val(527) = 37472909984089509449433088

fib(528) = 160315934185613957070705013342059412321950437211749705721862746247407324479754199613061176474787372785169596416
val(528) = 39625012256717505780776960

fib(529) = 259396630450514576799020170123869436485222004488110962862801501216867246237816089041414577974757959690409213952
val(529) = 41898497017834140084469760

fib(530) = 419712564636128500494927747201708811384958282800608877917406085641575040295045166432292539127036738366796201984
val(530) = 44300088000658538311450624

fib(531) = 679109195086643077293947917325578247870180287288719840780207586858442286532861255473707117101794698057205415936
val(531) = 46836874737016149960032256

fib(532) = 1098821759722771577788875664527287059255138570089328718697613672500017326827906421905999656228831436424001617920
val(532) = 49516332103822469375197184

fib(533) = 1777930954809414655082823581852865307125318857378048559477821259358459613360767677379706773330626134481207033856
val(533) = 52346340895485984222740480

fib(534) = 2876752714532186366370888991437032516069314063064384440844467579149275061878774588174439290849491947340339085312
val(534) = 55335209475114171784757248

fib(535) = 4654683669341601021453712573289897823194632920442433000322288838507734675239542265554146064180118081821546119168
val(535) = 58491696560090220066766848

fib(536) = 7531436383873787387824601564726930339263946983506817441166756417657009737118316853728585355029610029161885204480
val(536) = 61825035200418723133390848

fib(537) = 12186120053215388943275073118244348761214006446337279092165175845327936899118261074837662864369865616723953057792
val(537) = 65344958011152890018660352

fib(538) = 19717556437089175263106156722516237902967100345068039231979671084658561662715774017456385329079200634404794793984
val(538) = 69061723723356080485433344

fib(539) = 31903676490304564206381229840760586664181106791405318324144846929986498561834035092294048193449066251128747851776
val(539) = 72986145121270632638578688

fib(540) = 51621232927393739469487386563276824567148207136473357556124518014645060224549809109750433522528266885533542645760
val(540) = 77129618436796762250280960

fib(541) = 83524909417698299403894544562217246441285901588774446674860320231326018892300628557605030154696233090738116624384
val(541) = 81504154275966402280030208

fib(542) = 135146142345092038873381931125494071008434108725247804230984838245971079116850437667355463677224499976271659270144
val(542) = 86122410155840164178427904

fib(543) = 218671051762790338277276475687711317449720010314022250905845158477297098009151066224960493831920733067009775894528
val(543) = 90997724734236530441191424

fib(544) = 353817194107882394238554694180486047618327768395686971958466175576490336702334366470073763754269633226978130657280
val(544) = 96144153818797544707194880

fib(545) = 572488245870672732515831169868197365068047778709709222864311334053787434711485432695034257586190366293987906551808
val(545) = 101576508246282248369733632

fib(546) = 926305439978555195105971013517806049327070144531063862109322225043166409719151249476139246320957600255752819179520
val(546) = 107310393727515706236338176

fib(547) = 1498793685849227995973387332855126051035812520666440752260178274509842482735968132482204728887645567284527507701760
val(547) = 113362252758203368690679808

fib(548) = 2425099125827783191079358346372932100362882665197504614369500499553008892455119381958343975208603167540280326881280
val(548) = 119749408700871914746281984

fib(549) = 3923892811677011187052745679228058151398695185863945366629678774062851375191087514440548704096248734824807834583040
val(549) = 126490112148416157185998848

fib(550) = 6348991937504794104725763427724499705198799461358779311853000411964305714424881095154767779382861499425941033582592
val(550) = 133603589685309705526706176

fib(551) = 10272884749181805838591190302705538949723051426628066016775036909330266196058620212083566283323091040129043123929088
val(551) = 141110095168282958516715520

fib(552) = 16621876686686598849691591338924076468670737329176162652043321874688353697598198102261834463017990927798395645984768
val(552) = 149030963654424229287297024

fib(553) = 26894761435868404688282781641629615418393788755804228668818358784018619893656818314345400746341081967927438769913856
val(553) = 157388668110953221858525184

fib(554) = 43516638122555003537974372980553691887064526084980391320861680658706973591255016416607235209359072895725834415898624
val(554) = 166206879047692264782430208

fib(555) = 70411399558423408226257154622183307305458314840784619989680039442725593484911834730952635955700154863653273185812480
val(555) = 175510527220229051626029056

fib(556) = 113928037680978411764231527602736999192522840925765011310541720101432567076166851147559871165059227759379107601711104
val(556) = 185325869559159506528632832

fib(557) = 184339437239401837488494480489015701477998972707520554125577206689857651967243537158136500715766768411137796971954176
val(557) = 195680558488522946856878080

fib(558) = 298267474920380249252726008091752700670521813633285565436118926791290219043410388305696371880825996170516904573665280
val(558) = 206603714804598712850972672

fib(559) = 482606912159782086741220488580768402148520786340806119561696133481147871010653925463832872596592764581654701545619456
val(559) = 218126004294838727550697472

fib(560) = 780874387080162335993946496672521102819042599974091684997815060272438090054064313769529244477418760752171606119284736
val(560) = 230279718285496664887132160

fib(561) = 1263481299239944422735166985253289504967563386314897804559511193753585961064718239233362117074011525333826307664904192
val(561) = 243098858315954123467390976

fib(562) = 2044355686320106758729113481925810607786605986288989489557326254026024051118782553002891361551430286085997913784188928
val(562) = 256619225147535629502906368

fib(563) = 3307836985560051181464280467179100112754169372603887294116837447779610012183500792236253478625441811419824221449093120
val(563) = 270878512324822053888720896

fib(564) = 5352192671880157940193393949104910720540775358892876783674163701805634063302283345239144840176872097505822135233282048
val(564) = 285916404518332695062773760

fib(565) = 8660029657440209121657674416284010833294944731496764077791001149585244075485784137475398318802313908925646356682375168
val(565) = 301774680888760460082413568

fib(566) = 14012222329320367061851068365388921553835720090389640861465164851390878138788067482714543158979186006431468491915657216
val(566) = 318497323724631285447000064

fib(567) = 22672251986760575063636371692770827108409524537664265878433417383651354764279301138294005887701027224918368212794474496
val(567) = 336130632617991077686673408

fib(568) = 36684474316080939885742697880355538104802964059609628618253085000392698003078267657216677866519267850472343433103015936
val(568) = 354723344455402712591237120

fib(569) = 59356726302841510469889585217517944098327927460385338253395507914744982967379366867926941393898404313635725102683258880
val(569) = 374326759515531212383846400

fib(570) = 96041200618922459314611251809090324432900013793772079358230581853735820570414038380311103981061453687618041622214737920
val(570) = 394994873978645088961560576

fib(571) = 155397926921763969784500837026608268531227941254157417611626089768480803537793405248238045374959858001253766724897996800
val(571) = 416784519168569736404402176

fib(572) = 251439127540686411181154151413264908504589710500375271996692693745020344908294635918214179914733748641851862174255808512
val(572) = 439755507863296556132204544

fib(573) = 406837054462450363047697051017439492576279407206978464635154805636304869246175233456117255848406043596085682726296879104
val(573) = 463970788026915688282062848

fib(574) = 658276182003136774228851202430704401080869117707353736631847499381325214154469869374331435763139792237937544900552687616
val(574) = 489496604332924532506492928

fib(575) = 1065113236465587065604716503758409155818995546724115301374346393508844966600993871989108813846395583645943442935421861888
val(575) = 516402667867080276007976960

fib(576) = 1723389418468723696489904206809644081223558708051035238220882069872599947156161279680760494079234871507721418453119139840
val(576) = 544762334416877621012856832

fib(577) = 2788502654934310762094620710568053237042554254775150539595228463381444913757155151669869307925630455153664861388541001728
val(577) = 574652791774802976824098816

fib(578) = 4511892073403034458584524917377697318266112962826185777816110533254044860913316431350629802004865326661386279841660141568
val(578) = 606155256503282720267304960

fib(579) = 7300394728337344647304491630427872652603443392079601118270091704565208840273261736289780087809293764310412863698779504640
val(579) = 639355180631202437135335424

fib(580) = 11812286801740379679263670545323447873574780180427522095227449529889534635583788014371128911935361108476437421071861284864
val(580) = 674342468774717235937673216

fib(581) = 19112681530077724326568162175751320526178223572507123213497541234454743475857049750660908999744654872786850284770640789504
val(581) = 711211706199266398081908736

fib(582) = 30924968331818106299330448711146280010573899055021586105289979932625401849029677151954914000164824051281840815968188628992
val(582) = 750062398364702613155348480

fib(583) = 50037649861895830625898610886897600536752122627528709318787521167080145324886726902615822999909478924068691100738829418496
val(583) = 790999222522013066400366592

fib(584) = 80962618193713936925229059598043880547326021682550295424077501099705547173916404054570737000074302975350531916707018047488
val(584) = 834132291957613860126457856

fib(585) = 131000268055609776725122134445227527527361725518426767929124978939910187449158488504878064353923014179493435457948593684480
val(585) = 879577433510383244340625408

fib(586) = 211962886249323713650351194043271408074687747200977063353202480039615734623074892559448801353997317154843967374655611731968
val(586) = 927456479016778320878501888

fib(587) = 342963154304933490375473328488498935602049472719403831282327458979525922072233381064326865707920331334337402832604205416448
val(587) = 977897571371200988777021440

fib(588) = 554926040554257204025824522531770343676737219920380894635529939019141656695308273623775667061917648489181370207259817148416
val(588) = 1031035485922369391174877184

fib(589) = 897889194859190694401297851020269279278786692639784725917857397998667578767541654688102532769837979823518773039864022564864
val(589) = 1087011967961089451153686528

fib(590) = 1452815235413447971819078085234327994501792562226947726043466990402805195065692788693410234663269486553293842771145809461248
val(590) = 1145976087091479626236559360

fib(591) = 2350704430272638519436464512890020530688041955533168240981165081631480854627548722618448697770079749895625216762965892530176
val(591) = 1208084609316208145416060928

fib(592) = 3803519665686086784823365444853502011374909116427244388984950685574269888104612952837987071759404669411293857630199580983296
val(592) = 1273502387706283671343333376

fib(593) = 6154224095958725304259829957743522542062951071960412629966115767205750742732161675456435769529484419306919074393165473513472
val(593) = 1342402772568102615505698816

fib(594) = 9957743761644812089083195402597024553437860188387657018951066452780020630836774628294422841288889088718212932023365054496768
val(594) = 1414968042064370691194486784

fib(595) = 16111967857603536219071733973423933150760512865679555961075907765825836019923450537646346053514151776175632814032179012042752
val(595) = 1491389854292033327501148160

fib(596) = 26069711619248347133883637989104343759458074659398699292185699764445921297114739399836256337498819133044346553671192550572032
val(596) = 1571869721868301743568191488

fib(597) = 42181679476851883352955371962528276910218587525078255253261607530271757317038189937482602391012970909219979367703371562614784
val(597) = 1656619510126709909376466944

fib(598) = 68251391096100225789753844403966164890715468605802899794082209478077937199570986272900808499294903114866329151837158049316864
val(598) = 1745861960078183008076562432

fib(599) = 110433070572952113839794381914160897579895249709555209798708914824989435931191119274801461119524760951484305289077935675801600
val(599) = 1839831237347643143284064256

fib(600) = 178684461669052339629548226318127062470610718315358109592791124303067373130762105547702269618819664066350634440915093725118464
val(600) = 1938773508354854294495690752

fib(601) = 289117532242004453469342608232287960050505968024913319391500039128056809061953224822503730738344425017834939729993029400920064
val(601) = 2042947545068990351200485376

fib(602) = 467801993911056793098890834550415022521116686340271428984291163431124182192715330370206000357164089084185574170908123126038528
val(602) = 2152625359730688880409575424

fib(603) = 756919526153061208991552118401371336339933105735792310364870420026063059938013010677365329261773418682836539744601904015998976
val(603) = 2268092871001451248465477632

fib(604) = 1224721520064117926937080304189123066397670694817278863327320018390951379497417252016882525951467316928654165602911530120118272
val(604) = 2389650603070965632966066176

fib(605) = 1981641046217178985621907125065167817810845606035501421648507308284542714168808084632870247878300353934754808722316440092278784
val(605) = 2517614419325757262571503616

fib(606) = 3206362566281297213172438024304944054062032689887919789063193586940437544199469692772507988499648434216880767575621958300073984
val(606) = 2652316292259301840430039040

fib(607) = 5188003612498476198794345149370111871872878295923421210711700895224980258368277777405378236377948788151635576297938398392352768
val(607) = 2794105111384518401617559552

fib(608) = 8394366178779773411966783173675055925934910985811340999774894482165417802567747470177886224877597222368516343873560356692426752
val(608) = 2943347530992743056452616192

fib(609) = 13582369791278250813214930703247780477221854837875320226836060418450171863069002672074285319935069063934039093173074707435487232
val(609) = 3100428859692850464113557504

fib(610) = 21976735970058023022727911496720223723742700267546103210261489859555815863503772717761150686133143232888668264045059111777206272
val(610) = 3265753993754285238153904128

fib(611) = 35559105761336273835942842199968004200964555105421423437097550278005987726572775389835436006068212296822707357218133819212693504
val(611) = 3439748396376894155337498624

fib(612) = 57535841731394296858670753696688227924707255372967526647359040137561803590076548107596586692201355529711375621263192930989899776
val(612) = 3622859125108748577761394688

fib(613) = 93094947492730561074983176855035330690359286029264485953660870087089600899585504101503855828833383399222985594468719131396931584
val(613) = 3815555909741463786733174784

fib(614) = 150630789224124857933653930551723558615066541402232012601019910224651404489662052209100442521034738928934361215731912062386831360
val(614) = 4018332283120975005054140416

fib(615) = 243725736716855419008637107406758889305425827431496498554680780311741005389247556310604298349868122328157346810200631193783762944
val(615) = 4231706767430034586729447424

fib(616) = 394356525940980276942291037958482447920492368833728511155700690536392409878909608519704740870902861257091708025932543256170594304
val(616) = 4456224118617331608007475200

fib(617) = 638082262657835734429449821531724942967168294061722866233564352162046176936412442414021706698515721294493444372183604925177004032
val(617) = 4692456631778014904681758720

fib(618) = 1032438788598816011371740859490207390887660662895451377389265042698438586815322050933726447569418582551585152398116148181347598336
val(618) = 4941005510420774642096537600

fib(619) = 1670521051256651745801190681021932333854828956957174243622829394860484763751734493347748154267934303846078596770299753106524602368
val(619) = 5202502302697460204803457024

fib(620) = 2702959839855467603258844835846205301777489228666634194919362912303272303894035433946623931926373935560686191024214179386981613568
val(620) = 5477610407816182800939220992

fib(621) = 4373480891112119349060035516868137635632318185623808438542192307163757067645769927294372086194308239406764787794513932493506215936
val(621) = 5767026656011381476713037824

fib(622) = 7076440730967587567975227171378080629269808979034408337832481320489633558231889802580398697764597978315361211395534999484050178048
val(622) = 6071482965603725238048129024

fib(623) = 11449921622079706917035262688246218264902127164658216776374673627653390625877659729874770783958906217722125999190048931977556393984
val(623) = 6391748080849535833273794560

fib(624) = 18526362353047294485010489859624298894171936143692625114207154948143024184109549532455169481723504196037487210585583931461606572032
val(624) = 6728629394455177082511032320

fib(625) = 29976283975127001402045752547870517159074063308350841890581828575796414809987209262329940265682410413759613209775632863439162966016
val(625) = 7082974858811934653791862784

fib(626) = 48502646328174295887056242407494816053245999452043467004788983523939438994096758794785109747405914609797100420361216794900769538048
val(626) = 7455674990202676582010585088

fib(627) = 78478930303301297289101994955365333212320062760394308895370812099735853804083968057115050013088325023556713630136849658339932504064
val(627) = 7847664970425870730456465408

fib(628) = 126981576631475603026659786461479952335326087248341227170094613240036959785254077913330602634796892486920377771726976654897699618816
val(628) = 8259926850497991295209832448

fib(629) = 205460506934776910166263330515465088617406175044638987335400242956134480576411397031876095522187870364043655123092736514894629699584
val(629) = 8693491861310182228657963008

fib(630) = 332442083566252513192923116976945040952732262292980214505494856196171440361665474945206698156984762850964032894819713169792329318400
val(630) = 9149442836345121565034151936

fib(631) = 537902590501029462761192643886889341849178537481233006920634369617752588886370276222804565176383244629273942902828090491314949324800
val(631) = 9628916751802896256784662528

fib(632) = 870344674067282015356121957258313595080950899917827026505868496279370697196329155413733034830578618894504230682563444467735268950016
val(632) = 10133107389729556171050713088

fib(633) = 1408247264568311478117314601145202936930129437399060033426502865897123286082699431636537600006961863523778173585391534959050218274816
val(633) = 10663268130012694767590178816

fib(634) = 2278591938635593335865411772825599682894919936742431839613414280314707311485854970067383548848698036761217384728292416200273525997568
val(634) = 11220714877374590246990118912

fib(635) = 3686839203203904498766676802814968921592728572992581432402002982488257253982207167738146976877975008970865519234358824706299821817856
val(635) = 11806829129786917104149069824

fib(636) = 5965431141839498465064187717952236000952290112032834153291245590250111252640756605737078869682042828360342982121301493812621192724480
val(636) = 12423061195029112325763235840

fib(637) = 9652270345043402963830864520767204922545018685025415585693248572738368506622963773475225846560017837331208501355660318518921014542336
val(637) = 13070933562427080434071371776

fib(638) = 15617701486882901428895052238719440923497308797058249738984494162988479759263720379212304716242060665691551483476961812331542207266816
val(638) = 13752044437137311617469382656

fib(639) = 25269971831926301870997520190239976260183761072892381799574429425938261517195906280961337186980599372509719672198021119226271842172928
val(639) = 14468071444687065892238917632

fib(640) = 40887673318809200778164175859712747597822503460759348013455610279138154527768848788447448527401180907688230843040381919933622669803520
val(640) = 15220775513839182667638112256

fib(641) = 66157645150735502649161696049952723858006264533651729813030039705076416044964755069408785714381780280197950515238403039159894511976448
val(641) = 16012004946228461018185465856

fib(642) = 107045318469544703427325871909665471455828767994411077826485649984214570572733603857856234241782961187886181358278784959093517181779968
val(642) = 16843699681606816624130654208

fib(643) = 173202963620280206076487567959618195313835032528062807639515689689290986617698358927265019956164741468084131873517187998253411693756416
val(643) = 17717895767950474342033260544

fib(644) = 280248282089824889329986267315310310082795269248943617265174833195196863200905739811311707191375869611865990730719164864353397838446592
val(644) = 18636730046108311613970841600

fib(645) = 453451245710105115580301007828901862083498833050536693105517029362796543808130321712386274154112444124054445105313160955600340569292800
val(645) = 19602445059126444192029474816

fib(646) = 733699527799929924214978584928318745418819977205359237567385836644758631050931169628459793319200981559503145831725093447979614259380224
val(646) = 20617394196845852577465630720

fib(647) = 1187150773510035120490588282973114034249792935350017003476208891920789950817166383236084255499600757859974880941345486775554078977032192
val(647) = 21684047086874477231589031936

fib(648) = 1920850301309965044705566867901432779668612912555376241043594728565548581868097552864544048818801739419478026773070580223533693236412416
val(648) = 22804995243537221236379615232

fib(649) = 3108001074820000487977389911738120520908302348281877535733027724139277636517683503681581056423551825985122067731644996486984268806881280
val(649) = 23982957986957092280135057408

fib(650) = 5028851376129965532682956779639553300576915260837253776776622452704826218385781056546125105242353565404600094504715576710517962043293696
val(650) = 25220788644972466171426111488

fib(651) = 8136852450949966666222816213104821235465010609872099894936098384149982062568303695389611665876204048801060482270818432173295224037048320
val(651) = 26521481051196104092751495168

fib(652) = 13165703827079931553343303471017227122062132869956385089286272629548930073289245616773831266908258956794322256741076149908020192893468672
val(652) = 27888176353125519741444685824

fib(653) = 21302556278029898219566119684122048357527143479828484984222371013698912135857549312163442932784463005595382739011894582081315416930516992
val(653) = 29324170144864477711354036224

fib(654) = 34468260105109829772909423155139275479589276349784870073508643643247842209146794928937274199692721962389704995752970731989335609823985664
val(654) = 30832919939688120867063070720

fib(655) = 55770816383139725410225664752352734181197247826601480728025221827723241514344987700453095115635990338339734454627033878167479054007009280
val(655) = 32418052998383557838148468736

fib(656) = 90239076488249555183135087907492009660786524176386350801533865470971083723491782629390369315328712300729439450380004610156814663830994944
val(656) = 34083374530035804334280671232

fib(657) = 146009892871389290922360265007479102465660460015035328848382258615588376560474196492433952498329481157650587025558364231936981608827977728
val(657) = 35832876282695393159183073280

fib(658) = 236248969359638856434494865262605470750123672203469176968739295403453511606603405284414809881022971976961439596489694585706484163648946176
val(658) = 37670745542173802095787900928

fib(659) = 382258862231028188672853179660622007710490884266694495092414239286618093457627306427210714648811567208937679104253361792094217336436817920
val(659) = 39601374558042403969804795904

fib(660) = 618507831590667045107348044923227478460614556470163672061153534690071605064230711711625524529834539185899118700743056377800701500085764096
val(660) = 41629370416798032645417074688

fib(661) = 1000766693821695233780201224583849486171105440736858167153567773976689698521858018138836239178646106394836797804996418169894918836522582016
val(661) = 43759565383068931411549356032

fib(662) = 1619274525412362278887549269507076964631719997207021839214721308666761303586088729850461763708480645580735916505739474547695620336608346112
val(662) = 45997027730698739284663336960

fib(663) = 2620041219234057512667750494090926450802825437943880006368289082643451002107946747989298002887126751975572714310735892717590539173130928128
val(663) = 48347073086552817629732536320

fib(664) = 4239315744646419461027315368473703939476891418765381931380668909169602663369637840636864148439934484961703410958832943469680146998060122112
val(664) = 50815276310922636174691401728

fib(665) = 6859356963880476973695065862564630390279716856709261937748957991813053665477584588626162151327061236937276125269568836187270686171191050240
val(665) = 53407483939518824692032995328

fib(666) = 11098672708526896434722381231038334329756608275474643869129626900982656328847222429263026299766995721898979536228401779656950833169251172352
val(666) = 56129827213178909502675615744

fib(667) = 17958029672407374730529384674100162623866941197725985463687950821358148563622397566700770923716748609214676540928540311026645569387158831104
val(667) = 58988735722612106171122712576

fib(668) = 29056702380934268521027890744144101145962317342116470019198845865215927753874438898340632278238361030356814318295802700318748302462976786432
val(668) = 61990951696752884037256740864

fib(669) = 47014732053341643251557275418244263769829258539842455482886796686574076317496836465041403201955109639571490859224343011345393871850135617536
val(669) = 65143544964603876871812153344

fib(670) = 76071434434275906484137415840399573300469111619790606874848178837540249794180913168135705589702704068414621659797866930934445974126245969920
val(670) = 68453928621821106764176687104

fib(671) = 123086166487617555024142441580632628685620834421801380984972439238364080388868111828423438682148580309499796036744488723009536046163248021504
val(671) = 71929875434699980870816628736

fib(672) = 199157600921893440354488856133077035524800088992918713350870763218905313074287576215573824709888217971859683625653240531025197219542028255232
val(672) = 75579535015740520711231373312

fib(673) = 322243767409511016532422299001664830671710780463393368844793057314268410571917136824982582953999864687414213733286844376953518066452742012928
val(673) = 79411451806503592245694824448

fib(674) = 521401368331404456886911155134741866196510869456312082195663820533173723646204713040556407663888082659273897358940084907978715285994770268160
val(674) = 83434583905111027228566618112

fib(675) = 843645135740915473419333454136406696868221649919705451040456877847442134218121849865538990617887947346688111092226929284932233352447512281088
val(675) = 87658322777431508132615421952

fib(676) = 1365046504072320014921408614422969228909891947570710631271920117808611926299372358030036676529628295630180944734723474684586087841432145494016
val(676) = 92092513892804034612697235456

fib(677) = 2208691639813235657571070078863017257468432453879802278383975834512046197387585798143458223643220774225306928394063324952868599599859383664640
val(677) = 96747478326947356292545511424

fib(678) = 3573738143885555672492478693285986486378324401450512909655895952320658123686958156173494900172849069855487873128786799637454687441291529158656
val(678) = 101634035376707796919958634496

fib(679) = 5782429783698791330063548772149003743846756855330315188039871786832704321074543954316953123816069844080794801522850124590323287041150912823296
val(679) = 106763526233294221023618531328

fib(680) = 9356167927584346325634715424220424903463805831223283313409372383729393897281135749498917798006100788942531184383185240294376860858523538423808
val(680) = 112147838762734263142386237440

fib(681) = 15138597711283139009540888278798559300833113537668688070022034881410035313316412425798931373787806883010828966442938732751502375147512258363392
val(681) = 117799433444590304963506208768

fib(682) = 24494765638867485335175603703018984204296919368891971383431407265139429210597548175297849171793907671953360150826123973045879236006035796787200
val(682) = 123731370522171583061796323328

fib(683) = 39633363350150624344716491981817543505130032906560659453453442146549464523913960601096780545581714554964189117269062705797381611153548055150592
val(683) = 129957338419973258767696396288

fib(684) = 64128128989018109679892095684836527709426952275452630836884849411688893734511508776394629717375622226917549268095186678843260847159583851937792
val(684) = 136491683486570193433890127872

fib(685) = 103761492339168739439979083996370593828647188586473648564629454401630106638268400265423652070819881781831750307511862856107851367304483135553536
val(685) = 143349441123813018308135878656

fib(686) = 167889621328186849119871179681207121538074140861926279401514303813319000372779909041818281788195504008749299575607049534951112214464066987491328
val(686) = 150546368365935234596170891264

fib(687) = 271651113667355610221332248996443805823082143066241361063308409588516100530420032858970901090465565790381097571709366276927799217733955036905472
val(687) = 158098977975081822425649774592

fib(688) = 439540734995542502664167399315383108273877911163850506659152016148969087941943389004247117341561429798730492524497323583616582704128831852118016
val(688) = 166024574122702472427868258304

fib(689) = 711191848662898112885499648311826914096960054230091867722460425737485188472363421863218018432026995589111590096206689860544381921862786889023488
val(689) = 174341289729475213438941659136

fib(690) = 1150732583658440702195594988902674384196281219865308106770271047380722250491793705074381004699389145387042273375065828987636307169853238396583936
val(690) = 183068125539608442763495866368

fib(691) = 1861924432321338901727022578489965660118684528566765706881390078612475413041644021144514892057216860975354054225634334391656031635577644941049856
val(691) = 192224991008874608513278541824

fib(692) = 3012657015979779603922617567392640044314965748432073813651661125993197663533437726218895896756606006362396327600700163379292338805430883337633792
val(692) = 201832747089243747489144635392

fib(693) = 4874581448301118505649640145882605704433650276998839520533051204605673076575081747363410788813822867337750381826334497770948370441008528278683648
val(693) = 211913250996708415474612830208

fib(694) = 7887238464280898456155969478377103196050389043316376263739346752575942636418467050409970161273631753696947472444481923324142079421885890238087168
val(694) = 222489403052851196044066684928

fib(695) = 12761819912582016961805609624259708900484039320315215784272397957181615712993548797773380950087454621034697854270816421095090449862894418516770816
val(695) = 233585195694701141847175069696

fib(696) = 20649058376862915417961579102636812096534428363631592048011744709757558349412015848183351111361086374731645326715298344419232529284780308754857984
val(696) = 245225764751684359466227073024

fib(697) = 33410878289444935152436882847711380575432651827030511268721218042755749232885145260578039867074164035740749285125692862905533940551246556245786624
val(697) = 257437443092982263276306956288

fib(698) = 54059936666307847797728767829533333093552896047578399880295887376696732411817580494140083172809627370497988507701413109933555508432455036026486784
val(698) = 270247816753113075253233319936

fib(699) = 87470814955752782950165650677244713668985547874608911149017105419452481644702725754718123039883791406238737792827105972839089448983701592272273408
val(699) = 283685783648509097935921741824

fib(700) = 141530751622060630747894418506778046762538443922187311029312992796149214056520306248858206212693418776736726300528519082772644957416156628298760192
val(700) = 297781615002819519486541955072

fib(701) = 229001566577813435879417622150541637058837464941465849669826701222134297065059676920546791697582194502770712926472249834741422097628432852364296192
val(701) = 312567019604041796728502878208

fib(702) = 370532318199874066627312040657319683821375908863653160699139694018283511121579983169404997910275613279507439227000768917514067055044589480663056384
val(702) = 328075211021933355102870962176

fib(703) = 599533884777687502506729662807861320880213373805119010368966395240417808186639660089951789607857807782278152153473018752255489152673022333027352576
val(703) = 344340977920071068884983087104

fib(704) = 970066202977561569134041703465181004701589282668772171068106089258701319308219643259356787518133421061785591380473787669769556207717611813690408960
val(704) = 361400757602805504685291601920

fib(705) = 1569600087755249160366201578139117832091056549052569691403058896525249532950205883017190426906011166123244738866413305538543796125304932673890811904
val(705) = 379292712943672330126563999744

fib(706) = 2539666290732810729500243281604298836792645831721341862471164985783950852258425526276547214424144587185030330246887093208313352333022544487581220864
val(706) = 398056812848341616731480915968

fib(707) = 4109266378488060244768165707207718694920717951088625593738169530413722007030017727965265040450235502424999050443166395212932151517984671270164234240
val(707) = 417734916412010056496281812992

fib(708) = 6648932669220871329170129836276319557750379353124681496073280164302194481109829572913339653994459838726753362019919484887320506910664409866437656576
val(708) = 438370860938312566267113897984

fib(709) = 10758199047708931573938295543484038252671097304213307089811449694715916488139847300878604694444695341151752412463085880100252658428649081136601890816
val(709) = 460010553994151938526774558720

fib(710) = 17407131716929801483501541989903149706273414376079132426428947266600024481964131599105834751958836183411609849163541379123273153100684714568270741504
val(710) = 482702069682747959014410158080

fib(711) = 28165330764638734477046720923244396063092573961551295675696179553734027457389524174670549042883850521030258186946091245087825823767962572139641438208
val(711) = 506495749325197852870851952640

fib(712) = 45572462481568535960548262913147545769365988337630428102125126820334051939353655773776383794842686704441868036109632624211098976868647286707912179712
val(712) = 531444306749424837423200731136

fib(713) = 73737793246207270437594983836391941832458562299181723777821306374068079396743179948446932837726537225472126223055723869298924800636609858847553617920
val(713) = 557602938393995405335386390528

fib(714) = 119310255727775800719715713190110655185232301511776727242123302824729785386954654623478878246647947944046410557887500550052823728550742039816390574080
val(714) = 585029438443761465098672013312

fib(715) = 193048048973983071157310697026502597017690863810958451019944609198797864783697834571925811084374485169518536780943224419351748529187351898663944192000
val(715) = 613784319223829337827493019648

fib(716) = 312358304701758871877026410216613252202923165322735178262067912023527650170652489195404689331022433113564947338830724969404572257738093938480334766080
val(716) = 643930937088103469288395898880

fib(717) = 505406353675741920320626973005400519554245032633551930730719999743636131157781599372352746871711814339613149314662525614927520591107385414187978063872
val(717) = 675535624049692868363874729984

fib(718) = 817764658377500792197653383222013771757168197956287108992787911767163781328434088567757436202734247453178096653493250584332092848845479352668312829952
val(718) = 708667825410827477089530150912

fib(719) = 1323171012053242803373120893178275609976889216590405833928677997425557447672490585520021197249186477566672585188601471294574814223225106458681494470656
val(719) = 743400243661734486126406664192

fib(720) = 2140935670430743595570774276400289381734057414546692942921465909192721229000924674087778633451920725019850681842094721878906907072070585811349807300608
val(720) = 779808988929594843539764674560

fib(721) = 3464106682483986762363257317382010266372850575139365953670824250277308817418514849927443887400068865682048623912478973554742524428384659037332116078592
val(721) = 817973736271305217162600251392

fib(722) = 5605042352914730357934031593782299648106907989686058896592290159470030046419439524015222520851989590701899305754573695433649431500455244848681923379200
val(722) = 857977890116576797100141969408

fib(723) = 9069149035398717847136013206771200463803566452829959203904475097065399145328153554581954521649981782574998643430618229750913562195017837420615668072448
val(723) = 899908756181491444225935409152

fib(724) = 14674191388313447478231320504946609562586666554511483746855404569217368910257393897957888929104048047085847235421626364422041387429295148734695962836992
val(724) = 943857721186911256913960239104

fib(725) = 23743340423712165325367333711717810026390233007341442950759879666282768055585547452539843450754029829660845878852244594172954949624312986155311630909440
val(725) = 989920440730430505356126846976

fib(726) = 38417531812025612803598654216664419588976899561852926697615284235500136965842941350497732379858077876746693114273870958594996337053608134890007593746432
val(726) = 1038197035676496981158275317760

fib(727) = 62160872235737775221611090745954667418071901017176232233809721152510663895467692080480423377020414401643336138071853309717864861613209386906912710197248
val(727) = 1088792297444932249341847928832

fib(728) = 100578404047763382210499950597763962612458337474992884102294119889466318609389039985863850849695105668861623542237199782212688348537394053520107275026432
val(728) = 1141815902595018750289411833856

fib(729) = 162739276283501169061530630073428878819711164700241665994365612039065947008699918956572884041082293289561771100526102064130898910409450376980646043058176
val(729) = 1197382637119617210591171575808

fib(730) = 263317680331264574530869758130613339010531354591379649413183273922710194625775332722893954519510945396537017483197399790744278659464538303608005433753600
val(730) = 1255612630882212040186856996864

fib(731) = 426056956614765743592400388204042217830242519291621315407548885961776141634475251679466838560593238686098788583723501854875177569873988680588651476811776
val(731) = 1316631602648633476075126521856

fib(732) = 689374636946030318123270146334655556840773873883000964820732159884486336260250584402360793080104184082635806066920901645619456229338526984196656910565376
val(732) = 1380571116184927903005764747264

fib(733) = 1115431593560795968680313824701015784357568983510041882962186877869550761863980340959998753125763237016280103288908011722891868197141740172356299924701184
val(733) = 1447568847913873117905309138944

fib(734) = 1804806230506826193768227261197989350884895447728462450516824869777325382093485430240530667690933235346461417994092521590908558824409491664123948372590592
val(734) = 1517768866643708069655672258560

fib(735) = 2920237824067622162448541085899005135242464431238504333479011747646876143957465771200529420816696472362741521283000533313800427021551231836480248297291776
val(735) = 1591321925905658451828817264640

fib(736) = 4725044054574448356216768347096994486127359878966966783995836617424201526050951201441060088507629707709202939277093054904708985845960723500604196669882368
val(736) = 1668385769459918081533516185600

fib(737) = 7645281878642070146523882593645271660116034671547149528410471693164230805885434992154273995264589437062126495113148021108098350459228853367368411116470272
val(737) = 1749125450554441908299371642880

fib(738) = 12370325933216518502740650940742266146243394550514116312406308310588432331936386193595334083772219144771329434390241076012807336305189576867972607786352640
val(738) = 1833713665546327909444905598976

fib(739) = 20015607811858590137830240891790449651374587776694552197074286691380050594313749107698870135275755553872727791291171365562549936397550838114205154305638400
val(739) = 1922331102522470195500383469568

fib(740) = 32385933745075108640570891832532715797617982327208668509480595001968482926250135301294204219047974698644057225681412441575357272702740414982177762091991040
val(740) = 2015166805583304059135599837184

fib(741) = 52401541556933698778401132724323165448992570103903220706554881693348533520563884408993074354323730252516785016972583807137907209100291253096382916397629440
val(741) = 2112418555483354654719663407104

fib(742) = 84787475302008807418972024556855881246610552431111889216035476695317016446814019710287278573371704951160842242653996248713264481803031668078560678489620480
val(742) = 2214293267351803795323746254848

fib(743) = 137189016858942518105898816140402341455724390972081400772650411889684649619313327494874449377607010979991802153928838203384325687968382184205856678109773824
val(743) = 2321007406248014680077797163008

fib(744) = 221976492160951313616345181838034927942213674966126999138625835083982566414191923829567631501067140154838469502280576304564436172706354589253504273376870400
val(744) = 2432787421339871174468669800448

fib(745) = 359165509019893831722243997978437269397938065938208399911276246973667216033505251324442080878674151134830271656209414507948761860674736773459360951486644224
val(745) = 2549870199527525374517955264512

fib(746) = 581142001180845192972691815253365376380636814652600562450142296061726181055438868656386098179387594394925440735699023402645814021641328414836517557753610240
val(746) = 2672503539369440408090374569984

fib(747) = 940307510200739119963141084105589003859545028087339289161898971043546194304427506985580950657354351740269111546326503090859807858836539292543183175020445696
val(747) = 2800946646207045567221122203648

fib(748) = 1521449511381584312935832899358954380240181842739939851612041267105272375359866375641967048836741946135194552282025526493505621880477867707379700732774055936
val(748) = 2935470649421416452531249217536

fib(749) = 2461757021582323623435384525212116100261667165820339794374901094165124164095260656637053542692681510296490462137188159944895893692355355208417493239354884096
val(749) = 3076359142796635368812749783040

fib(750) = 3983206532963908126907627966318643196663789303553340299587903217286702133886093806288526134728008668852711812728049816798931979525874171124291803303689322496
val(750) = 3223908749006774322516163821568

fib(751) = 6444963554546231750343012491530759296925456469373680093962804311451826297981354462925579677420690179149202274865237976743827873218229526332709296543044206592
val(751) = 3378429709287956832065415020544

fib(752) = 10428170087510139877250640457849402493589245772927020393550707528738528431867448269214105812148698848001914087593287793542759852744103697457001099846733529088
val(752) = 3540246499401397971897355862016

fib(753) = 16873133642056372389739295116370452655162463422272943101917355264255577107572669828177707662363729876835223555693870291728709581774497016623688833716019265536
val(753) = 3709698473043445446126264647680

fib(754) = 27301303729566513791281219908200436878047231555144448724275749641124550294887852289467857820101110424205352029757847128155713146142928299748646808215235854336
val(754) = 3887140533906856084694494085120

fib(755) = 44174437371622886181020515024570889533209694977417391826193104905380127402460522117645565482464840301040575585451717419884422727917425316372335641931255119872
val(755) = 4072943837650289439606141091840

fib(756) = 71475741101189393875136597596848999494074837092783899635238107153982898675557437638809245920211223927773070069326808376503161027563043273449154951536558735360
val(756) = 4267496525087770685708873760768

fib(757) = 115650178472812273958991975285497562110102442630423350546200464666841247056227022988150634020321337431340788108895769624850608908983158247149663094857881616384
val(757) = 4471204487965415672893598072832

fib(758) = 187125919574001667834128572882346561604177279723207250181438571820824145731784460626959879940532561359113858178222578001353769936546201520598818046394440351744
val(758) = 4684492168753251177522528256000

fib(759) = 302776098046813966181781097511533431383008080112742364388562026057752508875175230688327223490272805980346076470649372312352278231518601138435791135692050923520
val(759) = 4907803395939804980944910155776

fib(760) = 489902017620815585238588571706501377649728644317726087248154618738402422432632197168853684371967552959677074281809900941410249396086319917659989193207033364480
val(760) = 5141602256383180061995501092864

fib(761) = 792678115667629551420369669218034809032736724430468451636716644796154931307807427857180907862240358940023150752459273253762527627604921056095780328899084288000
val(761) = 5386374006337392945987344924672

fib(762) = 1282580133288445136658958240924536186682465368748194538884871263534557353740439625026034592234207911899700225034269174195172777023691240973755769522106117652480
val(762) = 5642626022843974488367757787136

fib(763) = 2075258248956074883188612304892085457065028955251557099808971824891409213745557029468949176331799528358854817254976644938118499739210092995350029806523033583616
val(763) = 5910888797251288096761343639552

fib(764) = 3357838382244520019847570545816621643747494323999751638693843088425966567485996654494983768566007440258555042289245819133291276762901333969105799328629151236096
val(764) = 6191716972698535828658424119296

fib(765) = 5433096631200594903036182850708707100812523279251308738502814913317375781231553683963932944897806968617409859544222464071409776502111426964455829135152184819712
val(765) = 6485690427481640355620037066752

fib(766) = 8790935013445114922883753396525328744560017603251060377196658001743342348717550338458916713463814408875964901833468283204701053265012760933561628463781336055808
val(766) = 6793415406302194176920186257408

fib(767) = 14224031644645709825919936247234035845372540882502369115699472915060718129949104022422849658361621377493374761377690747276110829767124187898017457598933520875520
val(767) = 7115525701481092747691607195648

fib(768) = 23014966658090826309677964801755480280731173382336582367195202249289635908245134173567635781708245846522391194957144610394277443735448396555566925706857510076416
val(768) = 7452683886314721369677289750528

fib(769) = 37238998302736533013849350732997284744506484471672645734296532499379203179037278570618746620304247103709662892842864197843457152095949689005608704017505724661760
val(769) = 7805582602840377803241651437568

fib(770) = 60253964960827359323527315534752765025237657854009228101491734748668839087282412744186382402012492950232054087800008808237734595831398085561175629724363234738176
val(770) = 8174945906375081714230621110272

fib(771) = 97492963263563892337376666267750049769744142325681873835788267248048042266319691314805129022316740053941716980642873006081191747927347774566784333741868959399936
val(771) = 8561530669296306501433086181376

fib(772) = 157746928224391251660903981802502814794981800179691101937280001996716881353602104058991511424329233004173771068442881814318926343758745860127959963466232194138112
val(772) = 8966128046634090214445901938688

fib(773) = 255239891487955119024292245542315013511948104160042529784283127924995716746666118370822729888521012095666663541149985541784669120433110471110938862901818703216640
val(773) = 9389565006159164084014475640832

fib(774) = 412986819712346370685196227344817828306929904339733631721563129921712598100268222429814241312850245099840434609592867356103595464191856331238898826368050897354752
val(774) = 9832705925761464014142099685376

fib(775) = 668226711200301439761511667831257139713322331809115269528275975207169901100422986794689150085121335270609449134871314340657366642119000475182226820657304699928576
val(775) = 10296454261036604367466437541888

fib(776) = 1081213530912647760498731090120199265914696559458188009272268822489344085454179855218555570281721658445552234728592643139530064163804890479253514778412790696640512
val(776) = 10781754286120874296326079119360

fib(777) = 1749440242112949200260242757951456405628018891267303278800544797696513986554602842013244720366842993716161683863463957480187430805923890954435741599070095396569088
val(777) = 11289592910944722177733039226880

fib(778) = 2830653773025596760967066627848152863120492743962847720162532489627704417022737281208009006183564964462123322528570446390793903199704916125018812903032626490638336
val(778) = 11821001578210988397789999792128

fib(779) = 4580094015138545761435402165576106460326288928467507431052796156766064748591294707197462442085408270478694410328548249642057742235604941770784111027652462284636160
val(779) = 12377058243544477769580054315008

fib(780) = 7410747788164142522402468793424259323446781672430355151215328646393769165614031988405471448268973234940817732857118696032851645435309857895802923930685088775274496
val(780) = 12958889442405830982346160996352

fib(781) = 11990841803302688283837870959000365783773070600897862582268124803159833914205326695602933890354381505419512143185666945674909387670914799666587034958337551059910656
val(781) = 13567672447517827130838468263936

fib(782) = 19401589591466830806240339752424625107219852273328217733483453449553603079819358684008405338623354740360329876042785641707761033106224657562389958889022639835185152
val(782) = 14204637520707378114672266838016

fib(783) = 31392431394769515893407695187848945956237359566023783229187080163782978514247958723230678677537741242586392482212674119719892952456757612290249898256156037253955584
val(783) = 14871070263237767857566545608704

fib(784) = 50794020986236346699648034940273571063457211839352000962670533613336581594067317407239084016161095982946722358255459761427653985562982269852639857145178677089140736
val(784) = 15568314068876321679014941949952

fib(785) = 82186452381005862593055730128122517019694571405375784191857613777119560108315276130469762693698837225533114840468133881147546938019739882142889755401334714343096320
val(785) = 16297772684119180464938085777408

fib(786) = 132980473367242196506021702974091908344129530011918596808270155034734307783275686912186204504099953195706039050660479771924091050301194772240621230181696776867676160
val(786) = 17060912880192796494688524697600

fib(787) = 215166925748248046312395371007910245624801848184485192653869776456132033972484056417133324992038810408465355743065499782420528115039407274628602603218214876646211584
val(787) = 17859267241634059983896493162496

fib(788) = 348147399115490242818417073982002153968931378196403789462139931490866341755759743329319529496138763604171394793725979554344619165340602046869223833399911653513887744
val(788) = 18694437076470887431448358289408

fib(789) = 563314324863738340277540693367129118549822239312125735501041677369885711404671426248543423311217494063731943129043934819369586773506118840517459966077392988418342912
val(789) = 19568095453217381793180344647680

fib(790) = 911461723979228583095957767349131272518753617508529524963181608860752053160431169577862952807356257667903337922769914373714205938846720887386683799477304641932230656
val(790) = 20481990370142431633818844659712

fib(791) = 1474776048842966923373498460716260391068575856820655260464223286230637764565102595826406376118573751731635281051813849193083792712352839727904143765554697630350573568
val(791) = 21437948062478018430538101030912

fib(792) = 2386237772822195506469456228065391663587329474329184785427404895091389817725533765404269328925930009399538618974583763566797998651199560615290827565032002272282804224
val(792) = 22437876453496320016760321343488

fib(793) = 3861013821665162429842954688781652054655905331149840045891628181322027582290636361230675705044503761131173900026397612759881791363552400343194971330586699902633377792
val(793) = 23483768755609781308799821283328

fib(794) = 6247251594487357527138584929829309966594522702029130804238777321030318714604749114618220483386114410121950978262961732465844274069743084806328730659944570508850233344
val(794) = 24577707227934340314887652114432

fib(795) = 10108265416152520775329191592646429524547852240078758904290917013118543667718227499882345289599256892070647959765398632947397097323313237453837838461879533743615508480
val(795) = 25721867097009876596107111301120

fib(796) = 16355517010639879939163080470546674497737223355907465816850717355681257123968660662567463975322648743827645100980438940856583435173091826868794842064520630916729536512
val(796) = 26918520647662447287334627966976

fib(797) = 26463782426792400714492272063193104022285075595986224721141634368799800791686888162449809264921905635898293060745837573803980532496405064322632680526400164660345044992
val(797) = 28170041491280417111689238937600

fib(798) = 42819299437432280653655352533739778520022298951893690537992351724481057915655548825017273240244554379725938161726276514660563967669496891191427522590920795577074581504
val(798) = 29478909019097947677004520226816

fib(799) = 69283081864224681368147624596932882542307374547879915259133986093280858707342436987467082505166460015624231222472114088464544500165901955514060203117320960237419626496
val(799) = 30847713048378012588122186973184

fib(800) = 112102381301656962021802977130672661062329673499773605797126337817761916622997985812484355745411014395350169384198390603125108467835398846705487725708241755814494208000
val(800) = 32279158669743889078486120267776

fib(801) = 181385463165881630296388170143038063551878260737256912189692139738783617397174950415416252631879254877894031303053876088042916457761016765350521745283990502737803476992
val(801) = 33776071304224621371524569366528

fib(802) = 293487844467538618505316010442845684719725508857823735719954845901063849886503880996970979614686708339404939294485523898261497946076983685794061838075376685180518400000
val(802) = 35341401978980429075572571766784

fib(803) = 474873307633420301175953906924153668482638918836667083375919722328884099016340720950527974721358841349620447812005914400491360444799136598620688317525656041174763307008
val(803) = 36978232831005174589487931457536

fib(804) = 768361152100958919681269917366999353202364427694490819095874568229947948902844601947498954336045549689025387106491438298752858390876120284414750155601032726355281707008
val(804) = 38689782848534799621187124068352

fib(805) = 1243234459734379116108724371614613181262933048047985031539248817180758784453861543821745444107818634774002880489564323870870326753752984588083229004794111061017162153984
val(805) = 40479413860269519750778922729472

fib(806) = 2011595611835338140538493741658152374887367774225648721567668858788779996822029924845525883393449940727671222024988790997997077226551377167450188628727721493885326721024
val(806) = 42350636782961512806841212469248

fib(807) = 3254830071569717256647218113272765556150300822273633753106917675969538781275891468667271327501268575501674102514553114868867403980304361755533417633521832554902488875008
val(807) = 44307118138345800787942044598272

fib(808) = 5266425683405055816179709665637077292725949790431973958404768428270611831959216509817923150693061541287917142255274021180360049534544828102792444135579864874839347036160
val(808) = 46352686850867825858538048061440

fib(809) = 8521255754974773910814923400322161572252813000570990678972049891264736720957698211095446357791016166906734880201291366676218590170227368217943537515762319081844898791424
val(809) = 48491341338132256937009622286336

fib(810) = 13787681438379829726994633065959238864978762791002964637376818319535348552916914720913369508484077708194652022456565387856578639704772196320735981651342183956684245827584
val(810) = 50727256906488063939808138887168

fib(811) = 22308937193354601961833565223456762990478451015843189381428140636750913058429432466788312107081721774867099631794928293278814956564243207819444167673783259734323018858496
val(811) = 53064793464716740822430595940352

fib(812) = 36096618631734433364804189532240639302210338582576919953725686530335433826791527652922185374759171583296038925114422142389375869579771760859415500818446686995213390446592
val(812) = 55508503569281531982113845280768

fib(813) = 58405555825089035326637754755697402292688789598420109335153827167086346885220960119710497481840893358163138556909350435668190826144014968678859668492229946729536409305088
val(813) = 58063140815217184472503481794560

fib(814) = 94502174456823461987537979316639491807886629078073965549196603401225091850231765911750667819826576540522028398572058733041637602480761302661333763337391660507925296709632
val(814) = 60733668587266786730545143349248

fib(815) = 152907730281912490610271769101038344313562919573571011144667520272114749873672004170579150264893981497748017872029695323693899335381750844463252025856336634020637202972672
val(815) = 63525269186546830689631287115776

fib(816) = 247409904738735979413425608302872035269499545063337231652595764858126597171026657525857878231814511642018642604408609436799253310834613854632351413086868187395860511850496
val(816) = 66443353348591312484301111558144

fib(817) = 400317635020648470023697377403910379583062464636908242797263285130241347044698661696437028496708493139766660476438304760493152646216364699095603438943204821416497714823168
val(817) = 69493570169348127382416304111616

fib(818) = 647727539759384449437122985706782414852562009700245474449859049988367944215725319222294906728523004781785303080846914197292405957050978553727954852030073008812358226673664
val(818) = 72681817456345200464235115577344

fib(819) = 1048045174780033026723283802651469591027824459983922737082048899857756313048915530692844175813607312336546348892512640478040424095155750082854620786545837401698047990169600
val(819) = 76014252522995913719976644575232

fib(820) = 1695772714539417476160406788358252005880386469684168211531907949846124257264640849915139082542130317118331651973359554675332830052206728636582575638575910410510406216843264
val(820) = 79497303444730003010174408720384

fib(821) = 2743817889319450717408617470091275190092610900961628988283809979182174613890539480156207739532489258284866771536327038193882985131139292379499321416266866955146838304358400
val(821) = 83137680796439720650626270494720

fib(822) = 4439590603858867979044097379367973602788597399352259160145864799550004827578197230523122340897867946573209652839231749828706084199569207356019772063697658222718860423856128
val(822) = 86942389891534474535672918048768

fib(823) = 7183408493178318696452714849459248792881208300313888148429674778732179441468736710679330080430357204858076424375558788022589069330708499735519093479964525177865698728214528
val(823) = 90918743543714143714739128107008

fib(824) = 11622999097037187533596519745153436768407405584840299467254952096195360443354866339395350346035231666751241159896609910013334077465384961731787365508242659972338095541452800
val(824) = 95074375373508028066764356059136

fib(825) = 18806407590215506230049234594612685561288613885154187615684626874927539884823603050074680426465588871609317584272168698035923146796093461467306458988207185150203794269667328
val(825) = 99417253682465491392521614393344

fib(826) = 30429406687252693763645754339766122329696019469994487082939578971122900328178469389470030772500820538360558744168778608049257224261478423199093824496449845122541889811120128
val(826) = 103955695918902828286154928816128

fib(827) = 49235814277468199993694988934378807890984633355148674698624205846050440213002072439544711198966409409969876328440947306085180371057571884666400283484657030272745684080787456
val(827) = 108698383760055758363486500945920

fib(828) = 79665220964720893757340743274144930220680652825143161781563784817173340541180541829014741971467229948330435072609725914134437595319050307865494107981106875395287573891907584
val(828) = 113654378836534650827557669175296

fib(829) = 128901035242189093751035732208523738111665286180291836480187990663223780754182614268559453170433639358300311401050673220219617966376622192531894391465763905668033257972695040
val(829) = 118833139126063634810972856647680

fib(830) = 208566256206909973778781155221449238368544340842648563722881175193786302506436237726487828346588765061511465150751289179761432778733956426153412500013583155915264249634488320
val(830) = 124244536044575829009139490619392

fib(831) = 337467291449099067529816887429972976480209627022940400203069165857010083260618851995047281517022404419811776551801962399981050745110578618685306891479347061583297507607183360
val(831) = 129898872263896763152131365535744

fib(832) = 546033547656008986390216761606544494993547575214443225770467939904353110611347416237189642682362752500846116410916811761371992391997670747862815393759779716906335428321214464
val(832) = 135806900286522870787824924229632

fib(833) = 883500839105108053920033649036517471473757202237383625973537105761363193871966268232236924199385156920657892962718774161353043137108249366548122285239126778489632935928397824
val(833) = 141979841809148116968522232365056

fib(834) = 1429534386761117040310250410643061966467304777451826851744005045665716304483313684469426566881747909421504009373635585922725035529105920114410937678998906495395968364249612288
val(834) = 148429407908003955118034204491776

fib(835) = 2313035225866224874556758935500068558520236409084627525095612546841306397732449258764281622356139398420253401169808600810596114138826712293055443973305431271516695984496181248
val(835) = 155167820080390048201222345719808

fib(836) = 3742569612627341914867009346143130524987541186536454376839617592507022702215762943233708189237887307841757410543444186733321149667932632407466381652304337766912664348745793536
val(836) = 162207832178192886050131038699520

fib(837) = 6055604838493567228770818530002220842349428736830247807179089348519875301193873589872753549044014042105827814046344306090881192861534259076329057607474973043167170964605632512
val(837) = 169562753270700046102253526843392

fib(838) = 9798174451120909582984878124504373126178621064575868089262566150198444204655297920981225475731888685791402226922880011371166271584241805859602671241644514814817645944715083776
val(838) = 177246471475491945022107145994240

fib(839) = 15853779289614475054367495661070506933161445236569452275466218662032134700866525959354924074975953384521962031636858243274191748226676407432702800921658671839033574383866085376
val(839) = 185273478797867403047546726121472

fib(840) = 25651953740735384637352373785574880059340066301145320364728784812230578905521823880336149550707842070313364258559738254645358019810918213292305472163303186653851220328581169152
val(840) = 193658897020866857753238709469184

fib(841) = 41505733030349863206496271433517561063234720667388099882145877147635083216353640942689183525283694141585862308861328646295261200475793935731466128939883490530787279763356516352
val(841) = 202418504689708171545231237316608

fib(842) = 67157686771085244329072243232220267051841577838860093004923788286493292511910173720027223176391637525148690548756334752564907787848512834017313745248265045146736015041028423680
val(842) = 211568765236253975096092002353152

fib(843) = 108663419801435107535568514665737828115076298506248192887069665434128375728263814662716406701675331666734552857617663398860168988324306769748779874188148535677523294804384940032
val(843) = 221126856290994861881344013631488

fib(844) = 175821106572520351864640757897958095166917876345108285891993453720621668240173988382743629878066969191883243406373998151425076776172819603766093619436413580824259309845413363712
val(844) = 231110700232020475723864172658688

fib(845) = 284484526373955445341103664616207226999061338332663169811259624461260565528576638633467596981342706111615652189332732956782400034744329113489042070204875588350172664446161256448
val(845) = 241538996022376308482370202238976

fib(846) = 460305632946475797205744422514165322165979214677771455703253078181882233768750627016211226859409675303498895595706731108207476810917148717255135689641289169174431974291574620160
val(846) = 252431252389494231531428933271552

fib(847) = 744790159320431298783270518920327334296771899085207861385726681417100713056771923297648582234350760403123124083675178439001259764672666870847503453524910870131044399552284065792
val(847) = 263807822402380491804893406822400

fib(848) = 1205095792266907039752592509644537871331019767688206081217765780825025033066077892665890050700162056718613443380746195173197353656578626547999313449487453926699036613029310496768
val(848) = 275689939504677099175035449376768

fib(849) = 1949885951587338338535863028564865205627791666773413942603492462242125746122849815963538632934512817121736567464421373612198613421251293418846816903012364796830081012581594562560
val(849) = 288099755064048819282335097683968

fib(850) = 3154981743854245603234145265369222217485736818760712967306114158162982434226706339221307717209068389792384316039710426281441498753874676127259433127214803173954876668869097816064
val(850) = 301060377500769949752894064427008

fib(851) = 5104867695441583716824318566774268282586603101235033966424750705309276525311777524592967316569187690962086578309588942397594580499081213385692947255512183520359198638192499621888
val(851) = 314595913061076192704974930575360

fib(852) = 8259849439295829320058463832143490500072339919995746933730864863472258959538483863814275033778256080754470894349299368679036079252955889512952380382726986694314075307061597437952
val(852) = 328731508303361061930948074930176

fib(853) = 13364717134737413036882782398917758782658943021230780900155615568781535484850261388407242350347443771716557472658888311076630659752037102898645327638239170214673273945254097059840
val(853) = 343493394368285464343200734904320

fib(854) = 21624566574033242356941246231061249282731282941226527833886480432253794444388745252221517384125699852471028367008187679755666739004992992411597708020966156908987349252315694497792
val(854) = 358908933106560734640255352700928

fib(855) = 34989283708770658992955064264536114313821032111242795829799790642568636409843464730098824271663439879420134722779761710769025905573746193876855880054645078330472767889700875665408
val(855) = 375006665141356364614922942808064

fib(856) = 56613850282803904949027346130154469844983121201254810759443965716355737334836668071790406192979435987123711972900635110461421151395455284855066432471050986446272261834147654270976
val(856) = 391816359945253522264590416609280

fib(857) = 91603133991574563941982410394690584158804153312497606589243756358924373744680132801889230464642875866543846695680396821230447056969201478731922312525696064776745029723848529936384
val(857) = 409369068015165581436539111473152

fib(858) = 148216984274378483287533899063073478997510499108894365731718500641413337001934633231559894806383496874597754201031774811438782235631521157853440122578506056050265870326520520638464
val(858) = 427697175231704142341032978153472

fib(859) = 239820118265953032832992166919535638162591427826250023937931478434204484824196933675568867122265187720211405364261428752922315265333858242318911057522443115999762321281844714143744
val(859) = 446834459493363087704318543921152

fib(860) = 388037102540331516120526065982609117160101926935144389669649979075617821826131566907128761928648684594809159565293203564361097500965379400172351180100949172050028191608365234782208
val(860) = 466816149719296139212119915626496

fib(861) = 627857220806284491367421662749231055347800456380826620075458343245289402960657171151176596455869132231299782799751660798295756657231780065425456727296356268740796197816112603201536
val(861) = 487678987318416962906291078955008

fib(862) = 1015894323346616065074044298884753872482795281696538803277231436585440128476460067489826390979562556909829724494847835881644510267264617042663613417724341460099818704498575183708160
val(862) = 509461290226439316144356455350272

fib(863) = 1643751544152900556441465961633984927830595738077365423352689779830729531437117238641002987435431689141129507294599496679940266924496397108089070145020697728840614902314687786909696
val(863) = 532203019616790762441760447660032

fib(864) = 2659645867499516621515510260518738800313391019773904226629921216416169659913577306130829378414994246050959231789447332561584777191761014150752683562745039188940433606813262970617856
val(864) = 555945849395306520079115938168832

fib(865) = 4303397411652417408301362502764378528043558351373540824111103453305030806109379862497916496230604895526971867603258715317475668552527241567104975749073880995017025769424340140425216
val(865) = 580733238593439814712321898446848

fib(866) = 6963043279151934029816872763283117328356949371147445050741024669721200466022957168628745874645599141577931099392706047879060445744288255717857659311818920183957459376237603111043072
val(866) = 606610506779128041391919781117952

fib(867) = 11266440690804350516740690143600876656802221348431901178338158294793704813097595760222325849355488195765370452919117218892733616551736176051909746895660224870030576104476385719877632
val(867) = 633624912609382780830252634472448

fib(868) = 18229483969956285467935108029330613184757457093668430925593152792747431738155294199755408245521803178682834066388670811075596560041103753002820294372711721362931944521899546362511360
val(868) = 661825735653747307563834448805888

fib(869) = 29495924660760635984675798172931489841559678442100332103931311087541136551252889959977734094877291374448204519307788029968330176592839929054730041268371946232962520626375932082388992
val(869) = 691264361622796000643689220145152

fib(870) = 47725408630716917767100725712475626227923990039412424243468584567358462453269219076115796254316231187772908529389068663828716745653626397125338782980153362360118828983533248318537728
val(870) = 721994371141641192204059409383424

fib(871) = 77221333291477550066266343395620639271090522985156417561344016341969493168383143952476184263110659196862982992389466516581836931266149041247857271587595003357305713445166950274564096
val(871) = 754071632213695027075645706338304

fib(872) = 124946741922194467833367069108096265499014513024568841804812600909327955621652363028591980517426890384635891521778535180410553676919775438373196054567748365717424542428700198593101824
val(872) = 787554396526022989478527032623104

fib(873) = 202168075213672032641674134462862811963677617995150614510380134503017872134591367315537549124869003042931394739397562405853230572107193619349899536799064590017832800532836069373116416
val(873) = 822503399753827677891160136744960

fib(874) = 327114817135866515217081925530104984656264713005144811459416252664066251100799590678598913986627346888999806486405658295124624212948238197451941802010534176678359887620505188471668736
val(874) = 858981966027595303979121056415744

fib(875) = 529282892349538547858756059992967796619942331000295425969796387167084123235390957994136463111496349931931201225803220700977854785055431816801841338809598766696192688153341257844785152
val(875) = 897056116733646249347587147563008

fib(876) = 856397709485405004107675097686489152501916716063738816852318570824268680957967107334857839720797882975200926811290636160659119142318593455338398298245248059602142397137970764294651904
val(876) = 936794683824962682788621819314176

fib(877) = 1385680601834943551966431157679456949121859047064034242822114957991352804193358065328994302832294232907132128037093856861636973927374025272140239637054846826298335085291312022139437056
val(877) = 978269427827057556047793754210304

fib(878) = 2242078311320348556074106255365946101623775763127773059674433528815621485151325172663852142553092115882333054848384493022296093069692618727478637935300094885900477482429282786434088960
val(878) = 1021555160730634559300699127021568

fib(879) = 3627758913155292108040537413045403050745634810191807302496548486806974289344683237992846445385386348789465182885478349883933066997066643999618877572354941712198812567720594808573526016
val(879) = 1066729873970551670366037463793664

fib(880) = 5869837224475640664114643668411349152369410573319580362170982015622595774496008410656698587938478464671798237733862842906229160066759262727097515507655036598099290050149877595007614976
val(880) = 1113874871698832358879220442595328

fib(881) = 9497596137630933243900484184149421233309368007044999029282683054484623610866479179352565332342471324227104067826687135473709105909306519198039471820609057380477384046957477859755556864
val(881) = 1163074909567733512686643271696384

fib(882) = 15367433362106573908015127852560770385678778580364579391453665070107219385362487590009263920280949788898902305560549978379938265976065781925136987328264093978576674097107355454763171840
val(882) = 1214418339247546817592382556471296

fib(883) = 24865029499737505264934399625939515498210856093275132962275737916371628808125816646549748056548995070062643784557853343119459856503449851237884144186476835078336932427716811489821065216
val(883) = 1267997258912757136580021774712832

fib(884) = 40232462861844081059930739889270962004666925167774157812190013194699062381591454359371093172904370902024908678947787092233585637861438083048313446477137245337630732241172188769281900544
val(884) = 1323907669939942788666247425818624

fib(885) = 65097492361581586324865139515210477502877781261049290774465751111070691189717271005920841229453365972087552463505640435353045494364887934286197590663614080415967664668889000259102965760
val(885) = 1382249640069974694572758690430976

fib(886) = 105329955223425667384795879404481439507544706428823448586655764305769753571308725365291934402357736874112461142453427527586631132226326017334511037140751325753598396910061189028384866304
val(886) = 1443127473297981308485939954188288

fib(887) = 170427447585007261257585868562774621493531649666410521194963956249721301513438596862461100416108807018453463961276603045876426688118903751161877887653950671292434564444342276586278486016
val(887) = 1506649886764318273731605108359168

fib(888) = 275757402808432928642381747967256061001076356095233969781619720555491055084747322227753034818466543892565925103730030573463057820345229768496388924794701997046032961354403465614663352320
val(888) = 1572930194931214686292556338167808

fib(889) = 446184850393440220091667015102361500427044653667795618311953440136735783607836321055207434371766167600033190486276773951086484754574892717822943851846993728829941537260314091396104454144
val(889) = 1642086501341528370019630328053760

fib(890) = 721942253201873209117447560214279197292994305575331842764312687355273692711884447212947067464614344870626718432547085188043543067141640882648686855438377846858922521537854255401093038080
val(890) = 1714241898266702623733687796105216

fib(891) = 1168127103595313308442316981027317425990292367618522951734787074165915768281119160408181305287617245714604703233743297812142026837273496807812922549692007333722968012951894950016547028992
val(891) = 1789524674564834664648715330912256

fib(892) = 1890069356797186517559764541241596623283286673193854794499099761521189460993003607621128372752231590585231421666290383000185569904415137690461609405130385180581890534489749205417640067072
val(892) = 1868068532081427793565306761248768

fib(893) = 3058196460392499826002081522268914049273579040812377746233886835687105229274122768029309678039848836299836124900033680812327596741688634498274531954822392514304858547441644155434187096064
val(893) = 1950012810939541907150427329134592

fib(894) = 4948265817189685860494655686353217585637879347507814503367070383903919858112719944210545264597027359860846723826001818504561162708331625018101308729579320727023164898546299773729225310208
val(894) = 2035502724079022161399420234498048

fib(895) = 8006462277582186169563927585779424721830444754818610286966873432895399919541249143679747728831929263184903671466357744624840763387792406687010673314775170209191607629373037516286014259200
val(895) = 2124689601419935314998699172560896

fib(896) = 12954728094771872030058583272132642307468324102326424790333943816799319777653969087890292993428956623045750395292359563129401926096124031705111982044354490936214772527919337290015239569408
val(896) = 2217731144039499716232261807374336

fib(897) = 20961190372354058199622510857912067029298768857145035077300817249694719697195218231570040722260885886230654066758717307754242689483916438392122655359129661145406380157292374806301253828608
val(897) = 2314791688767581851237740680577024

fib(898) = 33915918467125928297412332621415536989091147493477787718171096213276540146231561593700762570909630241179521171089787889651836599828951881414695306881990324210166815951671337747826085986304
val(898) = 2416042483622314249017191387103232

fib(899) = 54877108839479990361572366496585948713741807282610167094399243169406258500662031276789945582730940663603941819771083159869695320815045497171896623284107641098481869576044461251108154638336
val(899) = 2521661974523311961047190709731328

fib(900) = 88793027306605910929909653083484796312129172912113266214715679969812801332423089967452423574519721832395929827015715124594299857639643023856434608080122653822831338593554301604972610977792
val(900) = 2631836103739094683398006512812032

fib(901) = 143670136146085901291482019580070745025870980194723433309114923139219059833085121244242369157250662495999871646786798284463995178454688521028331231364230294921313208169598762856080765616128
val(901) = 2746758620541111137507568116563968

fib(902) = 232463163452691812221391672663555541338000153106836699523830603109031861165508211211694792731770384328395801473802513409058295036094331544884765839444352948744144546763153064461053376593920
val(902) = 2866631404558215889113690081853440

fib(903) = 376133299598777713512873692243626286363871133301560132832945526248250920998593332455937161889021046824395673120589311693522290214549020065913097070808583243665457754932751827317134142210048
val(903) = 2991664802342672855666076325773312

fib(904) = 608596463051469494817965180769115070139056158952498077965357491705802792906219532055478816304308034863241341939011201402871656998625934191877233621909034946466332913959258902202341000216576
val(904) = 3122077977681083195172581562908672

fib(905) = 984729762650247146498238504736607841377297037342260702015465742651093735389048841287109701560362289108536749748839265696976090709140119419949072116029815698245251893418718750367782105251840
val(905) = 3258099276203542765054253493911552

fib(906) = 1593326225701716764981404422057989941767613706118353797546497784962816485326796419791201071130603909129978622309372961898683460715835723287508822891314455628484662358324561610873509179817984
val(906) = 3399966604866686605254244408754176

fib(907) = 2578055988351963911479642926794597783144910743460614499561963527613910220715845261078310772690966198238515372058212227595659551424975842707457895007344271326729914251743280361241291285069824
val(907) = 3547927826909834680258184121155584

fib(908) = 4171382214053680676461047348852587724912524449578968297108461312576726706042641680869511843821570107368493994367585189494343012140811565994966717898658726955214576610067841972114800464887808
val(908) = 3702241172905712570173050545242112

fib(909) = 6749438202405644093279887329438117387052393153745202726407726637766957098632374756153372403448801964974207243939707437894659711533508729999694544292500578346852180658024786500142547452559360
val(909) = 3863175668553648067740172371886080

fib(910) = 10920820416459324275080131732081636990959875564029790953253489747920003976548904251228434034206637731709899115821202648193659871642041617291931193577656885366974447064306292639043803620048896
val(910) = 4031011579887823499424860165111808

fib(911) = 17670258618864968368360019061519754378012268717774993679661216385686961075181279007381806437655439696684106359760910086088319583175550347291625737870157463713826627722331079139186351072608256
val(911) = 4206040876599202897367460141334528

fib(912) = 28591079035324290664796939008765118884951976124627264351863913323912245739225734515432439619607140065862796985637752817500608046688477249772636656993804669340431833971492028445375977503064064
val(912) = 4388567714199632262694015940427776

fib(913) = 46261337654189257054513746285448600778944076685224737750474336899904487501902564779636445205007642400015694855454302986807556221734912882253342120409952453313889220878677764251708151386079232
val(913) = 4578908935783154872485287135543296

fib(914) = 74852416689513555633883532433558809599976725438562083226541421462595610491146094267780088233634531916003325800869495471433649900939848991269659875219795841615798018110751166028500837647515648
val(914) = 4777394594170079509421228937969664

fib(915) = 121113754343702804773824431579662320442840129495076739852812587123721220743030864074705330029622424865894186696546358791115720490158303014279320897813709575968210275728847556948792280275222528
val(915) = 4984368495252132039473570101854208

fib(916) = 195966171033216360407707964013221130042816854933638823079354008586316831234176958342485418263256956781897512497415854262549370391098152005548980773033505417584008293839598722977293117922738176
val(916) = 5200188763386024232849768179564544

fib(917) = 317079925376919196839823784150263810229979674943555887428979280665153560977279002308035561928958379448291035033071971722167033411322290456803026062111369869398126422610771773251752233231450112
val(917) = 5425228429720456962769696071876608

fib(918) = 513046096410135525589240359606104580528473839362354386011520604296354883211384780759676166556136338429689211691378067316214461272354607025377282443880720411136226863408045002903378516120698880
val(918) = 5659876044371816047722251413356544

fib(919) = 830126021787054722429064143756368390758453514305910273440499884961508444188663783067711728485094717877980246724450039038381494683676897482180308505992090280534353286018816776155130749352148992
val(919) = 5904536313405016346973196796297216

fib(920) = 1343172118197190121385138949132951532309636591608903361464769749437401291399763844264008640496915065105672115059389071680588185835768162759658693384816191188286948737257559805755841925338890240
val(920) = 6159630761608567597843123447791616

fib(921) = 2173298139984244843814203092889319923068090105914813634905269634398909735588427627331720368982009782983652361783839110718969680519445060241839001890808281468821302023276376581910972674691039232
val(921) = 6425598422096730936009178967179264

fib(922) = 3516470258181434711933010933563228577423145173404994400395537904195386954987622032468970500390292865685329790130350113051542326114686539505699900145511233650340987936195332441061479919762014208
val(922) = 6702896553808648432068097946419200

fib(923) = 5689768398165679302480882917993505622536653755201085439326306058953372618575480220673932360283670666264987465201311154422496466393604916251741106906206276112395027135133105076367117914185138176
val(923) = 6992001388018927593082285564362752

fib(924) = 9206238656347114014413893851556734199959798928606079839721843963148759573563102253142902860673963531950317255331661267474038792508291455757441007051717509762736015071328437517428597833947152384
val(924) = 7293408905015242523961350810501120

fib(925) = 14896007054512793316894776769550239822496452683807165279048150022102132192138582473816835220957634198215304720532972421896535258901896372009182113957923785875131042206461542593795715748132290560
val(925) = 7607635642149247754341710294941696

fib(926) = 24102245710859905305178021753434630998819599419463464350973982148123499189697129213945670008922541870933664482161609134586449729485974359800240759968735383583728954683081148538381636139936120832
val(926) = 7935219534507564822674070109683712

fib(927) = 38998252765372700648203447390657213844952704296220410397818144007353023957840267200776573302589231928380926696397606111267109310312084199775805234967565081512998099484251522705020029330211733504
val(927) = 8276720789504115296730918751830016

fib(928) = 63100498476232605953381469144091844843772303715683874748792126155476523147537396414722243311511773799314591178559215245853559039798058559576045994936300465096727054167332671243401665470147854336
val(928) = 8632722796744094979200542645944320

fib(929) = 102098751241605306601584916534749058688725008011904285146610270162829547105377663615498816614101005727695517874956821357120668350110142759351851229903865546609725153651584193948421694800359587840
val(929) = 9003833074563167467290985842606080

fib(930) = 165199249717837912554966385678840903532497311727588159895402396318306070252915060030221059925612779527010109053516036602974227389908201318927897224840166011706452207818916865191823360270507442176
val(930) = 9390684254700080656155647879938048

fib(931) = 267298000959443235365596493154968706410315537283090691184380761178154757966329167749832421121386232128561286878097054398367890315412051822010807343071278854749282182228171711722986474608013606912
val(931) = 9793935106618782976718963692535808

fib(932) = 432497250677281115502472496951052121564626413923482358795046968102422547003171339571828391883654117907860076032364698124796128554532837653476586791256950273589524748531747271749326995804227895296
val(932) = 10214271603056711406919736115593216

fib(933) = 699795251636724415704249753871535804731314821380966034548900108068653867401646283738110991331730137531844002708958538276255997171519720450411629687637218314071226213790601593803279148560827809792
val(933) = 10652408028433846071781139524091904

fib(934) = 1132292502314005531206722250822587926295941235304448393343947076171076414404817623309939383215384255439704078741323236401052125726052558103888216478894168587660750962322348865552606144365055705088
val(934) = 11109088131825600561718023002521600

fib(935) = 1832087753950729817238610477163093777514510316336628458753902426663577156942172354215150017893734817980702801853288203171124166294422616604451375059913408530267138610051585238693953936628710899712
val(935) = 11585086326268588419907249831411712

fib(936) = 2964380256264735218772971200454651750297705811292290882958904745258500446482698424692189044455739498429561600997617868065992335417325512758491120432189598746463051006312568883584628724696593989632
val(936) = 12081208936232740726596277540749312

fib(937) = 4796468010215465036011581677617745527812216127628919341712807171922077603424870778907339062349474316410264402850906071237116501711748129362942495492103007276730189616364154122278582661325304889344
val(937) = 12598295495173119498378326711468032

fib(938) = 7760848266480199736095106767948277464058938977526066348115932886875965550450402992267926680191695514876444885460549653278373010716474994322039731497820692537333886358431262123215485960833208418304
val(938) = 13137220095141454294445937521590272

fib(939) = 12557316276695665809485580665814262619973121027945273442940298119407268152789606193838468595768206431213471525087404296564961165253420419283769995842867526785782784503286338010789519472535894228992
val(939) = 13698892790521267567806713732005888

fib(940) = 20318164543175863470822902993266060827828128159890764284833114885064783705411344340779989569505828746236391936996056805744390870319500822408234189634800565379679253804735756603414103732614340804608
val(940) = 14284261058027480985167837253337088

fib(941) = 32875480819871529280308483659080323447801249187836037727773413004472051858200950534618458165274035177449863462083461102309352035572921241692004185477668092165462038308022094614203623205150235033600
val(941) = 14894311315194396064155592562835456

fib(942) = 53193645363047396900646955533339342788037241038887953025052760131973735559269624566051259147688010323393304346183312196251629517193211246495389450524243965432016126226721538278799530339274099523584
val(942) = 15530070499668178502747697212030976

fib(943) = 86069126182918922031439870311426707723430626535562839740379940894008887421813245410016905900053899101136118861162979010363094941465343305792242560590136749710603330420779945831821350142914810871808
val(943) = 16192607711700562483125244055781376

fib(944) = 139262771545966318932086825844766050511467867574450792765432701025982622981082869976068165047741909424529423207346291206614724458658554552287632011114380715142619456647501484110620880482188910395392
val(944) = 16883035922346393989878227369197568

fib(945) = 225331897728885240963526696156192758234898494110013632505812641919991510402896115386085070947795808525665542068509270216977819400123897858079874571704517464853222787068281429942442230625103721267200
val(945) = 17602513749953939886333493583544320

fib(946) = 364594669274851576493675797524930642795997816449109029321030271915721733366608304124764481647170303549023161064270738576384090303985609139948110884465999411543341580171637662297790324713330726404096
val(946) = 18352247307642750745326958061551616

fib(947) = 589926567003736817457202493681123401030896310559122661826842913835713243769504419510849552594966112074688703132780008793361909704109506998027985456170516876396564367239919092240232555338434447671296
val(947) = 19133492124571435312964757369126912

fib(948) = 954521236278588460343127393301941380025419946066810107347012901630425377066629998686059016848666758019024647350711455980912185788907743056298513547224921214129903293234975747516931734475917553041408
val(948) = 19947555143901158436369388093308928

fib(949) = 1544447803282325211408080784887177444857790437567354352974716099587148220905617143146463586837102527698400567329830756163107909712204623136004081796807033164336470314651475846778255435390199621746688
val(949) = 20795796800475214732046564289675264

fib(950) = 2498969039560913671751208178189118824883210383634164460321729001217573597972247141832522603685769285717425214680542212144020095501112366192302595344031954378466373607886451594295187169866117174788096
val(950) = 21679633181358307556310117362171904

fib(951) = 4043416842843238617590292554692746924946897544967205148499886237288760219155795184777206260096750443834574649395730133862463262090066481655017008314485367838042854539244251469157807187559707280670720
val(951) = 22600538272489734929023086444412928

fib(952) = 6542385882404152289341500732881865749830107928601369608821615238506333817128042326609728863782519729551999864076272346006483357591178847847319603658517322216509228147130703063452994357425824455458816
val(952) = 23560046294846149836371416689147904

fib(953) = 10585802725247390906931793287574612674777005473568574757321501475795094036283837511386935123879270173386574513472002479868946619681245329502336611973002690054552082686374954532610801544985531736129536
val(953) = 24559754133623655450482576449339392

fib(954) = 17128188607651542133997308386922281045430700297232689706956881260237581454523603437189544265957304424613569847089703488096771004779422146656497540326105533452021353300330953708401254231624918128132096
val(954) = 25601323864103381216540297999155200

fib(955) = 27713991332898930916377130407428498961854879560926755145905911827904982693030888146962239946427603641350135299644563292408399679474663414772516801688279265868493520920356500465686972435037573737349120
val(955) = 26686485377990847652452764494069760

fib(956) = 44842179940550473050374438794350780007285579858159444852862793088142564147554491584151784212384908065963705146734266780505170684254085561429014342014384799320514874220687454174088226666662491865481216
val(956) = 27817039114182095707059555122806784

fib(957) = 72556171273449403966751569201779278969140459419086199998768704916047546840585379731114024158812511707313840446378830072913570363728748976201531143702664065189008395141043954639775199101700065602830336
val(957) = 28994858898042815802051138204729344

fib(958) = 117398351213999877017126007996130058976426039277245644851631498004190110988139871315265808371197419773277545593113096853418741047982834537630545485717048864509523269361731408813863425768362557468311552
val(958) = 30221894893466627389411609670582272

fib(959) = 189954522487449280983877577197909337945566498696331844850400202920237657828725251046379832530009931480591386039491926926332311411711583513832076629419712929698531664502775363453638624870062623071141888
val(959) = 31500176672128857858129535961137152

fib(960) = 307352873701449174997419355330586554988815147652573564249011468189449311199077544774559556448479118907069004119942165184209596019582450542553160920023393455312694254395302034470102717371008189554753536
val(960) = 32831816404526966359078213662015488

fib(961) = 497307396188898455981296932528495892934381646348905409099411671109686969027802795820939388978489050387660390159434092110541907431294034056385237549443106385011225918898077397923741342241070812625895424
val(961) = 34219012177579125768833371761278976

fib(962) = 804660269890347562993053207312893815655906355285494675160504070239050110698030650943843283237881098681929104330027691676917329211324354634576243249919973195905362891170198383583441392681746966119448576
val(962) = 35664051443734005809939699686440960

fib(963) = 1301967666079245950988687059295201076322997562918415786071996672288650910196983757113127010027283078456789204540113218169625062403066258726599325579816552936498031527945094732696780067992485742684143616
val(963) = 37169314606736918572979250830245888

fib(964) = 2106627935969593513981740266608094891978903918203910461232500742527701020895014408056970293265164177138718308870140909846542391614390613361175568829736526132403394419115293116280221460674232708803592192
val(964) = 38737278749394521970932081422761984

fib(965) = 3408595602048839464970427325903295968301901481122326247304497414816351931091998165170097303292447255595507513410254128016167454017456872087774894409553079068901425947060387848977001528666718451487735808
val(965) = 40370521508892935333687226745749504

fib(966) = 5515223538018432707009515270326636331211643644462299515785321881103708273871613814620444947801263150283024662483000775391373148673638965591501842361103498623630591237682956770015612321619623016046526464
val(966) = 42071725105427146215837364010352640

fib(967) = 8923819140067272715865247240599441357651868635312500148593171848400749561194409497003787548606406970780934495488043428350213996607512877394173978527028790847880475441728793009475835185728997756023865344
val(967) = 43843680530130360870938636137267200

fib(968) = 14439042678085704335104153222187059572586865260319050893371788624543079122604428277197741901382276991259154518781467153856240357448317763555881337375387863160814150165440852998525004836463308195091185664
val(968) = 45689291898526150708176927145852928

fib(969) = 23362861818152977050969400462786500930238733895631551041964960472943828683798837774201529449988683962040089014269510582206454354055830640950055315902416654008694625607169646008000840022192305951115051008
val(969) = 47611580975952551703678148637884416

fib(970) = 37801904496238681386073553684973560502825599155950601935336749097486907806403266051399271351370960953299243533050977736062694711504148404505936653277804517169508775772610499006525844858655614146206236672
val(970) = 49613691881661931040637657221693440

fib(971) = 61164766314391662788125391302716133898170921129405148061328529990276251340048483963306763181461217434558551104078796517810536216891315363175169903231198876420991067435663732138392455564389170405238112256
val(971) = 51698895978571159668469684101971968

fib(972) = 98966670810630339823116507832733621935889932207532754912638458667917644296605369877000072152730605868638576080371466054331843777064127449961928622458025688347712177152390644021052529739503534243527524352
val(972) = 53870596955881597620790502478577664

fib(973) = 160131437125022020015571647755274045694487205648229883310074270337575955036039374391130684854598113380074001411483495370307928599280788084013810261893135385739853908811588724654908068038057705880432934912
val(973) = 56132336112081531530438358455025664

fib(974) = 259098107935652359838688155588007667630377137855762638222712729005493599332644744268130757007328719248712577491854961424639772376344915533975738884351161074087566085963979368675960597777561240123960459264
val(974) = 58487797846135835642256492471517184

fib(975) = 419229545060674414662919300582930293045717048126576482205001562701833673167455159760909140902739412782540327357404922391278798186276394159742972618652118101769721323222636790321794831283948948467727990784
val(975) = 60940815364944024414194005343993856

fib(976) = 678327652996326809310266953410586540396946890604923081099928855066091391298870945130687596950880712185006653303326349412249667773272000235472134975411100817799588737633684855988681594529840191055023046656
val(976) = 63495376615495798060625595698511872

fib(977) = 1097557198057001223973186253993516833442663938731499563304930417767925064466326104891596737853620124967546980660731271803528465959548394395215107594063218919569310060856321646310476425813789139522751037440
val(977) = 66155630450434928737400998426836992

fib(978) = 1775884851053328033283453207404103373839610829336422644404859272834016455765197050022284334804500837152553633964057621215778133732820394630687242569474319737368898798490006502299158020343629330577774084096
val(978) = 68925893036108041769396245649948672

fib(979) = 2873442049110328978787363483480431569515453131087250522332073183731828569841354826100699480331620320890070626992257168248657822007163264691874962384274965521399798231769778572682225122410778450393848348672
val(979) = 71810654512514201848690869442445312

fib(980) = 4649326900163656733601540712967346305588242323443001481359215949695732075216383547309802222809620516812594273323783064693787178054778134988534817174486712123230286402683235499053973819007767761264945659904
val(980) = 74814585914916730871367782327386112

fib(981) = 7522768949273985712388904196447777875103695454530252003691289133427560645057738373410501703141240837702664900316040232942445000061941399680409779558761677644630084634453014071736198941418546211658794008576
val(981) = 77942546367278793959891331725656064

fib(982) = 12172095849437642445990444909415124180691937777973253485050505083123292720274121920720303925950861354515259173639823297636232178116719534668944596733248389767860371037136249570790172760426313972923739668480
val(982) = 81199590558049664877886989632798720

fib(983) = 19694864798711628158379349105862902055795633232503505488741794216550853365331860294130805629092102192217924073955863530578677178178660934349354376292010067412490455671589263642526371701844860184582533677056
val(983) = 84590976509248669746936726415212544

fib(984) = 31866960648149268376615586191940517134352997914631385490770567244713242482484635584345656816430958416892943346535433030049719134813736274346079870791157872096043541688113116605897269872298053999852859162624
val(984) = 88122173650197348948360587768758272

fib(985) = 51561825446860900990503350944478437394417777338825637945555825571185903054059189139487367922747070868791347222611804156958776755955685598039872451551369109677148567400927173463262190754089154499742221205504
val(985) = 91798871207702801938106794345758720

fib(986) = 83428786095010169367118937136418954528770775253457023436326392815899145536543824723833024739178029285684290569147237187008495890769421872385952322342526981773192109089040290069159460626387208499595080368128
val(986) = 95626986924926003410714170134364160

fib(987) = 134990611541871070357622288080897391923188552592282661381882218387085048590603013863320392661925100154475637791759041343967272646725107470425824773893896091450340676489967463532421651380476362999337301573632
val(987) = 99612676121642121244149687366189056

fib(988) = 218419397636881221902707562630616273634882743078976696954034754763296965302176065543109795492207088401438009152424248145654246765641375785434024278363618392549074505414108580742226915287078610237705068478464
val(988) = 103762341109114309456051527703592960

fib(989) = 353410009178752310082363513298213738375147880438022346200090829590069242717749852450473810063028229594635566152665319874943041184219636813237601870130319164673873462068975217134002763387339934498269683515392
val(989) = 108082640973237451297282241249411072

fib(990) = 571829406815633531985071075928830012010030623516999043154125584353366208019925917993583605555235317996073575305089568020597287949861012598671626148493937557222947967483083797876229678674418544735974751993856
val(990) = 112580501740220040088924867363078144

fib(991) = 925239415994385913355569239573844041653484843022073340810911839702184366037558862620231903253847711745596818291683009436826416221493263641420239290115475444594654550211655706447649228940898324279153689362432
val(991) = 117263126939525345209584819307020288

fib(992) = 1497068822810019445340640315502674053663515466539072383965037424055550574057484780613815508809083029741670393596772577457423704171354276240091865438609413001817602517694739504323878907615316869015128441356288
val(992) = 122138008579440657377544203394875392

fib(993) = 2422308238804405358696209555076518095317000309561145724775949263757734940095043643234047412062930741487267211888455586894250120392847539881512104728724888446412257067906395210771528136556215193294282130718720
val(993) = 127212938551140620912078010567360512

fib(994) = 3919377061614424804036849870579192148980515776100218108740986687813285514152528423847862920872013771228937605485228164351673824564201816121603970167334301448229859585601134715095407044171532062309410572075008
val(994) = 132496020477797174685688792994545664

fib(995) = 6341685300418830162733059425655710244297516085661363833516935951571020454247572067081910332934944512716204817373683751245923944957049356003116074896059189894642116653507529925866935180727747255603692702793728
val(995) = 137995682025868792026878677411168256

fib(996) = 10261062362033254966769909296234902393278031861761581942257922639384305968400100490929773253806958283945142422858911915597597769521251172124720045063393491342871976239108664640962342224899279317913103274868736
val(996) = 143720687696337735121994998521790464

fib(997) = 16602747662452085129502968721890612637575547947422945775774858590955326422647672558011683586741902796661347240232595666843521714478300528127836119959452681237514092892616194566829277405627026573516795977662464
val(997) = 149680152114432604609772870571130880

fib(998) = 26863810024485337815052569207027905710267776959038865271418527606059667101451514099303873236210167827650084004405807693119964697202348044908203804335127173454055409270617765081794282450393830849992803129229312
val(998) = 155883553836930114011366274604466176

fib(999) = 43466557686937427506996155551113736989014930606753135940421893445574924103291704556590724031629457130224242562009803138605795985275055883724744645670017852944230821885448147900618234216285807506383791353495552
val(999) = 162340749697000096216383897364070400

fib(1000) = 70330367711422765322048724758141642699282707565792001211840421051634591204743218655894597267839624957874326566415610831725760682477403928632948450005145026398286231156065912982412516666679638356376594482724864
val(1000) = 169061989707239153524784714894802944

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment