Upload folder using huggingface_hub

.gitattributes

@@ -33,3 +33,5 @@ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
 *.zip filter=lfs diff=lfs merge=lfs -text
 *.zst filter=lfs diff=lfs merge=lfs -text
 *tfevents* filter=lfs diff=lfs merge=lfs -text
+eval/Information-Retrieval_evaluation_train_predictions_cosine.jsonl filter=lfs diff=lfs merge=lfs -text
+eval/Information-Retrieval_evaluation_test_predictions_cosine.jsonl filter=lfs diff=lfs merge=lfs -text

1_Pooling/config.json

@@ -0,0 +1,10 @@
+{
+    "word_embedding_dimension": 768,
+    "pooling_mode_cls_token": true,
+    "pooling_mode_mean_tokens": false,
+    "pooling_mode_max_tokens": false,
+    "pooling_mode_mean_sqrt_len_tokens": false,
+    "pooling_mode_weightedmean_tokens": false,
+    "pooling_mode_lasttoken": false,
+    "include_prompt": true
+}

README.md

@@ -1,18 +1,297 @@
 ---
-license: mit
-datasets:
-- redis/sentencepairs-v3-triplets
 language:
 - en
-base_model:
-- sentence-transformers/all-MiniLM-L6-v2
+license: apache-2.0
+tags:
+- biencoder
+- sentence-transformers
+- text-classification
+- sentence-pair-classification
+- semantic-similarity
+- semantic-search
+- retrieval
+- reranking
+- generated_from_trainer
+- dataset_size:8000000
+- loss:ArcFaceInBatchLoss
+base_model: sentence-transformers/all-MiniLM-L6-v2
+widget:
+- source_sentence: '"How much would I need to narrate a ""Let''s Play"" video in order
+    to make money from it on YouTube?"'
+  sentences:
+  - How much money do people make from YouTube videos with 1 million views?
+  - '"How much would I need to narrate a ""Let''s Play"" video in order to make money
+    from it on YouTube?"'
+  - '"Does the sentence, ""I expect to be disappointed,"" make sense?"'
+- source_sentence: '"I appreciate that.'
+  sentences:
+  - '"How is the Mariner rewarded in ""The Rime of the Ancient Mariner"" by Samuel
+    Taylor Coleridge?"'
+  - '"I appreciate that.'
+  - I can appreciate that.
+- source_sentence: '"""It is very easy to defeat someone, but too hard to win some
+    one"". What does the previous sentence mean?"'
+  sentences:
+  - '"How can you use the word ""visceral"" in a sentence?"'
+  - '"""It is very easy to defeat someone, but too hard to win some one"". What does
+    the previous sentence mean?"'
+  - '"What does ""The loudest one in the room is the weakest one in the room."" Mean?"'
+- source_sentence: '" We condemn this raid which is in our view illegal and morally
+    and politically unjustifiable , " London-based NCRI official Ali Safavi told Reuters
+    by telephone .'
+  sentences:
+  - 'London-based NCRI official Ali Safavi told Reuters : " We condemn this raid ,
+    which is in our view illegal and morally and politically unjustifiable . "'
+  - The social awkwardness is complicated by the fact that Marianne is a white girl
+    living with a black family .
+  - art's cause, this in my opinion
+- source_sentence: '"If you click ""like"" on an old post that someone made on your
+    wall yet you''re no longer Facebook friends, will they still receive a notification?"'
+  sentences:
+  - '"Is there is any two wheeler having a gear box which has the feature ""automatic
+    neutral"" when the engine is off while it is in gear?"'
+  - '"If you click ""like"" on an old post that someone made on your wall yet you''re
+    no longer Facebook friends, will they still receive a notification?"'
+  - '"If your teenage son posted ""La commedia e finita"" on his Facebook wall, would
+    you be concerned?"'
+datasets:
+- redis/langcache-sentencepairs-v2
 pipeline_tag: sentence-similarity
-metrics:
-- accuracy
-- precision
 library_name: sentence-transformers
