Upload folder using huggingface_hub

1_Pooling/config.json

@@ -0,0 +1,7 @@
+{
+  "word_embedding_dimension": 384,
+  "pooling_mode_cls_token": false,
+  "pooling_mode_mean_tokens": true,
+  "pooling_mode_max_tokens": false,
+  "pooling_mode_mean_sqrt_len_tokens": false
+}

README.md

@@ -0,0 +1,87 @@
+---
+pipeline_tag: sentence-similarity
+tags:
+- sentence-transformers
+- feature-extraction
+- sentence-similarity
+---
+
+# {MODEL_NAME}
+
+This is a [sentence-transformers](https://www.SBERT.net) model: It maps sentences & paragraphs to a 384 dimensional dense vector space and can be used for tasks like clustering or semantic search.
+
+<!--- Describe your model here -->
+
+## Usage (Sentence-Transformers)
+
+Using this model becomes easy when you have [sentence-transformers](https://www.SBERT.net) installed:
+
+```
+pip install -U sentence-transformers
+```
+
+Then you can use the model like this:
+
+```python
+from sentence_transformers import SentenceTransformer
+sentences = ["This is an example sentence", "Each sentence is converted"]
+
+model = SentenceTransformer('{MODEL_NAME}')
+embeddings = model.encode(sentences)
+print(embeddings)
+```
+
+
+
+## Evaluation Results
+
+<!--- Describe how your model was evaluated -->
+
+For an automated evaluation of this model, see the *Sentence Embeddings Benchmark*: [https://seb.sbert.net](https://seb.sbert.net?model_name={MODEL_NAME})
+
+
+## Training
+The model was trained with the parameters:
+
+**DataLoader**:
+
+`torch.utils.data.dataloader.DataLoader` of length 312500 with parameters:
+```
+{'batch_size': 32, 'sampler': 'torch.utils.data.sampler.SequentialSampler', 'batch_sampler': 'torch.utils.data.sampler.BatchSampler'}
+```
+
+**Loss**:
+
+`sentence_transformers.losses.CosineSimilarityLoss.CosineSimilarityLoss` 
+
+Parameters of the fit()-Method:
+```
+{
+    "epochs": 1,
+    "evaluation_steps": 1000,
+    "evaluator": "sentence_transformers.evaluation.EmbeddingSimilarityEvaluator.EmbeddingSimilarityEvaluator",
+    "max_grad_norm": 1,
+    "optimizer_class": "<class 'transformers.optimization.AdamW'>",
+    "optimizer_params": {
+        "lr": 2e-05
+    },
+    "scheduler": "WarmupLinear",
+    "steps_per_epoch": null,
+    "warmup_steps": 100,
+    "weight_decay": 0.01
+}
+```
+
+
+## Full Model Architecture
+```
+SentenceTransformer(
+  (0): Transformer({'max_seq_length': 256, 'do_lower_case': False}) with Transformer model: BertModel 
+  (1): Pooling({'word_embedding_dimension': 384, 'pooling_mode_cls_token': False, 'pooling_mode_mean_tokens': True, 'pooling_mode_max_tokens': False, 'pooling_mode_mean_sqrt_len_tokens': False})
+  (2): Normalize()
+)
+```
+
+## Citing & Authors
+
+<!--- Describe where people can find more information -->

config.json

@@ -0,0 +1,26 @@
+{
+  "_name_or_path": "/home/hephaestus/.cache/torch/sentence_transformers/sentence-transformers_all-MiniLM-L6-v2/",
+  "architectures": [
+    "BertModel"
+  ],
+  "attention_probs_dropout_prob": 0.1,
+  "classifier_dropout": null,
+  "gradient_checkpointing": false,
+  "hidden_act": "gelu",
+  "hidden_dropout_prob": 0.1,
+  "hidden_size": 384,
+  "initializer_range": 0.02,
+  "intermediate_size": 1536,
+  "layer_norm_eps": 1e-12,
+  "max_position_embeddings": 512,
+  "model_type": "bert",
+  "num_attention_heads": 12,
+  "num_hidden_layers": 6,
+  "pad_token_id": 0,
+  "position_embedding_type": "absolute",
+  "torch_dtype": "float32",
+  "transformers_version": "4.18.0",
+  "type_vocab_size": 2,
+  "use_cache": true,
+  "vocab_size": 30522
+}

config_sentence_transformers.json

@@ -0,0 +1,7 @@
+{
+  "__version__": {
+    "sentence_transformers": "2.0.0",
+    "transformers": "4.6.1",
+    "pytorch": "1.8.1"
+  }
+}

eval/similarity_evaluation_results.csv

@@ -0,0 +1,314 @@
+epoch,steps,cosine_pearson,cosine_spearman,euclidean_pearson,euclidean_spearman,manhattan_pearson,manhattan_spearman,dot_pearson,dot_spearman
+0,1000,0.12450565815984632,0.09746314360045082,0.12764353164966163,0.0974629357178332,0.12479147344601985,0.09551614906607749,0.12450566002710442,0.09746373249150597
+0,2000,0.13532873381453114,0.11165185347426194,0.13920735106325813,0.11165195736462988,0.13565122897119203,0.10749891413274558,0.1353287351567366,0.11165265017475501
+0,3000,0.14635135519230796,0.11745531949489801,0.14848866488888096,0.117455423387614,0.1468983710782205,0.11630270481259722,0.14635135077421219,0.11745518085393884
+0,4000,0.13955709288377183,0.11552173153715603,0.14261900315422077,0.11552173148031934,0.14003712129446427,0.11355925192682505,0.13955708452143306,0.11552152361475673
+0,5000,0.14965492932464533,0.12472259090078762,0.15189998316971443,0.12472248691737098,0.14800786903174662,0.11994941793092617,0.14965494138534868,0.12472314507578137
+0,6000,0.1473955753155085,0.12178659676006054,0.15030898394999542,0.12178659671694808,0.14813940434268083,0.1204961061853348,0.1473955758224023,0.12178631951008148
+0,7000,0.14107809726300252,0.11248042521984299,0.14393128193395846,0.11248049440668453,0.14256858151380514,0.11200357550123964,0.14107809486063771,0.11248052910893017
+0,8000,0.15122854469087527,0.12679634115876087,0.1541778345070063,0.1267963064416432,0.1535932953425186,0.1252510226705931,0.15122854697580423,0.1267962717405019
+0,9000,0.15564742961668554,0.13014374581602425,0.1574638995646955,0.13014384968205056,0.15785121245784992,0.13134028668767161,0.15564742131857776,0.13014371111879242
+0,10000,0.1552314406744791,0.13059780086323047,0.15673235589592843,0.13059769689398187,0.15638903136130566,0.1309487261153065,0.15523143394567826,0.13059849360772735
+0,11000,0.15436423637192248,0.131968210981274,0.15729930583823964,0.13196821085933538,0.1576752374606806,0.1327701080689688,0.1543642319886725,0.1319686611768083
+0,12000,0.1533941916993066,0.13019716408070534,0.15664898925673199,0.1301970947115849,0.15718038572278925,0.1304934932122211,0.15339419495039994,0.13019719860414658
+0,13000,0.1430113922122686,0.12208517778380311,0.14772619810723747,0.1220852469553585,0.14790338176042886,0.12280299830554901,0.14301140273703444,0.12208507369171251
+0,14000,0.14424136646044833,0.1190005340169749,0.14906727219775112,0.11900032609284529,0.14962493224679407,0.11996185446852387,0.14424136467686346,0.11900053391344442
+0,15000,0.14713148445230356,0.12458114690055065,0.15110891440530674,0.12458100825184537,0.1519009279390538,0.12640353339408025,0.14713148598596693,0.1245811814078103
+0,16000,0.1532199279279871,0.12835596683299072,0.15546346679633266,0.12835586279054212,0.15626066825974888,0.128670760215866,0.15321993496438369,0.12835589736148564
+0,17000,0.150820429875835,0.12537923346689833,0.15395117769608105,0.12537916410279504,0.15404104933275908,0.1261802991786602,0.15082043887680863,0.1253793025996769
+0,18000,0.13623478673190803,0.11153940501009652,0.14135064838802555,0.11153940491874575,0.14218731210495783,0.1129571361753502,0.13623479333244295,0.11153950893496664
+0,19000,0.14556958140548615,0.12122695235996277,0.14923134371199814,0.12122681371159248,0.15057065913625392,0.12327662620370025,0.1455695834950422,0.12122747189884876
+0,20000,0.13460265004743216,0.1125892363524843,0.13957774652641708,0.11258913228576757,0.14066511987615538,0.11444269682752174,0.13460264389991994,0.11258982513175285
+0,21000,0.1457085291884441,0.12043208754026034,0.14869135524044566,0.12043198350857998,0.1499003327195279,0.12221671403462672,0.14570853229425068,0.12043219142200279
+0,22000,0.14485115564644796,0.12008656656670631,0.14992841284887307,0.12008639311082446,0.14959563735317738,0.11964335425706578,0.14485115548939212,0.12008660094337593
+0,23000,0.15480739723658254,0.12469633222143868,0.1589904285983959,0.1246961588620201,0.15920223066176795,0.1251737013224989,0.15480739020815573,0.12469605489844222
+0,24000,0.1520646505603417,0.12803462596131607,0.1568022980078896,0.12803448727582428,0.1569376070757607,0.12831200578625818,0.1520646517775502,0.12803438328475183
+0,25000,0.15128987338631333,0.12760371187051056,0.1543429802503662,0.1276036771108065,0.15408561596043668,0.12771588313712848,0.1512898837589856,0.12760388497040057
+0,26000,0.1477084082084522,0.12486261465133171,0.15137756269005986,0.12486247596760905,0.1517728000902295,0.12531517999214553,0.1477084117286075,0.12486289165617592
+0,27000,0.15399220904425454,0.13223859319665102,0.15681948915887586,0.13223859308081,0.15764934042746667,0.1333888520642384,0.15399221291031415,0.13223852376471065
+0,28000,0.15481681071237505,0.130505964483923,0.15822518626746312,0.13050596439778905,0.15886585657980293,0.13144393609533347,0.15481681963446298,0.13050610303228832
+0,29000,0.14845374493521607,0.12401921610486406,0.1521645501311213,0.12401897350244412,0.15339084254966626,0.12628083079108698,0.14845374418641769,0.12401911203061404
+0,30000,0.1561172676096427,0.13253804030966967,0.16003464731080685,0.1325378668832576,0.16098583373430203,0.13376298762074224,0.15611726167428186,0.13253797079826993
+0,31000,0.15610251582321177,0.1310893735304142,0.15854603791005584,0.13108923480084334,0.15877716998366626,0.1311600087763268,0.15610252335931027,0.1310892348362374
+0,32000,0.15853255256242382,0.13319586055354699,0.16211379680936663,0.1331959990443516,0.16231097324679658,0.13374365728291576,0.15853254100911057,0.133196968959888
+0,33000,0.15595144458000998,0.13142200768146944,0.1582579471870823,0.13142179974125037,0.15873357683171882,0.13359528482069247,0.15595144267888217,0.1314223886409804
+0,34000,0.15296426704595434,0.12771744219351747,0.15560887923454006,0.12771730346808396,0.1556775395578568,0.12829679787224327,0.15296425590576318,0.12771719954958702
+0,35000,0.15783629247449416,0.13374999688109354,0.16119921698074835,0.13374989287550412,0.16098786749981292,0.13397558668743298,0.15783629765889973,0.13374951181351888
+0,36000,0.15667370613680878,0.13468176771090684,0.1599522310159338,0.13468166361991726,0.1599518569827662,0.1351091134882034,0.1566737171493381,0.13468173293579486
+0,37000,0.1527406732339685,0.1303066680912917,0.15587070875813525,0.13030652936189943,0.15547961179401792,0.13032984355091629,0.15274067292076648,0.13030646011076547
+0,38000,0.15741711769815592,0.13312234988486,0.16111850014018173,0.13312217655454398,0.1602973207246698,0.13265765955008813,0.15741712060905372,0.13312217651780228
+0,39000,0.15412814087446064,0.13033604466007284,0.15756527847616475,0.13033587128689927,0.15748706124936723,0.13037286914134014,0.15412813882285006,0.13033652945393026
+0,40000,0.15104138258174715,0.12997763665297266,0.155555809464003,0.12997749792320618,0.15537514636647523,0.13052834324556986,0.15104137822932168,0.1299776019300755
+0,41000,0.15988916533063038,0.13625050416371784,0.1628422707295944,0.13625029621907123,0.16336108671407673,0.13647702929442934,0.1598891644040033,0.13624984594020506
+0,42000,0.15660154812082272,0.1360359651677776,0.1607425527366186,0.13603603432644248,0.16075936062864582,0.13592396686994418,0.15660154485218994,0.13603690035933874
+0,43000,0.15823137769982118,0.13475895054212036,0.16175116061647737,0.13475891568041698,0.16103963614107564,0.13400066762249102,0.15823138500074854,0.13475912360182613
+0,44000,0.15547128525518292,0.13305964753750912,0.15869663157930108,0.1330594049248832,0.15826845736334122,0.13262485340384123,0.155471277497279,0.1330594741529611
+0,45000,0.1647254378351019,0.14042710411337758,0.1674317816262647,0.14042706934649724,0.16608920704553262,0.138480629119616,0.1647254368695278,0.1404277275091791
+0,46000,0.16696103163947856,0.14538176746776338,0.1703171784218973,0.14538149015193158,0.1697984835313913,0.14462081713878155,0.16696103143065974,0.14538135162246035
+0,47000,0.16066222297215105,0.14037760048210032,0.16449224829400275,0.1403774617407117,0.1642794894721537,0.14026806173170606,0.16066221331952507,0.14037742705010045
+0,48000,0.16466155351248737,0.1439832625701259,0.16743933802477776,0.1439833663705397,0.16812634873473287,0.1448266609798596,0.1646615570859078,0.14398322783853124
+0,49000,0.16696187854833539,0.14360878059526333,0.16919150701763064,0.14360881510561152,0.16875619144927784,0.14362367660343472,0.1669618855946744,0.14360975045268554
+0,50000,0.1633769624833683,0.14112289242023154,0.1660494144037139,0.1411227189824007,0.16455322193354252,0.139256891110835,0.16337696006285268,0.14112299634169442
+0,51000,0.16785773446704455,0.14356350330680195,0.17168388822023745,0.14356332992275914,0.17086146294495008,0.14269107444233656,0.167857733614669,0.143563329957645
+0,52000,0.16745047215573286,0.14555740332501022,0.1694845154498598,0.14555705672591085,0.16829049108963184,0.14324683895499932,0.16745047700864196,0.1455569181270564
+0,53000,0.16931475767190518,0.14736032095160864,0.17326696804697672,0.14736032081677394,0.17261173451456638,0.14605219741785444,0.16931474939248625,0.14736122148253528
+0,54000,0.16582040673689982,0.14365779931941453,0.16957718454470022,0.14365772986266306,0.16857201900792282,0.1418704704607084,0.16582039972029072,0.14365786847189876
+0,55000,0.17003920550510362,0.14975378392758307,0.17302393165532529,0.14975340268433626,0.1717277302456518,0.14714398039923113,0.17003919696555236,0.14975343729641688
+0,56000,0.16149355110093058,0.13873836722921207,0.1653391096423673,0.1387380551644753,0.16440478123726113,0.1378815272389432,0.1614935594088624,0.1387381245620477
+0,57000,0.16194413985253528,0.13971222816316203,0.16550247078792082,0.1397118468724176,0.16366560493393156,0.1374067215051133,0.1619441347688914,0.13971219333991397
+0,58000,0.16631187411896153,0.14653580244373698,0.16878521952763456,0.14653559441173053,0.16632199225487665,0.14263970008827387,0.16631187168767345,0.1465363218751124
+0,59000,0.16546231095382358,0.14505076137828768,0.16798906023603033,0.14505069196468534,0.16678686535380055,0.1433027514352077,0.16546232005318257,0.14505083049468095
+0,60000,0.16270803458575453,0.13913356507194855,0.16670938433198085,0.1391334610185156,0.16515068450413245,0.13724975778320567,0.16270803064849365,0.13913349582348283
+0,61000,0.16448385802248727,0.14371800739004684,0.167000380407334,0.14371793797504506,0.1670603916004587,0.14335991103178336,0.16448386319284714,0.1437176608108652
+0,62000,0.16333112253252502,0.14136050304202255,0.16611662178847747,0.1413605721970398,0.1654327905596328,0.1409362747695066,0.16333112201164618,0.14136060691810004
+0,63000,0.15956017866493358,0.13640486979785985,0.16271587609729105,0.13640493891403468,0.16218300115188605,0.13605789354349865,0.15956017590019786,0.1364058049325497
+0,64000,0.16866293938318097,0.1476551953010397,0.1709583101763797,0.14765488328530962,0.1704182168806358,0.1465597746611354,0.16866293168503163,0.14765512589707683
+0,65000,0.1735298794434684,0.15339207900092716,0.17577505600133808,0.15339194024076966,0.17516206193902134,0.15268783791239268,0.17352988337692343,0.15339169775470585
+0,66000,0.16688121502591519,0.14701840262569407,0.16995970502979912,0.14701826392200698,0.16957954518143192,0.14693203953382353,0.16688121407539175,0.14701840260893398
+0,67000,0.17583116729698278,0.15437214094796292,0.17838930539315545,0.15437217539980314,0.17820273703999517,0.15399516454301204,0.1758311657010498,0.15437217547899604
+0,68000,0.16263009191307945,0.14065747466395903,0.16631456864915825,0.14065743985003523,0.1662554790575732,0.141224913417758,0.16263009318865643,0.14065754381413392
+0,69000,0.16197420149918898,0.1407403387598568,0.16636095175436683,0.14074013073661543,0.16586708987331486,0.14011771466596784,0.1619742067338074,0.14074019999859985
+0,70000,0.16299407534816332,0.14024596014894472,0.16716977240192737,0.14024582145357842,0.1667707641149499,0.1400898969954287,0.16299408351510364,0.14024609859607567
+0,71000,0.16205165357927315,0.14235400625052252,0.1655021964068497,0.1423539367372552,0.1658088954437756,0.14309527941077624,0.16205165572924984,0.14235407526241906
+0,72000,0.17271577948623396,0.15027348588453213,0.17603171921421523,0.15027338182093952,0.17595287039482377,0.15059461876849065,0.17271577718437692,0.15027421316926784
+0,73000,0.17067037931480533,0.15123820138810115,0.17311096445163499,0.1512383397748858,0.17259280684313552,0.15026981367719341,0.17067037296570792,0.1512382358383609
+0,74000,0.17010769406976264,0.14972901477259717,0.17255475167751627,0.14972884137932202,0.17225634481379917,0.14892261389535663,0.17010768646752863,0.14972894529822894
+0,75000,0.16612157628391494,0.14548569395952782,0.16914106754840505,0.14548572847382696,0.16853602134043064,0.1445566251773035,0.1661215792326302,0.14548565924358556
+0,76000,0.1683201474339367,0.14897772984629712,0.1723115201837419,0.14897783353149635,0.172414008375402,0.14897842245080878,0.16832014420440822,0.1489779721766462
+0,77000,0.17105292357848206,0.15161386115342526,0.17376701355101606,0.15161386101469856,0.17330686206451645,0.15070353377891985,0.1710529177264326,0.1516140342092295
+0,78000,0.1673428287688657,0.1467495793427919,0.17134608281214697,0.14674940595402616,0.17125669985746855,0.1462079140242879,0.16734283606787506,0.1467497524942637
+0,79000,0.1692250465594328,0.1513782250876918,0.17246105209512966,0.15137798240622927,0.17213030600008877,0.150496200327622,0.16922505245132763,0.15137812100901352
+0,80000,0.17250794668172315,0.1510052327796296,0.1763286251846618,0.1510050246837269,0.1767273521455759,0.15139991090365212,0.17250794010888326,0.15100575217088794
+0,81000,0.16790645661329628,0.14575160739306744,0.17149881184887983,0.1457514340059485,0.17150407818399638,0.14591733540879342,0.16790646221814293,0.1457523693251602
+0,82000,0.17110963261796977,0.1487707081742656,0.1742863350174104,0.1487706040062676,0.17335312866807265,0.14820891568412356,0.17110963250590444,0.14877056936319394
+0,83000,0.17230485105392745,0.1473131729422779,0.1759389846019178,0.14731306888094323,0.17554777766895996,0.14744855445189833,0.1723048537763378,0.14731331138283965
+0,84000,0.16602062673024703,0.14529744840160858,0.16878088584736936,0.1452975175076907,0.1680423748511215,0.14537438850438095,0.16602063908833165,0.14529834889083088
+0,85000,0.16897910132348276,0.14537941179814093,0.17290930767417778,0.14537909983882258,0.17219306122707867,0.14483293121245647,0.1689790946707124,0.14537916903988235
+0,86000,0.16825186313387522,0.1452985570024032,0.17248465508396998,0.14529848748440108,0.17170917162952903,0.14432182047547346,0.16825186217296875,0.14529893779352396
+0,87000,0.17709379417671303,0.1562056822542935,0.17919236128557992,0.15620561282887765,0.17818795366565857,0.15448057078290733,0.177093796620729,0.15620519716628636
+0,88000,0.16551193410718681,0.14503305939040026,0.1684331131433567,0.14503292052493844,0.1676944287126811,0.144307755748237,0.16551193449591572,0.14503312849637176
+0,89000,0.1724470638370409,0.15150913794593326,0.17567470913641287,0.15150889520840283,0.17528150693133332,0.1512508109577937,0.17244705922485926,0.151509241633395
+0,90000,0.17890748522762984,0.15456239586122003,0.18125127102641925,0.15456215311788002,0.18030308961700187,0.15304378632309823,0.17890748404159884,0.1545623263023551
+0,91000,0.18004750264572378,0.1581650093752602,0.18244399858745552,0.1581649399485496,0.1810163012307779,0.15605640895417672,0.18004749480676202,0.1581645588029452
+0,92000,0.18196420244368094,0.16061206387110583,0.18451122263853584,0.1606119943318524,0.18354232327123016,0.15946388316810478,0.18196420506464378,0.16061213294105084
+0,93000,0.17679011422799654,0.15750091887315315,0.17853172008628046,0.157500745413239,0.17670601269221042,0.15553338130568237,0.17679011612885095,0.15750112647297795
+0,94000,0.17647957363511252,0.15568390172290927,0.17885403183461007,0.15568369372924043,0.17783630599494976,0.1548420619398017,0.17647957896481603,0.1556847330325032
+0,95000,0.1765703751509984,0.15573025296352647,0.1780836641115892,0.15573007961059523,0.17702068681889976,0.15440858433161977,0.17657038516935217,0.155730322104461
+0,96000,0.17086761512149598,0.1480506011534754,0.1724105389483055,0.148050323781959,0.17142200964920037,0.14690609254066053,0.1708676210024985,0.14805060095005387
+0,97000,0.17443460005640776,0.15245542376627627,0.1763793275165295,0.15245504245805117,0.17550421716724424,0.1516425793818756,0.1744346037302118,0.152455042441586
+0,98000,0.1776212134846269,0.1536551863662966,0.18056630763950618,0.15365494368157245,0.17973785763513445,0.15269663702729447,0.17762120245562255,0.15365518636260886
+0,99000,0.17320650898059306,0.15129674662829692,0.17614409755467123,0.15129667720640605,0.17589425645007412,0.15107240372268863,0.17320650609751914,0.1512966771814421
+0,100000,0.16658095572920625,0.14596607718917387,0.17077613842834627,0.1459659730270415,0.1701599657038093,0.14523180128763052,0.16658095432317271,0.14596645798166838
+0,101000,0.17379825237387964,0.15205062988010062,0.17745795400432957,0.1520504564260664,0.17665111962238303,0.15128874414830812,0.17379825322120124,0.15205132248104872
+0,102000,0.17136499385296422,0.15258599014318727,0.17480204032547392,0.1525858859758634,0.17392072086753654,0.15181973949665303,0.1713649832701005,0.15258661346807406
+0,103000,0.17582271497428476,0.15302656934642286,0.1791175627299403,0.15302646523165706,0.17811976142364946,0.1520333778298983,0.175822714633522,0.15302649991240078
+0,104000,0.16978160995781577,0.14783031152251994,0.1741100113671188,0.14783020735737867,0.1727691038273916,0.14618324878743577,0.16978161676447698,0.14783090020720846
+0,105000,0.17720026554310336,0.15337721755999573,0.180048678367401,0.1533768016071926,0.17873367541186908,0.1516319788744757,0.17720025663050665,0.1533778063072852
+0,106000,0.176727379251383,0.15635706869723964,0.17969165251166686,0.156356964516929,0.1791828531872345,0.15573163850967672,0.1767273774488953,0.15635734559170913
+0,107000,0.18090116324370617,0.15968070877424237,0.18317318624572954,0.1596804660830468,0.18187077034918264,0.15829308137529013,0.18090115624675931,0.1596812281918681
+0,108000,0.17996241910947242,0.1566332361128251,0.18187081040830183,0.15663306270503186,0.18087732786849356,0.15538954697044602,0.179962428105856,0.15663313201100934
+0,109000,0.17971366858148766,0.15819843913030712,0.18205090840005866,0.15819836964993714,0.18123877541533598,0.15678888323020643,0.1797136644936979,0.1581984389077219
+0,110000,0.1781195297392273,0.15751276656902555,0.18034462013041888,0.15751255839225053,0.17933910090573996,0.15606368381032357,0.17811952444822748,0.15751248911781174
+0,111000,0.1742544302579389,0.15208385162592697,0.1774372135213574,0.15208374756068335,0.1766236104148141,0.15101029029433982,0.1742544365195311,0.15208402469950047
+0,112000,0.17913738617849012,0.15700525854501113,0.1820700560447981,0.15700522365083663,0.18132113734753127,0.15606569306056975,0.17913738310022725,0.15700515429535125
+0,113000,0.18006730167822718,0.15994814640696645,0.18231868648299923,0.15994807693066657,0.18109060205721966,0.15811803443588726,0.18006729761973478,0.15994876973254088
+0,114000,0.1767268678225667,0.15533335759930347,0.17937111717887583,0.15533308021487507,0.17771135709220443,0.15308764332430244,0.17672685979876407,0.15533387696080703
+0,115000,0.17784755750820302,0.15680821376057444,0.1810472776732482,0.15680804035585427,0.17936380602984478,0.15470723457302843,0.1778475625418682,0.15680904493770698
+0,116000,0.1697970147245479,0.14833556773477202,0.17321482866423127,0.14833542892663423,0.1716066708411626,0.14667430170463822,0.1697970158614624,0.14833622570480845
+0,117000,0.17938008736372524,0.15646452868105776,0.18263655628664255,0.1564642859938085,0.18120193950564217,0.15460327338353483,0.17938008063050775,0.15646466703526907
+0,118000,0.17936994730209,0.15793640567255376,0.18202727529737317,0.15793619762804853,0.1804319284184196,0.15595071566261348,0.17936994485407287,0.15793630156075117
+0,119000,0.1713392926946037,0.14899162136136582,0.17559846009706445,0.14899155183608428,0.17430887483463503,0.14811742568398056,0.1713392967366087,0.1489916211070371
+0,120000,0.17619318092097794,0.152491832696327,0.17959296474296502,0.15249141674540503,0.1776017483949683,0.15035201957010996,0.17619317082068706,0.152492386703143
+0,121000,0.16921897294548513,0.14505741272448822,0.17260993804821523,0.14505713540861925,0.170551052271157,0.1427158782461059,0.1692189717235985,0.14505744715212934
+0,122000,0.1749465755549865,0.1499661750939425,0.17763790600433105,0.1499659671022875,0.1752112298354242,0.14711841446432236,0.1749465743991423,0.14996614031859148
+0,123000,0.17021088894585065,0.1492199479765594,0.1733929198867446,0.1492197745248132,0.17175180112887278,0.1472449623552157,0.17021088933834075,0.14921980908104363
+0,124000,0.1666328644859854,0.14755379763783882,0.1702810540557449,0.14755372811488227,0.16881963628716024,0.14543698692422247,0.1666328611168491,0.1475547673298499
+0,125000,0.17024385241874285,0.14811690623078258,0.17455271294163444,0.1481168714086395,0.17289560153342112,0.14603418348239625,0.17024384613749383,0.14811645571535306
+0,126000,0.17042360412088864,0.14964282508126645,0.1735847697359764,0.14964275555582976,0.17188390582109414,0.14749646458695762,0.1704236073015573,0.14964254765829968
+0,127000,0.17109644848662384,0.1505829791302801,0.173836254201221,0.15058284042422423,0.17251931508175777,0.14905813410894841,0.1710964485214107,0.1505825287218437
+0,128000,0.17118108761997802,0.1489070250988286,0.1743311820612996,0.14890699027438536,0.17252990266085202,0.14663934774836213,0.17118108861602452,0.14890782175999315
+0,129000,0.16672590734476567,0.14681619621341988,0.16926239017754652,0.1468161614351402,0.16735993213886596,0.14456220256801824,0.16672591709726015,0.14681629996290266
+0,130000,0.17130174748813454,0.1505297688462683,0.17362927247553456,0.15052966467541534,0.17189262297142455,0.14862313224333878,0.17130175330900715,0.1505298378669022
+0,131000,0.17039869140853003,0.14977238678242172,0.1737175853710598,0.14977245588121585,0.1720379441761989,0.14715163631682796,0.17039868579539286,0.14977339122010408
+0,132000,0.16958540825875584,0.1482080844064996,0.17239358128209026,0.14820794570394352,0.17060031186446184,0.14593798214650802,0.169585409854959,0.1482089157179152
+0,133000,0.17213258396093523,0.15181010911013942,0.17583129775404488,0.15181007432768584,0.17384511694600668,0.1492079961841529,0.1721325826409379,0.15181014369129284
+0,134000,0.16778979880410647,0.14814025511816628,0.17170840300385481,0.1481402548790679,0.1699020076347373,0.14557614456635726,0.1677897955213039,0.14814035888071822
+0,135000,0.17150925700927044,0.15119323578670163,0.17447553591496995,0.15119306244289754,0.1727281694696961,0.14852180386288721,0.17150926356039264,0.151193201018879
+0,136000,0.17012911955027887,0.1490987695702594,0.1743133153840838,0.14909852689473166,0.17255541251827497,0.14660851620283208,0.1701291267464005,0.14909866550281792
+0,137000,0.17561563164055363,0.15559850885438384,0.17869695120917162,0.15559854324776287,0.17691075919340607,0.15301312799470868,0.17561562621850652,0.1555986471252924
+0,138000,0.17520753952600435,0.1548726512356295,0.17798400754452778,0.15487247777847674,0.17648845342234226,0.1529661185527342,0.1752075393832076,0.1548726857054373
+0,139000,0.1727011432376247,0.15105369719280334,0.17590585792062846,0.15105359302427218,0.173972316987288,0.14874292490539684,0.17270114369996364,0.15105373166822114
+0,140000,0.16994838603863185,0.1469318664974734,0.17431759147789988,0.1469316931098091,0.17278594326576435,0.14531764461139135,0.1699483869373054,0.14693197023094803
+0,141000,0.17493567847639166,0.15314185858481036,0.17801452701891926,0.1531417890532773,0.17599999777962685,0.15053766702284985,0.1749356797189468,0.15314196222237478
+0,142000,0.17482798728928467,0.15245428051438537,0.17790518662779595,0.15245407247423767,0.17585354019951804,0.14978489242376192,0.17482798836597696,0.1524542456595306
+0,143000,0.1725791753994883,0.1505619860728865,0.17619665406451435,0.15056167405341184,0.1744122253184349,0.14842255401552598,0.172579176566277,0.15056202050864706
+0,144000,0.17642445317698757,0.1556533820104111,0.1785774128244592,0.15565327789474911,0.17642670550880418,0.15296757352571486,0.17642445148447228,0.15565365893679345
+0,145000,0.17854822584087118,0.1570400045956502,0.1812454989745092,0.1570399697593677,0.1793749431311632,0.15476131101856994,0.1785482152264459,0.15704076656675042
+0,146000,0.17397456894553856,0.15318800190891607,0.17744883781033538,0.1531877592256871,0.17525191190675943,0.15092922759340968,0.1739745659362255,0.15318848667242593
+0,147000,0.17188418759075133,0.15266331149552675,0.17443482982802855,0.15266334589222516,0.17187114440148413,0.149843957348738,0.1718841867538437,0.15266393480976095
+0,148000,0.17302114095817156,0.15230750159631276,0.17667609535742182,0.152307328193957,0.17430590779592914,0.14943126504233847,0.17302114470832902,0.1523081596003621
+0,149000,0.17534154850491707,0.15432499299366859,0.17830698295373956,0.154325062031728,0.17682212242436263,0.15280898161951012,0.175341552555712,0.15432492344911453
+0,150000,0.17598326963141175,0.15467623007017559,0.17856224043062505,0.15467598732572485,0.17687900566633058,0.15283274615524908,0.17598327013315895,0.15467671480271025
+0,151000,0.17372888557844712,0.1516022561933169,0.17676422379660472,0.15160215195841478,0.17527284092185735,0.14981350686530553,0.17372888655902133,0.15160298332482416
+0,152000,0.1736263756122927,0.15501440698256677,0.17628557439024678,0.1550142335795987,0.17397524581182788,0.15254635924317075,0.17362636421027694,0.15501430287233156
+0,153000,0.17083166848089132,0.15069889203996278,0.1741170162583919,0.15069875316155237,0.17222751002898207,0.14864762426132502,0.17083166012874967,0.1506981989241795
+0,154000,0.17491171556255758,0.15340642098815715,0.17809866508675548,0.15340617817902025,0.176741177362149,0.1522125818315375,0.17491172382956463,0.1534062474224229
+0,155000,0.17163751639037902,0.15061256365684314,0.1743032057340677,0.15061245948901866,0.1722083978450576,0.1485233627632621,0.1716375216228197,0.1506120437426327
+0,156000,0.16920602304062196,0.1497747770920182,0.17222242234416738,0.14977477690824456,0.170481427416318,0.1478534176226711,0.16920601689258324,0.14977529650007157
+0,157000,0.17505213095880698,0.15433306451630138,0.17763218172299933,0.15433306437786462,0.175374750651691,0.1517718293616328,0.1750521241796163,0.15433316830533375
+0,158000,0.17335487317464685,0.1544499820511948,0.17670489320162613,0.15444977388117717,0.17429069965074145,0.15154436880088487,0.17335487615528766,0.15445001655946775
+0,159000,0.1775228417222997,0.1573779737719519,0.18051266453503748,0.15737769638002333,0.17743510489519673,0.1536383847190324,0.1775228460981373,0.1573782506077066
+0,160000,0.17712857346538818,0.15718269579849806,0.17971688678706577,0.15718248769596282,0.1774354614951288,0.15475019087659708,0.17712857204537757,0.15718214135148598
+0,161000,0.17482003353039133,0.1562245969943626,0.1779697133474356,0.1562244581753666,0.1759523140215904,0.1536308673666672,0.17482003582572658,0.15622542810863094
+0,162000,0.17838885054610543,0.15930633085369209,0.181632725210475,0.159305984104985,0.179646129388103,0.15650800442487955,0.17838885416976408,0.15930716187127572
+0,163000,0.1806705617625462,0.16036243225780508,0.18333896676405062,0.16036208563922993,0.18088054138945212,0.1573827887825256,0.18067056121769925,0.1603622241819754
+0,164000,0.1775237394453619,0.1577529753236902,0.1810594615930917,0.157752940487473,0.17883881353220665,0.15514050433090645,0.1775237402806738,0.15775380654389218
+0,165000,0.1779508065870388,0.15795518179583234,0.18150990444221507,0.15795507761198022,0.17993141230163656,0.15593058855495778,0.1779507986415389,0.1579557705437405
+0,166000,0.17449011037179749,0.15379462114517903,0.17762767838255128,0.15379448238728746,0.1749772341209473,0.15021840468232334,0.17449011112210766,0.15379427454066055
+0,167000,0.17628765761638854,0.15786292960504428,0.17959613313038675,0.15786282548480332,0.1775058120518066,0.15528555114061668,0.17628766245328456,0.15786240970664553
+0,168000,0.17288711360513664,0.15308345193498235,0.17646738335595125,0.1530832091283433,0.17383373363974353,0.15031751595869036,0.17288710899335857,0.15308296658393636
+0,169000,0.1760864093357411,0.15726822723276404,0.17864335160289885,0.1572682963736975,0.17585385275942395,0.15372488624418212,0.17608640841273604,0.15726909308063938
+0,170000,0.17459137103657613,0.15494976467219063,0.17681803126804935,0.15494966055319986,0.17397769825468973,0.15151506151571997,0.17459137588544388,0.15494927949432166
+0,171000,0.1742093332624472,0.15489302077956768,0.17690351993627984,0.15489274345206552,0.17508788477145382,0.15291921304143313,0.1742093291179086,0.15489295126286604
+0,172000,0.17618830793363105,0.15596148956947634,0.17917243494687587,0.1559614200937495,0.17697287995300914,0.15311514922110575,0.17618830942364802,0.15596228607996415
+0,173000,0.17607712167142248,0.15649605301749073,0.17888354103160334,0.1564959143046337,0.17630267065745886,0.15325593503798474,0.17607712545185594,0.15649536007527712
+0,174000,0.1755164614152045,0.15630039402799978,0.17927665168035414,0.15630032455326381,0.17670434632399323,0.15315630412759507,0.1755164607226598,0.1563001859751616
+0,175000,0.17518872893603424,0.1565070692822512,0.17830121476184024,0.15650699980491586,0.17593723909223943,0.1538156834016263,0.17518873031496882,0.1565068612277403
+0,176000,0.1780152761892374,0.1594097029911097,0.18092013029734794,0.15940942565902208,0.17865144487584647,0.1568458349744339,0.17801528152770318,0.15941046490962826
+0,177000,0.17626502026851967,0.15578169670944883,0.17919521966916546,0.15578162717599184,0.17718098338384397,0.1533717784923214,0.17626502612244038,0.15578173128526693
+0,178000,0.1795138146367748,0.15811772284694783,0.18252419308140005,0.15811761872639427,0.18009677753402487,0.1551459431528652,0.17951381015130863,0.15811768796000056
+0,179000,0.17275968176647605,0.15428009672881254,0.17575023925196498,0.15427992326797357,0.17309259821295156,0.15113146864227742,0.17275967950823196,0.15428082389247733
+0,180000,0.17700010144719874,0.1566746335102976,0.1797689207925376,0.15667446010480252,0.17750249245982852,0.15430046608318526,0.177000102535289,0.15667452933840204
+0,181000,0.1779144387062964,0.15863053100695876,0.18100351137403142,0.15863028836511683,0.1787572787692287,0.15596349862695166,0.17791443048072586,0.15863139688873612
+0,182000,0.1778879573699459,0.15782174005267735,0.18081093998281186,0.1578218091433922,0.17847209541932196,0.15498059602087347,0.17788795367583504,0.15782184372307578
+0,183000,0.17617971321966225,0.1569871752186261,0.17887676143518086,0.15698703650720056,0.17688657032367325,0.15482148448844074,0.17617970828066676,0.1569869671719747
+0,184000,0.17847776378523317,0.158042445338134,0.18067356815409324,0.15804251447788725,0.17867027582634215,0.15552995173162515,0.1784777592945948,0.1580419601479919
+0,185000,0.1769480498105852,0.15794184444618062,0.17997434759470038,0.15794170573104432,0.1779198079548331,0.1556252177271681,0.17694804944070835,0.15794191359313328
+0,186000,0.17236479831392712,0.15418060438330058,0.1749157260132583,0.15418060413491563,0.1729239420235089,0.15225307854163714,0.1723648004905508,0.15418140103459207
+0,187000,0.17377297767404282,0.15418832952770248,0.1763264289268654,0.154188052204303,0.1735721084962394,0.15105147984805628,0.1737729772041947,0.15418829477681864
+0,188000,0.17341939723763022,0.15409580021347746,0.17607228824713653,0.15409576543723305,0.17398067517451074,0.1516033990764776,0.17341940352412305,0.15409670070862697
+0,189000,0.17485882339828165,0.1550456195867973,0.17739468259357466,0.15504548082643677,0.17531710830312824,0.15228321723594937,0.1748588261678648,0.15504558476228264
+0,190000,0.17182180999667537,0.15340399596690735,0.17486323471568999,0.15340368394060433,0.17341594219005207,0.1516760437287655,0.17182180649702194,0.1534048271058864
+0,191000,0.1760303313207219,0.15703803004691963,0.17876705472273877,0.1570378565820839,0.17720215887552349,0.15525108217606548,0.17603033182937333,0.1570390344986849
+0,192000,0.17009069686435038,0.1521982055706815,0.17310427261659786,0.15219799747468685,0.17147311315565966,0.15031852058013687,0.17009069866032084,0.15219799743541979
+0,193000,0.17235254710242884,0.15316839456308168,0.17515898618050618,0.15316829032223697,0.1735489349529948,0.15140992249306578,0.17235253682238805,0.15316794390364305
+0,194000,0.17497438390082126,0.15582981464009515,0.17771178287573397,0.15582950266879503,0.17576015248506044,0.1532731175602432,0.17497439421791675,0.15582946799856467
+0,195000,0.1769504238732562,0.15789029692952497,0.17970098004170465,0.15789029673437255,0.1781022035212023,0.1559262236392104,0.17695042418810428,0.15789036610257443
+0,196000,0.17308015451445818,0.1544560442572737,0.17628342960279375,0.15445594019079337,0.17436574174051908,0.1520855143096354,0.17308015791610448,0.1544561826897676
+0,197000,0.17481674889197074,0.1565276467965158,0.17764634838211238,0.15652733476425076,0.17562863219608016,0.1541086869670648,0.17481674012976672,0.15652847793838104
+0,198000,0.17467522715454845,0.1551744538577995,0.178005326695575,0.15517428045463316,0.1760770760722638,0.15301822039165008,0.17467522088820459,0.15517455753575313
+0,199000,0.17454216749354204,0.1558582559301507,0.17854856135379335,0.1558580131842633,0.17646076763653618,0.15331108539204905,0.17454217628071853,0.15585898316673533
+0,200000,0.17663331176358849,0.15839735459256582,0.1795148498594627,0.158397007917478,0.17736705397778557,0.15576427144328772,0.17663331014998174,0.15839679999311315
+0,201000,0.17585582368468722,0.1562997012443971,0.17849630766556768,0.15629956242481188,0.1767427914464747,0.15424098546064274,0.17585582306506453,0.1563005323777471
+0,202000,0.17400226941342112,0.15400223173644423,0.17643400884901622,0.15400191976877808,0.1743883990466793,0.15182067483645217,0.17400225484177126,0.15400174647101586
+0,203000,0.17397996661708204,0.15515307963067165,0.17705356624243818,0.1551528369487552,0.17527455258111876,0.15314327866476513,0.1739799621200297,0.15515276761226177
+0,204000,0.17704324425172996,0.15677066158877312,0.17939984287909536,0.1567705228747225,0.1774582802309156,0.15449972790717187,0.17704323907838843,0.1567705228088789
+0,205000,0.1778382912783005,0.15775592003781155,0.17999908987920632,0.15775574650224464,0.17801324170935892,0.1557410958218318,0.1778382888620907,0.15775671639244604
+0,206000,0.17576370146010334,0.15738985610995074,0.17815236422430766,0.15738971721684608,0.176675849000967,0.15617367273654778,0.17576371453538467,0.1573905140271447
+0,207000,0.17510360207490178,0.15694414968010692,0.1776471505719623,0.15694404555863917,0.17617117121587916,0.15562012532468691,0.17510361228115776,0.15694491161834448
+0,208000,0.17378006361659215,0.15614124784714287,0.1772113672809575,0.1561413169408565,0.17610820238454108,0.15505795201068281,0.17378006597797535,0.1561414901658145
+0,209000,0.17240142146546977,0.1572590818054684,0.1751741799388865,0.15725897762888333,0.17373431994513117,0.15557973254532198,0.1724014148443242,0.15725904681936176
+0,210000,0.17278712347699127,0.1568436527122984,0.17577171562528837,0.15684351395065652,0.1744704346300181,0.15533058597783977,0.17278712602065283,0.15684316750155536
+0,211000,0.17463756484269438,0.15903203399586194,0.17732020259746073,0.15903186052780188,0.1760909602492724,0.15800343809956374,0.17463756181904277,0.15903175664038058
+0,212000,0.17456819887790018,0.15587994193458501,0.17777499291708543,0.15587983775925748,0.1769796403713601,0.15509685518092733,0.17456819760299613,0.15588073846999395
+0,213000,0.1743987070085789,0.15657496801449167,0.17796400501838014,0.1565747252665124,0.1769705881931936,0.1554284847819417,0.1743987055067376,0.1565757298939902
+0,214000,0.1753209342351788,0.15874582029131107,0.1784402079139744,0.15874564682609504,0.17739657425361455,0.15777050407278992,0.17532093908580398,0.15874640888788077
+0,215000,0.17751708060031596,0.16082774598111674,0.18015849315448873,0.1608278844055784,0.17891068674485697,0.15974510839239922,0.17751708608536676,0.16082823078396524
+0,216000,0.1793573460829957,0.16244449662365495,0.1814624490398606,0.16244432321196833,0.1806089110293452,0.16172089054470856,0.17935734732225794,0.1624447389054702
+0,217000,0.17670367115090418,0.1591777043640531,0.17949433585546137,0.1591774269720796,0.17850793700484802,0.15834258505057988,0.1767036666316363,0.15917753090387557
+0,218000,0.17672122925028122,0.1580345123900816,0.17987323251037113,0.1580342003553845,0.17906949783908713,0.15749478695668145,0.17672123074888693,0.15803399250940972
+0,219000,0.17629342088995395,0.15772429172834462,0.1798348772850801,0.15772408355255446,0.17901343506146497,0.15744098764621017,0.17629342481894358,0.15772422215771292
+0,220000,0.1731413304669448,0.15494692401287652,0.17620035126817046,0.1549468198962135,0.17478674540789452,0.15366020929216948,0.17314132682601102,0.15494775527926186
+0,221000,0.17605283685557516,0.15603001186498852,0.17929885676006757,0.15602973447570773,0.17848426806999718,0.1554201360167759,0.1760528355035814,0.15603008102811536
+0,222000,0.17458862484677184,0.15609822238560755,0.1769361600232926,0.15609791028800601,0.17533274358635334,0.15435814531231162,0.17458862377565743,0.15609777172490139
+0,223000,0.1742082132324806,0.15645129542795938,0.1769515028330806,0.1564511566048454,0.17541601418329866,0.1550748920395401,0.17420821109871237,0.1564512951815486
+0,224000,0.1765739692037109,0.15795833423431263,0.17973978073414598,0.15795826469832291,0.17833964458051785,0.15683655087555987,0.17657396643478945,0.15795906139219276
+0,225000,0.1738143144493085,0.15628428547286916,0.17661068867664542,0.15628407736941544,0.1753898294801164,0.15531963905049312,0.17381431475491937,0.15628400801941406
+0,226000,0.1762816001962036,0.15846611926262702,0.17941006784593405,0.15846601514164602,0.17846156736380575,0.15771431445939194,0.1762816048557971,0.15846594586061166
+0,227000,0.17522865492747797,0.15727117192761633,0.1781440647417426,0.1572710677472375,0.17710426586295033,0.1563916413420324,0.1752286556219253,0.15727196845055014
+0,228000,0.17211210311642053,0.15572010291145041,0.17536043306808818,0.1557199294496801,0.17436452638381691,0.15507807912438343,0.1721121025763142,0.1557195829797523
+0,229000,0.17553841138367549,0.15803835774045646,0.17872123771211212,0.15803818420810123,0.17795693592141895,0.1577683562585117,0.17553841241842336,0.15803842670336854
+0,230000,0.17381980873426134,0.15681379135966478,0.17703108162909573,0.15681354846217008,0.1760009188962732,0.156270497635383,0.17381980846925976,0.15681351383598402
+0,231000,0.17637369826679333,0.15760131185393916,0.17971281523583224,0.1576012077349648,0.1784023322602555,0.15641041740322092,0.17637369996720167,0.15760148480480216
+0,232000,0.17462708755941234,0.15614866140131306,0.17756241915561788,0.15614845322921508,0.17623994015636793,0.15516710952781176,0.17462708866241383,0.156148141484719
+0,233000,0.17270983577073673,0.15544133728152576,0.1758923999655334,0.15544105989459406,0.1743900338201306,0.1542660663969437,0.1727098391671013,0.155442099143704
+0,234000,0.17660796004033746,0.1587219864083358,0.17944538616072028,0.1587219169344596,0.17779406916627338,0.15697373390826613,0.17660796244073207,0.1587220554217594
+0,235000,0.17720003158226277,0.15927705807972267,0.18035999317557888,0.15927691931699903,0.1792366338623968,0.15819996319168902,0.17720003503160503,0.15927806259450586
+0,236000,0.17590552540233811,0.15785073568800168,0.17912104353928784,0.15785045822901134,0.17762767408370014,0.15632270340221965,0.17590553176773654,0.15785156677880482
+0,237000,0.1753985469128817,0.15775242104737297,0.17866034116006546,0.1577520051500045,0.17699428755440838,0.15608083168900444,0.17539854622335388,0.15775276720747203
+0,238000,0.17124126359187958,0.1536500248066928,0.17525909257522215,0.15364981663831667,0.17358966396596953,0.15197822747311324,0.1712412673436038,0.15365019774056707
+0,239000,0.1738585191300958,0.15475711956212,0.17751023130213628,0.15475698074454633,0.17614089187835322,0.15337995405026916,0.17385851589319404,0.154757084644626
+0,240000,0.17306946481256802,0.15356404284313505,0.1762804014816047,0.15356383474496055,0.1747912139005229,0.15240817158618095,0.17306946593634026,0.15356369614352727
+0,241000,0.1759018924304287,0.15749731615577495,0.1791353872211887,0.15749717726481124,0.17764875173914363,0.1559281982454012,0.1759018961712153,0.15749793938806927
+0,242000,0.1735504004619854,0.15580033420194667,0.17704804437236557,0.155800403237184,0.1755181488806845,0.15427112415398797,0.17355040092829205,0.15580123473179217
+0,243000,0.17364371155793612,0.15602048526284523,0.17670804905944806,0.1560202771616864,0.17507054613305392,0.15436022384548975,0.17364370511960195,0.1560209699411827
+0,244000,0.1759991233167937,0.15788406133692906,0.17917640377492383,0.15788413042804103,0.17766577509765882,0.15626360384088606,0.17599912188660913,0.1578847192593874
+0,245000,0.17170675751688666,0.15418334111560758,0.1749894964255509,0.1541831330118192,0.17361443829588374,0.15265745672053138,0.17170675931459628,0.15418379113138747
+0,246000,0.17051139231368242,0.1538076813055888,0.17362664523990767,0.1538074732033341,0.17218359412471038,0.15237737468723087,0.17051140135202064,0.1538077503832334
+0,247000,0.17212489986063384,0.15497858702450826,0.17580681833483738,0.1549784482061136,0.174244115643931,0.15318100400038318,0.17212489807814868,0.15497872529195403
+0,248000,0.17514179586975676,0.1575943834791833,0.1779997786833633,0.1575941753750492,0.17619885366425386,0.15547203000351653,0.17514180749266836,0.15759441784998685
+0,249000,0.1727536704784194,0.1554883120189258,0.1762463759296078,0.155488103973656,0.1746425786928799,0.15390478309081512,0.17275367028582217,0.15548824257969737
+0,250000,0.17199325952889685,0.15448607907275966,0.17525770621445375,0.15448597496129668,0.17357759478031576,0.15272175260580392,0.1719932646274443,0.15448628668577452
+0,251000,0.1696470406837589,0.1521685172858446,0.1727288514636638,0.1521683784076097,0.17102254925009214,0.150396396205383,0.16964704605785463,0.15216792813549224
+0,252000,0.17375401206975533,0.15579960671848053,0.17652010223624726,0.1557995718243715,0.17492480111243036,0.15409711647998242,0.17375402116279964,0.15579967578643697
+0,253000,0.17099538833024797,0.15301693887792073,0.1745193979469754,0.15301669613981553,0.17272746536988343,0.15120615718778654,0.17099538757314625,0.1530166960691218
+0,254000,0.16835126699300285,0.15136336359064245,0.17220304156835498,0.1513631209087441,0.1707631978830213,0.15029174217509048,0.16835126404497452,0.15136270517895897
+0,255000,0.16903635672610806,0.15246321832471785,0.17240735243424155,0.15246335657921534,0.17087876752207132,0.151120625641877,0.1690363518872684,0.1524633913005249
+0,256000,0.17029586586161677,0.153969737370121,0.17393141893661307,0.15396970253578576,0.17254584398129857,0.152854847864922,0.17029587193830475,0.15396987588757344
+0,257000,0.1728369900566128,0.15497848310168447,0.1760313395741329,0.15497834428189514,0.17446301573683073,0.15342183644853513,0.17283698428596272,0.15497903710831334
+0,258000,0.17463867894535084,0.1561643888873564,0.17769700639361824,0.156164353994063,0.17604969527380873,0.15458117167573796,0.17463868028182955,0.15616445790139788
+0,259000,0.17284604840479517,0.15542793075557423,0.17579513654609652,0.1554277572947409,0.17459753779658593,0.15448524748059275,0.17284605016156154,0.15542834625518318
+0,260000,0.17157937730130116,0.1537053482998471,0.17507661624120305,0.15370517484408927,0.17375939625824674,0.15272597895601503,0.17157937467887208,0.15370590230729647
+0,261000,0.1732293142420613,0.15596478052895446,0.17651667644961067,0.15596464181892622,0.1748359509225309,0.15450229142949626,0.17322931789113039,0.15596471111498567
+0,262000,0.17160775545521462,0.1543836422743564,0.1750826430105667,0.15438336482150225,0.17374653905336618,0.1532909236436,0.17160775258622252,0.15438426559694543
+0,263000,0.1721170739174468,0.1554773998596854,0.17503655221864847,0.15547729561456908,0.17330653287490907,0.15379081031794206,0.1721170715723635,0.15547750360105503
+0,264000,0.1702445932420224,0.1522557808181198,0.17390819824312465,0.15225574598820737,0.17240805670246181,0.15083510478614937,0.1702445950406237,0.15225636949722163
+0,265000,0.17340926942829574,0.15537042480346433,0.17685671869612907,0.15537011270454867,0.17523000230114058,0.15375138751314352,0.17340927519545649,0.15537080559291638
+0,266000,0.16935576332763214,0.1526466831904394,0.172839320036521,0.15264657907247733,0.17105067365424928,0.1510501634456297,0.1693557736450661,0.15264661368580815
+0,267000,0.17466781645977533,0.1578179641813509,0.1780767683441306,0.15781768672053356,0.176318151049323,0.15609912276527924,0.17466781769212372,0.15781855290857416
+0,268000,0.17524640106040743,0.15753365567569155,0.17840428807734912,0.15753351691225576,0.176371875354838,0.15543925849791543,0.17524640815864978,0.1575332397795334
+0,269000,0.1722584303157027,0.15534340383461892,0.17550761679574306,0.15534326501377244,0.1735970738443112,0.15350116704082986,0.17225843235580446,0.15534347287664532
+0,270000,0.1703739664183304,0.15378280828599183,0.1738084310874105,0.1537825308334425,0.1720390293608455,0.15214180785474746,0.1703739605262054,0.153783431510773
+0,271000,0.1723775819569216,0.15512398040564826,0.17569702539369264,0.1551237375152802,0.1737373075740919,0.1531879670815307,0.17237758921091595,0.15512384136876
+0,272000,0.17389887658870318,0.1561896083314734,0.17722748486452664,0.15618943493032922,0.17545908443563113,0.15441433493228376,0.17389887732962916,0.15618998921178598
+0,273000,0.17201881297642702,0.1551630912819852,0.17559941183125266,0.15516284853954307,0.17384081341560426,0.15355957375669188,0.17201880327096553,0.15516236358810934
+0,274000,0.1718584597378654,0.15490005320227496,0.1754008336278718,0.15489984509825058,0.17371868064398457,0.15341629369496518,0.1718584602629239,0.15489946401567115
+0,275000,0.17251618617497236,0.1546081236079923,0.1755934602202011,0.15460801936512097,0.17361285913437713,0.1527423647044424,0.17251618457647686,0.1546082966282659
+0,276000,0.17353591789206688,0.15599938817595854,0.17698409957454111,0.15599918007155728,0.17504254193266255,0.15420263656298588,0.1735359135029737,0.15599990760228719
+0,277000,0.17297265689562996,0.15489260527599413,0.1766577365673264,0.1548923970297904,0.17473643864109187,0.15321588867761538,0.1729726495552079,0.15489260489217024
+0,278000,0.17394719834166517,0.15590696277691124,0.17738056252021306,0.15590685865860257,0.17532570977124073,0.15410030355971407,0.17394720545580455,0.1559073089671998
+0,279000,0.17379550572011887,0.15590748247136693,0.17679884877479524,0.15590734364960493,0.17468722299369363,0.15397198892065858,0.17379549573707959,0.1559081750708368
+0,280000,0.17364975494559504,0.15567399410909252,0.17669400388393822,0.1556738207057743,0.17479671806089025,0.15404404465630936,0.1736497546414445,0.1556736128101891
+0,281000,0.17135475673313197,0.15379832791438436,0.1746353226889954,0.15379818909881385,0.1724775932324462,0.15188223399262635,0.17135476179269382,0.15379839695512984
+0,282000,0.17209989691479027,0.15439902340277223,0.17543795829111425,0.15439884987596655,0.17336282587357338,0.15248833359403674,0.17209989591453406,0.1543987112456373
+0,283000,0.1739556050569292,0.15577636181589588,0.17694239614133034,0.1557761883535676,0.1748517880178415,0.153747611514487,0.17395560425494794,0.15577653490436102
+0,284000,0.17228121724053125,0.1547014841607935,0.1756208033085535,0.15470127611417567,0.17368047653853308,0.15298011399341782,0.17228121611518743,0.15470113747444367
+0,285000,0.172448322616677,0.15423163246366275,0.17573064063206922,0.15423114707983743,0.1738530674620274,0.15252051617794107,0.17244832095314666,0.15423128557823212
+0,286000,0.173078832742516,0.15471395540168242,0.17636839978512747,0.1547138165841782,0.17447244456864963,0.1530301373042252,0.1730788304982003,0.15471405905345353
+0,287000,0.1734904009921569,0.1553667526632831,0.17705604983460785,0.15536650991958437,0.17520839802321125,0.15378609897855158,0.17349040840766008,0.15536758390783253
+0,288000,0.17402085516718957,0.1556967887198324,0.17739569279830725,0.15569668454666558,0.17566167466120233,0.15419331781674714,0.17402085306785017,0.15569668448641094
+0,289000,0.17505102726083338,0.1570589885702551,0.178277490756494,0.15705891903145747,0.17652755264731054,0.15550861214623454,0.1750510171955299,0.1570589882941454
+0,290000,0.17387559664368257,0.1562272298029384,0.17735437073713115,0.1562270909792514,0.17549162599832366,0.15458359662609242,0.17387560017394785,0.15622698703114896
+0,291000,0.17368031858142013,0.15649286599035214,0.17702405599441332,0.15649286579692695,0.1751477168204873,0.15475112621594958,0.17368032175902576,0.15649286576641086
+0,292000,0.17346641132869545,0.15646546414856177,0.1767005116524925,0.1564653599009515,0.1748199635175456,0.1546557216512048,0.17346641236349797,0.1564654986001679
+0,293000,0.1739137745032538,0.1562146893324422,0.17721465017118596,0.15621461979641824,0.1752367017890578,0.15424981921495864,0.1739137796820469,0.15621465435283743
+0,294000,0.17328845189646402,0.15547836984029023,0.17650534487566727,0.15547809238333382,0.17445321443518638,0.1534465363217802,0.17328845386772712,0.15547819626323353
+0,295000,0.17390652671622725,0.15625030149227107,0.17724786818861482,0.15624998946139118,0.17520175206778682,0.1541712507460333,0.17390652914423133,0.15625037060413288
+0,296000,0.1742119758896752,0.15667813242981188,0.1775002828479711,0.15667792432431715,0.17546691393883945,0.15455616002102276,0.17421198020341297,0.1566777511646455
+0,297000,0.17416647525143644,0.15656897491716112,0.17739141907470088,0.15656873217013087,0.17536781461765044,0.15442077837517876,0.17416647332223884,0.15656893999738328
+0,298000,0.17360145300769486,0.15592272502730967,0.17685976326078517,0.15592258620973282,0.17478934219542963,0.15384093755022432,0.1736014597500865,0.15592279402913975
+0,299000,0.1733600444673315,0.1560664207369288,0.17663297973991332,0.15606642054543532,0.1746335274649664,0.15408585777252926,0.17336004925800755,0.15606666297000446
+0,300000,0.17330970458935,0.1558961545468968,0.17652117364461456,0.155895946374847,0.17451593293361276,0.15393492178693974,0.1733097080386331,0.1558967430795344
+0,301000,0.17352696649173338,0.1557523201380058,0.17686296409806584,0.15575218132070087,0.17485600586858402,0.1538165841001793,0.17352696567090797,0.15575218126556462
+0,302000,0.17340273471473083,0.15536845012875877,0.1768334007062686,0.15536824203096716,0.17476541960440234,0.15337666304122924,0.17340274433608632,0.15536848450199697
+0,303000,0.17367763847133272,0.15556275812442077,0.17701613835414168,0.15556272323209483,0.1749958514727897,0.1536561561569871,0.1736776385464175,0.155562584612035
+0,304000,0.1741097394065413,0.1558667086200015,0.17752965899659984,0.15586639659347917,0.17551325255239952,0.1539826240720874,0.1741097429110507,0.1558674011638905
+0,305000,0.1737718501040226,0.15587419140266556,0.1772192450786923,0.1558740525150228,0.17518997271764225,0.1539133397099952,0.17377185622748434,0.1558748492365539
+0,306000,0.17373238850297848,0.1559110506815031,0.17710128845347017,0.15591084250895507,0.1750600481862043,0.1539006953152985,0.17373239163267976,0.15591146604482717
+0,307000,0.1738492454164261,0.1558385098869228,0.17719694567496355,0.15583847499415343,0.175181395909475,0.15393073008395675,0.17384924559364945,0.15583920248276048
+0,308000,0.1739268170023607,0.1558617202141904,0.17725299008835652,0.155861581328911,0.1752232919910577,0.15395678100410326,0.1739268132597281,0.15586217025908122
+0,309000,0.17391086578376827,0.15595778285843928,0.1772645645889755,0.15595764409741913,0.17527891557307,0.15406760134034464,0.1739108660186376,0.1559577135076391
+0,310000,0.17409822046747406,0.1560759127544802,0.17741349937321832,0.15607573929400956,0.17541108367858005,0.1542072439735276,0.1740982211039244,0.15607563540492456
+0,311000,0.17404516429535855,0.1561030722951786,0.1773900311626266,0.15610300268768318,0.17540679629823497,0.15423613555066915,0.17404516502192446,0.15610369554863157
+0,312000,0.17402674934842852,0.1560819058532155,0.17738250063369812,0.1560816977491495,0.17539562768308598,0.15421299457789445,0.17402674439648083,0.1560817324484565
+0,-1,0.17401517264360783,0.15607722915548913,0.177374284799553,0.15607712498031495,0.17538593345951303,0.15419629704477966,0.17401516854579607,0.15607774857890538

modules.json

@@ -0,0 +1,20 @@
+[
+  {
+    "idx": 0,
+    "name": "0",
+    "path": "",
+    "type": "sentence_transformers.models.Transformer"
+  },
+  {
+    "idx": 1,
+    "name": "1",
+    "path": "1_Pooling",
+    "type": "sentence_transformers.models.Pooling"
+  },
+  {
+    "idx": 2,
+    "name": "2",
+    "path": "2_Normalize",
+    "type": "sentence_transformers.models.Normalize"
+  }
+]

pytorch_model.bin

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

sentence_bert_config.json

@@ -0,0 +1,4 @@
+{
+  "max_seq_length": 256,
+  "do_lower_case": false
+}

special_tokens_map.json

@@ -0,0 +1 @@
+{"unk_token": "[UNK]", "sep_token": "[SEP]", "pad_token": "[PAD]", "cls_token": "[CLS]", "mask_token": "[MASK]"}

tokenizer_config.json

@@ -0,0 +1 @@
+{"do_lower_case": true, "unk_token": "[UNK]", "sep_token": "[SEP]", "pad_token": "[PAD]", "cls_token": "[CLS]", "mask_token": "[MASK]", "tokenize_chinese_chars": true, "strip_accents": null, "name_or_path": "/home/hephaestus/.cache/torch/sentence_transformers/sentence-transformers_all-MiniLM-L6-v2/", "do_basic_tokenize": true, "never_split": null, "model_max_length": 512, "special_tokens_map_file": "/home/hephaestus/.cache/torch/sentence_transformers/sentence-transformers_all-MiniLM-L6-v2/special_tokens_map.json", "tokenizer_class": "BertTokenizer"}