aGrUM  0.20.3
a C++ library for (probabilistic) graphical models
variableLog2ParamComplexity.cpp
Go to the documentation of this file.
1 /**
2  *
3  * Copyright (c) 2005-2021 by Pierre-Henri WUILLEMIN(@LIP6) & Christophe GONZALES(@AMU)
4  * info_at_agrum_dot_org
5  *
6  * This library is free software: you can redistribute it and/or modify
7  * it under the terms of the GNU Lesser General Public License as published by
8  * the Free Software Foundation, either version 3 of the License, or
9  * (at your option) any later version.
10  *
11  * This library is distributed in the hope that it will be useful,
12  * but WITHOUT ANY WARRANTY; without even the implied warranty of
13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14  * GNU Lesser General Public License for more details.
15  *
16  * You should have received a copy of the GNU Lesser General Public License
17  * along with this library. If not, see <http://www.gnu.org/licenses/>.
18  *
19  */
20 
21 
22 /**
23  * @file
24  * @brief the class for computing the log2 of the parametric complexity of
25  * an r-ary multinomial variable
26  *
27  * @author Christophe GONZALES(@AMU) and Pierre-Henri WUILLEMIN(@LIP6)
28  */
29 
30 #include <agrum/tools/core/math/variableLog2ParamComplexity.h>
31 
32 
33 namespace gum {
34 
35 
36  // the CTable cache for log2(Cnr), n < 1000 and r in {2,3,4,5}
37  const double VariableLog2ParamComplexityCTable[4][1000] = {{0,
38  1,
39  1.3219280948873624038,
40  1.5305148703230577745,
41  1.6865005853516363832,
42  1.8116353900270942834,
43  1.9163583844844809256,
44  2.0065271644294311315,
45  2.0857704966116465961,
46  2.1564986340920730967,
47  2.2203965250090043071,
48  2.2786902190668105739,
49  2.3322990996918790962,
50  2.3819333135364253451,
51  2.4281502505698502326,
52  2.4713970635580784219,
53  2.5120389433034655546,
54  2.5503761743106676541,
55  2.5866596296997594884,
56  2.6211016700234877064,
57  2.6538820078470202191,
58  2.6851559155058404293,
59  2.7150583520600020115,
60  2.7437053059117562093,
61  2.7711991437760832291,
62  2.79763156718914896,
63  2.8230804530606610214,
64  2.8476192305148533279,
65  2.8713103180418357852,
66  2.8942112722722521667,
67  2.9163733091011145859,
68  2.9378445477276624587,
69  2.9586657568594088019,
70  2.9788760126291720098,
71  2.9985108275544174461,
72  3.0176020678569406286,
73  3.0361794852617554064,
74  3.054270010943741287,
75  3.0718997050205953947,
76  3.0890904999196213687,
77  3.1058645897056522678,
78  3.1222418647242431433,
79  3.1382404560408532213,
80  3.1538784964406412215,
81  3.1691716096623245846,
82  3.1841343571506448562,
83  3.1987813380348359971,
84  3.2131256939662806715,
85  3.2271791995449077284,
86  3.2409529086398065623,
87  3.2544605816423333167,
88  3.2677107412971055922,
89  3.2807131309745982684,
90  3.2934769361591986758,
91  3.3060108350527364074,
92  3.3183230373618513021,
93  3.3304213181985549141,
94  3.3423130485925671707,
95  3.3540052232282806521,
96  3.365504485776890764,
97  3.3768171521001946189,
98  3.3879492315483643594,
99  3.3989064465446894303,
100  3.4096942506232235104,
101  3.4203178450640367991,
102  3.4307821942586769204,
103  3.4410920399192130859,
104  3.4512519142354931567,
105  3.4612661520716652142,
106  3.4711389022871026455,
107  3.4808741382541863452,
108  3.4904756676427037831,
109  3.4999471415291836252,
110  3.5092920628885035939,
111  3.5185137945163771356,
112  3.5276155664278530111,
113  3.5366004827734669469,
114  3.5454715283100086687,
115  3.5542315744600920802,
116  3.5628833849918311039,
117  3.5714296213456182549,
118  3.5798728476357393191,
119  3.5882155353493616623,
120  3.5964600677650082616,
121  3.6046087441100200799,
122  3.6126637834754928846,
123  3.6206273285060115441,
124  3.6285014488783944309,
125  3.6362881445853285634,
126  3.6439893490354289263,
127  3.6516069319827231254,
128  3.6591427022967493166,
129  3.6665984105827660322,
130  3.6739757516632027823,
131  3.6812763669277042133,
132  3.6885018465600203363,
133  3.6956537316512108049,
134  3.7027335162031129734,
135  3.709742649032294004,
136  3.7166825355772776796,
137  3.7235545396163005627,
138  3.7303599849017525791,
139  3.7371001567142370092,
140  3.7437763033413591351,
141  3.7503896374878165076,
142  3.7569413376170515129,
143  3.7634325492308957628,
144  3.769864386090051589,
145  3.776237931378247481,
146  3.7825542388137973759,
147  3.7888143337102198061,
148  3.7950192139907077404,
149  3.8011698511566636149,
150  3.8072671912138411621,
151  3.813312155558833183,
152  3.8193056418268742647,
153  3.8252485247035634686,
154  3.8311416567014151546,
155  3.8369858689048319533,
156  3.8427819716839515252,
157  3.8485307553783489887,
158  3.8542329909524455367,
159  3.8598894306260795872,
160  3.8655008084775124289,
161  3.8710678410228189783,
162  3.876591227773807713,
163  3.882071651772597054,
164  3.8875097801044717905,
165  3.8929062643933862731,
166  3.8982617412758329145,
167  3.9035768328586790687,
168  3.9088521471579533717,
169  3.9140882785229149654,
170  3.9192858080418018218,
171  3.9244453039363653701,
172  3.9295673219370383933,
173  3.9346524056491860577,
174  3.9397010869028807889,
175  3.9447138860910029301,
176  3.9496913124958692443,
177  3.9546338646043004417,
178  3.9595420304092820984,
179  3.9644162877048079174,
180  3.9692571043686029064,
181  3.9740649386334756521,
182  3.9788402393527797507,
183  3.9835834462536925393,
184  3.9882949901852819963,
185  3.9929752933534228276,
186  3.9976247695539166571,
187  4.0022438243928535329,
188  4.0068328555018473125,
189  4.0113922527467709145,
190  4.0159223984285752351,
191  4.0204236674779094685,
192  4.0248964276438972121,
193  4.0293410396769857584,
194  4.0337578575052832619,
195  4.0381472284054762412,
196  4.0425094931694394162,
197  4.0468449862648130377,
198  4.0511540359901010433,
199  4.0554369646269510241,
200  4.0596940885851129366,
201  4.0639257185455752719,
202  4.0681321595976314143,
203  4.0723137113727130298,
204  4.0764706681735560778,
205  4.0806033191015051997,
206  4.0847119481760802984,
207  4.0887968344559588729,
208  4.0928582521525260773,
209  4.096896470742770191,
210  4.1009117550762148596,
211  4.1049043654819339366,
212  4.1088745578704353179,
213  4.1128225838338998699,
214  4.1167486907416792619,
215  4.1206531218352182577,
216  4.1245361163190610299,
217  4.1283979094510820929,
218  4.132238732626686506,
219  4.1360588134663576199,
220  4.139858375893271436,
221  4.1436376402167542921,
222  4.1473968232080631324,
223  4.1511361381755982336,
224  4.1548557950390989646,
225  4.1585560004008677026,
226  4.1622369576153950277,
227  4.1658988668573400105,
228  4.1695419251878274025,
229  4.1731663266171183935,
230  4.1767722621704104213,
231  4.1803599199458023605,
232  4.1839294851754313953,
233  4.1874811402837543994,
234  4.1910150649428796754,
235  4.1945314361289192107,
236  4.1980304281754907691,
237  4.2015122128245518951,
238  4.2049769592809953522,
239  4.2084248342581513924,
240  4.2118560020307898029,
241  4.2152706244788999967,
242  4.2186688611367610946,
243  4.2220508692363925007,
244  4.225416803753091699,
245  4.2287668174469059679,
246  4.2321010609056335383,
247  4.2354196825864427467,
248  4.2387228288547360577,
249  4.2420106440234812695,
250  4.2452832703925196256,
251  4.2485408482849811307,
252  4.2517835160841324083,
253  4.2550114102685414608,
254  4.2582246654469715352,
255  4.26142341439412764,
256  4.2646077880808599403,
257  4.2677779157089421602,
258  4.2709339247424109587,
259  4.274075940938657503,
260  4.2772040883774593567,
261  4.2803184894933243854,
262  4.2834192651025713161,
263  4.2865065344308401762,
264  4.289580415144497394,
265  4.2926410233744620726,
266  4.2956884737434544164,
267  4.2987228793938232485,
268  4.3017443520103322285,
269  4.3047530018470325786,
270  4.3077489377515956193,
271  4.3107322671875394349,
272  4.3137030962596352168,
273  4.316661529734781233,
274  4.3196076710668069865,
275  4.3225416224157466871,
276  4.3254634846717516794,
277  4.3283733574735760996,
278  4.3312713392326411821,
279  4.3341575271484868992,
280  4.3370320172331373598,
281  4.3398949043284797966,
282  4.3427462821229729784,
283  4.3455862431756866471,
284  4.3484148789292014214,
285  4.3512322797302420696,
286  4.3540385348456256409,
287  4.356833732481850241,
288  4.3596179597991531196,
289  4.3623913029289527188,
290  4.3651538469910677875,
291  4.3679056761079779747,
292  4.3706468734213030913,
293  4.3733775211061569621,
294  4.3760977003871506241,
295  4.3788074915526937758,
296  4.3815069739687659833,
297  4.3841962260935583018,
298  4.3868753254904069294,
299  4.3895443488443355307,
300  4.3922033719697441967,
301  4.3948524698297672941,
302  4.3974917165443105915,
303  4.4001211854055455319,
304  4.4027409488877315979,
305  4.4053510786623730766,
306  4.4079516456074374631,
307  4.4105427198193112304,
308  4.413124370626925419,
309  4.4156966665987864573,
310  4.41825967555714616,
311  4.4208134645886669745,
312  4.4233581000526163152,
313  4.4258936475945764855,
314  4.4284201721547953312,
315  4.4309377379767873606,
316  4.4334464086213936085,
317  4.43594624697273332,
318  4.4384373152494838166,
319  4.4409196750140704779,
320  4.4433933871817323791,
321  4.4458585120283409253,
322  4.4483151092023449635,
323  4.45076323773105198,
324  4.453202956028516013,
325  4.455634321906808637,
326  4.4580573925828819171,
327  4.4604722246857066992,
328  4.4628788742656686495,
329  4.4652773968013761419,
330  4.4676678472091388983,
331  4.470050279849242969,
332  4.4724247485319761353,
333  4.4747913065293190016,
334  4.4771500065773404131,
335  4.479500900886822734,
336  4.4818440411483351227,
337  4.4841794785394766265,
338  4.486507263732785411,
339  4.4888274469003111022,
340  4.4911400777222940661,
341  4.4934452053927378401,
342  4.4957428786234023832,
343  4.4980331456558610981,
344  4.5003160542619937701,
345  4.5025916517526587413,
346  4.5048599849818993235,
347  4.5071211003542339668,
348  4.509375043832439367,
349  4.5116218609378160309,
350  4.5138615967603969992,
351  4.5160942959626275695,
352  4.5183200027852965519,
353  4.520538761050457488,
354  4.5227506141726685485,
355  4.5249556051553225799,
356  4.5271537766050604645,
357  4.5293451707288889807,
358  4.5315298293447279221,
359  4.5337077938817769152,
360  4.5358791053897657974,
361  4.5380438045398090452,
362  4.5402019316310466834,
363  4.5423535265940566674,
364  4.5444986289971485149,
365  4.5466372780479309412,
366  4.5487695126010194713,
367  4.5508953711591386693,
368  4.553014891878988557,
369  4.555128112576217525,
370  4.5572350707277848869,
371  4.5593358034746458429,
372  4.5614303476320641195,
373  4.5635187396852909814,
374  4.5656010157987418907,
375  4.5676772118182524807,
376  4.5697473632747893646,
377  4.5718115053883314758,
378  4.5738696730711936311,
379  4.5759219009318297111,
380  4.5779682232786962359,
381  4.580008674122619361,
382  4.5820432871812135645,
383  4.584072095882786968,
384  4.586095133367030563,
385  4.5881124324917292867,
386  4.5901240258338660283,
387  4.5921299456936059968,
388  4.5941302240962302861,
389  4.5961248927967330857,
390  4.5981139832828796798,
391  4.6000975267765156218,
392  4.6020755542377775882,
393  4.6040480963680820992,
394  4.6060151836140565962,
395  4.6079768461666379409,
396  4.6099331139685295611,
397  4.6118840167134669272,
398  4.6138295838511140801,
399  4.6157698445869090875,
400  4.6177048278901766665,
401  4.6196345624913410788,
402  4.6215590768852035097,
403  4.6234783993373831379,
404  4.6253925578819199416,
405  4.6273015803267174562,
406  4.6292054942556273289,
407  4.6311043270312808318,
408  4.6329981057947851042,
409  4.6348868574709847223,
410  4.6367706087697735384,
411  4.6386493861883799639,
412  4.6405232160142411146,
413  4.6423921243242238788,
414  4.6442561369929995507,
415  4.6461152796873097515,
416  4.6479695778763394642,
417  4.6498190568245965082,
418  4.6516637416049304576,
419  4.6535036570902770237,
420  4.6553388279622769375,
421  4.6571692787102758615,
422  4.6589950336343957105,
423  4.6608161168481601067,
424  4.6626325522775369237,
425  4.6644443636669574715,
426  4.6662515745784025611,
427  4.6680542083924478902,
428  4.6698522883139945705,
429  4.6716458373701978957,
430  4.6734348784128760812,
431  4.6752194341241404274,
432  4.6769995270109037122,
433  4.6787751794146723583,
434  4.6805464135071934706,
435  4.6823132512952057027,
436  4.6840757146187979032,
437  4.6858338251597526636,
438  4.6875876044357518424,
439  4.6893370738041744161,
440  4.6910822544682728719,
441  4.6928231674714568911,
442  4.6945598337046998694,
443  4.6962922739035599662,
444  4.6980205086537933923,
445  4.6997445583900265831,
446  4.701464443396743853,
447  4.7031801838139450922,
448  4.7048917996347849879,
449  4.7065993107051991018,
450  4.7083027367308956102,
451  4.7100020972750966664,
452  4.711697411761337051,
453  4.7133886994705447293,
454  4.7150759795503836003,
455  4.716759271010333876,
456  4.7184385927245848791,
457  4.7201139634314115412,
458  4.7217854017414575551,
459  4.7234529261286848367,
460  4.7251165549405174104,
461  4.7267763063949077562,
462  4.7284321985804709243,
463  4.7300842494594608212,
464  4.7317324768711976901,
465  4.7333768985298183551,
466  4.7350175320239840104,
467  4.7366543948237511685,
468  4.7382875042768928253,
469  4.7399168776121101132,
470  4.7415425319386947933,
471  4.7431644842495428449,
472  4.7447827514203240185,
473  4.7463973502112200009,
474  4.7480082972698944843,
475  4.7496156091286225731,
476  4.7512193022091739891,
477  4.7528193928204247598,
478  4.754415897162219018,
479  4.7560088313258255255,
480  4.7575982112920573996,
481  4.7591840529372824165,
482  4.7607663720297326293,
483  4.7623451842321564698,
484  4.7639205051033224336,
485  4.7654923501002564024,
486  4.7670607345735351856,
487  4.7686256737765431168,
488  4.7701871828583897184,
489  4.7717452768708836786,
490  4.7732999707639018894,
491  4.7748512793922586184,
492  4.7763992175118508143,
493  4.7779437997822711282,
494  4.779485040768117976,
495  4.7810229549378044922,
496  4.7825575566684097595,
497  4.7840888602415843067,
498  4.7856168798473426307,
499  4.7871416295831812349,
500  4.7886631234593268758,
501  4.7901813753921604899,
502  4.7916963992098375869,
503  4.793208208654144542,
504  4.7947168173766101518,
505  4.7962222389421578228,
506  4.7977244868320019222,
507  4.7992235744391740226,
508  4.8007195150724708554,
509  4.8022123219588612741,
510  4.8037020082385737396,
511  4.8051885869703383491,
512  4.806672071133410995,
513  4.8081524736236067596,
514  4.8096298072548462343,
515  4.8111040847635733186,
516  4.8125753188071112021,
517  4.8140435219620663077,
518  4.815508706729492161,
519  4.8169708855305968243,
520  4.8184300707133571606,
521  4.8198862745447037526,
522  4.8213395092214463844,
523  4.8227897868634492795,
524  4.8242371195151969587,
525  4.8256815191494624173,
526  4.8271229976646479187,
527  4.8285615668882222451,
528  4.8299972385755332027,
529  4.8314300244083812075,
530  4.8328599360013910768,
531  4.8342869848977274572,
532  4.8357111825698240182,
533  4.8371325404227860645,
534  4.8385510697928113544,
535  4.8399667819487799392,
536  4.8413796880902806308,
537  4.8427897993521877851,
538  4.8441971268038637177,
539  4.8456016814473992227,
540  4.8470034742173515596,
541  4.8484025159888686218,
542  4.849798817568856002,
543  4.8511923897029873842,
544  4.8525832430713089494,
545  4.853971388294493039,
546  4.8553568359266421339,
547  4.8567395964647177564,
548  4.8581196803414918861,
549  4.8594970979306104653,
550  4.8608718595434847742,
551  4.8622439754347617225,
552  4.8636134557955728042,
553  4.8649803107635145594,
554  4.8663445504125162344,
555  4.8677061847613245504,
556  4.8690652237710372319,
557  4.8704216773445008215,
558  4.8717755553306814065,
559  4.873126867518017491,
560  4.8744756236406097116,
561  4.8758218333816891743,
562  4.8771655063631165206,
563  4.878506652155493839,
564  4.8798452802753393698,
565  4.8811814001828057741,
566  4.8825150212892536317,
567  4.8838461529498840008,
568  4.8851748044667928639,
569  4.8865009850920388956,
570  4.8878247040260154321,
571  4.8891459704159974109,
572  4.8904647933599099119,
573  4.8917811819041414623,
574  4.8930951450436799277,
575  4.8944066917270454553,
576  4.8957158308505261957,
577  4.8970225712604733559,
578  4.8983269217598017775,
579  4.8996288910962872976,
580  4.9009284879733785445,
581  4.902225721046442608,
582  4.903520598923560847,
583  4.9048131301646282765,
584  4.9061033232843991314,
585  4.9073911867492512329,
586  4.9086767289830364192,
587  4.909959958360117227,
588  4.9112408832123994884,
589  4.9125195118262006133,
590  4.9137958524402511884,
591  4.9150699132533270941,
592  4.9163417024166076175,
593  4.9176112280417614286,
594  4.918878498192087001,
595  4.920143520891094191,
596  4.92140630411920732,
597  4.9226668558117179231,
598  4.9239251838645961001,
599  4.9251812961328695906,
600  4.9264352004250104855,
601  4.9276869045139148895,
602  4.9289364161274331622,
603  4.930183742953959225,
604  4.9314288926429705739,
605  4.9326718728017695526,
606  4.9339126909990707048,
607  4.9351513547632901435,
608  4.9363878715825793009,
609  4.9376222489086307732,
610  4.9388544941514433972,
611  4.9400846146855030838,
612  4.9413126178442805525,
613  4.9425385109245425497,
614  4.9437623011874967105,
615  4.9449839958525672046,
616  4.9462036021044877288,
617  4.9474211270911467864,
618  4.94863657792356193,
619  4.9498499616762590136,
620  4.951061285385411459,
621  4.9522705560567228389,
622  4.953477780653996021,
623  4.9546829661095603825,
624  4.9558861193187082606,
625  4.9570872471431259854,
626  4.9582863564077985785,
627  4.9594834539061531942,
628  4.9606785463950835435,
629  4.9618716405975016315,
630  4.9630627432033493918,
631  4.9642518608677059788,
632  4.9654390002135828652,
633  4.9666241678332916365,
634  4.9678073702783995813,
635  4.9689886140775181289,
636  4.9701679057200074396,
637  4.9713452516644425216,
638  4.9725206583386771797,
639  4.9736941321387124759,
640  4.9748656794271779447,
641  4.9760353065382254556,
642  4.9772030197691305986,
643  4.9783688253938667145,
644  4.9795327296494962255,
645  4.9806947387447246811,
646  4.9818548588592266313,
647  4.9830130961401488676,
648  4.9841694567042216235,
649  4.9853239466419916326,
650  4.9864765720105195257,
651  4.9876273388394878339,
652  4.9887762531291475199,
653  4.9899233208496038827,
654  4.991068547943197764,
655  4.9922119403239273439,
656  4.9933535038756051705,
657  4.9944932444557128548,
658  4.9956311678911315965,
659  4.9967672799847102638,
660  4.9979015865084877035,
661  4.9990340932062125034,
662  5.0001648057961816107,
663  5.0012937299703708049,
664  5.0024208713897557743,
665  5.0035462356939701678,
666  5.0046698284898649689,
667  5.005791655360565251,
668  5.0069117218661789437,
669  5.0080300335340695028,
670  5.0091465958702752204,
671  5.0102614143550079362,
672  5.011374494437898619,
673  5.0124858415485151752,
674  5.013595461088218741,
675  5.0147033584340050538,
676  5.0158095389358994254,
677  5.016914007923525709,
678  5.0180167706959730722,
679  5.019117832532923984,
680  5.0202171986848211915,
681  5.0213148743816304886,
682  5.0224108648275542777,
683  5.023505175204015849,
684  5.0245978106638364835,
685  5.0256887763431103977,
686  5.0267780773503911718,
687  5.0278657187677264773,
688  5.0289517056634220893,
689  5.0300360430708339621,
690  5.031118736011032766,
691  5.0321997894735872592,
692  5.033279208430878171,
693  5.0343569978304349988,
694  5.0354331625974140252,
695  5.0365077076369173525,
696  5.0375806378261662744,
697  5.038651958026854949,
698  5.0397216730759275549,
699  5.0407897877868261816,
700  5.041856306954672462,
701  5.0429212353508097166,
702  5.0439845777257694692,
703  5.0450463388084694216,
704  5.0461065233078148395,
705  5.0471651359122242653,
706  5.0482221812838998787,
707  5.0492776640733696425,
708  5.0503315889010202966,
709  5.0513839603731200967,
710  5.0524347830748155275,
711  5.0534840615674294639,
712  5.0545318003950736596,
713  5.05557800408043434,
714  5.0566226771290772035,
715  5.0576658240231813224,
716  5.0587074492262962266,
717  5.0597475571842567277,
718  5.0607861523217154698,
719  5.0618232390409545474,
720  5.0628588217326138121,
721  5.0638929047618450596,
722  5.0649254924753428497,
723  5.0659565892059488235,
724  5.0669861992626907821,
725  5.0680143269352670998,
726  5.0690409764981279039,
727  5.0700661522092937972,
728  5.0710898582985928229,
729  5.0721120989893737629,
730  5.0731328784784439634,
731  5.074152200949661129,
732  5.0751700705663855828,
733  5.0761864914751884115,
734  5.0772014678021966105,
735  5.0782150036598769915,
736  5.0792271031403100068,
737  5.0802377703232988182,
738  5.0812470092607417982,
739  5.0822548239972018536,
740  5.0832612185565020368,
741  5.0842661969462712435,
742  5.0852697631546215362,
743  5.0862719211552098741,
744  5.0872726749042893601,
745  5.0882720283436793096,
746  5.0892699853939786792,
747  5.0902665499607424593,
748  5.091261725937645366,
749  5.0922555171965226961,
750  5.0932479275947484254,
751  5.094238960975246755,
752  5.0952286211621018452,
753  5.0962169119655813532,
754  5.0972038371799763823,
755  5.0981894005837675721,
756  5.0991736059372865242,
757  5.1001564569885795564,
758  5.1011379574663200387,
759  5.1021181110905606815,
760  5.1030969215600734401,
761  5.1040743925584699525,
762  5.1050505277576778695,
763  5.1060253308124812222,
764  5.1069988053626742541,
765  5.1079709550334140289,
766  5.1089417834336536828,
767  5.1099112941604722948,
768  5.1108794907935513052,
769  5.1118463769002309149,
770  5.1128119560305220759,
771  5.11377623172347473,
772  5.1147392075002322542,
773  5.1157008868717728234,
774  5.116661273330823434,
775  5.1176203703575344761,
776  5.1185781814189557082,
777  5.1195347099664330059,
778  5.1204899594392658813,
779  5.1214439332609789091,
780  5.1223966348441702934,
781  5.1233480675841667207,
782  5.1242982348635015555,
783  5.1252471400564001414,
784  5.1261947865156995974,
785  5.1271411775841633229,
786  5.1280863165930874459,
787  5.1290302068593502938,
788  5.1299728516864773198,
789  5.1309142543640433587,
790  5.1318544181685155081,
791  5.1327933463647230639,
792  5.1337310422057331749,
793  5.1346675089254301128,
794  5.1356027497561580475,
795  5.1365367679072226892,
796  5.1374695665772396325,
797  5.1384011489590157851,
798  5.1393315182221570581,
799  5.1402606775344112933,
800  5.1411886300445432951,
801  5.1421153788897671078,
802  5.1430409271974797392,
803  5.1439652780826365941,
804  5.1448884346451242422,
805  5.1458103999755540059,
806  5.1467311771488537531,
807  5.1476507692358399737,
808  5.1485691792869845429,
809  5.1494864103439317304,
810  5.1504024654393774085,
811  5.1513173475900968512,
812  5.1522310598052882824,
813  5.1531436050768171242,
814  5.154054986390756099,
815  5.1549652067224593921,
816  5.1558742690289873778,
817  5.1567821762629959537,
818  5.1576889313596012698,
819  5.1585945372493107186,
820  5.1594989968480309273,
821  5.1604023130584497636,
822  5.1613044887765493485,
823  5.1622055268855175925,
824  5.1631054302586427696,
825  5.1640042017523919426,
826  5.1649018442226921621,
827  5.1657983605064501376,
828  5.1666937534335160009,
829  5.1675880258200974637,
830  5.1684811804786026102,
831  5.1693732202005282517,
832  5.1702641477748567667,
833  5.1711539659809906411,
834  5.1720426775792134322,
835  5.1729302853286380781,
836  5.1738167919714435072,
837  5.1747022002469185153,
838  5.1755865128781888274,
839  5.1764697325776172221,
840  5.1773518620504228593,
841  5.1782329039929742009,
842  5.1791128610875416527,
843  5.1799917360116936038,
844  5.1808695314259356479,
845  5.1817462499881834503,
846  5.1826218943436206388,
847  5.1834964671259511348,
848  5.1843699709595680858,
849  5.1852424084628720991,
850  5.1861137822415441789,
851  5.1869840948945533654,
852  5.1878533490036060627,
853  5.1887215471528209676,
854  5.1895886919050626673,
855  5.1904547858231815383,
856  5.1913198314537947198,
857  5.192183831339884037,
858  5.1930467880138593273,
859  5.1939087039925064815,
860  5.1947695817944223862,
861  5.1956294239197946538,
862  5.1964882328643193787,
863  5.1973460111126827954,
864  5.1982027611443841764,
865  5.1990584854245227575,
866  5.1999131864112939638,
867  5.2007668665594337654,
868  5.2016195283058488386,
869  5.2024711740834899132,
870  5.203321806317999787,
871  5.204171427421442786,
872  5.2050200398034256466,
873  5.2058676458613843963,
874  5.2067142479828039114,
875  5.2075598485492484713,
876  5.2084044499348749468,
877  5.2092480545023915894,
878  5.2100906646060316518,
879  5.2109322825951016611,
880  5.2117729108069843491,
881  5.2126125515733319205,
882  5.213451207214731653,
883  5.2142888800491773438,
884  5.2151255723779401663,
885  5.2159612865027060735,
886  5.2167960247110647387,
887  5.2176297892858354288,
888  5.2184625824991188736,
889  5.2192944066195696706,
890  5.220125263904654922,
891  5.2209551566026108915,
892  5.2217840869550187222,
893  5.2226120572001928366,
894  5.2234390695608432509,
895  5.2242651262570420911,
896  5.2250902295006715903,
897  5.2259143814924087224,
898  5.2267375844326826595,
899  5.2275598405055427875,
900  5.2283811518936920137,
901  5.2292015207701219026,
902  5.2300209492999023553,
903  5.2308394396413042671,
904  5.2316569939448518411,
905  5.232473614353325253,
906  5.2332893030042768601,
907  5.2341040620237198056,
908  5.2349178935364628629,
909  5.2357307996543065443,
910  5.2365427824845500737,
911  5.2373538441268099319,
912  5.238163986674397421,
913  5.2389732122109791135,
914  5.2397815228161856993,
915  5.2405889205596087876,
916  5.241395407508760762,
917  5.2422009857169236113,
918  5.2430056572353631594,
919  5.2438094241079955538,
920  5.2446122883720418528,
921  5.2454142520553670437,
922  5.2462153171821466202,
923  5.2470154857665374237,
924  5.2478147598175572952,
925  5.2486131413384571331,
926  5.2494106323246381152,
927  5.2502072347647210648,
928  5.2510029506425377477,
929  5.251797781929518294,
930  5.2525917305996054907,
931  5.2533847986118153983,
932  5.2541769879225519446,
933  5.2549683004819565113,
934  5.2557587382321022673,
935  5.2565483031086124299,
936  5.2573369970446170996,
937  5.2581248219619407536,
938  5.2589117797758726525,
939  5.2596978723983403015,
940  5.2604831017338673504,
941  5.2612674696825720844,
942  5.2620509781352522438,
943  5.2628336289762662759,
944  5.2636154240880941302,
945  5.2643963653400520641,
946  5.265176454600734246,
947  5.2659556937352318684,
948  5.2667340845913157565,
949  5.2675116290245780348,
950  5.2682883288747248685,
951  5.2690641859777169742,
952  5.2698392021680051656,
953  5.2706133792652787307,
954  5.271386719093205997,
955  5.2721592234625580531,
956  5.2729308941811661171,
957  5.2737017330491058331,
958  5.2744717418625182148,
959  5.2752409224120926368,
960  5.2760092764806643117,
961  5.2767768058460946534,
962  5.277543512281305027,
963  5.2783093975509522977,
964  5.2790744634183006667,
965  5.2798387116383533879,
966  5.2806021439611363633,
967  5.2813647621308099644,
968  5.2821265678829112389,
969  5.2828875629518661228,
970  5.2836477490664632839,
971  5.2844071279468405322,
972  5.2851657013085491243,
973  5.2859234708673588088,
974  5.2866804383222154584,
975  5.2874366053748973471,
976  5.2881919737240625778,
977  5.2889465450525703361,
978  5.2897003210486817082,
979  5.290453303389528017,
980  5.2912054937457764225,
981  5.2919568937911822815,
982  5.2927075051818022189,
983  5.293457329578695969,
984  5.2942063686346854112,
985  5.2949546239952445248,
986  5.2957020973001824871,
987  5.2964487901885801691,
988  5.2971947042925213722,
989  5.297939841235940861,
990  5.2986842026422600327,
991  5.2994277901252901941,
992  5.300170605297537918,
993  5.3009126497653964449,
994  5.3016539251279422018,
995  5.3023944329858592184,
996  5.3031341749252627338,
997  5.3038731525346189954,
998  5.3046113673943970923,
999  5.3053488210808819048,
1000  5.306085515167051625,
1001  5.3068214512167317665,
1002  5.3075566307942354527,
1003  5.30829105545386426,
1004  5.3090247267513417384,
1005  5.3097576462314437507,
1006  5.3104898154367718988,
1007  5.3112212359058306177,
1008  5.3119519091693705448,
1009  5.3126818367597845594,
1010  5.3134110201977717836,
1011  5.3141394610034575763,
1012  5.3148671606899267061,
1013  5.3155941207672805504,
1014  5.3163203427447527361,
1015  5.3170458281155896785,
1016  5.317770578381833424,
1017  5.3184945950302289219,
1018  5.319217879550071082,
1019  5.3199404334246933601,
1020  5.3206622581300351271,
1021  5.3213833551401314992,
1022  5.3221037259237444772,
1023  5.322823371944543247,
1024  5.3235422946629959995,
1025  5.3242604955346219953,
1026  5.3249779760101221271,
1027  5.3256947375405347955,
1028  5.3264107815598338291,
1029  5.3271261095145172604,
1030  5.3278407228337982815,
1031  5.3285546229469780144,
1032  5.3292678112797853274,
1033  5.3299802892558414413,
1034  5.3306920582895092053,
1035  5.3314031197943716478,
1036  5.3321134751741725566},
1037  {0,
1038  1.5849625007211560757,
1039  2.1699250014423121513,
1040  2.5579955284837421203,
1041  2.8517490673526251221,
1042  3.0892269252300743609,
1043  3.2890510328453164135,
1044  3.4618085511600300563,
1045  3.6141229290066028135,
1046  3.7504259155236727707,
1047  3.8738343594563144912,
1048  3.9866268417936208124,
1049  4.0905208835103650244,
1050  4.1868449994830516658,
1051  4.2766477253538210945,
1052  4.3607719993149194337,
1053  4.4399061203561185351,
1054  4.5146190672093302609,
1055  4.5853869701682743454,
1056  4.6526125097847090828,
1057  4.7166389444279692711,
1058  4.7777617636723892502,
1059  4.8362371518461326758,
1060  4.8922882172546229285,
1061  4.9461109414819546259,
1062  4.9978786087594517795,
1063  5.0477441915345888646,
1064  5.0958449174691766714,
1065  5.142302922386489783,
1066  5.1872282989971658651,
1067  5.2307202260764773527,
1068  5.272868845842570984,
1069  5.3137554441091534585,
1070  5.3534544662673164694,
1071  5.3920338893693333659,
1072  5.4295558604443643347,
1073  5.4660775512431785117,
1074  5.5016515105679610897,
1075  5.5363264478263589652,
1076  5.5701470085010997835,
1077  5.6031549010092156493,
1078  5.6353887148233496873,
1079  5.666884276405992793,
1080  5.6976751795378968168,
1081  5.7277925478387725633,
1082  5.7572654681792094777,
1083  5.786121332867177891,
1084  5.8143857277800439221,
1085  5.8420825800477009793,
1086  5.8692343821621539846,
1087  5.8958628449458272414,
1088  5.9219877053718938953,
1089  5.9476278617615392363,
1090  5.9728011606503024211,
1091  5.9975244751027325663,
1092  6.0218137748042357416,
1093  6.0456841897349296033,
1094  6.0691500682567394165,
1095  6.0922250302291720558,
1096  6.1149220156687800198,
1097  6.1372533293993125625,
1098  6.1592306820850524218,
1099  6.1808652279951372677,
1100  6.2021675998074830005,
1101  6.2231479407269647552,
1102  6.2438159341637256006,
1103  6.2641808311908375728,
1104  6.2842514759783121292,
1105  6.3040363293799472899,
1106  6.3235434908322130099,
1107  6.3427807187080356144,
1108  6.3617554492549714951,
1109  6.3804748142341640715,
1110  6.3989456573660392635,
1111  6.4171745496783119123,
1112  6.4351678038431758822,
1113  6.4529314875827097353,
1114  6.4704714362143045392,
1115  6.4877932644015752217,
1116  6.5049023771705218877,
1117  6.5218039802452860698,
1118  6.5385030897536235983,
1119  6.5550045413475777067,
1120  6.5713129987812495258,
1121  6.5874329619839846472,
1122  6.6033687746642577565,
1123  6.6191246314767182568,
1124  6.6347045847820735887,
1125  6.6501125510274698982,
1126  6.6653523167725232668,
1127  6.6804275443844689519,
1128  6.6953417774240433502,
1129  6.7100984457419530216,
1130  6.7247008703045993983,
1131  6.7391522677659985163,
1132  6.7534557548017595252,
1133  6.7676143522200646885,
1134  6.7816309888629486835,
1135  6.7955085053110009241,
1136  6.8092496574029155454,
1137  6.8228571195810641115,
1138  6.8363334880734170085,
1139  6.8496812839211305146,
1140  6.8629029558607514971,
1141  6.8760008830695991122,
1142  6.8889773777816616374,
1143  6.9018346877815446305,
1144  6.9145749987831877093,
1145  6.9272004366996293712,
1146  6.9397130698098399293,
1147  6.9521149108280493323,
1148  6.9644079188810090741,
1149  6.9765940013978378076,
1150  6.9886750159171633356,
1151  7.0006527718159281548,
1152  7.0125290319637931802,
1153  7.0243055143070174395,
1154  7.0359838933852882903,
1155  7.0475658017850904002,
1156  7.0590528315326412923,
1157  7.0704465354293475343,
1158  7.0817484283326272987,
1159  7.0929599883849858699,
1160  7.1040826581934402029,
1161  7.1151178459619242034,
1162  7.1260669265790523852,
1163  7.1369312426630076018,
1164  7.1477121055656445137,
1165  7.1584107963380390061,
1166  7.1690285666587305613,
1167  7.1795666397268513848,
1168  7.1900262111213359972,
1169  7.2004084496281084427,
1170  7.2107144980362312126,
1171  7.220945473905043599,
1172  7.231102470302680274,
1173  7.2411865565182020887,
1174  7.2511987787476739342,
1175  7.2611401607557306548,
1176  7.2710117045136426484,
1177  7.2808143908148288403,
1178  7.2905491798685311267,
1179  7.3002170118731619652,
1180  7.3098188075696226562,
1181  7.3193554687754387444,
1182  7.3288278789009924097,
1183  7.338236903447949544,
1184  7.3475833904912182248,
1185  7.3568681711443213445,
1186  7.3660920600098922506,
1187  7.3752558556148146707,
1188  7.3843603408312903369,
1189  7.393406283284258862,
1190  7.4023944357455100373,
1191  7.4113255365151546883,
1192  7.4202003097909541296,
1193  7.4290194660259221138,
1194  7.4377837022745927342,
1195  7.4464937025284365646,
1196  7.4551501380409357367,
1197  7.46375366764251158,
1198  7.472304938045723155,
1199  7.4808045841413086663,
1200  7.489253229284988933,
1201  7.4976514855758464861,
1202  7.505999954126187923,
1203  7.5142992253234304201,
1204  7.5225498790841633934,
1205  7.530752485100896898,
1206  7.5389076030812161022,
1207  7.5470157829804103145,
1208  7.5550775652270116822,
1209  7.563093480942076674,
1210  7.5710640521519403379,
1211  7.5789897919952027294,
1212  7.5868712049236606276,
1213  7.5947087868976961289,
1214  7.6025030255760297493,
1215  7.6102544005003744942,
1216  7.617963383274865663,
1217  7.6256304377407069239,
1218  7.6332560201457235749,
1219  7.640840579309796432,
1220  7.6483845567851513891,
1221  7.655888387013034091,
1222  7.6633524974757074588,
1223  7.670777308844529685,
1224  7.6781632351241988488,
1225  7.685510683793099318,
1226  7.6928200559400004011,
1227  7.7000917463971996213,
1228  7.7073261438702260762,
1229  7.7145236310640221689,
1230  7.7216845848063044855,
1231  7.7288093761672360671,
1232  7.7358983705764634564,
1233  7.7429519279370788709,
1234  7.7499704027365883263,
1235  7.7569541441553138128,
1236  7.7639034961719657346,
1237  7.7708187976664913066,
1238  7.7777003825208090859,
1239  7.784548579716417116,
1240  7.7913637134303490583,
1241  7.7981461031281220642,
1242  7.8048960636549837844,
1243  7.8116139053245801094,
1244  7.8182999340057701687,
1245  7.8249544512071169677,
1246  7.8315777541595927858,
1247  7.8381701358972941662,
1248  7.844731885336115873,
1249  7.8512632873507026687,
1250  7.8577646228496798031,
1251  7.8642361688489810234,
1252  7.8706781985435876337,
1253  7.8770909813775560337,
1254  7.883474783112487394,
1255  7.8898298658945753559,
1256  7.896156488319749478,
1257  7.9024549054977795137,
1258  7.908725369114728565,
1259  7.9149681274940411058,
1260  7.9211834256561690637,
1261  7.9273715053771969252,
1262  7.9335326052458050583,
1263  7.9396669607190686335,
1264  7.9457748041773976766,
1265  7.9518563649777309621,
1266  7.9579118695058941313,
1267  7.9639415412279186413,
1268  7.9699456007399085422,
1269  7.975924265817205594,
1270  7.9818777514623482361,
1271  7.9878062699518972423,
1272  7.9937100308825455031,
1273  7.999589241215965707,
1274  8.0054441053230434022,
1275  8.0112748250268044359,
1276  8.0170815996448503427,
1277  8.0228646260305200855,
1278  8.0286240986136814257,
1279  8.0343602094400452529,
1280  8.0400731482104017545,
1281  8.0457631023185527397,
1282  8.0514302568884446032,
1283  8.0570747948111662851,
1284  8.0626968967803556154,
1285  8.0682967413275274993,
1286  8.0738745048563789197,
1287  8.0794303616766942611,
1288  8.0849644840372061338,
1289  8.0904770421580760598,
1290  8.0959682042627640897,
1291  8.1014381366090564285,
1292  8.1068870035196916035,
1293  8.1123149674122601027,
1294  8.1177221888286599238,
1295  8.1231088264638859897,
1296  8.1284750371942582348,
1297  8.1338209761051807334,
1298  8.1391467965182808797,
1299  8.1444526500183069828,
1300  8.1497386864789014282,
1301  8.1550050540887468742,
1302  8.1602518993764316946,
1303  8.1654793672353918055,
1304  8.170687600948014051,
1305  8.1758767422096845223,
1306  8.1810469311519824487,
1307  8.1861983063656609261,
1308  8.1913310049233842847,
1309  8.1964451624015488562,
1310  8.2015409129022316392,
1311  8.2066183890745207918,
1312  8.2116777221352794669,
1313  8.2167190418899522797,
1314  8.2217424767526345875,
1315  8.2267481537658095903,
1316  8.2317361986201333934,
1317  8.2367067356733052463,
1318  8.241659887969012388,
1319  8.2465957772553721838,
1320  8.2515145240030918217,
1321  8.2564162474231999056,
1322  8.2613010654847940373,
1323  8.2661690949320902888,
1324  8.2710204513012843819,
1325  8.2758552489373915506,
1326  8.2806736010104877721,
1327  8.2854756195317040834,
1328  8.2902614153691143173,
1329  8.2950310982631840773,
1330  8.2997847768421522119,
1331  8.3045225586369397774,
1332  8.3092445500957996529,
1333  8.3139508565991242506,
1334  8.3186415824733579427,
1335  8.3233168310052789707,
1336  8.3279767044556507471,
1337  8.3326213040728056569,
1338  8.3372507301060672091,
1339  8.3418650818187281004,
1340  8.3464644575010957794,
1341  8.3510489544831312259,
1342  8.3556186691467750904,
1343  8.3601736969386344356,
1344  8.3647141323816800451,
1345  8.369240069087316769,
1346  8.3737515997669760281,
1347  8.3782488162437136481,
1348  8.3827318094636957824,
1349  8.3872006695069654114,
1350  8.3916554855987435246,
1351  8.3960963461200979197,
1352  8.4005233386186137778,
1353  8.4049365498186912049,
1354  8.4093360656322566626,
1355  8.4137219711682984524,
1356  8.4180943507434804474,
1357  8.4224532878914430967,
1358  8.4267988653728433945,
1359  8.4311311651845954884,
1360  8.4354502685695358366,
1361  8.4397562560254097974,
1362  8.4440492073140998031,
1363  8.4483292014705000383,
1364  8.4525963168114621737,
1365  8.4568506309442881275,
1366  8.4610922207755105973,
1367  8.4653211625191104872,
1368  8.4695375317049190755,
1369  8.473741403186858534,
1370  8.4779328511508715849,
1371  8.4821119491227694454,
1372  8.4862787699764776761,
1373  8.4904333859411753593,
1374  8.4945758686092514012,
1375  8.4987062889436693069,
1376  8.5028247172853355096,
1377  8.506931223360369998,
1378  8.5110258762872401661,
1379  8.5151087445838271606,
1380  8.5191798961743927521,
1381  8.5232393983963561368,
1382  8.5272873180071080412,
1383  8.5313237211906951529,
1384  8.5353486735642061234,
1385  8.5393622401844559988,
1386  8.5433644855542283381,
1387  8.5473554736285937139,
1388  8.5513352678210345914,
1389  8.5553039310096448133,
1390  8.559261525543142568,
1391  8.5632081132467057216,
1392  8.5671437554278941917,
1393  8.5710685128824284362,
1394  8.5749824458999448495,
1395  8.5788856142693692419,
1396  8.5827780772847415136,
1397  8.5866598937504541311,
1398  8.5905311219867694916,
1399  8.5943918198349464888,
1400  8.5982420446628271549,
1401  8.6020818533696523644,
1402  8.6059113023911972817,
1403  8.6097304477050542459,
1404  8.6135393448352655099,
1405  8.617338048857405397,
1406  8.6211266144033853465,
1407  8.6249050956662340894,
1408  8.6286735464046238064,
1409  8.6324320199476947124,
1410  8.6361805691995492396,
1411  8.6399192466437746418,
1412  8.6436481043479265196,
1413  8.6473671939677334564,
1414  8.6510765667518167987,
1415  8.6547762735454778493,
1416  8.6584663647954265286,
1417  8.6621468905533784977,
1418  8.6658179004808459922,
1419  8.6694794438525466518,
1420  8.6731315695608337535,
1421  8.676774326119449654,
1422  8.6804077616675030526,
1423  8.6840319239733609891,
1424  8.6876468604382779404,
1425  8.6912526181003944004,
1426  8.6948492436382860404,
1427  8.6984367833745608323,
1428  8.7020152832797155185,
1429  8.705584788975468058,
1430  8.7091453457383103398,
1431  8.7126969985032332033,
1432  8.7162397918667089414,
1433  8.719773770090577969,
1434  8.7232989771050313266,
1435  8.7268154565120994448,
1436  8.7303232515887216891,
1437  8.7338224052903772332,
1438  8.7373129602538170957,
1439  8.7407949588003539532,
1440  8.7442684429392354417,
1441  8.7477334543702767178,
1442  8.751190034487249747,
1443  8.7546382243806064594,
1444  8.7580780648406779676,
1445  8.7615095963604296969,
1446  8.7649328591383266485,
1447  8.7683478930814207075,
1448  8.7717547378079583353,
1449  8.7751534326500451044,
1450  8.7785440166567312303,
1451  8.7819265285965109058,
1452  8.7853010069600987464,
1453  8.7886674899628154378,
1454  8.7920260155476928077,
1455  8.7953766213876924951,
1456  8.7987193448883527225,
1457  8.8020542231902112462,
1458  8.8053812931717150292,
1459  8.80870059145107831,
1460  8.8120121543892508953,
1461  8.8153160180920835387,
1462  8.8186122184126460866,
1463  8.8219007909536948375,
1464  8.825181771070118586,
1465  8.8284551938710524865,
1466  8.8317210942220629732,
1467  8.8349795067477270294,
1468  8.8382304658335790748,
1469  8.8414740056284273351,
1470  8.8447101600464375082,
1471  8.8479389627694029485,
1472  8.851160447248741292,
1473  8.8543746467076420714,
1474  8.85758159414324453,
1475  8.8607813223284672688,
1476  8.8639738638142553384,
1477  8.8671592509313903463,
1478  8.8703375157926309669,
1479  8.8735086902946509468,
1480  8.8766728061198012512,
1481  8.87982989473832518,
1482  8.8829799874099784063,
1483  8.8861231151860042843,
1484  8.8892593089110185645,
1485  8.8923885992249100951,
1486  8.8955110165643418441,
1487  8.8986265911650068716,
1488  8.9017353530629570457,
1489  8.9048373320966920375,
1490  8.9079325579085857356,
1491  8.9110210599469397152,
1492  8.9141028674674096521,
1493  8.9171780095347799033,
1494  8.9202465150246617043,
1495  8.9233084126249995194,
1496  8.9263637308379379931,
1497  8.9294124979811471121,
1498  8.9324547421895719168,
1499  8.9354904914169157593,
1500  8.9385197734374433054,
1501  8.9415426158471085216,
1502  8.9445590460653381371,
1503  8.9475690913366126011,
1504  8.9505727787316828881,
1505  8.9535701351492082978,
1506  8.9565611873173409663,
1507  8.9595459617948716158,
1508  8.962524484972838934,
1509  8.9654967830760323722,
1510  8.9684628821640810514,
1511  8.9714228081330880116,
1512  8.9743765867170655071,
1513  8.9773242434890434538,
1514  8.9802658038624407766,
1515  8.9832012930926143923,
1516  8.9861307362780333818,
1517  8.9890541583614531618,
1518  8.9919715841314573623,
1519  8.994883038223447258,
1520  8.9977885451212387125,
1521  9.0006881291578313409,
1522  9.0035818145172239468,
1523  9.0064696252352121064,
1524  9.0093515852006547107,
1525  9.0122277181568346549,
1526  9.0150980477024660331,
1527  9.0179625972930210764,
1528  9.020821390241794191,
1529  9.0236744497209304683,
1530  9.0265217987628947327,
1531  9.029363460261317087,
1532  9.0321994569721244517,
1533  9.0350298115147893441,
1534  9.0378545463733157561,
1535  9.0406736838973671411,
1536  9.0434872463032078826,
1537  9.0462952556749733901,
1538  9.0490977339656488709,
1539  9.0518947029979894836,
1540  9.0546861844654991103,
1541  9.0574721999338638767,
1542  9.0602527708414495322,
1543  9.0630279185006585863,
1544  9.065797664098649733,
1545  9.0685620286986239336,
1546  9.071321033240385745,
1547  9.0740746985417786163,
1548  9.0768230452992337831,
1549  9.0795660940889533208,
1550  9.0823038653676579912,
1551  9.0850363794737685197,
1552  9.0877636566279367258,
1553  9.0904857169344612799,
1554  9.093202580381621658,
1555  9.0959142668429873169,
1556  9.0986207960781442239,
1557  9.1013221877335137577,
1558  9.1040184613434220751,
1559  9.1067096363305779505,
1560  9.1093957320072203032,
1561  9.1120767675761324966,
1562  9.1147527621308750412,
1563  9.1174237346571320728,
1564  9.1200897040333597232,
1565  9.1227506890314327137,
1566  9.1254067083178451725,
1567  9.1280577804540730114,
1568  9.1307039238975100659,
1569  9.1333451570023846955,
1570  9.1359814980204188117,
1571  9.1386129651014957886,
1572  9.1412395762946001554,
1573  9.1438613495484197813,
1574  9.1464783027120866166,
1575  9.1490904535361448069,
1576  9.1516978196729557027,
1577  9.1543004186775274178,
1578  9.1568982680085433401,
1579  9.1594913850284438439,
1580  9.1620797870046715161,
1581  9.1646634911101561016,
1582  9.1672425144240268224,
1583  9.169816873932221668,
1584  9.1723865865283151777,
1585  9.1749516690139980568,
1586  9.1775121381000293042,
1587  9.1800680104065133236,
1588  9.1826193024639000129,
1589  9.1851660307134590511,
1590  9.1877082115077879365,
1591  9.1902458611118387211,
1592  9.1927789957031240675,
1593  9.195307631372749313,
1594  9.1978317841255563536,
1595  9.2003514698811557082,
1596  9.202866704474359949,
1597  9.2053775036556562128,
1598  9.2078838830920837211,
1599  9.2103858583677364891,
1600  9.2128834449840368848,
1601  9.2153766583608636154,
1602  9.2178655138366352162,
1603  9.2203500266691449383,
1604  9.2228302120361433936,
1605  9.2253060850357151423,
1606  9.227777660687003447,
1607  9.2302449539306632431,
1608  9.2327079796293904934,
1609  9.2351667525686451654,
1610  9.2376212874569070266,
1611  9.2400715989265123085,
1612  9.2425177015338793041,
1613  9.2449596097602455558,
1614  9.2473973380122238552,
1615  9.2498309006219940898,
1616  9.2522603118481541173,
1617  9.254685585876105236,
1618  9.2571067368185335766,
1619  9.2595237787159199172,
1620  9.2619367255369269287,
1621  9.2643455911792624846,
1622  9.2667503894695819611,
1623  9.2691511341644829969,
1624  9.2715478389506813528,
1625  9.2739405174456504,
1626  9.2763291831979213242,
1627  9.2787138496877830107,
1628  9.2810945303274987594,
1629  9.2834712384618587322,
1630  9.285843987368689767,
1631  9.2882127902591804514,
1632  9.2905776602784708729,
1633  9.2929386105061357881,
1634  9.2952956539561206739,
1635  9.2976488035780473496,
1636  9.2999980722568178493,
1637  9.3023434728134599681,
1638  9.3046850180055340473,
1639  9.3070227205274900228,
1640  9.3093565930109996032,
1641  9.311686648025593982,
1642  9.3140128980786549562,
1643  9.3163353556164789637,
1644  9.3186540330239928664,
1645  9.320968942625574627,
1646  9.3232800966853961455,
1647  9.3255875074076399756,
1648  9.3278911869369842691,
1649  9.3301911473591836454,
1650  9.3324874007010816257,
1651  9.3347799589312909774,
1652  9.3370688339604512862,
1653  9.3393540376415664639,
1654  9.34163558177047193,
1655  9.3439134780861792251,
1656  9.3461877382711318063,
1657  9.3484583739517486123,
1658  9.350725396698571501,
1659  9.3529888180269242781,
1660  9.3552486493969340131,
1661  9.3575049022139946686,
1662  9.3597575878292413876,
1663  9.3620067175398471448,
1664  9.3642523025891293287,
1665  9.3664943541673526539,
1666  9.3687328834114964593,
1667  9.3709679014060256463,
1668  9.3731994191832459506,
1669  9.375427447723154728,
1670  9.3776519979543113692,
1671  9.3798730807539385523,
1672  9.3820907069480021789,
1673  9.3843048873120320508,
1674  9.3865156325710366048,
1675  9.3887229533999985165,
1676  9.3909268604240470069,
1677  9.393127364219079567,
1678  9.3953244753115736643,
1679  9.3975182041794180776,
1680  9.3997085612517317088,
1681  9.4018955569095847835,
1682  9.4040792014860254966,
1683  9.4062595052665187723,
1684  9.4084364784889498168,
1685  9.4106101313444767698,
1686  9.412780473977290896,
1687  9.4149475164849523168,
1688  9.4171112689192728595,
1689  9.4192717412855753167,
1690  9.4214289435440576881,
1691  9.4235828856091341521,
1692  9.4257335773503960752,
1693  9.4278810285925107593,
1694  9.4300252491156033585,
1695  9.4321662486556316907,
1696  9.4343040369042689974,
1697  9.4364386235097583722,
1698  9.4385700180767280187,
1699  9.440698230166502114,
1700  9.4428232692976035167,
1701  9.4449451449457448859,
1702  9.4470638665442159265,
1703  9.4491794434840983286,
1704  9.4512918851145837351,
1705  9.4534012007431940106,
1706  9.4555073996357528188,
1707  9.4576104910173146578,
1708  9.4597104840715289242,
1709  9.4618073879416328964,
1710  9.4639012117303611404,
1711  9.4659919645000414334,
1712  9.4680796552731454341,
1713  9.4701642930323188807,
1714  9.472245886720807917,
1715  9.4743244452423986957,
1716  9.4763999774618543626,
1717  9.4784724922051921681,
1718  9.4805419982597332051,
1719  9.4826085043742764924,
1720  9.4846720192598077404,
1721  9.4867325515890765786,
1722  9.4887901099971383445,
1723  9.4908447030817804091,
1724  9.4928963394032717105,
1725  9.4949450274847819742,
1726  9.4969907758127760644,
1727  9.4990335928371791852,
1728  9.5010734869710180561,
1729  9.503110466591646599,
1730  9.5051445400400176311,
1731  9.507175715621507095,
1732  9.5092040016057683971,
1733  9.5112294062271054429,
1734  9.5132519376844975056,
1735  9.5152716041421108173,
1736  9.5172884137291759998,
1737  9.5193023745405671576,
1738  9.5213134946362618649,
1739  9.5233217820424851396,
1740  9.5253272447512795651,
1741  9.5273298907209031938,
1742  9.5293297278758579694,
1743  9.5313267641073178282,
1744  9.5333210072731695561,
1745  9.5353124651983272031,
1746  9.537301145674614844,
1747  9.5392870564612177731,
1748  9.5412702052850129064,
1749  9.5432505998402863412,
1750  9.5452282477892520518,
1751  9.5472031567622206438,
1752  9.5491753343575780377,
1753  9.5511447881421851491,
1754  9.5531115256514489431,
1755  9.5550755543895036226,
1756  9.5570368818292728008,
1757  9.5589955154129011561,
1758  9.560951462551601665,
1759  9.5629047306263057493,
1760  9.5648553269872600424,
1761  9.566803258954459821,
1762  9.5687485338179740779,
1763  9.5706911588378549283,
1764  9.5726311412443987336,
1765  9.5745684882383184089,
1766  9.5765032069908322399,
1767  9.5784353046440138257,
1768  9.5803647883107014849,
1769  9.5822916650748783951,
1770  9.5842159419916015395,
1771  9.5861376260874422428,
1772  9.5880567243603245231,
1773  9.5899732437800206952,
1774  9.5918871912879453134,
1775  9.593798573797551299,
1776  9.5957073981944507324,
1777  9.5976136713364592623,
1778  9.5995174000538874282,
1779  9.6014185911495335546,
1780  9.6033172513990301411,
1781  9.605213387550714188,
1782  9.6071070063259647043,
1783  9.6089981144195437679,
1784  9.6108867184991506605,
1785  9.6127728252060666847,
1786  9.6146564411552315477,
1787  9.6165375729352522427,
1788  9.6184162271085789087,
1789  9.6202924102116149641,
1790  9.6221661287548982955,
1791  9.6240373892232859987,
1792  9.6259061980760947108,
1793  9.6277725617468910002,
1794  9.6296364866444132957,
1795  9.6314979791517441043,
1796  9.6333570456269885796,
1797  9.6352136924036173582,
1798  9.637067925789827072,
1799  9.638919752069607938,
1800  9.6407691775021095992,
1801  9.6426162083221047538,
1802  9.6444608507401774489,
1803  9.6463031109427408438,
1804  9.6481429950920354344,
1805  9.6499805093265145217,
1806  9.6518156597606754588,
1807  9.6536484524856920331,
1808  9.6554788935688211637,
1809  9.6573069890540246263,
1810  9.6591327449620880685,
1811  9.660956167290423835,
1812  9.6627772620135541359,
1813  9.6645960350828108432,
1814  9.6664124924269376748,
1815  9.6682266399520031541,
1816  9.6700384835411750117,
1817  9.6718480290554449397,
1818  9.6736552823331614093,
1819  9.6754602491907100159,
1820  9.6772629354221866294,
1821  9.6790633467995643713,
1822  9.6808614890730950719,
1823  9.6826573679711405163,
1824  9.6844509892004175811,
1825  9.6862423584457957304,
1826  9.6880314813711176924,
1827  9.6898183636184977985,
1828  9.6916030108089490369,
1829  9.6933854285422000885,
1830  9.695165622397226457,
1831  9.6969435979316163099,
1832  9.6987193606824604331,
1833  9.7004929161661550552,
1834  9.7022642698780909853,
1835  9.7040334272935258042,
1836  9.7058003938670083244,
1837  9.7075651750330749223,
1838  9.709327776205789462,
1839  9.7110882027790612625,
1840  9.7128464601269044465,
1841  9.714602553603462809,
1842  9.7163564885428765905,
1843  9.71810827025978341,
1844  9.7198579040488848335,
1845  9.7216053951856586934,
1846  9.7233507489260198042,
1847  9.7250939705064674001,
1848  9.7268350651442680999,
1849  9.7285740380376939385,
1850  9.7303108943658269681,
1851  9.732045639288898542,
1852  9.7337782779479429252,
1853  9.735508815465712118,
1854  9.7372372569457716907,
1855  9.7389636074734795557,
1856  9.7406878721153962175,
1857  9.7424100559198993921,
1858  9.7441301639169832782,
1859  9.7458482011181271076,
1860  9.7475641725171211505,
1861  9.749278083089297553,
1862  9.7509899377922018004,
1863  9.7526997415654061996,
1864  9.7544074993308349519,
1865  9.7561132159924639495,
1866  9.7578168964367151261,
1867  9.7595185455326891599,
1868  9.761218168131639672,
1869  9.7629157690676375836,
1870  9.7646113531575178257,
1871  9.7663049252006874923,
1872  9.7679964899796782873,
1873  9.7696860522598232279,
1874  9.77137361678941474,
1875  9.7730591882999711117,
1876  9.7747427715062382703,
1877  9.7764243711061045161,
1878  9.7781039917808012518,
1879  9.7797816381951268028,
1880  9.7814573149972368071,
1881  9.7831310268189692891,
1882  9.7848027782757078796,
1883  9.7864725739668010362,
1884  9.7881404184750540054,
1885  9.7898063163675157483,
1886  9.7914702721949478104,
1887  9.7931322904922861738,
1888  9.7947923757784653986,
1889  9.7964505325568023153,
1890  9.7981067653147295715,
1891  9.799761078523964386,
1892  9.8014134766406790789,
1893  9.8030639641057177869,
1894  9.8047125453441488219,
1895  9.8063592247658739609,
1896  9.808004006765477456,
1897  9.8096468957221532037,
1898  9.8112878960002429807,
1899  9.8129270119486307067,
1900  9.8145642479014316706,
1901  9.8161996081777154188,
1902  9.8178330970816496404,
1903  9.8194647189026085243,
1904  9.8210944779152047346,
1905  9.8227223783793551348,
1906  9.8243484245404442134,
1907  9.8259726206291411188,
1908  9.8275949708618810519,
1909  9.8292154794404424933,
1910  9.8308341505523735293,
1911  9.8324509883709101388,
1912  9.8340659970551094204,
1913  9.8356791807497643276,
1914  9.8372905435857056489,
1915  9.8389000896796154905,
1916  9.840507823134412746,
1917  9.842113748038819665,
1918  9.8437178684679249585,
1919  9.8453201884830239266,
1920  9.8469207121317090525,
1921  9.8485194434478149361,
1922  9.850116386451720274,
1923  9.8517115451501400258,
1924  9.853304923536390092,
1925  9.8548965255904139582,
1926  9.8564863552787667089,
1927  9.8580744165547073976,
1928  9.859660713358344708,
1929  9.8612452496163776061,
1930  9.8628280292427703557,
1931  9.8644090561380899373,
1932  9.8659883341900709297,
1933  9.8675658672735178101,
1934  9.8691416592502925198,
1935  9.8707157139694334802,
1936  9.8722880352673758608,
1937  9.873858626967640717,
1938  9.8754274928810925616,
1939  9.8769946368061170006,
1940  9.8785600625285159282,
1941  9.8801237738216762807,
1942  9.8816857744464314806,
1943  9.883246068151228414,
1944  9.8848046586723690154,
1945  9.8863615497335946003,
1946  9.8879167450466596279,
1947  9.8894702483112570945,
1948  9.8910220632145193775,
1949  9.8925721934320840489,
1950  9.894120642627184381,
1951  9.8956674144512000169,
1952  9.8972125125437848681,
1953  9.8987559405323946038,
1954  9.9002977020330895641,
1955  9.9018378006498988242,
1956  9.9033762399752784944,
1957  9.9049130235899642827,
1958  9.9064481550631775519,
1959  9.9079816379526075565,
1960  9.9095134758043652567,
1961  9.9110436721531538495,
1962  9.9125722305223096242,
1963  9.9140991544237220268,
1964  9.9156244473581569565,
1965  9.9171481128150240636,
1966  9.91867015427256149,
1967  9.9201905751978429748,
1968  9.9217093790467156822,
1969  9.9232265692641501431,
1970  9.9247421492840981472,
1971  9.9262561225294287937,
1972  9.9277684924121238907,
1973  9.9292792623335266455,
1974  9.9307884356836986228,
1975  9.9322960158422564092,
1976  9.9338020061781726611,
1977  9.9353064100493160282,
1978  9.936809230803342885,
1979  9.9383104717770827108,
1980  9.9398101362967672401,
1981  9.9413082276784496827,
1982  9.9428047492272302321,
1983  9.9442997042381904294,
1984  9.9457930959959259809,
1985  9.9472849277746036023,
1986  9.9487752028380889158,
1987  9.9502639244401756002,
1988  9.951751095824379334,
1989  9.9532367202239377946,
1990  9.9547208008621499431,
1991  9.9562033409520598326,
1992  9.9576843436968260903,
1993  9.9591638122895727037,
1994  9.9606417499133783622,
1995  9.9621181597416814668,
1996  9.9635930449376655105,
1997  9.9650664086549767262,
1998  9.9665382540373581577,
1999  9.9680085842188272949,
2000  9.9694774023237648919,
2001  9.9709447114667177914,
2002  9.972410514752809263,
2003  9.9738748152773819555,
2004  9.9753376161264686317,
2005  9.9767989203763605133,
2006  9.9782587310939732106,
2007  9.9797170513368271827,
2008  9.981173884152926945,
2009  9.982629232581176737,
2010  9.9840830996508902473,
2011  9.9855354883822684542,
2012  9.9869864017861758043,
2013  9.9884358428643462702,
2014  9.9898838146094934842,
2015  9.9913303200047582919,
2016  9.9927753620247212751,
2017  9.994218943634486152,
2018  9.9956610677904205176,
2019  9.9971017374398591926,
2020  9.9985409555210758015,
2021  9.9999787249635438968,
2022  10.001415048687835707,
2023  10.002849929605661217,
2024  10.004283370619978299,
2025  10.005715374624967851,
2026  10.007145944506056878,
2027  10.008575083140170747,
2028  10.010002793395079479,
2029  10.011429078130582582,
2030  10.012853940197395275,
2031  10.014277382437839492,
2032  10.015699407685753286,
2033  10.017120018766567213,
2034  10.018539218497068077,
2035  10.019957009685757754,
2036  10.021373395132535222},
2037  {0,
2038  2,
2039  2.8073549220576041741,
2040  3.3536370631535943332,
2041  3.7714895106311274731,
2042  4.1115655159417610065,
2043  4.3990864632756769836,
2044  4.6485587228878513244,
2045  4.8691354356993361563,
2046  5.0669818295080517601,
2047  5.2464571207588184265,
2048  5.4107623502682091754,
2049  5.5623190195081955167,
2050  5.703006746365687718,
2051  5.8343126340271016517,
2052  5.9574352031222339576,
2053  6.0733556433332545055,
2054  6.1828862241989339665,
2055  6.2867078798528943651,
2056  6.3853976809854211538,
2057  6.4794477668063832354,
2058  6.5692827294485240941,
2059  6.6552714096263994037,
2060  6.7377346850569788117,
2061  6.8169550088563353185,
2062  6.8931830556583326697,
2063  6.9666387250830359434,
2064  7.0375214021316967461,
2065  7.1060071323467326465,
2066  7.1722554489534200428,
2067  7.2364098410621791047,
2068  7.2986017269949030606,
2069  7.3589482121966680594,
2070  7.4175576159293372669,
2071  7.4745288259800064523,
2072  7.5299519580007014952,
2073  7.5839102229344481643,
2074  7.636479902408856546,
2075  7.6877324099684969383,
2076  7.7377320545346357505,
2077  7.7865399808308852769,
2078  7.8342124006415465587,
2079  7.8808013171713264811,
2080  7.9263562226457615623,
2081  7.9709222592914628081,
2082  8.014541602938578535,
2083  8.0572545500522494422,
2084  8.0990984438340216656,
2085  8.1401078875996137896,
2086  8.1803154063567138365,
2087  8.2197544148135897046,
2088  8.2584527204338957773,
2089  8.296437980622632935,
2090  8.3337363124671615111,
2091  8.3703724126775718162,
2092  8.4063696607852769205,
2093  8.4417502120744956073,
2094  8.4765350821312299701,
2095  8.5107442240840303072,
2096  8.5443965993439707773,
2097  8.5775102425159595043,
2098  8.6101023210584628487,
2099  8.6421891902008951547,
2100  8.6737864435672200614,
2101  8.704908959903193022,
2102  8.7355709462653319264,
2103  8.7657859779877131956,
2104  8.7955670357126791714,
2105  8.824926539740017617,
2106  8.8538763819264332255,
2107  8.8824279553406579879,
2108  8.9105921818632936038,
2109  8.9383795378983084134,
2110  8.9658000783512310505,
2111  8.9928634590117084713,
2112  9.019578957466292124,
2113  9.0459554926564464949,
2114  9.0720016431856116412,
2115  9.0977256644704276312,
2116  9.123135504822986519,
2117  9.1482388205421223404,
2118  9.1730429900877190619,
2119  9.1975551274032909532,
2120  9.2217820944479775847,
2121  9.2457305129933153864,
2122  9.2694067757362059723,
2123  9.29281705677560943,
2124  9.3159673214952327669,
2125  9.3388633358935919659,
2126  9.3615106753968824194,
2127  9.3839147331894565696,
2128  9.406080728093311194,
2129  9.4280137120249349891,
2130  9.449718577057726776,
2131  9.4712000621136365197,
2132  9.4924627593071306819,
2133  9.5135111199645425728,
2134  9.5343494603360063877,
2135  9.5549819670216145084,
2136  9.5754127021261776775,
2137  9.5956456081599235119,
2138  9.6156845127008168106,
2139  9.6355331328306839112,
2140  9.6551950793585383792,
2141  9.674673860845226514,
2142  9.6939728874374058165,
2143  9.7130954745238167192,
2144  9.7320448462231041731,
2145  9.7508241387121277199,
2146  9.7694364034039420375,
2147  9.7878846099825516092,
2148  9.8061716493038666442,
2149  9.8243003361679885899,
2150  9.8422734119705577172,
2151  9.8600935472398969495,
2152  9.877763344064923956,
2153  9.8952853384199102038,
2154  9.9126620023905385182,
2155  9.9298957463077943686,
2156  9.9469889207933022135,
2157  9.963943818719975809,
2158  9.9807626770924713355,
2159  9.9974476788531525528,
2160  10.014000954613710093,
2161  10.030424584318293313,
2162  10.046720598842311389,
2163  10.062890981527374379,
2164  10.078937669655852361,
2165  10.094862555870758314,
2166  10.110667489539036268,
2167  10.126354278064880532,
2168  10.141924688152043288,
2169  10.157380447020491587,
2170  10.172723243575690688,
2171  10.187954729538160947,
2172  10.203076520527410764,
2173  10.218090197110742068,
2174  10.2329973058114021,
2175  10.247799360081446096,
2176  10.262497841240575625,
2177  10.277094199381865636,
2178  10.291589854243699875,
2179  10.305986196054695014,
2180  10.320284586347755251,
2181  10.334486358744756629,
2182  10.348592819717516988,
2183  10.362605249320205658,
2184  10.376524901900120668,
2185  10.390353006780426171,
2186  10.404090768925623678,
2187  10.417739369580614195,
2188  10.431299966890730246,
2189  10.444773696502085869,
2190  10.458161672141519816,
2191  10.471464986178167678,
2192  10.484684710167483601,
2193  10.497821895378095292,
2194  10.510877573301435461,
2195  10.523852756145510412,
2196  10.536748437314278348,
2197  10.549565591871418846,
2198  10.562305176989406519,
2199  10.574968132386613817,
2200  10.587555380748748135,
2201  10.60006782813989723,
2202  10.612506364399679981,
2203  10.624871863529332217,
2204  10.637165184065759505,
2205  10.649387169446338675,
2206  10.661538648359456971,
2207  10.673620435089258507,
2208  10.685633329846911721,
2209  10.697578119094702132,
2210  10.709455575858433107,
2211  10.721266460033740842,
2212  10.733011518681895069,
2213  10.744691486318380669,
2214  10.756307085191693318,
2215  10.76785902555625718,
2216  10.77934800593665976,
2217  10.790774713386179329,
2218  10.802139823735060986,
2219  10.813444001837114072,
2220  10.82468790180285545,
2221  10.8358721672335232,
2222  10.846997431443936577,
2223  10.858064317680760524,
2224  10.869073439335851461,
2225  10.880025400153099824,
2226  10.890920794430101637,
2227  10.901760207214730158,
2228  10.912544214496701755,
2229  10.923273383392475111,
2230  10.933948272329693907,
2231  10.944569431221378153,
2232  10.955137401639886363,
2233  10.965652716985310633,
2234  10.976115902648308165,
2235  10.986527476171035644,
2236  10.996887947402781194,
2237  11.00719781865054081,
2238  11.017457584830406603,
2239  11.027667733608263134,
2240  11.037828745544826958,
2241  11.047941094229994263,
2242  11.058005246419710943,
2243  11.06802166216550809,
2244  11.077990794943804786,
2245  11.087913091779419972,
2246  11.097788993368448374,
2247  11.107618934197896365,
2248  11.117403342660917787,
2249  11.127142641170605586,
2250  11.136837246271941382,
2251  11.146487568749375185,
2252  11.156094013733063974,
2253  11.165656980801944798,
2254  11.175176864084914286,
2255  11.184654052361224785,
2256  11.194088929154311529,
2257  11.203481872828279009,
2258  11.212833256679813232,
2259  11.22214344902846328,
2260  11.231412813303665033,
2261  11.240641708133454202,
2262  11.24983048742707048,
2263  11.258979500456714362,
2264  11.268089091941565272,
2265  11.277159602123761672,
2266  11.286191366846269446,
2267  11.295184717630176507,
2268  11.304139981746262222,
2269  11.31305748228920649,
2270  11.321937538248453947,
2271  11.33078046457609922,
2272  11.339586572256690644,
2273  11.348356168371918073,
2274  11.357089556167919042,
2275  11.36578703511664834,
2276  11.374448900980526744,
2277  11.383075445871300602,
2278  11.39166695831309184,
2279  11.400223723296788236,
2280  11.408746022341706094,
2281  11.417234133550113739,
2282  11.425688331660353469,
2283  11.434108888105869895,
2284  11.442496071063368746,
2285  11.45085014550727287,
2286  11.45917137325921864,
2287  11.46746001304017426,
2288  11.475716320516829327,
2289  11.483940548350432209,
2290  11.492132946244762337,
2291  11.500293760990789593,
2292  11.508423236512726362,
2293  11.516521613911566035,
2294  11.52458913150951858,
2295  11.532626024892328687,
2296  11.540632526950561854,
2297  11.548608867921116072,
2298  11.55655527542666583,
2299  11.564471974517864794,
2300  11.572359187706947381,
2301  11.580217135011519503,
2302  11.588046033987483341,
2303  11.595846099768325033,
2304  11.60361754509874288,
2305  11.611360580372707574,
2306  11.619075413665630236,
2307  11.626762250768615914,
2308  11.634421295224266046,
2309  11.642052748355579794,
2310  11.649656809300974913,
2311  11.657233675045707955,
2312  11.664783540450647692,
2313  11.672306598285697277,
2314  11.67980303925796548,
2315  11.687273052039778065,
2316  11.694716823301339659,
2317  11.702134537735622288,
2318  11.709526378087792509,
2319  11.716892525182384333,
2320  11.724233157950031625,
2321  11.731548453452740333,
2322  11.738838586912624606,
2323  11.74610373173514688,
2324  11.753344059533525012,
2325  11.76055974015594785,
2326  11.767750941708468915,
2327  11.7749178305778468,
2328  11.782060571456211662,
2329  11.78917932736304941,
2330  11.796274259669399243,
2331  11.803345528118841301,
2332  11.810393290847994052,
2333  11.817417704411964152,
2334  11.824418923801028214,
2335  11.831397102464613624,
2336  11.838352392329960949,
2337  11.845284943822530721,
2338  11.85219490588682234,
2339  11.859082426003874744,
2340  11.865947650212342879,
2341  11.872790723126504631,
2342  11.879611787952603308,
2343  11.886410986512389698,
2344  11.893188459255847889,
2345  11.899944345281237901,
2346  11.906678782350832435,
2347  11.913391906909305717,
2348  11.920083854102388798,
2349  11.926754757788433636,
2350  11.933404750558930019,
2351  11.940033963752854973,
2352  11.94664252747291755,
2353  11.953230570598858407,
2354  11.95979822080824917,
2355  11.966345604583398909,
2356  11.972872847234746985,
2357  11.979380072908185184,
2358  11.985867404604579889,
2359  11.992334964189772961,
2360  11.998782872412620648,
2361  12.005211248915145461,
2362  12.011620212247880346,
2363  12.018009879882104229,
2364  12.024380368224580451,
2365  12.030731792627817001,
2366  12.037064267405851226,
2367  12.04337790584380663,
2368  12.049672820211730695,
2369  12.05594912177746636,
2370  12.062206920817002853,
2371  12.068446326625002385,
2372  12.074667447532235087,
2373  12.080870390909414169,
2374  12.087055263183344778,
2375  12.093222169846605141,
2376  12.099371215468432084,
2377  12.105502503705665163,
2378  12.111616137313081509,
2379  12.117712218154043313,
2380  12.123790847211116883,
2381  12.129852124595206675,
2382  12.135896149556476331,
2383  12.141923020494703067,
2384  12.147932834966560733,
2385  12.153925689698381163,
2386  12.159901680593627304,
2387  12.165860902742954508,
2388  12.171803450432264526,
2389  12.177729417153157598,
2390  12.183638895611851538,
2391  12.189531977736416835,
2392  12.195408754686605235,
2393  12.201269316862454417,
2394  12.207113753913702681,
2395  12.212942154744636625,
2396  12.218754607526607359,
2397  12.224551199702874626,
2398  12.230332017998598815,
2399  12.236097148426086534,
2400  12.241846676297585716,
2401  12.247580686227967917,
2402  12.25329926214290488,
2403  12.259002487289937022,
2404  12.264690444241271194,
2405  12.27036321490379045,
2406  12.27602088052585394,
2407  12.281663521704766495,
2408  12.287291218391240832,
2409  12.292904049898977448,
2410  12.298502094910508831,
2411  12.304085431483887447,
2412  12.309654137059869328,
2413  12.315208288465633757,
2414  12.32074796192694599,
2415  12.326273233067174928,
2416  12.331784176921180674,
2417  12.337280867932953754,
2418  12.342763379971831483,
2419  12.348231786328973669,
2420  12.353686159729406313,
2421  12.359126572335103589,
2422  12.36455309575179129,
2423  12.369965801035290198,
2424  12.375364758694480827,
2425  12.380750038700686133,
2426  12.386121710490597181,
2427  12.391479842970930747,
2428  12.396824504527426569,
2429  12.402155763026529556,
2430  12.407473685821198472,
2431  12.412778339759659829,
2432  12.418069791183780737,
2433  12.423348105941609987,
2434  12.428613349386717246,
2435  12.43386558638595929,
2436  12.439104881321272345,
2437  12.444331298100673067,
2438  12.449544900156126914,
2439  12.454745750450241459,
2440  12.45993391148516416,
2441  12.465109445300381452,
2442  12.470272413482664575,
2443  12.47542287716634668,
2444  12.480560897041524271,
2445  12.485686533355790928,
2446  12.490799845918079569,
2447  12.495900894106803491,
2448  12.500989736870524283,
2449  12.50606643273041918,
2450  12.511131039789567865,
2451  12.516183615733602608,
2452  12.521224217836033787,
2453  12.526252902958219693,
2454  12.531269727560710336,
2455  12.536274747701293464,
2456  12.541268019040277437,
2457  12.546249596842478979,
2458  12.55121953598744966,
2459  12.556177890963562405,
2460  12.561124715879925517,
2461  12.56606006446608248,
2462  12.570983990074571679,
2463  12.575896545686061856,
2464  12.580797783914913879,
2465  12.585687757009413446,
2466  12.590566516853797907,
2467  12.595434114976942652,
2468  12.600290602551172725,
2469  12.605136030397488867,
2470  12.60997044898745223,
2471  12.614793908448151072,
2472  12.619606458563602303,
2473  12.62440814877846762,
2474  12.629199028202942046,
2475  12.633979145612149964,
2476  12.638748549452740733,
2477  12.643507287842705722,
2478  12.648255408576973835,
2479  12.652992959129829131,
2480  12.657719986655116884,
2481  12.662436537993787766,
2482  12.667142659672373739,
2483  12.67183839790736144,
2484  12.676523798608469562,
2485  12.681198907382585261,
2486  12.685863769531220413,
2487  12.690518430060949484,
2488  12.695162933678602712,
2489  12.699797324799542153,
2490  12.704421647545103724,
2491  12.709035945750736474,
2492  12.713640262964121419,
2493  12.718234642449314009,
2494  12.722819127189644917,
2495  12.727393759888265379,
2496  12.731958582974320038,
2497  12.736513638600756693,
2498  12.741058968649468852,
2499  12.745594614732066674,
2500  12.750120618196341127,
2501  12.75463702012170053,
2502  12.75914386132594025,
2503  12.763641182368505866,
2504  12.768129023548373979,
2505  12.772607424908949625,
2506  12.777076426242249596,
2507  12.781536067086181063,
2508  12.785986386729678799,
2509  12.790427424216378682,
2510  12.794859218341448681,
2511  12.799281807657878929,
2512  12.80369523047976088,
2513  12.808099524879954956,
2514  12.812494728692886525,
2515  12.816880879520020642,
2516  12.821258014729650654,
2517  12.825626171456725899,
2518  12.829985386608969478,
2519  12.834335696864167531,
2520  12.838677138677613954,
2521  12.843009748276069004,
2522  12.847333561669227464,
2523  12.851648614644567203,
2524  12.855954942770035032,
2525  12.86025258139869365,
2526  12.864541565667426681,
2527  12.868821930501345818,
2528  12.873093710613842333,
2529  12.87735694050643076,
2530  12.881611654475847217,
2531  12.885857886611180589,
2532  12.890095670795693295,
2533  12.894325040711107633,
2534  12.898546029837236304,
2535  12.90275867145457056,
2536  12.906962998643509266,
2537  12.911159044289716391,
2538  12.915346841084431873,
2539  12.919526421523887194,
2540  12.923697817910088759,
2541  12.927861062359458089,
2542  12.93201618679557896,
2543  12.936163222956782448,
2544  12.940302202393013431,
2545  12.944433156472694435,
2546  12.948556116376956027,
2547  12.95267111310943875,
2548  12.956778177490662074,
2549  12.96087734016371229,
2550  12.964968631592270754,
2551  12.969052082066681919,
2552  12.973127721698544335,
2553  12.977195580430983313,
2554  12.981255688030060469,
2555  12.985308074093628861,
2556  12.989352768049899467,
2557  12.993389799157773368,
2558  12.997419196511796002,
2559  13.00144098903680856,
2560  13.005455205494589777,
2561  13.009461874487961097,
2562  13.013461024451787651,
2563  13.01745268366328645,
2564  13.021436880240200296,
2565  13.02541364213947972,
2566  13.029382997165184221,
2567  13.03334497296239114,
2568  13.03729959702083363,
2569  13.041246896678583056,
2570  13.045186899121286928,
2571  13.04911963138158626,
2572  13.053045120343410801,
2573  13.056963392740687624,
2574  13.060874475158223973,
2575  13.064778394037061204,
2576  13.068675175669824284,
2577  13.07256484620359771,
2578  13.076447431646739616,
2579  13.080322957858628641,
2580  13.084191450560513914,
2581  13.08805293533270131,
2582  13.091907437615986964,
2583  13.095754982711513392,
2584  13.09959559578430266,
2585  13.103429301860911593,
2586  13.107256125835576199,
2587  13.111076092464362119,
2588  13.114889226372408615,
2589  13.118695552051653053,
2590  13.122495093859603443,
2591  13.126287876027134871,
2592  13.130073922651970264,
2593  13.133853257706881834,
2594  13.137625905032018991,
2595  13.141391888343568084,
2596  13.145151231231277933,
2597  13.148903957157155986,
2598  13.152650089461509708,
2599  13.156389651362033533,
2600  13.160122665949137044,
2601  13.163849156196825163,
2602  13.167569144954404337,
2603  13.171282654952305435,
2604  13.174989708803149568,
2605  13.178690328999275394,
2606  13.182384537916657763,
2607  13.186072357813859668,
2608  13.189753810832621994,
2609  13.193428919001977562,
2610  13.197097704233886617,
2611  13.200760188329571321,
2612  13.204416392974891892,
2613  13.20806633974491362,
2614  13.211710050105512693,
2615  13.215347545408052454,
2616  13.218978846896556334,
2617  13.22260397570619439,
2618  13.226222952863775362,
2619  13.229835799288590437,
2620  13.233442535791176908,
2621  13.237043183081210529,
2622  13.240637761757254154,
2623  13.244226292317046401,
2624  13.247808795152753447,
2625  13.251385290554667407,
2626  13.254955798708774495,
2627  13.258520339702053903,
2628  13.262078933518273161,
2629  13.265631600040839189,
2630  13.269178359054219385,
2631  13.272719230242602251,
2632  13.276254233192984699,
2633  13.279783387396898675,
2634  13.283306712241415681,
2635  13.286824227026306389,
2636  13.290335950949151211,
2637  13.293841903113740699,
2638  13.297342102530555152,
2639  13.300836568116132241,
2640  13.304325318692056257,
2641  13.307808372989974544,
2642  13.311285749644119036,
2643  13.3147574672044815,
2644  13.318223544124418112,
2645  13.321683998769101365,
2646  13.32513884941529092,
2647  13.32858811424843104,
2648  13.332031811365043339,
2649  13.335469958777091293,
2650  13.33890257440550009,
2651  13.342329676086286838,
2652  13.345751281569015134,
2653  13.349167408516496636,
2654  13.352578074507405859,
2655  13.355983297036111423,
2656  13.359383093511311813,
2657  13.362777481260028623,
2658  13.366166477523949041,
2659  13.369550099465973503,
2660  13.372928364164186732,
2661  13.37630128861458978,
2662  13.379668889734126935,
2663  13.383031184360207888,
2664  13.386388189246655855,
2665  13.389739921073138262,
2666  13.393086396434743079,
2667  13.396427631850842843,
2668  13.399763643766091192,
2669  13.403094448541603256,
2670  13.406420062466038345,
2671  13.409740501751686637,
2672  13.413055782530316051,
2673  13.416365920863402295,
2674  13.419670932734781843,
2675  13.422970834054583023,
2676  13.426265640657085498,
2677  13.429555368307228846,
2678  13.432840032691371945,
2679  13.436119649428079015,
2680  13.439394234059173883,
2681  13.44266380205828959,
2682  13.445928368826187693,
2683  13.449187949693879318,
2684  13.45244255991741511,
2685  13.455692214689392472,
2686  13.458936929129038163,
2687  13.462176718283481947,
2688  13.465411597140072075,
2689  13.468641580606668384,
2690  13.47186668353329253,
2691  13.475086920694291592,
2692  13.478302306802110166,
2693  13.48151285650034481,
2694  13.484718584366349958,
2695  13.487919504913703506,
2696  13.491115632585090722,
2697  13.494306981764220055,
2698  13.497493566767404971,
2699  13.500675401844988599,
2700  13.503852501186502266,
2701  13.507024878915773414,
2702  13.510192549093989811,
2703  13.513355525719184413,
2704  13.5165138227280206,
2705  13.519667453995577233,
2706  13.522816433330204333,
2707  13.525960774487495897,
2708  13.529100491153101871,
2709  13.532235596958095414,
2710  13.535366105472615317,
2711  13.538492030203547856,
2712  13.541613384601010495,
2713  13.544730182054616208,
2714  13.54784243589776338,
2715  13.550950159401967454,
2716  13.554053365781573603,
2717  13.557152068194858074,
2718  13.560246279740981734,
2719  13.563336013459098339,
2720  13.566421282338698262,
2721  13.569502099306779641,
2722  13.572578477234690908,
2723  13.575650428942710235,
2724  13.578717967190852889,
2725  13.581781104683333439,
2726  13.584839854072622956,
2727  13.587894227958557281,
2728  13.590944238877442629,
2729  13.593989899322760806,
2730  13.597031221726449957,
2731  13.600068218471934145,
2732  13.603100901887216878,
2733  13.606129284248572375,
2734  13.609153377777310823,
2735  13.612173194646384644,
2736  13.615188746974233425,
2737  13.618200046832647843,
2738  13.621207106232205319,
2739  13.624209937141896987,
2740  13.627208551476659437,
2741  13.630202961101861803,
2742  13.633193177830367659,
2743  13.636179213427501722,
2744  13.639161079608454585,
2745  13.642138788041277664,
2746  13.645112350340662388,
2747  13.648081778073958503,
2748  13.651047082764348417,
2749  13.654008275881622581,
2750  13.656965368849332876,
2751  13.65991837304498091,
2752  13.662867299796056741,
2753  13.665812160384957608,
2754  13.668752966047126307,
2755  13.67168972797138693,
2756  13.674622457297903821,
2757  13.677551165123905008,
2758  13.680475862497145201,
2759  13.683396560426253075,
2760  13.686313269868923825,
2761  13.68922600173787707,
2762  13.69213476690431186,
2763  13.695039576192915121,
2764  13.697940440384053673,
2765  13.700837370214280497,
2766  13.703730376375016675,
2767  13.706619469516800436,
2768  13.70950466024423342,
2769  13.712385959120915402,
2770  13.715263376664893258,
2771  13.718136923354830259,
2772  13.721006609623605854,
2773  13.723872445865787029,
2774  13.72673444243013563,
2775  13.729592609625129285,
2776  13.732446957718616787,
2777  13.735297496935510608,
2778  13.738144237461392905,
2779  13.740987189439143989,
2780  13.743826362973667443,
2781  13.746661768126049452,
2782  13.749493414917923317,
2783  13.752321313335878372,
2784  13.755145473319212002,
2785  13.757965904770790289,
2786  13.76078261755586496,
2787  13.763595621499426613,
2788  13.766404926387352248,
2789  13.769210541965978933,
2790  13.772012477943038178,
2791  13.774810743989194251,
2792  13.777605349738051288,
2793  13.780396304779271688,
2794  13.783183618675410642,
2795  13.78596730094170475,
2796  13.788747361057883012,
2797  13.791523808472934576,
2798  13.794296652588764474,
2799  13.797065902780534685,
2800  13.799831568380581004,
2801  13.802593658685578859,
2802  13.805352182958312568,
2803  13.80810715042531811,
2804  13.81085857027452235,
2805  13.813606451660854546,
2806  13.816350803700302663,
2807  13.819091635480996061,
2808  13.821828956047957249,
2809  13.824562774414131283,
2810  13.827293099560392875,
2811  13.83001994042906091,
2812  13.832743305931924027,
2813  13.835463204941126136,
2814  13.838179646300201142,
2815  13.840892638819539684,
2816  13.843602191269319235,
2817  13.846308312392787698,
2818  13.84901101089392661,
2819  13.851710295449825239,
2820  13.854406174701319188,
2821  13.857098657254422136,
2822  13.859787751686601709,
2823  13.862473466541130662,
2824  13.86515581032993083,
2825  13.867834791527137384,
2826  13.870510418584625967,
2827  13.873182699914616833,
2828  13.875851643901116361,
2829  13.878517258893786845,
2830  13.881179553217378952,
2831  13.883838535155623717,
2832  13.886494212968770512,
2833  13.889146594887002095,
2834  13.891795689101494204,
2835  13.894441503781525427,
2836  13.897084047059651724,
2837  13.899723327045110821,
2838  13.902359351811346855,
2839  13.904992129401231082,
2840  13.907621667830589729,
2841  13.910247975086692307,
2842  13.912871059123370188,
2843  13.915490927870026283,
2844  13.91810758922001412,
2845  13.920721051044457894,
2846  13.923331321182732978,
2847  13.925938407443748446,
2848  13.928542317608103573,
2849  13.931143059431320808,
2850  13.933740640637571673,
2851  13.936335068925462366,
2852  13.938926351958125238,
2853  13.941514497381966464,
2854  13.944099512804314145,
2855  13.94668140581365634,
2856  13.949260183964351967,
2857  13.951835854788662061,
2858  13.954408425790269632,
2859  13.95697790443957409,
2860  13.959544298190312617,
2861  13.962107614460476768,
2862  13.96466786064560317,
2863  13.967225044112664634,
2864  13.969779172205697648,
2865  13.972330252237139092,
2866  13.97487829149502403,
2867  13.977423297246341249,
2868  13.979965276723488543,
2869  13.982504237137508341,
2870  13.985040185675003954,
2871  13.987573129492263391,
2872  13.990103075725903281,
2873  13.992630031483724196,
2874  13.99515400384691155,
2875  13.997674999873927604,
2876  14.000193026599195179,
2877  14.002708091029330006,
2878  14.005220200146053955,
2879  14.007729360909634053,
2880  14.01023558025232596,
2881  14.01273886508432831,
2882  14.01523922228879826,
2883  14.017736658729967658,
2884  14.020231181239813267,
2885  14.022722796634397469,
2886  14.025211511700168998,
2887  14.027697333202896246,
2888  14.030180267882093048,
2889  14.03266032245799444,
2890  14.035137503624289579,
2891  14.037611818050047319,
2892  14.040083272382236856,
2893  14.04255187324901577,
2894  14.045017627248094882,
2895  14.04748054095911769,
2896  14.04994062093845919,
2897  14.052397873716437005,
2898  14.054852305807788326,
2899  14.057303923696416348,
2900  14.059752733849744999,
2901  14.062198742710839028,
2902  14.0646419567001697,
2903  14.067082382216762326,
2904  14.069520025637352489,
2905  14.071954893316462432,
2906  14.07438699158885953,
2907  14.076816326763628595,
2908  14.07924290513405019,
2909  14.081666732966468203,
2910  14.084087816508418456,
2911  14.086506161985690611,
2912  14.088921775603690634,
2913  14.091334663544339278,
2914  14.093744831971463327,
2915  14.096152287025153882,
2916  14.09855703482939937,
2917  14.100959081480601398,
2918  14.103358433059241861,
2919  14.105755095624877171,
2920  14.10814907521682926,
2921  14.110540377851714666,
2922  14.112929009528890845,
2923  14.115314976224503596,
2924  14.117698283896190858,
2925  14.120078938482535591,
2926  14.122456945901159742,
2927  14.124832312049791838,
2928  14.127205042808224533,
2929  14.129575144031136347,
2930  14.131942621562323836,
2931  14.13430748121819569,
2932  14.136669728799523327,
2933  14.139029370088032067,
2934  14.141386410844752675,
2935  14.143740856811602313,
2936  14.146092713715217926,
2937  14.148441987258625119,
2938  14.1507886831258336,
2939  14.153132806984910275,
2940  14.155474364484195604,
2941  14.157813361255202622,
2942  14.160149802908009065,
2943  14.162483695034042697,
2944  14.164815043210477796,
2945  14.167143852989557473,
2946  14.169470129910484602,
2947  14.171793879496814128,
2948  14.17411510724339152,
2949  14.176433818640294504,
2950  14.178750019150349715,
2951  14.181063714220734084,
2952  14.183374909285145549,
2953  14.185683609751258416,
2954  14.187989821018593517,
2955  14.19029354846252744,
2956  14.192594797443804921,
2957  14.194893573304014467,
2958  14.197189881369276065,
2959  14.199483726948839646,
2960  14.20177511533286463,
2961  14.204064051795191048,
2962  14.206350541593439019,
2963  14.208634589965885908,
2964  14.210916202138053066,
2965  14.213195383316227449,
2966  14.215472138690623538,
2967  14.21774647343459641,
2968  14.220018392702060694,
2969  14.222287901634690144,
2970  14.224555005357652604,
2971  14.226819708976794487,
2972  14.229082017582555864,
2973  14.231341936254585434,
2974  14.233599470045575686,
2975  14.235854624000007007,
2976  14.238107403148534402,
2977  14.240357812495970435,
2978  14.24260585704149662,
2979  14.244851541762988845,
2980  14.247094871621490242,
2981  14.249335851570357647,
2982  14.251574486535515618,
2983  14.253810781437111999,
2984  14.256044741176957302,
2985  14.258276370639412889,
2986  14.260505674693048306,
2987  14.262732658195368174,
2988  14.264957325986895142,
2989  14.267179682890123615,
2990  14.269399733716818801,
2991  14.271617483259406711,
2992  14.273832936298923357,
2993  14.276046097600476159,
2994  14.278256971912142603,
2995  14.280465563973503862,
2996  14.282671878500293516,
2997  14.284875920200541088,
2998  14.287077693764764774,
2999  14.289277203869636068,
3000  14.291474455178866165,
3001  14.293669452337670833,
3002  14.29586219998199681,
3003  14.29805270272855644,
3004  14.300240965185764708,
3005  14.302426991941993961,
3006  14.304610787573965425,
3007  14.306792356644967512,
3008  14.308971703701400813,
3009  14.311148833281771786,
3010  14.313323749904027338,
3011  14.315496458076189867,
3012  14.317666962290227062,
3013  14.319835267025963432,
3014  14.322001376753128454,
3015  14.324165295916989393,
3016  14.326327028962005272,
3017  14.328486580308904763,
3018  14.330643954371728555,
3019  14.33279915554975581,
3020  14.334952188226184333,
3021  14.337103056773381482,
3022  14.339251765549725803,
3023  14.341398318899807762,
3024  14.343542721156270048,
3025  14.345684976638173325,
3026  14.34782508965116854,
3027  14.349963064492426312,
3028  14.35209890543410971,
3029  14.354232616751593454,
3030  14.356364202695091947,
3031  14.358493667506255775,
3032  14.360621015414713142,
3033  14.362746250639503387,
3034  14.364869377382294857,
3035  14.366990399835495751,
3036  14.36910932217366188},
3037  {0,
3038  2.3219280948873626258,
3039  3.3219280948873626258,
3040  4.009984184985102118,
3041  4.5410966501985230437,
3042  4.9759235872791061084,
3043  5.3451175544612743451,
3044  5.6664899140623274931,
3045  5.951365559463460464,
3046  6.2074181133603802962,
3047  6.4400996405551707014,
3048  6.6534295905427747186,
3049  6.8504593992211040288,
3050  7.0335637469580500891,
3051  7.2046269409945082884,
3052  7.3651708911261204449,
3053  7.5164434474353214455,
3054  7.65948003120419596,
3055  7.7951500049725712671,
3056  7.924190846958517831,
3057  8.0472329877362867023,
3058  8.164820486503929331,
3059  8.2774261368204520295,
3060  8.3854626148977526867,
3061  8.4892931373039921539,
3062  8.5892394441002384298,
3063  8.6855861004875691833,
3064  8.7785887576787668962,
3065  8.8684753364507304951,
3066  8.9554515670237062608,
3067  9.0397030433341374334,
3068  9.1213986619859461769,
3069  9.2006909239974170589,
3070  9.2777196513117612398,
3071  9.3526126611213786788,
3072  9.4254869321160441586,
3073  9.4964501859713710274,
3074  9.5656015283077344691,
3075  9.6330329117983168885,
3076  9.6988286850167657605,
3077  9.763067719441490766,
3078  9.8258230457748947373,
3079  9.8871625158589804272,
3080  9.9471498081558671345,
3081  10.005843953918361677,
3082  10.063300157904480514,
3083  10.119570450540107842,
3084  10.174703458716329862,
3085  10.228744679631718739,
3086  10.281736906750806426,
3087  10.333721504103394295,
3088  10.384736055219464745,
3089  10.434816581828172843,
3090  10.483997118677041982,
3091  10.532309860431933402,
3092  10.579785293150695935,
3093  10.626452313782410286,
3094  10.672338339249707317,
3095  10.717469406258699038,
3096  10.761870262792360364,
3097  10.805564452116826146,
3098  10.848574390029094516,
3099  10.890921435992128252,
3100  10.932625958730842086,
3101  10.973707396799733615,
3102  11.014184314579676283,
3103  11.05407445411208478,
3104  11.093394783137521031,
3105  11.132161539667729144,
3106  11.17039027338819146,
3107  11.20809588415779956,
3108  11.24529265784756582,
3109  11.281994299735856657,
3110  11.318213965658326714,
3111  11.35396429109132832,
3112  11.389257418331439453,
3113  11.424105021919139347,
3114  11.458518332441173015,
3115  11.492508158834391807,
3116  11.526084909303103032,
3117  11.559258610951991031,
3118  11.592038928228676653,
3119  11.624435180261382783,
3120  11.65645635717043227,
3121  11.688111135425632625,
3122  11.719407892315885533,
3123  11.750354719592182917,
3124  11.780959436339754731,
3125  11.811229601131572053,
3126  11.841172523510511638,
3127  11.870795274844477163,
3128  11.900104698595182384,
3129  11.929107420038091547,
3130  11.957809855468735094,
3131  11.986218220927369771,
3132  12.014338540471927175,
3133  12.042176654027532123,
3134  12.06973822483764458,
3135  12.097028746541726107,
3136  12.124053549900946081,
3137  12.150817809193112495,
3138  12.177326548296401043,
3139  12.203584646479432863,
3140  12.229596843914722015,
3141  12.255367746931701944,
3142  12.280901833023179393,
3143  12.306203455619561637,
3144  12.331276848643559774,
3145  12.356126130857282064,
3146  12.380755310013151771,
3147  12.405168286818895496,
3148  12.429368858727011471,
3149  12.453360723557475254,
3150  12.477147482962628544,
3151  12.500732645742624882,
3152  12.524119631018825416,
3153  12.547311771272545045,
3154  12.570312315255755209,
3155  12.593124430780569867,
3156  12.615751207393291367,
3157  12.63819565893856911,
3158  12.660460726019156397,
3159  12.682549278356763267,
3160  12.704464117057906236,
3161  12.72620797678986726,
3162  12.747783527871257903,
3163  12.769193378280535356,
3164  12.790440075586433366,
3165  12.811526108804656587,
3166  12.832453910183094337,
3167  12.853225856919832992,
3168  12.873844272816173273,
3169  12.89431142986833656,
3170  12.914629549799643726,
3171  12.93480080553720768,
3172  12.954827322633622799,
3173  12.974711180638211161,
3174  12.994454414418219912,
3175  13.014059015433037558,
3176  13.033526932963361844,
3177  13.052860075297083142,
3178  13.07206031087321918,
3179  13.091129469386942219,
3180  13.110069342856098373,
3181  13.12888168665087818,
3182  13.14756822048918572,
3183  13.166130629397750695,
3184  13.184570564641676427,
3185  13.202889644622032961,
3186  13.221089455744994723,
3187  13.239171553261353864,
3188  13.257137462079056078,
3189  13.274988677549504956,
3190  13.292726666228245946,
3191  13.310352866611388833,
3192  13.327868689848640926,
3193  13.345275520433842686,
3194  13.362574716873641734,
3195  13.379767612335315974,
3196  13.396855515274722848,
3197  13.413839710044697995,
3198  13.430721457484715131,
3199  13.447501995492977755,
3200  13.464182539580649589,
3201  13.480764283409936155,
3202  13.497248399315717293,
3203  13.513636038811856821,
3204  13.529928333082400727,
3205  13.546126393458756354,
3206  13.562231311882127827,
3207  13.578244161353515196,
3208  13.59416599636993972,
3209  13.609997853348680508,
3210  13.625740751038870613,
3211  13.641395690922031747,
3212  13.65696365760090103,
3213  13.672445619177601372,
3214  13.687842527620885491,
3215  13.703155319123602851,
3216  13.718384914450053813,
3217  13.733532219274177777,
3218  13.748598124507793727,
3219  13.763583506621067443,
3220  13.778489227952839258,
3221  13.793316137014183909,
3222  13.808065068782807927,
3223  13.822736844989913507,
3224  13.837332274399686938,
3225  13.851852153081235741,
3226  13.866297264673491441,
3227  13.880668380643250259,
3228  13.894966260536559588,
3229  13.909191652223285018,
3230  13.923345292136307449,
3231  13.937427905503477987,
3232  13.951440206574563518,
3233  13.965382898842245041,
3234  13.979256675257280662,
3235  13.993062218438765854,
3236  14.006800200878895879,
3237  14.020471285142434681,
3238  14.034076124062194069,
3239  14.047615360928320527,
3240  14.06108962967455156,
3241  14.074499555058505251,
3242  14.087845752838797253,
3243  14.10112882994708805,
3244  14.114349384656605935,
3245  14.127508006746113622,
3246  14.140605277660474925,
3247  14.153641770667354294,
3248  14.166618051009944423,
3249  14.179534676056375631,
3250  14.192392195445822978,
3251  14.205191151230881275,
3252  14.217932078016900732,
3253  14.230615503097977737,
3254  14.243241946589959568,
3255  14.255811921560713529,
3256  14.26832593415661421,
3257  14.280784483727142486,
3258  14.293188062946203587,
3259  14.305537157930841019,
3260  14.317832248357067471,
3261  14.330073807573846523,
3262  14.342262302713766786,
3263  14.354398194801470723,
3264  14.366481938860525602,
3265  14.37851398401674885,
3266  14.390494773600016387,
3267  14.402424745244067239,
3268  14.414304330983403801,
3269  14.426133957348937997,
3270  14.437914045461239354,
3271  14.449645011121564409,
3272  14.461327264901584044,
3273  14.472961212230551098,
3274  14.484547253481402151,
3275  14.496085784054198342,
3276  14.507577194458724179,
3277  14.519021870394517748,
3278  14.53042019283030406,
3279  14.541772538080387278,
3280  14.553079277881092679,
3281  14.564340779464544084,
3282  14.575557405630885199,
3283  14.586729514820371278,
3284  14.597857461182197625,
3285  14.608941594643322759,
3286  14.619982260975177724,
3287  14.63097980185975544,
3288  14.641934554953504488,
3289  14.652846853950602934,
3290  14.663717028645002927,
3291  14.674545404990841035,
3292  14.685332305162079436,
3293  14.696078047610706463,
3294  14.7067829471241307,
3295  14.717447314881251685,
3296  14.728071458507404401,
3297  14.738655682128454671,
3298  14.74920028642363512,
3299  14.759705568678020526,
3300  14.770171822832590891,
3301  14.780599339535331893,
3302  14.790988406189555349,
3303  14.801339307002578494,
3304  14.811652323032616252,
3305  14.821927732235725017,
3306  14.832165809510927446,
3307  14.842366826745026387,
3308  14.852531052856953409,
3309  14.862658753840213066,
3310  14.872750192805749947,
3311  14.882805630023494103,
3312  14.892825322962799817,
3313  14.902809526333083312,
3314  14.912758492122891951,
3315  14.922672469638355253,
3316  14.932551705541857956,
3317  14.942396443888757318,
3318  14.952206926164333112,
3319  14.961983391319785497,
3320  14.971726075807604062,
3321  14.981435213616160596,
3322  14.991111036304362258,
3323  15.000753773034849914,
3324  15.010363650606890928,
3325  15.019940893489275524,
3326  15.029485723851959023,
3327  15.038998361597258224,
3328  15.048479024390861269,
3329  15.057927927691952874,
3330  15.067345284783257853,
3331  15.076731306800107646,
3332  15.086086202758982822,
3333  15.095410179586501442,
3334  15.104703442146483638,
3335  15.113966193267872384,
3336  15.123198633771341548,
3337  15.132400962495822228,
3338  15.141573376324718225,
3339  15.150716070211185382,
3340  15.159829237203657826,
3341  15.168913068470484262,
3342  15.177967753323947875,
3343  15.186993479245153083,
3344  15.195990431906743368,
3345  15.204958795196526822,
3346  15.213898751240062523,
3347  15.22281048042335172,
3348  15.231694161415287425,
3349  15.240549971188583456,
3350  15.249378085041929154,
3351  15.258178676620790526,
3352  15.266951917938254013,
3353  15.275697979395104653,
3354  15.284417029800843935,
3355  15.293109236392155026,
3356  15.30177476485382293,
3357  15.310413779336720097,
3358  15.319026442477570171,
3359  15.327612915416869654,
3360  15.336173357817893148,
3361  15.344707927884149612,
3362  15.353216782377456795,
3363  15.361700076635271373,
3364  15.370157964588184285,
3365  15.378590598776474607,
3366  15.386998130367325999,
3367  15.395380709170815692,
3368  15.403738483656383096,
3369  15.412071600968927143,
3370  15.420380206944292567,
3371  15.428664446124571441,
3372  15.436924461774330197,
3373  15.445160395894429683,
3374  15.453372389237655327,
3375  15.461560581323100294,
3376  15.469725110450553984,
3377  15.477866113714734198,
3378  15.48598372701921555,
3379  15.494078085090247754,
3380  15.502149321490390932,
3381  15.510197568631737042,
3382  15.518222957789250316,
3383  15.526225619113853682,
3384  15.534205681644861485,
3385  15.542163273323119199,
3386  15.55009852100315193,
3387  15.558011550465563388,
3388  15.565902486428969453,
3389  15.573771452562155559,
3390  15.581618571495846837,
3391  15.58944396483406436,
3392  15.597247753165763839,
3393  15.605030056076110156,
3394  15.61279099215777677,
3395  15.620530679021365827,
3396  15.628249233306904742,
3397  15.635946770694022945,
3398  15.643623405912785884,
3399  15.651279252753669269,
3400  15.658914424078590244,
3401  15.666529031830227936,
3402  15.674123187042097172,
3403  15.681696999848927732,
3404  15.689250579495666926,
3405  15.696784034347469827,
3406  15.704297471899081984,
3407  15.711790998784220363,
3408  15.719264720784371647,
3409  15.726718742838274423,
3410  15.734153169050728138,
3411  15.741568102701412712,
3412  15.748963646253692161,
3413  15.756339901362776956,
3414  15.763696968885094307,
3415  15.771034948885528593,
3416  15.778353940646855591,
3417  15.785654042676592113,
3418  15.792935352716584774,
3419  15.800197967749502581,
3420  15.807441984007605029,
3421  15.814667496980062467,
3422  15.821874601420745421,
3423  15.829063391355868262,
3424  15.8362339600910218,
3425  15.84338640021911182,
3426  15.85052080362721405,
3427  15.857637261503635173,
3428  15.864735864345528071,
3429  15.871816701965334673,
3430  15.878879863497770586,
3431  15.885925437407175664,
3432  15.892953511493228547,
3433  15.899964172898714665,
3434  15.906957508115239008,
3435  15.913933602990130822,
3436  15.920892542732380193,
3437  15.927834411919890911,
3438  15.934759294504681648,
3439  15.941667273819362549,
3440  15.948558432583851641,
3441  15.955432852910384156,
3442  15.962290616310255587,
3443  15.969131803699074368,
3444  15.975956495403114133,
3445  15.982764771164655215,
3446  15.989556710147573071,
3447  15.996332390943504009,
3448  16.003091891576833206,
3449  16.009835289509922518,
3450  16.016562661649235366,
3451  16.023274084350191515,
3452  16.029969633422599173,
3453  16.036649384135277074,
3454  16.043313411222285936,
3455  16.049961788887149083,
3456  16.056594590808071388,
3457  16.06321189014266082,
3458  16.069813759533747799,
3459  16.076400271112841978,
3460  16.082971496506125675,
3461  16.089527506838599891,
3462  16.096068372738621122,
3463  16.102594164342761474,
3464  16.109104951300661668,
3465  16.115600802779091794,
3466  16.122081787466211011,
3467  16.128547973576740304,
3468  16.134999428855678616,
3469  16.141436220582889405,
3470  16.147858415577157842,
3471  16.15426608020066368,
3472  16.160659280362882129,
3473  16.167038081524790272,
3474  16.173402548703187165,
3475  16.179752746474186154,
3476  16.186088738977709056,
3477  16.192410589920971375,
3478  16.198718362582724239,
3479  16.205012119817048699,
3480  16.211291924056759228,
3481  16.217557837317844616,
3482  16.223809921202544615,
3483  16.230048236903265035,
3484  16.236272845206283222,
3485  16.242483806495499721,
3486  16.248681180755276898,
3487  16.254865027575021941,
3488  16.261035406151624017,
3489  16.267192375293703321,
3490  16.273335993424268509,
3491  16.279466318584869811,
3492  16.285583408438316866,
3493  16.291687320272192352,
3494  16.29777811100215601,
3495  16.303855837174928922,
3496  16.309920554971963469,
3497  16.315972320211983515,
3498  16.322011188354480282,
3499  16.32803721450256873,
3500  16.334050453406625536,
3501  16.340050959466346114,
3502  16.346038786734354176,
3503  16.35201398891931035,
3504  16.357976619388217898,
3505  16.363926731169687656,
3506  16.369864376957092844,
3507  16.375789609110704248,
3508  16.381702479660933847,
3509  16.38760304031129067,
3510  16.393491342440427161,
3511  16.39936743710541478,
3512  16.405231375044614595,
3513  16.411083206679727198,
3514  16.416922982118538954,
3515  16.42275075115799865,
3516  16.428566563286491231,
3517  16.434370467686111539,
3518  16.440162513235755171,
3519  16.445942748512983655,
3520  16.451711221797250317,
3521  16.457467981071285834,
3522  16.463213074024810822,
3523  16.468946548055996004,
3524  16.474668450273952658,
3525  16.480378827501461103,
3526  16.486077726276892719,
3527  16.491765192856849609,
3528  16.497441273218242941,
3529  16.503106013060264701,
3530  16.508759457807375526,
3531  16.514401652610878557,
3532  16.520032642351136332,
3533  16.525652471640096763,
3534  16.531261184823158317,
3535  16.536858825981433085,
3536  16.542445438933519597,
3537  16.548021067238092741,
3538  16.553585754195804469,
3539  16.559139542851017524,
3540  16.56468247599375232,
3541  16.570214596162603726,
3542  16.575735945645583058,
3543  16.58124656648287143,
3544  16.586746500468152021,
3545  16.592235789151260406,
3546  16.597714473839104699,
3547  16.603182595598692473,
3548  16.608640195258043804,
3549  16.614087313408600011,
3550  16.619523990406634084,
3551  16.624950266375659425,
3552  16.630366181207346443,
3553  16.635771774564467762,
3554  16.641167085881356513,
3555  16.646552154366641929,
3556  16.651927019004610031,
3557  16.657291718556798799,
3558  16.662646291564161771,
3559  16.667990776347878068,
3560  16.67332521101173981,
3561  16.678649633444148748,
3562  16.683964081318414685,
3563  16.689268592095569232,
3564  16.694563203025555964,
3565  16.699847951148498737,
3566  16.7051228732971353,
3567  16.710388006097431912,
3568  16.715643385970452073,
3569  16.72088904913420393,
3570  16.726125031604901494,
3571  16.731351369198250723,
3572  16.736568097531343113,
3573  16.741775252023799681,
3574  16.746972867899227566,
3575  16.752160980187191797,
3576  16.757339623723915167,
3577  16.762508833153923149,
3578  16.767668642932196832,
3579  16.772819087324098319,
3580  16.777960200408021052,
3581  16.78309201607625667,
3582  16.788214568036401886,
3583  16.793327889812555753,
3584  16.798432014746957464,
3585  16.803526976000899396,
3586  16.808612806556670449,
3587  16.813689539217989477,
3588  16.818757206612087174,
3589  16.823815841190555176,
3590  16.828865475230337267,
3591  16.833906140835850351,
3592  16.838937869939254455,
3593  16.843960694302634096,
3594  16.848974645518083548,
3595  16.853979755009937946,
3596  16.858976054035494485,
3597  16.863963573685946784,
3598  16.868942344888196772,
3599  16.873912398405796154,
3600  16.878873764839386951,
3601  16.883826474629124448,
3602  16.88877055805463101,
3603  16.893706045236768887,
3604  16.89863296613876642,
3605  16.903551350566903722,
3606  16.908461228171997703,
3607  16.913362628450251179,
3608  16.918255580744297362,
3609  16.923140114244670684,
3610  16.928016257990233129,
3611  16.932884040869893738,
3612  16.937743491622981651,
3613  16.9425946388407489,
3614  16.947437510967478858,
3615  16.952272136300749139,
3616  16.957098542993239931,
3617  16.96191675905342322,
3618  16.966726812346532682,
3619  16.97152873059555489,
3620  16.976322541381929199,
3621  16.981108272147434235,
3622  16.98588595019374381,
3623  16.990655602684576309,
3624  16.995417256645946935,
3625  17.000170938967471557,
3626  17.004916676402888953,
3627  17.009654495571563615,
3628  17.014384422958759302,
3629  17.019106484916822097,
3630  17.023820707666160956,
3631  17.028527117295869431,
3632  17.033225739764919382,
3633  17.037916600903137976,
3634  17.042599726410895045,
3635  17.047275141861980785,
3636  17.051942872702550602,
3637  17.056602944252908571,
3638  17.061255381708321011,
3639  17.065900210139698601,
3640  17.070537454494196794,
3641  17.075167139596587162,
3642  17.079789290149054892,
3643  17.084403930733540022,
3644  17.089011085810952295,
3645  17.093610779722894222,
3646  17.09820303669236452,
3647  17.102787880824081412,
3648  17.107365336105484488,
3649  17.111935426407960392,
3650  17.116498175486722033,
3651  17.121053606982243878,
3652  17.125601744420752226,
3653  17.130142611214846937,
3654  17.13467623066448553,
3655  17.139202625957615567,
3656  17.143721820170679138,
3657  17.148233836269717756,
3658  17.152738697110592625,
3659  17.157236425440402172,
3660  17.16172704389739323,
3661  17.166210575011906059,
3662  17.170687041207379764,
3663  17.175156464800888756,
3664  17.179618868003288412,
3665  17.1840742729209488,
3666  17.188522701555097427,
3667  17.192964175803492566,
3668  17.197398717461133799,
3669  17.201826348219785956,
3670  17.206247089669904682,
3671  17.210660963300732362,
3672  17.215067990500390493,
3673  17.219468192557663144,
3674  17.223861590661691423,
3675  17.228248205903000212,
3676  17.232628059273807253,
3677  17.237001171669344757,
3678  17.241367563887312286,
3679  17.245727256629706403,
3680  17.250080270502291313,
3681  17.254426626016165613,
3682  17.258766343587716108,
3683  17.263099443539541511,
3684  17.267425946100338763,
3685  17.271745871406800177,
3686  17.276059239502956189,
3687  17.280366070340821949,
3688  17.284666383782386845,
3689  17.288960199597774192,
3690  17.293247537468293018,
3691  17.297528416984857103,
3692  17.301802857650077527,
3693  17.306070878877939379,
3694  17.31033249999460466,
3695  17.314587740239179681,
3696  17.318836618763349122,
3697  17.323079154633266086,
3698  17.327315366829022736,
3699  17.331545274245296895,
3700  17.335768895692414304,
3701  17.339986249896234938,
3702  17.344197355498977231,
3703  17.348402231059612433,
3704  17.352600895054518304,
3705  17.356793365877905444,
3706  17.360979661841657418,
3707  17.365159801177412646,
3708  17.369333802034987002,
3709  17.373501682484608466,
3710  17.377663460516604488,
3711  17.381819154041554754,
3712  17.38596878089148845,
3713  17.39011235881985229,
3714  17.394249905502434217,
3715  17.398381438537139587,
3716  17.402506975444918425,
3717  17.406626533670333856,
3718  17.41074013058159764,
3719  17.41484778347087925,
3720  17.418949509555904598,
3721  17.42304532597886535,
3722  17.427135249807612638,
3723  17.431219298036570109,
3724  17.435297487586080223,
3725  17.439369835303278222,
3726  17.443436357962969652,
3727  17.447497072267900364,
3728  17.451551994847879001,
3729  17.455601142262541003,
3730  17.459644530999561596,
3731  17.463682177476531621,
3732  17.467714098040527659,
3733  17.471740308968911393,
3734  17.475760826469311837,
3735  17.479775666680737345,
3736  17.483784845673248753,
3737  17.48778837944919573,
3738  17.491786283941920033,
3739  17.495778575018331225,
3740  17.499765268477847968,
3741  17.503746380053250675,
3742  17.507721925410677954,
3743  17.511691920150553869,
3744  17.515656379807619913,
3745  17.519615319851602919,
3746  17.523568755686863341,
3747  17.527516702653390013,
3748  17.531459176027503588,
3749  17.535396191021135337,
3750  17.539327762782946252,
3751  17.543253906398700082,
3752  17.547174636891110566,
3753  17.551089969220726061,
3754  17.55499991828603612,
3755  17.558904498923816107,
3756  17.56280372590921246,
3757  17.566697613956709034,
3758  17.570586177719679455,
3759  17.574469431791861496,
3760  17.57834739070633745,
3761  17.582220068936514679,
3762  17.586087480896782864,
3763  17.589949640942283082,
3764  17.593806563369430052,
3765  17.597658262416263852,
3766  17.601504752262602693,
3767  17.605346047030799639,
3768  17.609182160785461946,
3769  17.613013107534300161,
3770  17.616838901227882985,
3771  17.620659555760632031,
3772  17.624475084970370631,
3773  17.628285502639439386,
3774  17.632090822494131288,
3775  17.635891058205594106,
3776  17.639686223390050657,
3777  17.643476331608823671,
3778  17.647261396368989494,
3779  17.651041431123289271,
3780  17.654816449270906986,
3781  17.658586464157085771,
3782  17.662351489073873978,
3783  17.666111537260881903,
3784  17.669866621904166237,
3785  17.673616756137700889,
3786  17.677361953043504883,
3787  17.681102225651589066,
3788  17.684837586940343357,
3789  17.688568049836735696,
3790  17.692293627216667318,
3791  17.696014331905388417,
3792  17.699730176677736182,
3793  17.703441174257626756,
3794  17.707147337320158442,
3795  17.710848678489600871,
3796  17.714545210340972403,
3797  17.718236945400757776,
3798  17.721923896145383992,
3799  17.725606075003664586,
3800  17.729283494355279061,
3801  17.732956166531788966,
3802  17.736624103817053566,
3803  17.740287318447204967,
3804  17.7439458226106197,
3805  17.7475996284487465,
3806  17.751248748055697746,
3807  17.754893193479659885,
3808  17.758532976721472352,
3809  17.762168109736034438,
3810  17.76579860443253267,
3811  17.769424472673936322,
3812  17.773045726278112966,
3813  17.77666237701702201,
3814  17.780274436618149991,
3815  17.78388191676421215,
3816  17.78748482909260531,
3817  17.791083185197049232,
3818  17.794676996626467513,
3819  17.798266274886522353,
3820  17.801851031438815198,
3821  17.805431277701234904,
3822  17.809007025048853023,
3823  17.81257828481349037,
3824  17.816145068284257036,
3825  17.819707386707019481,
3826  17.823265251286301236,
3827  17.826818673183591812,
3828  17.830367663518767785,
3829  17.833912233369645151,
3830  17.837452393773155279,
3831  17.840988155723845665,
3832  17.844519530175912081,
3833  17.848046528042708303,
3834  17.851569160195964514,
3835  17.855087437467808797,
3836  17.858601370649363815,
3837  17.862110970492363293,
3838  17.865616247708004494,
3839  17.869117212967694286,
3840  17.872613876903582053,
3841  17.876106250108616535,
3842  17.879594343136158585,
3843  17.883078166501164219,
3844  17.886557730679083278,
3845  17.890033046107532755,
3846  17.893504123185451249,
3847  17.896970972273397393,
3848  17.900433603693965523,
3849  17.903892027732293712,
3850  17.907346254635566396,
3851  17.91079629461380307,
3852  17.91424215783896301,
3853  17.917683854447119529,
3854  17.921121394536235982,
3855  17.924554788168489239,
3856  17.927984045368805965,
3857  17.931409176126305027,
3858  17.934830190393768135,
3859  17.938247098087309439,
3860  17.941659909088286895,
3861  17.945068633241451295,
3862  17.948473280356495252,
3863  17.951873860207587796,
3864  17.955270382534095575,
3865  17.958662857039847438,
3866  17.962051293394043938,
3867  17.965435701231751153,
3868  17.968816090152635923,
3869  17.972192469722518382,
3870  17.975564849473183671,
3871  17.97893323890192363,
3872  17.982297647472794466,
3873  17.985658084615817387,
3874  17.989014559727348086,
3875  17.992367082170634518,
3876  17.995715661275820452,
3877  17.999060306339703885,
3878  18.002401026626170477,
3879  18.005737831366715795,
3880  18.009070729759883989,
3881  18.01239973097204583,
3882  18.015724844137011473,
3883  18.019046078357007445,
3884  18.022363442701447411,
3885  18.025676946208754714,
3886  18.028986597885083398,
3887  18.032292406705376919,
3888  18.035594381612927606,
3889  18.03889253152023997,
3890  18.042186865308398325,
3891  18.045477391827411395,
3892  18.048764119896610225,
3893  18.05204705830509937,
3894  18.055326215810708845,
3895  18.058601601141383242,
3896  18.061873222994794475,
3897  18.065141090038160598,
3898  18.068405210909475045,
3899  18.071665594216039352,
3900  18.074922248536097413,
3901  18.078175182418121381,
3902  18.081424404381138515,
3903  18.084669922914958562,
3904  18.087911746480227038,
3905  18.091149883508542473,
3906  18.094384342402832999,
3907  18.097615131536880284,
3908  18.10084225925644219,
3909  18.104065733878233146,
3910  18.107285563690883379,
3911  18.110501756954750618,
3912  18.113714321902179449,
3913  18.116923266737305909,
3914  18.120128599636711186,
3915  18.123330328748984641,
3916  18.126528462195601321,
3917  18.129723008069866808,
3918  18.132913974438224614,
3919  18.136101369339865386,
3920  18.139285200786897434,
3921  18.142465476764218835,
3922  18.145642205230174682,
3923  18.148815394116070365,
3924  18.15198505132675777,
3925  18.155151184740685011,
3926  18.158313802209818277,
3927  18.161472911559862098,
3928  18.164628520590550664,
3929  18.16778063707504387,
3930  18.170929268761465636,
3931  18.17407442337134782,
3932  18.177216108600919853,
3933  18.180354332120867156,
3934  18.183489101576274294,
3935  18.186620424586880773,
3936  18.189748308747581973,
3937  18.192872761627686629,
3938  18.19599379077147816,
3939  18.199111403698633893,
3940  18.202225607903937288,
3941  18.205336410857679397,
3942  18.208443820005285829,
3943  18.211547842767703997,
3944  18.214648486541943129,
3945  18.217745758700090164,
3946  18.220839666590617156,
3947  18.223930217538207188,
3948  18.227017418842539342,
3949  18.23010127778079692,
3950  18.23318180160549673,
3951  18.236258997545750304,
3952  18.239332872807583641,
3953  18.242403434572771914,
3954  18.245470690000708203,
3955  18.248534646226922007,
3956  18.251595310364102431,
3957  18.254652689501750018,
3958  18.257706790706624389,
3959  18.260757621022719377,
3960  18.263805187471096048,
3961  18.266849497050291262,
3962  18.269890556736381626,
3963  18.272928373482780984,
3964  18.275962954220982937,
3965  18.278994305859999514,
3966  18.282022435286766182,
3967  18.28504734936614895,
3968  18.28806905494078805,
3969  18.291087558831872428,
3970  18.294102867838830662,
3971  18.297114988739124897,
3972  18.300123928288716257,
3973  18.30312969322262262,
3974  18.306132290253390948,
3975  18.30913172607304773,
3976  18.312128007352608705,
3977  18.315121140740988182,
3978  18.318111132867077373,
3979  18.321097990338280681,
3980  18.324081719741027285,
3981  18.327062327641758799,
3982  18.330039820585078303,
3983  18.333014205095942373,
3984  18.335985487678517103,
3985  18.338953674816348638,
3986  18.341918772972586993,
3987  18.344880788590554488,
3988  18.347839728093219946,
3989  18.35079559788319159,
3990  18.353748404343495082,
3991  18.356698153836823906,
3992  18.359644852706377804,
3993  18.36258850727550751,
3994  18.365529123847672111,
3995  18.368466708707362756,
3996  18.371401268118660255,
3997  18.374332808326904853,
3998  18.377261335557800948,
3999  18.380186856017850516,
4000  18.383109375894512993,
4001  18.386028901355754073,
4002  18.388945438550987177,
4003  18.391858993610199491,
4004  18.394769572645088829,
4005  18.397677181747976505,
4006  18.400581826992706169,
4007  18.403483514434544333,
4008  18.406382250109903254,
4009  18.409278040037300173,
4010  18.412170890216181363,
4011  18.415060806628041234,
4012  18.417947795235875219,
4013  18.420831861984659383,
4014  18.423713012801581357,
4015  18.426591253594740039,
4016  18.429466590255497493,
4017  18.432339028656336666,
4018  18.435208574652552471,
4019  18.438075234081573228,
4020  18.440939012762864735,
4021  18.443799916498530678,
4022  18.446657951073060389,
4023  18.449513122253410558,
4024  18.452365435789261028,
4025  18.455214897412911768,
4026  18.458061512839364582,
4027  18.460905287766870231,
4028  18.463746227875390105,
4029  18.466584338829385104,
4030  18.469419626275136892,
4031  18.472252095842428332,
4032  18.475081753144252161,
4033  18.477908603777017049,
4034  18.480732653319968506,
4035  18.483553907336020217,
4036  18.486372371370983103}};
4037 
4038 
4039 } /* namespace gum */
const double VariableLog2ParamComplexityCTable[4][1000]
INLINE void emplace(Args &&... args)
Definition: set_tpl.h:643