fork download
  1. import java.lang.Math.floor
  2. import scala.collection.{mutable => Mut}
  3.  
  4. object Main extends App {
  5. def unwrapOption[T](x: Option[T], default: T) :T = x match{
  6. case Some(_x) => _x
  7. case None => default
  8. }
  9.  
  10. def fibonacci(n: Double): (Option[Double], Mut.Map[Double, Double]) = {
  11. val memo = Mut.Map[Double, Double](0.0 -> 0.0, 1.0 -> 1.0)
  12. def h(m: Double): Double = {
  13. if (!memo.contains(m)) memo += m -> (h(m - 2) + h(m - 1))
  14. unwrapOption(memo.get(m), 0)
  15. }
  16. if(n >= 0 && n == floor(n))
  17. (Some(h(n)), memo)
  18. (None, memo)
  19. }
  20.  
  21. override def main(args: Array[String]) {
  22. println(fibonacci(10))
  23. println(fibonacci(1000))
  24. println(fibonacci(1.2))
  25. println(fibonacci(12))
  26. println(fibonacci(-12))
  27. println(fibonacci(0))
  28. }
  29. }
  30.  
Success #stdin #stdout 0.5s 382208KB
stdin
Standard input is empty
stdout
(Some(55.0),Map(8.0 -> 21.0, 2.0 -> 1.0, 5.0 -> 5.0, 4.0 -> 3.0, 7.0 -> 13.0, 10.0 -> 55.0, 1.0 -> 1.0, 9.0 -> 34.0, 3.0 -> 2.0, 6.0 -> 8.0, 0.0 -> 0.0))
(Some(4.346655768693743E208),Map(137.0 -> 1.9134702400093282E28, 891.0 -> 7.219422532018732E185, 864.0 -> 1.6437515441529006E180, 146.0 -> 1.454489111232773E30, 550.0 -> 3.923892811677011E114, 559.0 -> 2.9826747492038025E116, 218.0 -> 1.6211401889921942E45, 568.0 -> 2.2672251986760575E118, 227.0 -> 1.2322798146364122E47, 765.0 -> 3.35783838224452E159, 774.0 -> 2.552398914879551E161, 92.0 -> 7.5401138047463465E18, 433.0 -> 1.3872771278047826E90, 846.0 -> 2.8448452637395545E176, 101.0 -> 5.731478440138172E20, 442.0 -> 1.054513122004184E92, 855.0 -> 2.1624566574033242E178, 200.0 -> 2.8057117299251016E41, 173.0 -> 6.388174356131905E35, 514.0 -> 1.1753361291592545E107, 209.0 -> 2.1327100234463182E43, 523.0 -> 8.93410080886483E108, 182.0 -> 4.855852914443544E37, 254.0 -> 5.412222237103764E52, 191.0 -> 3.691087032412707E39, 720.0 -> 1.3231710120532428E150, 729.0 -> 1.0057840404776338E152, 828.0 -> 4.92358142774682E172, 424.0 -> 1.8250487254938595E88, 738.0 -> 7.64528187864207E153, 83.0 -> 9.9194853094755488E16, 837.0 -> 3.742569612627342E174, 810.0 -> 8.521255754974774E168, 155.0 -> 1.1056030715609085E32, 496.0 -> 2.034157432268038E103, 469.0 -> 4.631463812391264E97, 819.0 -> 6.477275397593844E170, 164.0 -> 8.404037832974137E33, 478.0 -> 3.520521795081005E99, 505.0 -> 1.5462272544947735E105, 577.0 -> 1.7233894184687237E120, 245.0 -> 7.120112555698187E50, 783.0 -> 1.940158959146683E163, 792.0 -> 1.474776048842967E165, 110.0 -> 4.356677625885486E22, 451.0 -> 8.015687004359602E93, 801.0 -> 1.1210238130165696E167, 119.0 -> 3.3116481435169827E24, 460.0 -> 6.092976636435301E95, 873.0 -> 1.2494674192219447E182, 532.0 -> 6.791091950866431E110, 128.0 -> 2.5172882568354952E26, 882.0 -> 9.497596137630933E183, 541.0 -> 5.162123292739374E112, 406.0 -> 3.1586167880929834E84, 747.0 -> 5.811420011808452E155, 756.0 -> 4.4174437371622886E157, 415.0 -> 2.400964294493487E86, 487.0 -> 2.6760597106428023E101, 236.0 -> 9.366947731425724E48, 23.0 -> 28657.0, 678.0 -> 2.2086916398132357E141, 741.0 -> 3.238593374507511E154, 777.0 -> 1.0812135309126478E162, 95.0 -> 3.19404346349901E19, 436.0 -> 5.876600217011723E90, 104.0 -> 2.4278932283999755E21, 445.0 -> 4.466989267975252E92, 517.0 -> 4.978803739530075E107, 983.0 -> 1.2172095849437642E205, 992.0 -> 9.252394159943859E206, 391.0 -> 2.315700212878642E81, 732.0 -> 4.260569566147657E152, 472.0 -> 1.961919554461973E98, 131.0 -> 1.0663404174917107E27, 427.0 -> 7.731030463441342E88, 463.0 -> 2.5810263217257956E96, 122.0 -> 1.402836665349892E25, 194.0 -> 1.5635695580168196E40, 508.0 -> 6.549923758702727E105, 176.0 -> 2.70607408246957E36, 750.0 -> 2.4617570215823236E156, 409.0 -> 1.3380115429233926E85, 723.0 -> 5.60504235291473E150, 418.0 -> 1.0170647963024235E87, 759.0 -> 1.8712591957400167E158, 77.0 -> 5.527939700884757E15, 831.0 -> 2.0856625620690997E173, 804.0 -> 4.748733076334203E167, 86.0 -> 4.2019614072748966E17, 490.0 -> 1.1335970846131328E102, 185.0 -> 2.0569723034323324E38, 158.0 -> 4.683409767264573E32, 499.0 -> 8.616829160023833E103, 167.0 -> 3.5600075545958467E34, 50.0 -> 1.2586269025E10, 705.0 -> 9.700662029775616E146, 364.0 -> 5.272493449209564E75, 373.0 -> 4.0077886504699705E77, 59.0 -> 9.56722026041E11, 400.0 -> 1.760236806450138E83, 714.0 -> 7.373779324620727E148, 32.0 -> 2178309.0, 813.0 -> 3.6096618631734433E169, 786.0 -> 8.218645238100586E163, 382.0 -> 3.046446623702099E79, 68.0 -> 7.2723460248141E13, 41.0 -> 1.65580141E8, 822.0 -> 2.7438178893194507E171, 795.0 -> 6.2472515944873575E165, 140.0 -> 8.105590009602353E28, 481.0 -> 1.491316964023272E100, 113.0 -> 1.8455182579303315E23, 454.0 -> 3.395499503682893E94, 149.0 -> 6.161314747715279E30, 346.0 -> 9.125118738557013E71, 660.0 -> 3.822588622310282E137, 687.0 -> 1.6788962132818685E143, 696.0 -> 1.2761819912582017E145, 355.0 -> 6.93629070702067E73, 669.0 -> 2.905670238093427E139, 768.0 -> 1.422403164464571E160, 735.0 -> 1.8048062305068262E153, 367.0 -> 2.2334640661774048E76, 53.0 -> 5.3316291173E10, 394.0 -> 9.809463517264662E81, 708.0 -> 4.10926637848806E147, 403.0 -> 7.456482768619924E83, 62.0 -> 4.052739537881E12, 134.0 -> 4.5170904956503927E27, 941.0 -> 2.0318164543175863E196, 600.0 -> 1.1043307057295211E125, 950.0 -> 1.5444478032823252E198, 609.0 -> 8.394366178779773E126, 995.0 -> 3.919377061614425E207, 681.0 -> 9.356167927584346E141, 376.0 -> 1.697726516284294E78, 35.0 -> 9227465.0, 690.0 -> 7.111918486628981E143, 349.0 -> 3.865462327928464E72, 8.0 -> 21.0, 44.0 -> 7.01408733E8, 699.0 -> 5.405993666630785E145, 762.0 -> 7.926781156676296E158, 358.0 -> 2.9382598946639633E74, 17.0 -> 1597.0, 771.0 -> 6.025396496082736E160, 430.0 -> 3.274917057925923E89, 26.0 -> 121393.0, 125.0 -> 5.942511475751265E25, 977.0 -> 6.783276529963268E203, 986.0 -> 5.15618254468609E205, 331.0 -> 6.689966153880045E68, 645.0 -> 2.802482820898249E134, 672.0 -> 1.2308616648761756E140, 304.0 -> 1.5232024648785907E63, 340.0 -> 5.085254383306679E70, 654.0 -> 2.1302556278029898E136, 421.0 -> 4.308355614659043E87, 80.0 -> 2.3416728348467684E16, 89.0 -> 1.77997941600471398E18, 968.0 -> 8.923819140067273E201, 286.0 -> 2.636210644692904E59, 627.0 -> 4.85026463281743E130, 636.0 -> 3.6868392032039045E132, 295.0 -> 2.003866899755423E61, 717.0 -> 3.1235830470175887E149, 923.0 -> 3.5164702581814347E192, 448.0 -> 1.8922470193905192E93, 932.0 -> 2.6729800095944324E194, 457.0 -> 1.438356671516753E95, 116.0 -> 7.817740794309875E23, 663.0 -> 1.6192745254123623E138, 744.0 -> 1.3718901685894252E155, 98.0 -> 1.3530185234470676E20, 412.0 -> 5.667907850502869E85, 439.0 -> 2.489367799585167E91, 753.0 -> 1.042817008751014E157, 71.0 -> 3.08061521170129E14, 107.0 -> 1.028472075761372E22, 959.0 -> 1.1739835121399988E200, 618.0 -> 6.380822626578357E128, 313.0 -> 1.1578342599977044E65, 322.0 -> 8.801063578447432E66, 385.0 -> 1.290495498782681E80, 726.0 -> 2.3743340423712165E151, 11.0 -> 89.0, 908.0 -> 2.578055988351964E189, 567.0 -> 1.4012222329320367E118, 639.0 -> 1.5617701486882901E133, 989.0 -> 2.1841939763688122E206, 307.0 -> 6.452389184720946E63, 648.0 -> 1.1871507735100351E135, 74.0 -> 1.304969544928657E15, 388.0 -> 5.466626657500934E80, 56.0 -> 2.25851433717E11, 397.0 -> 4.155355428193729E82, 935.0 -> 1.1322925023140055E195, 944.0 -> 8.606912618291892E196, 603.0 -> 4.678019939110568E125, 262.0 -> 2.5425923930268848E54, 702.0 -> 2.2900156657781344E146, 298.0 -> 8.488516405225729E61, 370.0 -> 9.461105609630574E76, 711.0 -> 1.7407131716929801E148, 343.0 -> 2.1541483250565862E71, 29.0 -> 514229.0, 684.0 -> 3.9633363350150624E142, 379.0 -> 7.191684930184173E78, 38.0 -> 3.9088169E7, 693.0 -> 3.0126570159797796E144, 352.0 -> 1.637436118556956E73, 47.0 -> 2.971215073E9, 576.0 -> 1.065113236465587E120, 926.0 -> 1.4896007054512793E193, 585.0 -> 8.096261819371394E121, 899.0 -> 3.391591846712593E187, 244.0 -> 4.400471563146358E50, 558.0 -> 1.8433943723940184E116, 998.0 -> 1.6602747662452085E208, 594.0 -> 6.154224095958725E123, 253.0 -> 3.344937297198118E52, 226.0 -> 7.615908090957229E46, 980.0 -> 2.873442049110329E204, 325.0 -> 3.728190359260087E67, 666.0 -> 6.859356963880477E138, 361.0 -> 1.244666864935792E75, 334.0 -> 2.833915139500869E69, 20.0 -> 6765.0, 675.0 -> 5.2140136833140446E140, 2.0 -> 1.0, 872.0 -> 7.722133329147755E181, 881.0 -> 5.869837224475641E183, 540.0 -> 3.1903676490304564E112, 953.0 -> 6.542385882404152E198, 890.0 -> 4.461848503934402E185, 235.0 -> 5.7890920688648195E48, 549.0 -> 2.4250991258277832E114, 962.0 -> 4.9730739618889846E200, 621.0 -> 2.7029598398554676E129, 971.0 -> 3.780190449623868E202, 316.0 -> 4.90466463202844E65, 657.0 -> 9.023907648824956E136, 289.0 -> 1.1167167493927686E60, 630.0 -> 2.054605069347769E131, 863.0 -> 1.0158943233466161E180, 65.0 -> 1.7167680177565E13, 917.0 -> 1.9596617103321636E191, 271.0 -> 1.9327047124301523E56, 612.0 -> 3.5559105761336274E127, 280.0 -> 1.4691098406862182E58, 319.0 -> 2.0776492788111467E66, 5.0 -> 5.0, 857.0 -> 5.6613850282803905E178, 830.0 -> 1.289010352421891E173, 516.0 -> 3.0770699343446646E107, 866.0 -> 4.303397411652417E180, 552.0 -> 1.0272884749181806E115, 184.0 -> 1.2712787974383434E38, 525.0 -> 2.3389779576526055E109, 938.0 -> 4.796468010215465E195, 534.0 -> 1.7779309548094147E111, 597.0 -> 2.6069711619248347E124, 193.0 -> 9.663391306290452E39, 947.0 -> 3.645946692748516E197, 606.0 -> 1.981641046217179E126, 265.0 -> 1.0770594215935747E55, 301.0 -> 3.5957932520658337E62, 615.0 -> 1.5063078922412486E128, 812.0 -> 2.2308937193354602E169, 848.0 -> 7.447901593204313E176, 821.0 -> 1.6957727145394175E171, 480.0 -> 9.216845717656862E99, 893.0 -> 1.8900693567971865E186, 175.0 -> 1.6724457590413803E36, 256.0 -> 1.4169381771405647E53, 974.0 -> 1.6013143712502202E203, 803.0 -> 2.934878444675386E167, 337.0 -> 1.200465717339148E70, 211.0 -> 5.583507329530046E43, 965.0 -> 2.1066279359695935E201, 283.0 -> 6.223249151560707E58, 624.0 -> 1.1449921622079707E130, 633.0 -> 8.70344674067282E131, 292.0 -> 4.7304880620403654E60, 839.0 -> 9.79817445112091E174, 498.0 -> 5.325493296145936E103, 166.0 -> 2.20020566894663E34, 507.0 -> 4.0480755065987505E105, 920.0 -> 8.301260217870547E191, 579.0 -> 4.5118920734030345E120, 929.0 -> 6.310049847623261E193, 274.0 -> 8.187068542288308E56, 588.0 -> 3.429631543049335E122, 247.0 -> 1.864069667454273E51, 328.0 -> 1.579286779488509E68, 14.0 -> 377.0, 489.0 -> 7.006015278387065E101, 902.0 -> 1.436701361460859E188, 875.0 -> 3.271148171358665E182, 220.0 -> 4.2442001153099927E45, 561.0 -> 7.808743870801623E116, 911.0 -> 1.0920820416459324E190, 884.0 -> 2.4865029499737505E184, 229.0 -> 3.2261504383685474E47, 543.0 -> 1.3514614234509204E113, 570.0 -> 5.935672630284151E118, 202.0 -> 7.34544867157818E41, 642.0 -> 6.61576451507355E133, 956.0 -> 2.771399133289893E199, 238.0 -> 2.452298753171627E49, 310.0 -> 2.733275920376237E64, 651.0 -> 5.0288513761299655E135, 277.0 -> 3.4680978881583385E57, 815.0 -> 9.450217445682346E169, 474.0 -> 5.1363720767744955E98, 824.0 -> 7.183408493178319E171, 483.0 -> 3.90431849981223E100, 142.0 -> 2.1220710144010545E29, 896.0 -> 8.006462277582186E186, 151.0 -> 1.6130531424904583E31, 492.0 -> 2.967795697064972E102, 905.0 -> 6.085964630514695E188, 250.0 -> 7.896325826131728E51, 223.0 -> 1.7978720198565574E46, 564.0 -> 3.307836985560051E117, 259.0 -> 6.002246438282071E53, 232.0 -> 1.3666192562569911E48, 573.0 -> 2.514391275406864E119, 770.0 -> 3.723899830273653E160, 779.0 -> 2.8306537730255968E162, 124.0 -> 3.6726740705505786E25, 438.0 -> 1.5385139106431697E91, 878.0 -> 1.3856806018349436E183, 537.0 -> 7.531436383873787E111, 851.0 -> 3.1549817438542456E177, 133.0 -> 2.791715456571052E27, 447.0 -> 1.1694729730940222E93, 106.0 -> 6.356306993006848E21, 887.0 -> 1.0532995522342567E185, 860.0 -> 2.3982011826595303E179, 546.0 -> 5.724882458706727E113, 205.0 -> 3.11158198980407E42, 519.0 -> 1.3034677413404814E108, 869.0 -> 1.8229483969956285E181, 214.0 -> 2.3652116600757594E44, 555.0 -> 4.3516638122555E115, 528.0 -> 9.908069626490062E109, 752.0 -> 6.444963554546232E156, 761.0 -> 4.899020176208156E158, 420.0 -> 2.662710205480733E87, 833.0 -> 5.46033547656009E173, 429.0 -> 2.0240100521350286E89, 743.0 -> 8.478747530200881E154, 842.0 -> 4.150573303034986E175, 501.0 -> 2.2559151616193602E104, 160.0 -> 1.2261325953941887E33, 169.0 -> 9.320220778138323E34, 510.0 -> 1.7147923024004204E106, 178.0 -> 7.08459392398052E36, 582.0 -> 1.9112681530077724E121, 591.0 -> 1.452815235413448E123, 797.0 -> 1.635551701063988E166, 456.0 -> 8.889533109425212E94, 806.0 -> 1.2432344597343791E168, 465.0 -> 6.7572146361362535E96, 788.0 -> 2.1516692574824805E164, 115.0 -> 4.831629526120103E23, 187.0 -> 5.385223404303009E38, 914.0 -> 4.626133765418926E190, 196.0 -> 4.0934782466626846E40, 268.0 -> 4.562496925676987E55, 241.0 -> 1.0388104219572989E50, 369.0 -> 5.84728483790399E76, 782.0 -> 1.1990841803302688E163, 441.0 -> 6.5172495098135036E91, 997.0 -> 1.0261062362033255E208, 181.0 -> 3.001082145496346E37, 809.0 -> 5.266425683405056E168, 163.0 -> 5.193981023518028E33, 477.0 -> 2.175802127494853E99, 172.0 -> 3.9481088781499925E35, 513.0 -> 7.263976760261557E106, 387.0 -> 3.3785610781418077E80, 46.0 -> 1.836311903E9, 800.0 -> 6.928308186422468E166, 118.0 -> 2.0467111114739851E24, 459.0 -> 3.765666653976027E95, 432.0 -> 8.573844167986874E89, 127.0 -> 1.555769702205311E26, 468.0 -> 2.8624020537229677E97, 854.0 -> 1.3364717134737413E178, 199.0 -> 1.7340252117279783E41, 136.0 -> 1.1825896447871837E28, 208.0 -> 1.3180872826374099E43, 217.0 -> 1.0019197373256042E45, 683.0 -> 2.4494765638867485E142, 100.0 -> 3.54224848179262E20, 414.0 -> 1.483877539771887E86, 728.0 -> 6.216087223573778E151, 755.0 -> 2.7301303729566514E157, 109.0 -> 2.6925748508234288E22, 450.0 -> 4.95396701187506E93, 764.0 -> 2.075258248956075E159, 82.0 -> 6.1305790721611584E16, 423.0 -> 1.127942143479882E88, 836.0 -> 2.313035225866225E174, 495.0 -> 1.2571784316098597E103, 522.0 -> 5.521577958796393E108, 91.0 -> 4.6600466103755305E18, 531.0 -> 4.197125646361285E110, 845.0 -> 1.7582110657252035E176, 190.0 -> 2.2812172414650375E39, 504.0 -> 9.556209976092036E104, 396.0 -> 2.5681508899600975E82, 737.0 -> 4.725044054574448E153, 55.0 -> 1.39583862445E11, 710.0 -> 1.0758199047708932E148, 64.0 -> 1.0610209857723E13, 405.0 -> 1.952132532477488E84, 719.0 -> 8.177646583775008E149, 746.0 -> 3.5916550901989383E155, 378.0 -> 4.444705723234234E78, 818.0 -> 4.0031763502064847E170, 791.0 -> 9.114617239792286E164, 73.0 -> 8.06515533049393E14, 827.0 -> 3.0429406687252694E172, 486.0 -> 1.6538958571014605E101, 145.0 -> 8.989237070084801E29, 154.0 -> 6.8330027629092365E31, 692.0 -> 1.861924432321339E144, 360.0 -> 7.692464272010942E74, 701.0 -> 1.4153075162206063E146, 773.0 -> 1.5774692822439125E161, 426.0 -> 4.7780395944676006E88, 85.0 -> 2.5969549691112256E17, 399.0 -> 1.0878861746347554E83, 740.0 -> 2.001560781185859E154, 58.0 -> 5.91286729879E11, 94.0 -> 1.9740274219868226E19, 67.0 -> 4.4945570212853E13, 408.0 -> 8.269366108663455E84, 139.0 -> 5.009530124805841E28, 946.0 -> 2.2533189772888524E197, 955.0 -> 1.7128188607651542E199, 300.0 -> 2.2223224462942035E62, 623.0 -> 7.076440730967588E129, 686.0 -> 1.0376149233916874E143, 381.0 -> 1.882807558360258E79, 722.0 -> 3.464106682483987E150, 354.0 -> 4.2868634127888125E73, 40.0 -> 1.02334155E8, 695.0 -> 7.887238464280898E144, 390.0 -> 1.4311814393143676E81, 704.0 -> 5.995338847776875E146, 49.0 -> 7.778742049E9, 130.0 -> 6.590346215876301E26, 471.0 -> 1.2125329678505497E98, 937.0 -> 2.964380256264735E195, 982.0 -> 7.522768949273986E204, 336.0 -> 7.419286156446174E69, 677.0 -> 1.36504650407232E141, 345.0 -> 5.6396335318068E71, 4.0 -> 3.0, 13.0 -> 233.0, 767.0 -> 8.790935013445115E159, 973.0 -> 9.896667081063034E202, 632.0 -> 5.379025905010295E131, 641.0 -> 4.08876733188092E133, 713.0 -> 4.5572462481568536E148, 372.0 -> 2.476949605716514E77, 794.0 -> 3.8610138216651624E165, 453.0 -> 2.0985341020594266E94, 148.0 -> 3.807901929474026E30, 121.0 -> 8.670007398507951E24, 462.0 -> 1.5951619926846628E96, 157.0 -> 2.8945064194127406E32, 668.0 -> 1.7958029672407375E139, 363.0 -> 3.258580157072678E75, 22.0 -> 17711.0, 776.0 -> 6.682267112003014E161, 435.0 -> 3.631938672408253E90, 31.0 -> 1346269.0, 749.0 -> 1.5214495113815843E156, 785.0 -> 5.0794020986236347E163, 103.0 -> 1.5005205362068963E21, 444.0 -> 2.760751194989718E92, 758.0 -> 1.1565017847281227E158, 76.0 -> 3.416454622906707E15, 417.0 -> 6.285806128758862E86, 112.0 -> 1.14059301025944E23, 991.0 -> 5.718294068156335E206, 964.0 -> 1.301967666079246E201, 309.0 -> 1.6892574194241658E64, 650.0 -> 3.1080010748200005E135, 1000.0 -> 4.346655768693743E208, 659.0 -> 2.3624896935963886E137, 318.0 -> 1.2840578710069954E66, 327.0 -> 9.760529077072589E67, 731.0 -> 2.6331768033126457E152, 698.0 -> 3.3410878289444935E145, 357.0 -> 1.8159444826830153E74, 16.0 -> 987.0, 97.0 -> 8.362114348984843E19, 563.0 -> 2.0443556863201068E117, 985.0 -> 3.186696064814927E205, 994.0 -> 2.4223082388044054E207, 653.0 -> 1.3165703827079932E136, 312.0 -> 7.15580926017664E64, 348.0 -> 2.3889871008920825E72, 7.0 -> 13.0, 79.0 -> 1.447233402467622E16, 393.0 -> 6.062581865071651E81, 734.0 -> 1.115431593560796E153, 88.0 -> 1.10008777836610189E18, 402.0 -> 4.608359787535031E83, 940.0 -> 1.2557316276695666E196, 626.0 -> 2.9976283975127E130, 976.0 -> 4.192295450606744E203, 949.0 -> 9.545212362785885E197, 294.0 -> 1.2384578529797298E61, 608.0 -> 5.188003612498476E126, 635.0 -> 2.2785919386355933E132, 644.0 -> 1.732029636202802E134, 707.0 -> 2.5396662907328107E147, 303.0 -> 9.41390895042587E62, 716.0 -> 1.9304804897398307E149, 375.0 -> 1.0492526906656455E78, 384.0 -> 7.975700805764455E79, 70.0 -> 1.90392490709135E14, 411.0 -> 3.5029596967131306E85, 725.0 -> 1.4674191388313447E151, 43.0 -> 4.33494437E8, 52.0 -> 3.2951280099E10, 922.0 -> 2.1732981399842448E192, 931.0 -> 1.651992497178379E194, 276.0 -> 2.1434023711935847E57, 904.0 -> 3.761332995987777E188, 249.0 -> 4.880197746793E51, 590.0 -> 8.978891948591907E122, 285.0 -> 1.6292677799244873E59, 258.0 -> 3.7095923077113174E53, 599.0 -> 6.825139109610023E124, 671.0 -> 7.607143443427591E139, 330.0 -> 4.134626466684277E68, 267.0 -> 2.819778173635281E55, 366.0 -> 1.3803567055491806E76, 339.0 -> 3.1428600503229136E70, 25.0 -> 75025.0, 680.0 -> 5.782429783698791E141, 34.0 -> 5702887.0, 913.0 -> 2.859107903532429E190, 886.0 -> 6.509749236158159E184, 572.0 -> 1.5539792692176397E119, 895.0 -> 4.948265817189686E186, 240.0 -> 6.420201486372308E49, 581.0 -> 1.181228680174038E121, 967.0 -> 5.515223538018433E201, 662.0 -> 1.0007666938216952E138, 321.0 -> 5.439356428629289E66, 877.0 -> 8.56397709485405E182, 61.0 -> 2.504730781961E12, 958.0 -> 7.25561712734494E199, 617.0 -> 3.943565259409803E128, 689.0 -> 4.395407349955425E143, 10.0 -> 55.0, 862.0 -> 6.278572208062845E179, 521.0 -> 3.412522850068437E108, 557.0 -> 1.1392803768097841E116, 871.0 -> 4.772540863071692E181, 189.0 -> 1.409869790947669E39, 530.0 -> 2.5939663045051458E110, 943.0 -> 5.31936453630474E196, 225.0 -> 4.706890055406893E46, 306.0 -> 3.987795824799768E63, 817.0 -> 2.47409904738736E170, 853.0 -> 8.25984943929583E177, 512.0 -> 4.4893845313309884E106, 37.0 -> 2.4157817E7, 180.0 -> 1.854770768947199E37, 665.0 -> 4.2393157446464195E138, 333.0 -> 1.751455877444437E69, 674.0 -> 3.22243767409511E140, 342.0 -> 1.331336881693627E71, 1.0 -> 1.0, 889.0 -> 2.757574028084329E185, 207.0 -> 8.146227408089083E42, 548.0 -> 1.498793685849228E114, 961.0 -> 3.073528737014492E200, 216.0 -> 6.192204516665901E44, 970.0 -> 2.3362861818152977E202, 288.0 -> 6.901689069310295E59, 629.0 -> 1.269815766314756E131, 979.0 -> 1.775884851053328E204, 324.0 -> 2.3041483585524152E67, 297.0 -> 5.246191652490576E61, 638.0 -> 9.652270345043403E132, 844.0 -> 1.0866341980143511E176, 503.0 -> 5.906062568855698E104, 198.0 -> 1.0716865181971233E41, 539.0 -> 1.9717556437089175E112, 952.0 -> 4.0434168428432386E198, 611.0 -> 2.1976735970058023E127, 925.0 -> 9.206238656347114E192, 270.0 -> 1.1944772024989255E56, 584.0 -> 5.003764986189583E121, 934.0 -> 6.997952516367244E194, 279.0 -> 9.07959814751026E57, 620.0 -> 1.6705210512566517E129, 252.0 -> 2.0672849399056455E52, 593.0 -> 3.803519665686087E123, 351.0 -> 1.0119911756749011E73, 19.0 -> 4181.0, 826.0 -> 1.8806407590215506E172, 28.0 -> 317811.0, 898.0 -> 2.096119037235406E187, 835.0 -> 1.429534386761117E174, 907.0 -> 1.5933262257017168E189, 566.0 -> 8.660029657440209E117, 880.0 -> 3.627758913155292E183, 602.0 -> 2.8911753224200445E125, 916.0 -> 1.211137543437028E191, 261.0 -> 1.571408518427546E54, 234.0 -> 3.577855662560905E48, 575.0 -> 6.582761820031368E119, 988.0 -> 1.3499061154187107E206, 243.0 -> 2.7196409925518287E50, 647.0 -> 7.3369952779993E134, 656.0 -> 5.577081638313973E136, 315.0 -> 3.0312494460130726E65, 282.0 -> 3.846179496123462E58, 820.0 -> 1.048045174780033E171, 829.0 -> 7.96652209647209E172, 174.0 -> 1.0336283234281898E36, 147.0 -> 2.353412818241253E30, 488.0 -> 4.329955567744263E101, 928.0 -> 3.89982527653727E193, 901.0 -> 8.879302730660591E187, 183.0 -> 7.85693505993989E37, 497.0 -> 3.2913358638778977E103, 587.0 -> 2.119628862493237E122, 156.0 -> 1.788903347851832E32, 596.0 -> 1.6111967857603536E124, 910.0 -> 6.749438202405644E189, 255.0 -> 8.757159534301882E52, 569.0 -> 3.668447431608094E118, 228.0 -> 1.993870623732135E47, 264.0 -> 6.656593304481316E54, 578.0 -> 2.788502654934311E120, 802.0 -> 1.8138546316588163E167, 461.0 -> 9.858643290411328E95, 775.0 -> 4.1298681971234637E161, 811.0 -> 1.378768143837983E169, 784.0 -> 3.1392431394769516E163, 129.0 -> 4.0730579590408064E26, 470.0 -> 7.493865866114232E97, 443.0 -> 1.7062380729855341E92, 883.0 -> 1.5367433362106574E184, 138.0 -> 3.096059884796512E28, 452.0 -> 1.2969654016234662E94, 479.0 -> 5.696323922575858E99, 542.0 -> 8.35249094176983E112, 892.0 -> 1.1681271035953133E186, 551.0 -> 6.348991937504794E114, 210.0 -> 3.450797306083728E43, 560.0 -> 4.826069121597821E116, 219.0 -> 2.6230599263177984E45, 291.0 -> 2.923602405716567E60, 757.0 -> 7.147574110118939E157, 766.0 -> 5.433096631200595E159, 838.0 -> 6.055604838493567E174, 120.0 -> 5.358359254990968E24, 847.0 -> 4.603056329464758E176, 165.0 -> 1.3598018856492165E34, 506.0 -> 2.501848252103977E105, 856.0 -> 3.498928370877066E178, 515.0 -> 1.9017338051854102E107, 237.0 -> 1.5156039800290544E49, 246.0 -> 1.1520584118844544E51, 793.0 -> 2.3862377728221955E165, 865.0 -> 2.6596458674995166E180, 524.0 -> 1.4455678767661223E109, 874.0 -> 2.0216807521367203E182, 192.0 -> 5.972304273877745E39, 533.0 -> 1.0988217597227716E111, 605.0 -> 1.224721520064118E126, 919.0 -> 5.130460964101355E191, 201.0 -> 4.53973694165308E41, 614.0 -> 9.309494749273056E127, 273.0 -> 5.05988662735923E56, 60.0 -> 1.54800875592E12, 859.0 -> 1.4821698427437848E179, 213.0 -> 1.4617811965143821E44, 186.0 -> 3.328251100870676E38, 222.0 -> 1.1111460156937784E46, 87.0 -> 6.7989163763861222E17, 437.0 -> 9.508538889419975E90, 96.0 -> 5.168070885485833E19, 850.0 -> 1.9498859515873383E177, 509.0 -> 1.0597999265301477E106, 168.0 -> 5.760213223542477E34, 482.0 -> 2.413001535788958E100, 177.0 -> 4.37851984151095E36, 518.0 -> 8.055873673874739E107, 715.0 -> 1.193102557277758E149, 724.0 -> 9.069149035398718E150, 383.0 -> 4.9292541820623566E79, 796.0 -> 1.010826541615252E166, 392.0 -> 3.7468816521930098E81, 733.0 -> 6.893746369460303E152, 805.0 -> 7.683611521009589E167, 150.0 -> 9.969216677189305E30, 464.0 -> 4.1761883144104584E96, 500.0 -> 1.394232245616977E104, 814.0 -> 5.8405555825089035E169, 132.0 -> 1.7253750390793408E27, 159.0 -> 7.577916186677313E32, 473.0 -> 3.1744525223125226E98, 141.0 -> 1.3115120134408193E29, 545.0 -> 3.538171941078824E113, 554.0 -> 2.6894761435868405E115, 778.0 -> 1.7494402421129492E162, 787.0 -> 1.329804733672422E164, 105.0 -> 3.9284137646068717E21, 419.0 -> 1.6456454091783097E87, 446.0 -> 7.22774046296497E92, 760.0 -> 3.0277609804681397E158, 455.0 -> 5.4940336057423194E94, 769.0 -> 2.3014966658090826E160, 114.0 -> 2.9861112681897715E23, 428.0 -> 1.2509070057908943E89, 868.0 -> 1.126644069080435E181, 841.0 -> 2.5651953740735385E175, 123.0 -> 2.269837405200687E25, 527.0 -> 6.123523792071334E109, 195.0 -> 2.529908688645865E40, 536.0 -> 4.654683669341601E111, 204.0 -> 1.923063428480944E42, 742.0 -> 5.24015415569337E154, 401.0 -> 2.848122981084893E83, 410.0 -> 2.164948153789738E85, 751.0 -> 3.983206532963908E156, 69.0 -> 1.17669030460994E14, 823.0 -> 4.439590603858868E171, 78.0 -> 8.944394323791464E15, 832.0 -> 3.3746729144909907E173, 491.0 -> 1.8341986124518392E102, 697.0 -> 2.0649058376862915E145, 231.0 -> 8.44617150046923E47, 706.0 -> 1.5696000877552492E147, 332.0 -> 1.0824592620564322E69, 772.0 -> 9.749296326356389E160, 90.0 -> 2.880067194370816E18, 404.0 -> 1.2064842556154955E84, 431.0 -> 5.298927110060952E89, 745.0 -> 2.219764921609513E155, 63.0 -> 6.557470319842E12, 99.0 -> 2.189229958345552E20, 978.0 -> 1.0975571980570012E204, 960.0 -> 1.8995452248744928E200, 646.0 -> 4.534512457101051E134, 727.0 -> 3.841753181202561E151, 45.0 -> 1.13490317E9, 386.0 -> 2.0880655793591266E80, 395.0 -> 1.5872045382336313E82, 54.0 -> 8.6267571272E10, 808.0 -> 3.2548300715697173E168, 682.0 -> 1.513859771128314E142, 341.0 -> 8.228114433629592E70, 691.0 -> 1.1507325836584407E144, 422.0 -> 6.971065820139776E87, 763.0 -> 1.2825801332884451E159, 171.0 -> 2.4400654779819122E35, 377.0 -> 2.7469792069499394E78, 718.0 -> 5.054063536757419E149, 72.0 -> 4.98454011879264E14, 413.0 -> 9.170867547216E85, 799.0 -> 4.281929943743228E166, 81.0 -> 3.7889062373143904E16, 144.0 -> 5.5556540422429276E29, 485.0 -> 1.0221638535413418E101, 494.0 -> 7.769790006581784E102, 126.0 -> 9.615185546301844E25, 153.0 -> 4.223027952699847E31, 467.0 -> 1.7690617586682965E97, 162.0 -> 3.2100568094561087E33, 359.0 -> 4.754204377346978E74, 700.0 -> 8.747081495575278E145, 673.0 -> 1.9915760092189344E140, 368.0 -> 3.613820771726585E76, 27.0 -> 196418.0, 709.0 -> 6.648932669220871E147, 781.0 -> 7.410747788164143E162, 36.0 -> 1.4930352E7, 440.0 -> 4.0278817102283365E91, 754.0 -> 1.6873133642056372E157, 790.0 -> 5.633143248637383E164, 135.0 -> 7.308805952221445E27, 449.0 -> 3.0617199924845414E93, 476.0 -> 1.3447196675861514E99, 108.0 -> 1.6641027750620568E22, 458.0 -> 2.327309982459274E95, 117.0 -> 1.2649370320429978E24, 987.0 -> 8.342878609501017E205, 996.0 -> 6.34168530041883E207, 969.0 -> 1.4439042678085704E202, 655.0 -> 3.446826010510983E136, 350.0 -> 6.254449428820547E72, 323.0 -> 1.424042000707672E67, 9.0 -> 34.0, 664.0 -> 2.6200412192340575E138, 18.0 -> 2584.0, 736.0 -> 2.920237824067622E153, 389.0 -> 8.845187735642742E80, 362.0 -> 2.013913292136886E75, 48.0 -> 4.807526976E9, 703.0 -> 3.7053231819987407E146, 21.0 -> 10946.0, 57.0 -> 3.65435296162E11, 909.0 -> 4.1713822140536807E189, 263.0 -> 4.114000911454431E54, 676.0 -> 8.436451357409155E140, 990.0 -> 3.534100091787523E206, 272.0 -> 3.1271819149290778E56, 999.0 -> 2.686381002448534E208, 344.0 -> 3.485485206750213E71, 685.0 -> 6.412812898901811E142, 317.0 -> 7.9359140780415135E65, 3.0 -> 2.0, 658.0 -> 1.460098928713893E137, 353.0 -> 2.649427294231857E73, 12.0 -> 144.0, 84.0 -> 1.60500643816367072E17, 425.0 -> 2.9529908689737415E88, 93.0 -> 1.2200160415121877E19, 434.0 -> 2.24466154460347E90, 900.0 -> 5.487710883947999E187, 102.0 -> 9.273726921930792E20, 972.0 -> 6.116476631439166E202, 631.0 -> 3.324420835662525E131, 981.0 -> 4.649326900163657E204, 954.0 -> 1.058580272524739E199, 326.0 -> 6.032338717812503E67, 640.0 -> 2.52699718319263E133, 299.0 -> 1.3734708057716305E62, 335.0 -> 4.5853710169453055E69, 308.0 -> 1.0440185009520713E64, 649.0 -> 1.920850301309965E135, 380.0 -> 1.1636390653418406E79, 721.0 -> 2.1409356704307436E150, 75.0 -> 2.11148507797805E15, 416.0 -> 3.884841834265374E86, 730.0 -> 1.6273927628350117E152, 927.0 -> 2.4102245710859905E193, 963.0 -> 8.046602698903476E200, 622.0 -> 4.3734808911121193E129, 936.0 -> 1.8320877539507298E195, 281.0 -> 2.3770696554372443E58, 595.0 -> 9.957743761644812E123, 945.0 -> 1.3926277154596632E197, 290.0 -> 1.806885656323798E60, 604.0 -> 7.569195261530612E125, 371.0 -> 1.5308390447534564E77, 30.0 -> 832040.0, 712.0 -> 2.8165330764638734E148, 39.0 -> 6.3245986E7, 918.0 -> 3.170799253769192E191, 111.0 -> 7.049252476708914E22, 586.0 -> 1.3100026805560978E122, 667.0 -> 1.1098672708526896E139, 398.0 -> 6.723506318153826E82, 739.0 -> 1.2370325933216519E154, 66.0 -> 2.7777890035288E13, 407.0 -> 5.110749320570471E84, 748.0 -> 9.403075102007391E155, 613.0 -> 5.75358417313943E127, 694.0 -> 4.8745814483011185E144, 356.0 -> 1.1223154119809483E74, 15.0 -> 610.0, 867.0 -> 6.963043279151934E180, 903.0 -> 2.324631634526918E188, 562.0 -> 1.2634812992399444E117, 230.0 -> 5.2200210621006825E47, 858.0 -> 9.160313399157456E178, 42.0 -> 2.67914296E8, 51.0 -> 2.0365011074E10, 939.0 -> 7.7608482664802E195, 257.0 -> 2.2926541305707528E53, 598.0 -> 4.2181679476851883E124, 24.0 -> 46368.0, 679.0 -> 3.573738143885556E141, 338.0 -> 1.9423943329837654E70, 374.0 -> 6.484738256186484E77, 347.0 -> 1.4764752270363813E72, 33.0 -> 3524578.0, 688.0 -> 2.716511136673556E143, 6.0 -> 8.0, 885.0 -> 4.023246286184408E184, 894.0 -> 3.0581964603925E186, 553.0 -> 1.6621876686686599E115, 248.0 -> 3.016128079338727E51, 589.0 -> 5.549260405542572E122, 652.0 -> 8.136852450949967E135, 221.0 -> 6.86726004162779E45, 975.0 -> 2.5909810793565236E203, 320.0 -> 3.361707149818142E66, 634.0 -> 1.4082472645683115E132, 661.0 -> 6.1850783159066705E137, 670.0 -> 4.7014732053341643E139, 984.0 -> 1.9694864798711628E205, 329.0 -> 2.555339687195768E68, 302.0 -> 5.818115698360037E62, 643.0 -> 1.070453184695447E134, 876.0 -> 5.2928289234953855E182, 849.0 -> 1.205095792266907E177, 535.0 -> 2.8767527145321864E111, 948.0 -> 5.899265670037368E197, 203.0 -> 1.188518561323126E42, 544.0 -> 2.1867105176279034E113, 957.0 -> 4.484217994055047E199, 930.0 -> 1.020987512416053E194, 275.0 -> 1.3246955169647538E57, 212.0 -> 9.034304635613775E43, 616.0 -> 2.437257367168554E128, 966.0 -> 3.4085956020488395E201, 311.0 -> 4.422533339800403E64, 625.0 -> 1.8526362353047294E130, 284.0 -> 1.0069428647684168E59, 293.0 -> 7.654090467756932E60, 365.0 -> 8.531073606282242E75, 526.0 -> 3.784545834418728E109, 840.0 -> 1.5853779289614475E175, 912.0 -> 1.7670258618864968E190, 571.0 -> 9.604120061892246E118, 921.0 -> 1.34317211819719E192, 266.0 -> 1.7427187520417062E55, 580.0 -> 7.300394728337345E120, 607.0 -> 3.206362566281297E126, 239.0 -> 3.967902733200681E49, 993.0 -> 1.4970688228100194E207, 314.0 -> 1.8734151860153683E65, 628.0 -> 7.84789303033013E130, 852.0 -> 5.104867695441584E177, 825.0 -> 1.1622999097037188E172, 511.0 -> 2.774592228930568E106, 861.0 -> 3.880371025403315E179, 520.0 -> 2.1090551087279553E108, 834.0 -> 8.83500839105108E173, 152.0 -> 2.6099748102093888E31, 179.0 -> 1.146311376549147E37, 493.0 -> 4.801994309516812E102, 933.0 -> 4.324972506772811E194, 906.0 -> 9.847297626502471E188, 188.0 -> 8.713474505173684E38, 592.0 -> 2.3507044302726385E123, 502.0 -> 3.6501474072363375E104, 942.0 -> 3.287548081987153E196, 260.0 -> 9.711838745993388E53, 601.0 -> 1.7868446166905234E125, 610.0 -> 1.358236979127825E127, 269.0 -> 7.382275099312268E55, 807.0 -> 2.011595611835338E168, 816.0 -> 1.529077302819125E170, 475.0 -> 8.310824599087018E98, 888.0 -> 1.7042744758500726E185, 170.0 -> 1.50804340016808E35, 484.0 -> 6.317320035601188E100, 143.0 -> 3.4335830278418734E29, 897.0 -> 1.2954728094771872E187, 215.0 -> 3.826992856590142E44, 556.0 -> 7.041139955842341E115, 565.0 -> 5.352192671880158E117, 798.0 -> 2.64637824267924E166, 466.0 -> 1.0933402950546712E97, 780.0 -> 4.580094015138546E162, 547.0 -> 9.263054399785552E113, 287.0 -> 4.265478424617391E59, 843.0 -> 6.715768677108524E175, 161.0 -> 1.98392421406192E33, 915.0 -> 7.485241668951356E190, 574.0 -> 4.0683705446245036E119, 924.0 -> 5.689768398165679E192, 242.0 -> 1.6808305705945297E50, 583.0 -> 3.0924968331818106E121, 251.0 -> 1.2776523572924728E52, 789.0 -> 3.4814739911549024E164, 870.0 -> 2.9495924660760636E181, 529.0 -> 1.6031593418561396E110, 879.0 -> 2.2420783113203486E183, 224.0 -> 2.9090180355503355E46, 197.0 -> 6.623386935308549E40, 538.0 -> 1.218612005321539E112, 951.0 -> 2.4989690395609137E198, 296.0 -> 3.242324752735153E61, 233.0 -> 2.2112364063039142E48, 637.0 -> 5.965431141839498E132, 206.0 -> 5.034645418285014E42, 305.0 -> 2.4645933599211777E63, 619.0 -> 1.032438788598816E129, 278.0 -> 5.611500259351923E57, 0.0 -> 0.0))
(None,Map(1.0 -> 1.0, 0.0 -> 0.0))
(Some(144.0),Map(8.0 -> 21.0, 11.0 -> 89.0, 2.0 -> 1.0, 5.0 -> 5.0, 4.0 -> 3.0, 7.0 -> 13.0, 1.0 -> 1.0, 10.0 -> 55.0, 9.0 -> 34.0, 3.0 -> 2.0, 12.0 -> 144.0, 6.0 -> 8.0, 0.0 -> 0.0))
(None,Map(1.0 -> 1.0, 0.0 -> 0.0))
(Some(0.0),Map(1.0 -> 1.0, 0.0 -> 0.0))