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
+config.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
+tokenizer.json filter=lfs diff=lfs merge=lfs -text
+vocab.txt 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
+eval filter=lfs diff=lfs merge=lfs -text
+modules.json filter=lfs diff=lfs merge=lfs -text
+special_tokens_map.json filter=lfs diff=lfs merge=lfs -text
+tokenizer_config.json filter=lfs diff=lfs merge=lfs -text
+2_Dense filter=lfs diff=lfs merge=lfs -text
+config_sentence_transformers.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:87bc2276966306a852eeb365e10008072b05aacc5540741208d959c02d1fc669
+size 190

2_Dense/config.json

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

2_Dense/pytorch_model.bin

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

README.md

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

config.json

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:f8e3a19006093c77f7487cda22be1006cbdaf4c8a9bef9eaff7945cb22ac549e
+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.8126480953141323,0.8168574361706669
+0,128,0.7943613682703552,0.8014836367423052
+0,192,0.7635841969175428,0.7748393603476881
+0,256,0.7667809927156524,0.7768339756031969
+0,320,0.7410008120819966,0.7575516242179487
+0,384,0.7088089218541874,0.7351043104478594
+0,448,0.7140555790668902,0.7424409465301223
+0,512,0.7220044330849597,0.7514959243093082
+0,576,0.7350440738324411,0.7634689574830582
+0,640,0.7422192383958627,0.7706226634875226
+0,704,0.7443698394191909,0.7737353985298246
+0,768,0.7478136499943208,0.7765304540414203
+0,832,0.7512879561970676,0.7785905444310822
+0,896,0.7548961251394721,0.7813398310259033
+0,960,0.7603937725134419,0.784064395183734
+0,1024,0.7623621982621085,0.7851309137133442
+0,1088,0.7657867451099573,0.7876126961856793
+0,1152,0.7666172715788258,0.7874574811552322
+0,1216,0.7709313540280742,0.7896945467559944
+0,1280,0.7699484082522752,0.7894043739578784
+0,1344,0.772903359076799,0.7909092787243706
+0,1408,0.7757975044694382,0.7927915471139082
+0,1472,0.7772158989036146,0.792995847966642
+0,1536,0.779421071029995,0.7948257175568567
+0,1600,0.7815348841749974,0.795960910511084
+0,1664,0.7838325265176112,0.7976346269686246
+0,1728,0.7852682259726658,0.7994211175253442
+0,1792,0.78709523017034,0.8002266572271632
+0,1856,0.7878827394391449,0.8007381753737618
+0,1920,0.7890563408119161,0.8024279665754918
+0,1984,0.7908408932481817,0.8029298904094193
+0,2048,0.7928810540143332,0.80492075477266
+0,2112,0.7938734584441715,0.8058499867306588
+0,2176,0.7948993825030073,0.8062950849025945
+0,2240,0.7951299474319675,0.8068786493622582
+0,2304,0.7963749265583336,0.8078326197714929
+0,2368,0.7980304074130742,0.8093254464244843
+0,2432,0.7987690777356408,0.8095014091793701
+0,2496,0.8004739329584275,0.8104900858490057
+0,2560,0.8024138457445978,0.8120873771561449
+0,2624,0.8032856421288874,0.8127792388435706
+0,2688,0.8043447518905441,0.814161917733715
+0,2752,0.8043366826572553,0.814020232582556
+0,2816,0.8058482874738738,0.8149561040595775
+0,2880,0.8065331301337919,0.8155998920356851
+0,2944,0.8072187575518351,0.8164491915541799
+0,3008,0.8075499456560292,0.8162433416038625
+0,3072,0.8084353513207366,0.8172913985410899
+0,3136,0.8111674776359586,0.8193176188006163
+0,3200,0.8127263667360815,0.8208408298162132
+0,3264,0.8127265988749562,0.8208452675416956
+0,3328,0.8128850195580009,0.820383722739193
+0,3392,0.814308487422817,0.8218576757136788
+0,3456,0.8132424881418744,0.8206098616852895
+0,3520,0.8157924622418314,0.8225267064244945
+0,3584,0.8152542284994985,0.8224530960534104
+0,3648,0.8167455779005635,0.8236875986847133
+0,3712,0.8169230708229649,0.8240495562298777
+0,3776,0.8178648448255571,0.8252046015109726
+0,3840,0.8181849478790999,0.8256245697723273
+0,3904,0.8199734062883476,0.826397764256095
+0,3968,0.8189595574167301,0.8259066553762505
+0,4032,0.8199107443059688,0.8271814427328631
+0,4096,0.8186058874860189,0.8258898777846007
+0,4160,0.8207729341480775,0.8280663995956544
+0,4224,0.8224364925069318,0.8296420796622916
+0,4288,0.8222718099632649,0.8288441894319438
+0,4352,0.8231297159516455,0.8300378326044441
+0,4416,0.8232995000807406,0.8303532456335019
+0,4480,0.8220339771320451,0.8287901004266448
+0,4544,0.8238319306374913,0.8301563433623863
+0,4608,0.821766630703497,0.8286838476842795
+0,4672,0.8224812570146196,0.8297548893486836
+0,4736,0.8249216647742647,0.8323153662046642
+0,4800,0.8265866985603505,0.8330369734642188
+0,4864,0.8266998498019302,0.8340249118684255
+0,4928,0.8279378961090464,0.8348203020970482
+0,4992,0.8273558864240275,0.8341518692514139
+0,5056,0.8255949897705083,0.832266145530127
+0,5120,0.8259229683986743,0.8330347421459531
+0,5184,0.8287476974294187,0.8346813197947294
+0,5248,0.827619872081847,0.8336851144809028
+0,5312,0.8276237951852626,0.8332611122599316
+0,5376,0.8286187335557919,0.8348844765185598
+0,5440,0.8293080979569739,0.8349871171587882
+0,5504,0.8276316205363174,0.8338842409528417
+0,5568,0.8303787699791106,0.8365474153885916
+0,5632,0.8296512721049207,0.8360329986634805
+0,5696,0.8304683562706054,0.8365129420551927
+0,5760,0.8319023050818396,0.8375503466857075
+0,5824,0.8301474437842212,0.8363674899975193
+0,5888,0.8293242059379456,0.835689562483411
+0,5952,0.8310959578253548,0.8374124266617017
+0,6016,0.8309923267242482,0.8365667944055241
+0,6080,0.8318235704355023,0.8375377559296875
+0,6144,0.8313847568148316,0.8380291459485162
+0,6208,0.8311397585172685,0.8372932806720045
+0,6272,0.8314227648168304,0.836955791115256
+0,6336,0.8319393440996949,0.8378363814356754
+0,6400,0.8325447027600245,0.838316256466939
+0,6464,0.8301218172325693,0.8356181494758319
+0,6528,0.8332808655756425,0.8392486021624092
+0,6592,0.8315794451044657,0.8381860944554046
+0,6656,0.8326300594742845,0.83873778166887
+0,6720,0.8316568231069993,0.837471720296927
+0,6784,0.8334757017653975,0.8383932921072906
+0,6848,0.8338821355710413,0.8394552608116969
+0,6912,0.8332459438906827,0.8394055810621099
+0,6976,0.8353360559713203,0.8406793549304179
+0,7040,0.8336232799724679,0.8394974708052392
+0,7104,0.8346806697555421,0.8402799926975791
+0,7168,0.8325179338105964,0.838459745889806
+0,7232,0.8309672859638066,0.8367455365217584
+0,7296,0.8315985181160556,0.8368677981719687
+0,7360,0.832576284165839,0.8379008415895095
+0,7424,0.8351144961010907,0.8402780158278875
+0,7488,0.8348820718576274,0.8399882202542308
+0,7552,0.835935543403457,0.8413410484481461
+0,7616,0.8342847932658285,0.8395411096253904
+0,7680,0.8362013094395592,0.8418819226287108
+0,7744,0.835054748264732,0.8408732315411432
+0,7808,0.8352651121773635,0.8408987422349051
+0,7872,0.8362042965864376,0.8416111982425928
+0,7936,0.8357455510725361,0.8410115714942645
+0,8000,0.8373287020096346,0.8423413909173252
+0,8064,0.8356928094458479,0.8411330786955555
+0,8128,0.8360573831898019,0.8414186091417135
+0,8192,0.8357957503583402,0.8421920562946946
+0,8256,0.8355185845960242,0.8411547068243604
+0,8320,0.8373800261926634,0.8421166736803948
+0,8384,0.8359259749390668,0.8413528724415436
+0,8448,0.8357589072506348,0.8407363168559097
+0,8512,0.8384742436533711,0.8435290910252258
+0,8576,0.840183802382615,0.8449314852314671
+0,8640,0.8365094871293443,0.8422080474089331
+0,8704,0.8377543640348621,0.8427227033174598
+0,8768,0.8375242286300701,0.8430445515449324
+0,8832,0.8375992626469209,0.842868373487407
+0,8896,0.8366917912079704,0.8422079406472938
+0,8960,0.8389708231133253,0.8438846286371342
+0,-1,0.8387845351020022,0.8435693223697158
+1,64,0.8385368754612048,0.843887641094729
+1,128,0.8380241215021725,0.8430095764318278
+1,192,0.8386407965541061,0.8434084966359525
+1,256,0.8391909343848684,0.8442843922582111
+1,320,0.837529702796996,0.8429736030973937
+1,384,0.8362899532444739,0.84111347547918
+1,448,0.8363432877469014,0.8414783031330869
+1,512,0.8367510973207084,0.8423546968354094
+1,576,0.8388269467545129,0.8440996046247699
+1,640,0.8396558486296517,0.8442044384663793
+1,704,0.8392269777483033,0.8439537354463914
+1,768,0.8387254762424273,0.8430080426229402
+1,832,0.8384640331943536,0.8431831993274476
+1,896,0.8384386801256501,0.8433465446359034
+1,960,0.8407299400729529,0.8460127831307073
+1,1024,0.8383287572201545,0.8426744658802797
+1,1088,0.8381724035228202,0.8428917471690179
+1,1152,0.8387914244388079,0.8435754629433487
+1,1216,0.8393968000396167,0.8442289865260247
+1,1280,0.8402284408961874,0.8446113462205002
+1,1344,0.8381891860320021,0.8424526098552884
+1,1408,0.8407072147740491,0.8459615962626426
+1,1472,0.8417093976500348,0.8454877311669399
+1,1536,0.8395426242991234,0.8439481945173006
+1,1600,0.8396777872069615,0.8437367121649486
+1,1664,0.8378559664722212,0.8422055029231915
+1,1728,0.8389248556101746,0.843443863208402
+1,1792,0.8397603962515062,0.8435751106299381
+1,1856,0.8387343298395723,0.8432957456684622
+1,1920,0.8395328336978705,0.8439680824313813
+1,1984,0.8419596856565768,0.846271148077691
+1,2048,0.8402314625757319,0.8443975506992922
+1,2112,0.8420960669501356,0.8460688436676158
+1,2176,0.8413721654592035,0.8460156745917775
+1,2240,0.840958438237658,0.8461686230959053
+1,2304,0.8401495074780667,0.8447046434379105
+1,2368,0.8407183672177514,0.844511732272752
+1,2432,0.8416551105687486,0.8457476121292046
+1,2496,0.8425556558564345,0.8468461484745048
+1,2560,0.840512806027821,0.8449086791659064
+1,2624,0.8423509682057866,0.8469642053586562
+1,2688,0.8414086371663095,0.8453187061392619
+1,2752,0.8416996973311004,0.8457166512537458
+1,2816,0.8401670097042685,0.8446710295357097
+1,2880,0.8407108106609915,0.84586788801292
+1,2944,0.8422191423809837,0.8465684988167036
+1,3008,0.8428176960712948,0.8466062924370916
+1,3072,0.8409609084650098,0.844856285891315
+1,3136,0.842309502519547,0.845851673451107
+1,3200,0.8388569001788153,0.8429077489594203
+1,3264,0.8403509173956554,0.844324915417849
+1,3328,0.8407624935445112,0.8453159605857656
+1,3392,0.8405231933079134,0.8437852246539437
+1,3456,0.841753956142277,0.8456300177420017
+1,3520,0.8426967786957941,0.8467954507936482
+1,3584,0.8429710819862131,0.8468486449175089
+1,3648,0.8433776378418316,0.8474718072692681
+1,3712,0.8416646597361473,0.8457487135534524
+1,3776,0.8411178665526325,0.8452018608628962
+1,3840,0.840963421644095,0.844673394306025
+1,3904,0.8406949991102424,0.8441291697311616
+1,3968,0.8395989746914991,0.8434589183789342
+1,4032,0.8392933525307759,0.8438058527820583
+1,4096,0.8408209686440523,0.8448366540664551
+1,4160,0.8403511515105512,0.844238297920351
+1,4224,0.8407160942088816,0.8447729637697567
+1,4288,0.84139966753829,0.8446424893415401
+1,4352,0.8403846214771182,0.8438181908688648
+1,4416,0.8425240268131137,0.8462567726229305
+1,4480,0.84146867663725,0.8447785972256017
+1,4544,0.840724174506213,0.8437951695006644
+1,4608,0.8426219558156263,0.8461325999393728
+1,4672,0.8418148370399983,0.8455126422161596
+1,4736,0.8425482627878301,0.8457229705151983
+1,4800,0.8413286437604781,0.8450785547279793
+1,4864,0.8406941270764842,0.8435663259263668
+1,4928,0.8441651220591633,0.8473686274827601
+1,4992,0.8432658053614038,0.8460113596421804
+1,5056,0.8448695740716091,0.8475228144219064
+1,5120,0.8420321295333099,0.8450294248008358
+1,5184,0.8424874417940753,0.8454632169151469
+1,5248,0.8437346261445089,0.8471654590564413
+1,5312,0.8415748116766556,0.8442286964902375
+1,5376,0.8441684237330611,0.8474061630958525
+1,5440,0.8438154175741849,0.8471163853158025
+1,5504,0.8450252095740582,0.847968976515586
+1,5568,0.8422267664087785,0.8454249108388894
+1,5632,0.8435511401147182,0.8468173566396886
+1,5696,0.8422669123493188,0.8450739888885292
+1,5760,0.8433404293333583,0.8467838121325535
+1,5824,0.8453563671256633,0.8480401848857109
+1,5888,0.8434807003786863,0.8464278777232184
+1,5952,0.8439117652664356,0.8473364868911846
+1,6016,0.8426149129800434,0.8461677529885433
+1,6080,0.8435305775729907,0.8462895217558514
+1,6144,0.8437789939404448,0.8467831039470114
+1,6208,0.8434833250787858,0.8467772694234121
+1,6272,0.8415908043104954,0.8447651861843183
+1,6336,0.8414774455565667,0.8450321045179875
+1,6400,0.8413541396054915,0.8443043798164886
+1,6464,0.8433050682770397,0.8462840947058428
+1,6528,0.8435441384767512,0.8468054260264731
+1,6592,0.8424742181382209,0.8449139460734557
+1,6656,0.842394417583554,0.8452950424218636
+1,6720,0.8432089569087746,0.8466693974628475
+1,6784,0.845029032168452,0.8473177840313023
+1,6848,0.8437187432337129,0.8461456640053281
+1,6912,0.8445791129920098,0.8477041988887187
+1,6976,0.8428611578622088,0.8453404410297062
+1,7040,0.8431205731773339,0.845932519730121
+1,7104,0.8434918249484449,0.8462328508982369
+1,7168,0.8448742658308696,0.8482462900101526
+1,7232,0.8446655335702237,0.8473508071857647
+1,7296,0.8434325569485688,0.8465752308905868
+1,7360,0.8423773276145213,0.8450124924048089
+1,7424,0.8444399039455481,0.8476401543605351
+1,7488,0.8446950961012479,0.8471938195329417
+1,7552,0.8443404771338577,0.8478041171071397
+1,7616,0.8453628286251641,0.8489268634335602
+1,7680,0.8452317752239116,0.848426115757028
+1,7744,0.844029559451778,0.8471210063154327
+1,7808,0.8446627971877863,0.847963832519852
+1,7872,0.8426002940244103,0.8459897457482608
+1,7936,0.8449829936866904,0.8482140853615933
+1,8000,0.8443191615720292,0.8468668175279148
+1,8064,0.8420583825190061,0.8441009846583298
+1,8128,0.843116143173477,0.8459099449814458
+1,8192,0.8454843881588878,0.8480902151693476
+1,8256,0.8445279358547332,0.8475559087507948
+1,8320,0.8465344168926796,0.8487674344979137
+1,8384,0.844331643704438,0.8468980702185217
+1,8448,0.8436939736334362,0.8464115787795858
+1,8512,0.8446062402267118,0.8472821701277212
+1,8576,0.8428714712813566,0.8467697265765846
+1,8640,0.8425684704512415,0.8461315056325679
+1,8704,0.8439450578379813,0.8464206784299938
+1,8768,0.843668796523601,0.8466700896341437
+1,8832,0.8422423637308981,0.8456289366423918
+1,8896,0.8422011213833972,0.8457726637479165
+1,8960,0.8437686000670716,0.8464593055435784
+1,-1,0.8438267054161117,0.846818600412789
+2,64,0.8437096363715043,0.8464818724224022
+2,128,0.8435478400911783,0.846810840620957
+2,192,0.843484601701078,0.8465057692360469
+2,256,0.8447982870658196,0.8473970100646246
+2,320,0.8448862916059822,0.8481514500870513
+2,384,0.8424304445089986,0.8449364514270651
+2,448,0.8417373548101112,0.8442583975783501
+2,512,0.8442919443489401,0.8474209317893185
+2,576,0.8438007604322565,0.846174331284898
+2,640,0.8416498058833115,0.8446315384052536
+2,704,0.8427868316449116,0.8459888240394399
+2,768,0.8428459506298857,0.8457263843565479
+2,832,0.8434764740361869,0.8465675788872432
+2,896,0.8450548003811993,0.8480324090796328
+2,960,0.8443354314657808,0.8475651774404653
+2,1024,0.8454490583514012,0.8484773898137651
+2,1088,0.8431421656308005,0.8468650168149284
+2,1152,0.8452146160596417,0.8490068812823757
+2,1216,0.8433132364125799,0.8466178972901759
+2,1280,0.8435966605558238,0.8468989563401298
+2,1344,0.8436148421707993,0.8467917356255661
+2,1408,0.8441906558180634,0.8480477026844931
+2,1472,0.845300614533947,0.8492689579756931
+2,1536,0.8454211799183999,0.8492031481869035
+2,1600,0.8458673984321299,0.8494163548745663
+2,1664,0.8445010402369555,0.848357284748673
+2,1728,0.8444836661167215,0.8477127042326666
+2,1792,0.8446980210754925,0.8476592985018605
+2,1856,0.8426930782389306,0.8465699418781979
+2,1920,0.8456273539736358,0.8493696288636725
+2,1984,0.8460935409176719,0.8495333941012437
+2,2048,0.84452175151313,0.8481443468793023
+2,2112,0.8445721064405064,0.8479872969488563
+2,2176,0.8447027253372891,0.8476653910327554
+2,2240,0.845728500295005,0.8486089664170229
+2,2304,0.8454486519331239,0.8487560305754531
+2,2368,0.8448055241820069,0.8478812666265734
+2,2432,0.8463224638227863,0.8495180435568425
+2,2496,0.8437482925959765,0.8471392981430027
+2,2560,0.8458051576939242,0.8495404421488124
+2,2624,0.8449749909224799,0.8485697243970591
+2,2688,0.8457957158742163,0.8486022813590289
+2,2752,0.8466070119280852,0.8499991150632121
+2,2816,0.8471200489041726,0.8506455318794182
+2,2880,0.8457677452241412,0.848744236973008
+2,2944,0.8460030556759182,0.8497875704332373
+2,3008,0.8457793303897403,0.848892886541785
+2,3072,0.8441380081718858,0.8473489335189912
+2,3136,0.8462925180953441,0.8496549173167808
+2,3200,0.8451772365308821,0.8481253468661901
+2,3264,0.8463770056314623,0.8495214029897658
+2,3328,0.8462476472672325,0.8491756625376433
+2,3392,0.8441892182362922,0.8470612251353872
+2,3456,0.8434044207126145,0.8464759346958847
+2,3520,0.8439877591413688,0.847119477844627
+2,3584,0.8443671074696478,0.8476753358794763
+2,3648,0.8456757269026924,0.8484052474152244
+2,3712,0.844573776486108,0.8475816151742293
+2,3776,0.8454292844268454,0.8487067636375389
+2,3840,0.8436436169870948,0.8464346286175569
+2,3904,0.8459832903013915,0.84947931933083
+2,3968,0.8444610195649145,0.8477076437309536
+2,4032,0.8447038833874647,0.8478261633856992
+2,4096,0.8446510616572261,0.8473794548923674
+2,4160,0.8468693817235198,0.8485946496811643
+2,4224,0.8452806988904773,0.848378624621051
+2,4288,0.8458048303516167,0.8483440640989798
+2,4352,0.8462669457283805,0.8485811077214865
+2,4416,0.8454381072427996,0.8481456796204355
+2,4480,0.8465745337749229,0.8491451411642671
+2,4544,0.8442246316249322,0.8466691127651421
+2,4608,0.8459719600029274,0.8491130308218228
+2,4672,0.8481047761932343,0.8506594037751123
+2,4736,0.8461739676716311,0.8484501495814432
+2,4800,0.8469160332806727,0.8495903336423177
+2,4864,0.845668334671365,0.8484773844756832
+2,4928,0.8439535864349988,0.8470801539740729
+2,4992,0.8438630522594891,0.8470409155128302
+2,5056,0.8436539989593753,0.8465767319184708
+2,5120,0.8434593189408217,0.8462092138712485
+2,5184,0.8456824230757477,0.8484288132677864
+2,5248,0.8465099869048653,0.8491898671737808
+2,5312,0.8470862115298843,0.8497482198722732
+2,5376,0.8454203319156832,0.8479212595367353
+2,5440,0.8459505351435773,0.8489858421219488
+2,5504,0.8437029141518365,0.8464175983566938
+2,5568,0.8451799512812562,0.8476068055830723
+2,5632,0.8472905884057538,0.850320400738284
+2,5696,0.846527230893644,0.8492441839372438
+2,5760,0.8466104026029682,0.8483728150085009
+2,5824,0.8453277371375362,0.8474676328891629
+2,5888,0.8463341701783352,0.8483035373806205
+2,5952,0.8465771688291941,0.8480600585649063
+2,6016,0.847582438656824,0.8496748138588379
+2,6080,0.8466151596834198,0.8486999735972658
+2,6144,0.8452938978775826,0.847015887025807
+2,6208,0.8451696724245478,0.847441143547039
+2,6272,0.8470654645620465,0.8495991521537416
+2,6336,0.8446209476635852,0.847147582846229
+2,6400,0.8452226805652261,0.8478099658656243
+2,6464,0.845119868492954,0.8472096825332128
+2,6528,0.846516246146155,0.8486105952863464
+2,6592,0.8467266906106266,0.8491124347360022
+2,6656,0.8457691607851612,0.8480129410946675
+2,6720,0.846304782727242,0.8486830162901897
+2,6784,0.8451626904421007,0.8469661770270888
+2,6848,0.8462602742736174,0.8484140267807136
+2,6912,0.8448501934422551,0.84708984615158
+2,6976,0.8481211547694021,0.8507132223175912
+2,7040,0.8474139185713432,0.8499765652255863
+2,7104,0.8464686135767383,0.8491960024093315
+2,7168,0.8450975673774688,0.8478258537769444
+2,7232,0.8477852263294013,0.8503254782777627
+2,7296,0.8460802000854867,0.8480927436408433
+2,7360,0.8465630164202715,0.8491038172923328
+2,7424,0.8459797244401852,0.8477010423029104
+2,7488,0.8460164410457731,0.8482078469231242
+2,7552,0.846581973198545,0.8492604472936632
+2,7616,0.8460971837286878,0.8481621137954781
+2,7680,0.8451391955506461,0.8478686634150288
+2,7744,0.8456040554783746,0.8484997866263744
+2,7808,0.8447912979738937,0.8469334455509242
+2,7872,0.8461646343049573,0.8482428860932127
+2,7936,0.8454700685069834,0.8477103341242695
+2,8000,0.8450509303839325,0.8476752789399352
+2,8064,0.8445511264610398,0.8467943050223571
+2,8128,0.8458799469289316,0.8480480478804611
+2,8192,0.845769524465408,0.8480368663780825
+2,8256,0.8449356563269805,0.8474250937138988
+2,8320,0.8456368410139691,0.8480158539080656
+2,8384,0.8463642276802916,0.8480804108921188
+2,8448,0.8450468999845921,0.8472204332937167
+2,8512,0.8481528107319379,0.8509763933177135
+2,8576,0.8440608910492831,0.846298153434406
+2,8640,0.8460731290804092,0.8483565676663276
+2,8704,0.8448733224409101,0.8472067946308639
+2,8768,0.8446512421576042,0.8462740359800398
+2,8832,0.8443532147132131,0.8463928723609825
+2,8896,0.844772429125838,0.8467936057336182
+2,8960,0.8430335731674112,0.8454424286445729
+2,-1,0.8430897242752927,0.8457768861707594
+3,64,0.8460932276838304,0.8476388750002216
+3,128,0.8477300200110546,0.8494609207416206
+3,192,0.8459639679160774,0.847820640250215
+3,256,0.8466140843019593,0.8488791249664516
+3,320,0.8452092720071096,0.846841363773694
+3,384,0.8451746840916932,0.8468557659188645
+3,448,0.8451987168943492,0.846948431463241
+3,512,0.8459339168237973,0.8482079287737146
+3,576,0.8435635206216677,0.8455246956052609
+3,640,0.8462795978037126,0.8482403807534055
+3,704,0.8463031726197582,0.8483259768978856
+3,768,0.8450917936848821,0.8465946838881551
+3,832,0.843310535151243,0.8446370508645739
+3,896,0.846682020787342,0.8484288452962783
+3,960,0.8459860294013034,0.8472646398665131
+3,1024,0.8468168593761377,0.8481693113093418
+3,1088,0.8464091672485722,0.8477415814767945
+3,1152,0.8469057449329925,0.8482098558213078
+3,1216,0.8443221494778109,0.8462738178709226
+3,1280,0.8459969904160236,0.8480536813363059
+3,1344,0.8452631553986788,0.8473778445709715
+3,1408,0.8458015946186945,0.8476833928245382
+3,1472,0.8451843224279181,0.8469408877268854
+3,1536,0.8456689997957273,0.8479346367701662
+3,1600,0.8445759226095331,0.8470076610414825
+3,1664,0.8452079133950502,0.8476706953068787
+3,1728,0.844556655226445,0.8461835750635193
+3,1792,0.8464041251559997,0.8485464379041205
+3,1856,0.8465067023760134,0.8486840429812896
+3,1920,0.8463220733878223,0.8481625871054131
+3,1984,0.845622795358667,0.8471315169988429
+3,2048,0.8426068260153042,0.8438464755858933
+3,2112,0.844699787745477,0.8460687813899928
+3,2176,0.8455762258976764,0.8478139142669257
+3,2240,0.8451473845526399,0.8469248442583511
+3,2304,0.8465097701410554,0.8490089008567231
+3,2368,0.8445984350106974,0.8465710593166914
+3,2432,0.8454844926408969,0.8475958037961204
+3,2496,0.8461901436028423,0.8484398826704433
+3,2560,0.8463562244985233,0.8478429979168898
+3,2624,0.8467781286589041,0.848680758281514
+3,2688,0.8471588718552612,0.8489195075565976
+3,2752,0.846573583685308,0.8482493095851901
+3,2816,0.8489363150359209,0.8508161190523552
+3,2880,0.8466426189042948,0.8482243682868391
+3,2944,0.8472612884159849,0.8482823950172754
+3,3008,0.848318392263863,0.8493509544735609
+3,3072,0.845054059878265,0.8467210611995687
+3,3136,0.8469145975479672,0.8487773046114868
+3,3200,0.8478951813065367,0.8504326811987198
+3,3264,0.8497764075751698,0.8516881980794002
+3,3328,0.8475056429736147,0.8495579635132171
+3,3392,0.8480730765363418,0.849874195048178
+3,3456,0.8481121362512012,0.8498806754796964
+3,3520,0.8477861439094223,0.8499853143419445
+3,3584,0.8457733988201023,0.8480102311283846
+3,3648,0.8472322476862802,0.8494134723102994
+3,3712,0.8473616736631503,0.8499904833846574
+3,3776,0.8461658120571505,0.8483699342235946
+3,3840,0.8472243580126192,0.849248941947645
+3,3904,0.8466568768866358,0.8483984520368694
+3,3968,0.8474942681052141,0.8490826233275286
+3,4032,0.8476089898076833,0.8499740082843198
+3,4096,0.8486873006878947,0.8508954502013556
+3,4160,0.847327129937421,0.8491365575284503
+3,4224,0.8488755760814882,0.8507510141586182
+3,4288,0.8478990698034095,0.8497857697202508
+3,4352,0.8473075748841297,0.8497002303809209
+3,4416,0.8478627199318719,0.8495699332723673
+3,4480,0.8470337545359252,0.8488093686905541
+3,4544,0.8463093785646997,0.8480095015905146
+3,4608,0.8457840735508799,0.8467703459310895
+3,4672,0.8469334297204054,0.8482773557322346
+3,4736,0.8459316677957132,0.8469193015498995
+3,4800,0.8469985077409025,0.8482348327068722
+3,4864,0.8458024013484783,0.8478898022196525
+3,4928,0.8470869833719561,0.8489292993783016
+3,4992,0.8477236501602121,0.8492685184736105
+3,5056,0.8460577675957978,0.8476959408759024
+3,5120,0.8466907996548808,0.8482582401963354
+3,5184,0.8480714503513526,0.8501495653449754
+3,5248,0.8475301027630269,0.8494900008328634
+3,5312,0.8454066863123334,0.8477357256008672
+3,5376,0.8472501043996942,0.8489653723569327
+3,5440,0.8476224931046472,0.8493231857711234
+3,5504,0.848173543438499,0.84985063987178
+3,5568,0.8482356436444414,0.8503885156878135
+3,5632,0.8487781399579674,0.8505848734745677
+3,5696,0.8464042175961789,0.8480292916397592
+3,5760,0.8470360266458692,0.8488604683699467
+3,5824,0.8479247296405493,0.8497920597601788
+3,5888,0.8470750872444226,0.8489948972883403
+3,5952,0.846177002344648,0.8478217584423281
+3,6016,0.8471502645595982,0.8489014452665525
+3,6080,0.8485951718409864,0.8505532364420585
+3,6144,0.8475175617218136,0.8491962906657582
+3,6208,0.8467712859147865,0.8485901817065508
+3,6272,0.847746260369272,0.8502211935082858
+3,6336,0.8487076668804349,0.8501400973669114
+3,6400,0.8484205617883172,0.8502096472369725
+3,6464,0.848106175526733,0.8502597184459044
+3,6528,0.8476742722059918,0.8495952980585553
+3,6592,0.8487206611718521,0.851309406003045
+3,6656,0.846912212046144,0.8488931570046051
+3,6720,0.8484102222606563,0.8500500279097355
+3,6784,0.8473354442296157,0.8490192984157352
+3,6848,0.8475615901247553,0.8493615167584302
+3,6912,0.8481829432593002,0.8505724766688595
+3,6976,0.8485190369997612,0.8505009659433527
+3,7040,0.8486651277646339,0.8502165760673769
+3,7104,0.8480067273818608,0.8501074121569451
+3,7168,0.8454679190044047,0.8473005224535536
+3,7232,0.8475644178818071,0.8495684688585453
+3,7296,0.8484273105886926,0.8505660745292102
+3,7360,0.8478840799725961,0.8499364619950636
+3,7424,0.846532844714157,0.8486859334166968
+3,7488,0.8471497840930483,0.8491827354962613
+3,7552,0.845880685749188,0.8480580105207883
+3,7616,0.8457045564977093,0.8474971898490623
+3,7680,0.8482634048290637,0.8510425232565889
+3,7744,0.8493027372695474,0.8517413102156975
+3,7808,0.8475115932129624,0.8501510600079286
+3,7872,0.8501354452228586,0.8526424015848812
+3,7936,0.8485632111335784,0.8510010267866707
+3,8000,0.8484629045807822,0.8504907168259593
+3,8064,0.848145187283519,0.8496611689660291
+3,8128,0.8472648643074291,0.8495468585233472
+3,8192,0.8458212270566484,0.8478580014859627
+3,8256,0.8484550332609998,0.850434295078837
+3,8320,0.8481537590401254,0.8500871311381879
+3,8384,0.850379995605236,0.8524373106960149
+3,8448,0.8492122150145539,0.8510840553137203
+3,8512,0.8481472923680695,0.8496456788762415
+3,8576,0.8472038977328603,0.8493550185333051
+3,8640,0.8475819401916461,0.8496804351279853
+3,8704,0.8471015268180507,0.848755973635912
+3,8768,0.8496704951791324,0.8520263833661663
+3,8832,0.8473293958390934,0.8495973959247716
+3,8896,0.8492988167690564,0.8516051321857766
+3,8960,0.8473626217697793,0.8497935028216729
+3,-1,0.8480338758508053,0.8505490851936421
+4,64,0.8480413242366228,0.8495831557014212
+4,128,0.8477856393888913,0.849497362047908
+4,192,0.8481296988384448,0.850500707936057
+4,256,0.8476466222342568,0.849263705303029
+4,320,0.8502303065338667,0.8522979565073184
+4,384,0.8467661997689686,0.8488885413430568
+4,448,0.8478790773201954,0.8498882929226759
+4,512,0.8464973399476449,0.8481492792670478
+4,576,0.8485237496666418,0.8502713323329227
+4,640,0.8474375085155041,0.848761550152216
+4,704,0.8486871783683199,0.8504358911653478
+4,768,0.8475957011896974,0.849306970457442
+4,832,0.8487013510571233,0.8507993842987605
+4,896,0.8492786667981886,0.8514264648026898
+4,960,0.8476211205090387,0.8494089634103905
+4,1024,0.8467788728138868,0.8485633817305902
+4,1088,0.8458859788696401,0.8472924779640163
+4,1152,0.8475574283870502,0.8491373582407467
+4,1216,0.8459513537518317,0.8476822024322576
+4,1280,0.8467090513943748,0.8483593416895943
+4,1344,0.8472763538998659,0.84912564115081
+4,1408,0.8480991399480418,0.849503557781721
+4,1472,0.8473442275623774,0.8486329415225364
+4,1536,0.8486782491619447,0.8501344941601975
+4,1600,0.8472750725072462,0.8493221288308923
+4,1664,0.8472567702844579,0.8487035358773043
+4,1728,0.847572225811824,0.8495922197646159
+4,1792,0.8474367027221699,0.8491192390111604
+4,1856,0.8488793152051974,0.8504630904723746
+4,1920,0.8476905262277136,0.8494104456178192
+4,1984,0.8475762702042965,0.8490049941353884
+4,2048,0.8488626907041303,0.8504942423617341
+4,2112,0.8483225785170826,0.8500209940818698
+4,2176,0.8480777929905353,0.8498558445017063
+4,2240,0.8483372040103402,0.8496057927277194
+4,2304,0.8483903750908975,0.8498441647783435
+4,2368,0.8474299040214667,0.8492313849960269
+4,2432,0.8473352044550001,0.8491769721470882
+4,2496,0.8474392434207157,0.8494622196749013
+4,2560,0.8462902130414325,0.8482401601126839
+4,2624,0.8475785446508469,0.8495370524667578
+4,2688,0.846482902500313,0.8482513896578
+4,2752,0.8471862771394005,0.849028224713475
+4,2816,0.8477971891526559,0.8494416679246741
+4,2880,0.8479095343385253,0.8497338497555945
+4,2944,0.8465261607720422,0.8484103470628719
+4,3008,0.8466991600536913,0.848733188922679
+4,3072,0.8471274437863551,0.8488718598368827
+4,3136,0.8477344790065288,0.8494341876270862
+4,3200,0.8484932207611116,0.8501383482553839
+4,3264,0.8481657013172897,0.8496639315578771
+4,3328,0.8480466689381111,0.8492632124201266
+4,3392,0.848941381179368,0.8507405995606836
+4,3456,0.8488266804536306,0.8509277117894559
+4,3520,0.8477589707202695,0.8496582109133599
+4,3584,0.8475527358731544,0.8498517057088143
+4,3648,0.8493173116722635,0.8509977598805015
+4,3712,0.8485020946416736,0.8506847077960059
+4,3776,0.847322292659579,0.8491209952401304
+4,3840,0.8480625489231175,0.8504457701757241
+4,3904,0.8490921393095314,0.8502533252030581
+4,3968,0.8474641858811257,0.8489924737991232
+4,4032,0.8467010081620554,0.848191021288737
+4,4096,0.8485639906356001,0.8501633874185712
+4,4160,0.8482092334112405,0.8505968146303534
+4,4224,0.8475469508591378,0.8493625559050547
+4,4288,0.8490577626426906,0.8507485586409095
+4,4352,0.849560128152553,0.8513388259521738
+4,4416,0.8485165783246151,0.8503100387653283
+4,4480,0.8500491971042207,0.851927587924321
+4,4544,0.8485797089535618,0.8496992874541628
+4,4608,0.8472956134736959,0.8490911820522963
+4,4672,0.8487675144958513,0.8503632060618063
+4,4736,0.8489706577842062,0.8503106775558049
+4,4800,0.8474891777299031,0.8489845734377993
+4,4864,0.8477172267821413,0.8495631485701761
+4,4928,0.8488676315316666,0.8506114962687412
+4,4992,0.8484492306545562,0.8497026504458074
+4,5056,0.8474208029076649,0.8491731678740002
+4,5120,0.8491559516087371,0.851164806259127
+4,5184,0.8486059736572428,0.8507679768037764
+4,5248,0.8486538687408476,0.8501754230140658
+4,5312,0.8496750829277755,0.8515366499321105
+4,5376,0.8497927644225048,0.8516843795714271
+4,5440,0.8482698667672831,0.8501970119969359
+4,5504,0.8470801778039609,0.848693030531976
+4,5568,0.8488233384263125,0.8511445215476195
+4,5632,0.8488091484972776,0.8508831388049589
+4,5696,0.8490958249983797,0.8510827368074724
+4,5760,0.8496310511050612,0.8514636125151588
+4,5824,0.8485620115191331,0.8500343250519238
+4,5888,0.8492596065747887,0.8508617882564169
+4,5952,0.8483599011624872,0.8499077358623853
+4,6016,0.8479292892959432,0.8495422375237169
+4,6080,0.8482650282786124,0.8496640436575986
+4,6144,0.8480132382198087,0.8496963604058794
+4,6208,0.8509677039469338,0.8524342091384264
+4,6272,0.8505163197160074,0.852317001004447
+4,6336,0.8484488657314965,0.8498708623056644
+4,6400,0.8496834303066758,0.8508091209602842
+4,6464,0.8518781797487942,0.8531623058582636
+4,6528,0.8502949612429614,0.851872144825561
+4,6592,0.8506285593377223,0.8520596574104814
+4,6656,0.8479409228243194,0.8493699882945255
+4,6720,0.848780593709408,0.8502058963447041
+4,6784,0.8490082150233231,0.8503839836562163
+4,6848,0.8474405228218241,0.849602643124876
+4,6912,0.8486643868936553,0.8499279869002468
+4,6976,0.8490514787144807,0.8502667309062597
+4,7040,0.8480677511878327,0.849619209107085
+4,7104,0.8493339051521055,0.851087742149005
+4,7168,0.8494733164789342,0.8511125525312121
+4,7232,0.8510887702930953,0.8528948768480852
+4,7296,0.8503381911901233,0.8519271074969431
+4,7360,0.8493237426743322,0.85111499127813
+4,7424,0.849895094535566,0.8521460880751103
+4,7488,0.8470931040963825,0.849105285264876
+4,7552,0.8487442515879339,0.8506205354208866
+4,7616,0.8486590269381332,0.8500523321817886
+4,7680,0.8481181176358464,0.8500120990579377
+4,7744,0.8496184304285976,0.8508964128354719
+4,7808,0.849262089870447,0.8510893844988927
+4,7872,0.8486075723987376,0.850294220249074
+4,7936,0.8483972458881691,0.8502819871445462
+4,8000,0.8483288464825508,0.8497003977752136
+4,8064,0.8483147588903033,0.849985395168717
+4,8128,0.8489794815559433,0.8512198134145259
+4,8192,0.8489001862689669,0.8501901205331055
+4,8256,0.8471733245622428,0.8491881269590568
+4,8320,0.8482775038911358,0.8500909816746529
+4,8384,0.8484543813428348,0.8501498429252382
+4,8448,0.8485799984588259,0.8505013271535663
+4,8512,0.8501681436041838,0.852632041125662
+4,8576,0.8470721706921585,0.8487055981563075
+4,8640,0.8492141485312397,0.8513453686613154
+4,8704,0.8493956487450215,0.8507821743224708
+4,8768,0.8491123407181078,0.8508477846880341
+4,8832,0.8473985245160102,0.8498473836417746
+4,8896,0.850564101676479,0.8524649156972719
+4,8960,0.8494579169645173,0.8509046263642717
+4,-1,0.848899549642718,0.8503047131388775
+5,64,0.8499408629880899,0.8516352585410867
+5,128,0.8496345781710511,0.8516958689031994
+5,192,0.8484933761288361,0.8502324906691071
+5,256,0.847823238265221,0.8495030969273104
+5,320,0.8489269634956752,0.8501831685710124
+5,384,0.8496069568312176,0.850936982258487
+5,448,0.8507548306192643,0.8517368671521333
+5,512,0.8495502710129179,0.8506036215745587
+5,576,0.8487438809418656,0.8498687395283987
+5,640,0.8484228077268593,0.8495546823721627
+5,704,0.8486644701668637,0.8499575794473595
+5,768,0.8493676548777287,0.8511146478615231
+5,832,0.8495012844716726,0.8510485979938772
+5,896,0.8495816356156188,0.8502618554580553
+5,960,0.8506039035459837,0.8516131143976909
+5,1024,0.8491817607740304,0.8504215886643743
+5,1088,0.8488499553076599,0.8498461452067565
+5,1152,0.8503323861850617,0.8518815576434448
+5,1216,0.8484520117936469,0.849633216989419
+5,1280,0.8474725644286083,0.8486250518373764
+5,1344,0.8492612453635647,0.8506747774512021
+5,1408,0.8484818304785536,0.8497782376865831
+5,1472,0.8480552599164612,0.8492291163111874
+5,1536,0.8493971323740279,0.8508846797312895
+5,1600,0.8490488018718674,0.8500509941025732
+5,1664,0.8487694334346988,0.8503501829211464
+5,1728,0.8498348312914997,0.851507870552819
+5,1792,0.8499424080062062,0.8521148122528148
+5,1856,0.8478628823601952,0.8499612734000864
+5,1920,0.8487722715477078,0.8504343929436732
+5,1984,0.849965137246449,0.851664539700084
+5,2048,0.8499452628924712,0.8517403422434994
+5,2112,0.8486405697023909,0.8507748405540809
+5,2176,0.8484112137007731,0.8499916051374208
+5,2240,0.8511212076171295,0.8530232826306496
+5,2304,0.8492447528157625,0.8505985870071632
+5,2368,0.8498494239505815,0.8515521374872826
+5,2432,0.8498424659302214,0.8521147179466998
+5,2496,0.8492933696621418,0.8511246300748175
+5,2560,0.848839148897217,0.8506314980619041
+5,2624,0.8486453287773549,0.8502752273534043
+5,2688,0.849273743229512,0.8505090122122507
+5,2752,0.8495036796069932,0.8515198019229414
+5,2816,0.8503861306766981,0.8523313853560108
+5,2880,0.8500305527052214,0.8518140860666328
+5,2944,0.849630699806115,0.8510003773200303
+5,3008,0.8503378812225562,0.8521658069499285
+5,3072,0.8484162530087436,0.8499336523845837
+5,3136,0.8491925496952514,0.8502397949446103
+5,3200,0.8495809010353712,0.8512403098699518
+5,3264,0.8488358394271718,0.8499649833670597
+5,3328,0.8492687049025313,0.8510970055005933
+5,3392,0.8497120009972805,0.8508997349018214
+5,3456,0.8487802398851768,0.8504016509281952
+5,3520,0.8487729140483485,0.8503010636701667
+5,3584,0.8473247592645656,0.84860028491637
+5,3648,0.8479509450800954,0.8490622318543813
+5,3712,0.8482123755991148,0.8494188353033244
+5,3776,0.8487659002287836,0.8506087774056548
+5,3840,0.8487075626414461,0.8506697205082104
+5,3904,0.847677593748448,0.8493812320745271
+5,3968,0.848648108316961,0.8502866597456357
+5,4032,0.8461370253548616,0.8479989108358749
+5,4096,0.8478351694404527,0.8492887053202819
+5,4160,0.8486843192652397,0.8505087328526273
+5,4224,0.8485670277771261,0.8502193874572174
+5,4288,0.848699566774559,0.850302599258415
+5,4352,0.8500403000244195,0.851206579286576
+5,4416,0.8486759454436543,0.8503758377431213
+5,4480,0.8475783162812927,0.8496063389914416
+5,4544,0.8478715452702632,0.8493887409765061
+5,4608,0.8492070454717336,0.85055424000147
+5,4672,0.8475368499265767,0.8487399736248702
+5,4736,0.847163706478198,0.8484387456589824
+5,4800,0.8478359224291426,0.8496884725000798
+5,4864,0.8488278348820002,0.8507403540089128
+5,4928,0.8488921632190856,0.8502603572363807
+5,4992,0.8491735948055426,0.8504514765853562
+5,5056,0.8478881745072212,0.8493390434333125
+5,5120,0.8474407270439619,0.8489981382587647
+5,5184,0.8478303494952081,0.8500618570993937
+5,5248,0.8488715939776373,0.8506367150137966
+5,5312,0.8479509119609653,0.8494620399594748
+5,5376,0.8486396535269052,0.8501850493552287
+5,5440,0.8486931271026525,0.84968479812032
+5,5504,0.8489601056683356,0.8500905706423408
+5,5568,0.8483885926104732,0.8502150003095804
+5,5632,0.8489351820204651,0.8502400743042338
+5,5696,0.848738924084595,0.8500344869737437
+5,5760,0.8490307234015415,0.8505427221999272
+5,5824,0.8479498361693775,0.8491379319496681
+5,5888,0.8484595944951373,0.8500149940777291
+5,5952,0.8480868030787122,0.8498991968447914
+5,6016,0.8496631167617853,0.851310272551686
+5,6080,0.8470511965221753,0.8482960996530676
+5,6144,0.8485130983749787,0.8497282429901596
+5,6208,0.8478553131140847,0.8494239730725894
+5,6272,0.8482450375066651,0.8496641610954022
+5,6336,0.8469757216017317,0.8484653453214672
+5,6400,0.8482011263940605,0.8494068833377808
+5,6464,0.8486253366551414,0.8502122520870408
+5,6528,0.8490459223890443,0.8506581439877658
+5,6592,0.8494387347628626,0.8508241885863409
+5,6656,0.8479469923308909,0.8492214472667489
+5,6720,0.8482739848050472,0.8497222020607236
+5,6784,0.8486791935352779,0.8500185901656202
+5,6848,0.8496516009412761,0.8511946568135352
+5,6912,0.8492055226037001,0.8508677740256724
+5,6976,0.8489971653880066,0.8503272683145853
+5,7040,0.8486307702874103,0.8499261399238832
+5,7104,0.848360188306636,0.8493074935894755
+5,7168,0.8486695129418714,0.8497984796934349
+5,7232,0.8473761282378659,0.8487024985100403
+5,7296,0.8477135696655855,0.8487285732611308
+5,7360,0.8482175791524462,0.8496646308466159
+5,7424,0.8485729841837469,0.8499491719682477
+5,7488,0.8471439241635963,0.8486685945720521
+5,7552,0.8493875407244947,0.8508795854217238
+5,7616,0.8500261004257637,0.8512005269243479
+5,7680,0.8477036535091874,0.8492326910467503
+5,7744,0.8491100504529284,0.8505642008624367
+5,7808,0.8496618220873378,0.8512132742641058
+5,7872,0.848912551531625,0.8503378056884052
+5,7936,0.8501050283529019,0.8514804362373768
+5,8000,0.8498369127051674,0.8515137157525824
+5,8064,0.8502093894195427,0.8518104027900696
+5,8128,0.8489897304417674,0.8508151191850643
+5,8192,0.848825598146671,0.8509958257154657
+5,8256,0.8477364981929251,0.8493166519587851
+5,8320,0.8493644538817203,0.8511522172824678
+5,8384,0.8473872763008847,0.8491592532736502
+5,8448,0.8478860932381891,0.8497927153202727
+5,8512,0.8484031490512252,0.8500432592217904
+5,8576,0.8475312682601921,0.8491676340623521
+5,8640,0.8480143415993932,0.8491873848308154
+5,8704,0.847464714758878,0.8491911234024058
+5,8768,0.8482140091783463,0.8496649902774689
+5,8832,0.8483108908231293,0.8499678410202773
+5,8896,0.8489019291729913,0.8505170353494601
+5,8960,0.8481919186394502,0.8499507093358568
+5,-1,0.8488105186393382,0.8504206989840449
+6,64,0.8481903334913246,0.8491708422496194
+6,128,0.8488146827637142,0.8500967717142359
+6,192,0.8487056278018631,0.84987376800162
+6,256,0.8482666750571102,0.8496278941664592
+6,320,0.8487237266920955,0.8498953036036704
+6,384,0.8477969003362366,0.8497019849649211
+6,448,0.8476712049536325,0.8492265006510192
+6,512,0.8478437246014546,0.8496161165782602
+6,576,0.8474451565432972,0.8491990611303035
+6,640,0.8487635982354602,0.8506987080726992
+6,704,0.8497419298080111,0.8515833848398076
+6,768,0.8489936457754248,0.8508730249189758
+6,832,0.8485167052781334,0.8503544587248089
+6,896,0.8502929507014884,0.8519945114580502
+6,960,0.8484364145746343,0.8497966647455631
+6,1024,0.8484691041984388,0.8502279799898377
+6,1088,0.846949346356548,0.8488572956347523
+6,1152,0.8474729820111535,0.8492632497867004
+6,1216,0.8465374421976352,0.8478489196291615
+6,1280,0.8472944203440393,0.8485379272220906
+6,1344,0.8468051073743489,0.8483298630215638
+6,1408,0.8463554250794427,0.8476345369189361
+6,1472,0.8477388326133987,0.8490815041096744
+6,1536,0.8468896411481933,0.8482720907397017
+6,1600,0.8474801944682782,0.8489968083216876
+6,1664,0.847948409945913,0.849162902742361
+6,1728,0.8483535600058799,0.8498424975174063
+6,1792,0.8482242514081213,0.8499500189439213
+6,1856,0.8483615314450946,0.8496263567988503
+6,1920,0.849846858561198,0.8505695745316254
+6,1984,0.8498276079838764,0.8508831708334509
+6,2048,0.8487810882401862,0.850208205954839
+6,2112,0.8487653156590389,0.8504204249625036
+6,2176,0.8481396444395612,0.8496071165720493
+6,2240,0.847849018187919,0.8491938351480495
+6,2304,0.8499989464558098,0.8511439600262242
+6,2368,0.8477369421411972,0.8493344918287479
+6,2432,0.8483467897025434,0.8497794636660769
+6,2496,0.8487120791104368,0.8501105457450939
+6,2560,0.8480991476471399,0.8496559706982907
+6,2624,0.8480672887708446,0.8494923656031786
+6,2688,0.8486897727859234,0.8506590318887346
+6,2752,0.8479257989878098,0.849189600269682
+6,2816,0.8476772946297687,0.8486943293299718
+6,2880,0.8476794496106876,0.8487142565252722
+6,2944,0.8476262908152612,0.848748870428163
+6,3008,0.847163778103017,0.8484307847993962
+6,3072,0.8474513710089875,0.8488207957447034
+6,3136,0.8475333986015181,0.848723350837598
+6,3200,0.8470298058380789,0.8480684589265753
+6,3264,0.8452811618714086,0.8465167372151463
+6,3328,0.8489500257795128,0.850387195402205
+6,3392,0.8481450574135422,0.8497078728693402
+6,3456,0.8475834998725548,0.8485992493284665
+6,3520,0.8475582896090589,0.8492545985351785
+6,3584,0.8471695747922029,0.8482307526328821
+6,3648,0.8493507595780699,0.850406719303268
+6,3712,0.8488137244737018,0.8499786986790159
+6,3776,0.8490366627555226,0.8504371242622841
+6,3840,0.8483809450810704,0.8497743480041834
+6,3904,0.8477549234703715,0.849302555863648
+6,3968,0.8498739040781291,0.8517726038315998
+6,4032,0.8504046289356854,0.8524113409272033
+6,4096,0.848442220974957,0.8502234960009781
+6,4160,0.8466112465722232,0.8484403923217613
+6,4224,0.8482738697530158,0.8498768765446905
+6,4288,0.8495488930666317,0.8511739094682563
+6,4352,0.8482519507772199,0.8497941611851166
+6,4416,0.8487710561878776,0.8501759230144107
+6,4480,0.8479658834119698,0.8496350169471755
+6,4544,0.8471251632617572,0.8490855895217465
+6,4608,0.8477451902135859,0.849223109189604
+6,4672,0.8480330381203095,0.8492589722036772
+6,4736,0.8481629045072266,0.8500183428344885
+6,4800,0.8489305289733842,0.8506374055392905
+6,4864,0.8480145094771767,0.8495974920102473
+6,4928,0.8486274356288162,0.8498249512419522
+6,4992,0.8490633181800936,0.8506766528973363
+6,5056,0.8479134116057605,0.8491957408433146
+6,5120,0.848271053334731,0.8496868906484546
+6,5184,0.8477588903617288,0.848997201560393
+6,5248,0.8486593098597053,0.8500878322062874
+6,5312,0.8492375919261851,0.8507194732115845
+6,5376,0.8486800910644525,0.8499287271142808
+6,5440,0.8490406043693266,0.8505095620346942
+6,5504,0.8484403286949774,0.8496129920209439
+6,5568,0.8491834438934067,0.850356739865173
+6,5632,0.8484901982372043,0.8497002784236586
+6,5696,0.848180608619479,0.8494654776842672
+6,5760,0.8486897458658773,0.8499280331636241
+6,5824,0.8482621442115439,0.849305974015473
+6,5888,0.8475701903695531,0.8486156407988533
+6,5952,0.8471220482060493,0.8483551406190792
+6,6016,0.8493594181217896,0.8505918681413165
+6,6080,0.8482129539849678,0.8498454797258702
+6,6144,0.8477059656915852,0.8489122602206354
+6,6208,0.8477748705300684,0.8487970838493736
+6,6272,0.8471538597773203,0.8483115267099773
+6,6336,0.8468777855464248,0.8481683451165043
+6,6400,0.8476969973836771,0.8490145795512646
+6,6464,0.8479133597750698,0.8488052227802196
+6,6528,0.8482539234926377,0.8499317741352235
+6,6592,0.8480523933624565,0.8494471093441889
+6,6656,0.8473896262855911,0.8484073043561456
+6,6720,0.8481392771810523,0.8494567356853516
+6,6784,0.8471710910891217,0.8483751548677668
+6,6848,0.8501567367303088,0.8514586730099706
+6,6912,0.8492751003299482,0.8505000566900562
+6,6976,0.849517402552417,0.850775003499017
+6,7040,0.8503236569793662,0.8519442285051999
+6,7104,0.8482256036195436,0.8500680706268133
+6,7168,0.8496656510030165,0.8514555723411923
+6,7232,0.8477141376863824,0.8495888247444794
+6,7296,0.8494831813609186,0.8511762084022272
+6,7360,0.8493063790615071,0.8506695496895874
+6,7424,0.8493892826853625,0.8506806422239328
+6,7488,0.8517401979063839,0.8536991621006399
+6,7552,0.8504661211466755,0.8519827214143265
+6,7616,0.8524580103517175,0.8537252439691732
+6,7680,0.8485463727282715,0.8497561896286628
+6,7744,0.8494079266288243,0.850532336071763
+6,7808,0.849050682174067,0.8501193909469276
+6,7872,0.8480476141643154,0.8488855662520357
+6,7936,0.8487511055102404,0.8502820636570546
+6,8000,0.8494890241837094,0.8510781531744158
+6,8064,0.8495431799417462,0.850760197438977
+6,8128,0.8494142704887468,0.8505804018076242
+6,8192,0.8485891078269788,0.8493968441849452
+6,8256,0.8487856655837596,0.8500407626446982
+6,8320,0.850423217489901,0.8516611891639638
+6,8384,0.8508213804679889,0.8522885187783854
+6,8448,0.8492435873772531,0.8504930175392909
+6,8512,0.8487233081324528,0.8497679565406978
+6,8576,0.8485087462819604,0.849793163719159
+6,8640,0.8489423467603573,0.8500970714024688
+6,8704,0.8493740050913872,0.8506925326680247
+6,8768,0.8488737018770584,0.8501060457419883
+6,8832,0.8489490983229109,0.8507520888924559
+6,8896,0.8494456691123649,0.850662588830691
+6,8960,0.8480174880368085,0.8495206841280596
+6,-1,0.847790945542611,0.8493113281116947
+7,64,0.8498581463585945,0.8511683382900345
+7,128,0.8484350404138327,0.8495767588998535
+7,192,0.848605929774881,0.8499365456250146
+7,256,0.8485686786388699,0.849265466870081
+7,320,0.8484419514037799,0.8499128356442393
+7,384,0.8486662955233039,0.8498928996874208
+7,448,0.8477943549673438,0.8492656430267862
+7,512,0.8481912765756601,0.8491232959534619
+7,576,0.8487312601482325,0.8497247572226293
+7,640,0.8479867172584717,0.8489423741204207
+7,704,0.8489864279179336,0.8502438198584201
+7,768,0.849098968075551,0.8503668430749922
+7,832,0.849084724260389,0.8502186668161507
+7,896,0.8490955657678593,0.8503459978648773
+7,960,0.8473759074119671,0.8486100304746967
+7,1024,0.8487775711281856,0.8496661504206184
+7,1088,0.8473526546993033,0.848818082219699
+7,1152,0.8480744810568428,0.8489476819532653
+7,1216,0.8484700654586228,0.8495084581409748
+7,1280,0.8488832325633077,0.8499851025980261
+7,1344,0.8488803683531483,0.8500553588742686
+7,1408,0.8484047794872533,0.8497298408560309
+7,1472,0.8484620193815078,0.8498203221009148
+7,1536,0.8472167928956938,0.8480774998580815
+7,1600,0.8482808965619082,0.8496456290541431
+7,1664,0.8475139825642339,0.8489668314326728
+7,1728,0.8492699189460183,0.8507304038241101
+7,1792,0.847361118701038,0.8486524824612888
+7,1856,0.8482915172685076,0.8492732088683064
+7,1920,0.848715895597699,0.8499410954502186
+7,1984,0.8475506749440193,0.8488873705237434
+7,2048,0.8472270485044796,0.8482729928755556
+7,2112,0.8492179859481475,0.8506653432809904
+7,2176,0.8490840444816051,0.8502320226972537
+7,2240,0.8489243463795848,0.850550111884742
+7,2304,0.8491710407065699,0.8511681870443785
+7,2368,0.8492427225177075,0.851053920061607
+7,2432,0.8487963367979678,0.8501115012617675
+7,2496,0.84834034672721,0.8499392235628057
+7,2560,0.8483023454586658,0.8499440972316494
+7,2624,0.8484220082247989,0.8501394496796316
+7,2688,0.848964894001725,0.8503040939213682
+7,2752,0.8483822028703787,0.8493939527238751
+7,2816,0.8467609407003267,0.848303279373325
+7,2880,0.8476319694942684,0.8491219454187221
+7,2944,0.8465282746403555,0.8483363950545414
+7,3008,0.8473343195910675,0.8487233116916634
+7,3072,0.8475510085197943,0.849553831837768
+7,3136,0.8490581025093392,0.8508990160401153
+7,3200,0.8489902187889895,0.8505096082980713
+7,3264,0.8476829290320861,0.8489186285524324
+7,3328,0.8478411977296199,0.8490961429098123
+7,3392,0.8471658122265393,0.8487345145463696
+7,3456,0.8473767947019268,0.8490420912710873
+7,3520,0.8484188268738576,0.8501094122923544
+7,3584,0.8471340180146075,0.848385706476472
+7,3648,0.849476751471396,0.8506854803055635
+7,3712,0.8487019461036823,0.8503073092260782
+7,3776,0.8477904082323966,0.8491492390318638
+7,3840,0.8485889361853831,0.8501408785062404
+7,3904,0.8483966035117729,0.8494129865448397
+7,3968,0.8476544034574492,0.8492479793135287
+7,4032,0.8487414692341744,0.8501481240628421
+7,4096,0.8491850974545917,0.8503345334441542
+7,4160,0.8489590494245628,0.8498858729921801
+7,4224,0.8481704563990018,0.8490547122762384
+7,4288,0.8486571595316179,0.8499666727358508
+7,4352,0.8482239840009569,0.8495663816684929
+7,4416,0.84899320893948,0.8507155016785947
+7,4480,0.8484909968324508,0.8501181098072534
+7,4544,0.8485292739620768,0.8501235937968031
+7,4608,0.8483513578465657,0.8496206272575297
+7,4672,0.8481917200824145,0.8498477359551853
+7,4736,0.8471462962386163,0.8484779805615037
+7,4800,0.8463000663197208,0.8477878341777529
+7,4864,0.8464199725540817,0.847469905132724
+7,4928,0.8488308737764223,0.8498788586182319
+7,4992,0.8477046363446975,0.8489208865611081
+7,5056,0.8469003664482018,0.8479645940862138
+7,5120,0.8488000564550106,0.8499285224878051
+7,5184,0.8473706808742122,0.8484888008536685
+7,5248,0.8485283630146366,0.849610974225957
+7,5312,0.8483191555710012,0.849713481414136
+7,5376,0.8485406456780301,0.8499075153558702
+7,5440,0.8490460185081954,0.8504433911705236
+7,5504,0.8482645690549027,0.8493414082036277
+7,5568,0.8492872036330871,0.8503572291893542
+7,5632,0.8477773595146001,0.8492274970929878
+7,5696,0.847454239514619,0.8490300147502976
+7,5760,0.8484875359923841,0.8499244707493939
+7,5824,0.8486520807288772,0.8502937076593409
+7,5888,0.847279006093538,0.84855459627274
+7,5952,0.848454771042573,0.8501600956013529
+7,6016,0.848019297678871,0.8491553778261358
+7,6080,0.8490651369271959,0.8504091455952889
+7,6144,0.8482972628502323,0.8496012215501876
+7,6208,0.8483539879072649,0.849658043653458
+7,6272,0.8490749598564663,0.8504257310159873
+7,6336,0.847364042709654,0.8478092968260166
+7,6400,0.8494960592419827,0.8502060653839667
+7,6464,0.849620940238203,0.8508071921333304
+7,6528,0.8483665651261184,0.8493024544400904
+7,6592,0.8482860328452927,0.8493302035695608
+7,6656,0.8481494208570272,0.8490088421378215
+7,6720,0.8485631477660326,0.8501590600134495
+7,6784,0.8485199344053501,0.8500163962139281
+7,6848,0.8479568706469651,0.8490507727717405
+7,6912,0.8479952216281461,0.8489692282314799
+7,6976,0.847447378285524,0.8484720410556255
+7,7040,0.8489694465129327,0.8503755334724488
+7,7104,0.8486558006695223,0.8498346683305086
+7,7168,0.8472215702502317,0.8484032972359427
+7,7232,0.8488667595112172,0.8499427733873195
+7,7296,0.84829654183594,0.8494941004798208
+7,7360,0.8507692201925673,0.8520255595221812
+7,7424,0.8485938157601722,0.8498308800716666
+7,7488,0.8497785059255331,0.851176710181933
+7,7552,0.8487689226333127,0.850021139989444
+7,7616,0.8487171159600105,0.8501237183520493
+7,7680,0.8487080000877406,0.8497489422927006
+7,7744,0.8504893738159913,0.8517500218329129
+7,7808,0.8485416581376007,0.8493090505300518
+7,7872,0.849060552535343,0.8502692967443294
+7,7936,0.8494581230975435,0.8506353325841232
+7,8000,0.8493400251623696,0.8503351241918928
+7,8064,0.8482599230174124,0.8492937256516276
+7,8128,0.849851570340213,0.8509760160932539
+7,8192,0.8485596106233956,0.8501778358271187
+7,8256,0.8477590879128178,0.8494277623557482
+7,8320,0.8487665380217108,0.8505364072489499
+7,8384,0.8479716425195538,0.8498254975056745
+7,8448,0.8481837765575199,0.8496609226590035
+7,8512,0.8485078927320844,0.8500363962277304
+7,8576,0.8494268909286702,0.8512453739303862
+7,8640,0.8480703096737708,0.8500598748916199
+7,8704,0.848732030073289,0.8502434159435507
+7,8768,0.8481956657825571,0.8497995401923873
+7,8832,0.8500290866752678,0.8516312674351295
+7,8896,0.8496462591176649,0.8510915926854701
+7,8960,0.8498522233577848,0.8514565039693277
+7,-1,0.8497319778141349,0.8515055484871596
+8,64,0.8502070770620419,0.8514904986547095
+8,128,0.8489886287592512,0.8501457503957235
+8,192,0.8489230066845427,0.8496861984771583
+8,256,0.8506283686914689,0.8517106463608646
+8,320,0.8491235029657975,0.8500862806037931
+8,384,0.8487255203005923,0.849498867387025
+8,448,0.8483552855321028,0.8495686094280374
+8,512,0.8492138898472329,0.8503349640494335
+8,576,0.8482721097608823,0.8489628296505517
+8,640,0.8493951765003469,0.8504099783360772
+8,704,0.849034103634199,0.8501040617548541
+8,768,0.8507165947012945,0.8522642287260355
+8,832,0.8494062146397204,0.8506277115824227
+8,896,0.8495043848613228,0.8509211263756586
+8,960,0.8494072483189469,0.8509422438279545
+8,1024,0.8490669172518577,0.8503336063972511
+8,1088,0.8504323645913603,0.8516507229645703
+8,1152,0.8498760350081379,0.8513918046364217
+8,1216,0.8499726840557641,0.8514297050184491
+8,1280,0.8501131246211852,0.8516285983941416
+8,1344,0.8495076203675072,0.8507884323339071
+8,1408,0.8497650810800648,0.851008847076765
+8,1472,0.8494916409389573,0.8508724537442044
+8,1536,0.8481643910892199,0.8496256219228984
+8,1600,0.847942297944628,0.8494142018481694
+8,1664,0.8497208685147579,0.8510531264667534
+8,1728,0.8489600839016329,0.8500091542160477
+8,1792,0.8493446938337822,0.8506704802952118
+8,1856,0.849349598580486,0.8507536102458191
+8,1920,0.849116908719349,0.8502769302015545
+8,1984,0.8482207607869138,0.8497740330573469
+8,2048,0.8486057978531645,0.8501932842363563
+8,2112,0.8494081296862097,0.8504972453002155
+8,2176,0.8483240998440182,0.8491941945789023
+8,2240,0.8491123182755047,0.8500302912413109
+8,2304,0.8490686667256594,0.8501533269134077
+8,2368,0.8485045277837261,0.8496087446870518
+8,2432,0.8479764213870723,0.8494375346044852
+8,2496,0.84637473700796,0.8477888163848365
+8,2560,0.8476743141130214,0.8491460682111702
+8,2624,0.847391179581195,0.8487013543811369
+8,2688,0.8463385866383675,0.8474040278630622
+8,2752,0.8471590436768229,0.848719306350821
+8,2816,0.8487264265844204,0.8499161790629166
+8,2880,0.8491398705513766,0.8501188286689594
+8,2944,0.8477897819555479,0.8490323562539397
+8,3008,0.8480856641791016,0.849609593442086
+8,3072,0.8496501709649651,0.8510842723957207
+8,3136,0.8493616819123923,0.8508186458778895
+8,3200,0.8510195562953599,0.8521553105014035
+8,3264,0.8502699326304879,0.8516135699140196
+8,3328,0.8492946742919679,0.8500168179224042
+8,3392,0.8493689342860219,0.8502438312903566
+8,3456,0.8500289129563954,0.851278937877501
+8,3520,0.848810021859667,0.8497937875193783
+8,3584,0.8486821405837278,0.8494552534779231
+8,3648,0.849042208709861,0.8504548609293286
+8,3712,0.8479491953439886,0.8492186412149904
+8,3776,0.8480222488525262,0.8493264508979318
+8,3840,0.8467408095410682,0.8478906047113095
+8,3904,0.8486290667073834,0.8501695066398759
+8,3968,0.847575431838452,0.8480600140808897
+8,4032,0.848011774534068,0.8487248561767152
+8,4096,0.8477752526325225,0.8487271568900467
+8,4160,0.8480919956147411,0.8489359292761156
+8,4224,0.8485785068842683,0.8492877231131983
+8,4288,0.8472480668156394,0.8481788896077668
+8,4352,0.849303868356865,0.8497023586306593
+8,4416,0.8497967987010266,0.8504502345916164
+8,4480,0.8486729557909848,0.8493340416505014
+8,4544,0.849983395416721,0.850487905302428
+8,4608,0.8475493919739117,0.8485797119484357
+8,4672,0.8492297258709006,0.849820627395552
+8,4736,0.8485091217465924,0.8496932340692023
+8,4800,0.8479597499928074,0.8491077158715357
+8,4864,0.8484498476446021,0.8494948780604286
+8,4928,0.8487439403016492,0.8499907253777069
+8,4992,0.8491243691984071,0.8500768179638108
+8,5056,0.8477847803161512,0.8487113188008247
+8,5120,0.84651891816098,0.8477550209878486
+8,5184,0.8488356364518599,0.8500603784506864
+8,5248,0.850265535627898,0.8512485109432272
+8,5312,0.8487221426900934,0.849669831917821
+8,5376,0.848484338945274,0.8494545008083645
+8,5440,0.8489547113072752,0.8500296951554902
+8,5504,0.848563611691285,0.8492523832311586
+8,5568,0.8492159436431294,0.8501193215518619
+8,5632,0.8479513098175168,0.848561429017669
+8,5696,0.846294719701997,0.8467472178012495
+8,5760,0.8487260760498347,0.8499433765905827
+8,5824,0.8503165333427115,0.8510355428247255
+8,5888,0.849734336584929,0.8505364766440155
+8,5952,0.8504248984242626,0.8514320021730594
+8,6016,0.8496074506665992,0.8505137648845696
+8,6080,0.8482886663663666,0.8494093768424449
+8,6144,0.8479270173326766,0.849006342136096
+8,6208,0.84756952171883,0.8487648562043195
+8,6272,0.8499015109070684,0.8507750960257713
+8,6336,0.8481763215138162,0.8491599721353563
+8,6400,0.8484906818598261,0.8494706413888983
+8,6464,0.8484533465964997,0.8492590593923496
+8,6528,0.8483596207745117,0.8495644724145062
+8,6592,0.850264863043833,0.8513106497761455
+8,6656,0.8486101054801082,0.8497601024427511
+8,6720,0.8488660992272113,0.84986658116392
+8,6784,0.8486457679854211,0.8495969937892627
+8,6848,0.8494546169775312,0.8503166935741915
+8,6912,0.8484443760928629,0.84989305982988
+8,6976,0.8490419812500446,0.850203536912471
+8,7040,0.8473331678392997,0.848229652987995
+8,7104,0.8482549673661289,0.8492554205998027
+8,7168,0.8491638119231651,0.8500120243247901
+8,7232,0.8486535408698831,0.8494851680893148
+8,7296,0.8495037575372099,0.8504064000417928
+8,7360,0.8493384700069094,0.8500872493316249
+8,7424,0.8501521920521461,0.8507581992169576
+8,7488,0.8503418012150582,0.8511737706781249
+8,7552,0.8490513205369562,0.849788493921419
+8,7616,0.8489627642065214,0.849792735917229
+8,7680,0.8486003502877371,0.8494105381445735
+8,7744,0.8486010520051159,0.8494590346193225
+8,7808,0.8472618652854559,0.8480170699651888
+8,7872,0.8488197088621879,0.8497945900110354
+8,7936,0.8495370643962605,0.8502617878423502
+8,8000,0.8479633025775137,0.8486867565062941
+8,8064,0.8484441417161609,0.8495213318153394
+8,8128,0.8494257024980558,0.8507433451141798
+8,8192,0.8484253444306878,0.8496503621534949
+8,8256,0.8482959810703777,0.8492444793111134
+8,8320,0.8474051605365918,0.8487479024559648
+8,8384,0.8474198995740984,0.8487505145574116
+8,8448,0.8483790886383822,0.8495573193846588
+8,8512,0.8485534040979129,0.8496659102069294
+8,8576,0.8485188915583513,0.849830648754781
+8,8640,0.8506935272173574,0.8522874422651869
+8,8704,0.8494358629293488,0.8505293983473158
+8,8768,0.8492325247466248,0.8502351294609638
+8,8832,0.8476994763093953,0.8487009095409722
+8,8896,0.849336049214615,0.8508873309786706
+8,8960,0.8492847258416739,0.8505242417601273
+8,-1,0.8490363447391287,0.8503225263184302
+9,64,0.8484615250688443,0.8497825953408359
+9,128,0.8480624387651455,0.8494263068387297
+9,192,0.8487655453282409,0.8498188515936147
+9,256,0.8488459859852893,0.8499878926355386
+9,320,0.8486043596720573,0.8499490954557394
+9,384,0.8492174099776352,0.850574115460026
+9,448,0.8487024481892036,0.8502104657428755
+9,512,0.8491091645110813,0.8505688610080014
+9,576,0.848979175100116,0.8505080531368557
+9,640,0.8478151008114314,0.8488653847434462
+9,704,0.84852394561659,0.8497012091636739
+9,768,0.8507096163642911,0.8516343030244131
+9,832,0.85009539640802,0.8508969929070465
+9,896,0.8487572595959083,0.84960171443309
+9,960,0.8501885396887783,0.8511881726902272
+9,1024,0.8504998867617705,0.8516293848715528
+9,1088,0.8493301281535606,0.8504068875866132
+9,1152,0.8496734424298504,0.8508744128202894
+9,1216,0.8495625947269317,0.8506086919963433
+9,1280,0.849363618282979,0.85109327493782
+9,1344,0.848583673133239,0.8500525296908215
+9,1408,0.8501644304396616,0.8514749043378977
+9,1472,0.8490528490953808,0.8503800334755542
+9,1536,0.8495035884422931,0.8507700942429599
+9,1600,0.8484709328937121,0.8500136008383335
+9,1664,0.848456676359331,0.8497774956931884
+9,1728,0.849383728634821,0.8507149198276593
+9,1792,0.8493129243751455,0.8506294001956877
+9,1856,0.850149250890924,0.8511928970258439
+9,1920,0.8500230268566586,0.8507568860487915
+9,1984,0.8496273993041543,0.8510891958866629
+9,2048,0.8487350461224362,0.8499198623394799
+9,2112,0.8485158759159709,0.8497268088254687
+9,2176,0.8472434298053871,0.8487294362510502
+9,2240,0.8483927344207643,0.8496679367643
+9,2304,0.8472662983323314,0.8484830410632167
+9,2368,0.8481209806846086,0.8494150185747118
+9,2432,0.8477110894568823,0.8490200574480523
+9,2496,0.8488763040006002,0.8499480598678362
+9,2560,0.848941195161913,0.8500097271701799
+9,2624,0.8475756053858597,0.848702062566679
+9,2688,0.8482276451042452,0.8498012501579802
+9,2752,0.8478523517791232,0.8495474777408563
+9,2816,0.8486174181514303,0.850432374125266
+9,2880,0.848038945429397,0.8495190666892211
+9,2944,0.8487415656498348,0.8498093480283373
+9,3008,0.8473168398711295,0.8487032529589594
+9,3072,0.8480254812812158,0.8498224263291777
+9,3136,0.8478627451723458,0.8491991945823529
+9,3200,0.8484401074750584,0.849846452012209
+9,3264,0.8473257029549308,0.848465347100828
+9,3328,0.8483275762217589,0.8493315630011039
+9,3392,0.8485362495211961,0.8493824420397746
+9,3456,0.8490715673028931,0.8499560972399308
+9,3520,0.8494443529209252,0.8500220083174453
+9,3584,0.8488368894548113,0.8497270009964198
+9,3648,0.8491129632200716,0.849660435114183
+9,3712,0.8501979508289659,0.8508726617960526
+9,3776,0.8486277716593629,0.8497166842633215
+9,3840,0.8486879437677662,0.8495060488866429
+9,3904,0.8475963862887905,0.8486945572234211
+9,3968,0.8492299627867769,0.8502616935362354
+9,4032,0.849213377799416,0.8500434193642497
+9,4096,0.848044962530741,0.8488312530472938
+9,4160,0.8478728145772998,0.8490747425391718
+9,4224,0.8472898163379575,0.848325494691147
+9,4288,0.8477506940611637,0.8484346424533038
+9,4352,0.8470738208255023,0.8477184053042166
+9,4416,0.8479158491766774,0.848603124775981
+9,4480,0.8473819696030317,0.8481780853367492
+9,4544,0.8479251583246528,0.8483242277863581
+9,4608,0.8474256214091067,0.8485432528485418
+9,4672,0.8484665401220621,0.8492383778834149
+9,4736,0.8479655896393349,0.8488560039540544
+9,4800,0.8482811715609484,0.8492990380676261
+9,4864,0.8485198553473333,0.8494243157341527
+9,4928,0.8478604866878139,0.8485244948284792
+9,4992,0.8503242138521595,0.8508091672236614
+9,5056,0.8492427673152235,0.8497334921041023
+9,5120,0.8488512151234777,0.8492188476208268
+9,5184,0.8478627827533977,0.8482040426500362
+9,5248,0.8480634502239962,0.8485895446954349
+9,5312,0.8484199404447316,0.8493651858001081
+9,5376,0.8481054404526387,0.8493482658596059
+9,5440,0.848985599809769,0.8499329797862547
+9,5504,0.8495947540569715,0.8504161580556443
+9,5568,0.8490888434831576,0.8499646577440592
+9,5632,0.8501326169915436,0.8513657654725443
+9,5696,0.8501377338432521,0.8511587216022608
+9,5760,0.8487298995432728,0.8497011949287886
+9,5824,0.849178758679711,0.8499245954388317
+9,5888,0.8488483974883575,0.8496042784917988
+9,5952,0.8497408446328727,0.8508927135446627
+9,6016,0.8492318852285428,0.8502699976785443
+9,6080,0.8482135057729453,0.8493545825899437
+9,6144,0.849414440118208,0.8502660298381604
+9,6208,0.8475977635525163,0.8482064198758762
+9,6272,0.84901723454671,0.8501267948666279
+9,6336,0.848769453398013,0.8494857748512993
+9,6400,0.8502899973043176,0.8509959040073346
+9,6464,0.8492773054144839,0.8501301436233872
+9,6528,0.8498084670272479,0.850700104870816
+9,6592,0.8504693170561706,0.8515480253848009
+9,6656,0.849579272645078,0.8504186705128942
+9,6720,0.8498607709696696,0.8509003505606093
+9,6784,0.8503748998134456,0.8512522191308396
+9,6848,0.84920661176714,0.8499764974757358
+9,6912,0.8494529604425014,0.8506221012582661
+9,6976,0.8494683931830957,0.8501895885042685
+9,7040,0.8508640377063855,0.8518352391061417
+9,7104,0.8505657207662419,0.8515912958772957
+9,7168,0.8497405754845702,0.8507869554645604
+9,7232,0.8503665691216444,0.8511460927230811
+9,7296,0.8487166420901001,0.8493602854408544
+9,7360,0.8491120489351661,0.8502564852136911
+9,7424,0.8482199881386381,0.8488657441742992
+9,7488,0.8496601791102949,0.8506909500602279
+9,7552,0.8496119050421707,0.850702101313475
+9,7616,0.8507107569338436,0.85195927833765
+9,7680,0.848843927679428,0.8498367598346932
+9,7744,0.8492804035322371,0.8501457414989203
+9,7808,0.8487288862707109,0.8501113197669804
+9,7872,0.8493997825554103,0.8507624020668331
+9,7936,0.8505083367603781,0.8516389507144532
+9,8000,0.8482811926555726,0.8493603904231333
+9,8064,0.8495678411351658,0.8505318093810081
+9,8128,0.8491776999681678,0.8501685190947105
+9,8192,0.8490374575719902,0.8501625849269142
+9,8256,0.8486226140836445,0.8493281377318361
+9,8320,0.8490083822453222,0.8499853018864197
+9,8384,0.8487526572599766,0.849865559810902
+9,8448,0.849179324458635,0.8498598783123192
+9,8512,0.8500917230406769,0.8513451177714625
+9,8576,0.8502907695588462,0.851372582070323
+9,8640,0.8486896812496456,0.849529368163211
+9,8704,0.8478131017201661,0.8484013701883495
+9,8768,0.8484326171048137,0.8493635167598103
+9,8832,0.8488978598107032,0.8497645383888728
+9,8896,0.8491095817680926,0.8497389814317339
+9,8960,0.849581438409602,0.850326122406321
+9,-1,0.8496879706406169,0.8503447807821868
+10,64,0.8480812655326986,0.8488928562926538
+10,128,0.8488073051931999,0.8494895435371742
+10,192,0.8480583778722016,0.8486893703871015
+10,256,0.8481779226322768,0.8487702476671151
+10,320,0.8485140231578853,0.8494774456640566
+10,384,0.8488957870716244,0.8500893400804004
+10,448,0.8483164126764227,0.8489923474645166
+10,512,0.8486614311090882,0.8490577709972105
+10,576,0.848166517369113,0.8485678578477283
+10,640,0.8495774732699011,0.850075159599677
+10,704,0.84890194111966,0.8493957374226156
+10,768,0.8489672830282474,0.849540734719108
+10,832,0.8486800189241259,0.8494054669666966
+10,896,0.8495207388950561,0.8502014408256152
+10,960,0.8493765964881304,0.8497520846436236
+10,1024,0.8501086574372799,0.8508612918147932
+10,1088,0.8490344717782335,0.8500073712966678
+10,1152,0.8497730084530869,0.8510006477828502
+10,1216,0.8505458986438237,0.8511410197658436
+10,1280,0.850199108189706,0.8507796013669586
+10,1344,0.8502224996931129,0.8508821601565968
+10,1408,0.8491456632508568,0.8499286968651496
+10,1472,0.8505808439033958,0.8515766054756986
+10,1536,0.8499742317359646,0.8507805711185175
+10,1600,0.8502880724539031,0.8508862918320459
+10,1664,0.8502789274639276,0.8509184075125724
+10,1728,0.8507219203579006,0.8513338739914611
+10,1792,0.8504272768342548,0.8510501976391093
+10,1856,0.850050323031142,0.8505405442624809
+10,1920,0.8496288599187957,0.8502391757271013
+10,1984,0.8497421648827211,0.8502965458734547
+10,2048,0.8506317515120223,0.8511570571434592
+10,2112,0.8495723056926072,0.8501377486108419
+10,2176,0.8500979083028518,0.8506549535941053
+10,2240,0.8505606244815914,0.8512860002929425
+10,2304,0.8493869933140284,0.8500962236711531
+10,2368,0.8500700291971992,0.8509088078618194
+10,2432,0.8500269790831588,0.8506701101881948
+10,2496,0.8492633076729417,0.8501667415134125
+10,2560,0.8485085037752916,0.8490238083403205
+10,2624,0.848154315516483,0.8489310680627964
+10,2688,0.8492398701305925,0.8498272733076118
+10,2752,0.8480390636550689,0.8490078083292788
+10,2816,0.8497517692332289,0.8510453514171603
+10,2880,0.8491383646439258,0.8502209355009903
+10,2944,0.8484826058259837,0.8494384047118471
+10,3008,0.8488902095773871,0.8497776878641395
+10,3072,0.8486715342773585,0.8499740971182053
+10,3136,0.8493672968267701,0.8500876008894017
+10,3200,0.849320663831202,0.8501056489445614
+10,3264,0.848917665611157,0.8496401183741836
+10,3328,0.8500083037906024,0.8510260944196284
+10,3392,0.8494067631443922,0.8502217362132867
+10,3456,0.8494071210226253,0.8499082591286253
+10,3520,0.8497234892022494,0.8505968653421323
+10,3584,0.8479066091347739,0.8488142850640538
+10,3648,0.8483913878718657,0.8491229756685433
+10,3712,0.849503917134791,0.8502726277074821
+10,3776,0.8487579685277611,0.8497257928105326
+10,3840,0.8489785865219049,0.8500928802524756
+10,3904,0.8481161180756581,0.8493628744106125
+10,3968,0.8484205302143663,0.8494173513165351
+10,4032,0.8483454843210981,0.8495254741669526
+10,4096,0.8486026888508997,0.8493655576864858
+10,4160,0.8487302395183819,0.8495927125130317
+10,4224,0.8490961520211768,0.8503538484041029
+10,4288,0.8505712859166082,0.8514058171016079
+10,4352,0.8502473043400717,0.8511126531982248
+10,4416,0.8508925791438104,0.851294169337726
+10,4480,0.8506526429941156,0.8510716948517338
+10,4544,0.8499948301052045,0.8504767719764782
+10,4608,0.8501674366985101,0.8511812101850385
+10,4672,0.8497297598601427,0.8504105085855534
+10,4736,0.8495925757440033,0.8504299516594696
+10,4800,0.8504455653923181,0.851008117538895
+10,4864,0.8508199854139541,0.8516266838020731
+10,4928,0.8502581205368684,0.8510588417731887
+10,4992,0.850815925944164,0.8515675752203564
+10,5056,0.8495869596765734,0.8504755459969844
+10,5120,0.8503191190434939,0.851665774576381
+10,5184,0.8500402685642463,0.8512630821276603
+10,5248,0.8499550713731313,0.8510281566986317
+10,5312,0.8506580171666707,0.8513435875212961
+10,5376,0.8502136670533639,0.850948400415833
+10,5440,0.8512569929795964,0.8515341161225328
+10,5504,0.8500394134857838,0.850541549601253
+10,5568,0.8495337933285001,0.850108309088746
+10,5632,0.8492878152098241,0.8499953942859465
+10,5696,0.8506687619146508,0.8520274723348894
+10,5760,0.8495061147827073,0.8501260706668399
+10,5824,0.8499784010837069,0.8500767574655484
+10,5888,0.850131316625371,0.8507079340577137
+10,5952,0.8499447066468936,0.8508918719070713
+10,6016,0.849052868262711,0.8497256629172046
+10,6080,0.851015163247337,0.8515618634726424
+10,6144,0.8511344979270867,0.8517744846158157
+10,6208,0.8505670718979451,0.8512364077320277
+10,6272,0.8509350630828486,0.8520701841081374
+10,6336,0.8501526556568313,0.8508801868456264
+10,6400,0.8499499756100612,0.8508326957096496
+10,6464,0.8497655269678264,0.8504618733896839
+10,6528,0.8493841352458477,0.8500383019229956
+10,6592,0.8493685083122595,0.8501859461530004
+10,6656,0.849817014306869,0.8504429338748344
+10,6720,0.8491574925450696,0.850015990519698
+10,6784,0.8498109386981638,0.8505919535506281
+10,6848,0.8496498586817443,0.8503570441358456
+10,6912,0.8494947235077763,0.8503084106503258
+10,6976,0.8489314770089125,0.8493861217576166
+10,7040,0.8487999602062091,0.849086482760797
+10,7104,0.8487528455651977,0.8490630147730713
+10,7168,0.8500181258547121,0.8503716420106885
+10,7232,0.8487953005080955,0.8494485914170028
+10,7296,0.8490000785790704,0.849407872662307
+10,7360,0.8495933554703542,0.8499770029483082
+10,7424,0.8491609126891045,0.8496415916848089
+10,7488,0.8486557108527536,0.8488588321126822
+10,7552,0.8492573369243438,0.8498889192576276
+10,7616,0.8495009149458388,0.849952714675319
+10,7680,0.8494452700965851,0.8500923571204421
+10,7744,0.8486914144357557,0.8495422766696513
+10,7808,0.8481356260583833,0.8486058934611658
+10,7872,0.8493630022603417,0.8498176469664488
+10,7936,0.8496193853681109,0.850244665054733
+10,8000,0.8496408080937594,0.850295069004108
+10,8064,0.8486429144344095,0.8489649203993255
+10,8128,0.849310026832722,0.8500317378615263
+10,8192,0.8498720362679412,0.8504102434608153
+10,8256,0.8492334538517623,0.8502510519359155
+10,8320,0.8505386072326607,0.8510843435701471
+10,8384,0.849395627122375,0.8497227714561344
+10,8448,0.8496995335037739,0.8506051581860755
+10,8512,0.8499295425326865,0.8507213947876127
+10,8576,0.8503625191138003,0.8510009111282278
+10,8640,0.8494938618717599,0.8503595316820463
+10,8704,0.8494923400615743,0.8501689461412686
+10,8768,0.8500615801732875,0.8507960640117715
+10,8832,0.8492841302768467,0.8499940794725485
+10,8896,0.8507390031984586,0.8513062351823515
+10,8960,0.8485359242491323,0.8492131269763095
+10,-1,0.8484819319457142,0.8492004365760926
+11,64,0.8490872488826527,0.849760696749211
+11,128,0.8489543922369304,0.8494750221748397
+11,192,0.8479818843267122,0.8485164930435977
+11,256,0.8483300245474321,0.8490408635122328
+11,320,0.8475103827263243,0.8479541937231645
+11,384,0.8492334919555451,0.849748351544962
+11,448,0.8488520491435927,0.8494893051028459
+11,512,0.8481891263849164,0.8487942636979235
+11,576,0.8497464226913936,0.8499302555850865
+11,640,0.8496412794015332,0.8502713430090867
+11,704,0.8483198556496185,0.8492004828394697
+11,768,0.8495200678412682,0.850063611549003
+11,832,0.8487643537679379,0.8494565595286464
+11,896,0.8482684408050416,0.8488881694566792
+11,960,0.8490448084463299,0.8496507180256266
+11,1024,0.8486971370778116,0.849255283589032
+11,1088,0.8496925172540329,0.8501972539899857
+11,1152,0.8491425961901728,0.8496359048481441
+11,1216,0.8493838661696557,0.8502631935372705
+11,1280,0.8493652366868422,0.8498862199675085
+11,1344,0.8499816453129772,0.8508969608785546
+11,1408,0.8484608610183593,0.8487720964228392
+11,1472,0.8489631298249315,0.849423047050003
+11,1536,0.8482444832974598,0.8488483509238619
+11,1600,0.8482059487342501,0.8490304453555769
+11,1664,0.8487129932662072,0.8493854082339926
+11,1728,0.8499994282917921,0.8502302362191527
+11,1792,0.8500742881173766,0.8506964500640234
+11,1856,0.8501155878872513,0.8504174089461873
+11,1920,0.8487206090970723,0.8494172534516988
+11,1984,0.8490756633280123,0.8496059617669818
+11,2048,0.849493507834873,0.8499837662981715
+11,2112,0.8494211027767951,0.849799531295584
+11,2176,0.8490266506325653,0.849527837157907
+11,2240,0.849638459209919,0.8501945048777682
+11,2304,0.8494973068787864,0.8496961219715512
+11,2368,0.8488227705349211,0.8488334487783464
+11,2432,0.8484584854308838,0.8489913189940558
+11,2496,0.8492667241725174,0.8499061363513598
+11,2560,0.8488801881368329,0.8495848514321287
+11,2624,0.8490880006056233,0.8498679939762828
+11,2688,0.848397558423923,0.8490616037400691
+11,2752,0.8483488098562753,0.8491589667965842
+11,2816,0.8474446206926877,0.8480855977284384
+11,2880,0.8485148258007373,0.8490024631298606
+11,2944,0.8475111588487565,0.847901973046557
+11,3008,0.8494713320024193,0.8499217235507288
+11,3072,0.8486845012881281,0.8491412728341955
+11,3136,0.847287931019305,0.8482776316687924
+11,3200,0.8476890623148206,0.8481570817635357
+11,3264,0.8475656473537322,0.8482801519975122
+11,3328,0.8485375777998738,0.8493293548145266
+11,3392,0.8485057762148677,0.8493090327364452
+11,3456,0.8476296275153602,0.8483798666147907
+11,3520,0.8490673882661898,0.8495677606730032
+11,3584,0.848715188025198,0.8492998120895124
+11,3648,0.849160348988486,0.8500573659930915
+11,3712,0.8495363022210524,0.8502327896016977
+11,3776,0.8481786381659148,0.8487887850464557
+11,3840,0.8482679019170538,0.8493453388113225
+11,3904,0.8491572147811729,0.8500524336053459
+11,3968,0.850058502268842,0.8507428397757528
+11,4032,0.8482723523501555,0.8488688260269599
+11,4096,0.8477441773770944,0.8484932777250855
+11,4160,0.8493551381820893,0.8498775277906915
+11,4224,0.8484668374189152,0.8490001748720536
+11,4288,0.8495748557857672,0.8503761187483153
+11,4352,0.849255965651773,0.849915613981708
+11,4416,0.8486556185137466,0.8492387195206614
+11,4480,0.8490969877866096,0.8495319812888809
+11,4544,0.8489089563418749,0.8496829422471532
+11,4608,0.8492489466961601,0.8500971596148595
+11,4672,0.8488338755227403,0.8498465633565111
+11,4736,0.8492126955661659,0.8501016436037191
+11,4800,0.8494123198654285,0.8499900492206568
+11,4864,0.8488911938556007,0.8496395400819696
+11,4928,0.8493618670342911,0.8500116293067239
+11,4992,0.8486416406019885,0.8493851840345495
+11,5056,0.8492988767676517,0.8498076681775802
+11,5120,0.8501028820410789,0.8508552846932098
+11,5184,0.8495616010843213,0.8498161202750039
+11,5248,0.8484924020092875,0.848874167667657
+11,5312,0.8496239956186552,0.850148061785219
+11,5376,0.8485543968012058,0.8491887568527298
+11,5440,0.8476024319987678,0.8478469409801092
+11,5504,0.8481149596317477,0.8484820570767725
+11,5568,0.8491976368220439,0.8496585810203768
+11,5632,0.847796725523461,0.8483361495027706
+11,5696,0.8481697855033131,0.8486112653509941
+11,5760,0.8479878144853316,0.8487391818093772
+11,5824,0.8493362143556256,0.8499201203467753
+11,5888,0.8484775850703684,0.8489979969346074
+11,5952,0.8480194582617436,0.8485385215285507
+11,6016,0.849466326482917,0.8498427804357511
+11,6080,0.8499229860920183,0.8505760834329145
+11,6144,0.8497098265848693,0.8502025369117808
+11,6208,0.8497770117905687,0.8503071935676355
+11,6272,0.8492734330040357,0.8499124477436157
+11,6336,0.8507747891777869,0.8516977318938088
+11,6400,0.8497460078064966,0.850423481904115
+11,6464,0.8493040761992772,0.8496869458086349
+11,6528,0.8500479076276397,0.8505818841486613
+11,6592,0.8500336013799467,0.8506935941901665
+11,6656,0.8500831111131333,0.8507476706064809
+11,6720,0.8500260454279224,0.8507367774939891
+11,6784,0.8504672168298998,0.8508885124741479
+11,6848,0.8496815233047326,0.8501905671526306
+11,6912,0.8495014181338343,0.8498454637116242
+11,6976,0.8494586292295471,0.849951134603054
+11,7040,0.8493332283038432,0.8497449867739566
+11,7104,0.8488830492429849,0.8493911253197887
+11,7168,0.8489759754332694,0.8490863119421738
+11,7232,0.8488493337635888,0.8490314400181851
+11,7296,0.8494351947207426,0.849441522151721
+11,7360,0.8486210495865362,0.848479494797424
+11,7424,0.8486652938147635,0.8488189772381103
+11,7488,0.8490545901832555,0.8491048688944819
+11,7552,0.8488754390231087,0.8489713349944996
+11,7616,0.8487449363470816,0.8487377209542766
+11,7680,0.8485097365550369,0.8485450322092002
+11,7744,0.8498589341551928,0.8501092130039607
+11,7808,0.8492121264010637,0.8496721326311525
+11,7872,0.8495533466858892,0.8497449316137762
+11,7936,0.8479209253660103,0.848302236667979
+11,8000,0.8489287928875047,0.8492282551006285
+11,8064,0.8489533290631982,0.8488187174514542
+11,8128,0.8494823631393947,0.8495435186633911
+11,8192,0.8496723749139133,0.8495434528270466
+11,8256,0.8508997486246751,0.8509129591102358
+11,8320,0.8502750556424304,0.850400129574832
+11,8384,0.8498287319346757,0.850297476479079
+11,8448,0.8502680923754901,0.8504386651886144
+11,8512,0.8495705313825161,0.8502270671778196
+11,8576,0.8493666172017528,0.8500752414502675
+11,8640,0.8499987138221888,0.8499307982900873
+11,8704,0.8498767507455423,0.8499691328361154
+11,8768,0.8497273808151676,0.8499128320855179
+11,8832,0.8495494674606054,0.8496753052312065
+11,8896,0.8485777035834355,0.848450478763165
+11,8960,0.8495298441285402,0.8493694082229509
+11,-1,0.8493213098957325,0.8491239543169057
+12,64,0.8507299004011231,0.8504597851762354
+12,128,0.8489525688541203,0.848792792166659
+12,192,0.8491374679379495,0.8490862443264688
+12,256,0.849457831339553,0.8496409938196277
+12,320,0.8495677173866871,0.8495864065933444
+12,384,0.8486768274776644,0.8483521886597468
+12,448,0.8495916129668996,0.8496581504150974
+12,512,0.8493535017443126,0.8494253993647938
+12,576,0.8496824285750545,0.8495438282721457
+12,640,0.8501228206851296,0.8500740599547901
+12,704,0.8489204881424407,0.8492181661256945
+12,768,0.8488808954631974,0.8488211000153759
+12,832,0.8488665124013596,0.8485765393483814
+12,896,0.8488250071464059,0.8484346050867299
+12,960,0.8493469824968465,0.8493259526769474
+12,1024,0.8488536330634808,0.8486984237741322
+12,1088,0.8487053183788221,0.8485363293562191
+12,1152,0.8495113853987795,0.849390877988657
+12,1216,0.8490480672840761,0.8485515784770632
+12,1280,0.8491209768481115,0.8488013651263119
+12,1344,0.8494799972426333,0.8493832979122514
+12,1408,0.8488512108071395,0.8487207120457413
+12,1472,0.8480827925650466,0.847892529979542
+12,1536,0.8490400755378844,0.8489031570115061
+12,1600,0.8489529378279856,0.8486459130617373
+12,1664,0.8485940774136689,0.8483225284969294
+12,1728,0.8486521925965218,0.8485535286563449
+12,1792,0.847988261552374,0.8478917150323605
+12,1856,0.8476286043170377,0.8477819267003667
+12,1920,0.8480547521675523,0.8481460675210591
+12,1984,0.8483180453481902,0.8482583754277455
+12,2048,0.8490721617714925,0.848895455938576
+12,2112,0.8491724608130903,0.84889997907337
+12,2176,0.8484314801772757,0.8484906958727698
+12,2240,0.848817625061233,0.8487014967299895
+12,2304,0.848953423448151,0.8485157403740391
+12,2368,0.8494865603619821,0.8492952391326202
+12,2432,0.8494123951825872,0.8493228637068443
+12,2496,0.8502334229997879,0.850390503233669
+12,2560,0.8491787570026702,0.8489739844625201
+12,2624,0.849272779947129,0.8490637710013512
+12,2688,0.8495171542065819,0.8495786521395944
+12,2752,0.8495809992059011,0.8493816448861996
+12,2816,0.8496967363693606,0.849637452891917
+12,2880,0.8499882645708866,0.8498683231580046
+12,2944,0.8501262609285707,0.8501632984505383
+12,3008,0.849562886354452,0.8497149938706958
+12,3072,0.8492971435441977,0.8492660273686884
+12,3136,0.8485778646092894,0.8488377779628286
+12,3200,0.8496356287881055,0.8498754210276718
+12,3264,0.8503572607300859,0.8505235335745852
+12,3328,0.8496950461637426,0.8497836611778703
+12,3392,0.8493840126815956,0.8494023352919375
+12,3456,0.8484860444496357,0.8483656459644076
+12,3520,0.8495903326398975,0.8495075577844815
+12,3584,0.8494209917863969,0.8491968992071034
+12,3648,0.8495564120782574,0.8494499687767672
+12,3712,0.8500391322071188,0.8500116176067655
+12,3776,0.8491387172213893,0.8491893564972718
+12,3840,0.8485808366960842,0.8486900412060696
+12,3904,0.8502119521187971,0.8503601793693262
+12,3968,0.8493155730775476,0.8493089436336735
+12,4032,0.8485241583636977,0.8482163576051542
+12,4096,0.8482372087939274,0.8483281815257414
+12,4160,0.8478349974667,0.8479185317768456
+12,4224,0.848879290811825,0.8491639596825921
+12,4288,0.8481592926778889,0.8484269609533408
+12,4352,0.8487530102133842,0.8489987656184119
+12,4416,0.8487545135938148,0.8487631070927921
+12,4480,0.8487165647313628,0.8486778703791652
+12,4544,0.8480573594856865,0.8481902988683095
+12,4608,0.849034835836467,0.849123963213709
+12,4672,0.8487325142908951,0.8489792940747253
+12,4736,0.8487490427283648,0.8490059079720955
+12,4800,0.8483814577521861,0.8483626103751241
+12,4864,0.8483837474819056,0.8487431373281211
+12,4928,0.8485211273679628,0.8486114824329943
+12,4992,0.8488592157681388,0.8489207424328948
+12,5056,0.848569485297115,0.8486759931536704
+12,5120,0.8491574280967719,0.8489053776536081
+12,5184,0.8488329492038117,0.8489037442005235
+12,5248,0.8495775966146734,0.8498185224118928
+12,5312,0.8481039089755179,0.8484314200311511
+12,5376,0.847853450202516,0.848012980240602
+12,5440,0.8484025032288065,0.8484023292637445
+12,5504,0.8489653368824058,0.84872584194252
+12,5568,0.8488711748630704,0.8489780182731331
+12,5632,0.8490901897716574,0.8492349472760653
+12,5696,0.8490855995936233,0.8492728779072238
+12,5760,0.8489362590756301,0.8492135237737363
+12,5824,0.8499136468684936,0.8501050803048001
+12,5888,0.8489961317606904,0.8493269046348999
+12,5952,0.849318557369586,0.8497141718060716
+12,6016,0.848011593921537,0.8487209423376851
+12,6080,0.8491972672962746,0.8495714208178778
+12,6144,0.8491625885376791,0.8496744475793692
+12,6208,0.8494554165386674,0.8497411593691799
+12,6272,0.8488901403128778,0.8495065150791355
+12,6336,0.8486836814311586,0.8492856554961129
+12,6400,0.8474471969159618,0.847860569103393
+12,6464,0.8464405927094932,0.8465349329572406
+12,6528,0.8494493804545132,0.8497665010236791
+12,6592,0.8482567166287361,0.8485379859409924
+12,6656,0.8485809704439403,0.8484310677177407
+12,6720,0.84985043996682,0.849739689617276
+12,6784,0.8495246006659719,0.8495721129891741
+12,6848,0.8500159862907922,0.8500911247791425
+12,6912,0.8493348282374654,0.8492819953512384
+12,6976,0.8488966528623201,0.8488831018375236
+12,7040,0.8500333827309613,0.8501011987635545
+12,7104,0.8499314069504922,0.8498791327740055
+12,7168,0.8494679522800163,0.8495704439488763
+12,7232,0.8502523360713626,0.8504388538008443
+12,7296,0.8496497097820389,0.8498543249277039
+12,7360,0.8509741928545355,0.8511897155289864
+12,7424,0.8494335861413498,0.8498300241991897
+12,7488,0.8495936453137825,0.8497909405423246
+12,7552,0.8504112375563772,0.8507184785489764
+12,7616,0.8495679453331343,0.8498089797006809
+12,7680,0.8491659238397093,0.8496304706806929
+12,7744,0.8487646623001467,0.849065351073616
+12,7808,0.8493983230970316,0.8496463425777673
+12,7872,0.850173632823185,0.8506703557399656
+12,7936,0.8501067677776174,0.8503296508785071
+12,8000,0.8491467540740161,0.8493197320320851
+12,8064,0.8492762913058108,0.8493121039129418
+12,8128,0.8490934013038243,0.8491717309054077
+12,8192,0.8497527052128991,0.8502042219663245
+12,8256,0.849648298560228,0.8501192173252449
+12,8320,0.8504655390002666,0.850756950105775
+12,8384,0.8497961334325568,0.850175269989049
+12,8448,0.851004697138878,0.8512963444731588
+12,8512,0.8499400269978163,0.8501214977099473
+12,8576,0.8501815965043185,0.850595441097519
+12,8640,0.8505641424538559,0.8511082652948407
+12,8704,0.8503109848218127,0.8508130284362905
+12,8768,0.8506054101736089,0.8508999786742316
+12,8832,0.8497951317885186,0.850227529811591
+12,8896,0.8493200020062284,0.8499235349398792
+12,8960,0.8501138850133783,0.8503606989426382
+12,-1,0.8501706418279837,0.8504718093396015
+13,64,0.8496242293343725,0.8497768551233513
+13,128,0.8495166688893289,0.8496325792230733
+13,192,0.8494618908563283,0.8496948461699589
+13,256,0.8493475002285268,0.8496526120206143
+13,320,0.8495014488584975,0.8496846753444346
+13,384,0.849605783327248,0.8497577376724358
+13,448,0.850156539415152,0.8502289177129047
+13,512,0.8499975239511199,0.8502942006761066
+13,576,0.8494936785056315,0.8498368355917908
+13,640,0.849828848680355,0.8500097218320979
+13,704,0.8505827949401441,0.850510553138581
+13,768,0.8499292042175719,0.8499789068642128
+13,832,0.8489161119895814,0.8488701160634374
+13,896,0.8493208482894327,0.8495397464187947
+13,960,0.8484021899393106,0.8487430412426455
+13,1024,0.8499323141389243,0.8502103945684489
+13,1088,0.8502614110417818,0.8505563467644897
+13,1152,0.8496522513098504,0.8500508677679663
+13,1216,0.8503135499744228,0.8508129305714541
+13,1280,0.8500985740013643,0.8503080779098828
+13,1344,0.8497805798816533,0.850001187884256
+13,1408,0.8509735880170823,0.850940924298738
+13,1472,0.8504340134598871,0.8506674447059283
+13,1536,0.8500290171394045,0.8505562880455879
+13,1600,0.8508169829841332,0.8510681300358263
+13,1664,0.8494203523449679,0.849623346120616
+13,1728,0.8501554376936257,0.8504130406157706
+13,1792,0.8494013306279645,0.8493770203278481
+13,1856,0.8498712529270829,0.8498928427478797
+13,1920,0.8497473894349518,0.8499149708770295
+13,1984,0.8499665237086975,0.8502905369725106
+13,2048,0.8502882624588426,0.8508463113774088
+13,2112,0.8503776780076311,0.8505745709763546
+13,2176,0.8501842555023001,0.8504713983072892
+13,2240,0.8493680478987561,0.8497369013591239
+13,2304,0.849822095589976,0.8500072520795038
+13,2368,0.8507640862507349,0.8508714822132848
+13,2432,0.8498917127465527,0.8501234763589997
+13,2496,0.8498011206717716,0.8497638266446094
+13,2560,0.8491954213904314,0.8495829137083714
+13,2624,0.8500011261856522,0.8501740546857193
+13,2688,0.8493642905362015,0.8497756576136283
+13,2752,0.8504558401899491,0.8506420870371831
+13,2816,0.849294392107018,0.8493982925845213
+13,2880,0.8490732117834774,0.8491663369084319
+13,2944,0.8487382974024404,0.8489381623737421
+13,3008,0.8499138882669172,0.8502179088085101
+13,3072,0.8495545572573348,0.8496684546926712
+13,3136,0.850099735899322,0.8503323341543801
+13,3200,0.8502721445086566,0.8507769946035939
+13,3264,0.8502645871576978,0.8507450995637892
+13,3328,0.8488447882080349,0.8492577373273802
+13,3392,0.8492017564774146,0.8497066593453712
+13,3456,0.8499100938029922,0.850326748741273
+13,3520,0.8501456336354514,0.8504134605448859
+13,3584,0.8505650239143945,0.8510082776813542
+13,3648,0.850483697913996,0.8508716227827768
+13,3712,0.8503817430746491,0.850805583591295
+13,3776,0.8507986438715527,0.8511605429109893
+13,3840,0.8501501132288081,0.8504323128710635
+13,3904,0.8495443683140647,0.8498010864567997
+13,3968,0.8499215306941583,0.8503017398272168
+13,4032,0.8494318396250036,0.849705002760598
+13,4096,0.8500173740460704,0.8503203519397056
+13,4160,0.8494334346438182,0.849933609679928
+13,4224,0.8498755532029607,0.8504247772786745
+13,4288,0.8499878221105953,0.8505594428520356
+13,4352,0.8506699874362204,0.8512569273191423
+13,4416,0.8502634208486777,0.8507954608085083
+13,4480,0.8498224285252668,0.8499886773335892
+13,4544,0.8498164720560051,0.8499501310436427
+13,4608,0.8501515105486045,0.8504454232003956
+13,4672,0.8489256419937892,0.849157555763582
+13,4736,0.8503371886181917,0.8504311900944879
+13,4800,0.8502524374986332,0.850437766611482
+13,4864,0.8499158295370878,0.8503714889856718
+13,4928,0.8505436277481662,0.8507458255429379
+13,4992,0.8497592571885327,0.8500390154466196
+13,5056,0.8501149026801024,0.8500541916136767
+13,5120,0.8504942093400399,0.8510366068823992
+13,5184,0.8501427673083971,0.850648716934997
+13,5248,0.8500671380687749,0.850529860981087
+13,5312,0.8503828128688683,0.8507747739614921
+13,5376,0.8501442863935592,0.8503166295172077
+13,5440,0.8496398748167611,0.8498501576650414
+13,5504,0.8496123458295843,0.8497569778854346
+13,5568,0.8500548962856823,0.8503274266776839
+13,5632,0.8507255010737989,0.8508515071105318
+13,5696,0.8493135129346873,0.849634472462814
+13,5760,0.8490789912669567,0.8492104027751413
+13,5824,0.8492464372735816,0.8495073495992844
+13,5888,0.8492549832315638,0.8496469919099694
+13,5952,0.8495779837669019,0.8499828908527275
+13,6016,0.8496495945096219,0.8500685385986665
+13,6080,0.851145825711008,0.8514697602062341
+13,6144,0.849974910673131,0.8502297593504962
+13,6208,0.8490022859127978,0.8491380717643706
+13,6272,0.8495798478787848,0.8498432270552763
+13,6336,0.8493152034229156,0.8492776270208217
+13,6400,0.8489999909855871,0.8492108448114389
+13,6464,0.8490950771336673,0.8494605524139642
+13,6528,0.8485832063457576,0.849106004126582
+13,6592,0.8479120021608192,0.8483748737287828
+13,6656,0.84866413475645,0.8488860288858069
+13,6720,0.8482420306246425,0.8484860108161557
+13,6784,0.84780822530107,0.8482296867958474
+13,6848,0.8487345139508076,0.8491214916817542
+13,6912,0.8487882182302368,0.849061671355774
+13,6976,0.8488411537127738,0.8491653191141352
+13,7040,0.848521428984444,0.8489693616835293
+13,7104,0.8491376684705536,0.8491369045037785
+13,7168,0.8494265408214108,0.849906791156082
+13,7232,0.8490664263848787,0.8490267852107024
+13,7296,0.8497558878680357,0.8496979369194227
+13,7360,0.8489464973246919,0.849072271007217
+13,7424,0.8484830664557738,0.8486694077398731
+13,7488,0.8488055516387495,0.8490012709582191
+13,7552,0.8488085164874768,0.8490560290031257
+13,7616,0.8484273482034155,0.8486658774883264
+13,7680,0.8482395591850905,0.8485088328959627
+13,7744,0.8485737765086361,0.8487047796504045
+13,7808,0.8483699852361661,0.8485628382713105
+13,7872,0.849097261150779,0.8495477837908896
+13,7936,0.8483346178572265,0.8487492796811145
+13,8000,0.8488401162703798,0.8493861235369774
+13,8064,0.8483617011860382,0.8488420768981798
+13,8128,0.8481154783648691,0.8482231547628699
+13,8192,0.84779515429472,0.8481194660792136
+13,8256,0.8477189409134898,0.8479176011712213
+13,8320,0.8484770777606354,0.8487807885996563
+13,8384,0.8484861996402858,0.8485350356255938
+13,8448,0.8487981759806192,0.8487861515926812
+13,8512,0.8493498604272706,0.8495761859457216
+13,8576,0.8495339314494494,0.8498215793535043
+13,8640,0.8496335136619978,0.8499544531106823
+13,8704,0.8493433704943073,0.8495756840315142
+13,8768,0.8491087341811002,0.849514548892509
+13,8832,0.8498713077299264,0.8501514318943064
+13,8896,0.8490051770729089,0.8490401499886088
+13,8960,0.8489137489180526,0.8492580558329381
+13,-1,0.8490953012442471,0.8494044723040884
+14,64,0.8491268983014886,0.8493460274238973
+14,128,0.8490186396773947,0.849029105497001
+14,192,0.8492862376710194,0.8491684152016811
+14,256,0.8491612133747496,0.84935832814413
+14,320,0.849056971601481,0.8492519455084365
+14,384,0.849098601124088,0.8489602139903836
+14,448,0.8481279741138182,0.8481074233662764
+14,512,0.8489206674365626,0.848785537713254
+14,576,0.849410022325954,0.8494378620068462
+14,640,0.8493287828189253,0.8493807356329033
+14,704,0.8501499862058775,0.8505407666825633
+14,768,0.8499986873498974,0.8499533267753855
+14,832,0.849437376769217,0.8492666892908535
+14,896,0.8496262104601917,0.8496375329631468
+14,960,0.8491230609407285,0.8491656536339389
+14,1024,0.8491017045036423,0.8491588013160428
+14,1088,0.8488701890770093,0.8487820732980519
+14,1152,0.8496063346455193,0.8497386326770449
+14,1216,0.8486176358602082,0.8488614683706367
+14,1280,0.8487325584994282,0.8489318901274208
+14,1344,0.8493026032458066,0.849489940334601
+14,1408,0.8488903935996047,0.8489933207747968
+14,1472,0.8485546076532577,0.8487853900263191
+14,1536,0.8476662960381239,0.8477892932534931
+14,1600,0.8492493152319454,0.8496772821008982
+14,1664,0.8483230668317673,0.8484836905298572
+14,1728,0.849178054986308,0.84937089220974
+14,1792,0.8489749045999571,0.8493745843831065
+14,1856,0.8484931161445621,0.8490484097807859
+14,1920,0.8495249771492059,0.8500752023043329
+14,1984,0.848824829094445,0.8494787428179766
+14,2048,0.8491684893421281,0.8500361318585802
+14,2112,0.8490257218459554,0.8494700559792416
+14,2176,0.8493256320654253,0.8499254406351445
+14,2240,0.8495877329395866,0.8501365528804795
+14,2304,0.8487930637916657,0.8491961411994629
+14,2368,0.8495123149436112,0.8501007101950189
+14,2432,0.849403219432242,0.8497874868032862
+14,2496,0.8491966083905161,0.8498528925423736
+14,2560,0.8491728785765319,0.8495404670598616
+14,2624,0.8483984432359064,0.8488032849212743
+14,2688,0.8491131167977539,0.8493984616237839
+14,2752,0.849162750350365,0.8492386252145467
+14,2816,0.8486511480981004,0.848946000457443
+14,2880,0.8491615732370253,0.8491948981812028
+14,2944,0.8493888282914168,0.8496960454590428
+14,3008,0.8488062278474703,0.8492436536877678
+14,3072,0.8497945909547128,0.8500824779760147
+14,3136,0.8494486957177269,0.8496306984388572
+14,3200,0.8483086882201619,0.8484368364049959
+14,3264,0.8489111539699375,0.8492431394525373
+14,3328,0.8484922237589563,0.8487463704264376
+14,3392,0.8491537316841247,0.8496439724693701
+14,3456,0.8486601922093822,0.8491637532767556
+14,3520,0.8478971297219446,0.8485840233393113
+14,3584,0.8481770391751389,0.8485947172968693
+14,3648,0.8479532608078949,0.8481405657379028
+14,3712,0.8486074544348987,0.8490844542896462
+14,3776,0.8484821620426592,0.8489325449321429
+14,3840,0.8492125150457804,0.8496267197884246
+14,3904,0.8482737036605765,0.8488044096123986
+14,3968,0.8481851617538418,0.8486815572144497
+14,4032,0.8486381922041505,0.8487922298886909
+14,4096,0.8481956321255136,0.8485335144076573
+14,4160,0.8480588850168211,0.8480671172886388
+14,4224,0.8481072089141991,0.8483869022068347
+14,4288,0.8483018582988128,0.8484719592050352
+14,4352,0.8485310060023379,0.8488355163954315
+14,4416,0.8481999443545548,0.8487675697293239
+14,4480,0.8481967792107317,0.8485722848970468
+14,4544,0.8476091725656083,0.8481267347675038
+14,4608,0.8477703482317762,0.8483118754646664
+14,4672,0.8480182130965525,0.8484224734057599
+14,4736,0.8477402212007521,0.8481309803220352
+14,4800,0.8478118698481838,0.8483054608694923
+14,4864,0.8477011522435465,0.8480716242733484
+14,4928,0.8480332832624413,0.8484890962275378
+14,4992,0.8480700553357713,0.8482763932337741
+14,5056,0.8491510814501966,0.8491577052298772
+14,5120,0.8483913096551616,0.8486585892270689
+14,5184,0.8489225763872319,0.849087493437651
+14,5248,0.848614723253148,0.8488186213659787
+14,5312,0.8489021674101471,0.8489098402901397
+14,5376,0.8491827692492618,0.8491093564420629
+14,5440,0.8486209994680612,0.848627774259184
+14,5504,0.8485666682948155,0.8485504201132745
+14,5568,0.8489955200036966,0.8490556667682679
+14,5632,0.849257654120367,0.8495142001378199
+14,5696,0.8493619206493559,0.8493508868578559
+14,5760,0.8489676931445723,0.8492230575881448
+14,5824,0.8484948540439972,0.8484757581400412
+14,5888,0.8485959642062753,0.8487807955818907
+14,5952,0.8488904309230947,0.849320248046676
+14,6016,0.8486355972303447,0.8488764523667425
+14,6080,0.8482063144138904,0.8485790233358607
+14,6144,0.8495576443055018,0.8497521859328362
+14,6208,0.84844263209228,0.8487779131528321
+14,6272,0.8490075524702464,0.8493830025383822
+14,6336,0.8489206993737727,0.8492631981852413
+14,6400,0.8487539787101042,0.8489532477934053
+14,6464,0.8485643327274056,0.8487372405268988
+14,6528,0.8486368930221954,0.8487472120640293
+14,6592,0.8484696360725209,0.8487013526017761
+14,6656,0.8493075699787191,0.8496519867097762
+14,6720,0.8499929211191892,0.8499190794207901
+14,6784,0.8488241156772026,0.8489909649012848
+14,6848,0.8498184542057579,0.8498577430795289
+14,6912,0.8499252880716219,0.8499459175176032
+14,6976,0.8501028590490303,0.8503138394796952
+14,7040,0.849444560021844,0.8496573336885552
+14,7104,0.8492546946682838,0.8496435970242711
+14,7168,0.8494693894821935,0.8497723533408852
+14,7232,0.8488865304596492,0.8491038546589066
+14,7296,0.8492167171651255,0.8494074616299947
+14,7360,0.8492980271009467,0.8493329170945652
+14,7424,0.8490754824804168,0.8493016804182041
+14,7488,0.8482945961559882,0.8483008851079241
+14,7552,0.8484383616591729,0.8483903772982008
+14,7616,0.8494585585708615,0.8493471217307023
+14,7680,0.8487469903924032,0.8487521818183487
+14,7744,0.8492173198146348,0.8494469847889428
+14,7808,0.8486027484112159,0.8487480836802774
+14,7872,0.8490970531094992,0.8493871502280773
+14,7936,0.8483688768999121,0.8484217830138244
+14,8000,0.8493165591384233,0.8491607123493902
+14,8064,0.8487648849157596,0.8487264771742751
+14,8128,0.8487669099502824,0.848685438000046
+14,8192,0.8485607046612829,0.8483474342080671
+14,8256,0.8491458149371872,0.8492802266667437
+14,8320,0.8496324479728722,0.8494799154166508
+14,8384,0.8488461974430751,0.8489373847931343
+14,8448,0.8484045033635138,0.8485025286211493
+14,8512,0.8483623816510582,0.8484606122221154
+14,8576,0.8488707914863792,0.8489971908842292
+14,8640,0.8488219923420225,0.8490675325697834
+14,8704,0.8490129759107874,0.8491023599959533
+14,8768,0.8484173405026397,0.8485032190130848
+14,8832,0.8489900754240273,0.8492589348371035
+14,8896,0.8483420974417449,0.8484785766473244
+14,8960,0.8491010895938151,0.8493353583773886
+14,-1,0.8491899679897096,0.8494281378008472

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:ac1e0afa31a53b2ffd253ddc8eb9b52d067ccee3db46a03f27cf4fd03254a628
+size 115087536

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:57a0fabfdda24613da633b30a18b4fc2e0ef24618984e4a7169f016abcfa546f
+size 520

vocab.txt

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