add model

.gitattributes

@@ -33,3 +33,15 @@ 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
+README.md filter=lfs diff=lfs merge=lfs -text
+config.json filter=lfs diff=lfs merge=lfs -text
+tokenizer.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
+sentence_bert_config.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
+1_Pooling filter=lfs diff=lfs merge=lfs -text
+config_sentence_transformers.json filter=lfs diff=lfs merge=lfs -text
+eval 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:f087620004ec13615ec743e3d408b73e91b09d05ae6455992ed4019a1ba8d110
+size 190

README.md

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

config.json

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

config_sentence_transformers.json

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

eval/similarity_evaluation_sts-dev_results.csv

@@ -0,0 +1,1693 @@
+epoch,steps,cosine_pearson,cosine_spearman,euclidean_pearson,euclidean_spearman,manhattan_pearson,manhattan_spearman,dot_pearson,dot_spearman
+0,64,0.6661101100360479,0.6779340336858111
+0,128,0.6339107191972305,0.6520403449977948
+0,192,0.6944017455018989,0.7047837532827047
+0,256,0.7354476965618817,0.7468551744395873
+0,320,0.7463142061724797,0.7599463981126005
+0,384,0.7467433112451982,0.7609680914516527
+0,448,0.7443933906272522,0.760189286180576
+0,512,0.746518869838044,0.7624163695680439
+0,576,0.7442096491999766,0.7603842364930494
+0,640,0.7451283427974444,0.7613122745000463
+0,704,0.7436567731424455,0.7602523467223156
+0,768,0.7428186954591166,0.7598197236479571
+0,832,0.746157002847264,0.7622055738367423
+0,896,0.7466410225446395,0.7634245588759059
+0,960,0.7486285425453817,0.7646066575564534
+0,1024,0.7479259476901652,0.7645375062631798
+0,1088,0.7500597097285082,0.7665437265089038
+0,1152,0.7476053881804227,0.7647555188691486
+0,1216,0.7517841479028139,0.7671901397663883
+0,1280,0.7511861245193977,0.7666817443977456
+0,1344,0.7600930180430805,0.7726305848020363
+0,1408,0.7656879448811543,0.7764091123206706
+0,1472,0.7670058754988427,0.7773816181312115
+0,1536,0.7683635516618772,0.7790477191238077
+0,1600,0.7716519579331178,0.7816198988348394
+0,1664,0.7681426603053925,0.7773966361338439
+0,1728,0.7727308384937139,0.7806070007512536
+0,1792,0.7755660241944873,0.7833863553765675
+0,1856,0.7737534459684375,0.7800996902940956
+0,1920,0.7704884799632339,0.7768063937336287
+0,1984,0.7719213540959935,0.7773722393198542
+0,2048,0.7752211015871778,0.7799263691963655
+0,2112,0.7686697749759178,0.7745628797298396
+0,2176,0.7625433742187676,0.7685934681369754
+0,2240,0.7690232308507372,0.7736844823264952
+0,2304,0.7659280421736442,0.7694659480707394
+0,2368,0.7672632782977563,0.7704244683060303
+0,2432,0.7605572799606303,0.7650234283067048
+0,2496,0.7764065504259507,0.7796495647348772
+0,2560,0.7567979943594638,0.7618803958885543
+0,2624,0.7630556361723168,0.7670747233166315
+0,2688,0.7540743114454364,0.7583748614408777
+0,2752,0.7458309846189227,0.7503306768411581
+0,2816,0.7503399397230411,0.7539210469793526
+0,2880,0.7675923003510793,0.7698908711675584
+0,2944,0.7504469843771177,0.7530285408050249
+0,3008,0.754580382675667,0.7591902701517452
+0,3072,0.7505851964061834,0.7554451957180167
+0,3136,0.7565549602710966,0.7608323061972848
+0,3200,0.7492638254981354,0.7521995351151622
+0,3264,0.740118096097141,0.7441715740589663
+0,3328,0.7474031306101165,0.7490676795271464
+0,3392,0.7498342062445907,0.753403098893026
+0,3456,0.7530872455293718,0.7545870438802452
+0,3520,0.7599505294451594,0.7641510778501239
+0,3584,0.7597679191604475,0.7618369652536001
+0,3648,0.7337129319201469,0.7355678338998265
+0,3712,0.7569391728253173,0.7595343907108322
+0,3776,0.7467398041592577,0.7502266387358518
+0,3840,0.7306924509776688,0.7324421762846686
+0,3904,0.7382311962066215,0.7413319297505431
+0,3968,0.7316397690720748,0.7344490104098197
+0,4032,0.7402914615235155,0.7413186076772925
+0,4096,0.73304146827195,0.7367913109586506
+0,4160,0.7483667650441029,0.753028699388445
+0,4224,0.743867466456842,0.7464799831253338
+0,4288,0.7435518139017671,0.7459602372150501
+0,4352,0.7287838192855408,0.7316451098983057
+0,4416,0.741250290092596,0.7417814087084201
+0,4480,0.7357981441696303,0.740014583645699
+0,4544,0.7042472880841073,0.7064600160053479
+0,4608,0.7513392387484934,0.7524056171079155
+0,4672,0.7353633816007895,0.7399608149253186
+0,4736,0.7284751914810154,0.733699230532958
+0,4800,0.7432540017217214,0.7442835456664882
+0,4864,0.7391040800652166,0.7394144942635994
+0,4928,0.7304337307702894,0.734539796712585
+0,4992,0.7382401314082607,0.7414355348042484
+0,5056,0.7285618306280299,0.731239372963498
+0,5120,0.7492439241288487,0.7481381942340957
+0,5184,0.7273319725767942,0.7292555014876454
+0,5248,0.7445774576694677,0.746434627222147
+0,5312,0.7291107212089564,0.7333404344360399
+0,5376,0.74134542356043,0.7434251749673559
+0,5440,0.7547201123200394,0.7563541144947373
+0,5504,0.748424420346979,0.7505177937410515
+0,5568,0.7348416311790114,0.7387763158872426
+0,5632,0.7423896184137928,0.7447674605911904
+0,5696,0.7444245735290611,0.7459595094565408
+0,5760,0.737328778673762,0.740134653123578
+0,5824,0.725006272422887,0.7318420993580935
+0,5888,0.7459107634272755,0.7505378951784112
+0,5952,0.7536233030730078,0.7556931247147378
+0,6016,0.7439983315131453,0.7465808557446951
+0,6080,0.7196743866601891,0.7237763767100017
+0,6144,0.737730662671187,0.7407354791609903
+0,6208,0.7366182911714751,0.7358651395009845
+0,6272,0.722301421165832,0.7262192485026152
+0,6336,0.7277517273391768,0.7311460312620711
+0,6400,0.7320075678114233,0.7329272922778152
+0,6464,0.7364716075151583,0.7351851799570042
+0,6528,0.7419553888786267,0.7421212416831561
+0,6592,0.7427740954509598,0.7439667322805923
+0,6656,0.748928999831965,0.7483384506000528
+0,6720,0.7414445616413984,0.7410409758130979
+0,6784,0.7159004770245695,0.7163851385131439
+0,6848,0.7377140554265292,0.7374992135824131
+0,6912,0.7342831461923216,0.7334070316949695
+0,6976,0.7407092839867377,0.7405333366727351
+0,7040,0.7198216272537538,0.7188334035479135
+0,7104,0.7385001001672908,0.7409909864547563
+0,7168,0.7429884425236519,0.7452076779768396
+0,7232,0.7372044519906659,0.7391069673609802
+0,7296,0.7313280557387022,0.7325509984238247
+0,7360,0.7278852174645135,0.7325631567952048
+0,7424,0.7261899106989826,0.7308282245128176
+0,7488,0.7203905787405108,0.7221488382202719
+0,7552,0.7393391033065967,0.7405983349382318
+0,7616,0.7378754470029656,0.7388637305383157
+0,7680,0.7366623291575236,0.7368137635863862
+0,7744,0.7318701944604084,0.732996135741695
+0,7808,0.7413982551127151,0.7416884584663381
+0,7872,0.7297860947302028,0.7336995098925815
+0,7936,0.7233910182946153,0.7253576142111172
+0,8000,0.7360276692960511,0.736284441811043
+0,8064,0.7294732834403849,0.7304932461140682
+0,8128,0.7298606730995247,0.7297049377408666
+0,8192,0.735820375771685,0.7365263463629843
+0,8256,0.7520929524194921,0.7507315109703905
+0,8320,0.7253445274746108,0.7236126523977255
+0,8384,0.7312132787350643,0.7320570745954182
+0,8448,0.7355911397474101,0.7361924170716266
+0,8512,0.7258893877001287,0.727141352988164
+0,8576,0.7268082751568783,0.7269342774658152
+0,8640,0.7273688582604144,0.7303876766461959
+0,8704,0.7282476888584244,0.7321730195152907
+0,8768,0.732609932505367,0.7342541152575268
+0,8832,0.7389671041390176,0.7389842875610152
+0,8896,0.7105389735867365,0.7107614246677461
+0,8960,0.731406000866599,0.7334714047529571
+0,-1,0.7314485056970504,0.73392781609996
+1,64,0.7152110456015509,0.7161253216078629
+1,128,0.7377929207386037,0.7390912822967751
+1,192,0.7262795368595246,0.7267179114144273
+1,256,0.747564087646195,0.7465024081815911
+1,320,0.7491666476859242,0.748689194614347
+1,384,0.7487230392648555,0.7488418121573924
+1,448,0.7383918736389694,0.7403058649855053
+1,512,0.7417376267701855,0.7417175901590404
+1,576,0.7402846495467594,0.7419063738669435
+1,640,0.7419251157128491,0.7422322969199389
+1,704,0.7291235150279902,0.7307157516056999
+1,768,0.7428035247380138,0.743355890882794
+1,832,0.7243765933452869,0.7261829922498364
+1,896,0.7251894651588993,0.7265051882017245
+1,960,0.7152054580821117,0.7187550992234122
+1,1024,0.7398433286446284,0.7397678094540452
+1,1088,0.7237839202148734,0.7230412213983926
+1,1152,0.722726266628277,0.7210178854824941
+1,1216,0.7317619881671932,0.7304442318453676
+1,1280,0.7408278838458044,0.7376965660317755
+1,1344,0.7374594554048209,0.7405953829788992
+1,1408,0.7396905594311036,0.7390701256985448
+1,1472,0.7526978063039192,0.7538449988841663
+1,1536,0.746319756373364,0.746076575373628
+1,1600,0.7436593021619942,0.7424033290664397
+1,1664,0.7444249316442085,0.7434762586325026
+1,1728,0.7407162813747141,0.7402898489602175
+1,1792,0.747930238173632,0.7483895022367075
+1,1856,0.7374831686552425,0.7369299391681984
+1,1920,0.7446214860499264,0.7428488204770809
+1,1984,0.7450808039476349,0.7448749766796233
+1,2048,0.7348638491512675,0.7352613472693543
+1,2112,0.7239618033188883,0.7275676337747872
+1,2176,0.7306434004344154,0.7307946858238743
+1,2240,0.7340059735790855,0.7327899932506794
+1,2304,0.7344090498100658,0.7337451540521948
+1,2368,0.7083419795650698,0.7089288718016584
+1,2432,0.7280355269563448,0.7294785022899659
+1,2496,0.7541103519291534,0.7524555779964865
+1,2560,0.7461873172046337,0.7458465609800173
+1,2624,0.7461884884858749,0.7456506711651163
+1,2688,0.7418425765605386,0.7406519755446446
+1,2752,0.7208127265332529,0.7214496420082119
+1,2816,0.7336322648036406,0.7314742005276901
+1,2880,0.7330887940687049,0.7310883957511561
+1,2944,0.7327283576444839,0.7315934639551908
+1,3008,0.7197401813826177,0.7223077119953928
+1,3072,0.7289339663409068,0.7286030917847415
+1,3136,0.7305200725368857,0.7300569279565616
+1,3200,0.7405533524640089,0.7397314535570694
+1,3264,0.7430421367943211,0.740512283277423
+1,3328,0.7412669131778431,0.7393557611269816
+1,3392,0.7282618224805475,0.7270519821733789
+1,3456,0.7267461741460934,0.7258478087445012
+1,3520,0.7190585298541409,0.7183205686744277
+1,3584,0.7179715340597014,0.7183114779208231
+1,3648,0.7323582147905825,0.7319181332183945
+1,3712,0.7220374033782693,0.7225634043426674
+1,3776,0.7188938697703309,0.720399365482693
+1,3840,0.7332196914773645,0.734577708007532
+1,3904,0.7550878443196255,0.7533748829013712
+1,3968,0.7301256848111045,0.7295206582542628
+1,4032,0.7460237689443411,0.7463288406722742
+1,4096,0.7400922594035557,0.7408964863895408
+1,4160,0.7288030302379569,0.7299764076791007
+1,4224,0.7260409296852082,0.7258617322416545
+1,4288,0.7171657556861877,0.7195206691467579
+1,4352,0.7396373901379317,0.7393543856811925
+1,4416,0.7264886833208171,0.7252670770270062
+1,4480,0.7349223180224742,0.7329534221890862
+1,4544,0.7270172372309427,0.7235912822762163
+1,4608,0.7126180422100319,0.7140345977451032
+1,4672,0.7349253639663356,0.7329952816485789
+1,4736,0.7337807319265053,0.7321809785955165
+1,4800,0.7289207341876682,0.7269476119945905
+1,4864,0.7375277970053674,0.734667583514396
+1,4928,0.7231683090430417,0.7198190305626248
+1,4992,0.7360563052387649,0.7324001531239952
+1,5056,0.7367205582331156,0.7346445496906708
+1,5120,0.7111087304345948,0.7126351288077845
+1,5184,0.7304577975490045,0.729687946625938
+1,5248,0.7250200344194068,0.7254662390861581
+1,5312,0.7371810186378005,0.7348982687269751
+1,5376,0.7222890316462477,0.722142688749836
+1,5440,0.731061764213782,0.7306397530923897
+1,5504,0.7353683397282238,0.7340289193725794
+1,5568,0.7152659927635716,0.7167341411704506
+1,5632,0.7206219959054357,0.7204212124728588
+1,5696,0.7300461022432939,0.730655237329063
+1,5760,0.7289296691444586,0.7284229848988819
+1,5824,0.7384823002285914,0.7401081602227326
+1,5888,0.7280092724700076,0.7326671408527303
+1,5952,0.7272063224687783,0.7274492582482552
+1,6016,0.7319142432131935,0.7357539383566277
+1,6080,0.7318262540749819,0.7342128750155433
+1,6144,0.7336057505941674,0.7336692267160037
+1,6208,0.7279493495938162,0.7282613264243304
+1,6272,0.7049508495371941,0.7094396568516654
+1,6336,0.7212371562812471,0.721089196919607
+1,6400,0.7145398196780803,0.712976657513228
+1,6464,0.7276265868359775,0.727414911249463
+1,6528,0.7324662122747484,0.7326355856708114
+1,6592,0.7305281944195431,0.7279432265606782
+1,6656,0.733552105494418,0.7337099120349914
+1,6720,0.7309530967270649,0.7311183444102238
+1,6784,0.7406412074527554,0.7400579893696038
+1,6848,0.7409382473420253,0.7399554661671789
+1,6912,0.7354505840555711,0.7353997661680335
+1,6976,0.7211760779700956,0.722347713802358
+1,7040,0.7387345917435039,0.7396377292931011
+1,7104,0.710042004236473,0.711868957460536
+1,7168,0.7366186067508504,0.7377406372365667
+1,7232,0.732969150587096,0.7293417406296274
+1,7296,0.7436920723347407,0.7412118068918443
+1,7360,0.7229532573722548,0.7208696665189965
+1,7424,0.7326507663796359,0.732284222439008
+1,7488,0.7361693370452058,0.7352424380036359
+1,7552,0.7209719743053756,0.7205179640697681
+1,7616,0.7314589945956519,0.7311946772031156
+1,7680,0.7254420544904149,0.723402235882408
+1,7744,0.7426779195951876,0.7428221905654648
+1,7808,0.7369352102882172,0.7341706080824599
+1,7872,0.7409608326695859,0.7381902407496898
+1,7936,0.7066474901222163,0.7110811259559912
+1,8000,0.712238523261313,0.7104640472383236
+1,8064,0.7411149856508431,0.739215750354202
+1,8128,0.7449439703073174,0.7430916166788283
+1,8192,0.740043865038479,0.7407433688461503
+1,8256,0.7319835878587284,0.732517676336772
+1,8320,0.7507854743662272,0.7492231718511778
+1,8384,0.7297773806185733,0.7289028535574467
+1,8448,0.7260244505196445,0.7228593476073992
+1,8512,0.7438035290124433,0.7428107439383485
+1,8576,0.7022789878321338,0.7030507182788897
+1,8640,0.7449051219386558,0.7432795787814693
+1,8704,0.7420455311284841,0.7398566262413173
+1,8768,0.7248102217912488,0.7263484923640497
+1,8832,0.7045884240104883,0.7059854000194475
+1,8896,0.7377518450853472,0.7360139349773354
+1,8960,0.7435974910138095,0.7432856659742823
+1,-1,0.7446492700960906,0.7444062574949454
+2,64,0.7550905958448274,0.7529281939810069
+2,128,0.7474633594356287,0.7458248525532583
+2,192,0.7270349896084655,0.7280855822883128
+2,256,0.7396806343765101,0.737861491412496
+2,320,0.7288599524803749,0.7267588075938318
+2,384,0.7480384347624314,0.7475574749721253
+2,448,0.7491195973711229,0.7468697040348536
+2,512,0.6983899059076012,0.6982958182003294
+2,576,0.7368318466050262,0.7361655258292809
+2,640,0.7544694365593942,0.7528089785962441
+2,704,0.7561230499450595,0.755742364962242
+2,768,0.7402735855551156,0.7416150295900413
+2,832,0.7537735406150714,0.7528342882222513
+2,896,0.7474517518963743,0.7466131433595778
+2,960,0.7338708365939481,0.7326291141360962
+2,1024,0.7323190014371905,0.7339587927523925
+2,1088,0.7432836853476148,0.741298415492539
+2,1152,0.727647863264168,0.7275559682863096
+2,1216,0.725464415370487,0.7263491204783622
+2,1280,0.7327054761122828,0.7324155552698558
+2,1344,0.7420148588891176,0.7413090098059001
+2,1408,0.7184979139309947,0.7185657699112593
+2,1472,0.7353412451512952,0.7365998375169043
+2,1536,0.7336491133253752,0.7336284867118948
+2,1600,0.72436992998687,0.7227512176395391
+2,1664,0.7424171594189412,0.7405709327840898
+2,1728,0.732746781412093,0.7344136847626652
+2,1792,0.7291431686197076,0.7290351419049679
+2,1856,0.7439688846488638,0.7416363267577638
+2,1920,0.7504459866017318,0.7490423745733829
+2,1984,0.7405172772786037,0.7397840212090053
+2,2048,0.7106159990701201,0.7189982506367651
+2,2112,0.7375789471278891,0.7392896827895653
+2,2176,0.7538769040801453,0.7521898109091633
+2,2240,0.7567972750105689,0.7551884962526094
+2,2304,0.7201836540385808,0.7235682751429009
+2,2368,0.7392380501869574,0.7396224303501586
+2,2432,0.7357614480216769,0.7388636042037089
+2,2496,0.7261726585356659,0.7320084357718164
+2,2560,0.746806690546536,0.7473729623892751
+2,2624,0.7329280383713946,0.734314608181836
+2,2688,0.7283130882768255,0.7297971335340293
+2,2752,0.7177405824907883,0.717882171574732
+2,2816,0.7347269628265846,0.7335231663545148
+2,2880,0.7026783377467155,0.7090310711604436
+2,2944,0.7490741704049341,0.7488886253569584
+2,3008,0.726930409366988,0.7266685459657051
+2,3072,0.7368185592843586,0.736769551157157
+2,3136,0.7288239904822283,0.7280886234581713
+2,3200,0.7390770337888298,0.7384986644500808
+2,3264,0.739899589520327,0.7396408111457617
+2,3328,0.7459559011147924,0.7484734506932178
+2,3392,0.7514562416398144,0.7520338624029651
+2,3456,0.7428290631330827,0.743276265611923
+2,3520,0.7357671032959722,0.7348259003496307
+2,3584,0.7388022417808016,0.7390522538000901
+2,3648,0.7373603515233231,0.7371044748758361
+2,3712,0.7431032535238835,0.743126502163374
+2,3776,0.7460198223856103,0.7465397376149696
+2,3840,0.7380461657249139,0.7374599875766952
+2,3904,0.7310441731729667,0.7315528418016253
+2,3968,0.7283805007286701,0.730921130750993
+2,4032,0.7352240275943278,0.7339087822789954
+2,4096,0.7338346933845903,0.7339895474592874
+2,4160,0.7323199690271006,0.7314085919414877
+2,4224,0.7465971567297313,0.7484540645588428
+2,4288,0.7245512981543909,0.7285717750371508
+2,4352,0.7279555385711051,0.7298418773371496
+2,4416,0.744154406604037,0.7462322712106128
+2,4480,0.748824953423224,0.7490582524743689
+2,4544,0.7520659671227458,0.7524666224880943
+2,4608,0.7421274322948519,0.7414720810928146
+2,4672,0.7500249928880791,0.7517339422671613
+2,4736,0.7360131521832345,0.7377994593412173
+2,4800,0.7342812104472244,0.7365823766507619
+2,4864,0.7313326272224535,0.7354367566430753
+2,4928,0.7566739766793789,0.7575128572872807
+2,4992,0.7390247012545136,0.7418453980764232
+2,5056,0.7508118293612889,0.7520581061919378
+2,5120,0.7420930990544763,0.7431463295791924
+2,5184,0.7245916068815877,0.7295504625452938
+2,5248,0.7441601186758944,0.7447968502911879
+2,5312,0.7461600934176038,0.7468275687744589
+2,5376,0.7354792997218902,0.7366933482575935
+2,5440,0.758832156562717,0.7575029248960846
+2,5504,0.7264899112895199,0.7276882157085359
+2,5568,0.7168499596635314,0.7212568927648733
+2,5632,0.7415738850320822,0.74198132165777
+2,5696,0.7390355323183336,0.7368215351787969
+2,5760,0.7430570783113964,0.7431440769085985
+2,5824,0.7247144052319735,0.7265777398532167
+2,5888,0.7501065413612943,0.751008799417978
+2,5952,0.732090456721076,0.7298138559654985
+2,6016,0.7276707138511201,0.7277772317842017
+2,6080,0.7371911514723966,0.7380517157430602
+2,6144,0.7492057896980001,0.7481947547713494
+2,6208,0.7461342242059522,0.7463925008585556
+2,6272,0.7000596525925051,0.7072532300758851
+2,6336,0.7418032251310345,0.7423934749671125
+2,6400,0.743359238620694,0.743898495578697
+2,6464,0.7423319252919036,0.7413093832409001
+2,6528,0.737478927778431,0.7352571764479707
+2,6592,0.7480229548107303,0.7463573887346804
+2,6656,0.7287015916326153,0.7266457701492756
+2,6720,0.7354992318834017,0.7378202351562666
+2,6784,0.723336039158222,0.7210712022452671
+2,6848,0.7312584603661746,0.7292970709113508
+2,6912,0.7280434148283047,0.7261353036048263
+2,6976,0.7287483546683652,0.7249466088343174
+2,7040,0.7364189059417104,0.735132217940453
+2,7104,0.7094675288818814,0.7121941338415273
+2,7168,0.7026103417636126,0.7056170367759123
+2,7232,0.7333718916068755,0.7319575318220963
+2,7296,0.7389927148210393,0.7385284349332591
+2,7360,0.7332314222661832,0.7306750932146517
+2,7424,0.7275434401831194,0.7244690391097235
+2,7488,0.7433655527503905,0.7426617420561612
+2,7552,0.7365023598425795,0.7362261448529398
+2,7616,0.7455976049963051,0.7468267164607035
+2,7680,0.7420715119969123,0.7448553360966741
+2,7744,0.746512680099432,0.7459070983883429
+2,7808,0.7317757311468477,0.7313730883582674
+2,7872,0.7434734705943857,0.7433999169428077
+2,7936,0.7354077400703789,0.7351968917088587
+2,8000,0.7232610502629476,0.7264269799626988
+2,8064,0.7507330054595575,0.7505071798547231
+2,8128,0.7429259252823968,0.7411025470299661
+2,8192,0.7359378032784033,0.7369558128515346
+2,8256,0.7425184039531232,0.7421387808411675
+2,8320,0.6880052737665745,0.698026851822542
+2,8384,0.7378988815601037,0.7400924947314947
+2,8448,0.7307498574451482,0.7289356952171216
+2,8512,0.7469636796245555,0.7487325985588913
+2,8576,0.7357467422621238,0.7365691201789035
+2,8640,0.746482388738135,0.7459351073044693
+2,8704,0.7400372870726238,0.7390828612397409
+2,8768,0.7013624613003506,0.7075593726359118
+2,8832,0.7560749515879062,0.7558249397523239
+2,8896,0.7347699606206524,0.7344013822630721
+2,8960,0.7317747037029386,0.7329238936989574
+2,-1,0.7289324765603289,0.729580640502063
+3,64,0.7429619402604875,0.7432115449266891
+3,128,0.7434804144478018,0.7434598244574601
+3,192,0.7533905480101954,0.7533049397926046
+3,256,0.7142578342465683,0.7188469409238039
+3,320,0.74986353351774,0.7495624852526014
+3,384,0.7411842076046854,0.7432525556311477
+3,448,0.7578925360522839,0.7574404711163297
+3,512,0.7514837869705935,0.7503072402149633
+3,576,0.7356375236387593,0.7366618624707403
+3,640,0.7511675614625644,0.7509492015120802
+3,704,0.7410199960757192,0.7398179998801412
+3,768,0.735260123899301,0.7374900772209784
+3,832,0.7192427831962994,0.7245275540290051
+3,896,0.733586693779846,0.735507324307433
+3,960,0.7371316248549087,0.7366896845539976
+3,1024,0.7332151193155066,0.7328485499923328
+3,1088,0.7425903707733392,0.7418346347237996
+3,1152,0.7436655029845507,0.7429017333249845
+3,1216,0.7335141706528188,0.73575140454705
+3,1280,0.7409806637911124,0.7445122486712937
+3,1344,0.7312495404836357,0.7321693878401865
+3,1408,0.7380318579311844,0.7387564849127028
+3,1472,0.7450264572932173,0.7452093327822522
+3,1536,0.7163682315496774,0.7169482492220373
+3,1600,0.7302825621621715,0.7302939523822275
+3,1664,0.7318856048496375,0.7321641796515389
+3,1728,0.7421107992154753,0.7443689852272305
+3,1792,0.7467387436433452,0.7467492253040232
+3,1856,0.735444626781609,0.7356741658238356
+3,1920,0.7354480037030434,0.7362014404448131
+3,1984,0.7536304608032784,0.7535785680953174
+3,2048,0.7530167401040074,0.7534021231336931
+3,2112,0.75757996612024,0.7571277395837843
+3,2176,0.7397088205124095,0.7418307254684328
+3,2240,0.7429813496829462,0.7452933737655167
+3,2304,0.7408767366999417,0.7419824404153441
+3,2368,0.7312875119787172,0.7307699491519991
+3,2432,0.7457582075642564,0.7469882768447285
+3,2496,0.7131939676122759,0.7187108394063911
+3,2560,0.734330024260559,0.7360895453497994
+3,2624,0.7334594753236651,0.7366496667327865
+3,2688,0.7513948676308839,0.753985388660766
+3,2752,0.7481121072023584,0.7498601580558932
+3,2816,0.6793753817318281,0.6944506571837534
+3,2880,0.7313967134688404,0.7343475939697243
+3,2944,0.7418007796665905,0.7446046099449978
+3,3008,0.7333691547809149,0.7338918445448867
+3,3072,0.7330929796882528,0.7329225004595616
+3,3136,0.7432574952214058,0.7465916326685765
+3,3200,0.7509790376580896,0.7502163504725241
+3,3264,0.756912683381443,0.7597818588531429
+3,3328,0.7423895578931522,0.7446499195848072
+3,3392,0.7085982200340831,0.71488074220292
+3,3456,0.7419403995719877,0.7461384097094279
+3,3520,0.7448602645216094,0.7459124916304989
+3,3584,0.7547146609285096,0.7547136222594132
+3,3648,0.7497323217866553,0.7501357009506747
+3,3712,0.7388273816357064,0.7391446737926959
+3,3776,0.7205575493940665,0.7237001453406677
+3,3840,0.7608513552494136,0.7606422491266226
+3,3904,0.7571274620785116,0.757697702610574
+3,3968,0.7279671894096039,0.7313956631069426
+3,4032,0.7481384861106922,0.7507493348261073
+3,4096,0.7572396465714395,0.756488527398885
+3,4160,0.750808096301613,0.7514353833422612
+3,4224,0.760107596867747,0.7594459885145936
+3,4288,0.7527390521783155,0.7545761079296377
+3,4352,0.7444014310822671,0.7458636980025197
+3,4416,0.7091753643618456,0.7128477890968924
+3,4480,0.7527330060483498,0.7524641204861853
+3,4544,0.748600368522522,0.7481116782015619
+3,4608,0.7260588579049378,0.7305712426091755
+3,4672,0.7420392319537416,0.7452034164080626
+3,4736,0.73531865853494,0.7379078515310127
+3,4800,0.74971973666285,0.7522706668368488
+3,4864,0.7456229701385608,0.7461348779049665
+3,4928,0.7545676073087562,0.7542572998804434
+3,4992,0.7302855739350741,0.7323615890404424
+3,5056,0.7373252548607476,0.7378184540162473
+3,5120,0.7409673229638111,0.7418860902753239
+3,5184,0.7380117893880779,0.7375812919308712
+3,5248,0.7407781314142821,0.7403296835072808
+3,5312,0.7364507443108416,0.7360672802098791
+3,5376,0.6738339233438592,0.6808264126215712
+3,5440,0.7418322345678177,0.7406708741341992
+3,5504,0.7484221213220489,0.7488012676454264
+3,5568,0.741802061175234,0.7401251798074319
+3,5632,0.7283968116891831,0.7264160102042387
+3,5696,0.7497592245315091,0.7479134556448375
+3,5760,0.7406918902322476,0.7385961004603828
+3,5824,0.7407149171989019,0.7400109323976276
+3,5888,0.7311335182330186,0.72941768131487
+3,5952,0.7371261652505998,0.736415054471234
+3,6016,0.7466807472606829,0.74680509189062
+3,6080,0.7435696586753339,0.7420445636942967
+3,6144,0.7412817487459596,0.7409594793155752
+3,6208,0.7343527908590638,0.7337470650855421
+3,6272,0.7438140704999203,0.7427224004610115
+3,6336,0.7514212278380876,0.7500118823598881
+3,6400,0.7422335673798055,0.7414885206059391
+3,6464,0.730708465449459,0.7348633985961492
+3,6528,0.728461766181081,0.7327178615283026
+3,6592,0.7350588290024245,0.7361390115761075
+3,6656,0.7433001782355632,0.7438592052875235
+3,6720,0.7337064307618911,0.7349711246491398
+3,6784,0.7399413101497915,0.7391224655923163
+3,6848,0.7292414811830481,0.730767052352847
+3,6912,0.7472805537794341,0.7480426016414358
+3,6976,0.6767237375711999,0.6915503811608897
+3,7040,0.7339562153775557,0.7351156799090414
+3,7104,0.746251539897086,0.7467439928680992
+3,7168,0.7454055260242826,0.7454320304448351
+3,7232,0.7457248353214464,0.7467944317409146
+3,7296,0.7509962057647341,0.7501036973698699
+3,7360,0.7489870603998109,0.7480435524849555
+3,7424,0.7270587261763733,0.7281082764966451
+3,7488,0.7154189361974294,0.7177156987882084
+3,7552,0.7552013881077858,0.7555451619791752
+3,7616,0.7443031896363447,0.7462509153515934
+3,7680,0.7545118625365216,0.7542179101735448
+3,7744,0.7525981527434179,0.7513237622687892
+3,7808,0.7225947765841483,0.7251111409763324
+3,7872,0.7478348956114749,0.7482946053740651
+3,7936,0.7578206184745306,0.7575854534227894
+3,8000,0.7549313541160836,0.75486667574582
+3,8064,0.7571818908930522,0.7569674138503661
+3,8128,0.7406718041528229,0.7389077786114183
+3,8192,0.7509522687230552,0.7527611547198237
+3,8256,0.7571747215970944,0.7567771361389823
+3,8320,0.7555908946738701,0.7567700843156968
+3,8384,0.7460560860652705,0.7469807290225052
+3,8448,0.7527889630990812,0.7526784607125777
+3,8512,0.742661298977311,0.7441602270760467
+3,8576,0.7401379946208713,0.7408870290876404
+3,8640,0.745815116836604,0.7466120668463794
+3,8704,0.7351301610587726,0.7386489492513028
+3,8768,0.7023128745334885,0.7155297838303277
+3,8832,0.7376812593257572,0.7389192697225514
+3,8896,0.7210985758862485,0.7224164771950081
+3,8960,0.7419504277442645,0.7448203360725203
+3,-1,0.7429894401899083,0.7458882620764113
+4,64,0.7426202269152237,0.7435684722192718
+4,128,0.7464819995487803,0.7474529980316972
+4,192,0.7466518367595325,0.7473329107602117
+4,256,0.7553096934638373,0.756153216451719
+4,320,0.7596087506191126,0.7588216649148328
+4,384,0.7497271716516611,0.7499488396117553
+4,448,0.7604895617890655,0.7608109538693821
+4,512,0.75181379387638,0.7516754440061504
+4,576,0.7155863930461713,0.7197153721280997
+4,640,0.7485698236909861,0.7483657264195879
+4,704,0.7434207344774916,0.7431175608760646
+4,768,0.7501690791268979,0.7503967562909741
+4,832,0.7604239358691993,0.7605254394374701
+4,896,0.7601031513970111,0.7593444065939571
+4,960,0.7624512914296427,0.7622792716086625
+4,1024,0.7034700897321814,0.7075335558921168
+4,1088,0.7385985513853079,0.7395498804780272
+4,1152,0.7419710080883697,0.7425504661786567
+4,1216,0.7483013919188781,0.7497247878557113
+4,1280,0.7597730328774848,0.7611213117348089
+4,1344,0.7509699578433706,0.7529942705390624
+4,1408,0.7557644071265457,0.7576746865804553
+4,1472,0.7368237298223681,0.738767814102016
+4,1536,0.7255675081304267,0.728369552477666
+4,1600,0.7512077393074823,0.7518526540928578
+4,1664,0.7462980451139889,0.7463892357317471
+4,1728,0.7489126105290171,0.7491157009126422
+4,1792,0.7502288634677684,0.7510955023247877
+4,1856,0.7517577088220223,0.7528796565809626
+4,1920,0.7480581507892227,0.748882504356293
+4,1984,0.7565466586758619,0.7571254406498136
+4,2048,0.7497211590166536,0.7521951916957947
+4,2112,0.7589925335014519,0.7598533891516169
+4,2176,0.7605372572033493,0.7611106764961527
+4,2240,0.752116237225222,0.7523780903985275
+4,2304,0.7453735080455173,0.7452927652241715
+4,2368,0.7573394831175788,0.7582507207858121
+4,2432,0.7602138682896848,0.7611243722351416
+4,2496,0.6807599931219663,0.6909476280758842
+4,2560,0.7179509516972111,0.7242067008503894
+4,2624,0.7450415009999344,0.7468836364288102
+4,2688,0.7437544121518911,0.7446352096102429
+4,2752,0.7455729151784608,0.7469888998466494
+4,2816,0.7383237747725642,0.740548731701153
+4,2880,0.7430443783307653,0.7436719811875017
+4,2944,0.7288392556734142,0.7309982535800169
+4,3008,0.73038726346655,0.7313706719864931
+4,3072,0.7387535637721988,0.738360879657485
+4,3136,0.7361951780440793,0.7381327246957624
+4,3200,0.7363205678605087,0.7365145044828011
+4,3264,0.7471269124108261,0.7472111455516249
+4,3328,0.7494064020105267,0.7505611443047758
+4,3392,0.7452615916845723,0.7483558258324088
+4,3456,0.761180736715414,0.7609371443479266
+4,3520,0.7500265815558403,0.7517667323253773
+4,3584,0.7317444615559336,0.7338449067900743
+4,3648,0.7503697269336232,0.7530872136637018
+4,3712,0.7492568417920105,0.7500576332811412
+4,3776,0.7292295494783918,0.7321915195280577
+4,3840,0.7487281115255187,0.7508204256224988
+4,3904,0.7490207553497851,0.749777168674778
+4,3968,0.7504056681047555,0.7511378155212483
+4,4032,0.740474080834897,0.7413361450559433
+4,4096,0.748477999383844,0.7492642110254067
+4,4160,0.7562183090821291,0.759895455016946
+4,4224,0.7561228995931755,0.7564148832199485
+4,4288,0.7626343446021421,0.7632802100218408
+4,4352,0.7495975832976844,0.7517066700063475
+4,4416,0.7136754887235625,0.7214318412841836
+4,4480,0.757170427390642,0.7605319892640543
+4,4544,0.761449373004671,0.7630746333675146
+4,4608,0.7540356442374913,0.7559763473301216
+4,4672,0.748945159022669,0.7503157657988261
+4,4736,0.7346485134897023,0.7366510991181168
+4,4800,0.7337824105583577,0.7389519281080785
+4,4864,0.7570813602717373,0.7575000708015881
+4,4928,0.7682035661964464,0.7702060457622881
+4,4992,0.7644207860737405,0.7673916523609703
+4,5056,0.7050161066882239,0.7102240968947952
+4,5120,0.7221725616610797,0.7285485864090485
+4,5184,0.7565723360967086,0.7576875015359184
+4,5248,0.7421361503660923,0.7423018147615082
+4,5312,0.75956294002676,0.7598866489610467
+4,5376,0.761057274740435,0.7614652336803382
+4,5440,0.7644803931446393,0.7638694397551561
+4,5504,0.7393872949206256,0.741877522653753
+4,5568,0.7506271825201531,0.7526896866989726
+4,5632,0.7540586792031673,0.7545368587922312
+4,5696,0.7416964512810449,0.7459991518326529
+4,5760,0.7394702964318524,0.7416091826109175
+4,5824,0.742068313961348,0.7438715969836216
+4,5888,0.7375049910105216,0.737842678232253
+4,5952,0.739338150402806,0.7412843354116478
+4,6016,0.755767355173319,0.7558479949283771
+4,6080,0.7543394776971785,0.7540574116227358
+4,6144,0.7507849662463805,0.7505136940940941
+4,6208,0.7237450690468543,0.7235899353001977
+4,6272,0.735552427552655,0.7333927837022587
+4,6336,0.7514334330588,0.7505991194199508
+4,6400,0.7403505912394004,0.7403664415397654
+4,6464,0.749095007833988,0.7475110265414942
+4,6528,0.7400115094878361,0.7399916281138429
+4,6592,0.7465393003127877,0.7470335173151629
+4,6656,0.7474339229124689,0.7482005163411619
+4,6720,0.7445950568907607,0.746028198116043
+4,6784,0.7384800689302926,0.7400541673029093
+4,6848,0.7509512911614427,0.7503220587305279
+4,6912,0.7414841596757232,0.7400744733667447
+4,6976,0.7566091515234188,0.7571501274995904
+4,7040,0.7627721800871807,0.7623755741662251
+4,7104,0.7625947181531958,0.7639440699105825
+4,7168,0.756916936126283,0.7581143221151693
+4,7232,0.7534894111113326,0.7552551350886331
+4,7296,0.7478901174032978,0.7499998752341641
+4,7360,0.7411953810206626,0.7430407298621886
+4,7424,0.7643664092917374,0.7662756006704813
+4,7488,0.7472089441396218,0.7473483645075311
+4,7552,0.7614486125898954,0.7616433298886535
+4,7616,0.7145436749669435,0.7200170224424789
+4,7680,0.7496068817396352,0.7517463639839188
+4,7744,0.740012664209919,0.7445176561483352
+4,7808,0.7478429949689163,0.7512549632889258
+4,7872,0.7572590722604311,0.7585817014412716
+4,7936,0.7595339356475053,0.7599802059651133
+4,8000,0.7588467717520339,0.7583115909345807
+4,8064,0.7622797581641613,0.7623598108101509
+4,8128,0.7544366929689922,0.7555963008045022
+4,8192,0.7439873332217741,0.7446024640360435
+4,8256,0.7628016005016662,0.7616734188773899
+4,8320,0.7568452606348154,0.7557377190515627
+4,8384,0.7598366954544326,0.7580092348540355
+4,8448,0.6999236371835742,0.706555622832893
+4,8512,0.7209693324828196,0.7261099601709664
+4,8576,0.7533488373903349,0.7546906863005244
+4,8640,0.7614009388875888,0.7613243723731639
+4,8704,0.7534614488504643,0.7539143192167026
+4,8768,0.7328493833019746,0.736458768679163
+4,8832,0.7454354334225215,0.747043766432556
+4,8896,0.7495701682448056,0.7517059137780677
+4,8960,0.7461271841126478,0.7470131632085895
+4,-1,0.744525685806173,0.7459022727622369
+5,64,0.7393780296724102,0.7413122802707907
+5,128,0.7327788489389558,0.7341165404294889
+5,192,0.7508101624455088,0.7518926683553475
+5,256,0.7496058172729357,0.7513639224388529
+5,320,0.7493022576779861,0.7503964466822196
+5,384,0.7536595174893487,0.7553077454452247
+5,448,0.7472260753770426,0.7492353604716888
+5,512,0.73464588555888,0.7391321648872661
+5,576,0.7505607615530728,0.7533465946256215
+5,640,0.7350447374669179,0.737353473268313
+5,704,0.7525384477795007,0.7543602287770985
+5,768,0.7335013018220613,0.7350210054664812
+5,832,0.7533319456092121,0.7545921008232369
+5,896,0.754546204497123,0.7553218237467553
+5,960,0.7645331723985084,0.7665550930647906
+5,1024,0.7614543214780849,0.7650318055366854
+5,1088,0.754225160662094,0.7549493590769021
+5,1152,0.7665287847836527,0.7686262670919947
+5,1216,0.7715014558476562,0.7733018521691997
+5,1280,0.7723468814850221,0.7730718235407037
+5,1344,0.7654409099251209,0.7677172041870607
+5,1408,0.7622946408390358,0.763170764895148
+5,1472,0.7582654864306687,0.7578813913494391
+5,1536,0.7639721507254682,0.7665756856056921
+5,1600,0.7563922770661806,0.7567115969478454
+5,1664,0.7645078652542986,0.7663976801447704
+5,1728,0.7487698135263022,0.751658404848484
+5,1792,0.7566812163680343,0.7573606934812032
+5,1856,0.7416963769660747,0.7454064134249209
+5,1920,0.7555729973923783,0.7566394225208128
+5,1984,0.7492615783023929,0.7498484854499732
+5,2048,0.7066165465758276,0.7147322441340297
+5,2112,0.7493160251604175,0.7504511762573555
+5,2176,0.7477981456513432,0.7500807382792923
+5,2240,0.7551297412833347,0.7565360665775998
+5,2304,0.7627902240589012,0.7641110895987983
+5,2368,0.7484692339552643,0.7501649678747867
+5,2432,0.7549994091054995,0.7560026943233928
+5,2496,0.7514159611289278,0.7530432776903205
+5,2560,0.7616744558409773,0.7629773503822291
+5,2624,0.7528908612961581,0.754242246489272
+5,2688,0.6879070419763078,0.7016336265536086
+5,2752,0.75154078309837,0.7520284620433663
+5,2816,0.7525321887332125,0.7525503734355713
+5,2880,0.7521223761500745,0.7540767339195339
+5,2944,0.7422568534855793,0.7439298032010753
+5,3008,0.7449633682342449,0.7483760304727047
+5,3072,0.7571695879893579,0.7583961817402887
+5,3136,0.7528836180398393,0.7524957257110255
+5,3200,0.7436967310742328,0.7430765056875897
+5,3264,0.7632098465122854,0.7629323361162889
+5,3328,0.7675241252064652,0.7672796433868747
+5,3392,0.7539213464140698,0.7554188469453846
+5,3456,0.7560541957620478,0.7574388481230081
+5,3520,0.7562186965669132,0.759173490105899
+5,3584,0.7558066876945704,0.7574220867620055
+5,3648,0.7671596805243218,0.7691213991062884
+5,3712,0.7653987723742616,0.7662504469470778
+5,3776,0.7688668648128087,0.7689795858411617
+5,3840,0.7588396092626432,0.7593567375633208
+5,3904,0.758344105871876,0.7589242354854872
+5,3968,0.7491605029901571,0.7520395599157936
+5,4032,0.7545470084058306,0.7555491103804765
+5,4096,0.75296026322956,0.7547863643024959
+5,4160,0.7511971634864906,0.7518733035733004
+5,4224,0.7545402833753544,0.7566467659422508
+5,4288,0.7487409271146351,0.7496469692966697
+5,4352,0.7658383411107056,0.7670660240223718
+5,4416,0.7597722772514819,0.760212013954268
+5,4480,0.7532899296206347,0.7533982385693828
+5,4544,0.7426031814305978,0.743475146532091
+5,4608,0.746107121561633,0.7476400237363664
+5,4672,0.7616748031623204,0.7623329644941641
+5,4736,0.7538187537567324,0.7570692288672489
+5,4800,0.7512112897134179,0.7530867492505698
+5,4864,0.7423892305226151,0.7438067871018365
+5,4928,0.7602392757962487,0.7616337195617366
+5,4992,0.7491056572855924,0.7507482245050564
+5,5056,0.7577150411778089,0.7578117115860498
+5,5120,0.7464045544478908,0.7466087732498004
+5,5184,0.7581634066141203,0.7583769699832582
+5,5248,0.7628313281328478,0.7638743970539553
+5,5312,0.7565297966665927,0.7571198676922308
+5,5376,0.7574625630092565,0.7564416786121058
+5,5440,0.7513338133057988,0.7516702091270928
+5,5504,0.7494782450518606,0.7496565386982915
+5,5568,0.7395285653982195,0.7404786889481892
+5,5632,0.7380852060199221,0.7431565964901921
+5,5696,0.739139862110532,0.7410645345482172
+5,5760,0.7523953298457146,0.7542697002448728
+5,5824,0.7601015521403719,0.7606343939254349
+5,5888,0.7515471679298884,0.7516156023278423
+5,5952,0.7437084004538999,0.7453173897963253
+5,6016,0.75530750446778,0.7571108303194461
+5,6080,0.7436360381678166,0.7424746511797168
+5,6144,0.7542633786111985,0.7536394987423484
+5,6208,0.7599510182234439,0.7606386370244858
+5,6272,0.7390871008010137,0.7376532848631165
+5,6336,0.7503483671394197,0.751105078843852
+5,6400,0.7371165208986937,0.7391620937335432
+5,6464,0.7502752788620228,0.751892623871331
+5,6528,0.7444248594592217,0.7462116804490719
+5,6592,0.7562418316762635,0.757565026362429
+5,6656,0.7506147515862577,0.7508767103588504
+5,6720,0.7493260168472288,0.7505865322226523
+5,6784,0.7613583072275578,0.760601062941549
+5,6848,0.7607606723715158,0.7608050588475203
+5,6912,0.7446275788692964,0.7455261568443122
+5,6976,0.7467224222598786,0.7479976140659055
+5,7040,0.7530005956105585,0.7523396686638272
+5,7104,0.7724716951760241,0.7732247773829135
+5,7168,0.7650093897515109,0.7653114961211618
+5,7232,0.7709909870040387,0.7703079799963349
+5,7296,0.7639020838070983,0.7646169493785026
+5,7360,0.7583628099226037,0.7576431009331858
+5,7424,0.748420910396894,0.746798937082102
+5,7488,0.7612462455898275,0.7615008315696734
+5,7552,0.7312754220729439,0.7386927072886181
+5,7616,0.7663621932858021,0.7667660238153384
+5,7680,0.7637455229948533,0.765146748676507
+5,7744,0.7626295204964719,0.7631745764969846
+5,7808,0.7742124901766909,0.7758787603311714
+5,7872,0.75996033684499,0.7600207860642925
+5,7936,0.7557258012344716,0.7574336472682042
+5,8000,0.7616634879232596,0.7637220466256892
+5,8064,0.7683667205670728,0.7697556201845406
+5,8128,0.7644862659754873,0.7650803945381887
+5,8192,0.7682932594993269,0.7694698246136445
+5,8256,0.76385444339265,0.7631923790003735
+5,8320,0.7571316444293195,0.7556989574589766
+5,8384,0.7640185757049557,0.762722599316743
+5,8448,0.7635180773476311,0.7631893398523686
+5,8512,0.7620887571948,0.7619118282945877
+5,8576,0.7401358168558939,0.7418178393385436
+5,8640,0.74998999936574,0.7509983154249777
+5,8704,0.7587772554520256,0.7595927348426594
+5,8768,0.7585472861826043,0.7600453483588232
+5,8832,0.7636087426526468,0.7642635790278763
+5,8896,0.763347426172029,0.7639934169197263
+5,8960,0.7634604091498852,0.763414864919038
+5,-1,0.7645819843360735,0.7642511822221683
+6,64,0.7605368975362916,0.7615687230756008
+6,128,0.7414077449790406,0.7441170259786177
+6,192,0.7478041506697378,0.7517316753616823
+6,256,0.7533407492571236,0.753648829709642
+6,320,0.7623425250744958,0.7624833347048315
+6,384,0.7574174584593291,0.757035009982424
+6,448,0.7558858550063516,0.7567782571361971
+6,512,0.7514563529308699,0.752213622313496
+6,576,0.7515845070593786,0.7518827519783973
+6,640,0.7548959277644559,0.7547109247486549
+6,704,0.7435477054772751,0.743689520345513
+6,768,0.7412032471587914,0.7409032372838794
+6,832,0.7618857167670052,0.7616033085087212
+6,896,0.7607149140690438,0.759972759340757
+6,960,0.7619940277710221,0.7606545996689538
+6,1024,0.7588478241872976,0.7590610149393107
+6,1088,0.7607761299131133,0.7619778443543809
+6,1152,0.7622022643858345,0.761245863422187
+6,1216,0.7581451877889547,0.7591470096605782
+6,1280,0.7551127338780512,0.7562279880731766
+6,1344,0.7537836011747745,0.7534863473911054
+6,1408,0.7517209029471384,0.7520752289795551
+6,1472,0.751039286669418,0.7535862335810345
+6,1536,0.7704628704768285,0.7708960088718908
+6,1600,0.7526254973995834,0.7560173722694653
+6,1664,0.7644812001003412,0.7655005496324127
+6,1728,0.7708528015412699,0.7699886826229595
+6,1792,0.7668136179685366,0.7672333622161455
+6,1856,0.7586190142928099,0.758668868761213
+6,1920,0.7601301773087185,0.7644405613564194
+6,1984,0.7651654771381015,0.7670758727836169
+6,2048,0.763868478541274,0.7643141662513991
+6,2112,0.770398747267867,0.7699265313345167
+6,2176,0.7805859769801844,0.779489968539329
+6,2240,0.7681712421002785,0.7680521314644608
+6,2304,0.7396650591605864,0.7436949296019151
+6,2368,0.7518282232255241,0.7532926141613226
+6,2432,0.7598218893627565,0.7615027781902339
+6,2496,0.7570274331069324,0.7581383221317322
+6,2560,0.7608225899461296,0.7639228083300733
+6,2624,0.7653316036411751,0.7656736387198347
+6,2688,0.7622035994022791,0.761607401038236
+6,2752,0.7713734248930454,0.7698922323784623
+6,2816,0.7654661916169379,0.7631313576059487
+6,2880,0.7686652659416215,0.7685309787700075
+6,2944,0.7748959433025217,0.7745256074621247
+6,3008,0.7593088622623587,0.7599949103874666
+6,3072,0.7649653152251866,0.764976499238995
+6,3136,0.7647542493527395,0.7640642977515602
+6,3200,0.7672272355655865,0.7668497587485696
+6,3264,0.76759642524815,0.7693804348722404
+6,3328,0.7391662238672583,0.7406738848124335
+6,3392,0.7501879466429722,0.751414289021654
+6,3456,0.7672132707783568,0.7671318514699351
+6,3520,0.7678189595005823,0.7677727771791486
+6,3584,0.759274777264865,0.7588591891772527
+6,3648,0.7601222871680628,0.7605496636534759
+6,3712,0.7652791269750203,0.7652656526731547
+6,3776,0.7673739852698186,0.7683619519629689
+6,3840,0.7670228127446493,0.7686018115591033
+6,3904,0.7675450782223778,0.7678196615531412
+6,3968,0.7635755940559884,0.7646301219854578
+6,4032,0.7611853287116122,0.7611780324145219
+6,4096,0.7538283635705058,0.7544106576375227
+6,4160,0.7433445033780098,0.7467370776088073
+6,4224,0.7497266352952245,0.7499272719812129
+6,4288,0.7658332617136473,0.7670543745481402
+6,4352,0.764390413290867,0.7687169235318115
+6,4416,0.763620498755071,0.765181340127871
+6,4480,0.7722520780518588,0.772370091739705
+6,4544,0.7784245449048521,0.7797859224802248
+6,4608,0.7771052263608591,0.7794917567967908
+6,4672,0.7802362245974295,0.783002024343819
+6,4736,0.7781955646085568,0.7792480181944206
+6,4800,0.7760141542075327,0.7767465929806159
+6,4864,0.7602263419058484,0.7632440000324391
+6,4928,0.7749034296972586,0.7777553107585933
+6,4992,0.7764503365462041,0.7765912832648939
+6,5056,0.7634067142069604,0.7642146134812154
+6,5120,0.749526747142036,0.7515080771209333
+6,5184,0.7630595693446428,0.7657565889550155
+6,5248,0.7668707595399592,0.7666541571900953
+6,5312,0.7621148457313112,0.7622574406327426
+6,5376,0.7328609779714594,0.7368702861021202
+6,5440,0.765122600795927,0.7647089939260092
+6,5504,0.7661659616635981,0.7668410416607033
+6,5568,0.7484031696223503,0.7513525327512773
+6,5632,0.7570117871424873,0.7572164129159247
+6,5696,0.7580428117503171,0.7572210919613751
+6,5760,0.7648329329738325,0.7636011052610876
+6,5824,0.75176415631165,0.7511700519763261
+6,5888,0.7500125698895361,0.7513591679871732
+6,5952,0.7607308838878943,0.7607425481282244
+6,6016,0.7642850553723519,0.767002459921566
+6,6080,0.7658130819065131,0.7667722195491514
+6,6144,0.7673614265968424,0.7667785202652435
+6,6208,0.7613791903781758,0.7612471570173857
+6,6272,0.7635773877813008,0.7652665270194753
+6,6336,0.7560416862675471,0.7625760636284284
+6,6400,0.764490449933019,0.7670775756317672
+6,6464,0.76412032264569,0.7662176995935177
+6,6528,0.7688703290425956,0.7704140156566999
+6,6592,0.7639725286400215,0.7646729778869192
+6,6656,0.7676164440760268,0.768761359711914
+6,6720,0.7416854055403335,0.747009371391026
+6,6784,0.7517598892743497,0.7538229757372953
+6,6848,0.7582750976551914,0.761030847259567
+6,6912,0.7404235923759878,0.7469308944685408
+6,6976,0.755794929571502,0.7578829429519335
+6,7040,0.7532832077510031,0.7538535876384772
+6,7104,0.7332304180067664,0.7362931148853029
+6,7168,0.7688688042419007,0.7696814226244393
+6,7232,0.7548800570204067,0.7600066810723521
+6,7296,0.7599014227206465,0.7602749908660564
+6,7360,0.7588059055480736,0.7578596119749783
+6,7424,0.7299770567160423,0.7321968273609023
+6,7488,0.7583753565330473,0.7579556636426881
+6,7552,0.7460506851947761,0.7471411383858746
+6,7616,0.7561872326247808,0.7568741593376117
+6,7680,0.7557927621031302,0.7578601546799792
+6,7744,0.7688890203393635,0.7699119815024117
+6,7808,0.7660272208500406,0.7650887966792184
+6,7872,0.7658760205545944,0.7647105277348969
+6,7936,0.7667809710937337,0.7657079874979875
+6,8000,0.7497301060107684,0.7516299599889963
+6,8064,0.764497691845786,0.7645091948557414
+6,8128,0.7346584169498919,0.7368317825168296
+6,8192,0.7613934065309994,0.7661133596638603
+6,8256,0.7583736284571468,0.7607184662610715
+6,8320,0.7656472883737705,0.7678938270847507
+6,8384,0.7678538728456045,0.7680967204632037
+6,8448,0.7126346568240255,0.7208246736053842
+6,8512,0.7434802234194269,0.7445411330328642
+6,8576,0.7500353653568852,0.75175316269954
+6,8640,0.7536836840230946,0.7567157995806773
+6,8704,0.7538883540771175,0.7567599190452501
+6,8768,0.7585412481209207,0.7600917167182245
+6,8832,0.7531469323826909,0.7543566006607156
+6,8896,0.7301117504385687,0.7348597900527337
+6,8960,0.7627495331159636,0.7633351264298459
+6,-1,0.762968061850213,0.7636131319597788
+7,64,0.7490767399678828,0.7503729697976905
+7,128,0.7468893498025263,0.7488230132120347
+7,192,0.7295302110785091,0.7295347169828261
+7,256,0.7166044312966688,0.722123646032068
+7,320,0.7486855705665935,0.7490588461149991
+7,384,0.7541509294996124,0.754120723273735
+7,448,0.7369014696888907,0.740377809875013
+7,512,0.7433894280529351,0.7451214554974078
+7,576,0.7539464052257967,0.7559320110005923
+7,640,0.7600819974899685,0.7598780564284265
+7,704,0.7618120855345644,0.760346868139859
+7,768,0.7655201116286316,0.7641614508435175
+7,832,0.7563393010497811,0.7593988621475517
+7,896,0.750688461216267,0.7509153331613052
+7,960,0.7501915140037084,0.7496253055806519
+7,1024,0.7653280840076704,0.7664232459987126
+7,1088,0.777167494515153,0.7763123844959106
+7,1152,0.7727757421436655,0.7733787986392863
+7,1216,0.759806512999148,0.7604986867499688
+7,1280,0.7704078379341015,0.7696494065881097
+7,1344,0.7761116406964634,0.7757933983726281
+7,1408,0.7677603116287156,0.7671606699951612
+7,1472,0.7613408917567035,0.7603666368367756
+7,1536,0.7535205118339976,0.7541812275445914
+7,1600,0.7507462563745766,0.7536384489195598
+7,1664,0.742275455671288,0.7424828362387461
+7,1728,0.731345579301214,0.7330988867022842
+7,1792,0.7599825318661333,0.7601844320846997
+7,1856,0.7581259159075777,0.757253746788181
+7,1920,0.7311592798214647,0.733133626939782
+7,1984,0.755869886078575,0.7566287321219763
+7,2048,0.7337846042946322,0.7382413938099021
+7,2112,0.7504173357335638,0.7553396849690458
+7,2176,0.7456560617082543,0.7497656668874811
+7,2240,0.7543514525575058,0.7563978458416427
+7,2304,0.7616000234008401,0.7629081314732504
+7,2368,0.7602238339083774,0.7617714454228808
+7,2432,0.7549047552071272,0.7572388339665017
+7,2496,0.7681061975305877,0.7692396144903614
+7,2560,0.7428846589167486,0.7440030454729122
+7,2624,0.7469856774805521,0.7501399498410383
+7,2688,0.7549646667801002,0.7564232978165029
+7,2752,0.7570960947567514,0.7602788200501935
+7,2816,0.7657187925739586,0.7684487171474015
+7,2880,0.7660373471200683,0.7690767015665453
+7,2944,0.7664024453883488,0.767954320691686
+7,3008,0.7670478333713284,0.769106788775921
+7,3072,0.7676360121786425,0.7707334945248625
+7,3136,0.7621562970378534,0.7644372286139058
+7,3200,0.7655451993122251,0.7674533961758223
+7,3264,0.76219356011872,0.7643093922267522
+7,3328,0.7627435702894717,0.7645223585658935
+7,3392,0.7578177445416936,0.7632227257851454
+7,3456,0.7677711474773928,0.7715431890338194
+7,3520,0.7657179687640112,0.7676503126818234
+7,3584,0.7730899596435754,0.7743247977150028
+7,3648,0.7669074776289533,0.7682157507944583
+7,3712,0.7627403211769099,0.7648394157241998
+7,3776,0.7708800256452781,0.7718434294545415
+7,3840,0.764820713073932,0.7668410505575067
+7,3904,0.7639803177863354,0.7654027346182902
+7,3968,0.7379690865116215,0.7406789399760644
+7,4032,0.7754527372803655,0.7773659101339917
+7,4096,0.7544224193314117,0.7562065699089294
+7,4160,0.7520127341678043,0.7570837537883048
+7,4224,0.7663888264417867,0.7679014178373201
+7,4288,0.767514604342502,0.7698998978641793
+7,4352,0.7682402392778251,0.7704702950549696
+7,4416,0.7687872233004704,0.7699746719371341
+7,4480,0.7648624350680002,0.7658569146470272
+7,4544,0.7615682181756926,0.7629644553555365
+7,4608,0.7786311392159869,0.7793212609305785
+7,4672,0.7699866199497803,0.7744214141284164
+7,4736,0.7702730146535112,0.7728176650023166
+7,4800,0.7688298653522574,0.7695206805206268
+7,4864,0.7797149125745192,0.7795212319060997
+7,4928,0.7787132590276802,0.7781201384124999
+7,4992,0.7471112797383027,0.7498377648020053
+7,5056,0.7731145082168708,0.7730201071102918
+7,5120,0.7669593610038431,0.7727328838050183
+7,5184,0.7615750208222258,0.7662771960758579
+7,5248,0.763372729031952,0.7647126113662281
+7,5312,0.7655009109869041,0.7679510137498993
+7,5376,0.7757896421112651,0.7769562550470139
+7,5440,0.7651580490117315,0.7662712120859633
+7,5504,0.7517773671817835,0.7547510030681284
+7,5568,0.7445838160440025,0.7473640762621463
+7,5632,0.7670228510693663,0.7673892662383272
+7,5696,0.7702007820795302,0.7709903612501716
+7,5760,0.7682247991097344,0.7703410689871416
+7,5824,0.7653944752612073,0.7688178633096265
+7,5888,0.7747954301217804,0.7751108285065615
+7,5952,0.7437329813413552,0.7433737994870613
+7,6016,0.7648221854341848,0.7644308246948956
+7,6080,0.7615242910315009,0.763334683369042
+7,6144,0.7615942631681791,0.7648756452865687
+7,6208,0.7655900070488313,0.767901022819254
+7,6272,0.7624073054217827,0.7627923627100831
+7,6336,0.7629872992136632,0.7634314325461299
+7,6400,0.758859221181383,0.7595872875444898
+7,6464,0.7510746539356555,0.751645773167169
+7,6528,0.7528851255205912,0.7537361269229116
+7,6592,0.7652252707652585,0.7655675567960927
+7,6656,0.7480641713964067,0.7522411401260807
+7,6720,0.748167687323635,0.7479865304283634
+7,6784,0.7561888387702667,0.7546906774037212
+7,6848,0.7568654971601478,0.7561535485200257
+7,6912,0.7580668421945753,0.7576571723334932
+7,6976,0.7524860713332536,0.7517488177222668
+7,7040,0.7616099450791297,0.7610275198551356
+7,7104,0.7485876594378933,0.7514449616406864
+7,7168,0.7525154989803442,0.7530279787473784
+7,7232,0.7553807231619315,0.7559185163293576
+7,7296,0.7657879961968337,0.7645768265750126
+7,7360,0.7608568200697842,0.7603508610251768
+7,7424,0.7530553347731593,0.7547095226124559
+7,7488,0.7487226730152748,0.7494242929864149
+7,7552,0.7556929417561148,0.7580610783061833
+7,7616,0.7515722096292138,0.7539669651605073
+7,7680,0.7589958149415713,0.7607861887277362
+7,7744,0.7615162734363417,0.7630925052659692
+7,7808,0.7616883768500369,0.7623673784310318
+7,7872,0.7495998188320745,0.7506854326467765
+7,7936,0.7436935331671947,0.7467987022064951
+7,8000,0.7730384011581578,0.773475487520344
+7,8064,0.7639319262832251,0.7659524093748509
+7,8128,0.7590025134953324,0.7587808528242597
+7,8192,0.7623888380637969,0.7611274576465237
+7,8256,0.7553801738337856,0.7555381957821969
+7,8320,0.6990456508983262,0.7079258657713949
+7,8384,0.7521993248308915,0.7529220195995217
+7,8448,0.7656935680715669,0.7646906398208162
+7,8512,0.7614179750471554,0.7623383196921169
+7,8576,0.7647165175332284,0.7655259233154037
+7,8640,0.7594507334493454,0.759313894117384
+7,8704,0.7222101586549159,0.7264742913832493
+7,8768,0.7468426906362787,0.7463938531726562
+7,8832,0.7335981261860068,0.7350769183164553
+7,8896,0.7467932944031221,0.7470840564959479
+7,8960,0.7453199672536354,0.74545028134711
+7,-1,0.7457465386108636,0.7458352994064092
+8,64,0.7454541992081021,0.7455692849879546
+8,128,0.743791346386471,0.7479829112087838
+8,192,0.7420093096946889,0.7439589440189897
+8,256,0.7500360434648412,0.7522888661376647
+8,320,0.7481369576409768,0.7510406126071923
+8,384,0.7512427699316867,0.7535136854882636
+8,448,0.7550365407965481,0.7558062137607533
+8,512,0.7574083558768953,0.7571863481651561
+8,576,0.7284728595321863,0.7318930531299122
+8,640,0.747217392992656,0.747954106918443
+8,704,0.7555156367764105,0.7551955567557025
+8,768,0.7579401927180198,0.7576796456586109
+8,832,0.7530236262453298,0.7547925280078172
+8,896,0.7607081741238707,0.7619910934738446
+8,960,0.7333732358216103,0.7356675539553759
+8,1024,0.728607683904014,0.7314619709818838
+8,1088,0.7549032764201851,0.7555865407932425
+8,1152,0.7486970751041698,0.749241024176665
+8,1216,0.7655598369703879,0.7644458852035099
+8,1280,0.7500558422562307,0.7504351015131662
+8,1344,0.7512875232479472,0.7529010338199146
+8,1408,0.7515423542110912,0.7568787073834549
+8,1472,0.7631386138375588,0.7653085548379933
+8,1536,0.7550326214889924,0.7587869311202692
+8,1600,0.7644796000679094,0.7656810550950596
+8,1664,0.7665570035679913,0.7664889086470585
+8,1728,0.7654987322480757,0.7646678622250259
+8,1792,0.7578516955113583,0.7601263893400174
+8,1856,0.7662330356438279,0.7675312912473722
+8,1920,0.7659808524923296,0.7662637156395087
+8,1984,0.7549436307933081,0.7547230617677069
+8,2048,0.7599585717438868,0.759945431919763
+8,2112,0.768611858139448,0.770009599007501
+8,2176,0.7628920503209151,0.7651608501097262
+8,2240,0.7588660218449175,0.7589121269362056
+8,2304,0.7537073119294353,0.7555635997143192
+8,2368,0.7563651820861717,0.7589798369473457
+8,2432,0.757857754805831,0.7601123499703966
+8,2496,0.7707879841039478,0.770090858850056
+8,2560,0.7564340952940204,0.7572597912763381
+8,2624,0.7541373789424248,0.7530570944258344
+8,2688,0.7298776804870745,0.7414021090529654
+8,2752,0.7602705012913125,0.7600358981743656
+8,2816,0.7600750035609117,0.7601534035935356
+8,2880,0.7560381825534812,0.7570858178466687
+8,2944,0.7474201175761973,0.7533659113649308
+8,3008,0.760140972776149,0.7604461689201313
+8,3072,0.7576911750007714,0.7593455596196639
+8,3136,0.7484071142476927,0.7494884140271068
+8,3200,0.7576452578924621,0.7580830442976847
+8,3264,0.7575784564966905,0.7576083021930059
+8,3328,0.7477464994617601,0.7468684424681468
+8,3392,0.7430162512559609,0.7447811136255236
+8,3456,0.750929942820181,0.7490960329734023
+8,3520,0.7486505514378083,0.7482775395259889
+8,3584,0.750827074050259,0.7499586278747381
+8,3648,0.7479328278542937,0.7473176809869373
+8,3712,0.7409932500139447,0.7415694121208379
+8,3776,0.7457575430951724,0.7452050249500978
+8,3840,0.7468980410622842,0.7469540546268726
+8,3904,0.7529803679199868,0.7521102379005123
+8,3968,0.7555383363081857,0.7558657191398969
+8,4032,0.7421686929737403,0.7417256026200857
+8,4096,0.7493924497598108,0.7472465352557631
+8,4160,0.7549885727418397,0.7529950765894408
+8,4224,0.7536019183279321,0.7528758736602025
+8,4288,0.7475612312186222,0.7458355965596393
+8,4352,0.7292824972113585,0.7299516122883236
+8,4416,0.732376958684996,0.7332283245140305
+8,4480,0.7428605718797616,0.7440826220402843
+8,4544,0.7531432070532866,0.754009538143624
+8,4608,0.7505657328330743,0.7532055747351845
+8,4672,0.7470449987836959,0.7485494329520597
+8,4736,0.7453180741617974,0.7464024261323091
+8,4800,0.7253342296906811,0.7269667543565551
+8,4864,0.7311817365590353,0.7328199594635303
+8,4928,0.740185998799637,0.742328554993485
+8,4992,0.7535120016607814,0.7523076063641206
+8,5056,0.7648033135649702,0.7646484031368639
+8,5120,0.7615868960943513,0.7607348773044253
+8,5184,0.7547767631476333,0.7534684381260771
+8,5248,0.7473588368924687,0.7485228172753289
+8,5312,0.762644929226549,0.7625391205424354
+8,5376,0.7503401891588386,0.7524839143149742
+8,5440,0.764497328710497,0.7655789536011108
+8,5504,0.7680061159771462,0.7695898246964579
+8,5568,0.7430858380554504,0.7462530861715967
+8,5632,0.7647260463056891,0.764586251848421
+8,5696,0.7582650012223512,0.7602246936783209
+8,5760,0.7553323517728948,0.7593966237118432
+8,5824,0.7640359186726301,0.7642308903932178
+8,5888,0.7570338295314433,0.7590986412997967
+8,5952,0.7658564401410132,0.7657508558549738
+8,6016,0.7650245164055659,0.7650112930670134
+8,6080,0.745851996010657,0.7475676973991087
+8,6144,0.7489153951191659,0.7483865218076045
+8,6208,0.7561036804546888,0.7558207991800715
+8,6272,0.7535643452778893,0.7529282773905472
+8,6336,0.7266973023984582,0.7298242293971905
+8,6400,0.7436301998969905,0.744555965783314
+8,6464,0.753116077172557,0.7533582618934596
+8,6528,0.7645713507543044,0.766218343722076
+8,6592,0.7555518784877799,0.7626647647572579
+8,6656,0.7662384938918094,0.767667798459015
+8,6720,0.7628225926866585,0.7631866441209709
+8,6784,0.7603453328579916,0.7619774546743968
+8,6848,0.7557854274951716,0.7568001948737566
+8,6912,0.7462466355998179,0.7477150320203587
+8,6976,0.7484675248355147,0.7515401574359195
+8,7040,0.7620464355264551,0.7632120327172583
+8,7104,0.7565581382008891,0.7572849656709355
+8,7168,0.7466944838821009,0.7473966278860339
+8,7232,0.7323673754091407,0.7342749159836255
+8,7296,0.7475725156008697,0.7481021888711699
+8,7360,0.7460558533795613,0.7482353135182007
+8,7424,0.7475967058393282,0.7493709868998057
+8,7488,0.7477461455253096,0.7493682858303261
+8,7552,0.7536558185065783,0.7545320189312398
+8,7616,0.7401231811480503,0.7427802723870706
+8,7680,0.753750232372272,0.7544961292267568
+8,7744,0.7584921707973094,0.7588556838367554
+8,7808,0.750612219543685,0.7516823532635877
+8,7872,0.7565897803715487,0.7581571531055815
+8,7936,0.7570822864488261,0.7584571533126149
+8,8000,0.7612273106081023,0.7617634616441555
+8,8064,0.7530291857466426,0.7531336282864802
+8,8128,0.7610696066078935,0.7602466474301263
+8,8192,0.7410235060717624,0.7417555599361333
+8,8256,0.7503632889470068,0.7496324853009091
+8,8320,0.7475917312616388,0.748211605316786
+8,8384,0.752004862695895,0.7538771910772009
+8,8448,0.7566631696786408,0.7578959625338721
+8,8512,0.7322614064293715,0.7388442500978257
+8,8576,0.7432488739353601,0.7487619473335936
+8,8640,0.7538457421123257,0.756114493332931
+8,8704,0.7507323939584981,0.7516700827924863
+8,8768,0.7496535821715421,0.749486463847825
+8,8832,0.7492838251981284,0.7500697418304225
+8,8896,0.6617953406504656,0.6792425755141167
+8,8960,0.7465304337229891,0.7489627659775187
+8,-1,0.7485639280294477,0.7504481833727279
+9,64,0.7555143830435954,0.756470621692578
+9,128,0.7473956076509376,0.7502473344796715
+9,192,0.7514844805613875,0.753090172740477
+9,256,0.7504961085501197,0.7529323167596527
+9,320,0.7396284877308603,0.7432184773158148
+9,384,0.7506824926662063,0.7515693069222278
+9,448,0.7466842439740276,0.7467811114470245
+9,512,0.7459249199887302,0.7464294225922207
+9,576,0.7209467732486903,0.7243907863866814
+9,640,0.745952896799529,0.7463623816206882
+9,704,0.7510344525869219,0.7519927823034408
+9,768,0.7504790597623244,0.7505670660170477
+9,832,0.7222738543471064,0.7238852540093385
+9,896,0.7457669150361151,0.7450802988853754
+9,960,0.7565784778896367,0.7568188781606715
+9,1024,0.7554810085412114,0.7561813848381682
+9,1088,0.7604379952217127,0.7610771159747717
+9,1152,0.7520995020641181,0.7520493730898257
+9,1216,0.7393864465002199,0.7431526890141861
+9,1280,0.7513393990924104,0.7518640455597939
+9,1344,0.753485603249299,0.7564872587147353
+9,1408,0.7503147662930553,0.753474952365448
+9,1472,0.7530754919397115,0.7568213941766426
+9,1536,0.754795222730432,0.7569680846693344
+9,1600,0.7655664915207661,0.7665415289984904
+9,1664,0.7668675164192815,0.7659919699003727
+9,1728,0.7595282386939761,0.7583394272527233
+9,1792,0.7519422321896164,0.7517379102414298
+9,1856,0.7573024460892769,0.7572523784598346
+9,1920,0.7607601091346141,0.7622324370567686
+9,1984,0.7478240584075777,0.7521476792074897
+9,2048,0.74984858993544,0.7524010726207935
+9,2112,0.767389072592711,0.7671661415291864
+9,2176,0.7511637818394268,0.7513349064045938
+9,2240,0.7656102759146305,0.7652365708025513
+9,2304,0.7562681512412059,0.7565376430911434
+9,2368,0.7594433796350636,0.7613859916327699
+9,2432,0.7561403897628259,0.7597325403137696
+9,2496,0.7608909842543307,0.7635959273215711
+9,2560,0.7623804550856186,0.7637259859193747
+9,2624,0.7662758040657182,0.7670018976435978
+9,2688,0.7590582077919016,0.760176956990573
+9,2752,0.7599550030194934,0.76123144348341
+9,2816,0.7305077729578521,0.7324449402828337
+9,2880,0.7443246070150219,0.7447273911685203
+9,2944,0.7528107316087375,0.7527816333816432
+9,3008,0.7626093751019997,0.7617465950844731
+9,3072,0.733644389120221,0.7357218689394784
+9,3136,0.7502430611814302,0.7522806935341599
+9,3200,0.7554676775390297,0.7563979472652003
+9,3264,0.7555569301797032,0.7571029263994008
+9,3328,0.7563233744720109,0.75736586141777
+9,3392,0.7569872864402083,0.758673350970712
+9,3456,0.755713177916523,0.756724246422767
+9,3520,0.7499066771311795,0.7512211287460033
+9,3584,0.7518310371878444,0.753319104173064
+9,3648,0.7378443955813169,0.7407503617335385
+9,3712,0.7639308836222902,0.7655081848689985
+9,3776,0.7521116864078099,0.7529418523534219
+9,3840,0.7432953724377709,0.7448546919681158
+9,3904,0.7450776187664605,0.7466805829078978
+9,3968,0.7537172845606792,0.7559069095597818
+9,4032,0.7487716456990126,0.7491793177283869
+9,4096,0.7533541700326214,0.7533966925249632
+9,4160,0.7231767292013707,0.7255344900229386
+9,4224,0.7522442193489766,0.7522785367280537
+9,4288,0.7498611799509122,0.7504382314085645
+9,4352,0.7343686797049901,0.7351981657310902
+9,4416,0.7365641596298038,0.7390857769548975
+9,4480,0.7438708960292862,0.7456490199184251
+9,4544,0.7504779648913508,0.7508621356156961
+9,4608,0.7525831494007461,0.7541764546289217
+9,4672,0.7442593457159069,0.7455985928373616
+9,4736,0.7495818154201341,0.749631469285973
+9,4800,0.7496431003224622,0.751250459727099
+9,4864,0.7454425818314045,0.7466044867699739
+9,4928,0.7442257765844118,0.7449079731436756
+9,4992,0.7601065100458592,0.7604802187656934
+9,5056,0.7596508501357166,0.7608991503361394
+9,5120,0.7567973106651541,0.7604552098516375
+9,5184,0.7595400754117066,0.7599074443490635
+9,5248,0.7527900395738748,0.7532675447490043
+9,5312,0.759580773335557,0.7592029456422408
+9,5376,0.7648826218102667,0.7630813041906236
+9,5440,0.7593691123848019,0.7582643257774073
+9,5504,0.7490961631969373,0.74809975826451
+9,5568,0.6883988306230464,0.6954896881499101
+9,5632,0.7242215762179562,0.7274817019777934
+9,5696,0.75860285358269,0.7569325988797206
+9,5760,0.7595546010299021,0.7581590819325355
+9,5824,0.7533520797294224,0.7555817171645447
+9,5888,0.7571782878509015,0.7584681746725341
+9,5952,0.7557962370787379,0.7556809129625381
+9,6016,0.7170995575197836,0.7190971563989712
+9,6080,0.7548958954802284,0.7537317746067408
+9,6144,0.7611557265086957,0.7602584303564071
+9,6208,0.7655985995830012,0.7644512606520593
+9,6272,0.7596224842875361,0.7597746328695084
+9,6336,0.7511250352830762,0.7553791227186822
+9,6400,0.7640925209966203,0.7640082407733728
+9,6464,0.7569673824584509,0.7561978848495551
+9,6528,0.7239250528824386,0.7245699092860969
+9,6592,0.7454842782719155,0.7436513441625836
+9,6656,0.7372708147492203,0.7370454730557588
+9,6720,0.7407397884227103,0.7410409046386714
+9,6784,0.7381627468965964,0.7391614816334767
+9,6848,0.7404973443821531,0.7412379801666495
+9,6912,0.7472870872219999,0.7490294048135424
+9,6976,0.7548416468982712,0.7562900254825373
+9,7040,0.7568240095608997,0.7569292768133711
+9,7104,0.7487726196420861,0.7493078302725907
+9,7168,0.7366853054190969,0.738304001270944
+9,7232,0.7113379759097623,0.716668562833321
+9,7296,0.7502076011426859,0.7509335698286947
+9,7360,0.7557252802665821,0.7570233195828974
+9,7424,0.7368208795835698,0.7420031401781655
+9,7488,0.753585941940262,0.7554923683484358
+9,7552,0.7623198037431715,0.761954737576869
+9,7616,0.7478386553290538,0.7469651631754642
+9,7680,0.7610571027367402,0.7596961168010887
+9,7744,0.7579639838540495,0.7559992512605186
+9,7808,0.7598288355834154,0.7610776052989527
+9,7872,0.7510001233529009,0.7526898877667271
+9,7936,0.7576103515412439,0.7589515006288583
+9,8000,0.7421794911624083,0.744719727462164
+9,8064,0.7414336084809511,0.742467656512968
+9,8128,0.7507923957412637,0.7510980005471523
+9,8192,0.7545754706770591,0.7557659483905226
+9,8256,0.7557410296107596,0.7566314189565708
+9,8320,0.760120295279201,0.7595394956965617
+9,8384,0.741407366826592,0.7401268025843525
+9,8448,0.7296465224696748,0.7316252753650446
+9,8512,0.7583340371406171,0.7597247271411179
+9,8576,0.7484052054738829,0.7544806327747813
+9,8640,0.7523195931745624,0.7534181658493907
+9,8704,0.7557259799225672,0.757084395031106
+9,8768,0.759332103898725,0.7581077064522408
+9,8832,0.751967171398664,0.7515198175642313
+9,8896,0.76340003646156,0.765425467730064
+9,8960,0.7582550477392003,0.7618145773377941
+9,-1,0.7578430994007229,0.7614947301419752
+10,64,0.752484221412231,0.7558945163127949
+10,128,0.740349047915478,0.7417680581653989
+10,192,0.7456918343239212,0.7466879619165491
+10,256,0.733631631673976,0.7342227273355099
+10,320,0.7107532869597158,0.7161436205528754
+10,384,0.7481757457593433,0.7481922636664274
+10,448,0.7508586613466667,0.749814875772996
+10,512,0.7544316656903899,0.7549554996505348
+10,576,0.7450276916103001,0.7438978105248435
+10,640,0.7398564509825072,0.7402583489384792
+10,704,0.7324246577849917,0.7347925533515288
+10,768,0.7474265388627217,0.7493471814996415
+10,832,0.7399570746699952,0.7423802774491081
+10,896,0.7437755211399777,0.746126270021324
+10,960,0.7568520821832572,0.7588506453619044
+10,1024,0.7532758844364611,0.7545993001164615
+10,1088,0.7594988458749301,0.7610678437263799
+10,1152,0.7504911504979357,0.7560847530988837
+10,1216,0.7559733157452162,0.7612100875967859
+10,1280,0.7571945548609316,0.7602170228545218
+10,1344,0.7640274189987706,0.764788629212283
+10,1408,0.7600729720459434,0.7621602288218835
+10,1472,0.75543793855833,0.7570078017785942
+10,1536,0.6997228250122581,0.7089016564803856
+10,1600,0.7560162288849336,0.7570221274112561
+10,1664,0.759651566887189,0.7599671436785188
+10,1728,0.7457589560252837,0.7459737532386125
+10,1792,0.7473640567893576,0.7479313061909642
+10,1856,0.7524833634875139,0.7531806318776368
+10,1920,0.7527066414662928,0.7528049785934835
+10,1984,0.7539202627135713,0.757604757706574
+10,2048,0.7518811392561167,0.7561530716513692
+10,2112,0.7622471013735856,0.7641849437422924
+10,2176,0.758400541084731,0.7589990362488517
+10,2240,0.7583171540372555,0.7589855059904039
+10,2304,0.7587008226974974,0.7594834209247676
+10,2368,0.7627272239367805,0.7639748012485166
+10,2432,0.6960660755561616,0.7099719187848215
+10,2496,0.7407423061528798,0.7420064658032363
+10,2560,0.7571056786922098,0.7582078755605146
+10,2624,0.7495554288564978,0.7524641171482869
+10,2688,0.7484700116931772,0.7518859975322385
+10,2752,0.7494248835698037,0.752588569191468
+10,2816,0.752506148359638,0.7546967788314193
+10,2880,0.7543225786178755,0.7553015390352477
+10,2944,0.7519049078270659,0.7525809232787181
+10,3008,0.754355408626992,0.7553183201856185
+10,3072,0.7550342979663744,0.7560282993232696
+10,3136,0.7386409722089263,0.7421383360010028
+10,3200,0.7547063476789254,0.755140839636091
+10,3264,0.7606695816925421,0.7602150566609941
+10,3328,0.7567951907068614,0.7578158432614991
+10,3392,0.7559783181280959,0.757102508249646
+10,3456,0.7524661283848415,0.7537161820692898
+10,3520,0.7423602440655529,0.7428876069807161
+10,3584,0.742585180282455,0.7438307517597045
+10,3648,0.7495205010034086,0.7507634238038019
+10,3712,0.7445083663237012,0.7477026163063083
+10,3776,0.7563656862281622,0.7575681206706142
+10,3840,0.7661288690624911,0.7657299643814816
+10,3904,0.7525014385815801,0.7536816909422842
+10,3968,0.722146457211195,0.7278647870047668
+10,4032,0.7505521818189156,0.7509174950845052
+10,4096,0.7378156012885232,0.7419323020509876
+10,4160,0.7602121022008189,0.7613648837540465
+10,4224,0.7542541752271309,0.7551727667043876
+10,4288,0.7598729846748296,0.7603935708052895
+10,4352,0.7581430770637358,0.7605052063274217
+10,4416,0.7590286104575007,0.7609667618060884
+10,4480,0.749996495771587,0.7543041201974521
+10,4544,0.7442420438203174,0.7496485351340495
+10,4608,0.7533508491331942,0.75547357474116
+10,4672,0.7560744109445173,0.7570780420405907
+10,4736,0.7623751777503207,0.7632513345570735
+10,4800,0.758343582635628,0.7577964108637468
+10,4864,0.7600460653891997,0.7607596709158417
+10,4928,0.7547882154894322,0.7554322900151601
+10,4992,0.7336545350874795,0.7385539171572504
+10,5056,0.7320277883907995,0.7360501218350484
+10,5120,0.7494241643416508,0.750439318597927
+10,5184,0.747420255850767,0.7505103798123077
+10,5248,0.7458725587942899,0.750928137440604
+10,5312,0.7587791441373083,0.7618772837867623
+10,5376,0.7601348623932191,0.7614745557508283
+10,5440,0.7622673699785197,0.7629650194128652
+10,5504,0.7699925735863559,0.7694001893342718
+10,5568,0.7688338122374473,0.7673974014752581
+10,5632,0.7667077228754265,0.7674855865894965
+10,5696,0.7660770733717864,0.766910306833059
+10,5760,0.7383263503859674,0.7396876421389343
+10,5824,0.7650638609852304,0.7643487196560279
+10,5888,0.7745283920924727,0.7763613240314634
+10,5952,0.768320927320414,0.7675707396731726
+10,6016,0.760166845105954,0.7597006844198994
+10,6080,0.7635260846924611,0.7653666278318066
+10,6144,0.7691423430802664,0.7692102372458884
+10,6208,0.7724085358701651,0.7728581408062023
+10,6272,0.772051727630446,0.7714473455513066
+10,6336,0.7703565061265827,0.7711559076277622
+10,6400,0.7643937287459326,0.7651415600608267
+10,6464,0.7638768077290146,0.7655691439858001
+10,6528,0.7485554032614204,0.7511257105306881
+10,6592,0.7622772438296593,0.7636660145585513
+10,6656,0.7603865974290054,0.7613902841274699
+10,6720,0.7668519000845545,0.766506333244664
+10,6784,0.7715362277870369,0.7698123426436143
+10,6848,0.7623640871590954,0.7624400991217867
+10,6912,0.763013133200473,0.7635224735342252
+10,6976,0.7488310847317173,0.7498184611847262
+10,7040,0.7490276061300423,0.7507895377008268
+10,7104,0.7634048722024261,0.7660098318035612
+10,7168,0.7523860445733397,0.7551091047387457
+10,7232,0.7551547572779908,0.7584611960200311
+10,7296,0.7549877542576997,0.7581587801151427
+10,7360,0.7585063671658029,0.7603491350453381
+10,7424,0.7552361902420817,0.7555708772994127
+10,7488,0.7268135420131493,0.731119944055456
+10,7552,0.7542612403861817,0.7565785061086671
+10,7616,0.7541653760909731,0.7555972527624546
+10,7680,0.7401718909587734,0.7452102882989258
+10,7744,0.7525344338131883,0.757727988002519
+10,7808,0.7548326833500143,0.7600813893089624
+10,7872,0.7598289918849667,0.7628559606187415
+10,7936,0.7571925490246548,0.7598114816493865
+10,8000,0.7594140919731382,0.7615328387091996
+10,8064,0.7155024490009407,0.720785473151414
+10,8128,0.7411412550735548,0.7443612539051689
+10,8192,0.7598823739371479,0.761869182357684
+10,8256,0.7572899279588219,0.7617052996823093
+10,8320,0.7407635676909923,0.7460076998812566
+10,8384,0.7481900274359117,0.7517846077825532
+10,8448,0.7479826145489594,0.7517076893585094
+10,8512,0.7645160181380889,0.766005980586198
+10,8576,0.7557388395297366,0.757582197192784
+10,8640,0.7417667348489039,0.7444126329441848
+10,8704,0.7359644492443583,0.738200240756591
+10,8768,0.7403371997814368,0.7426130712040675
+10,8832,0.7579973796794879,0.7591925257062243
+10,8896,0.7285100172902765,0.7339830332199164
+10,8960,0.7400035424159803,0.7441291487627844
+10,-1,0.7387204630744532,0.7430574309413299
+11,64,0.7483444072151796,0.7523708092547126
+11,128,0.753690540848283,0.7572511791707508
+11,192,0.7605624421434428,0.7638395645003839
+11,256,0.7489878454411385,0.7513959313577399
+11,320,0.7572153641829763,0.7579407294686807
+11,384,0.7628831966517701,0.7639505254310517
+11,448,0.7571844884463973,0.7616285932236794
+11,512,0.756477957220223,0.7583674219339644
+11,576,0.7527293353058385,0.7551858574607528
+11,640,0.7497117508089911,0.7518053355548647
+11,704,0.7591158442058692,0.7598096435698264
+11,768,0.7519625947497345,0.7527635977820081
+11,832,0.7581465503779508,0.7607235854816862
+11,896,0.7632809628909891,0.7644777873607572
+11,960,0.7577017412537965,0.7589091827689018
+11,1024,0.7396853021501709,0.7446439444917157
+11,1088,0.7372349539350965,0.742187024646703
+11,1152,0.7483692096794882,0.751274479316629
+11,1216,0.7528152418140345,0.7552965959713381
+11,1280,0.7474155206677124,0.7508141604936199
+11,1344,0.7496342248035296,0.7509208936633632
+11,1408,0.7551974649034482,0.7559798437738156
+11,1472,0.7567588548668862,0.7560915698295667
+11,1536,0.7616418541958574,0.7605736423177106
+11,1600,0.7659275686964815,0.7642800665837385
+11,1664,0.7576967110454704,0.7588525913079308
+11,1728,0.7499001287767275,0.7533258543977853
+11,1792,0.7515541296031689,0.7552954376075496
+11,1856,0.7512841241346732,0.7545138712318832
+11,1920,0.7603506641519794,0.7630071404383747
+11,1984,0.7592354123398104,0.7620182714285435
+11,2048,0.7669947018568903,0.7674803730627668
+11,2112,0.737192450410476,0.7406182270693613
+11,2176,0.7607443152918076,0.760729807905909
+11,2240,0.7589330387657818,0.7600549569063795
+11,2304,0.7557636795638141,0.7579897846626766
+11,2368,0.763253258014461,0.7645005578391046
+11,2432,0.7610593009371276,0.7607586086375285
+11,2496,0.757207878065892,0.7571800225380149
+11,2560,0.760605430158979,0.7597607645325357
+11,2624,0.7414776322378086,0.7409763939179954
+11,2688,0.7512257968136034,0.7511681162539028
+11,2752,0.7610591419721766,0.7624611685313445
+11,2816,0.7518664431284123,0.7534757584158264
+11,2880,0.744926320938074,0.7487683174447513
+11,2944,0.7587625864592533,0.7594532483060805
+11,3008,0.7649387737808265,0.7651423945809755
+11,3072,0.7537863118916315,0.7531549254542027
+11,3136,0.7578811075386794,0.75830486139257
+11,3200,0.7511313997102648,0.7567257375269991
+11,3264,0.7494763037945588,0.752276643709301
+11,3328,0.746758917632062,0.7509776748413385
+11,3392,0.7573763078277604,0.7598547468037994
+11,3456,0.7532992824027527,0.7532760892388867
+11,3520,0.7632864642446803,0.7631807942615088
+11,3584,0.7499521729977591,0.7510621446505216
+11,3648,0.7564230545573822,0.7566095737457655
+11,3712,0.7662418418672491,0.7664952033437447
+11,3776,0.76374554694562,0.7642875932793243
+11,3840,0.7537151922209604,0.7575616135486859
+11,3904,0.7583970309185568,0.7604856262427349
+11,3968,0.7550499006419756,0.7562405770498358
+11,4032,0.7504674540975792,0.7520936275687647
+11,4096,0.7489916119163728,0.7534643455965624
+11,4160,0.7597436681928764,0.7627732310242823
+11,4224,0.758548021593347,0.7606104359374083
+11,4288,0.766463438991711,0.7668288227910609
+11,4352,0.7644648184116268,0.7636192494017229
+11,4416,0.7301943649780875,0.7364056007280549
+11,4480,0.7617052399797619,0.7622076986055326
+11,4544,0.7643071796062553,0.7638297548850733
+11,4608,0.7543705208343879,0.7549358110248477
+11,4672,0.7634201366855339,0.7632353381047531
+11,4736,0.7604870201905818,0.7634702742099456
+11,4800,0.7628802640840774,0.7631980711751202
+11,4864,0.756889282834759,0.7566297694892403
+11,4928,0.7073891396804709,0.7137274231558944
+11,4992,0.7633461138461713,0.7637342103351512
+11,5056,0.7571553192796364,0.7571010224834962
+11,5120,0.7437680404365504,0.7444754248024649
+11,5184,0.737737209869333,0.7414045810462322
+11,5248,0.7462998329757896,0.7500759678133669
+11,5312,0.7399223849353066,0.7416095936432295
+11,5376,0.7365774605288524,0.7402707742139578
+11,5440,0.7387345984944891,0.7416347662584661
+11,5504,0.7495164577924643,0.7514187214090545
+11,5568,0.7561880253516599,0.7585915288501887
+11,5632,0.7455604209355214,0.7488614740926696
+11,5696,0.7542215918867134,0.7556168043773708
+11,5760,0.7569922380000605,0.7588353900132848
+11,5824,0.7548210909453452,0.7560595295542412
+11,5888,0.7539302703264076,0.7556793880504536
+11,5952,0.7431183669685532,0.7470340279916718
+11,6016,0.755119151970298,0.7564777355764908
+11,6080,0.7626147626418808,0.762945087014768
+11,6144,0.7600934616232081,0.7584597280474878
+11,6208,0.7700108094235327,0.7691568457499677
+11,6272,0.7388101520367746,0.7408408742515181
+11,6336,0.7424722039233971,0.745176628133348
+11,6400,0.7496169888386234,0.7527812009970031
+11,6464,0.7697508294773074,0.7690200573993408
+11,6528,0.7695035372981287,0.7698315294895954
+11,6592,0.7674937873187133,0.7698488202214251
+11,6656,0.7723246505585089,0.772835163235033
+11,6720,0.766953950159021,0.767750898160491
+11,6784,0.76723880977568,0.7669930204132722
+11,6848,0.7586664767904284,0.7590667017759753
+11,6912,0.7616384565938786,0.7612342833430209
+11,6976,0.7603698961783624,0.7613832870045688
+11,7040,0.7471400851552736,0.7546004460247255
+11,7104,0.7581706327019812,0.76010459217195
+11,7168,0.7601217526911204,0.7614312923757761
+11,7232,0.7583236892749303,0.7595411860891872
+11,7296,0.7547463224013101,0.7569748569160007
+11,7360,0.7475610189393808,0.7506379770980127
+11,7424,0.7516157537385281,0.7540403459940666
+11,7488,0.7546824657661433,0.7564541252399124
+11,7552,0.7619875952670504,0.7634971443352504
+11,7616,0.7447871952579707,0.7452768701954084
+11,7680,0.7157283098645341,0.7202908832014225
+11,7744,0.7529348446976692,0.753817541350224
+11,7808,0.7626296598266931,0.7624326916433649
+11,7872,0.7650790274822556,0.7651062308549508
+11,7936,0.7556118342798372,0.7552477970052771
+11,8000,0.7333425148460287,0.7367895974343365
+11,8064,0.7152216615540605,0.7217677336166324
+11,8128,0.7548983380864898,0.7551252275256728
+11,8192,0.7621721515285388,0.7624998803018324
+11,8256,0.740357197457364,0.7438854066016927
+11,8320,0.7369093939368115,0.7418534603595671
+11,8384,0.7520375385916135,0.7549150939287
+11,8448,0.7529423877047261,0.7547765066444475
+11,8512,0.7600114183323052,0.7616537053406537
+11,8576,0.7579306217150427,0.7592815595754966
+11,8640,0.7681785243373295,0.7686131870117936
+11,8704,0.7621871343920883,0.7615422461890015
+11,8768,0.7464752137745368,0.7464765400624593
+11,8832,0.7101822270279854,0.7158022950774047
+11,8896,0.749669624675156,0.7566528264446539
+11,8960,0.7490203557809098,0.7513287587135185
+11,-1,0.7481950932317435,0.7505535535522064

modules.json

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

pytorch_model.bin

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

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:cfa0fd8fbd34f7e4c2bb8b7671d62078f98e82e6e6bbade53b5931d2d519f4b9
+size 711649

tokenizer_config.json

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

vocab.txt

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