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
+1_Pooling filter=lfs diff=lfs merge=lfs -text
+README.md filter=lfs diff=lfs merge=lfs -text
+config.json filter=lfs diff=lfs merge=lfs -text
+eval filter=lfs diff=lfs merge=lfs -text
+sentence_bert_config.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
+modules.json filter=lfs diff=lfs merge=lfs -text
+pytorch_model.bin filter=lfs diff=lfs merge=lfs -text
+special_tokens_map.json filter=lfs diff=lfs merge=lfs -text
+tokenizer.json filter=lfs diff=lfs merge=lfs -text
+vocab.txt 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:a37f83ada23e7887be6b88f4998927dbeac0038af301553c7cd5461413bf1a56
+size 190

2_Dense/config.json

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

2_Dense/pytorch_model.bin

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

README.md

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

config.json

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

config_sentence_transformers.json

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

eval/similarity_evaluation_sts-dev_results.csv

@@ -0,0 +1,1270 @@
+epoch,steps,cosine_pearson,cosine_spearman,euclidean_pearson,euclidean_spearman,manhattan_pearson,manhattan_spearman,dot_pearson,dot_spearman
+0,64,0.8266684928371671,0.825679468386726
+0,128,0.8232293184212651,0.824292257464984
+0,192,0.8219637038920374,0.8239516647032471
+0,256,0.8212273821026966,0.8236834314220509
+0,320,0.8102221123971286,0.8164569922713071
+0,384,0.7962856252156052,0.8078462041288462
+0,448,0.7907866554034303,0.8053462835360728
+0,512,0.7884909855384836,0.8053841020675098
+0,576,0.7879299840727236,0.8052591108780494
+0,640,0.7913906230334166,0.8079820789493694
+0,704,0.7957718328888926,0.8108234688105987
+0,768,0.7995680025297567,0.8144187559892537
+0,832,0.8053725715976817,0.8186325016177601
+0,896,0.8081134728631251,0.8200611869294189
+0,960,0.8109428417314786,0.8221869677558734
+0,1024,0.8139269011208079,0.8244485778575601
+0,1088,0.816748311048989,0.826564189637851
+0,1152,0.8182884195155071,0.8276837259976436
+0,1216,0.8198467610032042,0.8287683228315447
+0,1280,0.8202610948612796,0.8286178013753551
+0,1344,0.8243847163247577,0.8318123498432922
+0,1408,0.8252352240937675,0.8323987363689602
+0,1472,0.826010953279531,0.8329718131276417
+0,1536,0.8262771988114481,0.8331669823016493
+0,1600,0.8279514808224223,0.8346799941710387
+0,1664,0.8313266792449157,0.8375828164590048
+0,1728,0.8304343093525467,0.8361487549711231
+0,1792,0.8302259985545707,0.8365270079011986
+0,1856,0.8314060477649402,0.8368864529891131
+0,1920,0.8322897579000446,0.8381832012149737
+0,1984,0.8327715648229773,0.8384554202640451
+0,2048,0.8349483782351212,0.8399486205827748
+0,2112,0.834117426669423,0.8399688483547411
+0,2176,0.8345908235126687,0.8399057184179362
+0,2240,0.8350611893533343,0.8403989856622597
+0,2304,0.836354748384865,0.8411640146599653
+0,2368,0.8363841293814813,0.841273511176811
+0,2432,0.837012178370496,0.8418697695954129
+0,2496,0.8362197192315571,0.8409916195232
+0,2560,0.8360343888990517,0.8411428224745218
+0,2624,0.8377410149982084,0.8424543696429796
+0,2688,0.8381806412607294,0.8429485016565833
+0,2752,0.8380383246206397,0.8428777169102252
+0,2816,0.8385407505220904,0.8437125947105825
+0,2880,0.837641913143174,0.8427743040274709
+0,2944,0.8388797107503602,0.8434396318887559
+0,3008,0.837812263895588,0.8429601796005854
+0,3072,0.8386688512591267,0.8429773771213505
+0,3136,0.8388999082127362,0.8430346796519989
+0,3200,0.839706307519345,0.8441987640852391
+0,3264,0.8399635929598672,0.8443281999784588
+0,3328,0.8382548439702232,0.8431549341833863
+0,3392,0.8378746228500841,0.8426271971643851
+0,3456,0.8388207863577319,0.8434130144326646
+0,3520,0.838134244314274,0.8427772771985867
+0,3584,0.8407478650858853,0.845497001635971
+0,3648,0.8393682655087075,0.8440101063422861
+0,3712,0.8414639482183496,0.8462475768870471
+0,3776,0.8398212137882697,0.844125258696434
+0,3840,0.8400377914113913,0.844731274100399
+0,3904,0.8418421908849697,0.8463687122019605
+0,3968,0.8402238039819492,0.8437479310339009
+0,4032,0.8409109135259353,0.8454508625377581
+0,4096,0.8399833874571984,0.8446730419926146
+0,4160,0.8416096487068936,0.845516006987165
+0,4224,0.8425795274811071,0.8466100308738351
+0,4288,0.8439186555122573,0.8479080139759929
+0,4352,0.844097153179564,0.8480622115913031
+0,4416,0.8432871503737737,0.8474236168445523
+0,4480,0.8448314725206103,0.8489582300032493
+0,4544,0.843411237441729,0.8478919890539018
+0,4608,0.8450350153765047,0.8485543952049855
+0,4672,0.8454585688063108,0.8500330794994628
+0,4736,0.8440924791290105,0.8487189985214272
+0,4800,0.8461278881499663,0.8505550407137663
+0,4864,0.845642411242821,0.8500640314781185
+0,4928,0.8458028191377327,0.8499521684115967
+0,4992,0.8440523040772129,0.8489889382094947
+0,5056,0.8437970741621416,0.8477566882487857
+0,5120,0.8450986256094841,0.8498682857914308
+0,5184,0.84450669623246,0.8493404082029377
+0,5248,0.8455832673487621,0.8496118621269256
+0,5312,0.8455177758597894,0.8499986328564737
+0,5376,0.8472661925744419,0.851695854668314
+0,5440,0.8460136249512032,0.8501366311723484
+0,5504,0.848108051256408,0.8523120063390786
+0,5568,0.845119544445466,0.8495151965797887
+0,5632,0.8452438739450839,0.8493122533792371
+0,5696,0.8459100866105045,0.8505356456825881
+0,5760,0.8475385804567606,0.8515458403299121
+0,5824,0.8457822892471125,0.8503903786784232
+0,5888,0.847042134499802,0.8505707149681905
+0,5952,0.8439242494548581,0.8478246882957131
+0,6016,0.8474328719929689,0.8517969508234908
+0,6080,0.8461577097102255,0.8500745030155942
+0,6144,0.8480317243822808,0.8517397657306459
+0,6208,0.8485320725566438,0.852135806929225
+0,6272,0.8472688093243026,0.8511225677958143
+0,6336,0.84710095481729,0.8504296740792068
+0,6400,0.8473808856726958,0.8511928863496799
+0,6464,0.8472012751932921,0.8504848342596221
+0,6528,0.846446855934441,0.8496480756750487
+0,6592,0.8471949001592302,0.8503045939217132
+0,6656,0.8493183623914489,0.8523313052847813
+0,6720,0.8471500574565118,0.8507692953100243
+0,6784,0.851163259223617,0.8541280698699434
+0,6848,0.8488827125845287,0.8520786342919049
+0,6912,0.8475637637732754,0.8505570264802612
+0,6976,0.8492917552478721,0.8524221647780893
+0,7040,0.848857442087324,0.8527827201870547
+0,7104,0.8490758006639243,0.852060758834729
+0,7168,0.8505051561049463,0.8540745911853503
+0,7232,0.8490888545138753,0.8525562556179578
+0,7296,0.8500715662562097,0.8534247686728439
+0,7360,0.8478800600911667,0.8511712048400553
+0,7424,0.8497375239467041,0.8530153306678665
+0,7488,0.8484557695028704,0.851862399267234
+0,7552,0.848774092981434,0.851574326114695
+0,7616,0.8498739868371624,0.8530545442180597
+0,7680,0.849906852156304,0.853028392954461
+0,7744,0.8495053776913273,0.8524367235069975
+0,7808,0.8497341735958851,0.8535179047271172
+0,7872,0.8531933972102086,0.8562121574785243
+0,7936,0.8506080986821902,0.8539409772141382
+0,8000,0.849043085639027,0.8524927787058242
+0,8064,0.8515659490401687,0.854911025926284
+0,8128,0.8503468963693498,0.8526663108540504
+0,8192,0.8496745690173901,0.8533671839823999
+0,8256,0.8496210751531573,0.8529210120974382
+0,8320,0.851709320545823,0.8537855856478261
+0,8384,0.8509593463942374,0.8536551602909144
+0,8448,0.8531195690220895,0.8558645301430262
+0,8512,0.8528109702297636,0.8548356717817546
+0,8576,0.8500959815419725,0.8528068063709799
+0,8640,0.8520947309560022,0.8547828336669985
+0,8704,0.8520582393700731,0.8547865756624635
+0,8768,0.8496613988511724,0.8521589866605241
+0,8832,0.8495829725140256,0.8523343568883107
+0,8896,0.8507074778992667,0.8531144090280565
+0,8960,0.8511912552096491,0.8538184504391897
+0,-1,0.8508368407657884,0.8535469698247918
+1,64,0.8510073866154622,0.8531794286458808
+1,128,0.851807283361773,0.8541140876538883
+1,192,0.8511792606660711,0.8532370034187099
+1,256,0.8498689346747038,0.8522795205515351
+1,320,0.8513121930771731,0.8538726853520627
+1,384,0.8516640921093047,0.8548520899425511
+1,448,0.8538033684180405,0.8559836263106251
+1,512,0.8539494151716864,0.8568153101586001
+1,576,0.8521161682554351,0.8545168263659864
+1,640,0.854259354181995,0.8564642217096402
+1,704,0.8522421224987833,0.8550872911724816
+1,768,0.8497817769586951,0.8522128283346915
+1,832,0.8499443618124194,0.8525020349399701
+1,896,0.8501642625423981,0.8522237571678566
+1,960,0.8542153928537726,0.857369675309857
+1,1024,0.8507904528738232,0.8533220355058612
+1,1088,0.8523069931761806,0.8545384242456601
+1,1152,0.8542050970944298,0.8571919029451813
+1,1216,0.8508446119737545,0.8533462615012275
+1,1280,0.8514105715719025,0.8541242709349374
+1,1344,0.8514840707332466,0.8540342637553846
+1,1408,0.8495022690369167,0.8522002607103603
+1,1472,0.850222497899848,0.8522906789222249
+1,1536,0.8504336724289365,0.8531609606616057
+1,1600,0.8503885599869987,0.8525203392230648
+1,1664,0.8536871109573992,0.8558329393738942
+1,1728,0.8512218513196366,0.8531477346738305
+1,1792,0.8495932846842936,0.851021000110063
+1,1856,0.8487664442238709,0.8507918914110274
+1,1920,0.8511889219833543,0.8534200747194266
+1,1984,0.853193561027596,0.8550585972025015
+1,2048,0.8494050479551505,0.8513112316270807
+1,2112,0.852939664315643,0.8549390099313612
+1,2176,0.8505738905981,0.8525692164809947
+1,2240,0.8503494874364009,0.8522331556187156
+1,2304,0.8510350875748056,0.8537453560826969
+1,2368,0.8497678861637247,0.8518002052741352
+1,2432,0.8533816950576022,0.8552138304057152
+1,2496,0.8506532347244334,0.8531081526646193
+1,2560,0.8526276803765789,0.8556660762694163
+1,2624,0.8500986121842409,0.8526614833168251
+1,2688,0.8533991266646885,0.8560685712091041
+1,2752,0.8526007409266213,0.8547504562905536
+1,2816,0.8502560097619777,0.8523281362434483
+1,2880,0.8523218261361238,0.8539852726183725
+1,2944,0.8544517484434709,0.8564159326587863
+1,3008,0.8526994185715938,0.8539899469988226
+1,3072,0.8501619497360348,0.8518762960739773
+1,3136,0.8511751954068686,0.8532119037572603
+1,3200,0.8518790184493952,0.8540134576912042
+1,3264,0.8533550540598728,0.8556561385401381
+1,3328,0.8526446840727918,0.8550040989442512
+1,3392,0.8509320323775488,0.8528442611547917
+1,3456,0.8513867004847647,0.8540857851432533
+1,3520,0.8536362119848377,0.8554799658206949
+1,3584,0.8553402492280362,0.8573949030852739
+1,3648,0.852113513191825,0.8537400784989836
+1,3712,0.8536005575514529,0.8554116419301273
+1,3776,0.85284552464805,0.8544433796960829
+1,3840,0.8511053733465472,0.8530319783661879
+1,3904,0.8533062918270409,0.8556706314327022
+1,3968,0.8544206679781811,0.8549803427000988
+1,4032,0.8518442532460593,0.8535511015002412
+1,4096,0.8509752454919159,0.8531335183405098
+1,4160,0.8538567006222354,0.8562053150757143
+1,4224,0.8527109310291321,0.8545764207131628
+1,4288,0.8526940718873826,0.8542463404141966
+1,4352,0.8528664505610795,0.8547150275703829
+1,4416,0.8496776855357462,0.851668265681303
+1,4480,0.851706441434704,0.8540822353187395
+1,4544,0.8526986823060607,0.8545370737109201
+1,4608,0.8537350358937754,0.8556873058214335
+1,4672,0.853426950763122,0.8552494371918536
+1,4736,0.8567498842451753,0.859048167571405
+1,4800,0.8524500504182354,0.8540883438638803
+1,4864,0.8530022869390737,0.8541155876549236
+1,4928,0.8502217021510017,0.8520033370869167
+1,4992,0.8538693715688948,0.855395159712347
+1,5056,0.8523558563396583,0.8535067313628592
+1,5120,0.8533773535828573,0.8549175099165237
+1,5184,0.8516215063648316,0.8537021389710217
+1,5248,0.8503135921572897,0.8517581910102654
+1,5312,0.849673911461725,0.8514642868928483
+1,5376,0.8505280656489809,0.8519603068081107
+1,5440,0.8489504448120121,0.849873120180103
+1,5504,0.852029682486875,0.8541824328967837
+1,5568,0.8523861184472722,0.8538726622203742
+1,5632,0.8505613444170292,0.8515695538694086
+1,5696,0.8521569858350281,0.8531687987453067
+1,5760,0.849672844862395,0.8505229944283057
+1,5824,0.8485288927136945,0.849515429676035
+1,5888,0.8506284892016518,0.8518634473106619
+1,5952,0.8493058080269533,0.8509241566268602
+1,6016,0.8516766716316798,0.8529319213576357
+1,6080,0.8510365845652968,0.851832116328186
+1,6144,0.8512815608811969,0.8525809727168658
+1,6208,0.8526651988908355,0.8536191325550727
+1,6272,0.8524291631845928,0.8534468770979661
+1,6336,0.851137620548636,0.8517155361765583
+1,6400,0.851090219609913,0.8528180209231601
+1,6464,0.8506170419908801,0.8521975596408805
+1,6528,0.8520338254106521,0.8534359768656322
+1,6592,0.8509779372483016,0.8523690722147591
+1,6656,0.8528629466289387,0.854002066224268
+1,6720,0.8493083951434023,0.850577657143806
+1,6784,0.850537391071442,0.8514617299515819
+1,6848,0.8510719411482267,0.8516909311773717
+1,6912,0.8527637875524713,0.8529866989755095
+1,6976,0.8519855098303492,0.8530241189301591
+1,7040,0.8543703228911206,0.8563652279974598
+1,7104,0.8533289520467158,0.8544675886573697
+1,7168,0.8532452062704546,0.85465344389799
+1,7232,0.8541288027955399,0.8560563345458552
+1,7296,0.8543560786553449,0.8548001379494031
+1,7360,0.8536001924467927,0.8554925120926983
+1,7424,0.8525323231203448,0.8530919641727093
+1,7488,0.8536428488356028,0.8548152348050664
+1,7552,0.8516773311345258,0.8528330155954297
+1,7616,0.852468550328961,0.8530542897694856
+1,7680,0.8518802306377705,0.8530567025825386
+1,7744,0.8512298917096873,0.8522065329566816
+1,7808,0.8555849439024688,0.8564902227456419
+1,7872,0.8521956164522485,0.8528992273848954
+1,7936,0.8540748373231121,0.8539758811528165
+1,8000,0.8515457094835086,0.8524820438229711
+1,8064,0.8521377671791719,0.8533819501379563
+1,8128,0.8511012911799438,0.8517165966755109
+1,8192,0.8513800252588539,0.8520283940437104
+1,8256,0.8508672730803413,0.8513627192070969
+1,8320,0.8515082540545748,0.8522914476060294
+1,8384,0.8512747238579572,0.8526971898789191
+1,8448,0.8531557376012786,0.8541857104791167
+1,8512,0.8512777341806309,0.8519671804783345
+1,8576,0.8524352094757148,0.8528884800465177
+1,8640,0.8511852211737955,0.8519147105588125
+1,8704,0.8534868178594811,0.8541441588490181
+1,8768,0.8527024187222989,0.8535817794573552
+1,8832,0.853217268251285,0.8541482895043498
+1,8896,0.8507628017544848,0.8517556508403612
+1,8960,0.8534203229995375,0.8545187035914811
+1,-1,0.8544654758295072,0.8557484410949403
+2,64,0.8527054959175656,0.8535652936808538
+2,128,0.8554250506569937,0.8555271633621631
+2,192,0.852444612917136,0.8522850045410848
+2,256,0.8518321715256701,0.8523960099557691
+2,320,0.8520448761302234,0.8524421487776456
+2,384,0.8514706775320883,0.8522039279726775
+2,448,0.8503935568653599,0.8508194697218744
+2,512,0.8511184569137137,0.8515882780816186
+2,576,0.8490636238188687,0.8503974605338441
+2,640,0.8496047983472689,0.8498426968058
+2,704,0.8529740380076529,0.8540511712403623
+2,768,0.8534104645394427,0.8540537566513993
+2,832,0.8515884419560764,0.8525621915651147
+2,896,0.8509191653703743,0.8513966978782328
+2,960,0.8525197915764721,0.8524966931673678
+2,1024,0.8523121012563172,0.8529789356249562
+2,1088,0.8501742447870821,0.850845387889227
+2,1152,0.8526649970488719,0.853449199294686
+2,1216,0.8508069054098075,0.8511377510803139
+2,1280,0.848766783200321,0.8497365864122876
+2,1344,0.8509209860094519,0.8508292704403818
+2,1408,0.8503073000881468,0.8505688396556734
+2,1472,0.8504963302822259,0.8505227773463053
+2,1536,0.8497124055307063,0.8493436911233527
+2,1600,0.85000480207981,0.8503635103324789
+2,1664,0.85252548582999,0.8528919747108511
+2,1728,0.8505462044556087,0.8508616548043675
+2,1792,0.8480088947897491,0.8479230157657053
+2,1856,0.8514739274828877,0.8514271196074122
+2,1920,0.8500446216598383,0.8497843533491666
+2,1984,0.8499259762565088,0.8501050706523474
+2,2048,0.8502926104776325,0.8509640036294479
+2,2112,0.8527348460475683,0.8534237295262194
+2,2176,0.8496633316922211,0.85036164912123
+2,2240,0.8516648050812935,0.8526814148252596
+2,2304,0.8496153829789935,0.8512654237662869
+2,2368,0.8503975301800963,0.8519865648333489
+2,2432,0.851073543616896,0.8516811429143889
+2,2496,0.854989025191382,0.8554866882452629
+2,2560,0.8520048360042484,0.8525936364266727
+2,2624,0.8518028803951078,0.8527969390580773
+2,2688,0.8536908091975586,0.8543262461632906
+2,2752,0.8517762656466694,0.8529625121260778
+2,2816,0.8521968822125447,0.8518704544329352
+2,2880,0.8519657392055268,0.8524220064149906
+2,2944,0.8513901311110893,0.8511987084177547
+2,3008,0.8498347734460402,0.8500721916260986
+2,3072,0.8505960709921556,0.8503905850842595
+2,3136,0.8500360725372607,0.8490265912603906
+2,3200,0.8479223728619159,0.8474886293449341
+2,3264,0.8490416024511537,0.8492678903592981
+2,3328,0.848202391292407,0.8480533592720267
+2,3392,0.8489891067672777,0.8489764043930158
+2,3456,0.8492550504684906,0.8503934551930018
+2,3520,0.8515819900531367,0.852582915778705
+2,3584,0.8509549672928968,0.8519763744348574
+2,3648,0.8520245581371072,0.8524215437812195
+2,3712,0.8506277792457315,0.8513773669040381
+2,3776,0.8537684441831318,0.854826924444757
+2,3840,0.8496080254148481,0.8505150567004077
+2,3904,0.8528485971411509,0.8529723875777326
+2,3968,0.8542629804968479,0.8543487727389691
+2,4032,0.8515159738721672,0.8516704133696179
+2,4096,0.8547174147597965,0.8545507559746247
+2,4160,0.855613208577401,0.8556599534893902
+2,4224,0.854466290061591,0.8543621572201016
+2,4288,0.855221956945387,0.8554770617748441
+2,4352,0.8515201236653337,0.851589970253605
+2,4416,0.8551763196683622,0.8558950266053533
+2,4480,0.8541441204125564,0.8551037965219505
+2,4544,0.8525296008643748,0.8537341548765459
+2,4608,0.8537653710436572,0.8542106888832783
+2,4672,0.8527079179399943,0.8533134874572574
+2,4736,0.8525053218051158,0.8532807810289925
+2,4800,0.8522463307069346,0.8524408978871026
+2,4864,0.849289275673891,0.8492246056319177
+2,4928,0.8529024806719108,0.8533109465302371
+2,4992,0.8487993071115119,0.8483658114449487
+2,5056,0.8519173363021233,0.8521294724052806
+2,5120,0.8526483957105931,0.8524851897326156
+2,5184,0.8536956313009431,0.8536857688529629
+2,5248,0.852482528108833,0.8528524818010342
+2,5312,0.852616208804889,0.8529786366923655
+2,5376,0.853366198874587,0.8535656548910675
+2,5440,0.8543689886992675,0.8551321203849134
+2,5504,0.8538106199414491,0.8547512517946699
+2,5568,0.8521966932964655,0.8534015693685776
+2,5632,0.8530088524039166,0.853998705011984
+2,5696,0.8537687869226516,0.8547513389833421
+2,5760,0.8519556169083699,0.8525327111177237
+2,5824,0.8518808500058725,0.8526545243690481
+2,5888,0.8544110505349962,0.8546378442430964
+2,5952,0.8540952221931635,0.8542873849265076
+2,6016,0.8565992112547477,0.8562667973245497
+2,6080,0.8549398113270332,0.8546892126059484
+2,6144,0.8570692951245535,0.8572123122119352
+2,6208,0.8549264787296881,0.8556624428149514
+2,6272,0.8542399176712622,0.8542729151656322
+2,6336,0.8541038822775361,0.8540311363984859
+2,6400,0.8525208874835558,0.8526978535804447
+2,6464,0.8549148567215338,0.8556998147268634
+2,6528,0.8550688707304295,0.8555200103323157
+2,6592,0.8527187442147343,0.8527284923916243
+2,6656,0.8543814612773601,0.8547774137344326
+2,6720,0.8546355577515875,0.8541769435691521
+2,6784,0.853535910037449,0.8537033906204125
+2,6848,0.8541413114605766,0.8542897568142654
+2,6912,0.8540705276194808,0.8543292479447215
+2,6976,0.8539191768537618,0.8544091447970124
+2,7040,0.8561273729474123,0.8563007635401608
+2,7104,0.8535363750660275,0.8542960166050622
+2,7168,0.8529673746682308,0.8533397953045944
+2,7232,0.8546294003326006,0.8544571501682197
+2,7296,0.8554285782082792,0.855624668767531
+2,7360,0.854450865028029,0.8551497040269413
+2,7424,0.8536247714479491,0.8544723441288831
+2,7488,0.853878591136723,0.8536960126322741
+2,7552,0.8525452913902077,0.8528946989120194
+2,7616,0.8559185260572189,0.8555575957675065
+2,7680,0.854007788768812,0.854307263943785
+2,7744,0.8553483568939069,0.8547287001776832
+2,7808,0.8555226820008646,0.8556173680507488
+2,7872,0.8543826000991056,0.8549214288286244
+2,7936,0.8540715007662297,0.8544259692813386
+2,8000,0.8536554979937637,0.8542951322628148
+2,8064,0.856246588107698,0.8573336680399646
+2,8128,0.8563500502461184,0.8567119150694527
+2,8192,0.8534347890860414,0.8540929274969368
+2,8256,0.8538639438364769,0.8544968210141022
+2,8320,0.8573849420402336,0.8582886207838885
+2,8384,0.8513047353836981,0.851895851247615
+2,8448,0.8546463124695353,0.8549942644178914
+2,8512,0.8546843141749493,0.8562828435989687
+2,8576,0.8523642597266552,0.8524576220979325
+2,8640,0.8546937028686111,0.855061575852244
+2,8704,0.854528397605827,0.8539182868070204
+2,8768,0.8563849340827352,0.8567189987042343
+2,8832,0.8544857456753677,0.855216604428982
+2,8896,0.8542906416160734,0.8539820982389577
+2,8960,0.854434899489527,0.8542215592583049
+2,-1,0.8550107769342762,0.8548221575375528
+3,64,0.8547785009031464,0.855202355308828
+3,128,0.8525995114431688,0.8528466846440086
+3,192,0.8546920920845231,0.8542350147836049
+3,256,0.8550527881333233,0.8541933421569814
+3,320,0.8566909628945799,0.8560070185467379
+3,384,0.8542794990129238,0.8535246584214943
+3,448,0.8547409985361127,0.8537496140927527
+3,512,0.853592521127933,0.8534883843751088
+3,576,0.8534008255326748,0.8530183662571499
+3,640,0.8532263281760609,0.8526259941002488
+3,704,0.8537687085088055,0.8530046295928658
+3,768,0.8522274119382909,0.8512510216211163
+3,832,0.8509370923627215,0.8500747770371355
+3,896,0.8518210259793304,0.8513207654414894
+3,960,0.8533176965174151,0.8522470223084673
+3,1024,0.8532703987644281,0.851943248077477
+3,1088,0.8535045074423696,0.8520917659735652
+3,1152,0.8544713171185974,0.8529071419811047
+3,1216,0.851153369438887,0.8497630152561491
+3,1280,0.8518249756964377,0.851178309827165
+3,1344,0.8533921315594238,0.8526663215302144
+3,1408,0.8534403383353719,0.8526033481771471
+3,1472,0.854498493417303,0.8540868296279599
+3,1536,0.8541668410495197,0.8538293703755514
+3,1600,0.8523841221757157,0.8515210271455285
+3,1664,0.8529958301352054,0.8529089337972877
+3,1728,0.8544223349872219,0.8543068013100139
+3,1792,0.8537952811276683,0.8531782862963381
+3,1856,0.8526659532707183,0.852085351378391
+3,1920,0.8538156283893447,0.8536519368482031
+3,1984,0.8535149309397936,0.8531160407017803
+3,2048,0.8542642370978657,0.8545102569664349
+3,2112,0.8535877167585042,0.8532662311968875
+3,2176,0.8519037364489358,0.852160045380116
+3,2240,0.8527261546260433,0.8526817557045667
+3,2304,0.8527136763807169,0.8527292165914124
+3,2368,0.8535491702654078,0.8531119357167412
+3,2432,0.8542736684248666,0.8540640865991905
+3,2496,0.8528630609655479,0.852818312738308
+3,2560,0.8529306180477818,0.8518577444597513
+3,2624,0.8531135694127722,0.8529010386425
+3,2688,0.8554072716157604,0.8556531047302154
+3,2752,0.8517872167095852,0.8515361801808967
+3,2816,0.8524040148486087,0.8523591202505958
+3,2880,0.8528843781958652,0.8531324037023965
+3,2944,0.8531290377700305,0.8536927785134353
+3,3008,0.8554992574971425,0.8547802180068306
+3,3072,0.8554812249798065,0.8557785656708898
+3,3136,0.8558924626990069,0.8562266567274532
+3,3200,0.8540588519806328,0.8538220312717881
+3,3264,0.8529136347489764,0.8533117899471891
+3,3328,0.8514032540171843,0.8509714716061318
+3,3392,0.8531329771048833,0.853122989105152
+3,3456,0.8548521641651353,0.8549269707771453
+3,3520,0.8557857397433307,0.8554094657720419
+3,3584,0.8558394262566611,0.855628732827275
+3,3648,0.8537063387320424,0.8533601494111676
+3,3712,0.8556297039153299,0.8554330084929153
+3,3776,0.8529626234522314,0.8525694744882902
+3,3840,0.8527810850352382,0.8527555048657821
+3,3904,0.853680327680664,0.8532444998651645
+3,3968,0.8522565076311698,0.852304947615346
+3,4032,0.8535351858718779,0.8533404643442019
+3,4096,0.8530585238618252,0.8531572453565506
+3,4160,0.8538173241564955,0.8539223419699613
+3,4224,0.8562320196398042,0.8560680089311359
+3,4288,0.8528418401549942,0.8523858587032119
+3,4352,0.8532731534266222,0.8534770658619596
+3,4416,0.8532629327449879,0.8531777204596487
+3,4480,0.8532820229656791,0.8530980068815057
+3,4544,0.854466271475075,0.8542479436181499
+3,4608,0.8536272556430488,0.8527662468660778
+3,4672,0.855746968253751,0.8553434248011994
+3,4736,0.8551940712550001,0.8549624654635622
+3,4800,0.8559712879418584,0.8552707503738218
+3,4864,0.8532930507463624,0.8525183997199468
+3,4928,0.8530761567807779,0.8525333943922166
+3,4992,0.8541355555842236,0.8532746778219337
+3,5056,0.8539087213665295,0.8535519929599309
+3,5120,0.854708643396615,0.8540258295858631
+3,5184,0.8534239415227342,0.8529548964624591
+3,5248,0.8545149459315621,0.8538045615088268
+3,5312,0.8522344302577352,0.8515049933266342
+3,5376,0.8543674704796834,0.8537913525557207
+3,5440,0.8546393021080811,0.854204032555818
+3,5504,0.8536327423707608,0.8529732114217177
+3,5568,0.8538488003944591,0.8538203757074224
+3,5632,0.8534151315071921,0.8534051494422226
+3,5696,0.8538439291508569,0.8533268949398198
+3,5760,0.8511939777515638,0.8512596568583926
+3,5824,0.8552524626747039,0.854899305277626
+3,5888,0.8525897037627284,0.8523693320014152
+3,5952,0.8547644548687787,0.8548021859935211
+3,6016,0.8560219583311871,0.8559604341238014
+3,6080,0.8555178702395553,0.8548299837957472
+3,6144,0.8548962169154559,0.8543838849931032
+3,6208,0.8551454979269446,0.854681178792575
+3,6272,0.8541822331071586,0.8540911356807536
+3,6336,0.8537959101774377,0.8537291389896547
+3,6400,0.8552576881843874,0.8551369442316588
+3,6464,0.853402865366771,0.8535929431661272
+3,6528,0.8531665033601197,0.8530836830282045
+3,6592,0.8553159949453836,0.8555675690839978
+3,6656,0.8533094122840756,0.8530181989972481
+3,6720,0.8526567793639815,0.8521852429064019
+3,6784,0.8524932740151262,0.8521751021978178
+3,6848,0.8526124725096257,0.8524615971896436
+3,6912,0.8515342120545998,0.8512643276801212
+3,6976,0.8536964984320724,0.8530662221620618
+3,7040,0.8538503087352187,0.8535074039611882
+3,7104,0.8531279660453712,0.8527856045306824
+3,7168,0.8555836389591827,0.8549991790120304
+3,7232,0.8543679996208021,0.8540268562769631
+3,7296,0.8538575237838825,0.8533728149003352
+3,7360,0.8542253691153531,0.8545268299316087
+3,7424,0.8556666480720824,0.8555551153387484
+3,7488,0.8546393519880966,0.8540925395963131
+3,7552,0.8549004950119097,0.8547894173014352
+3,7616,0.8565913900496525,0.856636311814431
+3,7680,0.8549639062100212,0.855240570637692
+3,7744,0.8518443767051908,0.8512985607998311
+3,7808,0.851803375883192,0.8515756108130905
+3,7872,0.8541059685523402,0.8545503139335804
+3,7936,0.8533490749213697,0.8527634746221718
+3,8000,0.8555523972613112,0.8555368804507195
+3,8064,0.8545017667708014,0.8544779331007116
+3,8128,0.8536330161538411,0.8539888776030666
+3,8192,0.8551237220942233,0.8549614885945607
+3,8256,0.8535599936217478,0.8531406001959373
+3,8320,0.85236973106751,0.8528023803429712
+3,8384,0.853699941656969,0.8537966248013519
+3,8448,0.8539540464717017,0.8536760268533573
+3,8512,0.8549803437029847,0.8547313834535563
+3,8576,0.8547983629986293,0.8547047889992109
+3,8640,0.8525165765834515,0.8524247865340505
+3,8704,0.8531917811786197,0.852345970775329
+3,8768,0.853709595672189,0.8530673983194573
+3,8832,0.8532445271086176,0.8527614977524801
+3,8896,0.8539929662033358,0.8532694465015975
+3,8960,0.8536282577941332,0.8528862611837764
+3,-1,0.8525341502424448,0.8517572924331327
+4,64,0.8540200301888843,0.8540885413729133
+4,128,0.8564170408387706,0.8564260251924415
+4,192,0.8551459797993514,0.8549923124592489
+4,256,0.8561764608516569,0.8559708290199516
+4,320,0.8540352157803031,0.8536351086756531
+4,384,0.8520021311204667,0.8519768602003172
+4,448,0.8531696797315669,0.8530153342265877
+4,512,0.8540231855388234,0.8538494077559274
+4,576,0.8538650740718073,0.8529950779848507
+4,640,0.8548579665121376,0.8542632478991743
+4,704,0.8532683850508549,0.8527903162777062
+4,768,0.8548678125807085,0.8545795256975122
+4,832,0.8531256875465112,0.8527548500610598
+4,896,0.8538535327159986,0.8536453577930465
+4,960,0.8522649058167439,0.8521989048375385
+4,1024,0.852930911548234,0.8526064923074309
+4,1088,0.8538325958689069,0.8537586995082754
+4,1152,0.8540141721130879,0.8543189365497053
+4,1216,0.8529540426936415,0.8527841187645323
+4,1280,0.8554210339401908,0.8560279822131216
+4,1344,0.8549452551688725,0.8555990619882937
+4,1408,0.8515301092925541,0.8515775770066182
+4,1472,0.8537328688276783,0.8540881392374047
+4,1536,0.8518782376126423,0.8521676272358821
+4,1600,0.8516176683769088,0.8514566275020639
+4,1664,0.850827559330674,0.8506005193928385
+4,1728,0.8518052381622894,0.8516157336165804
+4,1792,0.8529605866850994,0.8525644602499544
+4,1856,0.8526676929214682,0.8521249083451914
+4,1920,0.8536947219411827,0.8531221474675604
+4,1984,0.8523821843645449,0.8518288547600987
+4,2048,0.8548145033276897,0.8540929114826908
+4,2112,0.8534526163350683,0.853604007230702
+4,2176,0.8547085638162132,0.8543575344411108
+4,2240,0.8541139044705319,0.8537993828103726
+4,2304,0.8555193158464611,0.8550546843884136
+4,2368,0.8532621441178112,0.8523912875325812
+4,2432,0.853130296757504,0.8528606437283751
+4,2496,0.8550457809330606,0.8549296931989528
+4,2560,0.8532732643578729,0.8527086685345274
+4,2624,0.8535508973577938,0.8533217757192051
+4,2688,0.8524594778346656,0.8518355291419291
+4,2752,0.8532954532283793,0.853090741751937
+4,2816,0.8543634587075145,0.8543779116793725
+4,2880,0.8537795171208348,0.8538033045212642
+4,2944,0.8536781339233869,0.8536871763272439
+4,3008,0.853819720471685,0.8534751067858747
+4,3072,0.8510726262981053,0.8509397367087864
+4,3136,0.8533794589725661,0.8533180532967074
+4,3200,0.8531083588303222,0.8533580355307052
+4,3264,0.854646658161893,0.8550901310320926
+4,3328,0.8539066184313874,0.8542563635527862
+4,3392,0.8534992701309573,0.8530954035454893
+4,3456,0.8513477951717153,0.8514067405897897
+4,3520,0.8527432216279763,0.8524895883121634
+4,3584,0.8519177520699036,0.8523835010503393
+4,3648,0.851964713694012,0.8517318493550761
+4,3712,0.8539126270376723,0.8536430268305835
+4,3776,0.8551505713744462,0.8543832284090204
+4,3840,0.853663090516491,0.8528290084752265
+4,3904,0.8531259794206333,0.8524532822372862
+4,3968,0.8521474860057426,0.8510159501512927
+4,4032,0.8536658059011124,0.8532374392308244
+4,4096,0.8527975698327043,0.8519154989480068
+4,4160,0.8512355737803754,0.8507253575572824
+4,4224,0.853170986463925,0.8530435851357637
+4,4288,0.8542795437175471,0.8539418081755659
+4,4352,0.8529934526491505,0.8529559622994934
+4,4416,0.8522372060429819,0.8516798333049443
+4,4480,0.8545907268057558,0.8540187725109389
+4,4544,0.852391783688176,0.8521910774300014
+4,4608,0.8529971513223209,0.8525511114862938
+4,4672,0.8538538507733338,0.8536496602871189
+4,4736,0.85302693398387,0.8527883500841784
+4,4800,0.8529525184096328,0.8529011757848164
+4,4864,0.8529703720492119,0.8525873481661054
+4,4928,0.8522516409181028,0.8519155487701053
+4,4992,0.8539890642014931,0.8533636581792516
+4,5056,0.8552668490421689,0.8545718530943524
+4,5120,0.8554185633730582,0.8550509014676533
+4,5184,0.854854432577263,0.8544387658138954
+4,5248,0.8531847094753814,0.8525216523912306
+4,5312,0.852389340741137,0.8519788370700089
+4,5376,0.8525031253421729,0.8523503889278442
+4,5440,0.8531572536682988,0.8528711668673099
+4,5504,0.8549832003072206,0.8547807251246181
+4,5568,0.8539280403069022,0.8540273758502753
+4,5632,0.8558331020640413,0.8553988732380415
+4,5696,0.8534285341243792,0.853207601263188
+4,5760,0.8535803177653863,0.8534264394925023
+4,5824,0.8516900065890625,0.8509013932659552
+4,5888,0.8505782090891975,0.8494854065236429
+4,5952,0.8532817075041673,0.8515422157722505
+4,6016,0.8535741790741757,0.8526040848324599
+4,6080,0.8547285929841141,0.8539011549919429
+4,6144,0.854346037575629,0.854020790436478
+4,6208,0.8546744120254909,0.8536843809516493
+4,6272,0.853426501832573,0.852710615155088
+4,6336,0.8546662931256189,0.8536103026087121
+4,6400,0.8535616089513809,0.8525511737639169
+4,6464,0.8548777813190747,0.85427717851377
+4,6528,0.8516725372422587,0.8506001813143134
+4,6592,0.8537342645667437,0.8527400813675936
+4,6656,0.853835062366683,0.8527765885102254
+4,6720,0.8532740730704701,0.8522065595149284
+4,6784,0.8539327656955898,0.8531261802571475
+4,6848,0.854300633977304,0.8538771052839386
+4,6912,0.8531139502453655,0.8524658391854536
+4,6976,0.8552424408130361,0.8544582818415984
+4,7040,0.8551769194764492,0.8545396039617766
+4,7104,0.8533574580310346,0.852816394587518
+4,7168,0.8545286307402472,0.8537460232121491
+4,7232,0.8539485611305822,0.8528258714623855
+4,7296,0.8520535982533496,0.8508453950066696
+4,7360,0.8553957585945038,0.854438965102289
+4,7424,0.854508128565791,0.853612928945044
+4,7488,0.855164820346582,0.854423990762475
+4,7552,0.8551160528714178,0.8543987301990776
+4,7616,0.8551236695468225,0.8544871697618901
+4,7680,0.8536826798762845,0.8537626870555112
+4,7744,0.8536955141068956,0.8535504555923221
+4,7808,0.8549086897705755,0.8546379527840966
+4,7872,0.8558724728470437,0.8553157610810408
+4,7936,0.8549227500791088,0.8542491998467748
+4,8000,0.8535159085421962,0.8533371618508198
+4,8064,0.8526146475410967,0.8521086493049239
+4,8128,0.8527902116109752,0.8524661388757923
+4,8192,0.8517825647337705,0.8512607476064762
+4,8256,0.8538997011720667,0.8530416064867113
+4,8320,0.8528288225231119,0.8522499902820455
+4,8384,0.8524053925467717,0.8514488420423318
+4,8448,0.8532443434299772,0.8526003766448474
+4,8512,0.8522220376182474,0.8522232447119868
+4,8576,0.8546938732982485,0.8533074251754937
+4,8640,0.8544292912178331,0.8528171775062078
+4,8704,0.8532141959136254,0.8525985083161559
+4,8768,0.852746104948958,0.8520954403533251
+4,8832,0.8546295100444239,0.8536166976309189
+4,8896,0.8523110435109634,0.8509818648517384
+4,8960,0.8526018444133752,0.8516727977129003
+4,-1,0.8519546678906351,0.8512900483384406
+5,64,0.8526512459042267,0.8521714884485112
+5,128,0.8530605398124208,0.8523967722798172
+5,192,0.8519977311558761,0.8514612299512369
+5,256,0.8540444019738846,0.8531514980216235
+5,320,0.8535457941853558,0.8523920900242383
+5,384,0.8535327782265861,0.852850430198195
+5,448,0.8538051419020111,0.8525839994093461
+5,512,0.8522765301553049,0.8511776301113936
+5,576,0.8515774108785523,0.8508839395172554
+5,640,0.8527334594096851,0.8516165788128932
+5,704,0.853061226578087,0.8517944632772901
+5,768,0.8545753008450157,0.8537327528711521
+5,832,0.853207023104161,0.8521478959055393
+5,896,0.8550131872820231,0.8545772143080167
+5,960,0.853162569665324,0.8527851579111569
+5,1024,0.8550565964653555,0.854172660648047
+5,1088,0.8533685387245509,0.8523685117161517
+5,1152,0.8524603179222073,0.8517105415111897
+5,1216,0.8536956346425262,0.852653148923259
+5,1280,0.8533465415446987,0.852378677203594
+5,1344,0.8519274106608173,0.8507729163089646
+5,1408,0.8536384357787882,0.8527555493497986
+5,1472,0.8529507079610354,0.8520470239498056
+5,1536,0.8503551639820284,0.8489658339659799
+5,1600,0.8525069723271866,0.8515369114981274
+5,1664,0.8527011718028733,0.8512114449483011
+5,1728,0.8522474875171825,0.8509113103992711
+5,1792,0.8519541528647626,0.8506849963194643
+5,1856,0.85202153511212,0.8506799571700793
+5,1920,0.8522848443533522,0.8507334856767707
+5,1984,0.8521040901791437,0.8512632511669227
+5,2048,0.8515057911357341,0.8509485587789316
+5,2112,0.8525798398558793,0.8519137587332826
+5,2176,0.8526700393338565,0.8519976217804813
+5,2240,0.8540255869326632,0.8528416828611975
+5,2304,0.8523342078890042,0.8510321495839496
+5,2368,0.8522558575996164,0.8513298277253234
+5,2432,0.8541987345283096,0.8526390830772531
+5,2496,0.855023408812042,0.8539552334517345
+5,2560,0.8540804319045447,0.8528124390687739
+5,2624,0.8544561688458141,0.8535972438808388
+5,2688,0.8542625610343606,0.8533656743260124
+5,2752,0.8533973890690263,0.8524841505859908
+5,2816,0.8537617551145513,0.8528068269652569
+5,2880,0.8531773749300164,0.8523336059981128
+5,2944,0.8533127067609362,0.8521293033660181
+5,3008,0.8531098469910974,0.8521343247217966
+5,3072,0.8527702994549714,0.852100427901251
+5,3136,0.8513351130686952,0.8504231100177374
+5,3200,0.8528254040423201,0.8514203135528932
+5,3264,0.8518693802220861,0.8510830677685549
+5,3328,0.8518003427239705,0.8505352531999141
+5,3392,0.8520572147261447,0.8508909003761517
+5,3456,0.8517424957241431,0.8502740316230418
+5,3520,0.8539873068664952,0.8532138041144436
+5,3584,0.8525081926935437,0.8515237424498934
+5,3648,0.8537737320567736,0.8524842698031551
+5,3712,0.8543788110642203,0.8536738560333538
+5,3776,0.8540725714626248,0.8532360443433149
+5,3840,0.8524104638819151,0.8517917871188596
+5,3904,0.8523043495986911,0.8520571663055594
+5,3968,0.8523221113538413,0.8509432295937592
+5,4032,0.8527608611976935,0.8511412920080242
+5,4096,0.8542260559979125,0.8531381047739466
+5,4160,0.853023191488688,0.8521915631954612
+5,4224,0.8514330907526831,0.8505546421369788
+5,4288,0.851849260973421,0.8508498290400617
+5,4352,0.8533056807652661,0.8526950617635713
+5,4416,0.851928647789727,0.8505143342799805
+5,4480,0.8526234703584135,0.8517617817600743
+5,4544,0.8521292753750597,0.8512932262765768
+5,4608,0.8520213822877569,0.8505534179368457
+5,4672,0.8520883816408877,0.8513855163758544
+5,4736,0.8505607099002264,0.8493778619654396
+5,4800,0.8519601269561017,0.8510336495849846
+5,4864,0.8490348396216317,0.8480486670979701
+5,4928,0.8506735395241526,0.8494222463377068
+5,4992,0.8504810723750383,0.8493851181982053
+5,5056,0.8537429814325466,0.8525651061578734
+5,5120,0.850196890052347,0.8490959845467138
+5,5184,0.8540335660817434,0.852692077775747
+5,5248,0.8542559857856221,0.8531594606605706
+5,5312,0.8541755716412157,0.8530030965422034
+5,5376,0.8530362404511427,0.8516892425641067
+5,5440,0.8526083945810448,0.8516950415004931
+5,5504,0.8528943121096753,0.8520635469605907
+5,5568,0.8519899502740248,0.8515414221773969
+5,5632,0.8517481705587829,0.8504975940549048
+5,5696,0.8526470101248902,0.8518775700962089
+5,5760,0.8523203301527003,0.8520144634291146
+5,5824,0.8538195217607648,0.8526840724321443
+5,5888,0.8523232090850957,0.8514421623224199
+5,5952,0.8546296209628805,0.8532606208727309
+5,6016,0.8542704215046774,0.8530451757527748
+5,6080,0.8513289894624348,0.8500158730818946
+5,6144,0.85275862765796,0.8517703564990879
+5,6208,0.8536168768270249,0.852697638277805
+5,6272,0.8529228535600918,0.8520690595522012
+5,6336,0.8532845093072202,0.8522574600380903
+5,6400,0.8544774322123231,0.8536278987062647
+5,6464,0.854940291607211,0.8538987654412353
+5,6528,0.8524812701639561,0.8509659502500084
+5,6592,0.8547754534199649,0.8544086216649786
+5,6656,0.8544771604528386,0.8531607773874579
+5,6720,0.852671353279816,0.8521966841954365
+5,6784,0.8548494040057121,0.8541504293159787
+5,6848,0.8540020241515004,0.8532425372303581
+5,6912,0.8518692856034727,0.8512269611062914
+5,6976,0.853179120670983,0.8529918270929276
+5,7040,0.8538102243667953,0.8531943101974637
+5,7104,0.8541575542279131,0.8535554111117563
+5,7168,0.8548135602322552,0.854525817475394
+5,7232,0.8559046506422883,0.8553423198182305
+5,7296,0.8534959026058702,0.8531254641958281
+5,7360,0.8529031380656038,0.8525838979857885
+5,7424,0.8546262456265019,0.8536688773822312
+5,7488,0.8537126903906417,0.8532508272716661
+5,7552,0.8541789900616775,0.8536974645905716
+5,7616,0.8525800957569089,0.8525455527635964
+5,7680,0.8532348641052668,0.8525697912144874
+5,7744,0.8528366809495384,0.8522711451009154
+5,7808,0.8546190733067038,0.8540525822733646
+5,7872,0.8538702536803193,0.8532488094766795
+5,7936,0.8529161094945541,0.852603333942262
+5,8000,0.8533436917005306,0.8522987526391319
+5,8064,0.853496974858238,0.8534037953487614
+5,8128,0.8538472498185988,0.8531599659989977
+5,8192,0.8534526386977553,0.8531602149781743
+5,8256,0.8526521276769923,0.8515088865677551
+5,8320,0.8542427102368251,0.8536240108032256
+5,8384,0.8535464017989473,0.8526844549946858
+5,8448,0.8541938773447234,0.8538152529280865
+5,8512,0.8532875157872172,0.8529779142719383
+5,8576,0.8544206252085077,0.8546945524672847
+5,8640,0.8536491567890726,0.8532133635914125
+5,8704,0.8541740844264538,0.8535984965507425
+5,8768,0.8524514125722906,0.8520605808986632
+5,8832,0.852511504350467,0.8524839904435316
+5,8896,0.8540665011941433,0.8536507866224156
+5,8960,0.8531667433467427,0.8528366792990256
+5,-1,0.8528876282696528,0.8525136363714639
+6,64,0.8534635226908946,0.8525500082826856
+6,128,0.8533370897562473,0.8523433302041118
+6,192,0.8528336866995574,0.8516532905820007
+6,256,0.8541002121213711,0.853470060519047
+6,320,0.8519604855537609,0.8515646054674172
+6,384,0.850907213916692,0.8498269975067095
+6,448,0.8524190250927621,0.8513290412479123
+6,512,0.8521404180733039,0.8511056282823448
+6,576,0.8536686316264895,0.8529964107259841
+6,640,0.8521356454525155,0.8511742475467815
+6,704,0.8502532224614772,0.8497534921179045
+6,768,0.852170566012364,0.8513918526791595
+6,832,0.8529455013942291,0.8523028675427362
+6,896,0.8527355071904655,0.851717893829431
+6,960,0.8536666158755472,0.8521773461037992
+6,1024,0.8516879754014061,0.850998147781125
+6,1088,0.8541366241561241,0.8535362740878732
+6,1152,0.8541910144244805,0.8532104197704711
+6,1216,0.8530017495614011,0.8520055007894775
+6,1280,0.8538554822672806,0.8529755317080164
+6,1344,0.8560648969086384,0.855426939093709
+6,1408,0.8557794101102395,0.854558561270233
+6,1472,0.8529324997194586,0.8517642906586029
+6,1536,0.8528387897918722,0.8518902639227028
+6,1600,0.8534781059512352,0.8526683962647422
+6,1664,0.855432685782613,0.8546266307122261
+6,1728,0.8550434592197234,0.8540782762412742
+6,1792,0.8542150274772136,0.8532002400481434
+6,1856,0.8534083978126203,0.8522352091330551
+6,1920,0.8540281167323737,0.852812558285938
+6,1984,0.8549783838733284,0.8543198244506738
+6,2048,0.8545976894354533,0.8536768827258341
+6,2112,0.8563994359183995,0.8557644873693594
+6,2176,0.8549804460901025,0.854190863507584
+6,2240,0.8539117370639735,0.8532415336709466
+6,2304,0.8529754010352647,0.8516488564152394
+6,2368,0.8530962402288699,0.8518336892830081
+6,2432,0.8534294002880213,0.852555170207956
+6,2496,0.8541455765542901,0.8531801546250295
+6,2560,0.8526376051125569,0.8515464221808475
+6,2624,0.8532593066818966,0.8521859813410751
+6,2688,0.8529227390740457,0.8515713741553623
+6,2752,0.852286290997014,0.8511692012799538
+6,2816,0.8550122793557173,0.8535576015047267
+6,2880,0.8545590013439007,0.853793507361478
+6,2944,0.8543898947716687,0.8540637513202184
+6,3008,0.8541849334574326,0.8540251071654357
+6,3072,0.8541465699401563,0.8533293397813647
+6,3136,0.8537718272452239,0.8528040404864656
+6,3200,0.8542317718769884,0.8531528449976421
+6,3264,0.8542575206542293,0.8528960796958903
+6,3328,0.8527972535645426,0.8518012373033171
+6,3392,0.853355966427357,0.8523948106666851
+6,3456,0.8527865712090972,0.8514361053787379
+6,3520,0.8543236257955731,0.8531842044498885
+6,3584,0.8528555325215107,0.852036765935609
+6,3648,0.8531379484992564,0.8523402946148283
+6,3712,0.8541971394537139,0.8531326314605607
+6,3776,0.8544040671297489,0.8536467385769173
+6,3840,0.8538602807870975,0.8525983588498607
+6,3904,0.8550087430181135,0.853989569774363
+6,3968,0.85391675306854,0.8529974569900513
+6,4032,0.8546332300617573,0.8532486653484661
+6,4096,0.8551417824442324,0.8543773440633226
+6,4160,0.8539084829954736,0.8528764889350396
+6,4224,0.8540199350932648,0.8531379072649133
+6,4288,0.8533763091306925,0.8526183179383677
+6,4352,0.85358283972156,0.8527071970032629
+6,4416,0.8538557233390994,0.8531938823925103
+6,4480,0.8538350390370048,0.8532117792020142
+6,4544,0.8536108590577862,0.8523815170632052
+6,4608,0.8542002306770308,0.8538141675180846
+6,4672,0.8544428595435309,0.8535292438339112
+6,4736,0.8534634339927101,0.8525969958595961
+6,4800,0.8529344621323462,0.8518585095848344
+6,4864,0.8544167536907852,0.8540459541549115
+6,4928,0.8512601366221055,0.8500825403876888
+6,4992,0.8519735592435246,0.8510637367943602
+6,5056,0.8524234839404459,0.8519474509273525
+6,5120,0.8541645120415087,0.8531324250547243
+6,5184,0.8536804417028053,0.8525323214377395
+6,5248,0.8535382291532864,0.852500383693279
+6,5312,0.8537333960939788,0.8529304640612564
+6,5376,0.8539913769354133,0.8528709070806538
+6,5440,0.8552327013154424,0.8545405932863028
+6,5504,0.854136588996842,0.8530541349651083
+6,5568,0.8540095555680772,0.8533015265949108
+6,5632,0.8540505484355739,0.8532899643093514
+6,5696,0.856000525640652,0.8555803466728868
+6,5760,0.8530788364546279,0.8527043429087666
+6,5824,0.8531087676830365,0.8525330064915929
+6,5888,0.8537363422748204,0.8528532362499536
+6,5952,0.8535136940230801,0.8526553055083773
+6,6016,0.8536929577350509,0.8533371351604098
+6,6080,0.8551508232163189,0.8543227265879079
+6,6144,0.854558974806802,0.8541188047389943
+6,6208,0.8536206156450571,0.8527951294482877
+6,6272,0.8523902073750977,0.8516221837989677
+6,6336,0.8536585241394696,0.853235604709984
+6,6400,0.8535178735095612,0.8527263126748177
+6,6464,0.8555675655102277,0.8548430764613156
+6,6528,0.8521854679333837,0.8516874009258253
+6,6592,0.8531870999153655,0.8521591628172294
+6,6656,0.854406929893723,0.8539936676419597
+6,6720,0.8545457641041083,0.8539595733123808
+6,6784,0.8527847997791971,0.8520918033401389
+6,6848,0.8525439644708942,0.8513771889679724
+6,6912,0.8511541541689065,0.8505099285829898
+6,6976,0.851669809855064,0.851080304421452
+6,7040,0.8549512175341835,0.8543905166702778
+6,7104,0.8543089135406177,0.853966665843966
+6,7168,0.8538836519185228,0.8535540712531802
+6,7232,0.8548103133840487,0.8544105967553096
+6,7296,0.8526822338930903,0.8525284424315037
+6,7360,0.8532732998564818,0.8526519798833063
+6,7424,0.853260180255468,0.8523219707587664
+6,7488,0.855842976926683,0.8549081629349843
+6,7552,0.8551868412959653,0.8536662563839811
+6,7616,0.8542061094313141,0.853331797078434
+6,7680,0.8551947505158931,0.8540604716974943
+6,7744,0.8546551761862206,0.8534257473212062
+6,7808,0.8554409283562066,0.8540018313486611
+6,7872,0.8550447771230821,0.8537038097906801
+6,7936,0.8547290745634826,0.8535338292463285
+6,8000,0.8533849090271334,0.8524551452278957
+6,8064,0.8539829186102091,0.8529126562197856
+6,8128,0.8532672648623638,0.8520803887415144
+6,8192,0.8547428032214639,0.8539360270327863
+6,8256,0.8542098535801258,0.8529998502301369
+6,8320,0.8539264514727741,0.852890010296684
+6,8384,0.8538937859201273,0.8530750264386004
+6,8448,0.8525495148440382,0.8510401851766836
+6,8512,0.8529170459848775,0.8520166822918558
+6,8576,0.8532600572700786,0.8517619525786976
+6,8640,0.8518864085670552,0.8502276312351486
+6,8704,0.852618517893964,0.8511502813380714
+6,8768,0.8515483735371522,0.8495018780652593
+6,8832,0.8532576536334757,0.8516512905806204
+6,8896,0.8512235835129336,0.8495212926694049
+6,8960,0.8521481453110679,0.8501797102496076
+6,-1,0.85184469961197,0.8499327644836151
+7,64,0.8525637516270111,0.8511415233249099
+7,128,0.8500292368537443,0.8480682258303291
+7,192,0.8504437105305264,0.8480448005472591
+7,256,0.8534849225982155,0.8515968207921404
+7,320,0.8524741298548428,0.8504082790466482
+7,384,0.8513071720805192,0.8492601483610727
+7,448,0.8512524976609497,0.8491910006265202
+7,512,0.8505525651320038,0.8485884681822364
+7,576,0.8514320375615314,0.8497110614836404
+7,640,0.8501935464988795,0.847730061895891
+7,704,0.8497620280893637,0.8474030908932425
+7,768,0.8511090518529902,0.8486721141474347
+7,832,0.8512726697155659,0.8491197372321448
+7,896,0.849568136962348,0.8472009618866251
+7,960,0.8522203806426648,0.8508491458989379
+7,1024,0.8501982086396502,0.8483054946773448
+7,1088,0.8517343660642981,0.8500339674004314
+7,1152,0.8531151306896183,0.8515218883560873
+7,1216,0.8525648097327473,0.8506715923956233
+7,1280,0.8534731398535699,0.8519161074893521
+7,1344,0.8524216975508617,0.8510481175664993
+7,1408,0.8537001930262328,0.8521035293268788
+7,1472,0.8529287324026865,0.8516855788605109
+7,1536,0.8533743285872266,0.8523859120840318
+7,1600,0.8531405152708833,0.8515998368084566
+7,1664,0.8524763397993209,0.8515290449446559
+7,1728,0.8526457326598015,0.8509529146538238
+7,1792,0.851989443565765,0.8504708716165343
+7,1856,0.8522059838499294,0.8510574431957109
+7,1920,0.8526213152471132,0.8515349773330916
+7,1984,0.8526406523258533,0.851213752912123
+7,2048,0.8515168016908589,0.8503385903864558
+7,2112,0.8539798233202405,0.8527598393883463
+7,2176,0.852156766627439,0.8513029085346341
+7,2240,0.8538542903264372,0.8524282590883449
+7,2304,0.8526596280164778,0.8510697474746648
+7,2368,0.8540864499961429,0.8529459089117726
+7,2432,0.8544068777011605,0.8529629427313572
+7,2496,0.854046591204205,0.8528176632716675
+7,2560,0.8525684054202572,0.8513424860970483
+7,2624,0.8527358137002264,0.8516885397166466
+7,2688,0.8540959272671693,0.8525962200583491
+7,2752,0.8525158686274821,0.8518037782303377
+7,2816,0.8521127551607949,0.8508589199270354
+7,2880,0.8515956732024497,0.8499391363741334
+7,2944,0.8542334858263414,0.8531975016120898
+7,3008,0.8535273293281986,0.8519754278149871
+7,3072,0.8547194198570358,0.8536277189908381
+7,3136,0.8532913238188785,0.8518131020801886
+7,3200,0.8545651883607778,0.8535187972074848
+7,3264,0.854476642928467,0.8533325177195007
+7,3328,0.8540196854280878,0.8527886774865395
+7,3392,0.8541590709471863,0.8525935777077711
+7,3456,0.8525591812200632,0.8515269986798986
+7,3520,0.8533379309608048,0.8519993157318283
+7,3584,0.8521329589084491,0.8509320737588144
+7,3648,0.8532300864988868,0.8516542763478054
+7,3712,0.8527705048815032,0.8513599078172563
+7,3776,0.853854195540548,0.8530011900887128
+7,3840,0.8520828824896383,0.851557712224226
+7,3904,0.8525183746007093,0.851104726146491
+7,3968,0.8510898937387378,0.8494792018930266
+7,4032,0.8520151190173246,0.8508653932411112
+7,4096,0.8519951417720122,0.8507035514924117
+7,4160,0.8511642695801308,0.8502674515473264
+7,4224,0.8510990563724526,0.8495147428428208
+7,4288,0.8518850640491645,0.8505702079840198
+7,4352,0.8513008361019702,0.8502369497469174
+7,4416,0.8515279964063432,0.8503547416431534
+7,4480,0.8520378974814102,0.8507928042230453
+7,4544,0.8534545402596031,0.8526089157966478
+7,4608,0.8513750340773971,0.8498858694334587
+7,4672,0.852227756794545,0.8509568933042563
+7,4736,0.8522794513213452,0.8511497955726117
+7,4800,0.8532898594819186,0.85232262912221
+7,4864,0.8516607524748117,0.850459190113811
+7,4928,0.8514294243222573,0.8507206137817668
+7,4992,0.850182823846397,0.8488516551966048
+7,5056,0.8522557677313679,0.8509995374617995
+7,5120,0.8507600596954066,0.8495844492966198
+7,5184,0.8507468189867236,0.8494034972144475
+7,5248,0.851245278133687,0.849913672699228
+7,5312,0.8516212152938919,0.8502737736157462
+7,5376,0.8509101932711433,0.8496792109278523
+7,5440,0.8520038323129031,0.8505899998126252
+7,5504,0.8521258955059515,0.8509924146810832
+7,5568,0.8528384249045582,0.8514880858416564
+7,5632,0.8520718886691365,0.8502111365618437
+7,5696,0.8550627749224768,0.8538499611370922
+7,5760,0.8536119355118206,0.852108901216707
+7,5824,0.8537176984656765,0.8521706912949363
+7,5888,0.8534124581058422,0.8524957947221404
+7,5952,0.8527542150689785,0.8516338172589533
+7,6016,0.852564722954397,0.8513941178052779
+7,6080,0.8524797349529736,0.8513044842914635
+7,6144,0.8538073504421092,0.8529925068086992
+7,6208,0.85241858525427,0.8513017245030821
+7,6272,0.8518893585085664,0.8506281973478824
+7,6336,0.8510800861128084,0.8493841021832692
+7,6400,0.8531045761153785,0.8517351660833435
+7,6464,0.8509710672077246,0.8495366983739867
+7,6528,0.8518979476695443,0.850346077936107
+7,6592,0.8515057318020981,0.8506682596531098
+7,6656,0.8527536427155712,0.8517348457984252
+7,6720,0.8520935006048836,0.8512199575427394
+7,6784,0.8532064269428324,0.8519678014752045
+7,6848,0.8523615678895294,0.8515028082717454
+7,6912,0.8529452688934192,0.8521411663635287
+7,6976,0.8525984210342443,0.8515315413876599
+7,7040,0.8536364951696961,0.8529376722512843
+7,7104,0.8532057016283436,0.8518984758045864
+7,7168,0.8541709902553772,0.8533152027609323
+7,7232,0.8524403113672777,0.8510033363968055
+7,7296,0.8523399640578063,0.8511918258507274
+7,7360,0.8532696682589154,0.852179577422065
+7,7424,0.8531182382646015,0.852309267903025
+7,7488,0.851246187371081,0.8498992004035127
+7,7552,0.8511640983575585,0.8503555316792859
+7,7616,0.851657252258735,0.8504607363782233
+7,7680,0.8518866787647993,0.8506892276391104
+7,7744,0.8500000075380171,0.8485865286791185
+7,7808,0.85281577514215,0.8515460164866173
+7,7872,0.8510939552243849,0.8497834814624438
+7,7936,0.8514774793652847,0.8500402005008184
+7,8000,0.8519488356129488,0.8506743468459227
+7,8064,0.8508453908722469,0.8494943887362475
+7,8128,0.8531691670805491,0.851570792304427
+7,8192,0.8509076919706128,0.8491987319485818
+7,8256,0.8521103368971708,0.850393620673543
+7,8320,0.8514031055277236,0.8496980347842591
+7,8384,0.8510849357625405,0.8495213620644705
+7,8448,0.8528233615769625,0.8510177741291891
+7,8512,0.8523637496710772,0.8508982082103764
+7,8576,0.8513135050820506,0.8499558463500778
+7,8640,0.8518909840558773,0.8508234804007988
+7,8704,0.8515494808871845,0.8506407311643613
+7,8768,0.8529548885811877,0.8516987870546793
+7,8832,0.8510190238001938,0.8499338018508791
+7,8896,0.8508801129897959,0.8492700700761048
+7,8960,0.8531879192281042,0.8520089331761878
+7,-1,0.853563588879165,0.8523381255741855
+8,64,0.8523856343954411,0.8511891710446248
+8,128,0.8528224674566993,0.8516029471308878
+8,192,0.8527938540745131,0.8513745056920993
+8,256,0.8516649951812881,0.8502403429876932
+8,320,0.8520401394458824,0.8506886279945685
+8,384,0.8534172841864159,0.8516224044396894
+8,448,0.8525900933149765,0.8514303758374173
+8,512,0.8540484962480306,0.8530537630787306
+8,576,0.8519162690188952,0.8501765936994116
+8,640,0.8518895190365101,0.8502800494207892
+8,704,0.8512748883206129,0.8498951895903707
+8,768,0.8511313811186917,0.8495408229319932
+8,832,0.8528224111902075,0.8515176089937033
+8,896,0.8517034350927641,0.8509797136047023
+8,960,0.8496371731616459,0.8481021386651206
+8,1024,0.8518923242694524,0.8503221953573478
+8,1088,0.8507459560173036,0.8486117920417489
+8,1152,0.851526731123363,0.8496802500744768
+8,1216,0.8505550168036001,0.8495636485705212
+8,1280,0.8498312805031799,0.8479421510102274
+8,1344,0.8505376951215377,0.8485032420093185
+8,1408,0.8512645495050148,0.849413214303004
+8,1472,0.851688152530138,0.8494991040419926
+8,1536,0.8518261486484052,0.8498838658733573
+8,1600,0.8520468914999494,0.8503702566446204
+8,1664,0.8517468755313339,0.8501733233684886
+8,1728,0.8515800789840182,0.8501594301204665
+8,1792,0.8518477184455082,0.8503042327114995
+8,1856,0.8506415165120509,0.8491160397206964
+8,1920,0.8511546942314456,0.8497992893025346
+8,1984,0.8513125090102331,0.8501693909814332
+8,2048,0.8515295289017383,0.850474193682884
+8,2112,0.8520823355223297,0.8503302772134589
+8,2176,0.8524743487018505,0.8508650782942746
+8,2240,0.8507580430966738,0.8489416979633706
+8,2304,0.8510142118573089,0.849291383258073
+8,2368,0.8508621378686191,0.8490604240239523
+8,2432,0.8492029157870702,0.8472817751096551
+8,2496,0.8513891111426108,0.8498787786812344
+8,2560,0.850893120193644,0.8492764117174919
+8,2624,0.8501240399751049,0.8486164575253955
+8,2688,0.8519916292599645,0.8507956234865913
+8,2752,0.849706556279101,0.8484355339129938
+8,2816,0.8502712364589798,0.8487946818476783
+8,2880,0.8492181426892756,0.8476696134555983
+8,2944,0.8482945743702129,0.8471091201862335
+8,3008,0.8496113601537262,0.8482140302014127
+8,3072,0.8505230736690889,0.849247320950085
+8,3136,0.8496331826110698,0.8478466367094365
+8,3200,0.849348610363645,0.8479432310821472
+8,3264,0.8508875727476185,0.849699374642835
+8,3328,0.8502154119844066,0.8484756068943853
+8,3392,0.8502843722420818,0.8491314810124914
+8,3456,0.8505110615725314,0.8496271468349826
+8,3520,0.8506251321941346,0.849568548929775
+8,3584,0.8523095263318344,0.8510911336104202
+8,3648,0.8508663286085193,0.8494986307320573
+8,3712,0.852629831845791,0.8519823762183588
+8,3776,0.8499956336725564,0.8485343756182161
+8,3840,0.8509007114621638,0.8491227763801498
+8,3904,0.8502153045794888,0.848887920346187
+8,3968,0.8501118505382365,0.8487673668822087
+8,4032,0.8498584681026989,0.8483421886528457
+8,4096,0.8532858952021644,0.8515573438965697
+8,4160,0.850700868133151,0.8486813792783838
+8,4224,0.8516476257580188,0.8503287825505057
+8,4288,0.8511161031280204,0.8495400453513854
+8,4352,0.8522707636373261,0.8506227311519393
+8,4416,0.8525987482525628,0.8514933189413535
+8,4480,0.8502335850216756,0.8491405557518501
+8,4544,0.8506987579993103,0.8492003689603876
+8,4608,0.8512814350272213,0.8502341259015523
+8,4672,0.8527667597753321,0.851817269342851
+8,4736,0.8515321800791735,0.8505802329019703
+8,4800,0.8507343089668696,0.8497173230537978
+8,4864,0.8497341878351412,0.8486205963182875
+8,4928,0.8508747700057353,0.8491406358230796
+8,4992,0.8524284828336578,0.8509663683997633
+8,5056,0.8513246793208721,0.8498005846770939
+8,5120,0.8514544870760354,0.8498649388140321
+8,5184,0.8509317982916996,0.849714091734842
+8,5248,0.8512917232694227,0.8497600081366361
+8,5312,0.8516557947613401,0.8501107493478632
+8,5376,0.8508737406542535,0.849867597178856
+8,5440,0.8507765919334851,0.8491941981376236
+8,5504,0.8494106591953008,0.8482827224196366
+8,5568,0.8500396861578168,0.8493486196829699
+8,5632,0.8508356746816629,0.8503734587379209
+8,5696,0.8503150011707645,0.8497431255627076
+8,5760,0.8498089754811335,0.8493531519839742
+8,5824,0.8501690281355353,0.8494811591897512
+8,5888,0.8500617738827857,0.8493176839879671
+8,5952,0.8504922272686664,0.8494018307085347
+8,6016,0.8504869877013047,0.8496934369163174
+8,6080,0.8504118512005211,0.8491369062831393
+8,6144,0.8515168519421964,0.8506729162399532
+8,6208,0.8520894385586335,0.8504022025299993
+8,6272,0.8503191928193392,0.8490812194119691
+8,6336,0.8512782711837492,0.8499564442152593
+8,6400,0.8504833612206724,0.848949480886891
+8,6464,0.8497778830446562,0.8480935781609922
+8,6528,0.8500409796800366,0.8484938542379389
+8,6592,0.8502693795529511,0.8489177930075168
+8,6656,0.8513708945993904,0.850064470980201
+8,6720,0.8510012211851526,0.8495823603272067
+8,6784,0.8515929055629239,0.850069109773438
+8,6848,0.8509503824105786,0.8494097854750149
+8,6912,0.8500875293766119,0.8485570019683504
+8,6976,0.852110902794581,0.8505298503049231
+8,7040,0.8520201678694654,0.8502547664851916
+8,7104,0.8509136352279635,0.8490854080269592
+8,7168,0.8519139614086969,0.850224965752882
+8,7232,0.8527284849509886,0.8510970339703641
+8,7296,0.8522771342139331,0.8505224001218457
+8,7360,0.8500797415003054,0.8483504038254155
+8,7424,0.8497817195618608,0.8482306298569966
+8,7488,0.8525357919367101,0.8508802686962168
+8,7552,0.8515893450705605,0.8502195547171193
+8,7616,0.8506877299869137,0.8494905648901924
+8,7680,0.8509653711819329,0.8495042809572636
+8,7744,0.850058574628021,0.8484710552898207
+8,7808,0.8513567840995723,0.8496744796078611
+8,7872,0.851132612875694,0.8496033354306498
+8,7936,0.8520962908090688,0.8504365797779226
+8,8000,0.853171939229085,0.8518149721882408
+8,8064,0.8526769819047062,0.851391062643027
+8,8128,0.8529295330875817,0.8514481463123145
+8,8192,0.852681155287513,0.85160238485292
+8,8256,0.8524827552773914,0.8513903864859769
+8,8320,0.8527786906814407,0.8518705611945747
+8,8384,0.8519796173120752,0.8508036423088166
+8,8448,0.8512668305419253,0.8500900688626352
+8,8512,0.853243881604165,0.8519554616090373
+8,8576,0.8522804437495106,0.8508514181424989
+8,8640,0.8514468066130432,0.8499469513261458
+8,8704,0.8511585204489475,0.8497777661560086
+8,8768,0.8506330467643317,0.8492431606700681
+8,8832,0.8505605170582143,0.8487838811284809
+8,8896,0.8505212357959098,0.8486145233603598
+8,8960,0.8503280904445109,0.8484929716750521
+8,-1,0.8501069605747762,0.8482332811043778

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:a3e53270f337af1f058824582f56e387341fefda00ba326a2b1a16cae83fda96
+size 437998385

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:b6d346be366a7d1d48332dbc9fdf3bf8960b5d879522b7799ddba59e76237ee3
+size 125

tokenizer.json

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

tokenizer_config.json

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

vocab.txt

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