add model

.gitattributes

@@ -33,3 +33,16 @@ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
 *.zip filter=lfs diff=lfs merge=lfs -text
 *.zst filter=lfs diff=lfs merge=lfs -text
 *tfevents* filter=lfs diff=lfs merge=lfs -text
+eval filter=lfs diff=lfs merge=lfs -text
+special_tokens_map.json filter=lfs diff=lfs merge=lfs -text
+tokenizer.json filter=lfs diff=lfs merge=lfs -text
+tokenizer_config.json filter=lfs diff=lfs merge=lfs -text
+1_Pooling filter=lfs diff=lfs merge=lfs -text
+README.md filter=lfs diff=lfs merge=lfs -text
+config.json filter=lfs diff=lfs merge=lfs -text
+config_sentence_transformers.json filter=lfs diff=lfs merge=lfs -text
+vocab.txt filter=lfs diff=lfs merge=lfs -text
+2_Dense filter=lfs diff=lfs merge=lfs -text
+modules.json filter=lfs diff=lfs merge=lfs -text
+pytorch_model.bin filter=lfs diff=lfs merge=lfs -text
+sentence_bert_config.json filter=lfs diff=lfs merge=lfs -text

1_Pooling/config.json

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:f087620004ec13615ec743e3d408b73e91b09d05ae6455992ed4019a1ba8d110
+size 190

2_Dense/config.json

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:a445d513d8055abedf95778c59c6f0267656867719a9c4d83e9e9808217d3468
+size 115

2_Dense/pytorch_model.bin

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:18baa41d94727b6cc60a6a3cf06e6f8ba6a0a7078cce7fe3e6082bcc8c0f5c90
+size 1053879

README.md

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:214ad45f642b5f040a851ad64abc16f5c91cd447ffa505e56a020ad27d4a943a
+size 2528

config.json

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:e7a929580ad86735530581752d52189c63bd78c4a8bb335251aba40042eeb11d
+size 745

config_sentence_transformers.json

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:305b54038dc5bf137ca1703581b09a99d30ec8abb2daa512c3a4e01afe497e4c
+size 122

eval/similarity_evaluation_sts-dev_results.csv