-tags:
-- semantic
-- cache
-- search
----
+metrics:
+- cosine_accuracy@1
+- cosine_precision@1
+- cosine_recall@1
+- cosine_ndcg@10
+- cosine_mrr@1
+- cosine_map@100
+model-index:
+- name: Redis fine-tuned BiEncoder model for semantic caching on LangCache
+  results:
+  - task:
+      type: custom-information-retrieval
+      name: Custom Information Retrieval
+    dataset:
+      name: test
+      type: test
+    metrics:
+    - type: cosine_accuracy@1
+      value: 0.6162
+      name: Cosine Accuracy@1
+    - type: cosine_precision@1
+      value: 0.6162
+      name: Cosine Precision@1
+    - type: cosine_recall@1
+      value: 0.5987
+      name: Cosine Recall@1
+    - type: cosine_ndcg@10
+      value: 0.7883
+      name: Cosine Ndcg@10
+    - type: cosine_mrr@1
+      value: 0.6162
+      name: Cosine Mrr@1
+    - type: cosine_map@100
+      value: 0.7416
+      name: Cosine Map@100
+---
+
+# Redis fine-tuned BiEncoder model for semantic caching on LangCache
+
+This is a [sentence-transformers](https://www.SBERT.net) model finetuned from [sentence-transformers/all-MiniLM-L6-v2](https://huggingface.co/sentence-transformers/all-MiniLM-L6-v2) on the [LangCache Sentence Pairs (all)](https://huggingface.co/datasets/redis/langcache-sentencepairs-v2) dataset. It maps sentences & paragraphs to a 384-dimensional dense vector space and can be used for sentence pair similarity.
+
+## Model Details
+
+### Model Description
+- **Model Type:** Sentence Transformer
+- **Base model:** [sentence-transformers/all-MiniLM-L6-v2](https://huggingface.co/sentence-transformers/all-MiniLM-L6-v2)
+- **Maximum Sequence Length:** 512 tokens
+- **Output Dimensionality:** 384 dimensions
+- **Similarity Function:** Cosine Similarity
+- **Training Dataset:**
+    - [LangCache Sentence Pairs (all)](https://huggingface.co/datasets/redis/langcache-sentencepairs-v2)
+- **Language:** en
+- **License:** apache-2.0
+
+### Model Sources
+
+- **Documentation:** [Sentence Transformers Documentation](https://sbert.net)
+- **Repository:** [Sentence Transformers on GitHub](https://github.com/UKPLab/sentence-transformers)
+- **Hugging Face:** [Sentence Transformers on Hugging Face](https://huggingface.co/models?library=sentence-transformers)
+
+### Full Model Architecture
+
+```
+SentenceTransformer(
+  (0): Transformer({'max_seq_length': 512, 'do_lower_case': True, 'architecture': '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, 'pooling_mode_weightedmean_tokens': False, 'pooling_mode_lasttoken': False, 'include_prompt': True})
+)
+```
+
+## Usage
+
+### Direct Usage (Sentence Transformers)
+
+First install the Sentence Transformers library:
+
+```bash
+pip install -U sentence-transformers
+```
+
+Then you can load this model and run inference.
+```python
+from sentence_transformers import SentenceTransformer
+
+# Download from the 🤗 Hub
+model = SentenceTransformer("redis/langcache-embed-v3.1")
+# Run inference
+sentences = [
+    '"If you click ""like"" on an old post that someone made on your wall yet you\'re no longer Facebook friends, will they still receive a notification?"',
+    '"If you click ""like"" on an old post that someone made on your wall yet you\'re no longer Facebook friends, will they still receive a notification?"',
+    '"If your teenage son posted ""La commedia e finita"" on his Facebook wall, would you be concerned?"',
+]
+embeddings = model.encode(sentences)
+print(embeddings.shape)
+# [3, 384]
+
+# Get the similarity scores for the embeddings
+similarities = model.similarity(embeddings, embeddings)
+print(similarities)
+```
+
+<!--
+### Direct Usage (Transformers)
+
+<details><summary>Click to see the direct usage in Transformers</summary>
+
+</details>
+-->
+
+<!--
+### Downstream Usage (Sentence Transformers)
+
+You can finetune this model on your own dataset.
+
+<details><summary>Click to expand</summary>
+
+</details>
+-->
+
+<!--
+### Out-of-Scope Use
+
+*List how the model may foreseeably be misused and address what users ought not to do with the model.*
+-->
+
+## Evaluation
+
+### Metrics
+
+#### Custom Information Retrieval
+
+* Dataset: `test`
+* Evaluated with <code>ir_evaluator.CustomInformationRetrievalEvaluator</code>
+
+| Metric | Value |
+|:-------------------------------------|:-----------|
+| cosine_accuracy@1 | 0.6162 |
+| cosine_precision@1 | 0.6162 |
+| cosine_recall@1 | 0.5987 |
+| **cosine_ndcg@10** | **0.7883** |
+| cosine_mrr@1 | 0.6162 |
+| cosine_map@100 | 0.7416 |
+
+<!--
+## Bias, Risks and Limitations
+
+*What are the known or foreseeable issues stemming from this model? You could also flag here known failure cases or weaknesses of the model.*
+-->
+
+<!--
+### Recommendations
+
+*What are recommendations with respect to the foreseeable issues? For example, filtering explicit content.*
+-->
+
+## Training Details
+
+### Training Dataset
+
+#### LangCache Sentence Pairs (all)
+
+* Dataset: [LangCache Sentence Pairs (all)](https://huggingface.co/datasets/redis/langcache-sentencepairs-v2)
+* Size: ~8,000,000 training samples
+* Columns: <code>anchor</code>, <code>positive</code>, and <code>negative</code>
+* Loss: <code>losses.ArcFaceInBatchLoss</code> with these parameters:
+  ```json
+  {
+      "scale": 20.0,
+      "similarity_fct": "cos_sim",
+      "gather_across_devices": false
+  }
+  ```
+
+### Evaluation Dataset
+
+#### LangCache Sentence Pairs (all)
+
+* Dataset: [LangCache Sentence Pairs (all)](https://huggingface.co/datasets/redis/langcache-sentencepairs-v2)
+* Columns: <code>anchor</code>, <code>positive</code>, and <code>negative</code>
+* Loss: <code>losses.ArcFaceInBatchLoss</code> with these parameters:
+  ```json
+  {
+      "scale": 20.0,
+      "similarity_fct": "cos_sim",
+      "gather_across_devices": false
+  }
+  ```
+
+### Training Logs
+
+| Epoch | Step | test_cosine_ndcg@10 |
+|:-----:|:----:|:-------------------:|
+| 4.0   | 40000| 0.7880              |
+
+
+### Framework Versions
+- Python: 3.12.3
+- Sentence Transformers: 5.1.0
+- Transformers: 4.56.0
+- PyTorch: 2.8.0+cu128
+- Accelerate: 1.10.1
+- Datasets: 4.0.0
+- Tokenizers: 0.22.0
+
+## Citation
+
+### BibTeX
+
+#### Sentence Transformers
+```bibtex
+@inproceedings{reimers-2019-sentence-bert,
+    title = "Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks",
+    author = "Reimers, Nils and Gurevych, Iryna",
+    booktitle = "Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing",
+    month = "11",
+    year = "2019",
+    publisher = "Association for Computational Linguistics",
+    url = "https://arxiv.org/abs/1908.10084",
+}
+```
+
+<!--
+## Glossary
+
+*Clearly define terms in order to be accessible across audiences.*
+-->
+
+<!--
+## Model Card Authors
+
+*Lists the people who create the model card, providing recognition and accountability for the detailed work that goes into its construction.*
+-->
+
+<!--
+## Model Card Contact
+
+*Provides a way for people who have updates to the Model Card, suggestions, or questions, to contact the Model Card authors.*
+-->

config.json

@@ -1,25 +1,45 @@
 {
   "architectures": [
-    "BertModel"
+    "ModernBertModel"
   ],
-  "attention_probs_dropout_prob": 0.1,
-  "classifier_dropout": null,
+  "attention_bias": false,
+  "attention_dropout": 0.0,
+  "bos_token_id": 50281,
+  "classifier_activation": "gelu",
+  "classifier_bias": false,
+  "classifier_dropout": 0.0,
+  "classifier_pooling": "cls",
+  "cls_token_id": 50281,
+  "decoder_bias": true,
+  "deterministic_flash_attn": false,
   "dtype": "bfloat16",
+  "embedding_dropout": 0.0,
+  "eos_token_id": 50282,
+  "global_attn_every_n_layers": 3,
+  "global_rope_theta": 160000.0,
   "gradient_checkpointing": false,
-  "hidden_act": "gelu",
-  "hidden_dropout_prob": 0.1,
-  "hidden_size": 384,
+  "hidden_activation": "gelu",
+  "hidden_size": 768,
+  "initializer_cutoff_factor": 2.0,
   "initializer_range": 0.02,
-  "intermediate_size": 1536,
-  "layer_norm_eps": 1e-12,
-  "max_position_embeddings": 512,
-  "model_type": "bert",
+  "intermediate_size": 1152,
+  "layer_norm_eps": 1e-05,
+  "local_attention": 128,
+  "local_rope_theta": 10000.0,
+  "max_position_embeddings": 8192,
+  "mlp_bias": false,
+  "mlp_dropout": 0.0,
+  "model_type": "modernbert",
+  "norm_bias": false,
+  "norm_eps": 1e-05,
   "num_attention_heads": 12,
-  "num_hidden_layers": 6,
-  "pad_token_id": 0,
+  "num_hidden_layers": 22,
+  "pad_token_id": 50283,
   "position_embedding_type": "absolute",
+  "repad_logits_with_grad": false,
+  "sep_token_id": 50282,
+  "sparse_pred_ignore_index": -100,
+  "sparse_prediction": false,
   "transformers_version": "4.56.0",
-  "type_vocab_size": 2,
-  "use_cache": true,
-  "vocab_size": 30522
+  "vocab_size": 50368
 }

config_sentence_transformers.json

@@ -0,0 +1,14 @@
+{
+  "__version__": {
+    "sentence_transformers": "5.1.0",
+    "transformers": "4.56.0",
+    "pytorch": "2.8.0+cu128"
+  },
+  "prompts": {
+    "query": "",
+    "document": ""
+  },
+  "default_prompt_name": null,
+  "similarity_fn_name": "cosine",
+  "model_type": "SentenceTransformer"
+}

eval/Information-Retrieval_evaluation_train_results.csv

@@ -0,0 +1,26 @@
+epoch,steps,cosine-Accuracy@1,cosine-Precision@1,cosine-Recall@1,cosine-MRR@1,cosine-NDCG@10,cosine-MAP@100
+0.04407810640454886,1000,0.5641047845854081,0.5641047845854081,0.5420075143278217,0.5641047845854081,0.7547005658580423,0.7013489801008295
+0.08815621280909772,2000,0.5767915133145702,0.5767915133145702,0.5550045555344322,0.5767915133145702,0.7588726423295218,0.7085790584267526
+0.1322343192136466,3000,0.5814245507685646,0.5814245507685646,0.5596953255423703,0.5814245507685646,0.7605122839711819,0.7109747049659543
+0.17631242561819543,4000,0.5873132712708379,0.5873132712708379,0.5654083741305002,0.5873132712708379,0.7625947001056624,0.7140079341728082
+0.2203905320227443,5000,0.5867936782853431,0.5867936782853431,0.56521239272863,0.5867936782853431,0.76185055455356,0.7132663431182481
+0.2644686384272932,6000,0.5838493180342066,0.5838493180342066,0.5624946327517231,0.5838493180342066,0.7597401653500253,0.7112106206129652
+0.308546744831842,7000,0.5901710326910586,0.5901710326910586,0.5682880945399889,0.5901710326910586,0.7635608385281774,0.7155176748551513
+0.35262485123639087,8000,0.5898246373673955,0.5898246373673955,0.5682967544230805,0.5898246373673955,0.7611978142183728,0.7138609063229018
+0.39670295764093977,9000,0.5895215414591903,0.5895215414591903,0.5679164412239753,0.5895215414591903,0.7617932133277703,0.7139831934528812
+0.4407810640454886,10000,0.5881359601645377,0.5881359601645377,0.5665553962647489,0.5881359601645377,0.7602922904199031,0.712380212912978
+0.48485917045003746,11000,0.5907339250920113,0.5907339250920113,0.568663665422163,0.5907339250920113,0.7649816463653468,0.7165369880029958
+0.5289372768545864,12000,0.5899545356137692,0.5899545356137692,0.5678518013823275,0.5899545356137692,0.7652473532035139,0.7166512704656852
+0.5730153832591351,13000,0.589218445550985,0.589218445550985,0.56728426975829,0.589218445550985,0.7643522832991124,0.7158728959947424
+0.617093489663684,14000,0.5902576315219744,0.5902576315219744,0.568303558616938,0.5902576315219744,0.7666207236395032,0.718019062444165
+0.661171596068233,15000,0.5899112361983113,0.5899112361983113,0.567773140777579,0.5899112361983113,0.7645624613143156,0.7158583151278957
+0.7052497024727817,16000,0.5879194630872483,0.5879194630872483,0.5659589468168165,0.5879194630872483,0.7630612747696168,0.7144988862492601
+0.7493278088773306,17000,0.5878761636717904,0.5878761636717904,0.5661284846471034,0.5878761636717904,0.7634132602439325,0.7145758265494735
+0.7934059152818795,18000,0.5922927040484953,0.5922927040484953,0.5702025988132289,0.5922927040484953,0.7667446667018397,0.7183031506934395
+0.8374840216864283,19000,0.5898679367828534,0.5898679367828534,0.5678359249299929,0.5898679367828534,0.7657026758221323,0.7166969567865545
+0.8815621280909772,20000,0.5881359601645377,0.5881359601645377,0.5665550354362868,0.5881359601645377,0.7646904878307484,0.7159719708044094
+0.9256402344955261,21000,0.5903009309374323,0.5903009309374323,0.5684244361517581,0.5903009309374323,0.7655673529823176,0.7171081709136802
+0.9697183409000749,22000,0.5894349426282746,0.5894349426282746,0.567662005611237,0.5894349426282746,0.7642907156423797,0.7160715981380462
+1.0137964473046237,23000,0.5905174280147218,0.5905174280147218,0.5688314506570623,0.5905174280147218,0.7640828903941609,0.7163084930675497
+1.0578745537091727,24000,0.5906473262610955,0.5906473262610955,0.5690281537158567,0.5906473262610955,0.7654364489485854,0.7168884488461982
+1.1019526601137215,25000,0.5908638233383849,0.5908638233383849,0.5689674829872925,0.5908638233383849,0.76443644777329,0.7161542056051806

eval/binary_classification_evaluation_test_results.csv

@@ -0,0 +1,643 @@
+epoch,steps,cosine_accuracy,cosine_accuracy_threshold,cosine_f1,cosine_precision,cosine_recall,cosine_f1_threshold,cosine_ap,cosine_mcc
+0.04581481651165987,1000,0.7969074990728947,0.7840691944081263,0.712874908558888,0.8710614525139665,0.8197946584384748,0.598780200009462
+0.09162963302331974,2000,0.830331661856468,0.8147179743003113,0.7569926157977176,0.8819739292364991,0.8662310681521763,0.6598357277249484
+0.1374444495349796,3000,0.843117653697941,0.8259149010681142,0.7793787177792465,0.8783612662942272,0.8856514455018414,0.6825206361112724
+0.18325926604663947,4000,0.8488253978491156,0.8325931580043023,0.7792751834773007,0.8937430167597765,0.8944777204815105,0.6941710994181974
+0.22907408255829936,5000,0.85790296834943,0.8418026932390293,0.7907897751448303,0.8998510242085661,0.9070712318204464,0.7116954843121313
+0.2748888990699592,6000,0.8610148175617935,0.8464308930234193,0.8011240812797233,0.8971694599627561,0.9104688644928057,0.7209013274696875
+0.3207037155816191,7000,0.8668031795682107,0.8502372373443686,0.8158633438313022,0.8876350093109869,0.9162962632058083,0.7292817349930227
+0.36651853209327895,8000,0.8687380080940327,0.8527078799215784,0.8245729989216266,0.8828305400372439,0.9148546819755364,0.734719934909555
+0.4123333486049388,9000,0.8712371616065526,0.8543876567020251,0.8207081103334706,0.890949720670391,0.9193988459256152,0.7369802206204675
+0.4581481651165987,10000,0.8730591251350349,0.8580024279104136,0.8130981359831938,0.9081564245810055,0.9238415421309374,0.7424253304925231
+0.5039629816282586,11000,0.8765901871946599,0.8602959529327865,0.8251367989056088,0.8985847299813781,0.9237856150545543,0.7476190888363127
+0.5497777981399184,12000,0.872091710872124,0.8568851792250967,0.81578504326745,0.9023463687150838,0.9221945832551963,0.74070312813598
+0.5955926146515783,13000,0.8777027135970075,0.8633729741294774,0.8281287409788965,0.9017504655493482,0.9281215330230151,0.7532489979310696
+0.6414074311632382,14000,0.87821866787056,0.86405198586723,0.8256030943575476,0.9062569832402234,0.9300969521837619,0.7541692585552598
+0.687222247674898,15000,0.8793956885571016,0.8653078377810465,0.8165774340670235,0.9202234636871508,0.9308661223864206,0.7557525612390184
+0.7330370641865579,16000,0.8791215878492769,0.8644565673520773,0.8147122800079099,0.9206703910614525,0.931437360078636,0.7541195194853069
+0.7788518806982178,17000,0.8797504071201689,0.8661767038544917,0.8221419251229549,0.915195530726257,0.9320128097585129,0.7576362281698272
+0.8246666972098776,18000,0.8839425355927831,0.8689767190037899,0.8429621848739496,0.8966480446927374,0.934034374733258,0.7645654805832027
+0.8704815137215376,19000,0.8850550619951307,0.870778344462555,0.8223921607574404,0.9252141527001863,0.9346996182061886,0.7659452045441075
+0.9162963302331975,20000,0.8846680962899663,0.8695404143045602,0.8339488442073588,0.9083054003724395,0.9366248300035195,0.7645148958702109
+0.9621111467448573,21000,0.8861675883974782,0.8717812582957261,0.8305513404147699,0.9173184357541899,0.9373369693980206,0.7681775841915154
+1.0079259632565172,22000,0.8873446090840199,0.8724995904697767,0.8532270122103165,0.8926629422718808,0.9350288888042443,0.7718532808627722
+1.053740779768177,23000,0.8898276390254913,0.8757576305838505,0.851553428802646,0.9013780260707634,0.9391206736621871,0.7770704621476076
+0.04581481651165987,1000,0.7378952290353268,0.733899785595172,0.6397618717984217,0.8605214152700186,0.726459460828728,0.4929022435202912
+0.09162963302331974,2000,0.7910385192112349,0.7780661364587693,0.7067680608365019,0.8653631284916201,0.8145434577612224,0.5869899820206377
+0.1374444495349796,3000,0.8054046210154625,0.7927667629769851,0.7153002517080187,0.8890502793296089,0.8321115370215039,0.615103533991255
+0.04581481651165987,1000,0.8253333548314281,0.8073915390912099,0.7583014361893545,0.8632774674115457,0.8687688842096997,0.6473785806125635
+0.09162963302331974,2000,0.8317344125376889,0.8146419868305076,0.7599883912160201,0.8777653631284916,0.8836496288602802,0.6601196331455618
+0.1374444495349796,3000,0.8385063123780655,0.8211355202871029,0.7713986448888743,0.8777281191806331,0.8910586569141655,0.673089157886339
+0.18325926604663947,4000,0.8383128295254832,0.8185175977554427,0.782208797176215,0.8583612662942272,0.8914697176097324,0.6706334530669843
+0.22907408255829936,5000,0.8397155802067042,0.82368752046038,0.7663919971784924,0.8902420856610801,0.8977915325266748,0.6769183163806314
+0.2748888990699592,6000,0.8351687331710227,0.8175567552359013,0.7744278242329347,0.8657728119180633,0.8763061366601225,0.6675120708038325
+0.3207037155816191,7000,0.8416987794456716,0.8230805414728479,0.773249533536286,0.8797765363128491,0.8997033274417252,0.6767261042126822
+0.36651853209327895,8000,0.845213717934248,0.8243231183851221,0.7914253401418828,0.8600744878957169,0.8970778981972549,0.6819837954161346
+0.4123333486049388,9000,0.8460037729156253,0.8241890124849984,0.7939400213962798,0.8568342644320298,0.9020963934157639,0.6822909403887255
+0.4581481651165987,10000,0.8474065235968462,0.8268449710018977,0.7892865607963973,0.8681564245810056,0.9031784294200274,0.6857504190075001
+0.5039629816282586,11000,0.8495348349752503,0.8294175539053413,0.7982090580334079,0.8631657355679702,0.9020970129895329,0.6916868666862398
+0.5497777981399184,12000,0.8450363586527144,0.8247583854462762,0.7885046538487669,0.8645065176908753,0.9005345235825847,0.682147784498722
+0.5955926146515783,13000,0.8465358507602264,0.8272280701754385,0.7819568822553897,0.8780633147113595,0.903446381140671,0.6851632004706295
+0.6414074311632382,14000,0.8407636123248577,0.8244417420116673,0.7825286894844257,0.8710986964618249,0.8937674013498922,0.6805278814081608
+0.687222247674898,15000,0.8465519743312749,0.8292346830612677,0.7887678967533777,0.8740782122905028,0.9040320230793574,0.6896593574692383
+0.7330370641865579,16000,0.8471324228890215,0.830358085982888,0.7873597756410257,0.8783240223463687,0.9063686252401215,0.6913365421341634
+0.7788518806982178,17000,0.8489543864175038,0.8291546211125712,0.7828618693134822,0.881266294227188,0.907976415085034,0.6886042626178251
+0.8246666972098776,18000,0.850244272101385,0.8309015952679691,0.8008984105044921,0.8632402234636871,0.9083047259536086,0.6946388160864448
+0.8704815137215376,19000,0.8544364005739992,0.8348740835192859,0.795887358184765,0.877877094972067,0.9119332397945813,0.7003281006568405
+0.9162963302331975,20000,0.8531948856032634,0.8325782169740645,0.7989182527728331,0.8691992551210428,0.9098400205607854,0.6970114859379754
+0.9621111467448573,21000,0.8509375856564712,0.8306127910088307,0.7971237801746276,0.8670391061452514,0.9090275904401902,0.6934370127881434
+1.0079259632565172,22000,0.8552748262685219,0.8345787545787545,0.821045045045045,0.8485661080074488,0.9112907697633945,0.7048819722807252
+1.053740779768177,23000,0.8509053385143741,0.8335016190244072,0.7825248430962343,0.8915828677839851,0.9136996716292948,0.6961342238933274
+1.099555596279837,24000,0.8504538785250157,0.8306986323643657,0.8066383635661907,0.8562383612662943,0.9097427014302519,0.6955033147360558
+1.1453704127914968,25000,0.8540010641556892,0.8350353220955445,0.7870327641901246,0.8892737430167598,0.9120264203221067,0.6993567389276061
+1.1911852293031566,26000,0.8542912884345625,0.8363733333333332,0.8001020408163265,0.8760893854748604,0.9032188447944051,0.7035309807044676
+1.2370000458148165,27000,0.8543235355766595,0.8354980668840308,0.8008675752297025,0.8732588454376163,0.9125525743448181,0.7021988695626717
+1.2828148623264763,28000,0.8527434256139049,0.8327912213604032,0.8005428807036833,0.8677467411545624,0.910031243265515,0.6976627144336726
+1.3286296788381362,29000,0.8539204463004466,0.8340311268924337,0.7932923345767382,0.8791806331471136,0.9141134024706079,0.6984956791168885
+1.374444495349796,30000,0.8567904419470824,0.8371661788499646,0.8177362645168165,0.8575418994413407,0.9151299495966343,0.7081970816807971
+1.420259311861456,31000,0.8564518469550636,0.8387599369699545,0.7993992777834025,0.88219739292365,0.9144858212355137,0.7074469414653369
+1.4660741283731158,32000,0.8552264555553764,0.834131038809716,0.8040781060998791,0.8665176908752328,0.9147539395417084,0.700527678244227
+1.5118889448847757,33000,0.8580964512020122,0.8375052414723524,0.820292132423842,0.8554562383612663,0.9160350741896756,0.7092912875937778
+1.5577037613964357,34000,0.8539688170135922,0.8369648718485928,0.7877801879971077,0.8927001862197393,0.9147287212017505,0.7028252912417982
+1.6035185779080954,35000,0.8551780848422309,0.8346075748212237,0.7934866543562196,0.8802234636871509,0.9138788716279098,0.6995046408362252
+1.6493333944197555,36000,0.8531948856032634,0.8364559282302553,0.7939572389333155,0.8837616387337057,0.9132214482614694,0.7027285114815401
+1.695148210931415,37000,0.8537914577320584,0.8331882384294217,0.796602683879735,0.8732960893854749,0.9124799713825157,0.6976151544820106
+1.7409630274430752,38000,0.8582415633414489,0.8389518568460949,0.8213215356072499,0.8573556797020484,0.9154628097307995,0.711801459437984
+1.7867778439547348,39000,0.8561616226761903,0.8376661929007071,0.8102182159885846,0.8670391061452514,0.9143322195897386,0.7074700919791931
+1.832592660466395,40000,0.8555811741184437,0.8387506169357681,0.7961983802958302,0.8861080074487896,0.9146910665285348,0.7069765288286156
+1.8784074769780545,41000,0.8572419019364409,0.837238130655758,0.7981025692967352,0.8804096834264432,0.9165048366147915,0.7046705246241239
+1.9242222934897146,42000,0.8549362312765031,0.8351510592954745,0.8043395770809617,0.8684171322160149,0.9125312161645737,0.7022483220049041
+1.9700371100013745,43000,0.8553876912658616,0.8373610185542423,0.7912634230412303,0.8891620111731844,0.9142254876542092,0.7039315233985483
+2.0158519265130344,44000,0.8569033069444221,0.8379775199681955,0.8138865487222691,0.863538175046555,0.9175016224341015,0.7086932464947641
+2.061666743024694,45000,0.8550168491317457,0.8347731791071751,0.8108848314606741,0.8601117318435754,0.9146036013088026,0.7029267567602778
+2.107481559536354,46000,0.8556779155447348,0.8379640233266971,0.7951118392457119,0.8856983240223464,0.9151937052115287,0.7054477868768508
+2.153296376048014,47000,0.8571774076522468,0.837458242034556,0.8087276259192452,0.8683054003724395,0.9153404196564356,0.7068484340668664
+2.199111192559674,48000,0.8597410554489608,0.8392601115142932,0.7996964074886153,0.8829422718808194,0.9166530591155475,0.7083408563157901
+2.2449260090713334,49000,0.8593057190306509,0.840416367552046,0.8110148943540006,0.8720297951582868,0.9173508980649892,0.712119012898201
+2.2907408255829935,50000,0.8609825704196965,0.8423208686037448,0.8204738867897877,0.8653631284916201,0.9197535782484643,0.7170011465513693
+2.3365556420946536,51000,0.8599990325857371,0.8393311523082515,0.8196663116790912,0.8599627560521416,0.9170899817640746,0.7120500010109944
+2.3823704586063132,52000,0.862498186098257,0.8422172149616944,0.8161048034934498,0.8700558659217877,0.9213002834180744,0.71599577496842
+2.4281852751179733,53000,0.8602086390093678,0.8428491790897157,0.8148753433707709,0.8728119180633147,0.9175858122309677,0.7168065568177265
+0.13227513227513227,1000,0.7121942567839925,0.7173775813869602,0.6013758693680072,0.8888268156424581,0.6671781481216328,0.4531700143158064
+0.26455026455026454,2000,0.6975540542719402,0.7101031776360268,0.586505778382053,0.8997020484171322,0.6610671026942903,0.4358536591604901
+0.3968253968253968,3000,0.6986182099611422,0.7067057291666666,0.5862670005400894,0.8894227188081937,0.66334517409675,0.4281311649742261
+0.5291005291005291,4000,0.7120652682156043,0.7201339894468489,0.5980845930375696,0.9047672253258845,0.6849169900607196,0.45921780879986857
+0.13227513227513227,1000,0.7121942567839925,0.7173775813869602,0.6013758693680072,0.8888268156424581,0.6671781481216328,0.4531700143158064
+0.26455026455026454,2000,0.6975540542719402,0.7101031776360268,0.586505778382053,0.8997020484171322,0.6610671026942903,0.4358536591604901
+0.3968253968253968,3000,0.7003111849212363,0.7087932080048513,0.5976987982613142,0.8706145251396648,0.6639057457366626,0.4345132837406981
+0.5291005291005291,4000,0.7086954418664646,0.7180902890548878,0.5948199960868714,0.9058100558659218,0.6729189048723991,0.4545107258562524
+0.6613756613756614,5000,0.7127263346285936,0.7245592650949848,0.6029091628735405,0.9077094972067039,0.6729925210561867,0.4693791931842132
+0.7936507936507936,6000,0.7011173634736622,0.7145387734785601,0.5886581276985793,0.908901303538175,0.6599122982065752,0.4462931827228263
+0.9259259259259259,7000,0.7066638719143515,0.7163499932195216,0.6015385783333755,0.8853258845437616,0.6694819545314719,0.4509695945359991
+1.0582010582010581,8000,0.7094371261346963,0.719891382191454,0.60051276945288,0.8985102420856611,0.6829234951405851,0.4586819591126856
+1.1904761904761905,9000,0.7176117766562938,0.7266746502144947,0.6127201615583221,0.8927001862197393,0.6979743499638281,0.47427105467447095
+1.3227513227513228,10000,0.7143709388755421,0.7227744643251601,0.597734746072342,0.9139664804469274,0.6933261803240417,0.46548012630085245
+1.455026455026455,11000,0.7088728011479982,0.7107285399416216,0.5921385676708522,0.8887150837988826,0.6917664344538139,0.43767888385343184
+1.5873015873015874,12000,0.7045355605359475,0.7151145492412972,0.5953678474114441,0.8951582867783985,0.6747785204643741,0.44767233622953545
+1.7195767195767195,13000,0.7080021283113784,0.7151304139028124,0.598883973456666,0.8873743016759776,0.686246098678258,0.4480327395179072
+1.8518518518518519,14000,0.7051321326647426,0.715848693463617,0.5940778965474874,0.9004096834264432,0.6737150669654169,0.44931134148576585
+1.9841269841269842,15000,0.7025846084390771,0.7127667375522476,0.587879520987057,0.9050279329608939,0.6886507543290087,0.4420986321032137
+2.1164021164021163,16000,0.7039389884071524,0.710760088983114,0.593162052381071,0.8865176908752328,0.6958150190814024,0.43786773759736286
+2.248677248677249,17000,0.7075990390351655,0.7134720342637896,0.5938652736860347,0.8934078212290503,0.6997094664970585,0.44391832844338147
+2.380952380952381,18000,0.7170474516695958,0.7206013852472682,0.607523446883545,0.8854003724394786,0.7008795462542657,0.46075485212556117
+2.5132275132275135,19000,0.7127263346285936,0.724927014832945,0.5999951186175925,0.9155679702048417,0.6842801056796661,0.47045641077434464
+2.6455026455026456,20000,0.7211589622869673,0.725155887580203,0.6087649200890147,0.8965735567970204,0.702619461293331,0.4707392845567733
+2.7777777777777777,21000,0.7103722932555102,0.719242162067044,0.5931695046439629,0.9133705772811918,0.6927974017374057,0.4573399891030304
+2.91005291005291,22000,0.7087276890085616,0.7156286897128936,0.5976434758730872,0.8916573556797021,0.6862010102444887,0.4490032137824307
+0.13227513227513227,1000,0.7040841005465891,0.7123395376264421,0.5995876498587319,0.87731843575419,0.6485941990541715,0.44219883640940627
+0.26455026455026454,2000,0.704487189822802,0.7128634735627997,0.601557297269607,0.8747113594040968,0.6496939288970716,0.4436431834781712
+0.3968253968253968,3000,0.704487189822802,0.7127608104021772,0.5999236446933062,0.877877094972067,0.6498536913604381,0.4431364354057101
+0.5291005291005291,4000,0.7046161783911901,0.7129346145684925,0.6010785115518299,0.8759404096834265,0.6497852263309443,0.4437016611921052
+0.6613756613756614,5000,0.7047451669595782,0.7130973343858158,0.6018551734740942,0.8747858472998138,0.6499411102650785,0.44418112474761806
+0.7936507936507936,6000,0.7047129198174812,0.7130487435664548,0.6006630961489416,0.8771694599627561,0.6499856986275925,0.44386475019877175
+0.9259259259259259,7000,0.7046161783911901,0.7129900216525598,0.600719516240145,0.8768715083798883,0.6500147100882865,0.4437524535394919
+1.0582010582010581,8000,0.7046967962464327,0.7132239177259352,0.6016480704268605,0.8756052141527002,0.6501907403849232,0.4444041135975049
+1.1904761904761905,9000,0.7047451669595782,0.7134047485567964,0.6013435847658944,0.8767970204841713,0.6500512268322802,0.44472433347901486
+1.3227513227513228,10000,0.7049547733832089,0.7130856709628507,0.6013810741687979,0.8757541899441341,0.6500960923798308,0.44406943626382284
+1.455026455026455,11000,0.7049225262411118,0.7132073759208556,0.6005043686476297,0.8779888268156425,0.6501597681417753,0.4441682602940718
+1.5873015873015874,12000,0.7047935376727238,0.7133954969297247,0.6016110471806674,0.8762011173184358,0.6501617003744651,0.4447525887308229
+1.7195767195767195,13000,0.7049386498121604,0.7131399808972241,0.6013705285228464,0.8759404096834265,0.6501534013297803,0.4441799523710033
+1.8518518518518519,14000,0.7047612905306267,0.7131735890859977,0.6017875893154404,0.8751582867783985,0.6501966477427175,0.4443258065145956
+1.9841269841269842,15000,0.7047129198174812,0.7133051502341016,0.6012721281324239,0.8766480446927374,0.6501259538202615,0.44450486467816364
+2.1164021164021163,16000,0.7048741555279663,0.7132468791661617,0.6011542979723172,0.8767225325884543,0.6501958611679369,0.44436302030035313
+2.248677248677249,17000,0.7050353912384515,0.7132356284384899,0.6013135365822494,0.8763500931098697,0.6502058894129712,0.4443679384828618
+2.380952380952381,18000,0.7048580319569178,0.7135202416551557,0.602193240923416,0.8753445065176909,0.65028085508591,0.44511613701356345
+2.5132275132275135,19000,0.7047774141016753,0.7133380895277706,0.6020395090829895,0.87512104283054,0.6501482972242817,0.4447118931611469
+2.6455026455026456,20000,0.7048419083858694,0.713134215500945,0.6003309993634628,0.8781378026070763,0.6502720813596707,0.44398604726928553
+2.7777777777777777,21000,0.7049064026700633,0.7132204208555988,0.5996547872880496,0.8798510242085661,0.6502868112351428,0.444056024307391
+2.91005291005291,22000,0.7048741555279663,0.7133174629649285,0.6015702923198896,0.8760521415270018,0.6504178666405078,0.44458359908756406
+3.0423280423280423,23000,0.7049870205253059,0.7133682532452743,0.6021530180699731,0.8749720670391061,0.6501732831544287,0.44479514905968837
+3.1746031746031744,24000,0.7048419083858694,0.7133752162432851,0.6019514443761524,0.8754189944134079,0.6503320249903766,0.44477231303172926
+3.306878306878307,25000,0.7048257848148208,0.7133835133047599,0.6011383649404017,0.8771694599627561,0.6503268142696932,0.4446443156537425
+3.439153439153439,26000,0.7049225262411118,0.7135207293578677,0.6019298200711525,0.8759031657355679,0.6501766282515016,0.44506921922650566
+3.571428571428571,27000,0.7047935376727238,0.7132903147626406,0.6011284722222222,0.8769087523277468,0.6503410382824094,0.4444487430234205
+3.7037037037037037,28000,0.7049547733832089,0.713223692195655,0.6017357022169884,0.8754189944134079,0.6502404125185572,0.444419699629457
+3.835978835978836,29000,0.7049064026700633,0.7132478956548116,0.6016118715619803,0.8757541899441341,0.6503618676705847,0.4444471102544001
+0.13227513227513227,1000,0.7040841005465891,0.7123395376264421,0.5995876498587319,0.87731843575419,0.6485941990541715,0.44219883640940627
+0.26455026455026454,2000,0.704487189822802,0.7128634735627997,0.601557297269607,0.8747113594040968,0.6496939288970716,0.4436431834781712
+0.3968253968253968,3000,0.704487189822802,0.7127608104021772,0.5999236446933062,0.877877094972067,0.6498536913604381,0.4431364354057101
+0.5291005291005291,4000,0.7046161783911901,0.7129346145684925,0.6010785115518299,0.8759404096834265,0.6497852263309443,0.4437016611921052
+0.6613756613756614,5000,0.7047451669595782,0.7130973343858158,0.6018551734740942,0.8747858472998138,0.6499411102650785,0.44418112474761806
+0.7936507936507936,6000,0.7047129198174812,0.7130487435664548,0.6006630961489416,0.8771694599627561,0.6499856986275925,0.44386475019877175
+0.13227513227513227,1000,0.7121942567839925,0.7173775813869602,0.6013758693680072,0.8888268156424581,0.6671781481216328,0.4531700143158064
+0.26455026455026454,2000,0.6975540542719402,0.7101031776360268,0.586505778382053,0.8997020484171322,0.6610671026942903,0.4358536591604901
+0.3968253968253968,3000,0.6986182099611422,0.7067057291666666,0.5862670005400894,0.8894227188081937,0.66334517409675,0.4281311649742261
+0.5291005291005291,4000,0.7120652682156043,0.7201339894468489,0.5980845930375696,0.9047672253258845,0.6849169900607196,0.45921780879986857
+0.6613756613756614,5000,0.7130971767627095,0.7247407584496309,0.6051502145922747,0.9032402234636872,0.6798288598739686,0.46974626337302816
+0.7936507936507936,6000,0.6942003514938488,0.7068363421130512,0.5863982322612326,0.8895344506517691,0.6676961093690728,0.42843625642532024
+0.9259259259259259,7000,0.7037455055545703,0.7158922758212489,0.5939111220230788,0.9009310986964618,0.669728479977451,0.44940828556592594
+1.0582010582010581,8000,0.7083407233033973,0.7180575905271656,0.5998101708462383,0.8943761638733706,0.6845652232689503,0.4545405524753711
+1.1904761904761905,9000,0.7129359410522242,0.7195623252963423,0.6009887887338011,0.8964245810055866,0.6925761899963786,0.4579603150637622
+1.3227513227513228,10000,0.7123877396365748,0.7224582313823799,0.6051248522644403,0.8962383612662942,0.6861228307530685,0.4646033727363923
+1.455026455026455,11000,0.7032456748520662,0.7130427062061617,0.5915586328815556,0.8973184357541899,0.6836812083005739,0.44280970534590497
+1.5873015873015874,12000,0.7102271811160736,0.7219512195121952,0.5985294117647059,0.9094972067039107,0.6848273527960277,0.46345971152574855
+1.7195767195767195,13000,0.7084535883007368,0.7148823314229972,0.605062180711079,0.8734078212290503,0.6800794786041909,0.4484507162651424
+1.8518518518518519,14000,0.7086631947243676,0.7153037591305897,0.5947267071544956,0.8972067039106145,0.6835217250536465,0.44809022283497335
+1.9841269841269842,15000,0.7061962883539447,0.7130300967713296,0.5915250908376706,0.8973556797020484,0.6907271064336346,0.44277941108378455
+2.1164021164021163,16000,0.7079215104561358,0.7148974130240855,0.5949517446176689,0.8954189944134078,0.6872757358412341,0.44718480467148364
+0.26455026455026454,1000,0.7117589203656826,0.7177313432835821,0.5988542963885429,0.8954934823091247,0.660905056042479,0.4537581257418676
+0.5291005291005291,2000,0.7088728011479982,0.7203223473499328,0.5965821577879373,0.9088268156424582,0.6760503900276524,0.45970511993563085
+0.7936507936507936,3000,0.7058415697908773,0.7155464432162596,0.595209847248999,0.8968715083798883,0.6714723169901203,0.44866159111097553
+1.0582010582010581,4000,0.7131616710469034,0.7202880429051356,0.6047711806521794,0.8903538175046555,0.6817627136675211,0.4598074551592955
+1.3227513227513228,5000,0.7053739862304703,0.7100514314594047,0.590837126459529,0.8895344506517691,0.6753020332795073,0.43604593806232606
+1.5873015873015874,6000,0.7155157124199868,0.7254028111073021,0.6047066424790637,0.906294227188082,0.6935172449353214,0.47127505201138326
+1.8518518518518519,7000,0.7086309475822705,0.716843864137105,0.5944282316011477,0.902756052141527,0.6749312872225783,0.45161057790875475
+2.1164021164021163,8000,0.7089372954321923,0.7117702951481678,0.5917888707845751,0.8927746741154562,0.6935536329212149,0.43995459884967364
+2.380952380952381,9000,0.7262862578803954,0.7242999833779108,0.6094032089912783,0.8925884543761639,0.7131774409624241,0.4688919180533359
+2.6455026455026456,10000,0.7192563809032424,0.7259653241022747,0.6038705850367039,0.9099441340782123,0.6910638920274832,0.4726212916827426
+2.91005291005291,11000,0.7253188436174844,0.7317168733706054,0.6144929003518186,0.9042085661080075,0.6996403704063607,0.485479990661521
+3.1746031746031744,12000,0.7136615017494075,0.7151305088095347,0.6041714828799671,0.8760148975791434,0.6963560350184632,0.4487968340231998
+3.439153439153439,13000,0.7250608664807081,0.718418633159669,0.6103098151523041,0.873072625698324,0.7137325448592275,0.4566390931279794
+3.7037037037037037,14000,0.715209364570065,0.7174286848022573,0.5925278566746778,0.9090502793296089,0.6981290238040933,0.4530250472884979
+3.9682539682539684,15000,0.7285758049692846,0.7249007891255759,0.6125028906189779,0.8878212290502794,0.7152424950977372,0.47043582378831844
+4.232804232804233,16000,0.7282372099772658,0.731802413041476,0.6224409860037602,0.8877839851024208,0.7072804380348763,0.48597062296599947
+4.497354497354498,17000,0.7260282807436191,0.7238570797874772,0.6121482091819657,0.8854376163873371,0.7181321473433178,0.46818167439018454
+4.761904761904762,18000,0.7308008577739797,0.7253717614594511,0.6164147993746744,0.8811173184357541,0.7173892795993164,0.47187024862700516
+5.026455026455026,19000,0.7221908708340723,0.7177271617000489,0.6081388730791121,0.8754934823091247,0.7069881001641767,0.4548373638056468
+5.291005291005291,20000,0.7259960336015221,0.7198725779764021,0.6154903879207764,0.8668901303538175,0.7117286139260987,0.46058479915118317
+5.555555555555555,21000,0.725463955756921,0.7222498600833283,0.619869776378289,0.8651396648044692,0.710392036222359,0.46619750469194154
+5.8201058201058204,22000,0.7169345866722562,0.7226284951420306,0.6004683840749414,0.9071880819366853,0.6990392460222852,0.4649661669525358
+6.084656084656085,23000,0.7233517679495655,0.721474931803217,0.6229694606887589,0.8569832402234637,0.704600477424155,0.4654399091225705
+6.349206349206349,24000,0.7301397913609906,0.7240028380170898,0.6178917438921652,0.8741154562383613,0.7190080025730815,0.4692938255411368
+6.613756613756614,25000,0.7241256993598942,0.7247235802933433,0.6078990536277602,0.8971322160148976,0.7170435138574319,0.4697480519328631
+6.878306878306878,26000,0.7414101675239032,0.7315284288402053,0.6395673023307684,0.8543761638733706,0.7289657845732894,0.48842881199445753
+7.142857142857143,27000,0.7336063591364216,0.7273255547229827,0.6169991957035,0.8856983240223464,0.7252735964728781,0.4760210663507945
+7.407407407407407,28000,0.7408135953951082,0.7361113297545772,0.6375262454666921,0.8707635009310987,0.7336442207746414,0.49670554853805965
+7.671957671957672,29000,0.7405394946872833,0.7302336485113698,0.629110004039316,0.8700931098696462,0.7298265989273296,0.4836932089199084
+7.936507936507937,30000,0.7314135534738234,0.7276766295905052,0.6241938063003039,0.8722905027932961,0.7143199182944406,0.4777529523575188
+8.201058201058201,31000,0.72949484851905,0.7247637758443258,0.6233504988735115,0.865586592178771,0.7227258265861431,0.4718493162637532
+8.465608465608465,32000,0.7196272230373583,0.7254193587072209,0.6070398153491056,0.9011545623836127,0.7067722645586638,0.47128808934193245
+8.73015873015873,33000,0.730962093484465,0.727486611150667,0.6224176289861214,0.8752327746741154,0.7183894737684625,0.4770739848688988
+8.994708994708995,34000,0.7400719111268764,0.7368308154322313,0.6259110787172012,0.8955307262569833,0.7207963808147313,0.4969015235261098
+9.25925925925926,35000,0.7395237097112268,0.7350502650913268,0.6363141121673521,0.8700558659217877,0.7297397115862317,0.49442245093845255
+9.523809523809524,36000,0.727463278566937,0.7295582317211026,0.6127553991442388,0.9013780260707634,0.7066095622322345,0.4806332957219387
+9.788359788359788,37000,0.7311072056239016,0.7285202030393817,0.6245774666631179,0.8739664804469274,0.7126631463167901,0.4795034627090203
+10.052910052910052,38000,0.7360087712226504,0.7290693718491944,0.6233604823355193,0.877951582867784,0.7304796081903128,0.4804228037835311
+10.317460317460318,39000,0.7362345012173296,0.7306690504446465,0.6232482317987011,0.8828305400372439,0.7236203785972241,0.48368829401810387
+10.582010582010582,40000,0.732526079876171,0.724660838569914,0.6167586369223527,0.8783240223463687,0.7282207479801239,0.4704522085117657
+10.846560846560847,41000,0.734122313409974,0.7284163282077216,0.6326625854448623,0.8583240223463687,0.7250555237289504,0.48094138729787134
+11.11111111111111,42000,0.7330259105786749,0.7255922497044509,0.6172452524619283,0.880074487895717,0.7286038531983527,0.4724381999242586
+11.375661375661375,43000,0.7436997146127925,0.733047452994675,0.6338521717871404,0.869050279329609,0.7374975283535234,0.49007181504266767
+11.640211640211641,44000,0.7313329356185808,0.7260527174166291,0.6227385361434548,0.870465549348231,0.7189966642270013,0.4742620789932221
+11.904761904761905,45000,0.7378307347511327,0.7306353690321976,0.6288316363538672,0.8717690875232774,0.7248883301942968,0.48443615128929934
+12.16931216931217,46000,0.7392334854323536,0.734712050726974,0.6250032651568581,0.8911359404096835,0.7289003083115455,0.4923222874386334
+12.433862433862434,47000,0.7393785975717903,0.7333373654288134,0.6172682380491779,0.9031657355679702,0.7307897416867887,0.4890909953505687
+12.698412698412698,48000,0.7403137646926041,0.7305933192442355,0.6336032388663968,0.8626443202979516,0.7330234628931656,0.48528563819586723
+12.962962962962964,49000,0.7377823640379871,0.7312855091465319,0.6294266215272181,0.8724767225325885,0.7238680662066788,0.48582575993680666
+13.227513227513228,50000,0.7419744925106012,0.7339784610582176,0.6317302525523912,0.8757169459962756,0.7299293048796966,0.491528568065985
+13.492063492063492,51000,0.7308331049160768,0.7265214586341433,0.6182421834152463,0.8807821229050279,0.7161519332539099,0.474491295170238
+13.756613756613756,52000,0.7372986569065316,0.731492472043481,0.6298886438216149,0.8721787709497206,0.7300982301625948,0.4863142730787187
+14.02116402116402,53000,0.7402008996952645,0.7300074649386128,0.6363988812273269,0.855903165735568,0.7347374803763635,0.48482406927379684
+14.285714285714286,54000,0.7425065703552023,0.7345190103549126,0.6381266309572861,0.8652141527001862,0.7326196559173577,0.49373622566590086
+14.55026455026455,55000,0.7398784282742942,0.7319025100036377,0.6360612474915469,0.8617504655493482,0.7363408829737499,0.4883120694474304
+14.814814814814815,56000,0.7343802905467502,0.7282531878936856,0.6197960251046025,0.8827188081936685,0.7313746305851032,0.4782738707719125
+15.079365079365079,57000,0.7440221860337628,0.7380633645693886,0.6288313799522798,0.8932216014897579,0.7430178724980467,0.4996753464638678
+15.343915343915343,58000,0.739781686848003,0.7342344449121494,0.6314321722575282,0.8770204841713222,0.7381556467808613,0.4920227675782655
+15.60846560846561,59000,0.7400396639847794,0.7292199791488958,0.6331468071099408,0.8596648044692737,0.7371913536355091,0.4825726281727997
+15.873015873015873,60000,0.7435062317602102,0.7344852071005917,0.6372073921971253,0.8668156424581006,0.7381504417924782,0.49349120136639646
+16.137566137566136,61000,0.7299463085084085,0.7263375119351957,0.6192101669992648,0.8782867783985102,0.7249732171245932,0.4742480430748649
+16.402116402116402,62000,0.738653036874607,0.7304886273067255,0.6206698963379694,0.8875232774674116,0.7334766251255959,0.48304351312787835
+16.666666666666668,63000,0.7415069089501943,0.7308122411050385,0.6331704920717229,0.8640595903165735,0.7405195890964585,0.4856129894784679
+16.93121693121693,64000,0.7398623047032457,0.732981211567355,0.6274296624327119,0.8812290502793296,0.7360456090437851,0.48894691887128705
+17.195767195767196,65000,0.7400719111268764,0.7283247960538796,0.6327674303609692,0.857877094972067,0.742720331927282,0.48079391946420297
+17.46031746031746,66000,0.7500846487480047,0.7396250808015513,0.6532686268912361,0.8522905027932961,0.7500404014488675,0.5066398702240432
+17.724867724867725,67000,0.7459247674174876,0.7306988772549515,0.6336213969261062,0.8629050279329609,0.7488950845414478,0.48549125863602344
+17.98941798941799,68000,0.7545831250705406,0.743450667260494,0.6488242316555152,0.870391061452514,0.7504581278544975,0.5128638912988238
+18.253968253968253,69000,0.7411683139581755,0.7329409401986683,0.6262242285050553,0.8835009310986964,0.7403754211668826,0.48872263874782584
+18.51851851851852,70000,0.7494880766192096,0.7352547233734104,0.6372401737182813,0.8689013035381751,0.7495231763162336,0.4949866362469356
+18.78306878306878,71000,0.7444091517389272,0.7333768332090479,0.6291113598805906,0.8790689013035382,0.7500071355589986,0.4899694869504773
+19.047619047619047,72000,0.7437158381838409,0.7318465543740788,0.63209796272215,0.868975791433892,0.752369822662081,0.4874041738259015
+19.312169312169313,73000,0.7449896002966737,0.7333877397281773,0.6337474232396658,0.8702048417132217,0.7528496502640454,0.4907177301819935
+19.576719576719576,74000,0.7446832524467519,0.732996309276432,0.6279625890105218,0.8802234636871509,0.751893275343916,0.48904495014883637
+19.841269841269842,75000,0.7493590880508215,0.7364117599153025,0.6543928209581705,0.8419366852886406,0.7563294273853238,0.5012041924061871
+20.105820105820104,76000,0.7501491430321988,0.7378594018397522,0.648429784712621,0.855903165735568,0.753327454765778,0.5022512384859568
+20.37037037037037,77000,0.7491817287692878,0.7376346502705047,0.648232273355718,0.8556424581005586,0.7511219355697942,0.501790937580664
+20.634920634920636,78000,0.7494880766192096,0.7388036427145709,0.635468641021514,0.8822718808193668,0.7530615447527208,0.501774121235603
+20.8994708994709,79000,0.7495203237613066,0.7404905683869762,0.6360355061226672,0.8859962756052141,0.7515365754923629,0.5052822896893916
+21.164021164021165,80000,0.7498427951822769,0.739993626513703,0.6466443887496519,0.8648417132216015,0.7502033605946259,0.5058579705894275
+21.428571428571427,81000,0.7470372938198352,0.7381471303578762,0.6408083799495448,0.8703538175046555,0.7495929075388916,0.5012379264925705
+21.693121693121693,82000,0.7534867222392415,0.7421359895513698,0.6425515681626203,0.8782495344506518,0.7537842575014266,0.5093466376997025
+21.95767195767196,83000,0.7472952709566115,0.7385865099911637,0.6326048277876624,0.8872253258845437,0.7502060050740134,0.501040114417416
+22.22222222222222,84000,0.7596942970929201,0.7464611161647595,0.6530674932283377,0.871024208566108,0.7647100681607794,0.5193580845443948
+22.486772486772487,85000,0.750906950871479,0.7401501985107707,0.6471129450469791,0.8644320297951583,0.7559909403721212,0.5062466740730579
+22.75132275132275,86000,0.7490366166298512,0.737118738552202,0.6439404480311673,0.8618249534450652,0.7596581710607009,0.499871342024141
+23.015873015873016,87000,0.7491656051982393,0.7388437019125081,0.6386958410250841,0.8762383612662942,0.7564303373603143,0.5022713075635253
+23.280423280423282,88000,0.7539865529417455,0.7407371593418105,0.6528878661325606,0.855903165735568,0.7611443987203154,0.5085776454521095
+23.544973544973544,89000,0.7533093629577079,0.7430166706548617,0.6498674480256732,0.8673370577281192,0.7552125032360478,0.5122148533184271
+23.80952380952381,90000,0.7483755502168621,0.7393748940955374,0.6304410644390154,0.8938175046554935,0.7543686521024333,0.5025481021676362
+24.074074074074073,91000,0.7510359394398671,0.7406212437527678,0.6436307658474902,0.8720297951582868,0.7534229361559037,0.5065243684992871
+24.33862433862434,92000,0.751842117992293,0.7428672180547542,0.652062580899319,0.8630540037243948,0.7563143609994727,0.5123516398199492
+24.603174603174605,93000,0.7484400445010561,0.7379830056441109,0.6321927634025822,0.8862942271880819,0.7547568651118963,0.4997527820403723
+24.867724867724867,94000,0.7538414408023089,0.7469803226266046,0.649604890002478,0.8786964618249534,0.7590141374952123,0.5198650414925893
+25.132275132275133,95000,0.7510359394398671,0.7380666371625466,0.6411115382503157,0.8695716945996276,0.76240541564632,0.5011345776969455
+25.396825396825395,96000,0.752874026539398,0.739932994008118,0.6518987341772152,0.8554562383612663,0.7583652911437656,0.5068732094708769
+25.66137566137566,97000,0.7461504974121669,0.737891027040514,0.634697928962335,0.8811545623836127,0.7523508894526713,0.49983124499303966
+25.925925925925927,98000,0.7465213395462827,0.7368007912460555,0.6368496756859445,0.8739664804469274,0.7483387079554688,0.4979481830036209
+26.19047619047619,99000,0.7501975137453443,0.7400407929122315,0.6467164262240294,0.8648417132216015,0.7546385047785729,0.5059615351629135
+26.455026455026456,100000,0.7479724609406492,0.7390553451745281,0.6431348757686899,0.8686033519553072,0.7522497328031548,0.5034054074963843
+26.719576719576718,101000,0.75350284581029,0.7479008677976702,0.6445492521223555,0.8907262569832403,0.7546047099831354,0.5212323476480963
+26.984126984126984,102000,0.7574531207171764,0.7474110472653935,0.6553456648047828,0.8695716945996276,0.7607865361935736,0.5215552401847828
+27.24867724867725,103000,0.7504877380242176,0.7412067486416929,0.6462765957446809,0.8688268156424581,0.7541091576848737,0.5081065584456468
+27.513227513227513,104000,0.7531158801051256,0.7403508771929824,0.6518990929705215,0.8565735567970205,0.7573767266950697,0.507640869209707
+27.77777777777778,105000,0.7516647587107592,0.7373719949190021,0.6368339789256982,0.8756052141527002,0.7541957429418945,0.4990769440910193
+28.04232804232804,106000,0.7552764386256268,0.7439020522092176,0.6478013479173572,0.8734823091247672,0.7597885010793437,0.5135735523981523
+28.306878306878307,107000,0.7584044114090389,0.7445110737986728,0.652346924478072,0.867001862197393,0.7658508251772493,0.5155090708621191
+28.571428571428573,108000,0.7531481272472227,0.7407738760903602,0.6486123545210385,0.863463687150838,0.759726194331729,0.5077231440461634
+28.835978835978835,109000,0.7536963286628723,0.7411377677926663,0.6511208233469618,0.8600372439478585,0.7608247194563391,0.5089246801437538
+29.1005291005291,110000,0.753406104383999,0.7405148185998977,0.6481522893721697,0.8635754189944134,0.7589301573107445,0.5071423447776142
+29.365079365079364,111000,0.7601135099401816,0.7446250319938572,0.6526274465817957,0.8668156424581006,0.7632195082783322,0.5157765655141334
+29.62962962962963,112000,0.7617903613292272,0.7457219163177157,0.6689836725035495,0.8423463687150838,0.766833899840427,0.5215457623845284
+29.894179894179896,113000,0.7564857064542655,0.7446142044364892,0.6521471362185768,0.8676350093109869,0.7649853561808122,0.515669009048673
+30.158730158730158,114000,0.7583076699827478,0.7452855927715097,0.6548126004681463,0.8647672253258846,0.7663043327016233,0.5174329495934629
+30.423280423280424,115000,0.761097047774141,0.7473476517013843,0.660482533874564,0.8605214152700186,0.7690585701639121,0.5224034875888152
+30.687830687830687,116000,0.7566791893068476,0.7439515810432832,0.6461255524141528,0.8766852886405959,0.770532846425839,0.5134255628633531
+30.952380952380953,117000,0.7604359813611519,0.7477906829945714,0.6488033298647242,0.8824208566108007,0.7712763181482584,0.521381341734509
+31.21693121693122,118000,0.7578884571354864,0.7457031620928687,0.6483652575957728,0.8774301675977654,0.7676314755307868,0.5171830004013963
+31.48148148148148,119000,0.757565985714516,0.7465963566634708,0.6538203190596138,0.8700558659217877,0.7662493752376083,0.5197418912600656
+31.746031746031747,120000,0.7644668741232808,0.7469946791039872,0.6680864814053228,0.8470391061452514,0.7738955872983558,0.5235341694836853
+32.01058201058201,121000,0.758533399977427,0.7467081023932336,0.6551326737126153,0.8680446927374301,0.7675216597801717,0.5201804148076808
+32.27513227513227,122000,0.7616774963318876,0.7461707138796394,0.6616448221230016,0.8554562383612663,0.7700944973168586,0.5205004648716318
+32.53968253968254,123000,0.751906612276487,0.7385258169119481,0.6351155681879123,0.8821601489757914,0.7598774628054489,0.5011690118458932
+32.804232804232804,124000,0.7553248093387723,0.7437755866001879,0.6498176858629999,0.8694972067039106,0.7633825157230537,0.5136574210815114
+33.06878306878307,125000,0.759065477822028,0.7451480289365499,0.6511640859975493,0.8708379888268156,0.7669137487848257,0.5165212368200538
+33.333333333333336,126000,0.7595814320955805,0.7454545454545454,0.6510289210233593,0.8719180633147113,0.767072700737415,0.5170900842156316
+33.597883597883595,127000,0.7607906999242192,0.7477373756755891,0.6551501905402376,0.8708007448789572,0.7718158548040339,0.5221465262025381
+33.86243386243386,128000,0.7608068234952677,0.7455269358901438,0.6613233386189996,0.8543016759776536,0.7678953021562264,0.5192590821327775
+34.12698412698413,129000,0.7592589606746102,0.7457723104028692,0.6455513494376208,0.8828305400372439,0.7665775422153236,0.5169801615473765
+34.39153439153439,130000,0.7597587913771142,0.7454349816114474,0.6552785385549312,0.8643575418994414,0.7667628851784396,0.5178030731031247
+34.65608465608466,131000,0.7588236242563002,0.7450904704463209,0.6557112526539278,0.8626815642458101,0.76685845253801,0.5172428692997112
+34.92063492063492,132000,0.7607745763531707,0.7479315697665114,0.6557229845385414,0.870316573556797,0.7673923883650665,0.5226123177884683
+35.18518518518518,133000,0.7589848599667854,0.7467438494934877,0.6570458404074703,0.864804469273743,0.7684311671516295,0.52059802485397
+35.44973544973545,134000,0.7527772851131068,0.7427016408225044,0.6541854593935268,0.8589199255121043,0.7608467169144308,0.5124861338325708
+35.714285714285715,135000,0.7569532900146725,0.7442428920622669,0.6548933038999264,0.8618249534450652,0.7635259577572878,0.5154964447359598
+35.97883597883598,136000,0.763193112010448,0.7485022984118554,0.6750276871501691,0.839925512104283,0.7700118297814127,0.5280125779477305
+36.24338624338624,137000,0.7628545170184292,0.7478597602931527,0.6556126027550991,0.870316573556797,0.7679374005744808,0.522456786408355
+36.507936507936506,138000,0.7638219312813402,0.7495791245791246,0.6629158792876367,0.8623091247672253,0.7722601034434282,0.5270212920228029
+36.77248677248677,139000,0.7621128327501975,0.7479235268098491,0.6676318329384926,0.8501675977653631,0.77024567224601,0.5250642652412412
+37.03703703703704,140000,0.7642572676996501,0.7491322387433202,0.6611666809153344,0.8640968342644321,0.7714152803501615,0.5258506998753885
+37.301587301587304,141000,0.7608390706373648,0.7468387518379349,0.665221187427241,0.8512849162011173,0.7687876438390504,0.5225433057965744
+37.56613756613756,142000,0.7624353041711678,0.7492082054280564,0.6643048474898471,0.8589944134078212,0.7673680107707251,0.5266226366762914
+37.83068783068783,143000,0.7605810935005886,0.7472656632603089,0.6651941408974658,0.85243947858473,0.766421118184297,0.5233015253980097
+38.095238095238095,144000,0.7641766498444076,0.7493394284232199,0.6634231751772439,0.8608193668528864,0.7680841295684586,0.5266805723110913
+38.35978835978836,145000,0.7611937892004321,0.7470937826541275,0.6651258794115937,0.8521042830540038,0.7656198236504561,0.5229770214341006
+38.62433862433863,146000,0.7624030570290709,0.7468422510878955,0.6639812212014954,0.8533333333333334,0.7665726752078599,0.5222543193023963
+38.888888888888886,147000,0.7629835055868174,0.7487513144058886,0.6699006291527019,0.8486405959031658,0.767868158795711,0.527092148935151
+39.15343915343915,148000,0.7638380548523888,0.750548245614035,0.6618040152419951,0.8667783985102421,0.7697080569618937,0.5286188549669849
+39.41798941798942,149000,0.7655149062414344,0.7510835112232356,0.6637512147716229,0.86487895716946,0.7709303855168135,0.5299766561853224
+39.682539682539684,150000,0.7657083890940165,0.748580461995096,0.6602640714814182,0.864171322160149,0.7714663298366322,0.524648726226239
+39.94708994708995,151000,0.7663855790780542,0.7493244475389995,0.6752113770129365,0.8417132216014898,0.7725185790329254,0.5294772469091619
+40.21164021164021,152000,0.7648699633994938,0.7488853019673021,0.6558799652884696,0.8726256983240224,0.7708674611921331,0.524466646807875
+40.476190476190474,153000,0.7632576062946421,0.7492206499208409,0.66684098898864,0.8548230912476723,0.7702005171541698,0.5272010078849673
+40.74074074074074,154000,0.7601780042243756,0.7467815360516913,0.6645178151406917,0.8522905027932961,0.7674508580017302,0.5222719754826375
+41.00529100529101,155000,0.7621128327501975,0.7476788903728258,0.6582145791427033,0.8652886405959032,0.76878938088583,0.5225733412525209
+41.26984126984127,156000,0.7618226084713242,0.7476617271499909,0.6637017356398186,0.8559404096834264,0.7692981741570134,0.5236720423217278
+41.53439153439153,157000,0.7657406362361135,0.7508376584981276,0.6715931127695833,0.8512849162011173,0.773786169012702,0.5312022848072047
+41.7989417989418,158000,0.7664661969332968,0.7526403557531962,0.6707658235225551,0.8572811918063314,0.7727480204023357,0.5342480052568791
+42.06349206349206,159000,0.7650473226810274,0.7528448470391026,0.6636167310752443,0.8697951582867784,0.7725030435360829,0.5332605047817502
+42.32804232804233,160000,0.7639186727076313,0.7529953468765705,0.6667432312153665,0.86487895716946,0.7710068485485637,0.5340916377746006
+42.592592592592595,161000,0.7647570984021541,0.7524097066373895,0.6640921138883347,0.8678212290502794,0.7723093923055,0.5325205521477028
+42.857142857142854,162000,0.7661437255123265,0.7520903077644624,0.6646656947660292,0.8659962756052142,0.7735653276436498,0.5320239055133802
+43.12169312169312,163000,0.7637090662840006,0.7499354005167959,0.6620473339036214,0.864729981378026,0.7712510810783811,0.5275159760298763
+43.386243386243386,164000,0.7621128327501975,0.7501297521733489,0.664396943055795,0.861266294227188,0.7709498697984954,0.5283343657377144
+43.65079365079365,165000,0.7605165992163945,0.749015701342441,0.6508119693347622,0.882122905027933,0.7688639799047519,0.5240482516355608
+43.91534391534392,166000,0.7638703019944857,0.7513466890165509,0.6672254819782062,0.8597392923649907,0.772201912470141,0.5311466614492697
+44.17989417989418,167000,0.7664984440753938,0.752507226950469,0.6643095434974765,0.8677094972067039,0.7751402983184114,0.5327416534093898
+44.44444444444444,168000,0.7653536705309492,0.7517155133713846,0.6599572096165757,0.8731098696461825,0.7746028647694809,0.5305292267711124
+44.70899470899471,169000,0.7672562519146741,0.754433768344567,0.6592864900994235,0.8816759776536313,0.7752901241350347,0.5357267364473075
+44.973544973544975,170000,0.7650473226810274,0.7524758811577044,0.6595798390037304,0.8758286778398511,0.7737469969288711,0.5319396197595745
+45.23809523809524,171000,0.7644507505522323,0.7514956431265445,0.6668109168541919,0.8608193668528864,0.77297874879152,0.5313347840801469
+45.5026455026455,172000,0.764096031989165,0.7525827687280765,0.6602310091897816,0.8749720670391061,0.7732003476012115,0.5322378519172072
+45.767195767195766,173000,0.7632092355814966,0.7518314290708576,0.6556722747304526,0.8810428305400373,0.7736414743205583,0.5301833137384757
+46.03174603174603,174000,0.764128279131262,0.75099960175229,0.6561447459986082,0.8779143389199255,0.7733574366099456,0.5286060561117646
+46.2962962962963,175000,0.7621773270343916,0.7498953334836238,0.660529899012822,0.8672253258845437,0.7719558321587102,0.527163404442002
+46.560846560846564,176000,0.7640476612760194,0.7518556437164063,0.6589647243564578,0.8752327746741154,0.7732821410044143,0.530653566345915
+46.82539682539682,177000,0.7650956933941729,0.752970987763219,0.6612117285863166,0.8743016759776536,0.7730230040911981,0.5331269150947412
+47.08994708994709,178000,0.7626126634527015,0.7512278861284631,0.6552699442642043,0.8801117318435754,0.7724999935684339,0.5289452645736011
+47.354497354497354,179000,0.7654665355282888,0.7537843682421995,0.6689175540357256,0.8633147113594041,0.7750309034352378,0.535962677396181
+47.61904761904762,180000,0.76719175763048,0.754925163106051,0.6614638793924789,0.8791433891992552,0.7762982229681197,0.5369454341428579
+47.883597883597886,181000,0.7670466454910434,0.7539067544879245,0.6653559012936684,0.8696461824953445,0.7764972028877198,0.5355547511408353
+48.148148148148145,182000,0.7659663662307928,0.7535784583891032,0.6527895239394352,0.8911731843575419,0.7759479841564945,0.5334381809883691
+48.41269841269841,183000,0.7660308605149868,0.7535315807115835,0.6593480264811866,0.8791061452513966,0.775960570131085,0.5339628526782032
+48.67724867724868,184000,0.7653697941019977,0.7533587712829062,0.6613838531696881,0.8750465549348231,0.7749886803974877,0.5338980822791809
+48.94179894179894,185000,0.7645313684074749,0.7527490297542044,0.6651900543012289,0.866852886405959,0.7740718815212855,0.5333500700081445
+49.20634920634921,186000,0.7642572676996501,0.7537778345739752,0.6599351085253972,0.878733705772812,0.7736116009743502,0.5345169405399
+49.47089947089947,187000,0.7639831669918253,0.753240136292711,0.6578596061853377,0.8809683426443203,0.7728051212872723,0.5332134561485152
+49.735449735449734,188000,0.7661759726544235,0.7547793474978944,0.658258724395044,0.8844692737430168,0.7752866064835977,0.5363038487454258
+50.0,189000,0.7644023798390868,0.7535949383268358,0.6598858358050255,0.8783240223463687,0.7740585230188735,0.5341539654526108
+50.264550264550266,190000,0.7639347962786798,0.7529595213849287,0.6572865159175509,0.8812290502793296,0.7734693506590957,0.5325947841291905
+50.52910052910053,191000,0.7640799084181165,0.7535097666544217,0.6596292049998602,0.8785474860335195,0.773455700700601,0.5339553441463285
+50.79365079365079,192000,0.7656600183808709,0.754504934734161,0.6588546010564359,0.8826443202979516,0.7748834308239563,0.5358202184447091
+51.05820105820106,193000,0.7655149062414344,0.7543184033492593,0.6605748509697461,0.8790689013035382,0.7752745390863459,0.5356517172289059
+51.32275132275132,194000,0.7662888376517631,0.7551112254082551,0.6641972515975796,0.8748603351955307,0.777008566327688,0.5376687340455462
+51.58730158730159,195000,0.7674013640541107,0.7569075923028534,0.667567644464677,0.873854748603352,0.7774184322776321,0.541592140132882
+51.851851851851855,196000,0.7670627690620919,0.756264829200117,0.6708568792526813,0.8665921787709497,0.7771932300429866,0.5409150302582091
+52.116402116402114,197000,0.7670627690620919,0.7557872986149227,0.6669990882151812,0.8718435754189944,0.7775947397511751,0.5393761775866834
+52.38095238095238,198000,0.7667725447832185,0.7553963798277031,0.6663251366120219,0.8719553072625699,0.777431193404544,0.5385298107291973
+0.26455026455026454,1000,0.7117589203656826,0.7177313432835821,0.5988542963885429,0.8954934823091247,0.660905056042479,0.4537581257418676
+0.26455026455026454,1000,0.7117589203656826,0.7177313432835821,0.5988542963885429,0.8954934823091247,0.6609050528483301,0.4537581257418676
+0.26455026455026454,1000,0.7243353057835249,0.7326133128473947,0.6150694286364671,0.9056983240223464,0.6722293510542969,0.4874972730253775
+0.5291005291005291,2000,0.707147579045807,0.7160849861691485,0.5918665174879603,0.906294227188082,0.6584072655634612,0.44986278694177695
+0.7936507936507936,3000,0.7124361103497202,0.7209142310108595,0.6023897610238976,0.8975046554934824,0.6651730328736329,0.4610463011911712
+1.0582010582010581,4000,0.721336321568501,0.7278716525346184,0.6162904808635917,0.8887895716945996,0.6776647331613402,0.47711047233743326
+1.3227513227513228,5000,0.7200625594556682,0.7260546204570774,0.6093449914080663,0.8980633147113594,0.6794616400921283,0.47275385435552075
+1.5873015873015874,6000,0.7186598087744474,0.7285712151320016,0.6083181557346373,0.9080819366852887,0.678449489648568,0.47847085497695163
+1.8518518518518519,7000,0.715644700988375,0.7232219884669523,0.6091634583513934,0.8898324022346369,0.6713541777710774,0.46653517388821114
+2.1164021164021163,8000,0.718772673771787,0.7238588930245173,0.6078813494976083,0.8945251396648045,0.6804668786632302,0.46783520510058907
+2.380952380952381,9000,0.7184340787797682,0.7247912120984125,0.6080797879055675,0.8969459962756052,0.6942875060207415,0.4699047891671318
+2.6455026455026456,10000,0.7164025088276551,0.7232579185520364,0.6077566539923954,0.8929608938547486,0.6868141561241502,0.4665090898207901
+2.91005291005291,11000,0.7257380564647458,0.7341436666057394,0.6210762331838565,0.8975418994413408,0.6806438861921056,0.4909113329635937
+0.10582010582010581,100,0.7135970074652134,0.7199391852613692,0.6001640199806159,0.8994413407821229,0.6635199864463177,0.45878062640812023
+0.21164021164021163,200,0.7212879508553555,0.7267314227287762,0.6093907605406496,0.9000372439478584,0.6751972217267528,0.47426626160146673
+0.31746031746031744,300,0.7234646329469051,0.7289919124500166,0.6111867311958056,0.9030540037243948,0.6735650036346769,0.4793610249278051
+0.42328042328042326,400,0.7202076715951049,0.7272645565259075,0.608289272558699,0.904096834264432,0.6701428356555458,0.475470846045479
+0.5291005291005291,500,0.7243836764966705,0.7310702584637786,0.6166896975280208,0.8975418994413408,0.6776285809731222,0.48405446118781564
+0.6349206349206349,600,0.726495864304026,0.734403391883707,0.6187803010972187,0.9031657355679702,0.6771650002049592,0.4914632062824705
+0.7407407407407407,700,0.7229164315312555,0.7287978209731335,0.623470846793412,0.8769459962756052,0.671402703412655,0.4798879277250998
+0.8465608465608465,800,0.7200303123135712,0.7276620950471591,0.614372547510964,0.8921787709497206,0.6678865510195985,0.47651614143737253
+0.9523809523809523,900,0.7220618822656842,0.7299836848147925,0.6140649621308393,0.8998510242085661,0.6796701759152812,0.481595304045966
+1.0582010582010581,1000,0.716773350961771,0.7239782383885617,0.6057482506959597,0.8995530726256983,0.672281431406155,0.4680222657557597
+1.164021164021164,1100,0.7178213830799245,0.7228639848185912,0.6068222621184919,0.893780260707635,0.6763251936543287,0.46558755555679987
+1.2698412698412698,1200,0.7253833379016784,0.7288844135237398,0.6173308523285264,0.8896461824953446,0.7061208835043133,0.47935591590197624
+1.3756613756613756,1300,0.7178858773641186,0.7209525811585934,0.6039800744691557,0.8941154562383613,0.689163050014151,0.4612077276613125
+1.4814814814814814,1400,0.7169507102433047,0.7237686088487127,0.6036627849109187,0.903538175046555,0.6848309813476376,0.4675343204002828
+1.5873015873015874,1500,0.7272214250012092,0.731746079342709,0.6124021280867296,0.9088640595903166,0.7088438677642825,0.4856144827527122
+1.693121693121693,1600,0.7252221021911933,0.7329168410354516,0.6120874731639123,0.9131843575418994,0.6841441173120842,0.488356938480207
+1.798941798941799,1700,0.7216265458473743,0.7294060723357929,0.6139591712060276,0.8983240223463688,0.7019441835995945,0.48031187044724677
+1.9047619047619047,1800,0.7241256993598942,0.7311781894955862,0.6204658167372056,0.8899813780260708,0.6910834214285527,0.48448728010116393
+0.013227513227513227,100,0.7195627287531643,0.7260071714828095,0.6096042910636575,0.8973556797020484,0.6690665644435123,0.4726564022540186
+0.026455026455026454,200,0.7281082214088777,0.7345389392490017,0.6200620369658284,0.9008566108007449,0.6800948760369643,0.4917628905850036
+0.03968253968253968,300,0.7157091952725689,0.7263973838793678,0.6119585735421662,0.8934823091247672,0.664749026449293,0.47362194185378764
+0.05291005291005291,400,0.7030683155705325,0.7119963302209266,0.5906847700655553,0.8960148975791434,0.6628763577248821,0.4403862627477715
+0.06613756613756613,500,0.7123554924944777,0.7202005688649091,0.5938920591933455,0.9147486033519553,0.6819369177459955,0.4596021289004818
+0.07936507936507936,600,0.6931684429467438,0.705172014363489,0.5768465438006348,0.906927374301676,0.6614747505707088,0.42407283019995334
+0.09259259259259259,700,0.6879605294980732,0.6985861182519281,0.5746623732397751,0.8906517690875233,0.6624433027140442,0.40851743620117215
+0.10582010582010581,800,0.686735138098386,0.6924807717760555,0.5721645726506112,0.8768715083798883,0.6669413090291771,0.39459970039839465
+0.11904761904761904,900,0.6768997597587914,0.6871684878699168,0.5624406908331752,0.8829795158286778,0.6521535930300569,0.38075148049725743
+0.13227513227513227,1000,0.6617274794021379,0.6735816259652923,0.5454587410005538,0.8803724394785847,0.6380061697209345,0.34590938438822566
+0.1455026455026455,1100,0.6517147417810096,0.6633165829145728,0.5349925790615367,0.8726256983240224,0.6250025328272745,0.3193441319851315
+0.15873015873015872,1200,0.6534238403121523,0.6648821663267619,0.5364276246629188,0.8742271880819367,0.6194041311480227,0.3233688331927865
+0.17195767195767195,1300,0.6615178729785073,0.6700039933823949,0.5428974252299728,0.8748230912476722,0.6309010550175227,0.33713280098559356
+0.18518518518518517,1400,0.6588091130423567,0.6681353839245622,0.536024676903679,0.8866666666666667,0.633341838620369,0.3305055883986777
+0.1984126984126984,1500,0.6464262104770965,0.6580605501767327,0.5265499586379592,0.8771322160148975,0.6210528592938686,0.30390375835064953
+0.13227513227513227,1000,0.7161606552619274,0.7236685767570576,0.6069275208759051,0.8960148975791434,0.6665534715942713,0.46736852807704726
+0.26455026455026454,2000,0.7190145273375147,0.7274387460051742,0.6150283067421514,0.8901303538175046,0.664680877309155,0.47608205469812165
+0.3968253968253968,3000,0.7140645910256204,0.7201470786063404,0.6014530746760542,0.8972067039106145,0.6657655143988602,0.4592901447266095
+0.5291005291005291,4000,0.7197400880346979,0.7278825746894434,0.6050482370648178,0.9132960893854749,0.6694476524934511,0.4770635681866832
+0.6613756613756614,5000,0.718337337353477,0.7281172275328878,0.6090945552993081,0.9049534450651769,0.6659924425439305,0.4774024849705108
+0.7936507936507936,6000,0.7197078408926009,0.7282224750044901,0.6087533156498673,0.9060335195530727,0.667272248584975,0.4776517284523561
+0.9259259259259259,7000,0.728995017816546,0.7373709775349121,0.6223161670509865,0.9046182495344507,0.6790609936811524,0.4980473649844705
+1.0582010582010581,8000,0.7204656487318811,0.7252351168390604,0.6111125290319287,0.8917690875232774,0.6821272774181601,0.4710409035628006
+1.1904761904761905,9000,0.7250608664807081,0.7305632897836796,0.6199241873507114,0.8892737430167598,0.677760454367614,0.48313774817091576
+1.3227513227513228,10000,0.7158865545541027,0.723467548076923,0.606320825988416,0.8967225325884544,0.6707123717061756,0.4668970730365485
+1.455026455026455,11000,0.7199013237451831,0.7256914141262152,0.6088164007271258,0.8981005586592179,0.6707409693014135,0.4719303444047745
+1.5873015873015874,12000,0.721868399413102,0.7301148027066068,0.6169343440832584,0.8941527001862197,0.6701549370551425,0.48197783777446745
+1.7195767195767195,13000,0.7229970493864981,0.7291549659223728,0.6153885572266776,0.8945251396648045,0.6749936936084554,0.479813734345982
+1.8518518518518519,14000,0.7135163896099708,0.7219896065330363,0.600320987654321,0.905512104283054,0.664761209325391,0.4634832652713138
+1.9841269841269842,15000,0.7184824494929137,0.7249802275354384,0.612705023394519,0.8876350093109869,0.6727326031854292,0.47062439263717887
+2.1164021164021163,16000,0.7221586236919753,0.7287119140772519,0.6129761874507611,0.8983240223463688,0.6710237425806652,0.47875062237541466
+2.248677248677249,17000,0.7186920559165444,0.7245935114213005,0.6131844324658912,0.8854748603351955,0.6760229352972529,0.4698522509807727
+2.380952380952381,18000,0.7225133422550426,0.7284900027141954,0.6120401337792643,0.8996648044692738,0.6912673629262,0.478238129927711
+2.5132275132275135,19000,0.7184663259218652,0.7265881209765578,0.613318295996309,0.8911731843575419,0.6778669945683339,0.47412410171551617
+2.6455026455026456,20000,0.7239160929362636,0.7307298874781876,0.6129309039519507,0.9045810055865922,0.6815965995829676,0.48327326051141445
+2.7777777777777777,21000,0.7191757630479999,0.7265622678513061,0.6043850108760135,0.9106517690875233,0.676970757090261,0.47399294143631776
+2.91005291005291,22000,0.717708518082585,0.7265756413947779,0.6125092618615703,0.8928491620111731,0.6672914950137112,0.4740428699250319
+3.0423280423280423,23000,0.7187081794875929,0.7239601551212835,0.6117979694126718,0.8864804469273743,0.6780633662251263,0.4683630492695434
+3.1746031746031744,24000,0.7150964995727254,0.7209075384240058,0.6103165177879899,0.8804469273743016,0.6787025268135227,0.4617574782976066
+3.306878306878307,25000,0.721836152271005,0.7287944244577242,0.6115756764267488,0.9016014897579143,0.6792095116745752,0.47891507640192826
+3.439153439153439,26000,0.719836829460989,0.7244063304443192,0.6128450297672741,0.8856238361266294,0.6835580614210183,0.4694196946052337
+3.571428571428571,27000,0.723400138662711,0.7255988069513346,0.6134468917249897,0.8879329608938548,0.6867905724916761,0.47201289161065
+3.7037037037037037,28000,0.7180632366456523,0.7221054201148139,0.6021136391893572,0.9018249534450652,0.679394351659901,0.46373487740301517
+3.835978835978836,29000,0.7188855387691265,0.720734859675037,0.6140475066855435,0.8722905027932961,0.6888980717034692,0.4620164191847296
+3.9682539682539684,30000,0.7201593008819593,0.7232168617982475,0.6105427787606081,0.8868901303538175,0.6925488317413497,0.4666521935186872
+4.1005291005291005,31000,0.7210299737185792,0.7248348525388114,0.6100043253695646,0.8929236499068901,0.6898422805840461,0.4700968900480403
+4.232804232804233,32000,0.7223037358314119,0.7253189446248114,0.613902004799133,0.886145251396648,0.690575874692857,0.47146300343005826
+4.365079365079365,33000,0.7158220602699086,0.7182069930921152,0.6071465322082733,0.8789944134078213,0.6817875439897024,0.4556655095651951
+4.497354497354498,34000,0.7213201979974525,0.7271285588186892,0.6076617238878748,0.9050651769087523,0.6862317912116369,0.47517110412821156
+0.13227513227513227,1000,0.7037777526966672,0.7122170715871171,0.5989283084033827,0.8783612662942272,0.6476617871668658,0.44182914870985407
+0.26455026455026454,2000,0.7037777526966672,0.7122170715871171,0.5989283084033827,0.8783612662942272,0.6476617871668658,0.44182914870985407
+0.3968253968253968,3000,0.7037777526966672,0.7122170715871171,0.5989283084033827,0.8783612662942272,0.6476617871668658,0.44182914870985407
+0.5291005291005291,4000,0.7037777526966672,0.7122170715871171,0.5989283084033827,0.8783612662942272,0.6476617871668658,0.44182914870985407
+0.13227513227513227,1000,0.7213201979974525,0.7271285588186892,0.6076617238878748,0.9050651769087523,0.6862317912116369,0.47517110412821156
+0.26455026455026454,2000,0.7213201979974525,0.7271285588186892,0.6076617238878748,0.9050651769087523,0.6862317912116369,0.47517110412821156
+0.20665426741062204,1000,0.7200141887425227,0.7278732827865776,0.6097346245755251,0.9027932960893855,0.6704549687851825,0.4768397168625285
+0.4133085348212441,2000,0.7121136389287499,0.7207924959413144,0.6043000453697636,0.8929236499068901,0.6597478300034767,0.460875116116247
+0.6199628022318661,3000,0.7151609938569194,0.7245468053491828,0.6027441285537701,0.9080446927374302,0.6669709648321472,0.4693568861607318
+0.8266170696424882,4000,0.7211589622869673,0.7313708695848171,0.6130129222398549,0.9063687150837989,0.6678462884683662,0.4847292686254081
+1.0332713370531101,5000,0.7230776672417407,0.7301863316793837,0.6110288767906872,0.9070763500931098,0.6785992536113188,0.4820851044907818
+1.2399256044637321,6000,0.7215942987052772,0.7276591255068052,0.6111603412917437,0.8990316573556797,0.6779123657710711,0.4763703481041776
+1.4465798718743543,7000,0.7209816030054337,0.7284387775261775,0.6152858719930169,0.8925884543761639,0.6791021726832315,0.47825374516428937
+1.6532341392849763,8000,0.7164831266828977,0.7253912468835422,0.6077972415181717,0.8994040968342645,0.6651572665359612,0.4712352120665218
+1.8598884066955983,9000,0.7186114380613018,0.7258963782240153,0.6107085653268248,0.8946368715083799,0.6760478994485154,0.47245852292448876
+2.0665426741062203,10000,0.7187887973428355,0.7248108083710715,0.6080218088194462,0.8971322160148976,0.6767345077258256,0.46994621454657703
+2.2731969415168423,11000,0.7206913787265603,0.7256989868873407,0.6133768771857643,0.8883798882681564,0.6732238003486598,0.4722202637249701
+2.4798512089274642,12000,0.7163218909724126,0.7217584694126249,0.6106242589824218,0.8823463687150838,0.6717305984436244,0.4635779604268605
+2.6865054763380862,13000,0.7180632366456523,0.7254369283709137,0.6098507917174177,0.8950837988826815,0.6747758205881556,0.47140695423654955
+2.8931597437487087,14000,0.717837506650973,0.7226775549131226,0.6023449920508744,0.9030912476722532,0.6744853781038298,0.46504302654497465
+3.0998140111593306,15000,0.7144515567307848,0.7198420711583959,0.6045204890025058,0.8895344506517691,0.6693201284700867,0.45881659704005695
+3.3064682785699526,16000,0.71874042662969,0.7221336603310852,0.6135972909611878,0.87731843575419,0.676716509825962,0.4647837403927791
+3.5131225459805746,17000,0.7184824494929137,0.7229960140040315,0.6095423066111267,0.888342644320298,0.6767705202627189,0.46608228495590376
+3.7197768133911966,18000,0.7171441930958868,0.7209941020215209,0.6038006183545735,0.8946368715083799,0.676103716807344,0.46128926835209055
+3.9264310808018186,19000,0.7174505409458086,0.7207242788351993,0.6085785382622303,0.883538175046555,0.6799342553355878,0.4611412909463193
+4.133085348212441,20000,0.7197239644636494,0.7214854927540691,0.6146204655063955,0.8733333333333333,0.6887580095554182,0.4636357372974442
+4.3397396156230625,21000,0.7230131729575466,0.7244970050683459,0.6164662833246211,0.8784357541899441,0.7018827302703126,0.4700726584575308
+4.5463938830336845,22000,0.7246094064913498,0.7259282178217822,0.6208520772691188,0.8738175046554935,0.7008536170771806,0.47367759750397687
+4.7530481504443065,23000,0.7212395801422099,0.7232611369758498,0.6214379364782062,0.8649906890130353,0.7040602597245241,0.46851117466693154
+4.9597024178549285,24000,0.7183857080666226,0.7222299222299223,0.6157017198372062,0.8733333333333333,0.6971368972073788,0.4653323471248855
+5.1663566852655505,25000,0.7184663259218652,0.7228676851767146,0.6119630318050392,0.8828677839851025,0.6977590750918574,0.4660752971835206
+5.3730109526761725,26000,0.7200625594556682,0.7215993100049285,0.6152108829245233,0.8724767225325885,0.7035320372330723,0.46397228153652503
+5.579665220086794,27000,0.7215942987052772,0.7258190987223444,0.6180513733602158,0.8791061452513966,0.6975579197037988,0.4730180842183275
+5.786319487497417,28000,0.7218522758420535,0.7259676540069054,0.611698055427959,0.8927374301675978,0.6964158301350184,0.47267058111780946
+5.992973754908039,29000,0.7190145273375147,0.7231904299247025,0.6103992619547948,0.8871135940409683,0.6911236259294468,0.46658131404298003
+6.199628022318661,30000,0.7143709388755421,0.7183868658716742,0.6076885419082219,0.8783985102420857,0.679102298363994,0.45612369274707676
+6.406282289729283,31000,0.7192725044742909,0.723499429440852,0.6116012861736334,0.885512104283054,0.6954912521560606,0.46736448131649505
+6.612936557139905,32000,0.7140968381677174,0.7177219613742383,0.6061702728369395,0.8795903165735568,0.6917208107029658,0.45450523731800346
+6.819590824550527,33000,0.7165153738249948,0.7216291623703525,0.6085989053148498,0.886219739292365,0.6971866013526605,0.4630636128388309
+7.026245091961149,34000,0.7225778365392367,0.7228396288426556,0.6130370524023129,0.8805586592178771,0.7083417019015853,0.4661585626449242
+7.232899359371771,35000,0.7186436852033988,0.7210487982520027,0.6174199198535071,0.8664804469273742,0.699429170137759,0.4633149882136105
+7.439553626782393,36000,0.7215781751342287,0.7231409400095199,0.6151997282963659,0.8770204841713222,0.7059848592148279,0.46709980132512435
+7.646207894193015,37000,0.7171603166669354,0.7180822382104177,0.6123387372237842,0.8679702048417132,0.6963003196494649,0.4563671087979966
+7.852862161603637,38000,0.7212395801422099,0.7220739377205093,0.6138758476786645,0.8765735567970205,0.704927689112478,0.4647057006740059
+8.05951642901426,39000,0.7165476209670918,0.7194407131517889,0.6095390823030366,0.8776908752327747,0.7013801632681849,0.45859796812788683
+8.266170696424881,40000,0.7191757630479999,0.7203183318424381,0.6147204380330631,0.8697206703910615,0.6968857420054212,0.46131063378487985
+8.472824963835503,41000,0.7165637445381403,0.7175947231170424,0.6100678142931664,0.8711359404096835,0.700708361450251,0.45492655211680627
+8.679479231246125,42000,0.7195466051821158,0.7158137390502535,0.6093406593406593,0.8673743016759776,0.7126392887953721,0.45120785676826836
+8.886133498656747,43000,0.7253672143306299,0.7268489411620382,0.6177827594296588,0.88268156424581,0.7149585677729409,0.47511192803839386
+9.092787766067369,44000,0.7190467744796117,0.7229485146737666,0.6040895910408959,0.9000372439478584,0.7042803402364397,0.46567066925460887
+9.299442033477991,45000,0.7193208751874365,0.7221589442191747,0.6096879247121574,0.885512104283054,0.7020856481128019,0.4643101068173728
+9.506096300888613,46000,0.721336321568501,0.7236277873070326,0.6144982572959475,0.8798882681564246,0.712878250065759,0.4679968166109587
+9.712750568299235,47000,0.7257219328936972,0.7230529595015577,0.6214190093708166,0.8644320297951583,0.721478453892262,0.468101613281412
+9.919404835709857,48000,0.723867722223118,0.7199427629327775,0.618096357226792,0.8619739292364991,0.7179350649770229,0.46130848925238527
+10.126059103120479,49000,0.7209654794343852,0.7203474671554206,0.61415027444389,0.8709497206703911,0.7129038449776613,0.46125713074687474
+10.332713370531101,50000,0.7199496944583287,0.7194613658223791,0.6096406116587751,0.8775418994413408,0.7118695923726277,0.45865682713189254
+10.539367637941723,51000,0.7234807565179536,0.7222796488575529,0.6165354123317618,0.871806331471136,0.7162113133370946,0.46558383055351565
+10.746021905352345,52000,0.7257058093226488,0.7248054280582718,0.616509544825425,0.8792551210428305,0.7180775986737268,0.4707131638604766
+10.952676172762967,53000,0.7174666645168571,0.7211303156695859,0.6145109251632872,0.8725139664804469,0.7046213920820211,0.4628989783701253
+11.159330440173589,54000,0.7198690766030861,0.7220954612728169,0.6160625032882622,0.8722160148975792,0.7100229289413904,0.46512669639822235
+11.36598470758421,55000,0.7251253607649022,0.7260328430323232,0.6158435360033202,0.8842458100558659,0.7162982694126746,0.47317854016730615
+11.572638974994833,56000,0.718901662340175,0.7251572610307916,0.6074347946376921,0.8994785847299813,0.7003084287647245,0.47070348945320906
+11.779293242405455,57000,0.7183212137824285,0.7223493516399695,0.6117571059431525,0.8817504655493482,0.7009160789702408,0.46496357743432487
+11.985947509816079,58000,0.7264152464487835,0.7254756838437105,0.6190137880223134,0.8761638733705773,0.7165968445162222,0.47246142363171334
+12.1926017772267,59000,0.7259154157462795,0.7234688552587883,0.6286585868579437,0.8519553072625698,0.7168323643014056,0.47067414552501496
+12.399256044637323,60000,0.7207236258686573,0.72240936428099,0.6153342242486177,0.8745996275605215,0.7080294050338514,0.4656313782963637
+12.605910312047945,61000,0.7210944680027732,0.7224055626333483,0.6144285751586204,0.8764245810055866,0.7113823076256127,0.46547305001217465
+12.812564579458567,62000,0.724867383628126,0.7246029647373579,0.622132001388926,0.8674860335195531,0.7164884442383894,0.47128249976257586
+13.019218846869189,63000,0.7251737314780478,0.7242878283388826,0.617879122613224,0.8749720670391061,0.7197220217911493,0.46986802855747706
+13.22587311427981,64000,0.7254155850437755,0.7244905688962957,0.6106499808453582,0.8905027932960894,0.717870393001163,0.4693951992485853
+13.432527381690432,65000,0.7235130036600507,0.723497673268092,0.6184812200988555,0.8714711359404097,0.7106777927354226,0.4683837789392349
+13.639181649101054,66000,0.7194337401847761,0.721128728509811,0.6088372570138996,0.8842085661080075,0.7089020150588947,0.46200279058037114
+13.845835916511676,67000,0.7182244723561374,0.7212189110463813,0.6020950243172465,0.8991061452513966,0.7089482209389656,0.4617228291751464
+14.052490183922298,68000,0.7227874429628675,0.723106089330401,0.6099270820007675,0.8878584729981378,0.7163024663430582,0.46635465583186914
+14.25914445133292,69000,0.7252221021911933,0.7234974374902935,0.6204848161960576,0.8675232774674115,0.7213312129953184,0.46877354724127485
+14.465798718743542,70000,0.7195788523242128,0.7214575273209304,0.6154311410313724,0.8716201117318436,0.7057436061188441,0.4637280696086988
+14.672452986154164,71000,0.7203527837345415,0.722794377992272,0.6160224618856438,0.8743389199255122,0.7048734342753518,0.46652969488395285
+14.879107253564786,72000,0.7231582850969833,0.723195686803088,0.6141838805348874,0.8792551210428305,0.7093907495214022,0.46705870727475146
+15.085761520975408,73000,0.7263185050224924,0.7257935574888315,0.626634185952091,0.8622346368715084,0.7140303344637037,0.47455782476972547
+15.29241578838603,74000,0.7300752970767965,0.725790490551812,0.6275772145709396,0.8604469273743017,0.7237371367644172,0.4747674103763227
+15.499070055796652,75000,0.7228841843891585,0.7210632050687683,0.6162176439513999,0.8689013035381751,0.7126581000806042,0.4630938490211409
+15.705724323207274,76000,0.7224488479708486,0.7231149190474738,0.6121205864133802,0.8832774674115457,0.7126579138365037,0.4666137622171195
+15.912378590617896,77000,0.7227874429628675,0.7233124799241323,0.6136994834791185,0.8805959031657355,0.710391140865817,0.4672320255634069
+16.11903285802852,78000,0.7224166008287516,0.7221914605635537,0.6151286485353455,0.8743761638733706,0.7131699033469221,0.4651541576718826
+16.325687125439142,79000,0.7221263765498782,0.7222658596312895,0.6157724730166233,0.8732960893854749,0.713215491075459,0.46541747156556623
+16.532341392849762,80000,0.7245610357782042,0.7222963337780027,0.6138869340839784,0.8772067039106145,0.7192749547548557,0.46516303540785026
+16.738995660260386,81000,0.7246255300623983,0.7227363681840919,0.62277062341721,0.8609310986964618,0.7178513909524495,0.4677971607423912
+16.945649927671006,82000,0.7279792328404895,0.7247280795667893,0.6211335407856592,0.8697951582867784,0.7209731816201207,0.471332672038974
+17.15230419508163,83000,0.7291401299559827,0.7250193408633762,0.6201429327686606,0.8725884543761638,0.7222042845800924,0.47173046832998416
+17.35895846249225,84000,0.7291240063849341,0.7244259516104178,0.617875920084122,0.8753817504655493,0.7226367131608399,0.470147443749563
+17.565612729902874,85000,0.7260927750278131,0.7221234560267132,0.6172793826149008,0.8698696461824953,0.7207113249409953,0.4654132833498547
+17.772266997313494,86000,0.7256735621805518,0.722536066109529,0.6205790360093031,0.8645810055865922,0.7182412217833877,0.46691086909925567
+17.978921264724118,87000,0.727398784282743,0.7262475676835154,0.6169143868599839,0.88268156424581,0.7177049795346218,0.47375385147744903
+18.185575532134738,88000,0.7253672143306299,0.7240407204385279,0.6247297297297297,0.8608938547486034,0.7147607543985055,0.47075855278370426
+18.392229799545362,89000,0.7223037358314119,0.7208129655044797,0.6150688176004632,0.870465549348231,0.7131159941025651,0.46236736003598755
+18.598884066955982,90000,0.7224649715418971,0.7220641827995018,0.614907157635597,0.8744506517690875,0.7125855981684088,0.4648578528363267
+18.805538334366606,91000,0.7258831686041824,0.7241981779608136,0.6230740323186772,0.8645065176908753,0.7184657029277266,0.4706893687090958
+19.012192601777226,92000,0.7268344592960448,0.7232555943725805,0.6262262916939176,0.8558659217877095,0.7231176686903817,0.4696341224079933
+19.21884686918785,93000,0.7247867657728834,0.7221386126324609,0.6188867909475307,0.8667411545623837,0.7201673727879452,0.46576924162314354
+19.42550113659847,94000,0.7245610357782042,0.7200621846946397,0.6094270013673538,0.8797765363128491,0.7194228629284888,0.45986889869922065
+19.632155404009094,95000,0.7219490172683446,0.7213109685398469,0.6165983877362231,0.8688640595903165,0.7138912594411917,0.4636627117267755
+19.838809671419714,96000,0.7238032279389239,0.7208321619342142,0.6207230471271789,0.8594413407821229,0.7150680512410453,0.4636535838296851
+20.045463938830338,97000,0.7254800793279695,0.7214877678886013,0.6127924223893414,0.8770577281191806,0.7187985749231492,0.4633307441594459
+20.252118206240958,98000,0.724899630770223,0.7221185071301947,0.6238310790664896,0.8571694599627561,0.7161109613006198,0.4668778112829996
+20.45877247365158,99000,0.724867383628126,0.722122288091849,0.6225020900191472,0.8597020484171323,0.7164066962383673,0.46655614346986424
+20.665426741062202,100000,0.7252704729043389,0.7221319670082478,0.6219125006726578,0.8608566108007448,0.7173465069984627,0.4664334902982361
+20.872081008472826,101000,0.7258347978910369,0.7236943375481034,0.6257503734890669,0.8579888268156425,0.7181590591130524,0.4703432422441365
+21.078735275883446,102000,0.7285758049692846,0.7253948967193194,0.6234736503856041,0.8671508379888269,0.7194157950410829,0.47310833158777493
+21.28538954329407,103000,0.7274794021379856,0.7238279543042636,0.6229517004244345,0.8636871508379889,0.719096255894327,0.46994418989807724
+21.49204381070469,104000,0.725463955756921,0.7221546047498674,0.6214416156407777,0.8618249534450652,0.7187392490607826,0.466366493841438
+21.698698078115314,105000,0.7227874429628675,0.7214152934875074,0.6251228568308398,0.8527746741154563,0.7142856468417473,0.4658954620015695
+21.905352345525934,106000,0.7263346285935409,0.7232031444971301,0.6221619880843755,0.8634264432029796,0.7179533911701642,0.46855777945801985
+22.112006612936558,107000,0.7283017042614598,0.7236081125801723,0.6271751304395334,0.8550837988826816,0.7214949157845381,0.47054054294273046
+22.318660880347178,108000,0.7289466471034005,0.7239127021510442,0.6257600434310532,0.858584729981378,0.724973344481513,0.4707600218624925
+22.5253151477578,109000,0.7282372099772658,0.723576347141764,0.6229666872798645,0.8629422718808194,0.7247951201412668,0.4694605897906758
+22.73196941516842,110000,0.7272536721433063,0.7246372284094281,0.6240348658900756,0.8639106145251396,0.7224299135322216,0.4717506078959049
+22.938623682579045,111000,0.7251253607649022,0.7235348170760197,0.6217844045292716,0.8651024208566108,0.7179800513353637,0.4691194980046002
+23.145277949989666,112000,0.7249802486254656,0.7231725548823669,0.6261616023981469,0.8557541899441341,0.7168743501026391,0.4694612971354275
+23.35193221740029,113000,0.7250608664807081,0.7229294896766654,0.6214869390488948,0.8639478584729982,0.7173767841005092,0.4678765607448646
+23.55858648481091,114000,0.7261895164541042,0.723776007902698,0.618008329379514,0.8732216014897579,0.7204145165419609,0.46885676631012047
+23.765240752221533,115000,0.7264797407329775,0.7230611801916339,0.6193688907777306,0.8684543761638733,0.722214319395156,0.4676871715822524
+23.971895019632157,116000,0.7277857499879073,0.7237795961544444,0.6214736054712545,0.8664059590316574,0.7239640583262326,0.4695318548097032
+24.178549287042777,117000,0.7280598506957321,0.7234293518748448,0.620137299771167,0.8680074487895717,0.7243533500924404,0.4685688116888273
+24.3852035544534,118000,0.7277535028458103,0.7238698709527859,0.6186501122705059,0.8722160148975792,0.7239202832169926,0.4691597789135341
+24.59185782186402,119000,0.7277696264168588,0.7234667078634328,0.6181362196409715,0.8720670391061452,0.7247513157849893,0.46825842353671693
+24.798512089274645,120000,0.7291562535270312,0.72348614171762,0.6201447270405449,0.8681564245810056,0.7259153449034703,0.4686823406598607
+25.005166356685265,121000,0.7300108027926026,0.7242665841009367,0.619737713604451,0.8712104283054004,0.7269921225920306,0.47015210644186844
+25.21182062409589,122000,0.728462939971945,0.7228997081861466,0.6151071615263983,0.8764990689013036,0.7240089483103826,0.4665919089957041
+25.41847489150651,123000,0.728462939971945,0.7229844160283402,0.6202447282130575,0.8665176908752328,0.7244727186621323,0.46771569801775587
+25.625129158917133,124000,0.7283178278325083,0.7230081791054007,0.6181034710656409,0.8708007448789572,0.7238219962637347,0.4673352697410368
+25.831783426327753,125000,0.7263507521645894,0.7223945074442645,0.6166469116291321,0.8719180633147113,0.7207664318541939,0.4658349138536304
+26.038437693738377,126000,0.725931539317328,0.7220913801224681,0.624185667752443,0.8564245810055866,0.7207618405455559,0.4669167070713147
+26.245091961148997,127000,0.7262217635962013,0.722728056291235,0.6238738129379616,0.8588081936685289,0.7211647489584514,0.46804621157987486
+26.45174622855962,128000,0.7268344592960448,0.7229281897807932,0.6239755484028022,0.8591806331471136,0.7222143343071061,0.4684523934122253
+26.65840049597024,129000,0.7286241756824301,0.724200018953154,0.6287297060114085,0.853854748603352,0.7235727497109387,0.4720525955983145
+26.865054763380865,130000,0.7308492284871253,0.72536978862456,0.629503794832452,0.8556797020484171,0.7270542867372597,0.47443953201961814
+27.071709030791485,131000,0.7292207478112253,0.7249796072033632,0.6262670063418071,0.8606331471135941,0.7241971551144186,0.47291395890983007
+27.27836329820211,132000,0.7280114799825865,0.7237189811267649,0.6237231490715036,0.8618994413407821,0.7238540925225538,0.469907677756098
+27.48501756561273,133000,0.730059173505748,0.7244915532870942,0.6249696118419276,0.8617132216014898,0.7269921827943671,0.4716790110777015
+27.691671833023353,134000,0.7302365327872817,0.7245366753133107,0.6241384880465216,0.8634264432029796,0.7277009041459189,0.47157880987731376
+27.898326100433973,135000,0.7295754663742926,0.7231098408533634,0.6226633314505501,0.8621973929236499,0.7262577645927747,0.46849094611995235
+28.104980367844597,136000,0.7283661985456539,0.7222309406484416,0.6240778910826643,0.8570204841713221,0.7250446357815736,0.4671531580897609
+28.311634635255217,137000,0.7290111413875945,0.7233762983356276,0.6236042936512217,0.8611545623836127,0.7262043829460599,0.4692214016395753
+28.51828890266584,138000,0.72949484851905,0.7238089318457284,0.6210004266211604,0.8674115456238362,0.7269069501089782,0.46949166100947665
+28.72494317007646,139000,0.7284145692587994,0.7235412474849094,0.6190148305084746,0.8705400372439479,0.7250155991675926,0.46857072902851993
+28.931597437487085,140000,0.728495187114042,0.723519553947595,0.6242871428957539,0.8602607076350093,0.7254104174648685,0.4696565919414349
+29.138251704897705,141000,0.7288337821060609,0.724006908462867,0.6258414766558089,0.8586964618249534,0.7261982927726506,0.47095881400686374
+29.34490597230833,142000,0.7279792328404895,0.723982751862015,0.6252132701421801,0.8598137802607076,0.724701899929572,0.4707617052094452
+29.55156023971895,143000,0.7281404685509747,0.7239855867147109,0.6248242293131422,0.8605586592178771,0.7243825282462428,0.4706750941392675
+29.758214507129573,144000,0.7278341207010529,0.7235967676515555,0.6225706002362289,0.8637616387337058,0.7240031954788584,0.4694116802120827
+29.964868774540193,145000,0.7266409764434627,0.7226938136256852,0.6235675675675676,0.8592923649906891,0.7227611410759854,0.46790629007993295
+30.171523041950817,146000,0.7277051321326647,0.722930876435219,0.6201850025324555,0.8664804469273742,0.7251063447789807,0.4675981184258632
+30.378177309361437,147000,0.7272697957143548,0.7229244536811577,0.6193956467430303,0.8680074487895717,0.7239857857979275,0.4674224863871321
+30.58483157677206,148000,0.72743103142484,0.7226094142226795,0.6214766540617374,0.8630540037243948,0.7241768558403021,0.4672534793294281
+30.79148584418268,149000,0.7274471549958885,0.723354256207291,0.618365404948192,0.8712849162011174,0.7240950267312206,0.4680755858140152
+30.998140111593305,150000,0.7275922671353251,0.7231987035651957,0.621711407597921,0.8642830540037244,0.7246192343985136,0.46844927037220785
+31.204794379003925,151000,0.7285596813982361,0.7235734476438977,0.62057757885763,0.8675605214152701,0.7260750994072962,0.4689420860189779
+31.41144864641455,152000,0.7283661985456539,0.7231506186709107,0.6222777195950482,0.8630540037243948,0.7258179536316433,0.4684820556811485
+31.61810291382517,153000,0.7279147385562954,0.7228684908711283,0.6247930744389264,0.8574674115456238,0.7252523475140735,0.46854043852986577
+31.824757181235793,154000,0.7278341207010529,0.7230448612482178,0.6240904541642999,0.8592923649906891,0.7249818112972051,0.4687027407943941
+32.031411448646416,155000,0.7275600199932281,0.7228560219693997,0.6245966101694915,0.8578026070763501,0.7248305075429534,0.468467791771268
+32.23806571605704,156000,0.7277373792747618,0.7227122900643541,0.6245794899620184,0.8574301675977654,0.7248145662649006,0.4681910457868642
+32.44471998346766,157000,0.7272375485722578,0.7226396705127802,0.6252040039168753,0.8560521415270018,0.7240313349077261,0.4682121686994043
+32.651374250878284,158000,0.7271891778591122,0.7226946023394559,0.6234903136905244,0.8594413407821229,0.7242796891853727,0.4678890688045936
+32.858028518288904,159000,0.7273504135695974,0.7227054353628285,0.6246878731950928,0.8572067039106145,0.7248940484796155,0.46820527757856073
+33.064682785699524,160000,0.7277051321326647,0.7229805886036319,0.6236024844720497,0.8600372439478585,0.7251084234870222,0.46846259960370634
+33.271337053110145,161000,0.7280759742667806,0.7229954543324428,0.6226491242231011,0.8618994413407821,0.725200477289323,0.468267176339857
+33.47799132052077,162000,0.727963109269441,0.7231764024361604,0.6238351206072229,0.8601489757914339,0.7247373399039865,0.4688927008168112
+33.68464558793139,163000,0.7278018735589559,0.7232599215343012,0.6231583483718048,0.8616759776536312,0.7247252797792093,0.46889407814534656
+33.89129985534201,164000,0.7281565921220232,0.7234428794992176,0.623859649122807,0.8608566108007448,0.7250907755556107,0.4693832565381402
+34.09795412275263,165000,0.7280114799825865,0.7234779893849517,0.6227626981994088,0.8630540037243948,0.7251815516345497,0.4692245248490169
+34.30460839016326,166000,0.7284468164008965,0.7235581439038136,0.6241289904391508,0.8606703910614525,0.7251721553402626,0.4696931283667156
+34.51126265757388,167000,0.7282694571193628,0.7233962500783846,0.6246142184200553,0.8592923649906891,0.7249950821493346,0.46949937876343323
+34.7179169249845,168000,0.7279469856983924,0.723310318914095,0.6239364719228587,0.8603351955307262,0.724940180145987,0.4691730590665253
+34.92457119239512,169000,0.7280920978378291,0.7232472324723248,0.6232954239206597,0.8613780260707635,0.7252683813512911,0.4689014751186105
+35.13122545980575,170000,0.7278502442721014,0.7230843614018122,0.6220248477205034,0.8633519553072626,0.7248905170038266,0.4682969283984536
+35.33787972721637,171000,0.7275116492800826,0.7229414161677585,0.6240935166143522,0.8589944134078212,0.7246761913600637,0.46850628877338446
+35.54453399462699,172000,0.7273826607116944,0.722864026688083,0.6174996042007493,0.8715828677839851,0.7244863161038814,0.46693393779295167
+35.75118826203761,173000,0.7274955257090341,0.722958368574382,0.6238241972105092,0.8595530726256984,0.7244769316309364,0.46847335729154627
+35.957842529448236,174000,0.72786636784315,0.7231109785390206,0.6250169620321872,0.8577281191806332,0.7249805168655037,0.46905578630445255
+36.164496796858856,175000,0.7275922671353251,0.7230096950522343,0.6238613941670946,0.8596275605214153,0.7246238228504984,0.46858033146492906
+36.371151064269476,176000,0.7276083907063736,0.7230723448243458,0.6239154526042652,0.8597020484171323,0.7248160708065965,0.46871299227234253
+36.577805331680096,177000,0.7276083907063736,0.7229899989044184,0.623518613503226,0.8602234636871509,0.724993734786798,0.46846059728835315
+36.784459599090724,178000,0.7279147385562954,0.7229425028184894,0.623682930782947,0.8597765363128491,0.7251925536689866,0.46840905364743163
+36.991113866501344,179000,0.7277212557037133,0.7230371819960861,0.6236866981769075,0.8600372439478585,0.7252138569545296,0.46859097493090945
+37.197768133911964,180000,0.7274794021379856,0.7229486094127238,0.62424193199047,0.8587337057728119,0.7251159969614985,0.46855621540715686
+37.404422401322584,181000,0.7277696264168588,0.7230771644155802,0.6246307287855382,0.8583612662942272,0.725043377952203,0.46889609019679224
+37.61107666873321,182000,0.7274471549958885,0.7231479308456544,0.6234992580601646,0.860707635009311,0.7249568293750049,0.4687585818076809
+37.81773093614383,183000,0.7276728849905677,0.7228632712811761,0.623565003646579,0.8597765363128491,0.7250737973070315,0.4682292936118374
+38.02438520355445,184000,0.7274794021379856,0.7230226542290507,0.6243129822661432,0.8588081936685289,0.7251836220480519,0.46871453123263046
+38.23103947096507,185000,0.7277212557037133,0.7230130765014485,0.6238075935684367,0.8597392923649907,0.7251307413737912,0.4685738537285425
+38.4376937383757,186000,0.7275922671353251,0.722971810947296,0.623022823421627,0.8611173184357542,0.725091786830469,0.46830859652308254
+38.64434800578632,187000,0.7278018735589559,0.723031978387887,0.6251561736107338,0.857243947858473,0.7250481527511419,0.46894092401375587
+38.85100227319694,188000,0.72786636784315,0.7230764422776425,0.6228665266785118,0.8617132216014898,0.7249817531966376,0.46847340489932965
+39.05765654060756,189000,0.727527772851131,0.7231043878605657,0.6238651102464332,0.8598882681564246,0.7252282407584635,0.4687621465691247
+39.26431080801819,190000,0.7278018735589559,0.7227557346075171,0.6222742061251378,0.8619366852886406,0.724986858925945,0.4677186010028154
+39.47096507542881,191000,0.7277857499879073,0.7227722772277229,0.6237629116867666,0.8591433891992551,0.7250338572266347,0.4681034267436089
+39.67761934283943,192000,0.7278341207010529,0.7230301510687646,0.6241274822790974,0.8591806331471136,0.7251174914658209,0.4686836640197129
+39.88427361025005,193000,0.7277857499879073,0.7229842809102994,0.6232169340703788,0.860782122905028,0.7251380455746479,0.46837815501411884
+40.090927877660675,194000,0.7276890085616162,0.7229630094437298,0.6245392454466608,0.8582122905027934,0.7251771562763578,0.468656660038572
+40.297582145071296,195000,0.7277535028458103,0.7229577111306311,0.6244918974581324,0.8582867783985102,0.7251511526178048,0.46863491409643204
+40.504236412481916,196000,0.7276728849905677,0.7230783716769718,0.6248101540464309,0.8580260707635009,0.7250649021200809,0.4689426482602478
+40.71089067989254,197000,0.7278179971300044,0.7230001408076099,0.6233577036177732,0.8605586592178771,0.7250606509154738,0.46844181951620695
+40.91754494730316,198000,0.7277696264168588,0.7228416843095743,0.6242990654205608,0.8583240223463687,0.72506753339404,0.4683668719728888
+41.124199214713784,199000,0.7276083907063736,0.7230253049449689,0.6243366186504928,0.8587709497206704,0.7252152782016026,0.4687253508593131
+41.330853482124404,200000,0.7276245142774221,0.723032161181329,0.6233076217703221,0.8607448789571694,0.7251364855292874,0.4684913821533736
+0.13227513227513227,1000,0.7161606552619274,0.7236685767570576,0.6069275208759051,0.8960148975791434,0.6665534715942713,0.46736852807704726
+0.26455026455026454,2000,0.7190145273375147,0.7274387460051742,0.6150283067421514,0.8901303538175046,0.664680877309155,0.47608205469812165

eval/binary_classification_evaluation_val_results.csv

@@ -0,0 +1,225 @@
+epoch,steps,cosine_accuracy,cosine_accuracy_threshold,cosine_f1,cosine_precision,cosine_recall,cosine_f1_threshold,cosine_ap,cosine_mcc
+0.061083623480544864,1000,0.7715645449137418,0.6943722943722944,0.642456608811749,0.7554160125588697,0.765214242706447,0.4869528029035587
+0.12216724696108973,2000,0.7933372992266507,0.7306081178679764,0.6765650080256822,0.7940345368916798,0.8103098867191393,0.5490555698350416
+0.1832508704416346,3000,0.7998810232004759,0.7388080197747873,0.6565779838906517,0.8445839874411303,0.8161857606526821,0.5581102952177118
+0.24433449392217946,4000,0.7984533016061868,0.7350675773870077,0.6842532467532467,0.7940345368916798,0.8242787909511342,0.5575623728668458
+0.30541811740272434,5000,0.8046400951814396,0.7409733124018839,0.6792255363683936,0.8150706436420723,0.8264066384053853,0.5652635410064228
+0.3665017408832692,6000,0.8002379535990481,0.7426636568848759,0.6743530617473739,0.8263736263736263,0.8202904760948532,0.5669860129901301
+0.42758536436381406,7000,0.8041641879833432,0.7400461627236007,0.6845476381104884,0.8053375196232339,0.8316734296456567,0.5650052514824565
+0.4886689878443589,8000,0.8122546103509816,0.7549303944315545,0.7014281864726489,0.8172684458398745,0.8422285162959416,0.5910633111346667
+0.5497526113249038,9000,0.8047590719809637,0.7359033371691599,0.6790549508893018,0.8031397174254317,0.8288616481753059,0.5575274001407728
+0.6108362348054487,10000,0.815348007138608,0.7550871029131898,0.7073505211190345,0.8097331240188383,0.8469009014788287,0.5925347516250373
+0.6719198582859935,11000,0.8116597263533611,0.7545481658216522,0.7185458676512354,0.7943485086342229,0.8428486410193493,0.5943834427580784
+0.7330034817665384,12000,0.8139202855443188,0.7567567567567568,0.6888201957753736,0.8395604395604396,0.8431242636341706,0.5917721064081484
+0.7940871052470833,13000,0.6349791790600833,0.549486582103719,0.378867206092337,0.9996860282574568,0.46594332142219436,-0.013964889747287565
+0.8551707287276281,14000,0.8146341463414634,0.7531467495927736,0.7127242152466368,0.7984301412872842,0.8457286128295436,0.5909306038383263
+0.916254352208173,15000,0.8134443783462225,0.7521631644004944,0.740492850623669,0.7642072213500785,0.8460790968360797,0.5972661751456302
+0.9773379756887178,16000,0.8111838191552647,0.7538416932444187,0.7002423915970913,0.8163265306122449,0.844741733272779,0.5891741493329753
+1.0384215991692627,17000,0.8101130279595479,0.7500722334585379,0.6946748728926947,0.8150706436420723,0.8429641404175311,0.5823242869041363
+1.0995052226498077,18000,0.8143961927424153,0.7519039250146455,0.7046390337633819,0.8059654631083203,0.8442395836063484,0.5872156652064053
+1.1605888461303524,19000,0.8097560975609757,0.748527679623086,0.7047407818131411,0.798116169544741,0.8407090098830878,0.5822926985526478
+1.2216724696108974,20000,0.8110648423557406,0.7475874547647768,0.7191760951552074,0.7783359497645211,0.8397140499094808,0.5847821416252674
+1.2827560930914421,21000,0.8145151695419394,0.7534952170713761,0.7091412742382271,0.8037676609105181,0.8458668943317845,0.5905876114796338
+1.343839716571987,22000,0.8127305175490779,0.7532885121309558,0.70467596390484,0.8091051805337519,0.8449174103790579,0.5892764817499798
+1.404923340052532,23000,0.8127305175490779,0.7534429142603287,0.7130044843049327,0.7987441130298273,0.8459968901506725,0.5914267930088032
+1.4660069635330768,24000,0.8197501487209994,0.7562975108063795,0.7199205448354143,0.7965463108320251,0.8513923247780792,0.5972270709106697
+1.5270905870136215,25000,0.8151100535395598,0.7549004710530315,0.7314487632508834,0.779905808477237,0.8467298579715266,0.5983077488622144
+1.5881742104941665,26000,0.8159428911362284,0.7572786242268819,0.7288037166085947,0.7880690737833596,0.8497060331891434,0.6008862104654444
+1.6492578339747115,27000,0.8099940511600238,0.7493839686911147,0.6960150780829295,0.8116169544740973,0.8414326400320202,0.5815627395480915
+1.7103414574552562,28000,0.811540749553837,0.7503256621797655,0.6960257787325457,0.8138147566718995,0.8453293417485445,0.5829865192687969
+1.771425080935801,29000,0.8086853063652588,0.7471902119789443,0.6831425598335068,0.8244897959183674,0.8416151902390879,0.5756661405287067
+0.061083623480544864,1000,0.7607376561570494,0.6887508626639062,0.6145320197044335,0.783359497645212,0.7314913330511355,0.4694338580062362
+0.12216724696108973,2000,0.744794765020821,0.6754780652418448,0.6116628469569646,0.754160125588697,0.7208192452649801,0.44923450897416706
+0.1832508704416346,3000,0.7549077929803688,0.6819773141016665,0.615520728008089,0.7645211930926217,0.7356301695968712,0.45985617139225843
+0.24433449392217946,4000,0.756335514574658,0.6871722182849044,0.6263565891472869,0.7610675039246467,0.7430061115349865,0.47113075767797036
+0.30541811740272434,5000,0.7534800713860798,0.6807659331237497,0.6247049567269867,0.7478806907378336,0.7385834471072095,0.46163445217887605
+0.3665017408832692,6000,0.7546698393813206,0.6812365204888569,0.6283819628647215,0.7437990580847724,0.7414476267520129,0.4637256756596248
+0.42758536436381406,7000,0.7521713265913147,0.6779994380443944,0.6135265700483091,0.7576138147566719,0.735690138899498,0.45348186140653657
+0.4886689878443589,8000,0.7555026769779893,0.6823224319262354,0.630457933972311,0.7434850863422292,0.7414335176937211,0.46601276503192407
+0.5497526113249038,9000,0.753837001784652,0.6786853418388573,0.607799304520616,0.7682888540031397,0.7385280521557737,0.452338584565654
+0.6108362348054487,10000,0.7547888161808447,0.6799784133837021,0.596167494677076,0.7912087912087912,0.7386186672799867,0.4503936255706643
+0.6719198582859935,11000,0.7522903033908388,0.6780657226823403,0.5900953266682167,0.7968602825745683,0.7368792244429465,0.44558294436185214
+0.7330034817665384,12000,0.7502676977989292,0.6770212175842462,0.6063089915548932,0.7664050235478806,0.7339163188364726,0.44939297866969335
+0.7940871052470833,13000,0.7528851873884592,0.6787279151943463,0.6172236503856041,0.7538461538461538,0.7384293409213212,0.4559171186219653
+0.8551707287276281,14000,0.7541939321832243,0.6796907940969782,0.6152671755725191,0.7591836734693878,0.7391480711844824,0.4565192914356373
+0.916254352208173,15000,0.755145746579417,0.679214402618658,0.6004340487099108,0.7817896389324961,0.7402273340255704,0.45057991550963017
+0.9773379756887178,16000,0.7506246281975015,0.677436440677966,0.5857568124570643,0.8031397174254317,0.7353450407341742,0.4433428445112205
+1.0384215991692627,17000,0.7515764425936943,0.6772697150430748,0.5860091743119266,0.8021978021978022,0.7371742604800778,0.44314398691192286
+1.0995052226498077,18000,0.7541939321832243,0.6792452830188679,0.5918843283582089,0.7968602825745683,0.7405858510369355,0.44796957989730163
+1.1605888461303524,19000,0.7539559785841761,0.6793668581033757,0.6133029843196762,0.7613814756671899,0.7405521409890643,0.45532788965149545
+1.2216724696108974,20000,0.7560975609756098,0.681356379469587,0.5876194811106054,0.8106750392464678,0.7436127656589715,0.4502242555416598
+1.2827560930914421,21000,0.7559785841760857,0.6833889259506337,0.594199535962877,0.8040816326530612,0.7441216868211742,0.45521817917395674
+1.343839716571987,22000,0.7527662105889351,0.6780520346897931,0.5895591647331787,0.7978021978021979,0.7401035304347261,0.445404945160354
+1.404923340052532,23000,0.7535990481856039,0.6809756097560976,0.612280701754386,0.7670329670329671,0.7416996801279538,0.4572537565255797
+1.4660069635330768,24000,0.7524092801903629,0.6781911215599502,0.606030647553139,0.7698587127158556,0.7401008305373986,0.4509873759633262
+1.5270905870136215,25000,0.7543129089827484,0.6809945217024863,0.6161667513980681,0.7610675039246467,0.7431488308197921,0.45869523302457893
+1.5881742104941665,26000,0.7526472337894111,0.6777456647398844,0.6278447121820616,0.7362637362637363,0.7408120495976134,0.45884478354243485
+1.6492578339747115,27000,0.7532421177870315,0.6808334483234442,0.6073362875430822,0.7745682888540032,0.7419731328313726,0.45531266331251036
+1.7103414574552562,28000,0.7533610945865556,0.6780657226823403,0.5900953266682167,0.7968602825745683,0.7396130242082695,0.44558294436185214
+1.771425080935801,29000,0.7566924449732302,0.6812339331619537,0.6248362588420225,0.7488226059654631,0.7445922250806941,0.4623246933998863
+1.832508704416346,30000,0.7549077929803688,0.6803983085527213,0.6015436565364206,0.7830455259026687,0.744076484055314,0.4527294142468949
+1.893592327896891,31000,0.7545508625817966,0.6800647423792825,0.5961220146606763,0.7915227629513344,0.74385175965233,0.45051368764315297
+1.9546759513774357,32000,0.7524092801903629,0.6792655140061654,0.5926099158091674,0.7956043956043956,0.7415113534682358,0.44821386277501274
+2.0157595748579804,33000,0.7556216537775133,0.6818121429520393,0.5909719023491479,0.8056514913657771,0.7454515847638896,0.4518228491106515
+2.0768431983385254,34000,0.7562165377751339,0.6798483206933912,0.5977613717551798,0.7880690737833596,0.7463965092505194,0.4506855058303905
+2.1379268218190703,35000,0.7539559785841761,0.6775401069518716,0.589988358556461,0.7956043956043956,0.7419358183277875,0.4447214969721984
+2.1990104452996153,36000,0.7520523497917906,0.6792815028109146,0.6029698149951315,0.7777080062794348,0.7407306207633859,0.4515272483139108
+2.26009406878016,37000,0.7522903033908388,0.6789749242215486,0.6049594893199116,0.7736263736263737,0.7413859319618777,0.45175658549592446
+2.321177692260705,38000,0.7527662105889351,0.6793168880455408,0.5976627712854758,0.7868131868131868,0.7422716594370492,0.44983972059827404
+2.3822613157412498,39000,0.7534800713860798,0.6801068090787716,0.5916376306620209,0.7996860282574568,0.7441192440016643,0.4492652111727813
+2.4433449392217947,40000,0.7533610945865556,0.6790436757045545,0.5908879590887959,0.798116169544741,0.7425417823979766,0.447362075070658
+2.5044285627023397,41000,0.7553837001784652,0.682412596744062,0.5934091436528197,0.8028257456828886,0.7459787093217554,0.45343871528974355
+2.5655121861828842,42000,0.7533610945865556,0.6803222722927761,0.6019816336394394,0.7821036106750392,0.744707618902168,0.4527572908126395
+2.626595809663429,43000,0.7528851873884592,0.67984934086629,0.5947281713344317,0.7934065934065934,0.7448679293167805,0.44975784959697035
+2.687679433143974,44000,0.7524092801903629,0.6775877065816178,0.6294101804470779,0.7337519623233909,0.7418238798802602,0.45928824571754306
+2.7487630566245187,45000,0.7541939321832243,0.6788180060756697,0.6058664037466108,0.7717425431711146,0.7447175988844944,0.4518438724614373
+2.809846680105064,46000,0.753837001784652,0.680122978211469,0.5921787709497207,0.7987441130298273,0.7445199898768807,0.44944414879202615
+2.8709303035856086,47000,0.7535990481856039,0.6786282737664592,0.6293612453032743,0.7362637362637363,0.7434986446373723,0.46064027052038026
+2.9320139270661536,48000,0.7534800713860798,0.6800267201068805,0.5918604651162791,0.7990580847723705,0.7431274487340976,0.44920082405187095
+2.9930975505466986,49000,0.7527662105889351,0.678348274925292,0.597797462293512,0.7839874411302983,0.742559048585729,0.4484062525438667
+3.054181174027243,50000,0.7531231409875074,0.679962770908124,0.5897140221402214,0.8028257456828886,0.744549456601089,0.448500924928326
+3.115264797507788,51000,0.7527662105889351,0.6805879928561616,0.6050317537860284,0.7777080062794348,0.7414191451818124,0.4541666632060121
+3.176348420988333,52000,0.7528851873884592,0.6801129487696651,0.5947789275634995,0.7940345368916798,0.7443273365977376,0.45018493574014046
+3.237432044468878,53000,0.7546698393813206,0.6792709466811753,0.5992320614350852,0.7839874411302983,0.7444788716551125,0.45027277365177143
+3.298515667949423,54000,0.7533610945865556,0.678959936322632,0.5878704341833219,0.8034536891679749,0.7434112810486674,0.44638209892722647
+3.3595992914299675,55000,0.753837001784652,0.6793633519249082,0.5993759001440231,0.7839874411302983,0.7442383072767362,0.45045956960882294
+3.4206829149105125,56000,0.7526472337894111,0.679078489150817,0.5921513665031535,0.7959183673469388,0.7425766325776577,0.4477845792831247
+3.4817665383910574,57000,0.7518143961927424,0.6798513405893284,0.5888710048286963,0.8040816326530612,0.7425271148780518,0.44809260231236564
+3.542850161871602,58000,0.7532421177870315,0.6801137132800866,0.5978105663969538,0.7886970172684459,0.7456644882282573,0.45110874187175354
+3.603933785352147,59000,0.7527662105889351,0.6798627606228557,0.5863874345549738,0.8087912087912088,0.7432952546248549,0.44745940349851604
+3.665017408832692,60000,0.7534800713860798,0.6815244626137411,0.5875397908140063,0.8113029827315542,0.7448417329739522,0.450481804670185
+3.726101032313237,61000,0.7532421177870315,0.6800379455210732,0.5982355746304244,0.7877551020408163,0.7443569311780135,0.4511251263792422
+3.787184655793782,62000,0.7535990481856039,0.6807555144630828,0.5875512995896033,0.8091051805337519,0.7457943672691033,0.4492194829153485
+3.8482682792743264,63000,0.7532421177870315,0.6802218114602587,0.5869218500797448,0.8087912087912088,0.7438192407996238,0.44818447943468737
+3.9093519027548713,64000,0.7533610945865556,0.6793770139634802,0.5934787708186723,0.7943485086342229,0.7424849312253043,0.44864611888852063
+3.9704355262354163,65000,0.7543129089827484,0.6803048535900521,0.592454587796926,0.7987441130298273,0.7452511504219704,0.44981126882013317
+4.031519149715961,66000,0.752528256989887,0.6798927613941019,0.5932163742690059,0.796232339089482,0.744277006520935,0.4493790565905762
+4.092602773196506,67000,0.7518143961927424,0.6785036595283275,0.5969472931075602,0.7858712715855573,0.7422600154728033,0.44836821340240396
+4.153686396677051,68000,0.7531231409875074,0.6802070888092394,0.5892364305427783,0.8043956043956044,0.7442498630206154,0.44876567150022545
+4.214770020157596,69000,0.7528851873884592,0.6796484110885733,0.5969121140142518,0.789010989010989,0.7444900082966095,0.450112988251873
+4.275853643638141,70000,0.7518143961927424,0.6806857755156711,0.593552908199019,0.7978021978021979,0.7430357718151004,0.45072809972428535
+4.336937267118685,71000,0.7528851873884592,0.6787521079258009,0.6143474942762656,0.7582417582417582,0.7432417364386177,0.45485138692256466
+4.398020890599231,72000,0.7530041641879833,0.6798408488063661,0.5885189437428243,0.8047095761381475,0.7435192426936523,0.44798107784970664
+4.459104514079775,73000,0.7534800713860798,0.6793893129770993,0.5848629050532518,0.8103610675039247,0.7440119995430082,0.44629473985186036
+4.52018813756032,74000,0.7526472337894111,0.6788124156545209,0.5952662721893491,0.7896389324960753,0.7430245567788963,0.4483116334773723
+4.581271761040865,75000,0.7544318857822725,0.6803628601921025,0.5915100904662491,0.8006279434850864,0.7438780506207914,0.4496377199971586
+4.64235538452141,76000,0.7527662105889351,0.6809245483528161,0.5901450610177297,0.8047095761381475,0.7444322445415639,0.45016813322547167
+4.703439008001955,77000,0.7543129089827484,0.6803322615219721,0.5933629352652489,0.7971742543171114,0.7445939532852761,0.45011478146075307
+4.7645226314824995,78000,0.7541939321832243,0.6819567811215695,0.5901789811840293,0.8075353218210362,0.745335376450429,0.4518523528282921
+4.825606254963044,79000,0.7533610945865556,0.6810506566604128,0.5941080196399345,0.7978021978021979,0.7443068699055847,0.45146388878893334
+4.8866898784435895,80000,0.7533610945865556,0.6815013404825737,0.5946198830409357,0.798116169544741,0.7446824055654564,0.45232250150779335
+4.947773501924134,81000,0.7537180249851279,0.6812632696390658,0.589979315099977,0.8059654631083203,0.7450581349588137,0.4506729678825532
+5.008857125404679,82000,0.7526472337894111,0.6792956243329776,0.5905822315008119,0.7993720565149136,0.7439226514764513,0.44767506118455674
+5.069940748885224,83000,0.7540749553837002,0.6806576660874214,0.5926443202979516,0.7993720565149136,0.7450380373023695,0.4504253939724253
+5.1310243723657685,84000,0.753837001784652,0.6807139981210576,0.5944678856071262,0.796232339089482,0.7448894193487472,0.45103651102590364
+5.192107995846314,85000,0.7535990481856039,0.6802084725377523,0.5921358771521638,0.7990580847723705,0.7440000939547923,0.44956775072443644
+5.253191619326858,86000,0.7527662105889351,0.679736806767826,0.5938526513374003,0.7946624803767661,0.7445597988176418,0.4493210343818299
+5.314275242807403,87000,0.7526472337894111,0.6799040511727078,0.5906459828664042,0.8009419152276295,0.7436586132856224,0.4486638001132216
+5.375358866287948,88000,0.7522903033908388,0.6792655140061654,0.5926099158091674,0.7956043956043956,0.7431902087284298,0.44821386277501274
+5.436442489768493,89000,0.7531231409875074,0.6805132954094457,0.5880201188843164,0.8075353218210362,0.7438675867614493,0.4489429729896382
+5.497526113249038,90000,0.752528256989887,0.6791644349223354,0.5921083352790101,0.796232339089482,0.7429407096222502,0.44790739294320214
+5.558609736729583,91000,0.7520523497917906,0.6795543025909517,0.5935741088180112,0.7946624803767661,0.7433782655452679,0.44895233153649466
+5.619693360210127,92000,0.753837001784652,0.6811748998664886,0.5925667828106852,0.8009419152276295,0.7438648263945318,0.45122779959727477
+5.680776983690673,93000,0.7528851873884592,0.6794258373205742,0.5890758239225629,0.8025117739403453,0.7441661376760352,0.4474625530392108
+5.741860607171217,94000,0.7531231409875074,0.6799367255470603,0.5860031810952057,0.8097331240188383,0.7439549285482128,0.4474834305153485
+5.802944230651763,95000,0.7532421177870315,0.6812018080297794,0.590730919990777,0.8043956043956044,0.7449107357759025,0.4507721277668719
+5.864027854132307,96000,0.7520523497917906,0.6806155507559396,0.5969689793985319,0.7915227629513344,0.7444829287037543,0.45162533033091934
+5.925111477612852,97000,0.7528851873884592,0.6800270819228166,0.5978571428571429,0.7883830455259027,0.744527550748708,0.4509900594268332
+5.986195101093397,98000,0.7522903033908388,0.6801346801346801,0.5955188679245284,0.792778649921507,0.7441151943794918,0.45044008719769324
+6.047278724573942,99000,0.7531231409875074,0.6804014791336502,0.5871894232961021,0.8087912087912088,0.7434072018009429,0.44854714712783855
+6.108362348054486,100000,0.753837001784652,0.6813127930341594,0.5941588785046729,0.7984301412872842,0.7448987201449943,0.4518931802041517
+6.169445971535032,101000,0.7535990481856039,0.6806495263870095,0.5980975029726516,0.7896389324960753,0.7441895603229222,0.4520227089572145
+6.230529595015576,102000,0.7527662105889351,0.6796782276144006,0.5859481582537517,0.8091051805337519,0.7431659404534768,0.4470445753778763
+6.2916132184961215,103000,0.7526472337894111,0.6798460926097918,0.5886948529411765,0.8043956043956044,0.7439500205972829,0.4480367270502366
+6.352696841976666,104000,0.7530041641879833,0.6797191466378613,0.5963041933191187,0.7902668759811617,0.7438199814656189,0.4500340551098604
+6.413780465457211,105000,0.7526472337894111,0.679736806767826,0.5938526513374003,0.7946624803767661,0.7432751073586177,0.4493210343818299
+6.474864088937756,106000,0.7528851873884592,0.6801543990416611,0.5903419593345656,0.8021978021978022,0.7431506940850028,0.4489807833177653
+6.5359477124183005,107000,0.7522903033908388,0.6806745182012848,0.5931887100536506,0.7984301412872842,0.7440344542033969,0.4506063332800573
+6.597031335898846,108000,0.7537180249851279,0.6816479400749064,0.5938009787928222,0.8,0.7445612533279339,0.4523245656429487
+6.6581149593793905,109000,0.7537180249851279,0.680398492191707,0.5955691727551261,0.7934065934065934,0.7439463460679717,0.4508664803370548
+6.719198582859935,110000,0.7522903033908388,0.6811477607937785,0.5944301427568454,0.7974882260596546,0.7442280152682046,0.45170949209072403
+6.78028220634048,111000,0.752528256989887,0.6810321894120777,0.5908146780521578,0.8037676609105181,0.7434543188264915,0.4505209543042766
+6.841365829821025,112000,0.7533610945865556,0.6798303737079247,0.588167851410227,0.8053375196232339,0.7429984900197174,0.4478704574334988
+6.9024494533015694,113000,0.7528851873884592,0.6817636872252564,0.5920869967607589,0.8034536891679749,0.743924777161975,0.4520405582290345
+6.963533076782115,114000,0.7524092801903629,0.6801717198819425,0.5938158819395642,0.7959183673469388,0.7441899422421819,0.4499932467309406
+7.024616700262659,115000,0.7516954193932183,0.6803929484591577,0.5953838907206783,0.7937205651491366,0.7436876297186488,0.4508025817241605
+7.085700323743205,116000,0.7526472337894111,0.680737376436014,0.5924203673564288,0.8,0.7436283587030912,0.4504893036792835
+7.146783947223749,117000,0.752528256989887,0.6803986710963456,0.5898617511520737,0.8037676609105181,0.7439089246244748,0.449243112784381
+7.207867570704294,118000,0.7537180249851279,0.6798418972332015,0.5856980703745743,0.8100470957613815,0.7440342017156418,0.4472505206641312
+7.268951194184839,119000,0.7521713265913147,0.6811671087533155,0.5896670493685419,0.8062794348508634,0.7442239778032033,0.4504351999192061
+7.330034817665384,120000,0.7530041641879833,0.6805408271474019,0.58889653590273,0.8059654631083203,0.7444876072091403,0.4492161414471408
+7.391118441145929,121000,0.752528256989887,0.6817275747508305,0.5910138248847926,0.8053375196232339,0.7438225723921783,0.45169693227966473
+7.452202064626474,122000,0.7527662105889351,0.6811170212765957,0.5907727797001153,0.8040816326530612,0.7439936449327565,0.4506464880147388
+7.513285688107018,123000,0.7535990481856039,0.6814537680384821,0.5931612002791347,0.8006279434850864,0.7442945260634205,0.45183742821325096
+7.574369311587564,124000,0.7532421177870315,0.6812770562770563,0.5985262657475636,0.7905808477237048,0.7441348016555276,0.4531226500911792
+7.635452935068108,125000,0.7527662105889351,0.6814006124350952,0.5915395284327323,0.8034536891679749,0.7436164559420266,0.4513092027392329
+7.696536558548653,126000,0.7522903033908388,0.6799735624586912,0.5872146118721461,0.8075353218210362,0.7436593869131348,0.4478534121493771
+7.757620182029198,127000,0.7520523497917906,0.6801963125082903,0.5888837850252642,0.8050235478806907,0.7436881049492222,0.4486540293805027
+7.818703805509743,128000,0.7533610945865556,0.6808169803764518,0.5921969345099861,0.8006279434850864,0.7433558505491169,0.4505538553615064
+7.879787428990288,129000,0.752528256989887,0.6808396124865447,0.5957146220861784,0.7943485086342229,0.7438485612850472,0.45159888078712385
+7.940871052470833,130000,0.7526472337894111,0.6814123917388407,0.5918981481481481,0.8028257456828886,0.743762303041307,0.45142498885480636
+8.001954675951378,131000,0.7520523497917906,0.6801068090787716,0.5916376306620209,0.7996860282574568,0.7436884795620216,0.4492652111727813
+8.063038299431922,132000,0.7531231409875074,0.6792502639915523,0.5859713049419266,0.8078492935635793,0.7435858696281802,0.4463489123680631
+8.124121922912467,133000,0.752528256989887,0.6798980823387422,0.5933988764044944,0.7959183673469388,0.743325923090475,0.4494407565277581
+8.185205546393012,134000,0.7519333729922665,0.6795469686875416,0.5902777777777778,0.8006279434850864,0.7437499473340932,0.44799013800099186
+8.246289169873556,135000,0.7519333729922665,0.6807423345884884,0.5953893201599624,0.7946624803767661,0.7438076666342274,0.45135063759821525
+8.307372793354102,136000,0.7532421177870315,0.6801651791661116,0.5906987505784359,0.8015698587127159,0.7435398305929806,0.4490963608138159
+8.368456416834647,137000,0.7527662105889351,0.681234635345534,0.6028523084360647,0.7830455259026687,0.7441324343175012,0.4544165333794958
+8.429540040315192,138000,0.7535990481856039,0.6788721101162635,0.5909725453699395,0.7974882260596546,0.7436187422433563,0.4471146115079242
+8.490623663795736,139000,0.7524092801903629,0.6806268576060523,0.5973440834716623,0.7908948194662481,0.7436229915344277,0.4517568700311613
+8.551707287276281,140000,0.7522903033908388,0.6810275622156812,0.5933784098857543,0.7990580847723705,0.7441033245235437,0.4512200873328195
+8.612790910756827,141000,0.7532421177870315,0.6802395209580837,0.5903002309468822,0.8025117739403453,0.7440281600628407,0.4491060347478021
+8.67387453423737,142000,0.7526472337894111,0.6796725784447476,0.6009650180940893,0.7821036106750392,0.7438335191797046,0.4514451229339013
+8.734958157717916,143000,0.7530041641879833,0.6795961742826779,0.5889937830992401,0.8031397174254317,0.7440861506414551,0.4477142557280787
+8.796041781198461,144000,0.7530041641879833,0.6799237265050394,0.6004330045706038,0.7836734693877551,0.7438825008740162,0.45165138986416814
+8.857125404679005,145000,0.7527662105889351,0.6806801445976705,0.5933706816059757,0.798116169544741,0.7436957560469165,0.45066710242953784
+8.91820902815955,146000,0.7526472337894111,0.6797663303239512,0.5889118932597194,0.8037676609105181,0.7439136717491464,0.4479663809830077
+8.979292651640096,147000,0.7530041641879833,0.6815642458100559,0.5912762520193862,0.8043956043956044,0.7435975108374391,0.4515024299204132
+9.04037627512064,148000,0.7528851873884592,0.6800919043113934,0.5970574276222117,0.7899529042386185,0.7436144417745185,0.45084197871081116
+9.101459898601185,149000,0.7521713265913147,0.6803986710963456,0.5898617511520737,0.8037676609105181,0.743775406394104,0.449243112784381
+9.16254352208173,150000,0.752528256989887,0.6803158035594808,0.5928171641791045,0.798116169544741,0.743580510450361,0.4499319906616463
+9.223627145562276,151000,0.7531231409875074,0.67906852248394,0.5917891299276884,0.7965463108320251,0.7432853340907718,0.44766273130652506
+9.28471076904282,152000,0.7519333729922665,0.6797977109395794,0.58997458997459,0.801883830455259,0.7435710469420743,0.44830731057893286
+9.345794392523365,153000,0.7526472337894111,0.6803158035594808,0.5928171641791045,0.798116169544741,0.7435466174298082,0.4499319906616463
+9.40687801600391,154000,0.7527662105889351,0.6810854379365932,0.5952101432261094,0.7959183673469388,0.7437237771822383,0.45183645221772695
+9.467961639484454,155000,0.7531231409875074,0.6812834224598932,0.5932479627473807,0.8,0.7435306870756013,0.4515901770478175
+9.529045262964999,156000,0.7531231409875074,0.6815480121516312,0.5882352941176471,0.8100470957613815,0.7438722361407709,0.450692391135368
+9.590128886445545,157000,0.7527662105889351,0.6796766099804852,0.6111807470543996,0.7654631083202512,0.7437097692845778,0.45498972006189364
+9.651212509926088,158000,0.7531231409875074,0.6806970509383379,0.5939181286549707,0.7971742543171114,0.7439362600311814,0.4508507790491848
+9.712296133406634,159000,0.7520523497917906,0.6798784515788083,0.5869069343065694,0.8078492935635793,0.7433114355666725,0.4476184337638852
+9.773379756887179,160000,0.7521713265913147,0.6795755968169761,0.5882893226176809,0.8043956043956044,0.7431325106025273,0.4474902534358068
+9.834463380367723,161000,0.7527662105889351,0.6798450647789501,0.5915853091585309,0.7990580847723705,0.7437978423193055,0.4488339911213737
+9.895547003848268,162000,0.7527662105889351,0.6812366737739871,0.5918036582542255,0.8025117739403453,0.7437630642688376,0.451117248742623
+9.956630627328813,163000,0.7528851873884592,0.6796039603960397,0.5863325740318907,0.8081632653061225,0.7434025786728969,0.4470211979140946
+10.017714250809359,164000,0.7541939321832243,0.6810564418822899,0.5942910622367805,0.7974882260596546,0.7434106229099798,0.45152541060128293
+10.078797874289902,165000,0.752528256989887,0.6805648957632818,0.5952941176470589,0.7943485086342229,0.7434288393199426,0.45104476117640635
+10.139881497770448,166000,0.7521713265913147,0.6807943489270958,0.5914775358962483,0.801883830455259,0.7434519775036792,0.45031885177526765
+10.200965121250993,167000,0.7531231409875074,0.6818181818181819,0.5963302752293578,0.7959183673469388,0.7439777989101274,0.4533127728513117
+10.262048744731537,168000,0.7531231409875074,0.6802470758312524,0.5849909584086799,0.8125588697017269,0.7436644252667809,0.4477458044709506
+10.323132368212082,169000,0.7521713265913147,0.6811960132890366,0.590552995391705,0.8047095761381475,0.7435134833043218,0.45071540448155123
+10.384215991692628,170000,0.7535990481856039,0.6806857755156711,0.593552908199019,0.7978021978021979,0.7434331807248287,0.45072809972428535
+10.445299615173171,171000,0.7526472337894111,0.6809473124002129,0.5908566151004387,0.8034536891679749,0.7435354951977364,0.45039552654071
+10.506383238653717,172000,0.7526472337894111,0.6799093454206107,0.5908248378127896,0.8006279434850864,0.7430966776492705,0.4487221656642449
+10.567466862134262,173000,0.752528256989887,0.6803573809841312,0.5913305516921651,0.8009419152276295,0.7434284105370519,0.4495789917933357
+10.628550485614806,174000,0.7527662105889351,0.6806989674344718,0.5884641794460975,0.8072213500784929,0.7437696492592875,0.44936065772129347
+10.689634109095351,175000,0.7521713265913147,0.6818788364024552,0.5929449988396379,0.8021978021978022,0.7432400970962113,0.45245739783761396
+10.750717732575897,176000,0.7528851873884592,0.6802030456852791,0.5919553592187863,0.7993720565149136,0.7434822275152315,0.44950803181579724
+10.811801356056442,177000,0.7528851873884592,0.6807083445130131,0.5942843757320215,0.7965463108320251,0.7433607620962286,0.4509743718643789
+10.872884979536986,178000,0.7524092801903629,0.680793991416309,0.5942402247717162,0.7968602825745683,0.7434421171637223,0.4510965948279224
+10.933968603017531,179000,0.7528851873884592,0.6801068090787716,0.5916376306620209,0.7996860282574568,0.74378695759605,0.4492652111727813
+10.995052226498077,180000,0.7521713265913147,0.6802070888092394,0.5892364305427783,0.8043956043956044,0.7438704528793117,0.44876567150022545
+11.05613584997862,181000,0.7526472337894111,0.6803903221494453,0.5924115456238361,0.7990580847723705,0.743769859135384,0.4499347713822257
+11.117219473459166,182000,0.7530041641879833,0.6802110817941952,0.586575654152446,0.8094191522762951,0.7437992380746409,0.44807902786555687
+11.178303096939711,183000,0.7532421177870315,0.6816310266967724,0.5906998158379374,0.8056514913657771,0.7437033179019442,0.45145809306215523
+11.239386720420255,184000,0.7527662105889351,0.6812690827027745,0.5901563937442502,0.8056514913657771,0.7435978308379383,0.4507288530674443
+11.3004703439008,185000,0.7526472337894111,0.6804371002132197,0.5911090530215327,0.8015698587127159,0.7435319556399863,0.4496451795649822
+11.361553967381345,186000,0.7527662105889351,0.6811632870864461,0.592205984690327,0.8015698587127159,0.7439782197011371,0.45110971410661005
+11.42263759086189,187000,0.7522903033908388,0.6814537680384821,0.5931612002791347,0.8006279434850864,0.743336110267797,0.45183742821325096
+11.483721214342435,188000,0.752528256989887,0.6802084725377523,0.5921358771521638,0.7990580847723705,0.7437964104024692,0.44956775072443644
+11.54480483782298,189000,0.752528256989887,0.679656006449879,0.5940803382663847,0.7940345368916798,0.7436692122968744,0.4492621308991206
+11.605888461303525,190000,0.7530041641879833,0.6800481734243277,0.5925839552238806,0.7978021978021979,0.7439339113545956,0.4494413879705601
+11.666972084784069,191000,0.752528256989887,0.6810448760884126,0.5939252336448598,0.798116169544741,0.7434085136883519,0.45140259563138113
+11.728055708264614,192000,0.7528851873884592,0.6801275239107333,0.589454294266636,0.8037676609105181,0.7437831109879,0.4486958067270359
+11.78913933174516,193000,0.7528851873884592,0.6808794137241839,0.5914351851851852,0.8021978021978022,0.7437314781807215,0.45044360289657365
+11.850222955225703,194000,0.7527662105889351,0.6803355079217148,0.5906148867313916,0.8021978021978022,0.7437489749999012,0.44934635040370324
+11.911306578706249,195000,0.7528851873884592,0.6810160427807487,0.5930151338766007,0.7996860282574568,0.7437180816453722,0.45109955704241617

final_metrics.json

@@ -0,0 +1,8 @@
+{
+    "train_cosine_accuracy@1": 0.5949339683914268,
+    "train_cosine_precision@1": 0.5949339683914268,
+    "train_cosine_recall@1": 0.5736236134628644,
+    "train_cosine_ndcg@10": 0.7884594230085583,
+    "train_cosine_mrr@1": 0.5949339683914268,
+    "train_cosine_map@100": 0.7351414640689793
+}

initial_metrics.json

@@ -0,0 +1,10 @@
+{
+    "test_cosine_accuracy@1": 0.5955802603036876,
+    "test_cosine_precision@1": 0.5955802603036876,
+    "test_cosine_recall@1": 0.5780913232288468,
+    "test_cosine_ndcg@10": 0.777639866271746,
+    "test_cosine_mrr@1": 0.5955802603036876,
+    "test_cosine_map@100": 0.7275779687157514,
+    "test_cosine_auc_precision_cache_hit_ratio": 0.3639683124583609,
+    "test_cosine_auc_similarity_distribution": 0.15401896350374616
+}

modules.json

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

sentence_bert_config.json

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

special_tokens_map.json

@@ -8,7 +8,7 @@
   },
   "mask_token": {
     "content": "[MASK]",
-    "lstrip": false,
+    "lstrip": true,
     "normalized": false,
     "rstrip": false,
     "single_word": false

tokenizer_config.json

@@ -1,14 +1,230 @@
 {
   "added_tokens_decoder": {
     "0": {
-      "content": "[PAD]",
+      "content": "|||IP_ADDRESS|||",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "1": {
+      "content": "<|padding|>",
       "lstrip": false,
       "normalized": false,
       "rstrip": false,
       "single_word": false,
       "special": true
     },
-    "100": {
+    "50254": {
+      "content": "                        ",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50255": {
+      "content": "                       ",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50256": {
+      "content": "                      ",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50257": {
+      "content": "                     ",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50258": {
+      "content": "                    ",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50259": {
+      "content": "                   ",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50260": {
+      "content": "                  ",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50261": {
+      "content": "                 ",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50262": {
+      "content": "                ",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50263": {
+      "content": "               ",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50264": {
+      "content": "              ",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50265": {
+      "content": "             ",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50266": {
+      "content": "            ",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50267": {
+      "content": "           ",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50268": {
+      "content": "          ",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50269": {
+      "content": "         ",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50270": {
+      "content": "        ",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50271": {
+      "content": "       ",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50272": {
+      "content": "      ",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50273": {
+      "content": "     ",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50274": {
+      "content": "    ",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50275": {
+      "content": "   ",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50276": {
+      "content": "  ",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50277": {
+      "content": "|||EMAIL_ADDRESS|||",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50278": {
+      "content": "|||PHONE_NUMBER|||",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50279": {
+      "content": "<|endoftext|>",
+      "lstrip": false,
+      "normalized": false,
+      "rstrip": false,
+      "single_word": false,
+      "special": true
+    },
+    "50280": {
       "content": "[UNK]",
       "lstrip": false,
       "normalized": false,
@@ -16,7 +232,7 @@
       "single_word": false,
       "special": true
     },
-    "101": {
+    "50281": {
       "content": "[CLS]",
       "lstrip": false,
       "normalized": false,
@@ -24,7 +240,7 @@
       "single_word": false,
       "special": true
     },
-    "102": {
+    "50282": {
       "content": "[SEP]",
       "lstrip": false,
       "normalized": false,
@@ -32,34 +248,699 @@
       "single_word": false,
       "special": true
     },
-    "103": {
-      "content": "[MASK]",
+    "50283": {
+      "content": "[PAD]",
       "lstrip": false,
       "normalized": false,
       "rstrip": false,
       "single_word": false,
       "special": true
+    },
+    "50284": {
+      "content": "[MASK]",
+      "lstrip": true,
+      "normalized": false,
+      "rstrip": false,
+      "single_word": false,
+      "special": true
+    },
+    "50285": {
+      "content": "[unused0]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50286": {
+      "content": "[unused1]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50287": {
+      "content": "[unused2]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50288": {
+      "content": "[unused3]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50289": {
+      "content": "[unused4]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50290": {
+      "content": "[unused5]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50291": {
+      "content": "[unused6]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50292": {
+      "content": "[unused7]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50293": {
+      "content": "[unused8]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50294": {
+      "content": "[unused9]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50295": {
+      "content": "[unused10]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50296": {
+      "content": "[unused11]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50297": {
+      "content": "[unused12]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50298": {
+      "content": "[unused13]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50299": {
+      "content": "[unused14]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50300": {
+      "content": "[unused15]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50301": {
+      "content": "[unused16]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50302": {
+      "content": "[unused17]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50303": {
+      "content": "[unused18]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50304": {
+      "content": "[unused19]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50305": {
+      "content": "[unused20]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50306": {
+      "content": "[unused21]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50307": {
+      "content": "[unused22]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50308": {
+      "content": "[unused23]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50309": {
+      "content": "[unused24]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50310": {
+      "content": "[unused25]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50311": {
+      "content": "[unused26]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50312": {
+      "content": "[unused27]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50313": {
+      "content": "[unused28]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50314": {
+      "content": "[unused29]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50315": {
+      "content": "[unused30]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50316": {
+      "content": "[unused31]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50317": {
+      "content": "[unused32]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50318": {
+      "content": "[unused33]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50319": {
+      "content": "[unused34]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50320": {
+      "content": "[unused35]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50321": {
+      "content": "[unused36]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50322": {
+      "content": "[unused37]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50323": {
+      "content": "[unused38]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50324": {
+      "content": "[unused39]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50325": {
+      "content": "[unused40]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50326": {
+      "content": "[unused41]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50327": {
+      "content": "[unused42]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50328": {
+      "content": "[unused43]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50329": {
+      "content": "[unused44]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50330": {
+      "content": "[unused45]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50331": {
+      "content": "[unused46]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50332": {
+      "content": "[unused47]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50333": {
+      "content": "[unused48]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50334": {
+      "content": "[unused49]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50335": {
+      "content": "[unused50]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50336": {
+      "content": "[unused51]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50337": {
+      "content": "[unused52]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50338": {
+      "content": "[unused53]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50339": {
+      "content": "[unused54]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50340": {
+      "content": "[unused55]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50341": {
+      "content": "[unused56]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50342": {
+      "content": "[unused57]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50343": {
+      "content": "[unused58]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50344": {
+      "content": "[unused59]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50345": {
+      "content": "[unused60]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50346": {
+      "content": "[unused61]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50347": {
+      "content": "[unused62]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50348": {
+      "content": "[unused63]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50349": {
+      "content": "[unused64]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50350": {
+      "content": "[unused65]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50351": {
+      "content": "[unused66]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50352": {
+      "content": "[unused67]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50353": {
+      "content": "[unused68]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50354": {
+      "content": "[unused69]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50355": {
+      "content": "[unused70]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50356": {
+      "content": "[unused71]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50357": {
+      "content": "[unused72]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50358": {
+      "content": "[unused73]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50359": {
+      "content": "[unused74]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50360": {
+      "content": "[unused75]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50361": {
+      "content": "[unused76]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50362": {
+      "content": "[unused77]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50363": {
+      "content": "[unused78]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50364": {
+      "content": "[unused79]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50365": {
+      "content": "[unused80]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50366": {
+      "content": "[unused81]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
+    },
+    "50367": {
+      "content": "[unused82]",
+      "lstrip": false,
+      "normalized": true,
+      "rstrip": false,
+      "single_word": false,
+      "special": false
     }
   },
-  "clean_up_tokenization_spaces": false,
+  "clean_up_tokenization_spaces": true,
   "cls_token": "[CLS]",
-  "do_basic_tokenize": true,
-  "do_lower_case": true,
   "extra_special_tokens": {},
   "mask_token": "[MASK]",
-  "max_length": 128,
-  "model_max_length": 512,
-  "never_split": null,
-  "pad_to_multiple_of": null,
+  "max_length": 100,
+  "model_input_names": [
+    "input_ids",
+    "attention_mask"
+  ],
+  "model_max_length": 1000000000000000019884624838656,
   "pad_token": "[PAD]",
-  "pad_token_type_id": 0,
-  "padding_side": "right",
   "sep_token": "[SEP]",
-  "stride": 0,
-  "strip_accents": null,
-  "tokenize_chinese_chars": true,
-  "tokenizer_class": "BertTokenizer",
-  "truncation_side": "right",
-  "truncation_strategy": "longest_first",
+  "tokenizer_class": "PreTrainedTokenizerFast",
   "unk_token": "[UNK]"
 }