@@ -0,0 +1,2116 @@
+epoch,steps,cosine_pearson,cosine_spearman,euclidean_pearson,euclidean_spearman,manhattan_pearson,manhattan_spearman,dot_pearson,dot_spearman
+0,64,0.7715391707114357,0.7805467208521039
+0,128,0.7676483928150936,0.7781827274236647
+0,192,0.7598933092166564,0.7726740899672795
+0,256,0.7516244056805398,0.7656134998882969
+0,320,0.7469676265516502,0.7595555063837673
+0,384,0.7385335839229247,0.7518186113647382
+0,448,0.7112138111385171,0.7312053782781162
+0,512,0.6846988691263073,0.713372600846971
+0,576,0.6760209332223813,0.7116258683248062
+0,640,0.6826808885090152,0.719675095159944
+0,704,0.690616045260041,0.7260356683047501
+0,768,0.6995761047762754,0.7333510274456841
+0,832,0.7100647507060407,0.7417067325003017
+0,896,0.7159176901213401,0.7459558421942234
+0,960,0.7210773840379863,0.7495439852398342
+0,1024,0.7241849350274336,0.7512247450746171
+0,1088,0.7265305465168457,0.7535392015201073
+0,1152,0.7285879405979918,0.7557511905911086
+0,1216,0.729619213439611,0.756445402813964
+0,1280,0.7314173371310263,0.7580920854450193
+0,1344,0.7341117698706194,0.7594307981126515
+0,1408,0.7351424134221204,0.7604829216145338
+0,1472,0.7374785355263486,0.7619715311827645
+0,1536,0.738345492932538,0.7628683289546792
+0,1600,0.7426297404412178,0.7655229784735138
+0,1664,0.7456211858857655,0.7669118210689795
+0,1728,0.7467331001249148,0.7677336775080376
+0,1792,0.7484424060305966,0.7691864560906868
+0,1856,0.7511527203536784,0.7707389162367891
+0,1920,0.7522088529963858,0.7717401240194183
+0,1984,0.7541404244728213,0.7732862009128468
+0,2048,0.7550125228817509,0.773767953914349
+0,2112,0.755933265467339,0.7749978355460215
+0,2176,0.7574725635953092,0.7756484053900046
+0,2240,0.759579916091051,0.7767590271528978
+0,2304,0.7593506467194796,0.7766447032305853
+0,2368,0.7621608712907479,0.7790606639725987
+0,2432,0.7633051858798318,0.7795627105824116
+0,2496,0.7644860311414573,0.7806027504460616
+0,2560,0.7681498114250243,0.7832813554974425
+0,2624,0.7685103967138518,0.7838499288435579
+0,2688,0.7699532220750941,0.7844204434721516
+0,2752,0.7697037501236467,0.783752553331518
+0,2816,0.7703017446524686,0.7849770630733623
+0,2880,0.7719749902176523,0.7861330211664751
+0,2944,0.7733504123311669,0.7866592048036214
+0,3008,0.7753151748543468,0.7880199012829722
+0,3072,0.7756409781485148,0.7884264229161916
+0,3136,0.7772615459817923,0.7898328831503943
+0,3200,0.7771114559298725,0.7897955948684334
+0,3264,0.777880775909551,0.7906581762376915
+0,3328,0.7786330481249943,0.7908700190974497
+0,3392,0.7790293324360109,0.7912354250435704
+0,3456,0.7808475392896916,0.792699061284958
+0,3520,0.781102761049962,0.7927933994283537
+0,3584,0.7836668072917744,0.7946754843570938
+0,3648,0.7843136657919081,0.794961169607629
+0,3712,0.7839767995993738,0.7946641925343545
+0,3776,0.7863563649337539,0.7962190688703016
+0,3840,0.7847661608914203,0.7954387375528622
+0,3904,0.7852742717081629,0.7953229278643997
+0,3968,0.7877301281346798,0.7966798718613394
+0,4032,0.7865983642458667,0.7963533734153789
+0,4096,0.7875016792429468,0.7968268666247037
+0,4160,0.7894134919022875,0.7980798479164458
+0,4224,0.789320173758812,0.7980382695959372
+0,4288,0.79121357157792,0.7990564747455385
+0,4352,0.7912440186697421,0.7995686514349882
+0,4416,0.7919744138188257,0.8000570112026155
+0,4480,0.7932742979718831,0.8017955889148821
+0,4544,0.7933183109369929,0.8007100703721597
+0,4608,0.7948642230502841,0.8023145963904923
+0,4672,0.7958273409194234,0.8031548674330058
+0,4736,0.7961213022183946,0.8031649421730546
+0,4800,0.7965330211672924,0.8033496245092562
+0,4864,0.7973496580787807,0.8036113257577072
+0,4928,0.7984650425531494,0.804436213513006
+0,4992,0.7968344963452693,0.8044981975415468
+0,5056,0.7999414926918632,0.8072613060378491
+0,5120,0.7995803099062917,0.8062801187000954
+0,5184,0.8013520062722875,0.8079310273127146
+0,5248,0.8009855271663395,0.8072912119245519
+0,5312,0.8024929336448886,0.8088432964548472
+0,5376,0.8060080007875194,0.811718590424773
+0,5440,0.8034217111450359,0.809312493398279
+0,5504,0.8036812572670325,0.8098792848849861
+0,5568,0.8037415576440955,0.8098243061993579
+0,5632,0.8055243927885908,0.8120660141520784
+0,5696,0.8071939831340671,0.8129518099699847
+0,5760,0.8062446174837837,0.8122379982565315
+0,5824,0.8063658352582103,0.8127975235536978
+0,5888,0.8062914484721393,0.8129830325785168
+0,5952,0.8076071034894508,0.8145124836462744
+0,6016,0.8064204129293024,0.8130590557626537
+0,6080,0.809133640097487,0.8156584418981551
+0,6144,0.8088002722719448,0.8151863276933403
+0,6208,0.8090339400829528,0.8158121928939398
+0,6272,0.8114673503109963,0.8173975818883896
+0,6336,0.8109083647711837,0.8165534104873127
+0,6400,0.8103271601015476,0.8165820635319975
+0,6464,0.8099809447811949,0.8160014848395188
+0,6528,0.810832132409563,0.8162287287685843
+0,6592,0.8128074973441581,0.8188747519469463
+0,6656,0.8113660600887829,0.8176766603727996
+0,6720,0.8114313766656952,0.8178651516060822
+0,6784,0.8125209112818067,0.81866042083818
+0,6848,0.8119702404685702,0.8173839288540565
+0,6912,0.8127826527209979,0.8185871556630638
+0,6976,0.8133332959951458,0.8188765402044081
+0,7040,0.8146810453513175,0.8203986640306428
+0,7104,0.8130702018011419,0.818359183975489
+0,7168,0.8147342306013918,0.8195156100404549
+0,7232,0.8158620666915132,0.8210388957891995
+0,7296,0.8154259335573265,0.8211765151012541
+0,7360,0.8151798440782906,0.8204990413241137
+0,7424,0.8133340239841554,0.8190702093772072
+0,7488,0.8155683591953231,0.8211032623816622
+0,7552,0.8162763075495719,0.8209977569707737
+0,7616,0.8170857556301795,0.8224439554777075
+0,7680,0.8167710272540061,0.8223731885249559
+0,7744,0.8170599845413313,0.8224072935306985
+0,7808,0.8160937807973221,0.8220774516660605
+0,7872,0.8178281283159953,0.82340983514783
+0,7936,0.8166049385143619,0.8224785996297296
+0,8000,0.8168894427074805,0.8228156354495103
+0,8064,0.8164372007504606,0.8224359394579407
+0,8128,0.818877754234906,0.8240433391437367
+0,8192,0.8175031659497152,0.823255208706601
+0,8256,0.8199960212544072,0.825867317270811
+0,8320,0.8204847049760092,0.8258539222437732
+0,8384,0.8197303314879116,0.8246201189012091
+0,8448,0.8216047083945506,0.8261543245863154
+0,8512,0.8198421663968548,0.8249469340733672
+0,8576,0.8194282079951485,0.8234414615041754
+0,8640,0.8223707984935176,0.8271994516420884
+0,8704,0.8213021616706935,0.8262037516666889
+0,8768,0.8195018579096514,0.824365529757543
+0,8832,0.8213774934119792,0.8255726124410975
+0,8896,0.8201704928532778,0.824604725652152
+0,8960,0.8190943580754341,0.823909104175655
+0,-1,0.8193773918212668,0.823965333751826
+1,64,0.8180954827472174,0.8228939913754706
+1,128,0.8212199819145893,0.8262969883858369
+1,192,0.81968749021516,0.8242158944229613
+1,256,0.8205920268231932,0.8248302560569033
+1,320,0.8217821490804031,0.8263591432330011
+1,384,0.8212789468215412,0.8259552906411307
+1,448,0.822136379750022,0.8269899087928542
+1,512,0.8240681243102526,0.8283178296380922
+1,576,0.8243038594016021,0.8283708937316518
+1,640,0.8231317397874898,0.8282086658616896
+1,704,0.823439694549867,0.8276656316791068
+1,768,0.8252082484155705,0.8291158782315388
+1,832,0.8261606752104402,0.8305196888088644
+1,896,0.825260844410635,0.8297853911490927
+1,960,0.8236481761330428,0.8284183386042517
+1,1024,0.823861540649883,0.8283066694880418
+1,1088,0.8244337640033346,0.8293609147250391
+1,1152,0.8250220045587067,0.8298438687954149
+1,1216,0.8258975541348009,0.8302529982333593
+1,1280,0.8244567137174345,0.8287215701302412
+1,1344,0.8249022275051336,0.8289766041140719
+1,1408,0.8259662796362879,0.8304634734675783
+1,1472,0.8251137935930276,0.8296130565105899
+1,1536,0.8269510409872913,0.8316807412115425
+1,1600,0.8266865304011654,0.8312030931950799
+1,1664,0.8286869085392783,0.8332883597586996
+1,1728,0.8267620518576826,0.8320249549722197
+1,1792,0.8255192806473499,0.8299330254406521
+1,1856,0.8273279031335913,0.8313109171129065
+1,1920,0.8261732002673261,0.8304875339824034
+1,1984,0.8274690500471384,0.8311240397597411
+1,2048,0.8266990980135194,0.83102403969073
+1,2112,0.8251018260286399,0.8295243891896131
+1,2176,0.8258980221721375,0.8309129577635376
+1,2240,0.8262697169135538,0.830971087696892
+1,2304,0.8259197231777502,0.830176231276467
+1,2368,0.8276889712804356,0.8323650289005249
+1,2432,0.8282758997546696,0.8332076977813258
+1,2496,0.8280712420479677,0.8329053221278132
+1,2560,0.8274265920599663,0.8323193982359163
+1,2624,0.8292359270955508,0.8334743011681585
+1,2688,0.8295411405421309,0.8337109685912717
+1,2752,0.8299230037672979,0.8347191970450681
+1,2816,0.82989343620591,0.8346941240740283
+1,2880,0.8304325453997684,0.8350951990839106
+1,2944,0.8292658709480097,0.8339352249737915
+1,3008,0.8281528628362438,0.8321209639352737
+1,3072,0.8287039217277076,0.8329540783892184
+1,3136,0.8292747443969151,0.8333805306408131
+1,3200,0.8306132707836018,0.8348824960901469
+1,3264,0.8296289078171167,0.8340151841037051
+1,3328,0.8310238313281711,0.8350935407197767
+1,3392,0.8310731276615452,0.8356259841477198
+1,3456,0.8322559193265063,0.8363459793065179
+1,3520,0.8323193327154671,0.836069818973588
+1,3584,0.8322114174927302,0.8363315415741343
+1,3648,0.8321100198792623,0.8362425913348129
+1,3712,0.8316689845699977,0.8360251890495499
+1,3776,0.8332400628702884,0.8369041629657479
+1,3840,0.8326082709962455,0.8365694990337251
+1,3904,0.8310413801182582,0.8351637952166587
+1,3968,0.8326441846945689,0.836907178982064
+1,4032,0.8323083576861708,0.836379274703161
+1,4096,0.8306791768560503,0.8344453979237321
+1,4160,0.8319323686411781,0.8360713634586395
+1,4224,0.8345074914703877,0.8385939371192884
+1,4288,0.8337837496170355,0.8378267808952337
+1,4352,0.8330970930883893,0.8366542037185152
+1,4416,0.832363007466833,0.8357454735540241
+1,4480,0.8326985923456152,0.8362671127040485
+1,4544,0.8346801150077472,0.8384436248822394
+1,4608,0.8344262650113143,0.8374226437506033
+1,4672,0.8335413170678881,0.8376424268204273
+1,4736,0.8352630338267552,0.838454601758142
+1,4800,0.8333725134330459,0.8366850631704165
+1,4864,0.8350715890400173,0.8385001676258865
+1,4928,0.8340027704864416,0.8373125742796252
+1,4992,0.8332578786808925,0.8367396539554212
+1,5056,0.8338303061013648,0.8368314020935482
+1,5120,0.8339208536152768,0.8374769818663943
+1,5184,0.8322607351831816,0.8355973827044941
+1,5248,0.8341076133351225,0.8373261792712207
+1,5312,0.8346284867956028,0.8379438825444793
+1,5376,0.8346376078947606,0.8381921122531518
+1,5440,0.8341572995165433,0.8375572559431447
+1,5504,0.8351816546416065,0.83813558374439
+1,5568,0.8350773118575814,0.8380107473593067
+1,5632,0.8366526821008695,0.8398011880966884
+1,5696,0.8365586327256924,0.8393653853048331
+1,5760,0.8339122073167803,0.8368821327014342
+1,5824,0.8370442667429564,0.8401780015239911
+1,5888,0.8353582222996999,0.8381689129488854
+1,5952,0.8364302499502333,0.8397341718929553
+1,6016,0.8358230392000878,0.8389882925179069
+1,6080,0.8347791342029047,0.8383794451226457
+1,6144,0.8376920272869698,0.8411099780037791
+1,6208,0.8371526124463342,0.8402601439294329
+1,6272,0.8347911022053308,0.8379900622916509
+1,6336,0.8380485482249549,0.8408751657061792
+1,6400,0.8364054707988702,0.8390630719289436
+1,6464,0.836431936124642,0.8393150418537203
+1,6528,0.8361435542985279,0.8397294211432467
+1,6592,0.8348705543923945,0.8377101154792397
+1,6656,0.8366717792466862,0.839210685909817
+1,6720,0.8370572875610854,0.8399904462344147
+1,6784,0.8366558464758773,0.8394707697191969
+1,6848,0.8355878774779953,0.8390890648294437
+1,6912,0.8367566879043178,0.8398147379281032
+1,6976,0.8386255035560786,0.8416523352816581
+1,7040,0.8384882797378668,0.8410586996406672
+1,7104,0.8383607805214739,0.8406478683962938
+1,7168,0.8382183564116349,0.8411562388538874
+1,7232,0.8377513680195562,0.8409610633101317
+1,7296,0.8367004741751322,0.8395885865264822
+1,7360,0.8374176116301398,0.8406116245990397
+1,7424,0.8384302172505974,0.8412286463771661
+1,7488,0.8358479672955009,0.8396103623422217
+1,7552,0.8365979648595435,0.839473698546841
+1,7616,0.8367291233559562,0.839460059747393
+1,7680,0.838300567704693,0.8411727175129463
+1,7744,0.8365929414340395,0.8390165718968534
+1,7808,0.8381665814046323,0.8408225802606367
+1,7872,0.836300647893997,0.8391272230749773
+1,7936,0.837271487289868,0.8394646327042856
+1,8000,0.8371025475313814,0.8398054194163344
+1,8064,0.836919792086999,0.8396338641378
+1,8128,0.8373003063732998,0.8400447416455502
+1,8192,0.8374864452057992,0.8403197525114947
+1,8256,0.8383487603160974,0.8409227636037956
+1,8320,0.838093328211569,0.8410632316722644
+1,8384,0.8390261729310436,0.8415215682874997
+1,8448,0.8386755172948038,0.8415839686864349
+1,8512,0.8392259037401947,0.8418284030188227
+1,8576,0.8426994154446152,0.8452098662064991
+1,8640,0.8414881236957533,0.8436540608623585
+1,8704,0.8407897616869885,0.842781896559401
+1,8768,0.8411859759381707,0.8437770608075862
+1,8832,0.8415766028406539,0.8445208639516518
+1,8896,0.8400322986553141,0.842210784065626
+1,8960,0.8398679452133897,0.8420600241751082
+1,-1,0.8396735952789464,0.8418546841757496
+2,64,0.8408452376380764,0.8435703561782585
+2,128,0.840494829083301,0.8437811552561174
+2,192,0.8410388757215198,0.8438273456794531
+2,256,0.8403374477580418,0.8435774896351387
+2,320,0.8411374957353059,0.8435027529287578
+2,384,0.8391834871234041,0.8418186681366596
+2,448,0.8390749502239409,0.8418300382512679
+2,512,0.8411473885803965,0.844563330173129
+2,576,0.8398490162106725,0.842934369974233
+2,640,0.8384114044295617,0.840534318495868
+2,704,0.8400751164508775,0.8424656792593255
+2,768,0.8410312516329501,0.8437177762088202
+2,832,0.8382775324295185,0.8407106246673608
+2,896,0.8386334594686774,0.8412488083127885
+2,960,0.8396859283828801,0.8422832698807738
+2,1024,0.8407550396913217,0.8434975910034872
+2,1088,0.8386410179111368,0.8414848387247859
+2,1152,0.8383762165776815,0.8409244422883853
+2,1216,0.8412242494312269,0.8441033778984156
+2,1280,0.838908871690319,0.8417948816433761
+2,1344,0.8405394461939166,0.8428356492655356
+2,1408,0.8426759807893691,0.8449716311666455
+2,1472,0.8419101869251284,0.8439357443307727
+2,1536,0.8417890944711699,0.8441813103365393
+2,1600,0.8422276513834182,0.8447012911224298
+2,1664,0.8425279782588894,0.8448159121979724
+2,1728,0.8411038928288269,0.8435498419292259
+2,1792,0.8417562400945829,0.8436132458875726
+2,1856,0.8411969798543825,0.8428434035787996
+2,1920,0.8399947481887686,0.8422989745179463
+2,1984,0.8438479386970731,0.8464569434423019
+2,2048,0.8408756698780985,0.8430159714540347
+2,2112,0.842555289515841,0.8442852143228353
+2,2176,0.8410944552263635,0.8427613022391387
+2,2240,0.8425869439795498,0.8447194708502783
+2,2304,0.8420468535943798,0.8442045584339477
+2,2368,0.8410787159285287,0.8427259783713451
+2,2432,0.8429471309280534,0.8449671365016221
+2,2496,0.8434384790802452,0.8453915478265414
+2,2560,0.8431098786560645,0.8453169257506358
+2,2624,0.8407044311152068,0.8425285280571466
+2,2688,0.8395937141986146,0.8412343990501753
+2,2752,0.8419181539458364,0.843597098189596
+2,2816,0.8431630656201499,0.8445188532741075
+2,2880,0.8417688435755232,0.8434041959212408
+2,2944,0.8412278492492217,0.8431478647834898
+2,3008,0.8410537540666472,0.8431850231721226
+2,3072,0.8406111276008432,0.8424181578742174
+2,3136,0.8409564691017803,0.8426969248298959
+2,3200,0.8406810451230079,0.8419961931702037
+2,3264,0.8419898823773416,0.8434591799449509
+2,3328,0.841453618204605,0.8437034363412729
+2,3392,0.8425928534684441,0.8445888817921858
+2,3456,0.8437742224002434,0.8459435891327778
+2,3520,0.8418676796004131,0.8438429008503302
+2,3584,0.8422606501151046,0.8447368961292077
+2,3648,0.8418003863221909,0.8441701217167182
+2,3712,0.8410625799345228,0.8425407825140021
+2,3776,0.8423902558640931,0.8443070079321813
+2,3840,0.8423514457385796,0.8444910347495717
+2,3904,0.8433847940042913,0.845327282657636
+2,3968,0.8425451952254899,0.8442259438192986
+2,4032,0.8414996742019141,0.8435277315936827
+2,4096,0.8419361315462159,0.8435059895857958
+2,4160,0.841343069260061,0.8427667166930687
+2,4224,0.8424213568452483,0.8441430220538884
+2,4288,0.8416630047038813,0.8434148364979791
+2,4352,0.8420904497273877,0.8442875433667352
+2,4416,0.8439923241833137,0.8459225357374657
+2,4480,0.8446051026037714,0.8464929649567479
+2,4544,0.8435907239067306,0.8458187990110717
+2,4608,0.8426214077748897,0.844429518692884
+2,4672,0.8442444720501652,0.8459794699404577
+2,4736,0.8447677463187281,0.8468585986610329
+2,4800,0.8435162969806522,0.8454362329107598
+2,4864,0.8442131857737196,0.846146872191215
+2,4928,0.844888339993226,0.8465516447125458
+2,4992,0.8437903651466933,0.8453688022592429
+2,5056,0.8441235171936381,0.8455856796331116
+2,5120,0.8439185784313734,0.8456246405140916
+2,5184,0.845341629193706,0.8476319675221451
+2,5248,0.8427526634543,0.8446314850244337
+2,5312,0.844115466192483,0.8464841286517173
+2,5376,0.8446423678015405,0.846421338572798
+2,5440,0.8453409227533504,0.8473078907860406
+2,5504,0.84420704565289,0.8460736888666892
+2,5568,0.843423002041466,0.8451687451816796
+2,5632,0.8433535852503242,0.8449360724232449
+2,5696,0.8428496071539966,0.8447499246079496
+2,5760,0.8437373447907477,0.8456615460955297
+2,5824,0.8431514974453383,0.8452832078941235
+2,5888,0.845520078194113,0.8472544672616281
+2,5952,0.8437161338451304,0.8452528911472229
+2,6016,0.8421827991126041,0.8443305115071201
+2,6080,0.8432642302661947,0.8453089196556398
+2,6144,0.8438752052957078,0.8459882002358384
+2,6208,0.8413698118531888,0.84340041122112
+2,6272,0.8442286637370725,0.846503772793388
+2,6336,0.841345372314386,0.843265432480283
+2,6400,0.8429837986502581,0.8449651276034386
+2,6464,0.8420606160940413,0.8434870020282083
+2,6528,0.8435350769069322,0.8454468930604652
+2,6592,0.8440736419971568,0.8461296746704501
+2,6656,0.844384920583278,0.8464420592276671
+2,6720,0.8437694877739673,0.8457923541529643
+2,6784,0.8434152796218135,0.8453329552594157
+2,6848,0.8439755789974352,0.8458527865790109
+2,6912,0.8434887359119164,0.8450786508134548
+2,6976,0.8445933998692468,0.8469313104549843
+2,7040,0.8441053308062724,0.8464891749185451
+2,7104,0.846009295195649,0.8473352964989039
+2,7168,0.8449319673468613,0.8464927247430589
+2,7232,0.8416806032120858,0.8435316194967215
+2,7296,0.843326033951809,0.844982161423023
+2,7360,0.8449239767335974,0.8463474630769758
+2,7424,0.8442605810426119,0.8460624966881468
+2,7488,0.8427167662610835,0.8446699156559375
+2,7552,0.8433760740292668,0.8453434588253831
+2,7616,0.8446142659711865,0.8462737726346624
+2,7680,0.8447846083042019,0.8461854362747682
+2,7744,0.8428498347892697,0.8441569313161563
+2,7808,0.8437860213969973,0.8452565246016878
+2,7872,0.8446537995603108,0.8463082210570121
+2,7936,0.8448494792661083,0.8459813756357231
+2,8000,0.8458044713062882,0.8474948232993865
+2,8064,0.8432660508241625,0.8447699210630305
+2,8128,0.8440328381367325,0.8453288378188517
+2,8192,0.8435663150418434,0.845120314543275
+2,8256,0.8444999198220121,0.8461464291304113
+2,8320,0.8450304910647833,0.8466287212781928
+2,8384,0.8424432396950317,0.843736272662866
+2,8448,0.8438045061366126,0.8456507811015264
+2,8512,0.8459007868209165,0.8475613464769676
+2,8576,0.8432217319091131,0.845108812755978
+2,8640,0.8434930052094269,0.8448907574453535
+2,8704,0.8430874101267977,0.8445003212328487
+2,8768,0.8430111296346808,0.8447637093149716
+2,8832,0.8444282416136069,0.8457357722633825
+2,8896,0.842765720974083,0.8444658166215945
+2,8960,0.843756935992733,0.8450323002476599
+2,-1,0.8434440985392919,0.844850668449716
+3,64,0.8444263970123373,0.8468791289243113
+3,128,0.8436621466288244,0.8451363537002512
+3,192,0.8440153153464549,0.8454911991408633
+3,256,0.8452735799581753,0.8472997608871918
+3,320,0.843228447856416,0.8446359512196869
+3,384,0.8438114022244566,0.845544830850473
+3,448,0.8443901230318801,0.845735327423218
+3,512,0.8450717590762582,0.8462109647621365
+3,576,0.8426993250022169,0.8436851302788178
+3,640,0.8442583518204811,0.8452908982908898
+3,704,0.8433559173967115,0.8441281643923895
+3,768,0.8439022899967533,0.8450601347864417
+3,832,0.8445622478389573,0.8458774983398369
+3,896,0.8452785177505197,0.8466688494197646
+3,960,0.8451810757459935,0.8463048384924002
+3,1024,0.8450664099678404,0.8469398353718995
+3,1088,0.844759271371181,0.846208304617952
+3,1152,0.8462292004422927,0.8477246935647841
+3,1216,0.84626546461109,0.8482235177524444
+3,1280,0.8462695643121435,0.8478455690930413
+3,1344,0.8462147070147135,0.8471448319546508
+3,1408,0.84493210457153,0.8457949794617536
+3,1472,0.8455492782170534,0.8470222073148661
+3,1536,0.8441831261063563,0.8454827489570959
+3,1600,0.8430863556143487,0.8443311769880065
+3,1664,0.8436995949214948,0.8449863998601118
+3,1728,0.8433287445335925,0.8449980546724253
+3,1792,0.8423586875867177,0.8441420362880835
+3,1856,0.8443993034244915,0.8453914606378691
+3,1920,0.8443697635061275,0.8458059876143301
+3,1984,0.8454070230843491,0.8465610913382822
+3,2048,0.8438203463225337,0.8453455940581733
+3,2112,0.8436719922409791,0.8450233981062851
+3,2176,0.8458013426707431,0.8470374083929721
+3,2240,0.8475806868021734,0.8486778258951487
+3,2304,0.8444569465317345,0.8457555427396597
+3,2368,0.8480007635964214,0.8487006711066439
+3,2432,0.8443240503062365,0.8449660315186531
+3,2496,0.8444782402674177,0.8459609201055923
+3,2560,0.8447349886330815,0.8457678630328598
+3,2624,0.8438280284813164,0.8449009086979105
+3,2688,0.8433048608044138,0.8451921330981759
+3,2752,0.8440394121593895,0.8450684016960615
+3,2816,0.8442184019316051,0.8455950924509954
+3,2880,0.8448182340996718,0.8458223007928477
+3,2944,0.8459853752916776,0.8466322771933508
+3,3008,0.8463460507844748,0.847430757418875
+3,3072,0.8460108684122077,0.8471698426480676
+3,3136,0.8453381310733297,0.8466002034649179
+3,3200,0.8464832300811956,0.8475474603463881
+3,3264,0.8435234874610691,0.844706017104339
+3,3328,0.8459751915103179,0.8467332160122274
+3,3392,0.8426628813832697,0.8437689648562458
+3,3456,0.8454052347284724,0.8466478155974196
+3,3520,0.8434031403352693,0.8445394956371075
+3,3584,0.8462789052212478,0.8475127414612181
+3,3648,0.845547706414891,0.8468170470309341
+3,3712,0.8464096625971153,0.8472684227872732
+3,3776,0.8463320986954649,0.847385438882262
+3,3840,0.8463980737744156,0.8478610602069349
+3,3904,0.845473536850831,0.8468901307112632
+3,3968,0.8446957791449909,0.8460308649937196
+3,4032,0.84519232854504,0.846163142665077
+3,4096,0.8468194968500152,0.848487208325879
+3,4160,0.8463495785601127,0.8479735923130641
+3,4224,0.8455405973908073,0.8475441845434157
+3,4288,0.8457833846696516,0.8466893672275184
+3,4352,0.8444545894617919,0.8453425876900763
+3,4416,0.8456655652757561,0.846694988227839
+3,4480,0.8448513235147406,0.8456950053313343
+3,4544,0.8425649588228441,0.8437028847394686
+3,4608,0.8453522155492971,0.8462985484524721
+3,4672,0.8438544885489481,0.8451488448120743
+3,4736,0.8447698010924434,0.8466351323146456
+3,4800,0.8456772875152585,0.8468574001247116
+3,4864,0.8472376565079088,0.8490227015779909
+3,4928,0.8461808588907779,0.8477422113704675
+3,4992,0.846391368623369,0.8482939430679494
+3,5056,0.8487755351923965,0.8501733198097672
+3,5120,0.8468484084371588,0.8483477687278709
+3,5184,0.8451340562837525,0.8471660650653895
+3,5248,0.8462384955608041,0.847542275289429
+3,5312,0.8469872084384255,0.8482511743551602
+3,5376,0.8458747841128718,0.8469129527910699
+3,5440,0.8491161885483878,0.8499420456288103
+3,5504,0.8491238870143774,0.8505245531482426
+3,5568,0.8474274808448804,0.8491196020007348
+3,5632,0.8463513189862706,0.8479650851897557
+3,5696,0.8463061430232409,0.8478706474021632
+3,5760,0.8477395931755755,0.8486974807129832
+3,5824,0.8468041529719306,0.8486247813745564
+3,5888,0.846390222166318,0.8483815303170064
+3,5952,0.8469557115422153,0.8488132067714946
+3,6016,0.8469630992479701,0.848406567700833
+3,6080,0.8467096322248581,0.8483858256936362
+3,6144,0.8472746381490589,0.8492072497480543
+3,6208,0.8463707046664906,0.8472825267529933
+3,6272,0.8471202894816058,0.8489084150222522
+3,6336,0.8450442846231535,0.8467055416159047
+3,6400,0.845928194622989,0.8475288517926208
+3,6464,0.845736098539314,0.8479858893386607
+3,6528,0.8456694172969437,0.8479447986988873
+3,6592,0.8457789804094614,0.8477378964208705
+3,6656,0.8455513035801955,0.8472605562338017
+3,6720,0.844549867280305,0.8455040514629002
+3,6784,0.8462282780670644,0.8475648393619403
+3,6848,0.8434288826843334,0.8450770351539768
+3,6912,0.8451127252860917,0.8468218210555811
+3,6976,0.8447111758545218,0.8459259137159302
+3,7040,0.8461164538867532,0.8471913391041836
+3,7104,0.8455471222264972,0.8465480806531467
+3,7168,0.8459193789574762,0.8479065780319415
+3,7232,0.8456447461392902,0.8473190776265012
+3,7296,0.8434513398734189,0.8450783323078969
+3,7360,0.847138194738164,0.8488855607788387
+3,7424,0.8448304459842049,0.8466291287517835
+3,7488,0.8448051120610626,0.8460041888187264
+3,7552,0.8430861769137864,0.8446068230857061
+3,7616,0.8440809090258856,0.8462111309948657
+3,7680,0.8428017418827322,0.8440812497692658
+3,7744,0.8442540790969217,0.8460136550174301
+3,7808,0.846181328559301,0.8478583377851273
+3,7872,0.8463405212282044,0.8473342769252465
+3,7936,0.8451949398238094,0.8466875877297911
+3,8000,0.8441740576358654,0.8453433787541536
+3,8064,0.8458034590193781,0.8474831222236959
+3,8128,0.8446857941424697,0.846141416671436
+3,8192,0.8444527572638129,0.8458104128842879
+3,8256,0.845569825868031,0.8472975562593358
+3,8320,0.8450332932173239,0.8466277906725683
+3,8384,0.8476486756100178,0.8491306874176376
+3,8448,0.8459239004098087,0.8472066416058474
+3,8512,0.8474744012139851,0.8492771999742635
+3,8576,0.8447737482598315,0.8466928992584256
+3,8640,0.8437327932897549,0.8453971314602879
+3,8704,0.8435874999750756,0.8450514495885443
+3,8768,0.8455385136438863,0.8475424692397409
+3,8832,0.8444828581393405,0.8464186214890724
+3,8896,0.8466873912858959,0.8484733293127423
+3,8960,0.8452956159547805,0.8470353176441985
+3,-1,0.8460268656876602,0.8476482184230397
+4,64,0.8439095498455788,0.8456297846457554
+4,128,0.8447251273959898,0.8465002603354479
+4,192,0.8451848602307092,0.8467278227700713
+4,256,0.8467307106660673,0.8481804198579332
+4,320,0.8452344177794272,0.8470753283479668
+4,384,0.8455933867674228,0.8475338838245633
+4,448,0.8449900603298083,0.8468407000721684
+4,512,0.8463115970228009,0.8484266869317993
+4,576,0.8464189712770233,0.8484347883608778
+4,640,0.8452783396458826,0.8472622199360175
+4,704,0.8457473505982318,0.8477865334651117
+4,768,0.8464499821833419,0.8480246902130961
+4,832,0.8461111210960459,0.8473102324246675
+4,896,0.8462396135523343,0.8475301382703769
+4,960,0.8467781024270628,0.8484131477765485
+4,1024,0.845467148029528,0.8466360113188108
+4,1088,0.8449462206354854,0.8463886677317463
+4,1152,0.8462018120662158,0.8478684943757663
+4,1216,0.8464470588832045,0.8473732911870461
+4,1280,0.8455346328263318,0.846979146786929
+4,1344,0.84674178958049,0.8477848367086303
+4,1408,0.8456489199324593,0.8473247075236248
+4,1472,0.8454216087365887,0.8466849045909869
+4,1536,0.8452288428433926,0.846543466770959
+4,1600,0.8444863241378355,0.8457994733749591
+4,1664,0.845204298505293,0.8468167356428189
+4,1728,0.8467127003562432,0.847788433822295
+4,1792,0.847223078729341,0.8485691852507796
+4,1856,0.8463503202022489,0.8479737951601792
+4,1920,0.8449035455520888,0.8463780805358279
+4,1984,0.847039463532108,0.8480691386423469
+4,2048,0.8467651391824729,0.8481276155510297
+4,2112,0.846590931648079,0.8477476241855909
+4,2176,0.8467419484046358,0.848161546179428
+4,2240,0.847924640856349,0.8493013708094496
+4,2304,0.8474829191365384,0.8491928173537526
+4,2368,0.8449042500835632,0.8464995183420533
+4,2432,0.8465976110270053,0.8485986034205475
+4,2496,0.8458182646291065,0.8477750281190933
+4,2560,0.8460228336738255,0.8472030089044522
+4,2624,0.8467173355565598,0.8482655088846257
+4,2688,0.8460667133189653,0.8477152754088183
+4,2752,0.846641643265269,0.8485235464292481
+4,2816,0.846992420210643,0.8485012207910653
+4,2880,0.8457155344168165,0.8472435507474132
+4,2944,0.8430259928240873,0.8441375914451583
+4,3008,0.8451679072187898,0.8467145327253124
+4,3072,0.8450413678576497,0.8465303457654629
+4,3136,0.8452593897259892,0.8469534599364619
+4,3200,0.8443056915846567,0.8463677157599918
+4,3264,0.8440229711895384,0.8459640339867447
+4,3328,0.8441102808440637,0.8459510037286421
+4,3392,0.845376751359302,0.8472319708048219
+4,3456,0.8455161746662592,0.8471113497251388
+4,3520,0.8466295083971487,0.8482058059964489
+4,3584,0.8460421381262343,0.8477069835881493
+4,3648,0.8447031128495117,0.8464751019550966
+4,3712,0.8465074995177129,0.8479383965592378
+4,3776,0.8455612609250825,0.8466215646896239
+4,3840,0.8461573559070065,0.8478185974081154
+4,3904,0.8468563080957279,0.8487135287667628
+4,3968,0.8460645478566058,0.8481577116572088
+4,4032,0.8465740176595501,0.8487327031572194
+4,4096,0.8459144916224427,0.847533426528874
+4,4160,0.8456716988712655,0.84728376087615
+4,4224,0.8476921436116179,0.8496774155529476
+4,4288,0.8467566052460999,0.8481499002639177
+4,4352,0.8465709775633244,0.848613167487538
+4,4416,0.8473636536522531,0.8491730878027706
+4,4480,0.8468256160269246,0.8486331336934876
+4,4544,0.8475075059206308,0.8492802764888421
+4,4608,0.8472936655871978,0.8492932284550758
+4,4672,0.8475039842397734,0.8493899064577375
+4,4736,0.8464284932551612,0.8486578774828055
+4,4800,0.8463347306809411,0.8479653236240838
+4,4864,0.8456359838154506,0.8474371453236392
+4,4928,0.8456188038501276,0.847587915890321
+4,4992,0.8473924292395477,0.8486697013343818
+4,5056,0.84852256884494,0.8501111987704557
+4,5120,0.8464330407132888,0.8482592633287142
+4,5184,0.8457536755873855,0.8471556273357664
+4,5248,0.8454439810007167,0.8474408303795631
+4,5312,0.8471750490384901,0.8490036588602229
+4,5376,0.8453080362198864,0.8469174759258639
+4,5440,0.8456119541070207,0.8474841417973531
+4,5504,0.8457871688830866,0.847406712918296
+4,5568,0.844120894305573,0.8461373579497738
+4,5632,0.8452777082044624,0.8469900044456676
+4,5696,0.8457175319574638,0.8473952200278022
+4,5760,0.8460630239941319,0.847844130343908
+4,5824,0.8460297501836783,0.848148053287554
+4,5888,0.8466503490251642,0.8483670374244424
+4,5952,0.8446964158761424,0.8464828777611745
+4,6016,0.8454982944991168,0.8473485651913348
+4,6080,0.8462353869678135,0.8476230297935571
+4,6144,0.8456619260995437,0.8478305477303618
+4,6208,0.8462760612934602,0.8483831441971237
+4,6272,0.8468991470652769,0.8491093244135709
+4,6336,0.8463786316952093,0.8479314179067351
+4,6400,0.8473216522068948,0.848919292253958
+4,6464,0.8475772654736542,0.849260927721041
+4,6528,0.8460070751180533,0.8484341371148768
+4,6592,0.8444181530047258,0.8464163197487508
+4,6656,0.8457844101110743,0.8473357893818063
+4,6720,0.84543082279777,0.8470599511131556
+4,6784,0.8464131720005355,0.8482121298442294
+4,6848,0.8470698200877806,0.8484111210847584
+4,6912,0.8467966341450427,0.8488185128249784
+4,6976,0.8461922654012396,0.8480703610631193
+4,7040,0.8461972435507626,0.847707360812609
+4,7104,0.8457889448567338,0.8478804516793919
+4,7168,0.8467665548792426,0.848419617531903
+4,7232,0.8456535420552488,0.8470582589411694
+4,7296,0.8469575662956736,0.8485055909008425
+4,7360,0.845233826321926,0.8467111821891924
+4,7424,0.8463234988047104,0.8480861564476855
+4,7488,0.8459243280360224,0.8472876860092273
+4,7552,0.8436708128532078,0.845108885709765
+4,7616,0.8455262498561396,0.8474884763199174
+4,7680,0.8447191866233609,0.8464297424931885
+4,7744,0.8452152876716695,0.8469450951620062
+4,7808,0.8466747362714504,0.8481976102612556
+4,7872,0.8456862961045924,0.8466693049360933
+4,7936,0.8458210935480999,0.8475311969899689
+4,8000,0.8467252552534004,0.847543963902694
+4,8064,0.8454655885847815,0.8465567087729802
+4,8128,0.8438951445542268,0.8450753073947773
+4,8192,0.8456709803691188,0.8471023380163833
+4,8256,0.8455517147432655,0.8470111539264552
+4,8320,0.8465912257754284,0.8480864269105054
+4,8384,0.8452006137161241,0.8464361108249854
+4,8448,0.8472987213742925,0.8486713917270073
+4,8512,0.8470376645052827,0.8480820977260232
+4,8576,0.8459793756312943,0.8473376308835968
+4,8640,0.8464681412551198,0.8477577629826234
+4,8704,0.846970001539455,0.8481470443900606
+4,8768,0.8456356057281891,0.846670087854783
+4,8832,0.8463730053859558,0.8475672966590098
+4,8896,0.8462574017153344,0.8476805529649271
+4,8960,0.8460498634599962,0.8477303875188913
+4,-1,0.8459873564346183,0.8476848981636553
+5,64,0.8469257748268983,0.8481914287623278
+5,128,0.8465552407289405,0.8473323676712599
+5,192,0.8472036366779919,0.8480672329470815
+5,256,0.8454110193991545,0.8466338369400861
+5,320,0.8441594183472398,0.8456415319848233
+5,384,0.8460890209436733,0.8474693357373133
+5,448,0.84703315633514,0.8485061389439255
+5,512,0.8439827445614762,0.8451356028100533
+5,576,0.8467909338951215,0.8484007161377614
+5,640,0.8470450318418424,0.8490480396737689
+5,704,0.8457831831401367,0.8474544246949945
+5,768,0.8470298229341406,0.8483225516286178
+5,832,0.8473482835360543,0.8486680056036741
+5,896,0.846746757146664,0.8479926706180453
+5,960,0.847623213064162,0.8486179468502668
+5,1024,0.8463168793571785,0.8476154942011681
+5,1088,0.8474182283443037,0.8486210927599112
+5,1152,0.8459876009823779,0.84715936577251
+5,1216,0.8462543544061915,0.8474088552685288
+5,1280,0.8462596551253987,0.8476615013503559
+5,1344,0.8476952834400587,0.8490046108181754
+5,1408,0.846362569594648,0.8479869553116098
+5,1472,0.8460858696081013,0.847800476535232
+5,1536,0.8467295344105576,0.8486508596843682
+5,1600,0.8470245936364064,0.84851389326223
+5,1664,0.8452629939074866,0.8468247730149135
+5,1728,0.8468732718165376,0.8477983484198844
+5,1792,0.8460739899260561,0.8473387342236962
+5,1856,0.8472987042619761,0.8489049772974598
+5,1920,0.8478336674318868,0.8493681306419979
+5,1984,0.8474246434728981,0.8487595981935735
+5,2048,0.8473224306019235,0.8485897742329598
+5,2112,0.8468997328202692,0.8479769926712826
+5,2176,0.8471453734684649,0.8485932973670637
+5,2240,0.8479850539981626,0.8495874688716575
+5,2304,0.848039152866386,0.8494877873082043
+5,2368,0.8485412977927084,0.8498623996663723
+5,2432,0.8465986007244393,0.8480527230147359
+5,2496,0.847611335037221,0.8490582762006759
+5,2560,0.8494356570950096,0.8506910906297199
+5,2624,0.8457973011070593,0.8473090562672723
+5,2688,0.8465429397795793,0.848156547955338
+5,2752,0.8457717992600903,0.8475719959505089
+5,2816,0.8474322323476812,0.8488719327906697
+5,2880,0.8473940024913748,0.849341103932955
+5,2944,0.8466398848726293,0.8486264415180508
+5,3008,0.8464496887898945,0.8479468341515313
+5,3072,0.8473134461162435,0.8486246888478022
+5,3136,0.8461241962632027,0.8473058338451195
+5,3200,0.847774616439024,0.849487166931854
+5,3264,0.8477938942790493,0.8494229135979537
+5,3328,0.8454091434812256,0.847416723601361
+5,3392,0.846564268034218,0.8482293576141257
+5,3456,0.8454696416747706,0.846700970438373
+5,3520,0.8444676296763238,0.845912747474483
+5,3584,0.8466402819815568,0.8476255172035226
+5,3648,0.8470519823091868,0.8480788486134606
+5,3712,0.8468071029931695,0.8478060032294376
+5,3776,0.847016999573442,0.8481914287623278
+5,3840,0.8456625939272868,0.8464390983715313
+5,3904,0.8454233991872006,0.8467562587327557
+5,3968,0.8465481574224053,0.8476606241255513
+5,4032,0.8461340145483622,0.847113282110814
+5,4096,0.8456956783292809,0.8469821235205038
+5,4160,0.8462322162825598,0.8473826043607331
+5,4224,0.8464104455330095,0.8476482522308924
+5,4288,0.846517657487337,0.8476559746561505
+5,4352,0.8476472663922648,0.8487404309205595
+5,4416,0.8482733121958416,0.849744441265563
+5,4480,0.8465531180152551,0.8482118842924588
+5,4544,0.8468180668049499,0.8481684002766847
+5,4608,0.8473386837914703,0.848641172844943
+5,4672,0.8471376223720187,0.8484320499248243
+5,4736,0.847443350254093,0.848578356829906
+5,4800,0.8479475151068981,0.849220258653829
+5,4864,0.8475677688826708,0.8486892244795275
+5,4928,0.8478717735923779,0.8493026750808121
+5,4992,0.8470828990384017,0.8485344770417736
+5,5056,0.8460959540836158,0.8477568928752613
+5,5120,0.8463323085014663,0.8479188578816035
+5,5184,0.8454102374523687,0.8472504245542118
+5,5248,0.8471822618918684,0.8488443135545276
+5,5312,0.8464770875706717,0.8483866476227019
+5,5376,0.8469629185886306,0.8485679859616958
+5,5440,0.8466618769548118,0.8482879359463662
+5,5504,0.8452280763491977,0.8470347144409353
+5,5568,0.8466015869408056,0.8483435114718985
+5,5632,0.8464287250967056,0.8477047307813909
+5,5696,0.84661196957124,0.8478726135956909
+5,5760,0.8470928721683615,0.84842522963542
+5,5824,0.8461689698550925,0.8479307275147994
+5,5888,0.847155233342511,0.848573122975917
+5,5952,0.8468952071705501,0.8483240551883743
+5,6016,0.846440919401619,0.8479101705611111
+5,6080,0.8463133639857303,0.8475399550031303
+5,6144,0.8458408119712312,0.8472707412942112
+5,6208,0.8458783409723307,0.8469978265151227
+5,6272,0.8461654017834136,0.8476125030959012
+5,6336,0.8471924399144459,0.8485565909360382
+5,6400,0.8458393809174762,0.8468396858365931
+5,6464,0.8464643992829639,0.8478632399237415
+5,6528,0.8466553469580034,0.8478074640845382
+5,6592,0.8452114211505096,0.8468181804836737
+5,6656,0.8464117254188336,0.8474909147973452
+5,6720,0.8472603788719918,0.8483488025364135
+5,6784,0.8467390488430893,0.8478912025764908
+5,6848,0.8474375886097693,0.8489667122155088
+5,6912,0.8448673346431848,0.8462766178323554
+5,6976,0.8475921899510026,0.848908244203629
+5,7040,0.8456130490638897,0.8469500969448174
+5,7104,0.8461344222852093,0.8477928395192854
+5,7168,0.8468401138975366,0.848470599773492
+5,7232,0.8466206301129173,0.8482638647553772
+5,7296,0.8474189732191841,0.8490883582069311
+5,7360,0.8470768086998354,0.848788909601702
+5,7424,0.847053900934902,0.8485612475228816
+5,7488,0.8460429797401796,0.8481852098968261
+5,7552,0.8466080685749644,0.848890968390995
+5,7616,0.8452527255721338,0.8471905081427562
+5,7680,0.8468989580940143,0.8486855678933741
+5,7744,0.8462650111179457,0.8480844963041909
+5,7808,0.8454643262991743,0.8470250809823299
+5,7872,0.8460664056523838,0.8474920368205952
+5,7936,0.8448262530922376,0.84655514115624
+5,8000,0.8460532719918031,0.8474500883930696
+5,8064,0.8461008523509119,0.8478460922250749
+5,8128,0.8454199923506431,0.8473817911929121
+5,8192,0.8451423995412456,0.8469011520711824
+5,8256,0.8458441941265991,0.847794739876469
+5,8320,0.8460910101656429,0.8476123429534417
+5,8384,0.8480290360470977,0.8495025132970144
+5,8448,0.84607029221597,0.8474355616926532
+5,8512,0.8454779721910389,0.8472573160180425
+5,8576,0.8447962187880407,0.8460437333300023
+5,8640,0.8458558006204605,0.8471855081393056
+5,8704,0.8454605397138805,0.846634082491857
+5,8768,0.8451538680530385,0.8463325111093621
+5,8832,0.8464687535877169,0.8479452132899208
+5,8896,0.8456253184628151,0.846844370893207
+5,8960,0.846413251003495,0.8479934837858663
+5,-1,0.8463352971472239,0.8478441258955064
+6,64,0.845366653268617,0.846304870520892
+6,128,0.8459911660102588,0.846767237388019
+6,192,0.8453932141460604,0.8462794007524255
+6,256,0.8449652376627498,0.8460614931287355
+6,320,0.8462386003216904,0.8478695103907024
+6,384,0.8470251323911488,0.8482705142261583
+6,448,0.8470599724560705,0.848384320354519
+6,512,0.8469021340078277,0.8478901580917843
+6,576,0.8457169434698776,0.8474714727494643
+6,640,0.8479894568092599,0.8493588210270324
+6,704,0.8477377129042566,0.8489727460275017
+6,768,0.8463968214253051,0.8478139676477453
+6,832,0.846910619671308,0.8484010374479062
+6,896,0.8455462169903685,0.84685987610507
+6,960,0.847307453994723,0.8484959182963028
+6,1024,0.8485497161676803,0.8500634887731175
+6,1088,0.8476111980057082,0.849058982741819
+6,1152,0.847834979683202,0.8490152264838644
+6,1216,0.8496641215110463,0.851212277822137
+6,1280,0.8481736671448802,0.8494961182748076
+6,1344,0.847197122335529,0.8485155357475634
+6,1408,0.8481429913443926,0.8493936537912844
+6,1472,0.8486622285522444,0.8499829317780225
+6,1536,0.8478960687671564,0.8491546287152986
+6,1600,0.8467485225305481,0.8479337506485582
+6,1664,0.8477973037046341,0.8495936254595361
+6,1728,0.8464474519191478,0.8479180851573204
+6,1792,0.8459888529236849,0.8473984228769877
+6,1856,0.8470049347768742,0.848663034069994
+6,1920,0.8459324847375358,0.8473944371091124
+6,1984,0.8454955941329453,0.8469066769860272
+6,2048,0.846642877761241,0.8476330902987206
+6,2112,0.8468478529178847,0.8480391902231027
+6,2176,0.8474503169711687,0.8488524790405897
+6,2240,0.8473784642578731,0.8488144096192998
+6,2304,0.8473551768453338,0.8488003455526545
+6,2368,0.8472151712851448,0.8482465480174479
+6,2432,0.8464510055335137,0.848323222447586
+6,2496,0.8459698678694175,0.8471443693208797
+6,2560,0.84767424330655,0.8490428285461297
+6,2624,0.8472481022620547,0.8486784102798258
+6,2688,0.8456646417684663,0.8473271381302844
+6,2752,0.8474601614246936,0.8492055557967072
+6,2816,0.8465142965395167,0.847908503300174
+6,2880,0.8462546827930402,0.8476201453136897
+6,2944,0.8470236419197951,0.8485920624907667
+6,3008,0.8474562674032361,0.84890495060705
+6,3072,0.8464625646622781,0.8477560886042436
+6,3136,0.8465760385790931,0.8478590370738659
+6,3200,0.8467728498513882,0.8483153665702785
+6,3264,0.8475384362673042,0.8489259612977064
+6,3328,0.8481551169419509,0.8494610986776864
+6,3392,0.8477138774084154,0.849647719802917
+6,3456,0.8477091763285896,0.8492802622539569
+6,3520,0.8457396764468549,0.8472018889335283
+6,3584,0.8454884004649587,0.8468619580939563
+6,3648,0.8463806432583151,0.8480464962779667
+6,3712,0.8456078647867056,0.8469517339566233
+6,3776,0.8476902971669183,0.8490501535542312
+6,3840,0.8455501322897895,0.8470682269195785
+6,3904,0.8453490729739371,0.8469477802172399
+6,3968,0.8457727377310359,0.8474302396249235
+6,4032,0.8447805879509878,0.8463893919315343
+6,4096,0.8459736706954811,0.8479260388994642
+6,4160,0.8446398157361137,0.8462946819017612
+6,4224,0.8456931581147452,0.8476769835674461
+6,4288,0.8476172767123932,0.8489903492424969
+6,4352,0.8462699415150311,0.8475510030534592
+6,4416,0.8468718503494452,0.8489548527767193
+6,4480,0.8473066037299406,0.8489419150453709
+6,4544,0.8483331172568999,0.8501871703531335
+6,4608,0.8473839832199084,0.8487887814877346
+6,4672,0.8477229139642715,0.8496539831524351
+6,4736,0.8468895624718059,0.8483251050111629
+6,4800,0.8467377995940265,0.8480276670834778
+6,4864,0.8470836979502183,0.8487432387516787
+6,4928,0.8471246035074573,0.8488621267340803
+6,4992,0.8448694346925288,0.8463643207398552
+6,5056,0.8458461675626988,0.8472854957527921
+6,5120,0.8458233108233169,0.8476514728736843
+6,5184,0.8480621928495292,0.850147826909612
+6,5248,0.8468146203802192,0.8486448223136536
+6,5312,0.8475574918880693,0.8494897890889451
+6,5376,0.8466641283811658,0.8482071298407788
+6,5440,0.8456228889977815,0.8472370437620594
+6,5504,0.8446772683883343,0.8464290325282858
+6,5568,0.8463045081354665,0.8479982453549886
+6,5632,0.8469669443811969,0.8487594985493767
+6,5696,0.8463520979515199,0.8480418254562381
+6,5760,0.8460418396733241,0.8473041754809858
+6,5824,0.8457538477271189,0.8469533069114454
+6,5888,0.8464746773809118,0.848122966081629
+6,5952,0.8472147095626722,0.8490966179991082
+6,6016,0.8458207452852904,0.8472273604813557
+6,6080,0.8463908913011177,0.8473867554727021
+6,6144,0.8471745879763086,0.8482590320118284
+6,6208,0.8460856168044745,0.8474117759526247
+6,6272,0.8460495292770094,0.8470746735432446
+6,6336,0.8461670959402978,0.8474743820041409
+6,6400,0.846456892344075,0.8478625691047733
+6,6464,0.8460003462693464,0.8471796985267553
+6,6528,0.8474825659975971,0.8483496512914477
+6,6592,0.8455378416516264,0.8468067854580161
+6,6656,0.8459072988187271,0.8477254658073098
+6,6720,0.844649043026309,0.8460406283456532
+6,6784,0.8457378095106249,0.8472906576780626
+6,6848,0.8461689593008207,0.8477269675877056
+6,6912,0.8466851628910589,0.8486578169845431
+6,6976,0.844625645737424,0.8463651391084026
+6,7040,0.8472157373834024,0.8489940503126668
+6,7104,0.8459013162079981,0.8469937838077063
+6,7168,0.8455097678823166,0.8468093673103317
+6,7232,0.8449372086082482,0.8460159859798928
+6,7296,0.8452467499052316,0.84627295590812
+6,7360,0.8449568000666768,0.8463859559861026
+6,7424,0.8461419930039628,0.8478086028753598
+6,7488,0.8449655789464248,0.846118372171547
+6,7552,0.8455654741075489,0.84712967180184
+6,7616,0.8455127695158559,0.8468620701936779
+6,7680,0.8465975343573102,0.847802681163088
+6,7744,0.84564274198109,0.8473023942044442
+6,7808,0.8449901311726166,0.8466201429804578
+6,7872,0.8467064316792188,0.8484494324990979
+6,7936,0.8465796055371189,0.8481986102619458
+6,8000,0.8456937593972482,0.8470215916560783
+6,8064,0.8458080317530401,0.8471370081058354
+6,8128,0.8466904158101642,0.848260680453808
+6,8192,0.8455865738411228,0.8469010577650674
+6,8256,0.8452809591192991,0.8465933902929563
+6,8320,0.8472860157189435,0.848850793986046
+6,8384,0.8465750982180439,0.8480060941148534
+6,8448,0.8461136979554926,0.8476507468945355
+6,8512,0.8457031683196862,0.8469933051596892
+6,8576,0.8456439470712999,0.8472866914831546
+6,8640,0.8464925229319751,0.847868569108914
+6,8704,0.8465390240373842,0.8479918467740604
+6,8768,0.8464886402962062,0.8478050405953214
+6,8832,0.8475659594132665,0.8491662550578415
+6,8896,0.8477816481388726,0.8488104042784573
+6,8960,0.8474889841376428,0.8493404651424787
+6,-1,0.8471429365461449,0.8489597211074812
+7,64,0.8465913514187232,0.8473202057411586
+7,128,0.8461302633293033,0.8474067324912632
+7,192,0.8469842390428793,0.8481900461990961
+7,256,0.8471975429113972,0.8484038185886156
+7,320,0.8460935024307656,0.8474462342978832
+7,384,0.8479437773948696,0.8495350400098529
+7,448,0.8461374857830862,0.847610173912799
+7,512,0.847164026230487,0.8485013666986393
+7,576,0.8457899038484978,0.8469500951654567
+7,640,0.8461097688201257,0.8478288431028509
+7,704,0.8460638498958694,0.8476216364179229
+7,768,0.8454444110340987,0.8466197710940803
+7,832,0.8455267240750376,0.8468550506158797
+7,896,0.8460837382382602,0.8475896311939959
+7,960,0.845943554601075,0.8475478873929461
+7,1024,0.8472246812882359,0.8485748329415098
+7,1088,0.8466123270340319,0.8481884109666509
+7,1152,0.8463185030371436,0.8479254161232337
+7,1216,0.8478782912192834,0.8488596694370109
+7,1280,0.8473147993384165,0.8486299023745316
+7,1344,0.847231027563537,0.848302179728438
+7,1408,0.8468560119520243,0.8482404394723072
+7,1472,0.845015692623655,0.846366417579037
+7,1536,0.8463195929954521,0.8475014905637742
+7,1600,0.8473309906922157,0.8485419600076028
+7,1664,0.8474777519567386,0.8489756196949654
+7,1728,0.8466731317258954,0.847962821842998
+7,1792,0.8474671245801821,0.8485036460596428
+7,1856,0.8464920987114086,0.8475384459689792
+7,1920,0.8469337205277727,0.8483801566505781
+7,1984,0.8450671111479958,0.8465310450542016
+7,2048,0.8457991199735555,0.8469838087118544
+7,2112,0.8487100695089453,0.8500616346793114
+7,2176,0.846970763087398,0.8484331335554653
+7,2240,0.8471113860372547,0.8485333667207228
+7,2304,0.8456709057362573,0.8467624509078475
+7,2368,0.8467887916739679,0.8480317222464188
+7,2432,0.8452816638964131,0.8467530149582753
+7,2496,0.8471911999852318,0.8486771604142624
+7,2560,0.8471404975612302,0.848612427273504
+7,2624,0.846748174114394,0.8481677792798148
+7,2688,0.846066903718582,0.8476792878394989
+7,2752,0.8451576874302403,0.8468986912153914
+7,2816,0.8467816656535228,0.8480234375431924
+7,2880,0.8469820278130815,0.8487437618837123
+7,2944,0.8475728947428239,0.8488914541564547
+7,3008,0.847162212366307,0.8488413010969327
+7,3072,0.8454408040485089,0.8464274844845129
+7,3136,0.846618398552962,0.8480861617857673
+7,3200,0.8468195612975642,0.8485295126255364
+7,3264,0.846119238734089,0.8475882504101249
+7,3328,0.8464583693535065,0.8479570816255134
+7,3392,0.8466207714259648,0.8476311632511274
+7,3456,0.8477094971935647,0.8488908349389457
+7,3520,0.8462861660315196,0.8475810653517857
+7,3584,0.8471773681794822,0.8481953326796127
+7,3648,0.8470096189660031,0.8480484179874779
+7,3712,0.8475727487979632,0.8486159022295153
+7,3776,0.8472788133220589,0.8487558348457805
+7,3840,0.8466216607576456,0.8473882449340207
+7,3904,0.8474323745947204,0.848035108233881
+7,3968,0.8474172786594709,0.848190572889851
+7,4032,0.8485689114832883,0.8495630080006843
+7,4096,0.8481048356063983,0.8492035219874745
+7,4160,0.8474924745934946,0.8485773614130057
+7,4224,0.8467666279730905,0.8478311651685103
+7,4288,0.8466257073867631,0.8481881974433718
+7,4352,0.8475984848902117,0.8486375322730356
+7,4416,0.8484912600761009,0.8496757749824205
+7,4480,0.8474448033416734,0.8489875360732957
+7,4544,0.8474633603063737,0.8488482850875173
+7,4608,0.8477496937618966,0.8488997210660746
+7,4672,0.8463723244753582,0.8478431900878408
+7,4736,0.8480501712009133,0.8494049527314663
+7,4800,0.8465078535099283,0.8479925425040777
+7,4864,0.8484774780603512,0.8495970631843285
+7,4928,0.8484810246479882,0.8499902502884112
+7,4992,0.8477568679853482,0.8487518508572662
+7,5056,0.8466646212241983,0.847673576091785
+7,5120,0.8472865559376788,0.8483195551852688
+7,5184,0.8477861862009051,0.8488210644281629
+7,5248,0.8485742727040326,0.8495337499733755
+7,5312,0.8475783581040001,0.8484770268241907
+7,5376,0.846725598293422,0.8479306972656684
+7,5440,0.8474652546881366,0.848838244155321
+7,5504,0.8466053406820484,0.847996428627756
+7,5568,0.8470046667122745,0.8484602616880658
+7,5632,0.8482493706653905,0.8497398871263091
+7,5696,0.8455930572635454,0.8469593371647173
+7,5760,0.8463572375163884,0.8479802008585501
+7,5824,0.846978261507048,0.8481349953135789
+7,5888,0.846468168784411,0.8477264053097376
+7,5952,0.8472919847772148,0.8482175640116807
+7,6016,0.846026480316081,0.8472198409032126
+7,6080,0.8463685701360675,0.8479508947885035
+7,6144,0.8464914689498977,0.8481101760372152
+7,6208,0.8475688431808481,0.8491438867150028
+7,6272,0.8468483459054837,0.8479505780623063
+7,6336,0.8474598887315148,0.848811297517508
+7,6400,0.8484037395310262,0.8496981628982265
+7,6464,0.8479248109801706,0.849189470376354
+7,6528,0.8457350123936014,0.8468672107666203
+7,6592,0.8464432240351695,0.8474304869560549
+7,6656,0.8465712586327511,0.847622665024622
+7,6720,0.8472281487836284,0.8484617474542157
+7,6784,0.8470380003092612,0.8489017673308318
+7,6848,0.8467417970098611,0.8481744483235631
+7,6912,0.8462824864685378,0.8481167365399633
+7,6976,0.8466091195717641,0.8476298803320926
+7,7040,0.8467831742280032,0.8478332452411202
+7,7104,0.8478682021073226,0.8491957853273311
+7,7168,0.8466344641315147,0.8478546402736786
+7,7232,0.8475235232208265,0.8485705375648801
+7,7296,0.847975582526622,0.8491311304784417
+7,7360,0.8483564391806859,0.8494528780314439
+7,7424,0.8463214374256066,0.8476085475771572
+7,7488,0.8464040494505045,0.8475479584310683
+7,7552,0.8463219621458534,0.8472601754506208
+7,7616,0.8472587237857084,0.8481871565173866
+7,7680,0.8463105186435645,0.8474703891188231
+7,7744,0.8451508658872743,0.8463671605994662
+7,7808,0.8456257695048903,0.8467445291872945
+7,7872,0.8463362181065424,0.8477533269003801
+7,7936,0.8470681069761089,0.8482065007010675
+7,8000,0.8465428180543882,0.8476228322845241
+7,8064,0.8473287757014529,0.8484381388969979
+7,8128,0.8469768142324747,0.8483354964774088
+7,8192,0.8461581954778004,0.8473637111092605
+7,8256,0.8478870669424163,0.8489950983560947
+7,8320,0.8478575673412838,0.8490166756381222
+7,8384,0.8468989285999142,0.847924268435609
+7,8448,0.8487642145456314,0.8499234370750429
+7,8512,0.8481674182508812,0.8493110629869567
+7,8576,0.8480247173958639,0.8492786821816922
+7,8640,0.8470706079114316,0.8486297795986463
+7,8704,0.846928643278116,0.8483762812030636
+7,8768,0.847166352422478,0.8483005444959928
+7,8832,0.8478309362401361,0.8494743254205501
+7,8896,0.8489197489708314,0.8504380744408758
+7,8960,0.8484489276167381,0.8495348816467544
+7,-1,0.8487229419487796,0.8497537768156098
+8,64,0.8475545516677924,0.848804032387939
+8,128,0.8480921263115291,0.8490186837816239
+8,192,0.8471319316386139,0.8480811831346446
+8,256,0.8479470232389642,0.8489710325031876
+8,320,0.8477231022407231,0.8488656178396926
+8,384,0.8481735898332259,0.8489578705723962
+8,448,0.8457250544722517,0.8467908174754664
+8,512,0.8461664180377441,0.847230606035197
+8,576,0.8473465451827498,0.8484060783766519
+8,640,0.8463857617544256,0.8475003410967888
+8,704,0.8466789144384911,0.8478854730351701
+8,768,0.8450550067724051,0.8465781231041737
+8,832,0.8477824363404551,0.8492152906788702
+8,896,0.8472064181791901,0.8488121302582963
+8,960,0.8480261581815798,0.84941920185162
+8,1024,0.8458922476423665,0.847211912072118
+8,1088,0.8464830063322464,0.8479921741764216
+8,1152,0.8477812074971697,0.8493532071441545
+8,1216,0.8480657001756156,0.8496490934693453
+8,1280,0.8479171033095432,0.848947870565495
+8,1344,0.8479448463811825,0.8493617445165943
+8,1408,0.8466004019938397,0.8479663592119872
+8,1472,0.8468555501319432,0.8484237420899096
+8,1536,0.8480193801118452,0.8495918834654513
+8,1600,0.84800786342781,0.8498834822869072
+8,1664,0.8467511453370944,0.8478621509550185
+8,1728,0.847262411216456,0.8487976925259126
+8,1792,0.8469688863146343,0.8479800496128941
+8,1856,0.8476467130742428,0.8491538226649202
+8,1920,0.8478862954629415,0.8494855595486597
+8,1984,0.8479974263714033,0.8496447749610271
+8,2048,0.8466757170171512,0.8483265249409683
+8,2112,0.8470424648801946,0.8484133452855814
+8,2176,0.8470572601670088,0.8487862545251927
+8,2240,0.8446365175788092,0.8459936265338572
+8,2304,0.8468357110507398,0.8478119854399717
+8,2368,0.8473175323039509,0.8483387562661354
+8,2432,0.8471982765506935,0.8483788826283465
+8,2496,0.8477063917342658,0.8486924344461554
+8,2560,0.8477668662293674,0.8490339702690415
+8,2624,0.8484649110338314,0.8497787465837314
+8,2688,0.8495635530587898,0.8507968380336581
+8,2752,0.8484123913217703,0.8495329528198003
+8,2816,0.8491316279055673,0.8502930430681341
+8,2880,0.8471411009501435,0.8487643704388597
+8,2944,0.8471579864005099,0.8484432206155305
+8,3008,0.8475168530108806,0.8484984200773886
+8,3072,0.8477719924266492,0.8488815331959844
+8,3136,0.8484367419017548,0.8496016699490734
+8,3200,0.8486292866301419,0.8498882929226759
+8,3264,0.8480692942391188,0.8493462409471764
+8,3328,0.848107136852408,0.8488940075389999
+8,3392,0.84629793807284,0.8477848199407974
+8,3456,0.8475276363898808,0.8487521569072994
+8,3520,0.8482892488931132,0.8494970221900221
+8,3584,0.847783952807336,0.849055173130649
+8,3648,0.8492471492909835,0.8504060975504808
+8,3712,0.8485906371035313,0.8496462518303736
+8,3776,0.8480831567801425,0.8491241340323322
+8,3840,0.8480472501688485,0.8488889221262377
+8,3904,0.8475268290062252,0.8490070236312283
+8,3968,0.8469624913279353,0.8482062704095809
+8,4032,0.8465460723605968,0.8478670086096163
+8,4096,0.8475065668245161,0.8488195644271277
+8,4160,0.8473712607032122,0.8487693989120807
+8,4224,0.847587763370005,0.8492716608245334
+8,4288,0.84662740034271,0.8481528771342994
+8,4352,0.8480826590753268,0.8496451699790932
+8,4416,0.846168341522927,0.8479605762898469
+8,4480,0.8452733143848108,0.8463632887106732
+8,4544,0.8471123094533172,0.848500893388704
+8,4608,0.8457671586097463,0.8474502165070372
+8,4672,0.8460621971327615,0.8475838625067409
+8,4736,0.8469680289485526,0.8486897369353971
+8,4800,0.8458573904670049,0.8471338105947317
+8,4864,0.8464219497429583,0.8482328932037544
+8,4928,0.846182564335099,0.8476908376695335
+8,4992,0.8464525577818572,0.8479668093902337
+8,5056,0.8469375402663859,0.848905253098362
+8,5120,0.8450189221545498,0.8470877642996095
+8,5184,0.846212797460344,0.847978882352302
+8,5248,0.8463429025064702,0.8483705534411037
+8,5312,0.8476362759836731,0.8495217624206187
+8,5376,0.8475134612240686,0.8492905469585634
+8,5440,0.846465363536107,0.8478687790734716
+8,5504,0.8455944645690728,0.8473132893662788
+8,5568,0.8479206323287,0.8487958241972211
+8,5632,0.8469602876251741,0.8483987420726568
+8,5696,0.846613613826816,0.8478848680525464
+8,5760,0.8466307679700128,0.848337220677887
+8,5824,0.8473685435124619,0.8488266924107584
+8,5888,0.8484944301009251,0.8501908411741722
+8,5952,0.8471862707668869,0.8484884218498482
+8,6016,0.8470957726213424,0.8484450018910579
+8,6080,0.8468116102463811,0.8483456876299857
+8,6144,0.84717328590352,0.8484731370063094
+8,6208,0.8467896327243982,0.848684452234241
+8,6272,0.8464969018360016,0.8479760015673959
+8,6336,0.8468253001399566,0.8483930908232051
+8,6400,0.8467399025687815,0.8483595231843815
+8,6464,0.8467945801337532,0.8484666335785841
+8,6528,0.8471950974645899,0.8488769210931533
+8,6592,0.8464473995590438,0.8479895086941549
+8,6656,0.8471255341277499,0.8483087526867106
+8,6720,0.8469842599582215,0.848024611921227
+8,6784,0.8470977541245858,0.8483524128591897
+8,6848,0.8468015407948473,0.8482958487632147
+8,6912,0.8475499473554422,0.8487710519381326
+8,6976,0.8464993781042239,0.8474746364527151
+8,7040,0.8478020243569145,0.8491203778019819
+8,7104,0.8474730058261879,0.8488269665674671
+8,7168,0.8456873444898302,0.8470888781793818
+8,7232,0.8470094071174266,0.8481235176834331
+8,7296,0.8465514720816883,0.8476557557947895
+8,7360,0.8479424505511535,0.8493502124801663
+8,7424,0.8485109405577612,0.8493254491178811
+8,7488,0.8479691937713428,0.8491727835320979
+8,7552,0.8481000515367222,0.8490072727417205
+8,7616,0.8463796921581223,0.8477084373258074
+8,7680,0.8475824668598203,0.8488862014837908
+8,7744,0.8475703989475531,0.8490332121264172
+8,7808,0.8473770754438993,0.8490250538927815
+8,7872,0.8461479032734102,0.8475322290191508
+8,7936,0.846242930697609,0.8474192556315782
+8,8000,0.8466262960264084,0.8480717970071708
+8,8064,0.8458933296951644,0.847094004517439
+8,8128,0.8469652144560547,0.8483978612891308
+8,8192,0.8471768322630344,0.8485867742308896
+8,8256,0.8471238916334477,0.8485097866332755
+8,8320,0.8466015651317548,0.847941798696817
+8,8384,0.8475034054510728,0.8486076746011849
+8,8448,0.8464876687482035,0.8480952845678636
+8,8512,0.8472714687921747,0.8487696853891469
+8,8576,0.848283732719204,0.8492717070879107
+8,8640,0.8475608973265586,0.8481650960039417
+8,8704,0.8483421389529937,0.8491002069695566
+8,8768,0.8475627272590219,0.8486868828409007
+8,8832,0.8474256098506584,0.8488322566067051
+8,8896,0.848244676506304,0.8494964126244243
+8,8960,0.848147451590656,0.8495104528042728
+8,-1,0.8483876248410009,0.8497337501113977
+9,64,0.848532471599432,0.849694319479204
+9,128,0.8481963993779902,0.8494120157689533
+9,192,0.8476920336251337,0.8490029282976619
+9,256,0.8485731632776008,0.849827574019563
+9,320,0.8469339474032598,0.8483628826173046
+9,384,0.8472911060477695,0.8486018934584052
+9,448,0.8477667037049624,0.8494403050690307
+9,512,0.8463363365644587,0.8474332947871741
+9,576,0.847156741392178,0.8482141672121836
+9,640,0.8479264137248935,0.8492604490730238
+9,704,0.8479292685122697,0.8491314845712127
+9,768,0.8480088148091272,0.8490071266991396
+9,832,0.8486175294226429,0.8498212608479464
+9,896,0.8476905321955355,0.8491327390204769
+9,960,0.8485054916296679,0.849731867547821
+9,1024,0.8473347167635473,0.8489764115104586
+9,1088,0.8472251172910708,0.8483413594707787
+9,1152,0.8472890825599412,0.8482524448186705
+9,1216,0.8470970813515817,0.8484696638297856
+9,1280,0.8467082066966778,0.847778501431099
+9,1344,0.8474733902148472,0.8484125000892687
+9,1408,0.8480808404193276,0.8493672089331769
+9,1472,0.8474566818050959,0.8483765516658838
+9,1536,0.8473893411304101,0.8484020107581864
+9,1600,0.8481021562858545,0.8492281394421857
+9,1664,0.847346467403114,0.8487207049282985
+9,1728,0.8473014279952813,0.8485807226252897
+9,1792,0.8465978438978913,0.8480875283347532
+9,1856,0.8470318354677031,0.8484277563275552
+9,1920,0.8473911117109589,0.8483778025564267
+9,1984,0.8466860307371391,0.8479766172261838
+9,2048,0.8476000190429059,0.8483616280324597
+9,2112,0.8479959527003521,0.8487542956988111
+9,2176,0.8491001410608449,0.849982851706793
+9,2240,0.8478439518053116,0.8487281640081794
+9,2304,0.8483015757557719,0.8494909172036027
+9,2368,0.8471468288514233,0.8480203199674344
+9,2432,0.8469146606539801,0.8478802861988506
+9,2496,0.8456639948494862,0.8467604473477459
+9,2560,0.8465318352135837,0.8475090973305895
+9,2624,0.8465691387043944,0.8478946011553486
+9,2688,0.847519999700014,0.848659545498107
+9,2752,0.8480621761521235,0.8493552516295513
+9,2816,0.8485060413089518,0.8498352128148702
+9,2880,0.8489221218698938,0.8501449390072632
+9,2944,0.8470589086156263,0.8483753915227344
+9,3008,0.8470347709839298,0.8485734521576387
+9,3072,0.8482989598952212,0.8498372661970702
+9,3136,0.8468613589032105,0.8481264517133693
+9,3200,0.8488424147784469,0.8504222666007852
+9,3264,0.8485711465938115,0.8501901294299087
+9,3328,0.8488258479909946,0.8505974998178009
+9,3392,0.8478300566765454,0.8490557265118139
+9,3456,0.8496765007917003,0.8510321976266872
+9,3520,0.8488499731185002,0.8506688831854907
+9,3584,0.8470704563257305,0.8483070800876915
+9,3648,0.846940508783064,0.8484662670302885
+9,3712,0.8490899945759071,0.8506505656907211
+9,3776,0.8477377296799553,0.8492888779182657
+9,3840,0.8471462181574587,0.8486396514915799
+9,3904,0.8483451722313107,0.8497198924505889
+9,3968,0.848128253116201,0.849138804860962
+9,4032,0.8473535201676071,0.848680190665464
+9,4096,0.84801799382049,0.8494270310385177
+9,4160,0.8470037472611656,0.8484748560041873
+9,4224,0.8464362237368583,0.8478600851172939
+9,4288,0.8468948088574754,0.8478768449153369
+9,4352,0.8478672695004191,0.8489199061333852
+9,4416,0.8480619169623795,0.84933109324989
+9,4480,0.8460661963390573,0.8476187397550093
+9,4544,0.8462205138058804,0.8475121229970535
+9,4608,0.8471736504960379,0.84849650548532
+9,4672,0.8473199748466889,0.8484895250534564
+9,4736,0.8464114400262901,0.8479138093536579
+9,4800,0.8471011277725689,0.8484490961999333
+9,4864,0.8468007950913446,0.8485513044555218
+9,4928,0.8472489259252052,0.8486029575160791
+9,4992,0.8469527135772121,0.8479896136764338
+9,5056,0.8471127977179079,0.8479828948105871
+9,5120,0.8471768962724868,0.848373817542662
+9,5184,0.845912790453717,0.8471017927790416
+9,5248,0.8466996825573372,0.8478161455851915
+9,5312,0.8456101929681837,0.8471587501137222
+9,5376,0.8461823741073959,0.8477572772171637
+9,5440,0.8470087678977363,0.8484508577669853
+9,5504,0.8465509316942679,0.8478922879864925
+9,5568,0.8468283517475261,0.848012704303809
+9,5632,0.8473842233378763,0.8485529005420324
+9,5696,0.8464951153382342,0.8476772736032333
+9,5760,0.8470067449247088,0.8482663007001187
+9,5824,0.8476822335640103,0.8487089522511488
+9,5888,0.8475904596544673,0.8488719826127682
+9,5952,0.8470818924431048,0.8485054556694327
+9,6016,0.8467647777772169,0.848074499856011
+9,6080,0.847195879967608,0.8488195964556194
+9,6144,0.8475663483789723,0.8491007824578058
+9,6208,0.84756689619305,0.8486920714565811
+9,6272,0.8479418675240594,0.8491031553701677
+9,6336,0.846101516236063,0.8478251384739597
+9,6400,0.8468368465714103,0.8484131280680461
+9,6464,0.8461362197348707,0.8477275227482312
+9,6528,0.8470898920269233,0.8488707406190286
+9,6592,0.8481548668992906,0.8494869474499734
+9,6656,0.847116548369439,0.8484857794992703
+9,6720,0.8462785702095852,0.847660937293027
+9,6784,0.8461625235303019,0.8475686703254381
+9,6848,0.8473579414176371,0.8488310003780803
+9,6912,0.8470606832630145,0.8484545784101224
+9,6976,0.8460305460984366,0.8472379103107002
+9,7040,0.8465984710597679,0.8480092079960059
+9,7104,0.8464695946635648,0.8479727755865218
+9,7168,0.847565062240743,0.8490073937382454
+9,7232,0.8473876347279578,0.8490322262256268
+9,7296,0.8474602277651169,0.849028959589427
+9,7360,0.8476324510769917,0.8487937761531033
+9,7424,0.8465346930460204,0.847787631330638
+9,7488,0.8475193785467677,0.8492032069058052
+9,7552,0.8466275452922799,0.8481029803027121
+9,7616,0.8473951257421894,0.8489758438944084
+9,7680,0.8483386644871871,0.8498887110724304
+9,7744,0.8471791588391046,0.8482719448321278
+9,7808,0.8477572142697651,0.8491413048626872
+9,7872,0.8468916263169903,0.8483955694726025
+9,7936,0.8483971468247876,0.8495540720514569
+9,8000,0.846983171466541,0.8483747812020285
+9,8064,0.8465567556338256,0.847949307598796
+9,8128,0.8470513895671584,0.8489460751905906
+9,8192,0.8462759835406268,0.8480962258496522
+9,8256,0.8471463552780023,0.8485825393525221
+9,8320,0.8475910313046984,0.8492519045831415
+9,8384,0.8475509673583328,0.8492724010385675
+9,8448,0.8463777173260404,0.8478903822912273
+9,8512,0.8465190220821006,0.8480715372205146
+9,8576,0.8464687888215082,0.8480498699457754
+9,8640,0.8474408352419456,0.8486453454456873
+9,8704,0.8477391751110566,0.8491913120146355
+9,8768,0.8481460195104508,0.8497814334183259
+9,8832,0.8477417338689869,0.8494926965642612
+9,8896,0.8467763739457821,0.8481020105511532
+9,8960,0.8471569206007424,0.8483526050301408
+9,-1,0.8470606888444333,0.8482324448048684
+10,64,0.8474869862364836,0.8488789648239923
+10,128,0.8474220893691677,0.8489096730302378
+10,192,0.8477793531357528,0.8491051126668923
+10,256,0.8474009127813694,0.8488679630370406
+10,320,0.8463151340984644,0.847693540518374
+10,384,0.8469568339468416,0.8482842135238684
+10,448,0.8476207386483994,0.8491825575601953
+10,512,0.8474206015276796,0.8489594203955299
+10,576,0.847189653602314,0.8488159452075481
+10,640,0.8468039699136025,0.8481326155544803
+10,704,0.8475702080672433,0.8488691356357145
+10,768,0.846982358032599,0.8480133094223239
+10,832,0.8463708099130597,0.8473630632855123
+10,896,0.8476017317849229,0.8488389548747478
+10,960,0.8479120719837833,0.8493535683543683
+10,1024,0.8471528735351354,0.8482595462470589
+10,1088,0.8466992556747233,0.8479332727542599
+10,1152,0.8463712930456111,0.8480106741891886
+10,1216,0.847307317960109,0.8485950535960337
+10,1280,0.8469076434690004,0.8480116581756327
+10,1344,0.8476443997689843,0.8488502815301764
+10,1408,0.8480140134095301,0.8490593617456392
+10,1472,0.8482947664428931,0.8494602855098655
+10,1536,0.8481625211608901,0.8491138564451683
+10,1600,0.8465030560434179,0.8476135582567716
+10,1664,0.846972487745828,0.8481749732349574
+10,1728,0.847176882012075,0.8481596333667201
+10,1792,0.8473252306851361,0.8489488455200771
+10,1856,0.8465985800785154,0.8479336954883778
+10,1920,0.8466097019953465,0.8477659889669479
+10,1984,0.8482509687750992,0.8493481288488351
+10,2048,0.8479347158227587,0.8495038211270985
+10,2112,0.8480129175104996,0.8492855469551129
+10,2176,0.8466482307206318,0.8478949161021854
+10,2240,0.8489157275022138,0.8501356809937567
+10,2304,0.8470903458045161,0.8487249593796333
+10,2368,0.8476427408049191,0.8488926231964075
+10,2432,0.8470383992119308,0.8484303791051659
+10,2496,0.8484328639581711,0.8498702163977454
+10,2560,0.8472900769204806,0.8486961461924891
+10,2624,0.8470388074482228,0.848368494720822
+10,2688,0.8479019050003915,0.8492132675458015
+10,2752,0.8475488548249671,0.8487129931792045
+10,2816,0.8467387746486994,0.8478658199966964
+10,2880,0.8465120725121639,0.8481350550579433
+10,2944,0.8477446123764193,0.8490823083806921
+10,3008,0.8468607921387514,0.8483956502979619
+10,3072,0.8461714351099925,0.847516650716585
+10,3136,0.8465310689040045,0.8477605743724639
+10,3200,0.846876554657436,0.8483377011052646
+10,3264,0.8470931085754847,0.8487023134565318
+10,3328,0.8470526914017548,0.8484052385184211
+10,3392,0.8474833357094478,0.8490560040920766
+10,3456,0.8466016345368776,0.8477472985625902
+10,3520,0.8482049840730085,0.8496362375885873
+10,3584,0.8478189481800884,0.8494167328540633
+10,3648,0.846817532730204,0.8480942436418786
+10,3712,0.8465608734745101,0.8481591315870143
+10,3776,0.8475489819158986,0.8485928614237025
+10,3840,0.8486834177486411,0.8501919959792394
+10,3904,0.8480104935656015,0.84936051675774
+10,3968,0.8481774655579816,0.8496560294171925
+10,4032,0.8466963418741406,0.8481653967158931
+10,4096,0.8469390670599984,0.8488188473447822
+10,4160,0.8475136134840578,0.848989452444725
+10,4224,0.8473650617429443,0.8489745075945538
+10,4288,0.8479832129987065,0.8492514241557636
+10,4352,0.846875291666688,0.8481473823328146
+10,4416,0.8469656385103355,0.8485992313994906
+10,4480,0.846359476366871,0.8481731938742989
+10,4544,0.8476010533744605,0.8488040448434636
+10,4608,0.8471143881877068,0.848723324147188
+10,4672,0.8471677393600957,0.8485865962948236
+10,4736,0.8470051875259034,0.8485138987357574
+10,4800,0.8475246332655676,0.8490218350293502
+10,4864,0.8467912194660964,0.8482319962702862
+10,4928,0.8459989623178545,0.8470280311623019
+10,4992,0.8467629801391848,0.8476728179479512
+10,5056,0.8472066447267949,0.848497980575306
+10,5120,0.8469654734409193,0.8483918541675474
+10,5184,0.847729139633485,0.8491100432752771
+10,5248,0.846822388068997,0.8482668611987261
+10,5312,0.8473532788643762,0.8488403651532263
+10,5376,0.8483544125013834,0.8496566094887671
+10,5440,0.8476226981615533,0.8491825112968183
+10,5504,0.8467526914576554,0.8484279004557685
+10,5568,0.8471974530225771,0.8484790143700464
+10,5632,0.8468916900471607,0.8481991796573565
+10,5696,0.8467046334502977,0.8479504784181094
+10,5760,0.8467605312676341,0.8480455318644898
+10,5824,0.8474695667631739,0.8486835910236825
+10,5888,0.8470478337322284,0.8483497598324478
+10,5952,0.8471359103679262,0.8486364522011158
+10,6016,0.8468635257039332,0.8480268556950175
+10,6080,0.8463212694085681,0.8476447611252802
+10,6144,0.8471199764884633,0.848521827566852
+10,6208,0.847326991212755,0.8485739219088527
+10,6272,0.8471099628101242,0.848413843506566
+10,6336,0.8481988070128621,0.8494419331840332
+10,6400,0.8465825821398766,0.8476338411889186
+10,6464,0.8475754107085347,0.8485491959131414
+10,6528,0.846832557844118,0.8477706473331521
+10,6592,0.8460829853559672,0.8474142200409143
+10,6656,0.8467639296680107,0.8478709515368189
+10,6720,0.8465991136206659,0.8476244426059201
+10,6784,0.8455358940251115,0.8463963777014799
+10,6848,0.847020813953863,0.8478049961113049
+10,6912,0.8456323741556698,0.8465894098631631
+10,6976,0.8461682042489413,0.8471989654439663
+10,7040,0.846907846401802,0.8476509248306013
+10,7104,0.8474917346361174,0.8484318933410864
+10,7168,0.8479424422910975,0.8492503778916963
+10,7232,0.8465759825348751,0.8478323733543975
+10,7296,0.8474088101978057,0.8487026017129584
+10,7360,0.8463521877628547,0.8475350920104503
+10,7424,0.8471742084732041,0.8483045176727118
+10,7488,0.8458851273284351,0.8470455204982147
+10,7552,0.8452988872560057,0.8464487656379892
+10,7616,0.846767169230717,0.8480067204498053
+10,7680,0.8458743548977921,0.8469365222023533
+10,7744,0.8468402503908234,0.8482084750374368
+10,7808,0.8474947076037196,0.8487408561877567
+10,7872,0.8454675002914572,0.8467112071002416
+10,7936,0.8472146198455379,0.8481546991996137
+10,8000,0.8465422418315812,0.8478293075159828
+10,8064,0.8463473471029184,0.8478055192433385
+10,8128,0.8462777556392633,0.8474742218616818
+10,8192,0.8465329856730001,0.8479023894169513
+10,8256,0.8451434737644836,0.8462498847178211
+10,8320,0.8466510461275643,0.8480693414894619
+10,8384,0.8455948577343406,0.8469202232587207
+10,8448,0.8452058059060219,0.8466678814475663
+10,8512,0.845170704872676,0.8465221055462531
+10,8576,0.8473310921667997,0.8489385057903491
+10,8640,0.8456689220874941,0.8470721397336667
+10,8704,0.8458625026347997,0.8472161309362395
+10,8768,0.8447687318452887,0.8462661623091258
+10,8832,0.84585181375253,0.8474244832567791
+10,8896,0.8466370505371275,0.8481061956074221
+10,8960,0.8470236324735329,0.8482306049459474
+10,-1,0.8470286323031259,0.8483257427763463
+11,64,0.8469094774272723,0.8482358629566934
+11,128,0.8478071212724062,0.8490347887749445
+11,192,0.8481559420118008,0.8493282694045249
+11,256,0.8472093369256046,0.8485382724180585
+11,320,0.8474947436715603,0.8489885947928876
+11,384,0.8468110023489664,0.8479130716726855
+11,448,0.8465251979503913,0.8475936472110024
+11,512,0.8474016193099462,0.8485929539504568
+11,576,0.845706760295234,0.8471375187823443
+11,640,0.847557904488394,0.8490706749207065
+11,704,0.8473142547594166,0.8485367350504495
+11,768,0.8472252273883446,0.8482841672604914
+11,832,0.8470102980140761,0.8481937650628726
+11,896,0.8465604485737539,0.8473413836917169
+11,960,0.8467980143805773,0.8480604927289068
+11,1024,0.8458587036750816,0.8471610524697664
+11,1088,0.8469746285826995,0.8484227065020061
+11,1152,0.8474279380103349,0.848505667413351
+11,1216,0.8468302208055738,0.8477661846966204
+11,1280,0.8473973382320117,0.8484423015757495
+11,1344,0.8472378122119412,0.8486411123466806
+11,1408,0.8472987954483208,0.8484980891163061
+11,1472,0.8475178539087945,0.8486234627329602
+11,1536,0.8470357096253193,0.8483315854426813
+11,1600,0.8474315234698617,0.8486939664756825
+11,1664,0.8485113799518135,0.8492728921421091
+11,1728,0.8465251923072693,0.847870841352475
+11,1792,0.8472750292159374,0.8483498737115301
+11,1856,0.8469347087628012,0.8480043877079818
+11,1920,0.8478199707732452,0.8488729559230483
+11,1984,0.8473208004445432,0.8485994503962211
+11,2048,0.8473750461372801,0.8487910359376889
+11,2112,0.8469910041924201,0.84819594655904
+11,2176,0.8469633463325956,0.8481010059662489
+11,2240,0.8477888857745213,0.8488343196402282
+11,2304,0.8472943934611019,0.8486261817313946
+11,2368,0.8471880071848581,0.8485272688517458
+11,2432,0.8473567706067717,0.8484256157566828
+11,2496,0.8472162395647813,0.8483018665609621
+11,2560,0.8477633338706398,0.8488769772781368
+11,2624,0.8459431451666174,0.8469404510306874
+11,2688,0.8472282565058783,0.8479222915659171
+11,2752,0.8472189894843962,0.8480896333184121
+11,2816,0.847290144759734,0.8481705159365077
+11,2880,0.8478360067998717,0.8486506461610892
+11,2944,0.84748732848403,0.8487246693438459
+11,3008,0.8470179517266287,0.8481198308481485
+11,3072,0.8472904059532975,0.8484949218543338
+11,3136,0.848021969540654,0.8492644917804401
+11,3200,0.8470898004393551,0.8483079501950536
+11,3264,0.8466832109858281,0.8479953965985741
+11,3328,0.8460437899275048,0.8472412110247218
+11,3392,0.8475133445644931,0.8485460569855228
+11,3456,0.8468612394492584,0.8476977805986524
+11,3520,0.8473697154803891,0.8483384858033152
+11,3584,0.846409350894121,0.8472128017524472
+11,3648,0.8467342963768233,0.8476071667932862
+11,3712,0.8476871446780533,0.8485211371749165
+11,3776,0.8473183149096296,0.8485690304464023
+11,3840,0.8470244951871265,0.8480769322420313
+11,3904,0.8484410245515764,0.84931866441569
+11,3968,0.8475148557039868,0.8484211068567741
+11,4032,0.8472484865342879,0.8482728202775717
+11,4096,0.8461890532380634,0.8468882428096044
+11,4160,0.847249393588857,0.8479908396559276
+11,4224,0.8469312287154424,0.8481452543532381
+11,4288,0.8458089889251499,0.8467954758416705
+11,4352,0.8459919901975061,0.8470766155786803
+11,4416,0.8460435974864007,0.8473211096563732
+11,4480,0.8470731645951411,0.848535809782907
+11,4544,0.8470514065549902,0.8484873738064203
+11,4608,0.8465933976740291,0.8481827437029534
+11,4672,0.8464801803275323,0.8479614891018646
+11,4736,0.8468831454988068,0.8479778592199233
+11,4800,0.8465816085072007,0.8478016153260536
+11,4864,0.8465436291045828,0.8476695351637293
+11,4928,0.8471963139365216,0.848180973239098
+11,4992,0.8465950184139825,0.8478892612940123
+11,5056,0.8467493367635736,0.8479213777282469
+11,5120,0.8470072750706911,0.8482488772005501
+11,5184,0.8464552051102089,0.8475337574899565
+11,5248,0.8476212427452591,0.8486668472398853
+11,5312,0.8474089716534963,0.8485150428646608
+11,5376,0.8473251643102548,0.8484001975896753
+11,5440,0.847875908229771,0.8489495823104486
+11,5504,0.8468180533649754,0.8477939249292874
+11,5568,0.8477870085242307,0.8487004504659222
+11,5632,0.8456191160854537,0.8468411627059396
+11,5696,0.8460200943716987,0.8472154850283203
+11,5760,0.8467639368044445,0.847734125955635
+11,5824,0.8460311725130166,0.8472308960709842
+11,5888,0.8462925451909479,0.8474974247246694
+11,5952,0.8455278250961505,0.8464122905238494
+11,6016,0.845647767061978,0.8465686322687532
+11,6080,0.8453145891277393,0.8463621285675239
+11,6144,0.8458838132714476,0.8468510203639881
+11,6208,0.8464310516567242,0.8479327524272289
+11,6272,0.8463984995471766,0.8476628643406204
+11,6336,0.8457120000418858,0.846823228529862
+11,6400,0.8452130941552972,0.8464173775786631
+11,6464,0.845607950209007,0.8471168746399835
+11,6528,0.8460746698434407,0.8471052696497685
+11,6592,0.8464079943003987,0.8476974213039703
+11,6656,0.8467097667010746,0.847779793246937
+11,6720,0.8467541057732495,0.8481346511430737
+11,6784,0.8460640983009122,0.8471848479965012
+11,6848,0.8462511254855312,0.8474947503455996
+11,6912,0.8463459194710916,0.8474893766764107
+11,6976,0.8459514038620143,0.8471425684712287
+11,7040,0.84560476007529,0.8465621945418904
+11,7104,0.8462633594793731,0.8473464815600036
+11,7168,0.8474000817986171,0.8487487654458842
+11,7232,0.8454337460623699,0.846976733973876
+11,7296,0.8462801250154471,0.8475936151825104
+11,7360,0.8470125306840822,0.8483410640969093
+11,7424,0.8469002978993692,0.8479572310918088
+11,7488,0.8458274578094241,0.8470076521446792
+11,7552,0.847140153894513,0.8485449521379705
+11,7616,0.8459539353973172,0.8476234515020332
+11,7680,0.8458910792043913,0.8472476185024533
+11,7744,0.8463209105528948,0.8473462413463148
+11,7808,0.8459239212359012,0.8471304938664642
+11,7872,0.8464216764253096,0.8478041989577297
+11,7936,0.8461291693922276,0.8473293480962223
+11,8000,0.8469242512439557,0.8483859466901611
+11,8064,0.8471576128773426,0.8484770756211307
+11,8128,0.8464129492010989,0.84761187854031
+11,8192,0.8458444016124468,0.8473182982665327
+11,8256,0.8458071407429855,0.8472727893383293
+11,8320,0.8460371399641262,0.8473338979214262
+11,8384,0.8460108871585125,0.847324346313411
+11,8448,0.8466761672841526,0.8480374286560507
+11,8512,0.8464323705464349,0.8477029675711429
+11,8576,0.8460439135601502,0.8474619407144163
+11,8640,0.8466634860060256,0.8480959874153239
+11,8704,0.8465452961050594,0.8478278199704722
+11,8768,0.846708924375253,0.8478676687524207
+11,8832,0.8455225003843527,0.8467336483968674
+11,8896,0.845426424234068,0.8468447570144699
+11,8960,0.8461974736087716,0.8475727859866414
+11,-1,0.8461067576181137,0.847622903322713
+12,64,0.8447763777105072,0.8459882457472258
+12,128,0.8453841720244742,0.8464828403946008
+12,192,0.845777093583831,0.847191910278955
+12,256,0.8456589823329824,0.846672260454147
+12,320,0.8457810634157675,0.8470342393516394
+12,384,0.8455766976853426,0.8466957764846106
+12,448,0.8454100180146513,0.8465813440212978
+12,512,0.8451243620061075,0.8463191765805869
+12,576,0.8457990586154964,0.8471555543819795
+12,640,0.844249940986329,0.8454867382836925
+12,704,0.8454811917535795,0.846786456262492
+12,768,0.8457809344716877,0.8470399760104025
+12,832,0.8456112890154577,0.8466190237626036
+12,896,0.8462083170754758,0.8476091205312892
+12,960,0.8452274465723618,0.846787144875067
+12,1024,0.8458898857734786,0.8474259122198018
+12,1088,0.8455927837102651,0.8467915185435657
+12,1152,0.8474434755672435,0.8486785554330187
+12,1216,0.8480293338825478,0.8495082659700236
+12,1280,0.8475332399449037,0.8486930554430253
+12,1344,0.8473245282799274,0.8485451887929382
+12,1408,0.846859754314743,0.8480869874091129
+12,1472,0.847011227124433,0.8484013968787594
+12,1536,0.8475090717099149,0.8490352318357485
+12,1600,0.8462148506734456,0.8475238428923672
+12,1664,0.8459316871032528,0.8473890474256778
+12,1728,0.8465153672285548,0.8476392771357304
+12,1792,0.8462543195742244,0.8474893660002467
+12,1856,0.8459689380098666,0.8472535740225775
+12,1920,0.8453411150565857,0.84675370357085
+12,1984,0.8459298355103804,0.8472674583737962
+12,2048,0.8459672869105865,0.8472172127875198
+12,2112,0.8450815145668702,0.8466314471216029
+12,2176,0.8448551012702259,0.8461494931894653
+12,2240,0.8455370246196132,0.8468656164594702
+12,2304,0.8451609919386222,0.8461831053123055
+12,2368,0.8459278749451558,0.8471730437178924
+12,2432,0.845645081806483,0.847025241124789
+12,2496,0.8464358552503349,0.8475974682517565
+12,2560,0.846872350831055,0.8482137188132977
+12,2624,0.8465585298366098,0.8475873518329924
+12,2688,0.8460288031054946,0.8474275545696898
+12,2752,0.84528052018387,0.8463716410296045
+12,2816,0.8463462333677373,0.8474289567058886
+12,2880,0.8453864290755618,0.8467971306470827
+12,2944,0.8457391008799431,0.8472694601545371
+12,3008,0.8460749618340742,0.8471492739918766
+12,3072,0.8467488049540306,0.847870309323638
+12,3136,0.8468943552244936,0.8479715638419135
+12,3200,0.8469996619414938,0.84815281472091
+12,3264,0.8475587944794577,0.8488722726485555
+12,3328,0.8454969570258001,0.8470969742703783
+12,3392,0.8463278367048884,0.8478517772823791
+12,3456,0.8461438308052114,0.8473075384726303
+12,3520,0.8465349878906172,0.8476994141879078
+12,3584,0.846063950433156,0.8471966451576676
+12,3648,0.846802825032928,0.847816147364552
+12,3712,0.846699918886044,0.8482122615169182
+12,3776,0.8476765927057448,0.8490107371569228
+12,3840,0.8462628752673226,0.8474604887561189
+12,3904,0.847886544275101,0.8489563171905414
+12,3968,0.8477127313024359,0.8490409585730512
+12,4032,0.8470721462909793,0.8483531210447318
+12,4096,0.8476969826580755,0.8492614882196484
+12,4160,0.8455524952654112,0.8469723051451967
+12,4224,0.8461183561297159,0.8472716523268686
+12,4288,0.8458097322061197,0.8471717127561197
+12,4352,0.8470344208958328,0.848347282962411
+12,4416,0.8476024889115122,0.8489002520701291
+12,4480,0.8469786311121501,0.8484646620469745
+12,4544,0.8469384003461529,0.8481657863958773
+12,4608,0.8476561053091153,0.8489856392748338
+12,4672,0.8470771589011047,0.848488896939144
+12,4736,0.846963598255766,0.8483225018065194
+12,4800,0.8465272890961514,0.8477353964191453
+12,4864,0.8467762366834611,0.8482555729347082
+12,4928,0.8469984920252949,0.8485694770659277
+12,4992,0.8472093630982527,0.8486707262461209
+12,5056,0.8471205518103585,0.8487437405313843
+12,5120,0.8470792269427806,0.8483913096831859
+12,5184,0.8471358992011169,0.8484617616891009
+12,5248,0.846573672748719,0.8480788877593952
+12,5312,0.8471281372200669,0.8485451870135777
+12,5376,0.8471160979107959,0.8482988220748754
+12,5440,0.8477288157831141,0.8489944638790016
+12,5504,0.8461201291193285,0.8474661880483083
+12,5568,0.8458709700770504,0.8468476894008353
+12,5632,0.8461567951288881,0.8473223498707523
+12,5696,0.8462487618107948,0.8475943892043969
+12,5760,0.8459563351717709,0.8474934798820893
+12,5824,0.8464663945342547,0.8478212576883635
+12,5888,0.8463167111900943,0.8475322539302
+12,5952,0.8464457764289749,0.8477937131853689
+12,6016,0.8459914497888382,0.8474073552674937
+12,6080,0.8467029483608732,0.8481046600191736
+12,6144,0.8468040835424264,0.847993834319916
+12,6208,0.845961926858417,0.8471042357045273
+12,6272,0.8463216599498963,0.8475362503742392
+12,6336,0.8471539584003034,0.8482913896854044
+12,6400,0.8464241672621964,0.8476039710615433
+12,6464,0.8458217785352898,0.8470628763820782
+12,6528,0.8465975582532762,0.8476893732557117
+12,6592,0.8464297507932871,0.8476224426045398
+12,6656,0.8461484133950343,0.8471621326783341
+12,6720,0.8471927540460924,0.8480072862864946
+12,6784,0.8461306953836674,0.8468935221726784
+12,6848,0.8468769774628845,0.84802116174091
+12,6912,0.8456164910193933,0.8468970826733563
+12,6976,0.8465445546969841,0.8477710014259231
+12,7040,0.8460911780915205,0.8473049993249706
+12,7104,0.8466535485303099,0.847872447979134
+12,7168,0.8468095902731811,0.8478471758557161
+12,7232,0.8460821528462519,0.847465454951717
+12,7296,0.8471748548938791,0.8480826190786963
+12,7360,0.8469746806011422,0.847717314556133
+12,7424,0.8463366126934332,0.8471256878133254
+12,7488,0.846759651165211,0.8477601989273649
+12,7552,0.8470361783404716,0.8480437649593559
+12,7616,0.8470669652796592,0.8479338670607205
+12,7680,0.8468874951128584,0.847782732750745
+12,7744,0.8466114860166954,0.8476633376505553
+12,7808,0.8469256423695001,0.8478921990184597
+12,7872,0.8471914862987155,0.8482343665143797
+12,7936,0.8473470848984852,0.8481918077661481
+12,8000,0.8471519664079378,0.8478482007674554
+12,8064,0.8470587421657993,0.8480820700101037
+12,8128,0.8468432418235052,0.8482121297085158
+12,8192,0.8462461488474556,0.8475322361365935
+12,8256,0.8471438181663657,0.8484736513770215
+12,8320,0.8471931290609303,0.8486182315479721
+12,8384,0.8463453245033256,0.847614629431888
+12,8448,0.8456369826014835,0.8469696681327009
+12,8512,0.8466704830062807,0.8478611705272956
+12,8576,0.8457285861624202,0.8467102124376334
+12,8640,0.8465997970653155,0.8476580458319571
+12,8704,0.8464461687174981,0.847707944442905
+12,8768,0.845579345934136,0.8466210984971315
+12,8832,0.8459441826593287,0.8473416150086025
+12,8896,0.8453969669883722,0.8465887550584408
+12,8960,0.846364114887313,0.8474509193544972
+12,-1,0.8465300054115337,0.8476812522536659
+13,64,0.8462165747223716,0.8472998676488314
+13,128,0.84606523440021,0.8473467733751516
+13,192,0.8462216727816592,0.8472283355709965
+13,256,0.8450787109564738,0.8461843757758156
+13,320,0.8467692751538957,0.8478328021803162
+13,384,0.8470323869586841,0.8482190391016666
+13,448,0.8456511796286958,0.8467425772286521
+13,512,0.8470049441397762,0.8483590320808397
+13,576,0.8479410196396012,0.8489057940240022
+13,640,0.8467789503419889,0.8476321899422273
+13,704,0.8462288298707704,0.8470891628770871
+13,768,0.8464755649828075,0.8474229620398298
+13,832,0.8462997025007654,0.8469668549634997
+13,896,0.8460737586986302,0.8471155383401291
+13,960,0.8471034407538843,0.8479253164790367
+13,1024,0.8472232258308525,0.8480545870308811
+13,1088,0.8463078247143822,0.8473964709183452
+13,1152,0.8461025084356443,0.8469491627804716
+13,1216,0.8458109551585185,0.8470621486235689
+13,1280,0.847119424163315,0.848332274055256
+13,1344,0.8467565712138657,0.8477294515751851
+13,1408,0.8467596839092336,0.8479510442547988
+13,1472,0.8460064241439319,0.8471474599336836
+13,1536,0.8452955767923683,0.8466655344708577
+13,1600,0.8459833036144725,0.8471891718429015
+13,1664,0.8473985712107391,0.8485313845129491
+13,1728,0.846807051507263,0.847901070774713
+13,1792,0.8467035859765445,0.8478082256509002
+13,1856,0.8463866063564501,0.8477492878878066
+13,1920,0.8469869667982987,0.8479759037025597
+13,1984,0.8462182150206179,0.8474056470812614
+13,2048,0.8459138545073889,0.8472609121059335
+13,2112,0.846150274820825,0.8473420509519638
+13,2176,0.8474806650143835,0.8488278491303539
+13,2240,0.8464181931004406,0.8474808054961185
+13,2304,0.8461589690156641,0.8474280972746905
+13,2368,0.8463472584264484,0.8475086630302499
+13,2432,0.8468813155632235,0.8481425781948078
+13,2496,0.8470223691184696,0.8479853538870172
+13,2560,0.8460687967194719,0.8471818622293161
+13,2624,0.8468821700622001,0.8480555069603417
+13,2688,0.8475828720563272,0.8490173492611299
+13,2752,0.8472893811495226,0.8487886551531277
+13,2816,0.8478722746746991,0.8491221162373453
+13,2880,0.84609091979846,0.8474886204481309
+13,2944,0.8461095344909788,0.84753825215498
+13,3008,0.8463326317306572,0.8478825121790344
+13,3072,0.8463871430765321,0.8478099107054438
+13,3136,0.8455282327513,0.8466619401623273
+13,3200,0.8457213414586335,0.8466369027785008
+13,3264,0.8457703765706606,0.847068427987333
+13,3328,0.846517790788081,0.8476096507807653
+13,3392,0.8457274856217075,0.8469293958629157
+13,3456,0.845113172155651,0.8464229275418663
+13,3520,0.8460276930449258,0.8472171220401262
+13,3584,0.845797613067956,0.8469825827323606
+13,3648,0.8465187832547223,0.8478434801236281
+13,3712,0.846188931798769,0.8472488124534552
+13,3776,0.8456602343079899,0.8466895576191089
+13,3840,0.8459274512530364,0.8469169901604041
+13,3904,0.8455639759519542,0.8466339775095781
+13,3968,0.8457573814449453,0.8467706608779262
+13,4032,0.8461883906485267,0.847145040139848
+13,4096,0.8460253425040408,0.847023933294705
+13,4160,0.8466576973164905,0.8477259266617204
+13,4224,0.8471527051249808,0.8479938627896865
+13,4288,0.8461749538306691,0.8471744173843209
+13,4352,0.8470466209202351,0.8483913025657434
+13,4416,0.8464643312218415,0.8475124532047916
+13,4480,0.8457630235085887,0.8470378522066991
+13,4544,0.8462941390319673,0.8474129050933877
+13,4608,0.8459561860290229,0.8469576770212228
+13,4672,0.8467796793250066,0.8478083840139987
+13,4736,0.8470406273353825,0.8480965977360297
+13,4800,0.847043440022497,0.8482247401732168
+13,4864,0.8467945555748543,0.84784802461075
+13,4928,0.846294036758693,0.8473843018708013
+13,4992,0.8464784271845188,0.8475551080384987
+13,5056,0.8460728677144993,0.846994123665592
+13,5120,0.8467812739272159,0.8473977787484293
+13,5184,0.8467289797508409,0.8476159860581466
+13,5248,0.8462007842900646,0.84720899925872
+13,5312,0.8465389210875365,0.8475286222550958
+13,5376,0.8461214235029693,0.846961808696672
+13,5440,0.8466043654904222,0.8475209336376903
+13,5504,0.8464074938683094,0.8474341898055854
+13,5568,0.8465029443036217,0.8472624761639523
+13,5632,0.8458201020316614,0.8467765986044438
+13,5696,0.8466429020222923,0.8477187754112336
+13,5760,0.8463112357399621,0.847625391005151
+13,5824,0.8459148604616823,0.8470665543205594
+13,5888,0.8459217028068715,0.8474398374963158
+13,5952,0.8457626234535416,0.847399515404432
+13,6016,0.8468880092684551,0.8482405515720287
+13,6080,0.8459788449784047,0.8471941682876307
+13,6144,0.8473440816939252,0.8485755998459538
+13,6208,0.8458122058653155,0.8472649138880547
+13,6272,0.8460754832638984,0.8476290938546814
+13,6336,0.8470943837611787,0.8486896995688232
+13,6400,0.8471462929353365,0.8487677387685864
+13,6464,0.8465669842934702,0.848356085459589
+13,6528,0.8472842264015595,0.8487493508555408
+13,6592,0.8459392588822054,0.8473466078946104
+13,6656,0.8466712068069531,0.8479213413873254
+13,6720,0.8477412659782578,0.849434950972809
+13,6784,0.8469464219782789,0.8486050874107872
+13,6848,0.8478067566941621,0.8493973441852902
+13,6912,0.8472887311608825,0.848801265346925
+13,6976,0.8468108161027434,0.8480498076681523
+13,7040,0.8473068188240003,0.8485607048178809
+13,7104,0.8478527933134912,0.849161432990457
+13,7168,0.8462481305045405,0.847257547334928
+13,7232,0.8464357430580773,0.8476518020554061
+13,7296,0.8460615161695042,0.8470192019747139
+13,7360,0.8466746785173181,0.8478924588051158
+13,7424,0.84762949954674,0.8487677441066684
+13,7488,0.8472455260328478,0.8482440658093294
+13,7552,0.8470448628020625,0.8480125763257326
+13,7616,0.8467831902822386,0.8478403609043937
+13,7680,0.8467051070602014,0.8480826012850895
+13,7744,0.8469043702903414,0.8482521334305552
+13,7808,0.8461584526028119,0.847318066949647
+13,7872,0.8465922239408312,0.8477639124530594
+13,7936,0.8461856446378624,0.8472870099887126
+13,8000,0.8455277280084299,0.846606461476354
+13,8064,0.845887589825243,0.8472868534049747
+13,8128,0.8464093547226516,0.8476209728526358
+13,8192,0.846389808094553,0.8476999479961054
+13,8256,0.8467537354776105,0.8477506722303991
+13,8320,0.8460005661841894,0.8471586664837711
+13,8384,0.8470323591569842,0.848154224110318
+13,8448,0.8462338211219073,0.8472476681879808
+13,8512,0.8468710550622159,0.8481416618240685
+13,8576,0.8462944015014704,0.8473513285384375
+13,8640,0.8463049086304414,0.8474189460228235
+13,8704,0.8467686809784704,0.8476462379946268
+13,8768,0.8476437249424198,0.8488975431286284
+13,8832,0.846011561354071,0.8471313532976623
+13,8896,0.846813967459582,0.8478565441895833
+13,8960,0.8465309206235717,0.8476878928276437
+13,-1,0.846265842870495,0.8474761987313734
+14,64,0.8467297661992061,0.8478442719391213
+14,128,0.847287054184144,0.8481598664629663
+14,192,0.8470699612756267,0.8481412116458219
+14,256,0.846969477755684,0.8482785941672542
+14,320,0.8472989540929841,0.8482122330471478
+14,384,0.8464468072857159,0.8476694195052865
+14,448,0.8469932837463275,0.8480438432512248
+14,512,0.8471299335835157,0.8480827543101062
+14,576,0.8469381595752841,0.8477713145933988
+14,640,0.846568062865745,0.8474571026327856
+14,704,0.8463245753319967,0.8469998478688306
+14,768,0.8465270061619231,0.8477965548243406
+14,832,0.8467333543139997,0.8477684854099519
+14,896,0.8470806611860688,0.8480598538025815
+14,960,0.8479446969398181,0.848757099971209
+14,1024,0.8472460771922714,0.8480107507016968
+14,1088,0.8474741219106628,0.8484453381902224
+14,1152,0.8466152927335405,0.8474998535519683
+14,1216,0.8468488638659952,0.8478958271348425
+14,1280,0.846764770863435,0.8478278253085542
+14,1344,0.8469557246039673,0.8482731476799329
+14,1408,0.8463831476958353,0.8475171169090776
+14,1472,0.8470228577564788,0.8480933628583526
+14,1536,0.8463328057784697,0.8475823553882632
+14,1600,0.8464222459372769,0.84749026635674
+14,1664,0.8456841332256951,0.8467344402123604
+14,1728,0.845953611630944,0.8473147448832976
+14,1792,0.8456597856010872,0.846674224868314
+14,1856,0.8453185120819536,0.8462233544504021
+14,1920,0.8467932533739666,0.8477754533862908
+14,1984,0.8462314226830033,0.8469693264954544
+14,2048,0.8460222983938687,0.8469752624426115
+14,2112,0.8459541704041968,0.8466694757547163
+14,2176,0.8463146917636473,0.8470809546863692
+14,2240,0.8468383173656466,0.8476449995596084
+14,2304,0.847861881644604,0.8486493721388576
+14,2368,0.8471195456472826,0.8479091207383226
+14,2432,0.8463775174157075,0.847161435168956
+14,2496,0.8470309803486485,0.8479246474394292
+14,2560,0.8469268225676365,0.8479032239371
+14,2624,0.8462609652018513,0.8473072751272528
+14,2688,0.8469909823981284,0.848165371804844
+14,2752,0.846355654920929,0.8474913108414465
+14,2816,0.8474925857072695,0.8486393845874811
+14,2880,0.8479533713715806,0.848899744197763
+14,2944,0.8469051688922293,0.847814755904517
+14,3008,0.8464702672982126,0.8474789140357384
+14,3072,0.846052306614998,0.8470246610532144
+14,3136,0.8469760276792588,0.8476944586684738
+14,3200,0.8460469987719453,0.8465542354616646
+14,3264,0.8467255545598968,0.8473767556022483
+14,3328,0.8465341396855245,0.8473523730231441
+14,3392,0.8465847148984446,0.8473900919103843
+14,3456,0.8476420898874673,0.8486643978146272
+14,3520,0.8475251180479403,0.8484549467377788
+14,3584,0.8464555744745503,0.8471359209164728
+14,3648,0.8473415351228879,0.8480637970016499
+14,3712,0.8471727143025845,0.8478922630754432
+14,3776,0.8466927392386379,0.8472895135491592
+14,3840,0.8465309997285416,0.8474345083111433
+14,3904,0.8471166208873563,0.8479989339675633
+14,3968,0.8464680916946622,0.8474026969012897
+14,4032,0.8471628895576455,0.8480835407875172
+14,4096,0.846222837928,0.8474847663529443
+14,4160,0.8462945741413027,0.847390807213369
+14,4224,0.8468037084393233,0.8478687363688158
+14,4288,0.8465796944522087,0.8478994374576186
+14,4352,0.8470805548088939,0.8484442954848765
+14,4416,0.846988499232193,0.8481343700040896
+14,4480,0.8460520767657074,0.8472457661880077
+14,4544,0.846473680719016,0.8475387555777342
+14,4608,0.8459468966085096,0.8470523568018647
+14,4672,0.8457698010445694,0.8467133850376878
+14,4736,0.8460856861990842,0.8471895899926565
+14,4800,0.8464059978043044,0.8473897146859247
+14,4864,0.8452568058160873,0.8460948899489359
+14,4928,0.8459716135752973,0.8469503282617029
+14,4992,0.8464676699353708,0.8474344513716022
+14,5056,0.8464975139792666,0.8473364406278073
+14,5120,0.8464679211322648,0.8472234512259887
+14,5184,0.8466436203289048,0.8475452201313188
+14,5248,0.8458079252073494,0.8467645683470313
+14,5312,0.8461444610291583,0.8469685435767645
+14,5376,0.8466438163010578,0.8475670742389273
+14,5440,0.8470206435302413,0.8476078892137136
+14,5504,0.8460670166293495,0.8466856572605455
+14,5568,0.8466406052495095,0.8473453605627888
+14,5632,0.8464343489879576,0.8470404813488296
+14,5696,0.8471365909731646,0.8476201365531264
+14,5760,0.846900950457922,0.8474482609896733
+14,5824,0.8470511194830823,0.8477048376791952
+14,5888,0.847075977028368,0.8479187773286165
+14,5952,0.8463915792044702,0.8473088267297472
+14,6016,0.8466434116953496,0.8474300225429231
+14,6080,0.8462582192130695,0.8472005330607065
+14,6144,0.8459682167271491,0.8467521163811426
+14,6208,0.8462284421552978,0.8471108319311872
+14,6272,0.8459141681957627,0.8469259421238773
+14,6336,0.8467294870691794,0.8478697683979978
+14,6400,0.8474372628412918,0.8485020802222634
+14,6464,0.8471875122867044,0.8481834874757087
+14,6528,0.8471684883274739,0.8482974448497255
+14,6592,0.8474142196233403,0.8483642651805365
+14,6656,0.8476897039406839,0.8484999236371452
+14,6720,0.8466424576701528,0.847344853445001
+14,6784,0.8469122026013597,0.8478361349228297
+14,6848,0.8476317079878756,0.8485790126596968
+14,6912,0.8476250153385989,0.8485706372090769
+14,6976,0.847631683926548,0.8484163399495698
+14,7040,0.8467315959276458,0.8477526277477627
+14,7104,0.8463482230248766,0.8472412893165908
+14,7168,0.846561639908332,0.8476960084916074
+14,7232,0.847754557551346,0.8489770556390168
+14,7296,0.8470204094116873,0.8482699074641736
+14,7360,0.8468007071544051,0.8479590282460739
+14,7424,0.8459150742360867,0.8470912127005658
+14,7488,0.8470937169978818,0.8478827417165594
+14,7552,0.8456540797740809,0.8467941448798979
+14,7616,0.8461727390239745,0.8474223428223208
+14,7680,0.84610463152335,0.8471457323111442
+14,7744,0.8461668458050475,0.8473514815634542
+14,7808,0.8464677895338005,0.8477019141896331
+14,7872,0.8459590335179749,0.8469086448220431
+14,7936,0.8459717797607758,0.847096241790056
+14,8000,0.8466910349590071,0.8478077139486376
+14,8064,0.8470811205892876,0.8482778345159074
+14,8128,0.8468199163920858,0.8479768254113808
+14,8192,0.8465143765812762,0.8476239301500504
+14,8256,0.8464178880707734,0.8475367610507482
+14,8320,0.8462863491251726,0.8473468000655615
+14,8384,0.8463761820047256,0.8475916756793925
+14,8448,0.8465424393234705,0.8475611525266558
+14,8512,0.846796157783161,0.84791467946102
+14,8576,0.8467216622457433,0.8476756205771815
+14,8640,0.8458890381216406,0.8470112606880947
+14,8704,0.8468800377095282,0.8477929124730725
+14,8768,0.8472732603104862,0.8483976797943434
+14,8832,0.8466143201303813,0.847650342979666
+14,8896,0.8461481840207437,0.8473296167796819
+14,8960,0.846840473680187,0.8479210762625874
+14,-1,0.8469181560239549,0.8480257133454746

modules.json

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:f83ea5d68ac85ec15f650b350f0dc37b03d63abd60442f518e14c06f479beee6
+size 341

pytorch_model.bin

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:4f5ada2c9af2a71d51c7ca6928e0b67d5a252118d093d823792b9f6753060302
+size 44715182

sentence_bert_config.json

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:70f4448f31320443fe3557cacea5abf2dcc4915dda8c80646bec9f3bb0aa5a1f
+size 53

special_tokens_map.json

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:303df45a03609e4ead04bc3dc1536d0ab19b5358db685b6f3da123d05ec200e3
+size 112

tokenizer.json

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:a9576e4dadfe7f78f071a1c00ba6902cc83ec6ed7e9b590ee974950bd4d54393
+size 466248

tokenizer_config.json

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:7f5ffcd7e421a57a32030abffff4254265dfadc747e1487d6b6848e5245d8aee
+size 519

vocab.txt

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:07eced375cec144d27c900241f3e339478dec958f92fddbc551f295c992038a3
+size 231508