Add new SentenceTransformer model.

.gitattributes

@@ -25,3 +25,5 @@ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
 *.zip filter=lfs diff=lfs merge=lfs -text
 *.zstandard filter=lfs diff=lfs merge=lfs -text
 *tfevents* filter=lfs diff=lfs merge=lfs -text
+tokenizer.json filter=lfs diff=lfs merge=lfs -text
+pytorch_model.bin filter=lfs diff=lfs merge=lfs -text

1_Pooling/config.json

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

README.md

@@ -0,0 +1,125 @@
+---
+pipeline_tag: sentence-similarity
+tags:
+- sentence-transformers
+- feature-extraction
+- sentence-similarity
+- transformers
+---
+
+# {MODEL_NAME}
+
+This is a [sentence-transformers](https://www.SBERT.net) model: It maps sentences & paragraphs to a 768 dimensional dense vector space and can be used for tasks like clustering or semantic search.
+
+<!--- Describe your model here -->
+
+## Usage (Sentence-Transformers)
+
+Using this model becomes easy when you have [sentence-transformers](https://www.SBERT.net) installed:
+
+```
+pip install -U sentence-transformers
+```
+
+Then you can use the model like this:
+
+```python
+from sentence_transformers import SentenceTransformer
+sentences = ["This is an example sentence", "Each sentence is converted"]
+
+model = SentenceTransformer('{MODEL_NAME}')
+embeddings = model.encode(sentences)
+print(embeddings)
+```
+
+
+
+## Usage (HuggingFace Transformers)
+Without [sentence-transformers](https://www.SBERT.net), you can use the model like this: First, you pass your input through the transformer model, then you have to apply the right pooling-operation on-top of the contextualized word embeddings.
+
+```python
+from transformers import AutoTokenizer, AutoModel
+import torch
+
+
+#Mean Pooling - Take attention mask into account for correct averaging
+def mean_pooling(model_output, attention_mask):
+    token_embeddings = model_output[0] #First element of model_output contains all token embeddings
+    input_mask_expanded = attention_mask.unsqueeze(-1).expand(token_embeddings.size()).float()
+    return torch.sum(token_embeddings * input_mask_expanded, 1) / torch.clamp(input_mask_expanded.sum(1), min=1e-9)
+
+
+# Sentences we want sentence embeddings for
+sentences = ['This is an example sentence', 'Each sentence is converted']
+
+# Load model from HuggingFace Hub
+tokenizer = AutoTokenizer.from_pretrained('{MODEL_NAME}')
+model = AutoModel.from_pretrained('{MODEL_NAME}')
+
+# Tokenize sentences
+encoded_input = tokenizer(sentences, padding=True, truncation=True, return_tensors='pt')
+
+# Compute token embeddings
+with torch.no_grad():
+    model_output = model(**encoded_input)
+
+# Perform pooling. In this case, mean pooling.
+sentence_embeddings = mean_pooling(model_output, encoded_input['attention_mask'])
+
+print("Sentence embeddings:")
+print(sentence_embeddings)
+```
+
+
+
+## Evaluation Results
+
+<!--- Describe how your model was evaluated -->
+
+For an automated evaluation of this model, see the *Sentence Embeddings Benchmark*: [https://seb.sbert.net](https://seb.sbert.net?model_name={MODEL_NAME})
+
+
+## Training
+The model was trained with the parameters:
+
+**DataLoader**:
+
+`torch.utils.data.dataloader.DataLoader` of length 11 with parameters:
+```
+{'batch_size': 15, 'sampler': 'torch.utils.data.sampler.RandomSampler', 'batch_sampler': 'torch.utils.data.sampler.BatchSampler'}
+```
+
+**Loss**:
+
+`sentence_transformers.losses.CosineSimilarityLoss.CosineSimilarityLoss` 
+
+Parameters of the fit()-Method:
+```
+{
+    "epochs": 50,
+    "evaluation_steps": 1,
+    "evaluator": "sentence_transformers.evaluation.EmbeddingSimilarityEvaluator.EmbeddingSimilarityEvaluator",
+    "max_grad_norm": 1,
+    "optimizer_class": "<class 'transformers.optimization.AdamW'>",
+    "optimizer_params": {
+        "lr": 2e-05
+    },
+    "scheduler": "WarmupLinear",
+    "steps_per_epoch": null,
+    "warmup_steps": 55,
+    "weight_decay": 0.01
+}
+```
+
+
+## Full Model Architecture
+```
+SentenceTransformer(
+  (0): Transformer({'max_seq_length': 128, 'do_lower_case': False}) with Transformer model: XLMRobertaModel 
+  (1): Pooling({'word_embedding_dimension': 768, 'pooling_mode_cls_token': False, 'pooling_mode_mean_tokens': True, 'pooling_mode_max_tokens': False, 'pooling_mode_mean_sqrt_len_tokens': False})
+)
+```
+
+## Citing & Authors
+
+<!--- Describe where people can find more information -->

config.json

@@ -0,0 +1,29 @@
+{
+  "_name_or_path": "/root/.cache/torch/sentence_transformers/sentence-transformers_paraphrase-multilingual-mpnet-base-v2/",
+  "architectures": [
+    "XLMRobertaModel"
+  ],
+  "attention_probs_dropout_prob": 0.1,
+  "bos_token_id": 0,
+  "classifier_dropout": null,
+  "eos_token_id": 2,
+  "gradient_checkpointing": false,
+  "hidden_act": "gelu",
+  "hidden_dropout_prob": 0.1,
+  "hidden_size": 768,
+  "initializer_range": 0.02,
+  "intermediate_size": 3072,
+  "layer_norm_eps": 1e-05,
+  "max_position_embeddings": 514,
+  "model_type": "xlm-roberta",
+  "num_attention_heads": 12,
+  "num_hidden_layers": 12,
+  "output_past": true,
+  "pad_token_id": 1,
+  "position_embedding_type": "absolute",
+  "torch_dtype": "float32",
+  "transformers_version": "4.16.2",
+  "type_vocab_size": 1,
+  "use_cache": true,
+  "vocab_size": 250002
+}

config_sentence_transformers.json

@@ -0,0 +1,7 @@
+{
+  "__version__": {
+    "sentence_transformers": "2.0.0",
+    "transformers": "4.7.0",
+    "pytorch": "1.9.0+cu102"
+  }
+}

eval/similarity_evaluation_results.csv

@@ -0,0 +1,601 @@
+epoch,steps,cosine_pearson,cosine_spearman,euclidean_pearson,euclidean_spearman,manhattan_pearson,manhattan_spearman,dot_pearson,dot_spearman
+0,1,0.24428484492337774,0.1856406898421688,0.2726824721314313,0.17419708567381592,0.20191195613958324,0.18182615511938452,-0.10491629431153585,-0.05976104399028721
+0,2,0.24351509364502127,0.1856406898421688,0.2734327408615527,0.17419708567381592,0.20275142178963407,0.18182615511938452,-0.1131177338084106,-0.05976104399028721
+0,3,0.23697508045162408,0.19326975928773737,0.26818046341929497,0.17419708567381592,0.19493466654890426,0.16021045835694017,-0.12125979710383472,-0.07374767130716295
+0,4,0.22885906700569641,0.13732325002023446,0.26263859572328574,0.15766743520841733,0.18584625597363297,0.13732325002023446,-0.13187073112063366,-0.0762906944556858
+0,5,0.22070331797540904,0.13732325002023446,0.25693372002696907,0.15512441205989447,0.17529291043256193,0.12715115742614302,-0.1399969682229709,-0.0762906944556858
+0,6,0.21361228638295973,0.14240929631728017,0.2525982801436096,0.15512441205989447,0.16662300199434593,0.048317439821934344,-0.147325844139277,-0.08773429862403868
+0,7,0.20131193233744082,0.12079359955483586,0.2378646181513023,0.15512441205989447,0.1470846632794761,0.0419598819506272,-0.13842642382686834,-0.08773429862403868
+0,8,0.1816294485413774,0.08137674075273153,0.21503281552315678,0.13986627316875733,0.11826095660452428,0.01907267361392145,-0.13326402212506572,-0.08773429862403868
+0,9,0.15934611502988655,0.06230406713881007,0.19036593210201735,0.01907267361392145,0.08748070560435363,-0.022887208336705742,-0.12789868104832922,-0.08773429862403868
+0,10,0.14418578061073717,0.05086046297045721,0.16785668054229175,0.04958895139619578,0.060429057421178115,-0.01525813889113716,-0.10853857745109843,-0.07501918288142438
+0,11,0.12021317056241569,0.05340348611898007,0.1439442503228158,0.04704592824767291,0.03511429029881187,-0.0381453472278429,-0.10807191510983034,-0.10426394908943727
+0,-1,0.12021317056241569,0.05340348611898007,0.1439442503228158,0.04704592824767291,0.03511429029881187,-0.0381453472278429,-0.10807191510983034,-0.10426394908943727
+1,1,0.08764010032666468,-0.048317439821934344,0.11361648518194054,0.04450290509915005,0.005128192416952784,-0.01780116203966002,-0.11579573062679409,-0.10299243751517584
+1,2,0.07086733530149189,-0.01525813889113716,0.09646184703459404,0.04704592824767291,-0.01017448082142832,-0.05594650926750292,-0.11570934683663242,-0.18436917826790739
+1,3,0.05899274946348375,-0.010172092594091442,0.08392666149622151,0.040688370376365766,-0.020339539441260067,-0.11570755325779014,-0.10955380812623292,-0.23014359494131884
+1,4,0.04717303639309737,-0.01780116203966002,0.07007663909350369,0.03305930093079718,-0.031665867588217274,-0.08773429862403868,-0.09557669753238945,-0.21234243290165886
+1,5,0.029837814826855817,0.00381453472278429,0.05015760121887557,0.00381453472278429,-0.04892643989489683,-0.10299243751517584,-0.08621857726949704,-0.20344185188182884
+1,6,0.012453997672205624,-0.024158719910967172,0.032230343215152654,-0.00381453472278429,-0.06474124856141893,-0.07501918288142438,-0.0818146273311905,-0.1767401088223388
+1,7,0.0016225442787361705,-0.05340348611898007,0.019558122968334993,-0.01780116203966002,-0.07645698385574519,-0.1691110393767702,-0.0746679633055612,-0.19454127086199882
+1,8,-0.005986699304893837,-0.040688370376365766,0.009964833039011764,0.012715115742614302,-0.08557905739745231,-0.19199824771347596,-0.0718145479953855,-0.25557382642654747
+1,9,-0.025804714260436675,-0.08137674075273153,-0.013490713530037264,0.031787789356535756,-0.1083985787461242,-0.20344185188182884,-0.078812757994191,-0.2326866180898417
+1,10,-0.047667792402020015,-0.12715115742614302,-0.04229513430244617,-0.13350871529745015,-0.1361205913567726,-0.23650115281262601,-0.08302507470545678,-0.21107092132739738
+1,11,-0.06639121177629836,-0.12715115742614302,-0.06729628024257385,-0.18691220141643022,-0.15943498891853608,-0.27846103476325323,-0.08619198979257986,-0.22632906021853458
+1,-1,-0.06639121177629836,-0.12715115742614302,-0.06729628024257385,-0.18691220141643022,-0.15943498891853608,-0.27846103476325323,-0.08619198979257986,-0.22632906021853458
+2,1,-0.07769594495725042,-0.1525813889113716,-0.08773160245168607,-0.22124301392148887,-0.1838096147492957,-0.29244766208012896,-0.08038752079637945,-0.19708429401052166
+2,2,-0.09444451891028613,-0.20979940975313596,-0.11312192615538515,-0.23014359494131884,-0.21472418553923073,-0.31533487041683467,-0.08081359978236707,-0.14622383104006448
+2,3,-0.10852982632187964,-0.20471336345609026,-0.13735228637340324,-0.20979940975313596,-0.24215553211163118,-0.3674668449615533,-0.07206588985492517,-0.10426394908943727
+2,4,-0.12140544444466596,-0.227600571792796,-0.15852943642413622,-0.19962731715904453,-0.2645218804624744,-0.3433081250505861,-0.0658773823814521,-0.12079359955483586
+2,5,-0.11903856490844147,-0.16275348150546307,-0.16428177077082728,-0.18182615511938452,-0.27250693527293673,-0.28863312735734464,-0.05249429340436025,-0.09027732177256154
+2,6,-0.09853614436267266,-0.10426394908943727,-0.154788664446033,-0.1678395278025088,-0.2655150774669496,-0.22124301392148887,-0.023782354646852123,0.0
+2,7,-0.08209071906816912,-0.09663487964386869,-0.13949844784114615,-0.10299243751517584,-0.2554064593191957,-0.20979940975313596,-0.024825023229676946,0.005086046297045721
+2,8,-0.08222598175559784,-0.0419598819506272,-0.13555933188185862,-0.11825057640631301,-0.24956588402336638,-0.17038255095103164,-0.03484230363937277,0.005086046297045721
+2,9,-0.08666829496472316,-0.02797325463375146,-0.1335444111667924,-0.12079359955483586,-0.2394434384033171,-0.15639592363415591,-0.04344530251796947,0.05976104399028721
+2,10,-0.0985967071013712,-0.09663487964386869,-0.14139229963425576,-0.17165406252529306,-0.24490551975631225,-0.23650115281262601,-0.0537770445983951,0.006357557871307151
+2,11,-0.11960649771926371,-0.21488545605018167,-0.15632360928493144,-0.23650115281262601,-0.2543791389443479,-0.24158719910967172,-0.07340440449805304,-0.08773429862403868
+2,-1,-0.11960649771926371,-0.21488545605018167,-0.15632360928493144,-0.23650115281262601,-0.2543791389443479,-0.24158719910967172,-0.07340440449805304,-0.08773429862403868
+3,1,-0.13574379506589263,-0.24285871068393314,-0.1701705862668023,-0.27973254633751465,-0.2593107664146082,-0.28990463893160606,-0.09240401149125341,-0.12079359955483586
+3,2,-0.14972476327005443,-0.21107092132739738,-0.18651719082452028,-0.27973254633751465,-0.26249594688336964,-0.31660638199109614,-0.11498434125145844,-0.20471336345609026
+3,3,-0.151093143761207,-0.3356790556050176,-0.1923599278395713,-0.3382220787535404,-0.2568098005283523,-0.42214184265479476,-0.12697470554934664,-0.28609010420882175
+3,4,-0.14715619841149574,-0.35729475236746183,-0.19229383464887106,-0.40179765746661195,-0.248987237235068,-0.41451277320922625,-0.1293735531018657,-0.2606598727235932
+3,5,-0.13548588672673254,-0.35729475236746183,-0.18187307287917553,-0.3941685880210433,-0.2343062094168096,-0.4501150972885462,-0.11370611012853388,-0.27210347689194603
+3,6,-0.12013761385561383,-0.2962621968029132,-0.16710829865399027,-0.3916255648725205,-0.21896494711688094,-0.42977091210036333,-0.08906654779824863,-0.24413022225819456
+3,7,-0.09463553269127038,-0.21107092132739738,-0.14374901104459173,-0.3356790556050176,-0.19916264394375027,-0.3496656829218933,-0.04546265851534015,-0.1691110393767702
+3,8,-0.06435604130498838,-0.16148196993120162,-0.11494218242368837,-0.2975337083771747,-0.17065696204330738,-0.3038912662484818,-0.003412476788690499,-0.08010522917847009
+3,9,-0.029132687827848197,-0.05086046297045721,-0.08101938620234132,-0.2403156875354103,-0.13821193813397323,-0.2326866180898417,0.04461955900040996,-0.01525813889113716
+3,10,0.008975456413371309,0.01398662731687573,-0.043610516757297,-0.17419708567381592,-0.10101734821054452,-0.15639592363415591,0.09184237503027225,0.12333662270335873
+3,11,0.01147344679152094,0.02924476620801289,-0.0399049831333017,-0.057218020841764354,-0.10293495387868594,-0.11189301853500584,0.08318769269720588,0.16529650465398593
+3,-1,0.01147344679152094,0.02924476620801289,-0.0399049831333017,-0.057218020841764354,-0.10293495387868594,-0.11189301853500584,0.08318769269720588,0.16529650465398593
+4,1,0.027115732958458212,0.08519127547551582,-0.023302624732444228,0.00890058101983001,-0.08852848951232806,-0.05976104399028721,0.08500268490168883,0.2199715023472274
+4,2,0.032636975557570426,0.14495231946580303,-0.01572268702605164,0.10044941436665299,-0.0806506071163954,0.00381453472278429,0.08066925957203519,0.25175929170376316
+4,3,0.04072990623717533,0.16402499307972448,-0.0028806042640257797,0.13223720372318873,-0.06541256107752803,0.005086046297045721,0.07126056211428929,0.24794475698097887
+4,4,0.04864299028889382,0.1894552245649531,0.00893736772926238,0.10172092594091442,-0.05196404109356003,0.04958895139619578,0.07034425892893195,0.24794475698097887
+4,5,0.06651212810199829,0.1907267361392145,0.03179656565015666,0.11570755325779014,-0.027566862567949196,0.08137674075273153,0.07674033509309333,0.24540173383245603
+4,6,0.08606792641958809,0.2021703403075674,0.05707903311426569,0.19199824771347596,-0.00047214016489928885,0.08519127547551582,0.08545098976050777,0.26320289587211604
+4,7,0.1314225332875556,0.24285871068393314,0.12047398431504426,0.20089882873330597,0.07412860153118216,0.20979940975313596,0.12945547054441142,0.2975337083771747
+4,8,0.15873446331993044,0.31533487041683467,0.16123335663254332,0.19581278243626024,0.12288043030425852,0.21488545605018167,0.15410038173121407,0.345851148199109
+4,9,0.15598692454067195,0.30134824309995895,0.15735196096967868,0.17928313197086163,0.1148208887369446,0.15639592363415591,0.1445671377747232,0.3394935903278018
+4,10,0.1465471982083761,0.25175929170376316,0.14636642305344094,0.16402499307972448,0.10063467679955417,0.18691220141643022,0.14295835331525708,0.31787789356535756
+4,11,0.1648215549509413,0.28481859263456033,0.1676028747674614,0.21869999077296598,0.12588058839734617,0.22887208336705742,0.1618001314718358,0.31533487041683467
+4,-1,0.1648215549509413,0.28481859263456033,0.1676028747674614,0.21869999077296598,0.12588058839734617,0.22887208336705742,0.1618001314718358,0.31533487041683467
+5,1,0.16153662239385685,0.3394935903278018,0.1645495920687728,0.2682889421691617,0.12395160864261133,0.24667324540671745,0.16405916656051608,0.32550696301092613
+5,2,0.1272987483671752,0.2530308032780246,0.11746249176931015,0.24540173383245603,0.06250777110664188,0.20089882873330597,0.14430891573496663,0.2911761505058675
+5,3,0.06494349502192044,0.22887208336705742,0.03560490303928203,0.1436808078915416,-0.035908832335854485,0.08646278704977725,0.10400235854513086,0.28863312735734464
+5,4,-0.018928108305793428,0.05594650926750292,-0.05923328854227977,-0.020344185188182883,-0.13738557867450704,-0.15893894678267878,0.04373936436223508,0.2250575486442731
+5,5,-0.08719537834234403,-0.20979940975313596,-0.12221510077985136,-0.22378603707001168,-0.1930462746695448,-0.25430231485228605,-0.0254549306070536,0.07374767130716295
+5,6,-0.11501719392557419,-0.26447440744637746,-0.14945556042331545,-0.25175929170376316,-0.21308013108268611,-0.23777266438688743,-0.04889478239387002,-0.08010522917847009
+5,7,-0.11663525638403828,-0.26447440744637746,-0.1522974525513822,-0.2403156875354103,-0.2103389805539834,-0.24794475698097887,-0.042652213356536454,-0.07756220602994723
+5,8,-0.11178485306274384,-0.1983558055847831,-0.14950083998570776,-0.23014359494131884,-0.2035952943970075,-0.21234243290165886,-0.024967390765875237,-0.05976104399028721
+5,9,-0.10293009149095425,-0.17419708567381592,-0.14338250021781823,-0.19581278243626024,-0.1976712059898563,-0.19199824771347596,-0.0025451960644590206,0.040688370376365766
+5,10,-0.07712611493584516,-0.11825057640631301,-0.1254124766581229,-0.1856406898421688,-0.17952765706367552,-0.16402499307972448,0.04484529004662329,0.1729255740995545
+5,11,-0.05026153298230119,-0.07247615973290152,-0.1071734455335534,-0.1309656921489273,-0.1599614095793036,-0.1436808078915416,0.08988676622818982,0.1983558055847831
+5,-1,-0.05026153298230119,-0.07247615973290152,-0.1071734455335534,-0.1309656921489273,-0.1599614095793036,-0.1436808078915416,0.08988676622818982,0.1983558055847831
+6,1,-0.028894797569683748,-0.05976104399028721,-0.09137297226523067,-0.05976104399028721,-0.14466549299063375,-0.09536336806960725,0.11973843254979777,0.25557382642654747
+6,2,-0.00161136740635601,0.1309656921489273,-0.06722587516304201,-0.04958895139619578,-0.12155399718250566,-0.05086046297045721,0.14751413008073125,0.23777266438688743
+6,3,0.019413210632896822,0.1907267361392145,-0.04463773193657316,-0.0762906944556858,-0.09990425103325619,-0.07120464815864008,0.16541766428395377,0.19962731715904453
+6,4,0.0164871997871062,0.15639592363415591,-0.03687555306042754,-0.08519127547551582,-0.09133827378246931,-0.1296941805746659,0.15487301006989912,0.2326866180898417
+6,5,-0.02191135615437784,0.05976104399028721,-0.05939872829897165,-0.16656801622824735,-0.11216530965993464,-0.11697906483205156,0.1098219527022107,0.23777266438688743
+6,6,-0.0424273896994549,-0.05594650926750292,-0.06637920336790873,-0.15512441205989447,-0.11629931099475092,-0.16275348150546307,0.07716476594933767,0.2250575486442731
+6,7,-0.06346495608701846,-0.0839197639012544,-0.07660134323940722,-0.17165406252529306,-0.12499669063555,-0.21361394447592028,0.04259122796869028,0.21107092132739738
+6,8,-0.07340464277955182,-0.05594650926750292,-0.08075018441733813,-0.18691220141643022,-0.12893752919712625,-0.2250575486442731,0.024129601317054307,0.1780116203966002
+6,9,-0.04452617815450566,0.10426394908943727,-0.04719514794721441,-0.03051627778227432,-0.09354693622666202,-0.06484709028733295,0.05434747593598286,0.19962731715904453
+6,10,-0.024775111110384603,0.11952208798057443,-0.02218676243831606,0.09154883334682297,-0.06375723126075732,0.01780116203966002,0.07161376987967837,0.1691110393767702
+6,11,-0.008678171617071614,0.12206511112909728,0.0004370632771923425,0.11952208798057443,-0.03558894520232658,0.13732325002023446,0.08483776987537013,0.18055464354512307
+6,-1,-0.008678171617071614,0.12206511112909728,0.0004370632771923425,0.11952208798057443,-0.03558894520232658,0.13732325002023446,0.08483776987537013,0.18055464354512307
+7,1,-0.009959860822776825,0.13732325002023446,0.005159525269205252,0.10426394908943727,-0.029107568038037022,0.10680697223796014,0.08047342232976473,0.18055464354512307
+7,2,-0.006636078671560965,0.11952208798057443,0.01067577490948101,0.10426394908943727,-0.022126536096944035,0.05594650926750292,0.08343025412422396,0.1983558055847831
+7,3,-0.01608505689991856,0.10426394908943727,-0.0032639413982231205,0.11952208798057443,-0.03642427262426718,0.0890058101983001,0.08593865914036913,0.20598487503035168
+7,4,-0.04345580384466625,0.11189301853500584,-0.03582421171943838,0.05848953241602578,-0.07174707053241375,-0.06484709028733295,0.06820451868081694,0.2021703403075674
+7,5,-0.07491982926313234,-0.04704592824767291,-0.0721213847426452,-0.08264825232699297,-0.10729664524998346,-0.10807848381222157,0.0403641759227696,0.1678395278025088
+7,6,-0.09185541337681653,-0.0928203449210844,-0.09341259799407493,-0.0890058101983001,-0.12602016886718667,-0.08646278704977725,0.018441325057326888,0.15385290048563305
+7,7,-0.07866859310457833,-0.010172092594091442,-0.08250808618600547,-0.025430231485228605,-0.11379909230332724,-0.07247615973290152,0.03345347499252743,0.18309766669364594
+7,8,-0.04995332890368776,0.06484709028733295,-0.061608219438019175,-0.01398662731687573,-0.09205800883509721,-0.03941685880210433,0.07714900441720646,0.18309766669364594
+7,9,-0.01195820468064199,0.13605173844597301,-0.030903170872782354,0.06484709028733295,-0.06019834585864447,0.036873835653581474,0.1254244484353683,0.227600571792796
+7,10,0.028206363902451802,0.17038255095103164,-4.868325451066276e-06,0.08137674075273153,-0.026530963913494306,0.06993313658437866,0.1732996434475336,0.2810040579117761
+7,11,0.06364479796674347,0.1347802268717116,0.02815333139371222,0.10426394908943727,0.004225620889530251,0.09663487964386869,0.20867534456974196,0.28863312735734464
+7,-1,0.06364479796674347,0.1347802268717116,0.02815333139371222,0.10426394908943727,0.004225620889530251,0.09663487964386869,0.20867534456974196,0.28863312735734464
+8,1,0.0858850667778752,0.16402499307972448,0.04494577708836597,0.13732325002023446,0.02285862318043811,0.1474953426143259,0.23107423543515834,0.2670174305949003
+8,2,0.0901855146651891,0.1525813889113716,0.047561503370008876,0.12206511112909728,0.026707593929479176,0.12206511112909728,0.24286209972855372,0.3089773125455275
+8,3,0.08568284547885205,0.15512441205989447,0.043038955826396524,0.11189301853500584,0.022552040858415733,0.07883371760420867,0.24834622146432858,0.3394935903278018
+8,4,0.08811306640404494,0.19199824771347596,0.045361402258652574,0.1347802268717116,0.025889272505009397,0.08264825232699297,0.256553760982437,0.3433081250505861
+8,5,0.09316957097491091,0.21742847919870456,0.05191782738061232,0.16529650465398593,0.035137949744090825,0.1691110393767702,0.26450314635861855,0.36492382181303046
+8,6,0.09731684772673546,0.24794475698097887,0.05797860669321701,0.22378603707001168,0.04339326566452011,0.21234243290165886,0.26998258543504344,0.39798312274382763
+8,7,0.10023979677568233,0.3089773125455275,0.062373896442173005,0.23777266438688743,0.04888100291844634,0.2593883611493318,0.2745715701155987,0.4081552153379191
+8,8,0.09316887606263956,0.27591801161473034,0.05599721343405466,0.23141510651558028,0.04309539462107033,0.22124301392148887,0.2740031619234157,0.40052614589235047
+8,9,0.08086050481015461,0.2530308032780246,0.04267413798030676,0.13859476159449588,0.029372734491629356,0.13859476159449588,0.2723434109198111,0.39035405329825906
+8,10,0.0636776163081435,0.23395812966410312,0.02588468024881895,0.07247615973290152,0.011455075230999432,0.05848953241602578,0.26484437986286913,0.3560232407932004
+8,11,0.0552248829849635,0.16021045835694017,0.015423031316679004,0.03051627778227432,-0.0015500586354288202,0.05848953241602578,0.26133801390700406,0.3496656829218933
+8,-1,0.0552248829849635,0.16021045835694017,0.015423031316679004,0.03051627778227432,-0.0015500586354288202,0.05848953241602578,0.26133801390700406,0.3496656829218933
+9,1,0.056134574337420244,0.12715115742614302,0.015445340145443827,0.012715115742614302,-0.0039037872331526527,0.01907267361392145,0.2594317845855992,0.37255289125859903
+9,2,0.06910425181723377,0.1780116203966002,0.026422683603964006,0.01398662731687573,0.004402906843164339,0.01907267361392145,0.26824689790609285,0.3445796366248476
+9,3,0.09227302444856611,0.22887208336705742,0.04897983127670135,0.04958895139619578,0.02276085043434187,0.06484709028733295,0.2838671479281309,0.36492382181303046
+9,4,0.09423624833524462,0.16656801622824735,0.05667803577793634,0.10934999538648299,0.025840631729082256,0.07756220602994723,0.2785303199778411,0.3394935903278018
+9,5,0.08194191479083683,0.15512441205989447,0.056392404751873716,0.0928203449210844,0.024449027017375075,0.031787789356535756,0.2532926604443765,0.3216924282881418
+9,6,0.05140378438013859,0.11570755325779014,0.038282839351561106,0.0762906944556858,0.0072077195719953725,0.0012715115742614302,0.20692020560913502,0.24158719910967172
+9,7,0.053452533754213244,0.1296941805746659,0.04655385200086831,0.0928203449210844,0.016024990991196086,0.040688370376365766,0.19912552469488876,0.24158719910967172
+9,8,0.06008905217725553,0.15512441205989447,0.058642265289449325,0.1296941805746659,0.028683370300366825,0.11697906483205156,0.19741527487326757,0.24158719910967172
+9,9,0.07650285827024465,0.17928313197086163,0.08191974859754206,0.17928313197086163,0.053433655806550615,0.18436917826790739,0.20410820140234215,0.3038912662484818
+9,10,0.1108520701155684,0.18818371299069164,0.12071225577903234,0.20598487503035168,0.09276558053062119,0.1729255740995545,0.23366680837497647,0.32677847458518755
+9,11,0.1352742121491027,0.2682889421691617,0.1534387805325977,0.2492162685552403,0.12845006228073783,0.2568453380008089,0.24877099547216558,0.32042091671388034
+9,-1,0.1352742121491027,0.2682889421691617,0.1534387805325977,0.2492162685552403,0.12845006228073783,0.2568453380008089,0.24877099547216558,0.32042091671388034
+10,1,0.14010896075238907,0.27846103476325323,0.16443162984794676,0.2733749884662075,0.1422500592343806,0.2682889421691617,0.24488906563165735,0.345851148199109
+10,2,0.12733343788958434,0.27846103476325323,0.15877042218655443,0.2733749884662075,0.1388981261205443,0.2682889421691617,0.2239578799848578,0.345851148199109
+10,3,0.0904583520298631,0.2021703403075674,0.12668190502960328,0.2021703403075674,0.10888731335941387,0.21615696762444314,0.17941364611325072,0.28990463893160606
+10,4,0.056109783429190464,0.17038255095103164,0.09461255817796738,0.15893894678267878,0.07991680991866351,0.15003836576284876,0.13005453738811912,0.3000767315256975
+10,5,0.061005214985598646,0.17038255095103164,0.09739746911409002,0.15893894678267878,0.08466894567591617,0.15003836576284876,0.13147202090770083,0.2708319653176846
+10,6,0.07144989426162068,0.15893894678267878,0.10457558815660063,0.15893894678267878,0.09282160281859524,0.15385290048563305,0.14118142272489567,0.2708319653176846
+10,7,0.09175951862639338,0.20598487503035168,0.1215169484137228,0.20598487503035168,0.1098473681914233,0.15385290048563305,0.16471598670679563,0.2810040579117761
+10,8,0.09765143242984167,0.20598487503035168,0.12409389283800717,0.20979940975313596,0.11306443376321197,0.18818371299069164,0.1678591887466313,0.2810040579117761
+10,9,0.12216557459513619,0.21361394447592028,0.14378884110926454,0.20979940975313596,0.1315673628112206,0.17419708567381592,0.1923576170218965,0.2606598727235932
+10,10,0.1449155715497598,0.2581168495750703,0.16070414551303897,0.21742847919870456,0.14712347270329443,0.2403156875354103,0.21549664468306462,0.28481859263456033
+10,11,0.13702779814361676,0.21869999077296598,0.14880104925190946,0.22124301392148887,0.135740912236357,0.1856406898421688,0.1984700275666613,0.23650115281262601
+10,-1,0.13702779814361676,0.21869999077296598,0.14880104925190946,0.22124301392148887,0.135740912236357,0.1856406898421688,0.1984700275666613,0.23650115281262601
+11,1,0.13466194412331606,0.18818371299069164,0.14417659360754256,0.18818371299069164,0.1318010410793776,0.18818371299069164,0.18699439600143283,0.2568453380008089
+11,2,0.13812739097661494,0.19962731715904453,0.1439806836725547,0.19962731715904453,0.13139233305655296,0.18818371299069164,0.18470648400612347,0.24667324540671745
+11,3,0.15639388204585097,0.19962731715904453,0.15623239900736888,0.19962731715904453,0.14275593953309948,0.18818371299069164,0.20267658368060804,0.2568453380008089
+11,4,0.18543176525086927,0.23014359494131884,0.1776504999823073,0.2326866180898417,0.16237247733034144,0.19962731715904453,0.2359427270925566,0.26447440744637746
+11,5,0.21052664731205645,0.24667324540671745,0.19804637359347083,0.2326866180898417,0.181259083453799,0.2657459190206389,0.2592858798415844,0.2746465000404689
+11,6,0.23105135535383312,0.2810040579117761,0.21566524700625095,0.2657459190206389,0.19788695343444992,0.2911761505058675,0.2737787110012476,0.2708319653176846
+11,7,0.24582426626250026,0.32423545143666466,0.22963092520184988,0.2975337083771747,0.21132854441473573,0.3000767315256975,0.277021326949069,0.2962621968029132
+11,8,0.25064798735551685,0.32423545143666466,0.23691757368056415,0.2975337083771747,0.21839791476729,0.2975337083771747,0.26829617905603526,0.3038912662484818
+11,9,0.2632478936797253,0.3382220787535404,0.25098040436555186,0.2949906852286518,0.23176232078620795,0.2949906852286518,0.2698092863948154,0.31533487041683467
+11,10,0.26295766290972,0.3394935903278018,0.25190245772400355,0.2949906852286518,0.2315564907525761,0.3064342893970047,0.2638728639028557,0.3051627778227432
+11,11,0.2595409973003481,0.31787789356535756,0.25017698236236907,0.31787789356535756,0.2290016010382744,0.3064342893970047,0.2535406456712481,0.24794475698097887
+11,-1,0.2595409973003481,0.31787789356535756,0.25017698236236907,0.31787789356535756,0.2290016010382744,0.3064342893970047,0.2535406456712481,0.24794475698097887
+12,1,0.25152211460869955,0.32550696301092613,0.24439787214767014,0.31787789356535756,0.22251341489955087,0.31787789356535756,0.2416079092944585,0.2593883611493318
+12,2,0.24184399824178815,0.3115203356940504,0.2373858775661983,0.3038912662484818,0.21544750636017068,0.3038912662484818,0.2267463555676792,0.2593883611493318
+12,3,0.23263897475185963,0.3115203356940504,0.23070785925120552,0.3038912662484818,0.20805824930184025,0.3038912662484818,0.21641134812317764,0.24667324540671745
+12,4,0.2201708986504939,0.2835470810602989,0.2213407683454018,0.28481859263456033,0.1988047562031765,0.32042091671388034,0.2052362009071244,0.24285871068393314
+12,5,0.2108330176031855,0.2695604537434232,0.21423223741935857,0.30134824309995895,0.19256216353267933,0.32550696301092613,0.2088177870521421,0.24285871068393314
+12,6,0.19884738577655825,0.22378603707001168,0.2038379531175807,0.28990463893160606,0.18278060853217662,0.2708319653176846,0.2110296638368284,0.25430231485228605
+12,7,0.1891996509269665,0.18691220141643022,0.1968266848307505,0.2657459190206389,0.17653017985886416,0.24540173383245603,0.21099079965641868,0.23650115281262601
+12,8,0.20568057253055666,0.2708319653176846,0.21241957013950763,0.32804998615944897,0.19234232435436246,0.28609010420882175,0.24455780240180194,0.2682889421691617
+12,9,0.22379603946138535,0.29244766208012896,0.22908549904315526,0.31406335884257325,0.21031332929469707,0.31406335884257325,0.27559925174196326,0.32677847458518755
+12,10,0.2233189554384498,0.2619313842978546,0.22914325643493808,0.2949906852286518,0.21065234431374708,0.31406335884257325,0.2900182830477768,0.3293214977337104
+12,11,0.22335888527662204,0.2746465000404689,0.22933952232849714,0.3318645208822333,0.21142967417112646,0.3038912662484818,0.30172792154031036,0.38526800700121333
+12,-1,0.22335888527662204,0.2746465000404689,0.22933952232849714,0.3318645208822333,0.21142967417112646,0.3038912662484818,0.30172792154031036,0.38526800700121333
+13,1,0.21173164555789423,0.2962621968029132,0.21801399204760644,0.3356790556050176,0.19973022215594607,0.31024882411978894,0.3020843455387296,0.39925463431808905
+13,2,0.18843707131767565,0.2746465000404689,0.19815761354893885,0.28481859263456033,0.18043943684823313,0.26320289587211604,0.2928095614605635,0.4170557963577491
+13,3,0.14582896768059214,0.26320289587211604,0.16024485347841388,0.25557382642654747,0.142954188888943,0.25557382642654747,0.2670818334590589,0.34839417134763184
+13,4,0.10074495841660118,0.19454127086199882,0.1194016993498367,0.1691110393767702,0.10336753131779192,0.19708429401052166,0.23503333239437887,0.2530308032780246
+13,5,0.071558928362253,0.1691110393767702,0.09114301555901824,0.1856406898421688,0.07601358018970143,0.1856406898421688,0.21323293260923046,0.2530308032780246
+13,6,0.05717854412192771,0.1474953426143259,0.077579923853622,0.16402499307972448,0.06323976802413449,0.1525813889113716,0.20224899316531988,0.2619313842978546
+13,7,0.05190121167803472,0.1474953426143259,0.07289100587780535,0.16402499307972448,0.05934606481475742,0.1856406898421688,0.1991404693144879,0.2619313842978546
+13,8,0.07339858628968865,0.1474953426143259,0.09164268483113337,0.1474953426143259,0.07839843272301134,0.1856406898421688,0.2256237660792605,0.2708319653176846
+13,9,0.09247601352472477,0.14240929631728017,0.10746285967276728,0.1474953426143259,0.09424429983527559,0.20089882873330597,0.2461737016560376,0.2988052199514361
+13,10,0.1233728966278949,0.1856406898421688,0.13306546889421408,0.1729255740995545,0.11937211145585892,0.21234243290165886,0.2760474296714058,0.3445796366248476
+13,11,0.16958777092038071,0.2581168495750703,0.17989020251537158,0.24158719910967172,0.16671291648467182,0.2810040579117761,0.3062883659658714,0.41451277320922625
+13,-1,0.16958777092038071,0.2581168495750703,0.17989020251537158,0.24158719910967172,0.16671291648467182,0.2810040579117761,0.3062883659658714,0.41451277320922625
+14,1,0.18733558170656814,0.23777266438688743,0.19993610125181743,0.2988052199514361,0.1866079173132118,0.32423545143666466,0.31557672366320993,0.4259563773775791
+14,2,0.18564588632453685,0.28990463893160606,0.20113939193167552,0.32042091671388034,0.18800529808949568,0.32423545143666466,0.31479860474206167,0.4259563773775791
+14,3,0.1631815975027024,0.28990463893160606,0.18228725363520035,0.2873616157830832,0.16873812964898366,0.2911761505058675,0.3003962494329647,0.40179765746661195
+14,4,0.1365308568027168,0.22124301392148887,0.16011007326949922,0.2835470810602989,0.14701635914557165,0.2682889421691617,0.27706639152678597,0.3331360324564947
+14,5,0.10736788608177604,0.1474953426143259,0.13450236885893146,0.20344185188182884,0.12181355405679817,0.1767401088223388,0.24552434594453287,0.3115203356940504
+14,6,0.08903650471597173,0.12460813427762014,0.11779582835044475,0.18055464354512307,0.10555082337875034,0.2021703403075674,0.22304995724545723,0.33059300930797186
+14,7,0.07883769480787535,0.10172092594091442,0.10633046164371701,0.1525813889113716,0.09365556921354987,0.15766743520841733,0.21411835317237707,0.3394935903278018
+14,8,0.08327970411391139,0.12715115742614302,0.10704016758980948,0.1525813889113716,0.09326954437371365,0.16021045835694017,0.22811740279344306,0.3318645208822333
+14,9,0.0871006941838224,0.17419708567381592,0.10687225986920397,0.17419708567381592,0.09199481658721395,0.18182615511938452,0.24222601117278553,0.3318645208822333
+14,10,0.13488767925345535,0.19326975928773737,0.14871969273648522,0.18309766669364594,0.13381879215822984,0.20344185188182884,0.2941376667644975,0.3674668449615533
+14,11,0.1805825817612639,0.2937191736543904,0.18590516190703818,0.27973254633751465,0.17049392373984246,0.2937191736543904,0.32927241940248064,0.45774416673411483
+14,-1,0.1805825817612639,0.2937191736543904,0.18590516190703818,0.27973254633751465,0.17049392373984246,0.2937191736543904,0.32927241940248064,0.45774416673411483
+15,1,0.22650515067023697,0.3674668449615533,0.2227472878526947,0.3763674259813833,0.20563126848513952,0.3763674259813833,0.354087614074128,0.44884358571428484
+15,2,0.26982108166830837,0.3839964954269519,0.2559384850983423,0.38653951857547475,0.23792097219055233,0.38653951857547475,0.3712882238610632,0.5505645116551992
+15,3,0.2946214795884367,0.4081552153379191,0.27398740550974643,0.3534802176446776,0.2556269864003504,0.37509591440712187,0.3781067226719859,0.5340348611898006
+15,4,0.30336978150191307,0.39798312274382763,0.2776552524868206,0.3534802176446776,0.2588206669930963,0.37509591440712187,0.37952426842904924,0.5340348611898006
+15,5,0.29576869079708556,0.41196975006070335,0.26406285456234957,0.3700098681100762,0.2440211045100467,0.3916255648725205,0.37702200708873174,0.5340348611898006
+15,6,0.2720091453308753,0.3674668449615533,0.2328721762637554,0.3318645208822333,0.21289365200524227,0.30261975467422036,0.3705387791193756,0.5340348611898006
+15,7,0.2512620451963445,0.3433081250505861,0.21137198704097046,0.28863312735734464,0.19230854148229018,0.30261975467422036,0.36304497802597074,0.5340348611898006
+15,8,0.23270592347705543,0.3433081250505861,0.1945721864160042,0.28863312735734464,0.17632940706667255,0.2911761505058675,0.3544277710721334,0.4920749792391734
+15,9,0.21632788963394908,0.345851148199109,0.1834378465243192,0.2606598727235932,0.16621492844102642,0.26447440744637746,0.3435595990519266,0.4259563773775791
+15,10,0.20952619973242168,0.345851148199109,0.182358869414142,0.227600571792796,0.16547196164875358,0.23141510651558028,0.3346073013268795,0.44248602784297775
+15,11,0.1982840496987269,0.23650115281262601,0.17514664856850137,0.2250575486442731,0.15864658123057135,0.21107092132739738,0.3237240109623732,0.41069823848644194
+15,-1,0.1982840496987269,0.23650115281262601,0.17514664856850137,0.2250575486442731,0.15864658123057135,0.21107092132739738,0.3237240109623732,0.41069823848644194
+16,1,0.1951600351163038,0.2593883611493318,0.1757333808101142,0.20598487503035168,0.15997903808989034,0.21107092132739738,0.3159325214298626,0.38908254172399764
+16,2,0.19229594235595965,0.23141510651558028,0.17589573692119925,0.19581278243626024,0.16090433083897454,0.1780116203966002,0.3088901450156244,0.3916255648725205
+16,3,0.1985936165056584,0.23141510651558028,0.18610366836104988,0.20598487503035168,0.17156445692245983,0.24158719910967172,0.30535205437907265,0.3916255648725205
+16,4,0.2075458067214608,0.227600571792796,0.19924702084049822,0.23141510651558028,0.18523195621026742,0.2250575486442731,0.3033819827833465,0.3878110301497362
+16,5,0.21328120065243422,0.2746465000404689,0.20921745575683473,0.2708319653176846,0.1959341989452816,0.2746465000404689,0.3001517219618599,0.354751729218939
+16,6,0.20851965874759373,0.29244766208012896,0.20806906807650355,0.2530308032780246,0.19525426749937896,0.2746465000404689,0.2914553811297017,0.354751729218939
+16,7,0.20281917764213753,0.2593883611493318,0.20516378043153796,0.2530308032780246,0.1925066265521415,0.2708319653176846,0.2831897043699524,0.354751729218939
+16,8,0.19181821258798148,0.26320289587211604,0.19697509271472588,0.2492162685552403,0.18471823718685576,0.24794475698097887,0.27133477171870535,0.32677847458518755
+16,9,0.1783309768170016,0.2403156875354103,0.18642899071503108,0.22632906021853458,0.17464442601446234,0.23014359494131884,0.25836112443725184,0.32677847458518755
+16,10,0.16551803778736904,0.2403156875354103,0.17624296087038868,0.22632906021853458,0.16504420727910193,0.24413022225819456,0.24622732660962723,0.32677847458518755
+16,11,0.15464564713951834,0.25048778012950174,0.16765033470353444,0.2403156875354103,0.1569733980413622,0.24413022225819456,0.23581766614224842,0.32677847458518755
+16,-1,0.15464564713951834,0.25048778012950174,0.16765033470353444,0.2403156875354103,0.1569733980413622,0.24413022225819456,0.23581766614224842,0.32677847458518755
+17,1,0.13916697003972506,0.25048778012950174,0.15365511074539406,0.2403156875354103,0.1437876009977174,0.24413022225819456,0.22198078527319948,0.2835470810602989
+17,2,0.12712210547856542,0.25048778012950174,0.1433319410774743,0.2403156875354103,0.13400268990587783,0.19708429401052166,0.21071551171201466,0.2873616157830832
+17,3,0.12284755828427693,0.22124301392148887,0.14033859116104883,0.22124301392148887,0.13121700053642515,0.17928313197086163,0.2077198194976516,0.2670174305949003
+17,4,0.11346072219568144,0.22124301392148887,0.1306941164063699,0.18309766669364594,0.12175199176253973,0.17928313197086163,0.2006034401924318,0.2670174305949003
+17,5,0.10746173964621955,0.22124301392148887,0.12457419171102734,0.17546859724807737,0.11552928525038683,0.17928313197086163,0.19673163935897633,0.2670174305949003
+17,6,0.11524994876548382,0.22887208336705742,0.1301253222842269,0.22124301392148887,0.12065714393445302,0.19708429401052166,0.2059723322860853,0.2949906852286518
+17,7,0.11991753584009524,0.22887208336705742,0.132501562188548,0.22124301392148887,0.12312503720676478,0.19708429401052166,0.2145181999340217,0.2949906852286518
+17,8,0.12722649032813815,0.22887208336705742,0.13788777316083792,0.22124301392148887,0.1286873155046342,0.2250575486442731,0.22389210134606688,0.2949906852286518
+17,9,0.14118376780219918,0.2670174305949003,0.14857318771480518,0.22124301392148887,0.1394536308262497,0.2250575486442731,0.23763118701528915,0.2949906852286518
+17,10,0.1547069171441376,0.2670174305949003,0.1572137575480495,0.2492162685552403,0.14831260197487534,0.2530308032780246,0.25249937379281145,0.3382220787535404
+17,11,0.15561948477269258,0.2568453380008089,0.1563415663134347,0.2530308032780246,0.14790121765479275,0.2530308032780246,0.2555074289309317,0.3712813796843376
+17,-1,0.15561948477269258,0.2568453380008089,0.1563415663134347,0.2530308032780246,0.14790121765479275,0.2530308032780246,0.2555074289309317,0.3712813796843376
+18,1,0.1586048027820034,0.2568453380008089,0.15596982680820085,0.23904417596114885,0.14773689302361145,0.2530308032780246,0.2613662511021795,0.3712813796843376
+18,2,0.1653516667164909,0.2568453380008089,0.15924577436536597,0.23904417596114885,0.15132653511630637,0.2530308032780246,0.2688554839028681,0.3712813796843376
+18,3,0.16740604409832363,0.2568453380008089,0.16071663970628441,0.21361394447592028,0.15322891291816818,0.23904417596114885,0.27171871936463776,0.3712813796843376
+18,4,0.16567987953326982,0.2568453380008089,0.15926642469307403,0.20979940975313596,0.15204426316862,0.21361394447592028,0.2715899482689007,0.3712813796843376
+18,5,0.1617658584734507,0.24285871068393314,0.15656943536841045,0.1983558055847831,0.14977869928819332,0.21361394447592028,0.27018445130021823,0.3712813796843376
+18,6,0.1575084570136939,0.24285871068393314,0.1541571031444202,0.1983558055847831,0.14796958269843674,0.2021703403075674,0.2680838734320038,0.3598377755159847
+18,7,0.15709903826936655,0.2530308032780246,0.1558307684116068,0.20852789817887454,0.14988981221531253,0.21234243290165886,0.26781832011944734,0.3598377755159847
+18,8,0.15890791788267328,0.28609010420882175,0.15917115434949625,0.20852789817887454,0.15322620161469946,0.21234243290165886,0.269880182801983,0.3598377755159847
+18,9,0.17005743039502547,0.3000767315256975,0.17128660324656605,0.21869999077296598,0.16473736589349064,0.21869999077296598,0.2761130438902291,0.3598377755159847
+18,10,0.1792856985618077,0.3000767315256975,0.1832198841499499,0.2657459190206389,0.17615395882272628,0.27973254633751465,0.2803778288913588,0.3598377755159847
+18,11,0.1794106633845993,0.28990463893160606,0.1860436190965085,0.25557382642654747,0.17870148480310546,0.30261975467422036,0.27962813410425874,0.3598377755159847
+18,-1,0.1794106633845993,0.28990463893160606,0.1860436190965085,0.25557382642654747,0.17870148480310546,0.30261975467422036,0.27962813410425874,0.3598377755159847
+19,1,0.17671178388891645,0.28990463893160606,0.18611035961572647,0.24158719910967172,0.17853801247892673,0.27718952318899176,0.27701239608177286,0.3598377755159847
+19,2,0.17291161077899406,0.28990463893160606,0.184574041634915,0.24158719910967172,0.17696467692593718,0.23014359494131884,0.27383287374674764,0.3598377755159847
+19,3,0.1737650378559548,0.2988052199514361,0.18739752225972645,0.26447440744637746,0.1794457698386629,0.26320289587211604,0.2727016903261855,0.3598377755159847
+19,4,0.15341125687036536,0.2657459190206389,0.17209478250536905,0.22124301392148887,0.1643600756794324,0.24285871068393314,0.2581082161063122,0.33695056717927896
+19,5,0.13280367786543668,0.22124301392148887,0.1557912547765662,0.22124301392148887,0.1484926668919932,0.22124301392148887,0.2426650804523782,0.3420366134763247
+19,6,0.11747197431823336,0.22124301392148887,0.14330450269730058,0.22632906021853458,0.13644366703936306,0.22632906021853458,0.23043538138628755,0.3420366134763247
+19,7,0.1109086491394997,0.1983558055847831,0.1382286523973536,0.2326866180898417,0.13160806804812356,0.20471336345609026,0.22478714718422355,0.3293214977337104
+19,8,0.11019281119430115,0.1983558055847831,0.13850803653344457,0.2326866180898417,0.13198973923957785,0.20471336345609026,0.22351074326337267,0.3293214977337104
+19,9,0.11484951638096223,0.21615696762444314,0.14247007973304449,0.2326866180898417,0.13588175934221022,0.20471336345609026,0.2289379112299977,0.3293214977337104
+19,10,0.1247500033236577,0.21615696762444314,0.15046562973592437,0.21615696762444314,0.14374878296737262,0.2326866180898417,0.2396257776798659,0.3420366134763247
+19,11,0.1938132707091208,0.28481859263456033,0.2046708954747369,0.24285871068393314,0.1963701137953552,0.25430231485228605,0.29132045939486184,0.35093719449615474
+19,-1,0.1938132707091208,0.28481859263456033,0.2046708954747369,0.24285871068393314,0.1963701137953552,0.25430231485228605,0.29132045939486184,0.35093719449615474
+20,1,0.2501776452382126,0.3674668449615533,0.24868536364548588,0.31787789356535756,0.23926638629652183,0.31024882411978894,0.32772512801609044,0.42977091210036333
+20,2,0.2636390962930796,0.41196975006070335,0.2566826167449262,0.31787789356535756,0.24662133260252173,0.3318645208822333,0.337923286502645,0.42977091210036333
+20,3,0.26476749587422743,0.4246848658033177,0.25515324474435436,0.3344075440307561,0.24426472042667832,0.30134824309995895,0.3402215925822144,0.42977091210036333
+20,4,0.2584536061154157,0.4081552153379191,0.24727548549424433,0.27210347689194603,0.2355552830070502,0.2568453380008089,0.33895512806177724,0.43358544682314765
+20,5,0.24774913434350912,0.3496656829218933,0.23398924517297875,0.2492162685552403,0.2213895391292499,0.2568453380008089,0.3364480114072778,0.43358544682314765
+20,6,0.23500557620416587,0.31024882411978894,0.21908292363548013,0.2403156875354103,0.2056877312765023,0.23014359494131884,0.3325543637042138,0.43358544682314765
+20,7,0.21983231831845618,0.27718952318899176,0.2022480344506037,0.2568453380008089,0.1881275489271166,0.227600571792796,0.32772083937641383,0.4361284699716705
+20,8,0.20805211847538532,0.27718952318899176,0.18905566139190244,0.2568453380008089,0.17436535910678155,0.227600571792796,0.32411343584759,0.4361284699716705
+20,9,0.1981711143287197,0.22632906021853458,0.17796067436166263,0.227600571792796,0.16295774315792091,0.19454127086199882,0.32184602540667373,0.4501150972885462
+20,10,0.19432348395321136,0.23141510651558028,0.17351775119283763,0.23141510651558028,0.15867857777164165,0.1691110393767702,0.32180220065012105,0.42849940052610197
+20,11,0.19888975319718388,0.2606598727235932,0.17779126828310501,0.22124301392148887,0.16414973630400465,0.18691220141643022,0.32341013368610827,0.44630056256576195
+20,-1,0.19888975319718388,0.2606598727235932,0.17779126828310501,0.22124301392148887,0.16414973630400465,0.18691220141643022,0.32341013368610827,0.44630056256576195
+21,1,0.2110408350540329,0.3356790556050176,0.19019685155100222,0.3051627778227432,0.17772747875984152,0.2682889421691617,0.3271603216561532,0.43867149312019343
+21,2,0.22223089203222904,0.3216924282881418,0.20316621015071196,0.30134824309995895,0.1913531420799989,0.30134824309995895,0.32924271184471743,0.41832730793201056
+21,3,0.22036385381980436,0.3216924282881418,0.20147921486684406,0.30134824309995895,0.18957253607564878,0.3115203356940504,0.32832937994529365,0.3941685880210433
+21,4,0.22089902683077017,0.3433081250505861,0.20385723563437919,0.3115203356940504,0.19177915718346208,0.32550696301092613,0.32769568747602135,0.4043406806151348
+21,5,0.22098923151335662,0.36873835653581477,0.20627705383335193,0.32550696301092613,0.19421430861807384,0.3089773125455275,0.32623173731630445,0.4043406806151348
+21,6,0.20666401412110294,0.3433081250505861,0.19367236271975535,0.32804998615944897,0.18161070853303607,0.31406335884257325,0.3203733670702335,0.4043406806151348
+21,7,0.19305783400594784,0.31279184726831183,0.18059716682660729,0.3394935903278018,0.16824960854864746,0.31660638199109614,0.31482363966583254,0.4259563773775791
+21,8,0.17459984767975745,0.28990463893160606,0.1639278765708601,0.2530308032780246,0.15151413710475203,0.2810040579117761,0.3057327863490085,0.4259563773775791
+21,9,0.16200941884257092,0.27591801161473034,0.1556843525028502,0.2670174305949003,0.14357619221716475,0.23395812966410312,0.29573555719161376,0.39798312274382763
+21,10,0.15094555757522113,0.22378603707001168,0.14869235383052198,0.21234243290165886,0.1371897174404434,0.23395812966410312,0.28633632160625716,0.4246848658033177
+21,11,0.13860679192212083,0.1907267361392145,0.1403428023209603,0.21234243290165886,0.1293657426126178,0.18436917826790739,0.27621255461797045,0.4450290509915006
+21,-1,0.13860679192212083,0.1907267361392145,0.1403428023209603,0.21234243290165886,0.1293657426126178,0.18436917826790739,0.27621255461797045,0.4450290509915006
+22,1,0.13296606702715608,0.1907267361392145,0.1385646335393577,0.21234243290165886,0.12846054254803027,0.18436917826790739,0.2689111648415129,0.4310424236746248
+22,2,0.1330089442437904,0.22378603707001168,0.14123167375959494,0.21234243290165886,0.13159198529005295,0.21234243290165886,0.2658616941583456,0.4310424236746248
+22,3,0.13216028883104902,0.22378603707001168,0.14399609088871437,0.20725638660461312,0.13485728565885635,0.20725638660461312,0.260947825400544,0.4310424236746248
+22,4,0.13109244435095388,0.22378603707001168,0.14567027772632862,0.20725638660461312,0.13685090808915265,0.20725638660461312,0.2574810247509601,0.4310424236746248
+22,5,0.13864623902739595,0.2492162685552403,0.1545566223928505,0.24540173383245603,0.14549780159414694,0.22378603707001168,0.26030361662786705,0.43867149312019343
+22,6,0.143931438840249,0.24540173383245603,0.1605138128815447,0.24540173383245603,0.1511275215472919,0.2708319653176846,0.26373475199069485,0.3878110301497362
+22,7,0.15196834214120533,0.2670174305949003,0.16877562938642632,0.24540173383245603,0.15875894949391903,0.2708319653176846,0.268555791558843,0.37763893755564476
+22,8,0.15884756326097965,0.2810040579117761,0.17587499457377595,0.2670174305949003,0.1654264223269856,0.2708319653176846,0.2728488629086728,0.3916255648725205
+22,9,0.16657793595316772,0.2708319653176846,0.1838504687017894,0.2568453380008089,0.17314737816531667,0.2708319653176846,0.2772512640125799,0.3916255648725205
+22,10,0.17001592667613996,0.2708319653176846,0.18685361844134585,0.2568453380008089,0.175753973922284,0.2568453380008089,0.27998986316630964,0.3916255648725205
+22,11,0.1741567285296327,0.2670174305949003,0.19145299738799873,0.2568453380008089,0.18002091530375777,0.2568453380008089,0.2822763721469959,0.3916255648725205
+22,-1,0.1741567285296327,0.2670174305949003,0.19145299738799873,0.2568453380008089,0.18002091530375777,0.2568453380008089,0.2822763721469959,0.3916255648725205
+23,1,0.16185034816628294,0.2568453380008089,0.18213629154774957,0.23141510651558028,0.17080024117824433,0.2568453380008089,0.27548340271587357,0.37763893755564476
+23,2,0.14804350418284748,0.2568453380008089,0.17059030534481776,0.23141510651558028,0.15901890920783288,0.24794475698097887,0.26863843190435865,0.3801819607041676
+23,3,0.1386759955047836,0.23141510651558028,0.16291737602411113,0.23141510651558028,0.15107570971051973,0.24794475698097887,0.26465584245815715,0.3801819607041676
+23,4,0.12673853109324099,0.23141510651558028,0.15182561334883213,0.2352296412383646,0.13970333275664515,0.2250575486442731,0.26020178723824855,0.3801819607041676
+23,5,0.11829535490922043,0.2021703403075674,0.14359129987566088,0.22378603707001168,0.13124586292166546,0.19199824771347596,0.25781564101168075,0.41069823848644194
+23,6,0.11326128616094885,0.20725638660461312,0.1387333383088038,0.1907267361392145,0.12612804696110705,0.17419708567381592,0.257039715875491,0.41069823848644194
+23,7,0.10853873298923378,0.20725638660461312,0.13347479840212143,0.16275348150546307,0.12029106871388996,0.16275348150546307,0.2569010304908089,0.41069823848644194
+23,8,0.11942564516809435,0.20725638660461312,0.14413928256048497,0.22378603707001168,0.13033089141052406,0.19581278243626024,0.264892084084866,0.3801819607041676
+23,9,0.1307846808242234,0.22378603707001168,0.15522931398947964,0.24540173383245603,0.14125807228145335,0.21742847919870456,0.27158401765779844,0.3801819607041676
+23,10,0.1424099350715017,0.22378603707001168,0.1661025217201149,0.24540173383245603,0.15190309692780848,0.26320289587211604,0.2782632383993476,0.3560232407932004
+23,11,0.1529784268119898,0.22378603707001168,0.17542440107217508,0.22887208336705742,0.16059674520607142,0.26320289587211604,0.28433622349811505,0.3560232407932004
+23,-1,0.1529784268119898,0.22378603707001168,0.17542440107217508,0.22887208336705742,0.16059674520607142,0.26320289587211604,0.28433622349811505,0.3560232407932004
+24,1,0.16317897890760608,0.24667324540671745,0.1844770315803499,0.25175929170376316,0.16899712417814608,0.24667324540671745,0.2900951026924483,0.3560232407932004
+24,2,0.16581221778394284,0.24667324540671745,0.18629468987880407,0.25175929170376316,0.17027468207988705,0.24158719910967172,0.2920514984817951,0.3560232407932004
+24,3,0.1695024691216402,0.2949906852286518,0.18954167935465918,0.24667324540671745,0.1733533310890437,0.24158719910967172,0.2941519093497317,0.3560232407932004
+24,4,0.1692829357603069,0.26447440744637746,0.1896528007664624,0.24667324540671745,0.1734617906457753,0.24158719910967172,0.29378707705213264,0.3598377755159847
+24,5,0.16194585425734084,0.26447440744637746,0.18342161677666252,0.25175929170376316,0.1674449598918608,0.24158719910967172,0.28951715535448913,0.3598377755159847
+24,6,0.15450705356330957,0.26447440744637746,0.17713335010658754,0.2695604537434232,0.16150502282065057,0.21869999077296598,0.28513232622161055,0.3598377755159847
+24,7,0.1435371875365671,0.26447440744637746,0.16820643938538438,0.28609010420882175,0.1531261125712239,0.2352296412383646,0.2784045834246602,0.3801819607041676
+24,8,0.13400213673009623,0.24285871068393314,0.16045110627795514,0.23650115281262601,0.145984488589581,0.2352296412383646,0.2723466920916019,0.3801819607041676
+24,9,0.12365220985025821,0.24794475698097887,0.15209671571567787,0.23650115281262601,0.138339524212724,0.21361394447592028,0.26510057373332707,0.35856626394172325
+24,10,0.11628606122258546,0.24794475698097887,0.14649588342824046,0.23650115281262601,0.13344074914657092,0.21361394447592028,0.25947213155459536,0.36365231023876904
+24,11,0.10809788406920581,0.23650115281262601,0.13979323811254513,0.23650115281262601,0.1272886437962763,0.21361394447592028,0.25308071064774174,0.36365231023876904
+24,-1,0.10809788406920581,0.23650115281262601,0.13979323811254513,0.23650115281262601,0.1272886437962763,0.21361394447592028,0.25308071064774174,0.36365231023876904
+25,1,0.10897923996737123,0.26447440744637746,0.14173518139921695,0.2695604537434232,0.12960311867186447,0.21361394447592028,0.25280871892272755,0.36365231023876904
+25,2,0.11055437369208373,0.2911761505058675,0.1438279375216013,0.27973254633751465,0.13188110448349943,0.22378603707001168,0.25360194562777677,0.3560232407932004
+25,3,0.11472354077126934,0.2911761505058675,0.1485146097749055,0.27973254633751465,0.13672589009340644,0.2568453380008089,0.25476543536866336,0.32550696301092613
+25,4,0.1254927975799666,0.28609010420882175,0.15816047161633393,0.2911761505058675,0.1464602686394868,0.2568453380008089,0.2605208529698821,0.3700098681100762
+25,5,0.14030749569178536,0.28609010420882175,0.1714184162773621,0.2911761505058675,0.1599302458677965,0.2682889421691617,0.2683841881259537,0.3700098681100762
+25,6,0.155129229944798,0.32677847458518755,0.18439967672001373,0.28609010420882175,0.1733770716955997,0.28481859263456033,0.27611073637371675,0.3700098681100762
+25,7,0.1672702853313026,0.34076510190206327,0.19475829432383862,0.3293214977337104,0.18424308926863195,0.32804998615944897,0.2821388618367925,0.3878110301497362
+25,8,0.17266756926625929,0.3433081250505861,0.19967702100300153,0.3293214977337104,0.18967300942488555,0.32550696301092613,0.2845501362431611,0.3878110301497362
+25,9,0.1709277676808819,0.34076510190206327,0.19706549807157756,0.3293214977337104,0.18685362403342468,0.3038912662484818,0.2850431485341111,0.37763893755564476
+25,10,0.16407950868172383,0.32677847458518755,0.19009968606961672,0.3293214977337104,0.1798182859774964,0.3064342893970047,0.28265326829166765,0.37763893755564476
+25,11,0.15951771633111148,0.32677847458518755,0.18513046054233326,0.3344075440307561,0.17478317602170435,0.2352296412383646,0.2812640329063795,0.37763893755564476
+25,-1,0.15951771633111148,0.32677847458518755,0.18513046054233326,0.3344075440307561,0.17478317602170435,0.2352296412383646,0.2812640329063795,0.37763893755564476
+26,1,0.15326288801478852,0.28609010420882175,0.17870446019796143,0.26447440744637746,0.16822250641055975,0.24158719910967172,0.27853993138915634,0.37382440283286045
+26,2,0.1462843329984982,0.2810040579117761,0.17149101317851548,0.26447440744637746,0.16088919507446522,0.24158719910967172,0.2752422188437324,0.34839417134763184
+26,3,0.13709329571867945,0.24285871068393314,0.16164591774555448,0.24667324540671745,0.15081942046612806,0.24158719910967172,0.2711258327408901,0.36873835653581477
+26,4,0.12567927694086714,0.2250575486442731,0.14949884636969596,0.24667324540671745,0.13863290689768165,0.21361394447592028,0.26550594235672254,0.36873835653581477
+26,5,0.11652849523515912,0.2021703403075674,0.13977926891616985,0.21869999077296598,0.12905104047010324,0.19581278243626024,0.26064458645106237,0.36873835653581477
+26,6,0.11228701930211271,0.2021703403075674,0.1350923956843378,0.21869999077296598,0.12449568214040956,0.17038255095103164,0.2576685999586679,0.36873835653581477
+26,7,0.11161879731814012,0.2021703403075674,0.13378018290040147,0.20471336345609026,0.12317571843136155,0.17038255095103164,0.2574301175458164,0.36873835653581477
+26,8,0.11953208809219752,0.2250575486442731,0.1401047008774966,0.20471336345609026,0.12936379090025715,0.19581278243626024,0.26300142794515596,0.36873835653581477
+26,9,0.13133670469080805,0.2250575486442731,0.15110205873509383,0.24667324540671745,0.1401818289597608,0.19581278243626024,0.26914296140851146,0.36873835653581477
+26,10,0.14495040228462303,0.2250575486442731,0.16422014419308953,0.24667324540671745,0.1534529028148427,0.24667324540671745,0.27542453522042776,0.36873835653581477
+26,11,0.15825224316211411,0.24158719910967172,0.17797103504373718,0.24667324540671745,0.16776651334779813,0.26447440744637746,0.281348816386686,0.35856626394172325
+26,-1,0.15825224316211411,0.24158719910967172,0.17797103504373718,0.24667324540671745,0.16776651334779813,0.26447440744637746,0.281348816386686,0.35856626394172325
+27,1,0.17034384458075247,0.24413022225819456,0.19099200615343362,0.24667324540671745,0.18144772487404331,0.26447440744637746,0.28577495681945,0.3839964954269519
+27,2,0.17721494522229453,0.2619313842978546,0.19901766277450075,0.2949906852286518,0.19015629790114605,0.319149405139619,0.28733246489933445,0.4056121921893962
+27,3,0.17987516869767284,0.2619313842978546,0.2030906373411934,0.31279184726831183,0.1948705635667937,0.31279184726831183,0.2864131611101344,0.39544009959530474
+27,4,0.17889572588841857,0.2619313842978546,0.2032964657850524,0.3077058009712661,0.19533677183398065,0.3077058009712661,0.28367905209849975,0.39544009959530474
+27,5,0.1730934565880447,0.2619313842978546,0.19914287120323643,0.3077058009712661,0.1915202731014385,0.3077058009712661,0.2787344471687973,0.39544009959530474
+27,6,0.16523978609766385,0.2619313842978546,0.19269180758983773,0.2911761505058675,0.18495031845177295,0.28609010420882175,0.2726376321069154,0.37382440283286045
+27,7,0.1597534646376449,0.2619313842978546,0.18728402270716069,0.2810040579117761,0.17932869731018114,0.24794475698097887,0.2702398936467138,0.3598377755159847
+27,8,0.154289257134088,0.26447440744637746,0.18185957405074718,0.2810040579117761,0.17353138370752771,0.25175929170376316,0.2673068816554857,0.3344075440307561
+27,9,0.15099229746857273,0.25430231485228605,0.17793153478646825,0.24794475698097887,0.1693201537221217,0.25175929170376316,0.26603568658367943,0.354751729218939
+27,10,0.1486429481681687,0.22124301392148887,0.17511053207045563,0.24794475698097887,0.16632469969256747,0.25175929170376316,0.26504420061254597,0.354751729218939
+27,11,0.1546615329845621,0.25430231485228605,0.17943765383765822,0.24794475698097887,0.17058956374342374,0.25175929170376316,0.2699093945636351,0.354751729218939
+27,-1,0.1546615329845621,0.25430231485228605,0.17943765383765822,0.24794475698097887,0.17058956374342374,0.25175929170376316,0.2699093945636351,0.354751729218939
+28,1,0.15971293841700923,0.25430231485228605,0.18250113113418012,0.24794475698097887,0.17344850778166557,0.25175929170376316,0.27510865422171094,0.3801819607041676
+28,2,0.16264356657674223,0.25430231485228605,0.18374203329439537,0.24794475698097887,0.17452725667088645,0.25175929170376316,0.27856426338761103,0.3801819607041676
+28,3,0.16572186331643513,0.25430231485228605,0.18531997366324116,0.24794475698097887,0.17597908805448148,0.2733749884662075,0.28185672205942386,0.3801819607041676
+28,4,0.16764083062481214,0.25430231485228605,0.18608999245976401,0.24794475698097887,0.17666349159065747,0.2733749884662075,0.28405734385347,0.3801819607041676
+28,5,0.16846500606301887,0.22124301392148887,0.18604399096831342,0.24794475698097887,0.1765323907552422,0.2682889421691617,0.2853323880936251,0.3801819607041676
+28,6,0.16835804921096575,0.22124301392148887,0.18499833441330565,0.24794475698097887,0.17526544055130408,0.2682889421691617,0.28588577953195937,0.3801819607041676
+28,7,0.1699725820607034,0.22124301392148887,0.18606007513283948,0.24285871068393314,0.17632035446144328,0.24667324540671745,0.28644830082455475,0.3801819607041676
+28,8,0.16968021540355432,0.22124301392148887,0.1852409149913485,0.24285871068393314,0.1753948355213041,0.24667324540671745,0.2860268876476602,0.3801819607041676
+28,9,0.17171195608895534,0.22124301392148887,0.1868070767487479,0.24285871068393314,0.17689862992770944,0.24667324540671745,0.2870125685251811,0.3801819607041676
+28,10,0.17078740364990447,0.24285871068393314,0.18614301009054257,0.24285871068393314,0.17629901531283124,0.24667324540671745,0.28606195341029556,0.3801819607041676
+28,11,0.16428702048715468,0.22124301392148887,0.18115565252471802,0.24285871068393314,0.17133525676558647,0.2581168495750703,0.28018216560063947,0.3801819607041676
+28,-1,0.16428702048715468,0.22124301392148887,0.18115565252471802,0.24285871068393314,0.17133525676558647,0.2581168495750703,0.28018216560063947,0.3801819607041676
+29,1,0.15694285164351923,0.22124301392148887,0.1760102260767347,0.24285871068393314,0.166341073835379,0.2581168495750703,0.2728398448068811,0.35856626394172325
+29,2,0.1504613048428833,0.22124301392148887,0.1712713788318129,0.24285871068393314,0.16167497158946204,0.2581168495750703,0.2665807950641821,0.33695056717927896
+29,3,0.14527974327940543,0.22124301392148887,0.16758164698100322,0.24285871068393314,0.1579880092128493,0.2581168495750703,0.2612322591336249,0.33695056717927896
+29,4,0.13955569589373645,0.22124301392148887,0.16323166455751686,0.24285871068393314,0.15361937133158668,0.2581168495750703,0.25535819778766417,0.33695056717927896
+29,5,0.1353075176363251,0.22124301392148887,0.16000995405994028,0.24285871068393314,0.15035276279203114,0.2352296412383646,0.25110184918896905,0.33695056717927896
+29,6,0.13344452367792808,0.1983558055847831,0.1589193660711429,0.24285871068393314,0.14920363844294687,0.2352296412383646,0.24895992064468417,0.33695056717927896
+29,7,0.13506616175498706,0.20979940975313596,0.1603858094446864,0.2199715023472274,0.15055806068818636,0.23141510651558028,0.2502151188308669,0.33695056717927896
+29,8,0.14364174521775774,0.2352296412383646,0.16743332846337367,0.23141510651558028,0.15741979746370702,0.2568453380008089,0.25780954985003035,0.33695056717927896
+29,9,0.15020561829690154,0.24540173383245603,0.17279186793138115,0.23141510651558028,0.1627485418682784,0.2568453380008089,0.2637712044193792,0.3382220787535404
+29,10,0.15426825594817423,0.2695604537434232,0.17577626300251462,0.25175929170376316,0.16576711200716507,0.2670174305949003,0.26779524520195996,0.37763893755564476
+29,11,0.15546515412336334,0.28863312735734464,0.1765656693007035,0.25175929170376316,0.16675474868103274,0.27718952318899176,0.2689699922746272,0.37763893755564476
+29,-1,0.15546515412336334,0.28863312735734464,0.1765656693007035,0.25175929170376316,0.16675474868103274,0.27718952318899176,0.2689699922746272,0.37763893755564476
+30,1,0.1543275958753942,0.28863312735734464,0.17506370530011833,0.25175929170376316,0.16544169236358214,0.27718952318899176,0.2692286260257127,0.3700098681100762
+30,2,0.15152062348222,0.28863312735734464,0.1719189562495654,0.25175929170376316,0.16246493771722376,0.27718952318899176,0.2683721102930805,0.3700098681100762
+30,3,0.15248725762747387,0.28863312735734464,0.17191596900410433,0.25175929170376316,0.16260028401395693,0.23395812966410312,0.2704955247508563,0.3700098681100762
+30,4,0.15380978393553443,0.28863312735734464,0.17244387534924352,0.25175929170376316,0.16327785206508202,0.23395812966410312,0.2726052177253766,0.3700098681100762
+30,5,0.1546362429358889,0.28863312735734464,0.17262915253224453,0.25175929170376316,0.16363057400257813,0.23395812966410312,0.2744490491389148,0.3700098681100762
+30,6,0.1546236128735257,0.2708319653176846,0.17184422838605756,0.23395812966410312,0.1629098042196114,0.23395812966410312,0.27604932180263714,0.3700098681100762
+30,7,0.15794836734948253,0.2708319653176846,0.17422991810346175,0.23395812966410312,0.16529652187393817,0.23395812966410312,0.2793207711131611,0.3700098681100762
+30,8,0.1587617608821044,0.2708319653176846,0.1739348651326509,0.23395812966410312,0.16478975231185355,0.25048778012950174,0.2813298807769365,0.3700098681100762
+30,9,0.15768192061620248,0.24540173383245603,0.17189198511463624,0.2326866180898417,0.16254780588319614,0.2225145254957503,0.28212004411028807,0.3700098681100762
+30,10,0.15250706683112808,0.21234243290165886,0.16674489952532648,0.2326866180898417,0.1572204066634862,0.2225145254957503,0.2803427290512005,0.3700098681100762
+30,11,0.1476621795153176,0.23014359494131884,0.16185800700001537,0.25048778012950174,0.1521487193883245,0.21234243290165886,0.27867523484721035,0.3700098681100762
+30,-1,0.1476621795153176,0.23014359494131884,0.16185800700001537,0.25048778012950174,0.1521487193883245,0.21234243290165886,0.27867523484721035,0.3700098681100762
+31,1,0.14368181226136903,0.21234243290165886,0.1583294995623714,0.21742847919870456,0.1484181405216069,0.21742847919870456,0.2769212554354586,0.3700098681100762
+31,2,0.13678177275302975,0.21234243290165886,0.1522204349045157,0.21742847919870456,0.1421877392156705,0.2352296412383646,0.2732410629380564,0.3700098681100762
+31,3,0.13001455592193792,0.21234243290165886,0.14677083547184144,0.21742847919870456,0.1366516546366523,0.2352296412383646,0.26866510375041636,0.3700098681100762
+31,4,0.12334225882149057,0.21234243290165886,0.14195044057670914,0.21742847919870456,0.13172038939982034,0.2352296412383646,0.2634377720535543,0.3700098681100762
+31,5,0.117639533738763,0.21869999077296598,0.13800990283584738,0.21742847919870456,0.12767488512514444,0.2352296412383646,0.2585119390176387,0.3700098681100762
+31,6,0.11284123001324416,0.21869999077296598,0.13486350114096005,0.21742847919870456,0.12434571423074547,0.2352296412383646,0.2538103629238269,0.3598377755159847
+31,7,0.10942634854750784,0.21869999077296598,0.1328090871721623,0.21742847919870456,0.12220575273561994,0.2352296412383646,0.24996281617611654,0.35856626394172325
+31,8,0.10533529547208106,0.2021703403075674,0.12990409014301849,0.20598487503035168,0.11929953009786966,0.2352296412383646,0.24594939496844478,0.3674668449615533
+31,9,0.10346447784725804,0.1907267361392145,0.1288898288441949,0.20598487503035168,0.1183370929803218,0.2352296412383646,0.2441323657370069,0.37763893755564476
+31,10,0.10297206560845772,0.20852789817887454,0.12908201281163748,0.20598487503035168,0.11871666127605657,0.2352296412383646,0.24336284149969045,0.35729475236746183
+31,11,0.1017699436696801,0.20852789817887454,0.1288510159616064,0.20598487503035168,0.11840272015486479,0.2352296412383646,0.24211896150072196,0.35729475236746183
+31,-1,0.1017699436696801,0.20852789817887454,0.1288510159616064,0.20598487503035168,0.11840272015486479,0.2352296412383646,0.24211896150072196,0.35729475236746183
+32,1,0.09995147610043342,0.20852789817887454,0.12775140309890912,0.20598487503035168,0.11719562178069556,0.22378603707001168,0.24090898451039156,0.35729475236746183
+32,2,0.09884091843379122,0.20852789817887454,0.12736699817491087,0.20598487503035168,0.11673553203164161,0.22378603707001168,0.2402559069203156,0.35729475236746183
+32,3,0.09643552934931028,0.20852789817887454,0.12566363386554516,0.20598487503035168,0.11508577600727889,0.22378603707001168,0.2389746141185943,0.35729475236746183
+32,4,0.09744184924307417,0.20852789817887454,0.12657190373166394,0.22378603707001168,0.11611102429945712,0.22378603707001168,0.24067186493083503,0.35729475236746183
+32,5,0.10753615259019764,0.23014359494131884,0.1349667816062099,0.20725638660461312,0.1247878442264773,0.20725638660461312,0.24885038738413676,0.34839417134763184
+32,6,0.11635614453466828,0.2403156875354103,0.1421235270923339,0.2352296412383646,0.13216906177536153,0.20725638660461312,0.2558831878781181,0.3700098681100762
+32,7,0.12459196240680107,0.2403156875354103,0.14905050797198524,0.2352296412383646,0.13937179166528707,0.2021703403075674,0.2619035741479763,0.3598377755159847
+32,8,0.13010334052632164,0.2403156875354103,0.1535201722757742,0.23014359494131884,0.14407543162583702,0.23014359494131884,0.2663633218960331,0.37763893755564476
+32,9,0.13529340261848471,0.2403156875354103,0.1575392081172077,0.23014359494131884,0.14829354295195488,0.23014359494131884,0.2704168800507275,0.37763893755564476
+32,10,0.13824464281223578,0.2733749884662075,0.15997135355025766,0.23014359494131884,0.1508827938892891,0.23014359494131884,0.27246130426425963,0.3916255648725205
+32,11,0.14080353657653952,0.2873616157830832,0.1620020367818207,0.23014359494131884,0.15302400740902233,0.23014359494131884,0.274108631077717,0.3916255648725205
+32,-1,0.14080353657653952,0.2873616157830832,0.1620020367818207,0.23014359494131884,0.15302400740902233,0.23014359494131884,0.274108631077717,0.3916255648725205
+33,1,0.13944426675041138,0.2873616157830832,0.16053233697800093,0.23014359494131884,0.15160678353845727,0.23014359494131884,0.27356339957872733,0.3916255648725205
+33,2,0.139305151122374,0.24413022225819456,0.1601265776995623,0.2199715023472274,0.15120177760615655,0.23014359494131884,0.2736830171273565,0.37763893755564476
+33,3,0.13917815374662784,0.24413022225819456,0.15991250880002073,0.2199715023472274,0.15097359945534225,0.23014359494131884,0.273382811460487,0.37763893755564476
+33,4,0.13874423309989317,0.23014359494131884,0.15945517341449755,0.2199715023472274,0.15048904198462676,0.23014359494131884,0.27277375716693086,0.37763893755564476
+33,5,0.1376209948797141,0.2199715023472274,0.15826531402635016,0.2199715023472274,0.1492461975255262,0.23014359494131884,0.27193470334733644,0.37763893755564476
+33,6,0.13617375886200214,0.2199715023472274,0.1569319707106271,0.2199715023472274,0.14790412367514325,0.2199715023472274,0.27037779344087937,0.3560232407932004
+33,7,0.13484079317982986,0.1983558055847831,0.15584019109603264,0.2199715023472274,0.14682810377985214,0.19199824771347596,0.26867895376921597,0.3560232407932004
+33,8,0.13429703228037262,0.1983558055847831,0.15519621072733053,0.2199715023472274,0.14614413984341365,0.19199824771347596,0.2677759053695709,0.3560232407932004
+33,9,0.13342730670770248,0.1983558055847831,0.1544121894080559,0.2199715023472274,0.14547851454842503,0.19199824771347596,0.2665969176105637,0.3344075440307561
+33,10,0.13265817989027978,0.1983558055847831,0.15385042043492478,0.2199715023472274,0.145043093654118,0.19199824771347596,0.2654964950509057,0.3344075440307561
+33,11,0.13136804445396205,0.1983558055847831,0.1528413427992771,0.2199715023472274,0.14417763675550516,0.19199824771347596,0.2640142049420959,0.3344075440307561
+33,-1,0.13136804445396205,0.1983558055847831,0.1528413427992771,0.2199715023472274,0.14417763675550516,0.19199824771347596,0.2640142049420959,0.3344075440307561
+34,1,0.1308433415384465,0.1983558055847831,0.15238320395505106,0.2199715023472274,0.14386096789448102,0.19199824771347596,0.2631473309037579,0.354751729218939
+34,2,0.13184106894567402,0.1983558055847831,0.1531013083119167,0.2199715023472274,0.14469614624391755,0.19199824771347596,0.2635737373579332,0.354751729218939
+34,3,0.13103068746805088,0.1983558055847831,0.1525756767697588,0.24285871068393314,0.14424123850571446,0.19199824771347596,0.26265326034091635,0.33695056717927896
+34,4,0.1343453150818869,0.1983558055847831,0.15549785003457903,0.2199715023472274,0.1470998351570219,0.2199715023472274,0.26465965665257896,0.33695056717927896
+34,5,0.1366318836414474,0.1983558055847831,0.1576947406657726,0.2199715023472274,0.14921527433013684,0.2199715023472274,0.2661067125321425,0.33695056717927896
+34,6,0.13605514677342306,0.1983558055847831,0.15754069046253275,0.2199715023472274,0.14903346689669478,0.2199715023472274,0.2658591786714743,0.33695056717927896
+34,7,0.13662383146515789,0.1983558055847831,0.15848970871968251,0.2199715023472274,0.14999519221394897,0.2199715023472274,0.2664339569377913,0.33695056717927896
+34,8,0.13463699458996795,0.1983558055847831,0.15724751239552337,0.2199715023472274,0.14873635617535677,0.2199715023472274,0.2654761662299767,0.33695056717927896
+34,9,0.13489194313000735,0.1983558055847831,0.15805566158782708,0.2199715023472274,0.14953275374895694,0.2199715023472274,0.26586549684746896,0.31660638199109614
+34,10,0.1330672021452798,0.1983558055847831,0.15708937365033596,0.2199715023472274,0.1485491114991926,0.2199715023472274,0.2647465985712601,0.31660638199109614
+34,11,0.12980391307850717,0.1983558055847831,0.15481344071371045,0.2199715023472274,0.14631802193859975,0.2199715023472274,0.2620378934002883,0.31660638199109614
+34,-1,0.12980391307850717,0.1983558055847831,0.15481344071371045,0.2199715023472274,0.14631802193859975,0.2199715023472274,0.2620378934002883,0.31660638199109614
+35,1,0.12789590475410811,0.1983558055847831,0.15354408156724836,0.2250575486442731,0.1450700374222633,0.2199715023472274,0.26028753853913245,0.33695056717927896
+35,2,0.12649098574940038,0.1983558055847831,0.15255343765784676,0.2250575486442731,0.1440578802351538,0.2199715023472274,0.25904300295266547,0.33695056717927896
+35,3,0.12679437798859672,0.1983558055847831,0.15282751468475603,0.2250575486442731,0.14431138766498572,0.2199715023472274,0.259509604056013,0.33695056717927896
+35,4,0.12391265412853998,0.1983558055847831,0.15051037684904214,0.2250575486442731,0.14200231700842672,0.2250575486442731,0.2577325667088828,0.33695056717927896
+35,5,0.12161751900346102,0.1983558055847831,0.14876316433986894,0.2250575486442731,0.14031353316051534,0.2250575486442731,0.25612723225291,0.33695056717927896
+35,6,0.11991649348974887,0.1983558055847831,0.14740045822080766,0.2250575486442731,0.13900645129746975,0.2250575486442731,0.2551474126452739,0.33695056717927896
+35,7,0.11949197247940782,0.1983558055847831,0.1471999361457343,0.2250575486442731,0.13885447535625675,0.2250575486442731,0.2551155006748937,0.33695056717927896
+35,8,0.12011433887508713,0.1983558055847831,0.14815030060026235,0.2250575486442731,0.13985490456629535,0.2250575486442731,0.2555832802114286,0.33695056717927896
+35,9,0.12018872319910749,0.1983558055847831,0.14863940880386298,0.2250575486442731,0.14038848975006565,0.2250575486442731,0.25560297782252556,0.33695056717927896
+35,10,0.12129566142063651,0.2199715023472274,0.14998244737441005,0.2250575486442731,0.14186056036622835,0.2250575486442731,0.2562514327267265,0.33695056717927896
+35,11,0.12173063258430447,0.2199715023472274,0.15026662347707598,0.24794475698097887,0.14203457590290508,0.2250575486442731,0.2560242348271723,0.33695056717927896
+35,-1,0.12173063258430447,0.2199715023472274,0.15026662347707598,0.24794475698097887,0.14203457590290508,0.2250575486442731,0.2560242348271723,0.33695056717927896
+36,1,0.12238422988333883,0.24794475698097887,0.15071612031863119,0.24794475698097887,0.14238353323662653,0.2250575486442731,0.25593627147876724,0.33695056717927896
+36,2,0.1240364299887527,0.24794475698097887,0.15216947675905562,0.24794475698097887,0.14386499997099284,0.24794475698097887,0.2565523937351258,0.33695056717927896
+36,3,0.12405319672229166,0.24794475698097887,0.1526248860570048,0.24794475698097887,0.14439886614846842,0.24794475698097887,0.25560627884512666,0.3115203356940504
+36,4,0.1231287230785368,0.24794475698097887,0.15225275539435543,0.24794475698097887,0.14403454098354823,0.26447440744637746,0.2542101343853325,0.3115203356940504
+36,5,0.12256638625865654,0.24794475698097887,0.15241302628824327,0.24794475698097887,0.1442002605438429,0.26447440744637746,0.25277504728917627,0.3115203356940504
+36,6,0.12336191160497653,0.24794475698097887,0.15371322650225278,0.24794475698097887,0.14557188509947855,0.26447440744637746,0.2524627820293111,0.3115203356940504
+36,7,0.12565630884415502,0.24794475698097887,0.1566958603410147,0.24794475698097887,0.1487388660987387,0.24794475698097887,0.2530411230853504,0.3115203356940504
+36,8,0.12789092039938307,0.24285871068393314,0.15940165825826638,0.24794475698097887,0.15158054451747405,0.24794475698097887,0.2540743699575034,0.35856626394172325
+36,9,0.128533428748498,0.24285871068393314,0.16084075003723286,0.24794475698097887,0.15323549031059971,0.24794475698097887,0.25395683843687383,0.35856626394172325
+36,10,0.12740425509108605,0.24285871068393314,0.16083912965020325,0.24794475698097887,0.1533644668879838,0.24794475698097887,0.2525747669888984,0.35856626394172325
+36,11,0.12599171887668617,0.24285871068393314,0.16046900394583824,0.24794475698097887,0.15308051230883232,0.24794475698097887,0.2508934000423899,0.35856626394172325
+36,-1,0.12599171887668617,0.24285871068393314,0.16046900394583824,0.24794475698097887,0.15308051230883232,0.24794475698097887,0.2508934000423899,0.35856626394172325
+37,1,0.12434153454019371,0.24285871068393314,0.1599584369506774,0.24794475698097887,0.1526814994360926,0.2250575486442731,0.2492321706250494,0.35856626394172325
+37,2,0.12177570292371782,0.24285871068393314,0.15848260534056022,0.24794475698097887,0.15124946514780307,0.2199715023472274,0.2469338830844174,0.35856626394172325
+37,3,0.12107231721381666,0.24285871068393314,0.1585309348622059,0.24794475698097887,0.15135293906171501,0.2199715023472274,0.24595089435108175,0.35856626394172325
+37,4,0.1209673391554285,0.24285871068393314,0.15895333110052115,0.24285871068393314,0.15185133273306112,0.24285871068393314,0.24589898534618423,0.35856626394172325
+37,5,0.1222440911945138,0.24285871068393314,0.16040002356164967,0.24285871068393314,0.15334755485849724,0.24285871068393314,0.2470959402897337,0.35856626394172325
+37,6,0.12223901459894052,0.28990463893160606,0.16060649861369722,0.24285871068393314,0.1535507026978143,0.24285871068393314,0.24733980658137952,0.35856626394172325
+37,7,0.12239621189280926,0.3000767315256975,0.16070707859418923,0.24285871068393314,0.15367332921370835,0.24285871068393314,0.24799216414093644,0.35856626394172325
+37,8,0.12151266635328489,0.27591801161473034,0.1596846265006607,0.24285871068393314,0.15257616589511305,0.24285871068393314,0.2480525576722483,0.35856626394172325
+37,9,0.12101874215396484,0.27591801161473034,0.15914611228687364,0.24285871068393314,0.1519639945604432,0.24285871068393314,0.24809178026017162,0.35856626394172325
+37,10,0.12248159050869811,0.3000767315256975,0.16039751163169966,0.24285871068393314,0.1532367431120452,0.24285871068393314,0.2497358734400559,0.35856626394172325
+37,11,0.12682395966159532,0.3000767315256975,0.16379104201525926,0.24285871068393314,0.15680558022297714,0.24285871068393314,0.2534563160928105,0.3763674259813833
+37,-1,0.12682395966159532,0.3000767315256975,0.16379104201525926,0.24285871068393314,0.15680558022297714,0.24285871068393314,0.2534563160928105,0.3763674259813833
+38,1,0.12900233829565458,0.3000767315256975,0.16515067041755072,0.27591801161473034,0.15833848004392884,0.24285871068393314,0.2554609722108874,0.3763674259813833
+38,2,0.13083490920219865,0.3000767315256975,0.16618375736381857,0.27591801161473034,0.15950435189216514,0.24285871068393314,0.25725378365459894,0.3560232407932004
+38,3,0.13499703818188766,0.3000767315256975,0.16884351744610065,0.27591801161473034,0.1622178108635706,0.24285871068393314,0.2606252757617775,0.3560232407932004
+38,4,0.13758809642763842,0.3000767315256975,0.16974729868150726,0.27591801161473034,0.1631010638161216,0.24285871068393314,0.2632578941357157,0.3763674259813833
+38,5,0.13990471164433038,0.3000767315256975,0.17046999336230387,0.24285871068393314,0.16378442777062482,0.24285871068393314,0.26562085906399,0.3763674259813833
+38,6,0.1406938575764432,0.28990463893160606,0.16988163060501704,0.24285871068393314,0.16311938446863364,0.24285871068393314,0.2670516339351465,0.3763674259813833
+38,7,0.14025490613858363,0.28990463893160606,0.16844404750983227,0.24794475698097887,0.1615381828851009,0.24285871068393314,0.26750384311958736,0.3763674259813833
+38,8,0.1371650906962872,0.27591801161473034,0.1646076148787106,0.24794475698097887,0.1574849824116474,0.24794475698097887,0.26629801041964857,0.35856626394172325
+38,9,0.1349560114400093,0.24285871068393314,0.16150493591109027,0.24794475698097887,0.15413633991879142,0.24794475698097887,0.2657683737233023,0.35856626394172325
+38,10,0.13415788391048847,0.24285871068393314,0.1597247546182202,0.24794475698097887,0.15221025235293448,0.24794475698097887,0.266177159947572,0.33695056717927896
+38,11,0.12990993844805093,0.24285871068393314,0.1551703891539318,0.24794475698097887,0.1474917545636447,0.24794475698097887,0.26383208507723743,0.33695056717927896
+38,-1,0.12990993844805093,0.24285871068393314,0.1551703891539318,0.24794475698097887,0.1474917545636447,0.24794475698097887,0.26383208507723743,0.33695056717927896
+39,1,0.1260092298109406,0.24285871068393314,0.15108490820071907,0.24794475698097887,0.14330394221293236,0.24794475698097887,0.26161643865831335,0.3674668449615533
+39,2,0.1236905492390523,0.24285871068393314,0.1485547667614587,0.24794475698097887,0.14076825502824056,0.24794475698097887,0.26044871854937546,0.3674668449615533
+39,3,0.12358633147808151,0.24285871068393314,0.14799529165359832,0.24794475698097887,0.1401705168392998,0.24794475698097887,0.26105930693567925,0.3674668449615533
+39,4,0.12489396591853943,0.22124301392148887,0.14884166156376377,0.24794475698097887,0.1410325554487224,0.24794475698097887,0.26252717824702865,0.3674668449615533
+39,5,0.12629257773989364,0.22124301392148887,0.149972065100882,0.24794475698097887,0.1422344146144217,0.24794475698097887,0.26394896700169906,0.354751729218939
+39,6,0.12725844895794178,0.22124301392148887,0.15073834385889273,0.24794475698097887,0.14305394219241913,0.24794475698097887,0.264702923150051,0.354751729218939
+39,7,0.1287181860131795,0.22124301392148887,0.15206484888214125,0.24794475698097887,0.14445412349764053,0.2199715023472274,0.26552590961683437,0.354751729218939
+39,8,0.1294281829238582,0.22124301392148887,0.15287163135447124,0.24285871068393314,0.14539399010560056,0.2199715023472274,0.2657020061782523,0.354751729218939
+39,9,0.13052336924665628,0.1983558055847831,0.15418154814683588,0.24285871068393314,0.14686043814343192,0.2199715023472274,0.2659956505239442,0.354751729218939
+39,10,0.13096852659654676,0.1983558055847831,0.15504557284332426,0.24285871068393314,0.14780049563666367,0.2199715023472274,0.2660879497805404,0.354751729218939
+39,11,0.1313506919635138,0.1983558055847831,0.1558065631452809,0.2199715023472274,0.1486128653558772,0.2199715023472274,0.26615355023825127,0.354751729218939
+39,-1,0.1313506919635138,0.1983558055847831,0.1558065631452809,0.2199715023472274,0.1486128653558772,0.2199715023472274,0.26615355023825127,0.354751729218939
+40,1,0.1318536072608938,0.1983558055847831,0.1567200500136512,0.2199715023472274,0.14960956581321205,0.2199715023472274,0.266135644912453,0.3344075440307561
+40,2,0.1333974031952269,0.2225145254957503,0.15854072059807275,0.2199715023472274,0.15149247297010204,0.2199715023472274,0.26688126128508716,0.3344075440307561
+40,3,0.13434121527737689,0.2225145254957503,0.15955773289878852,0.2199715023472274,0.15255080071421065,0.2199715023472274,0.2673734723791955,0.3344075440307561
+40,4,0.1358954644619968,0.2225145254957503,0.16115644591506972,0.2199715023472274,0.1542444990188865,0.2199715023472274,0.26832416941992376,0.34839417134763184
+40,5,0.13732293255280809,0.27718952318899176,0.16246170126337725,0.2199715023472274,0.1556183059875095,0.2199715023472274,0.26925292363898634,0.34839417134763184
+40,6,0.14023910614562027,0.27718952318899176,0.1649066781516436,0.24285871068393314,0.15814232165377634,0.2199715023472274,0.2712732467251011,0.34839417134763184
+40,7,0.143396981414747,0.27718952318899176,0.16739787244301618,0.24285871068393314,0.1606714572620046,0.2199715023472274,0.27346172928814433,0.34839417134763184
+40,8,0.14628056490724536,0.3000767315256975,0.1698289697311201,0.24285871068393314,0.16310348199347907,0.2199715023472274,0.27535949465179493,0.34839417134763184
+40,9,0.1492096792410025,0.3000767315256975,0.17228314684907847,0.24285871068393314,0.16553210385128703,0.24285871068393314,0.2772591995439292,0.34839417134763184
+40,10,0.15081646952128286,0.3000767315256975,0.17357636752445843,0.24285871068393314,0.16675540351801968,0.24285871068393314,0.2782768637812976,0.34839417134763184
+40,11,0.1523391281637758,0.28990463893160606,0.17460612185952887,0.24285871068393314,0.16772659186793756,0.24285871068393314,0.2792733999295722,0.36873835653581477
+40,-1,0.1523391281637758,0.28990463893160606,0.17460612185952887,0.24285871068393314,0.16772659186793756,0.24285871068393314,0.2792733999295722,0.36873835653581477
+41,1,0.1529872540854453,0.28990463893160606,0.17492482692649905,0.24285871068393314,0.16796461968347223,0.24285871068393314,0.2796308595391693,0.36873835653581477
+41,2,0.15348630501831298,0.28990463893160606,0.17473648660023633,0.24285871068393314,0.16764827110238592,0.24285871068393314,0.28038455273431373,0.354751729218939
+41,3,0.1525188110432353,0.24285871068393314,0.17329639288636314,0.24285871068393314,0.1660689279338612,0.24285871068393314,0.28006522485540697,0.354751729218939
+41,4,0.1518189830207538,0.24285871068393314,0.1720683932724562,0.24285871068393314,0.16471423783042402,0.24285871068393314,0.2801258596617589,0.354751729218939
+41,5,0.15174621442278294,0.24285871068393314,0.17156980268414268,0.24285871068393314,0.16414122070285928,0.24285871068393314,0.2805649986625455,0.354751729218939
+41,6,0.15195638453140614,0.24285871068393314,0.17140080087088813,0.24285871068393314,0.16389224192109625,0.24285871068393314,0.28082572532414185,0.354751729218939
+41,7,0.14997292732559253,0.24285871068393314,0.16932792866596846,0.24794475698097887,0.1617084965895451,0.24285871068393314,0.2798192561828648,0.354751729218939
+41,8,0.14813235302515887,0.24285871068393314,0.16748299255091667,0.24794475698097887,0.15976674932347887,0.24794475698097887,0.2786849582030386,0.38526800700121333
+41,9,0.14617590454922844,0.24285871068393314,0.16572323193527785,0.24794475698097887,0.1579799685013926,0.24794475698097887,0.2772959235410612,0.38526800700121333
+41,10,0.14424163187759334,0.24285871068393314,0.1642668790413193,0.24794475698097887,0.15651719236440748,0.24794475698097887,0.27565184991057406,0.3674668449615533
+41,11,0.14290817979956297,0.24285871068393314,0.16377275248133605,0.24794475698097887,0.15604353870688326,0.24794475698097887,0.2737283796346933,0.3674668449615533
+41,-1,0.14290817979956297,0.24285871068393314,0.16377275248133605,0.24794475698097887,0.15604353870688326,0.24794475698097887,0.2737283796346933,0.3674668449615533
+42,1,0.143110314570857,0.24285871068393314,0.1646179333172638,0.24794475698097887,0.15696550078951763,0.24794475698097887,0.2729092327757597,0.3674668449615533
+42,2,0.14341602399209954,0.24285871068393314,0.16558689543551214,0.24794475698097887,0.1580314963098547,0.24794475698097887,0.27222242733007235,0.3674668449615533
+42,3,0.14547107342275234,0.24285871068393314,0.1680565756122997,0.24794475698097887,0.1606171339964675,0.24285871068393314,0.27287239487707887,0.3674668449615533
+42,4,0.148517287653439,0.24285871068393314,0.17136017667564044,0.24285871068393314,0.1640928519149376,0.24285871068393314,0.27443005324918684,0.38526800700121333
+42,5,0.1511520717391579,0.24285871068393314,0.1743147378795012,0.24285871068393314,0.16721689325650305,0.24285871068393314,0.2756464269206607,0.354751729218939
+42,6,0.15373509758093884,0.24285871068393314,0.17722429075149668,0.24285871068393314,0.17029402166328939,0.24285871068393314,0.2768122159073915,0.354751729218939
+42,7,0.15603327213726054,0.27591801161473034,0.1798072216422011,0.24285871068393314,0.17303526459325566,0.24285871068393314,0.27785381455647656,0.354751729218939
+42,8,0.1566437345410582,0.27591801161473034,0.18084071348876607,0.24285871068393314,0.17416077108978734,0.24285871068393314,0.27783990951105003,0.354751729218939
+42,9,0.1566358489787227,0.27591801161473034,0.18095649139079445,0.24285871068393314,0.17431039668710477,0.24285871068393314,0.278016975768675,0.354751729218939
+42,10,0.15639267004647872,0.27591801161473034,0.18092347857085367,0.24285871068393314,0.17431034927140202,0.24285871068393314,0.2780250182886507,0.354751729218939
+42,11,0.15375736121043396,0.27591801161473034,0.1792022362366188,0.24285871068393314,0.17259729042010774,0.24285871068393314,0.27556913525723087,0.354751729218939
+42,-1,0.15375736121043396,0.27591801161473034,0.1792022362366188,0.24285871068393314,0.17259729042010774,0.24285871068393314,0.27556913525723087,0.354751729218939
+43,1,0.14907528437644677,0.27591801161473034,0.17574022627387548,0.24285871068393314,0.1691408075368768,0.24285871068393314,0.27161160993557676,0.354751729218939
+43,2,0.14407561535031377,0.24285871068393314,0.1719238100498419,0.24285871068393314,0.16533514745206984,0.24285871068393314,0.267372376223135,0.38526800700121333
+43,3,0.14051578072018409,0.24285871068393314,0.16920794701395306,0.24285871068393314,0.16257563858899282,0.24285871068393314,0.2642182753066169,0.38526800700121333
+43,4,0.13849048776953543,0.24285871068393314,0.16775505236874466,0.24285871068393314,0.16108735246115302,0.24285871068393314,0.26217319176429904,0.38526800700121333
+43,5,0.13750484477130243,0.24285871068393314,0.1671419689449285,0.24285871068393314,0.1604286914134103,0.24285871068393314,0.2610211016826809,0.38526800700121333
+43,6,0.13686058400562306,0.24285871068393314,0.1666911607458539,0.27591801161473034,0.15993137576480634,0.24285871068393314,0.2603626403884969,0.38526800700121333
+43,7,0.13863557586435582,0.24285871068393314,0.1681322651502446,0.27591801161473034,0.1612962370328594,0.24285871068393314,0.26186608414380963,0.38526800700121333
+43,8,0.14089713289214237,0.24285871068393314,0.1699919759489495,0.27591801161473034,0.1631007009520619,0.24285871068393314,0.26370117408617094,0.38526800700121333
+43,9,0.1431488003436329,0.27591801161473034,0.1718590599494017,0.27591801161473034,0.1649347255769952,0.24285871068393314,0.2655807207089022,0.38526800700121333
+43,10,0.1450094666885367,0.3089773125455275,0.1734217580591272,0.27591801161473034,0.16649918453354143,0.25430231485228605,0.2671153292242604,0.38526800700121333
+43,11,0.14699618981869672,0.3089773125455275,0.17506961966321935,0.27591801161473034,0.16816387955720064,0.25430231485228605,0.2687440378002201,0.38526800700121333
+43,-1,0.14699618981869672,0.3089773125455275,0.17506961966321935,0.27591801161473034,0.16816387955720064,0.25430231485228605,0.2687440378002201,0.38526800700121333
+44,1,0.14864469060103688,0.3089773125455275,0.1764800650489864,0.27591801161473034,0.1695878218483492,0.25430231485228605,0.27008369101532115,0.38526800700121333
+44,2,0.15003545484714004,0.3089773125455275,0.1776879665269031,0.27591801161473034,0.17080384708403898,0.25430231485228605,0.2711597380010485,0.38526800700121333
+44,3,0.1515411818867671,0.3089773125455275,0.17897029218464522,0.3089773125455275,0.17209716617292664,0.2873616157830832,0.2722007585530257,0.38526800700121333
+44,4,0.15260255390876296,0.32042091671388034,0.17988204178843145,0.3089773125455275,0.1730137043025549,0.2873616157830832,0.27290798571824687,0.38526800700121333
+44,5,0.1532087089977891,0.32042091671388034,0.1803838329764799,0.3089773125455275,0.17351326056803476,0.2873616157830832,0.27327986885221517,0.354751729218939
+44,6,0.15393730518399826,0.32042091671388034,0.18103502015929446,0.3089773125455275,0.1741692594140016,0.2873616157830832,0.27372765351631506,0.354751729218939
+44,7,0.15452682353370353,0.33059300930797186,0.18153666066071397,0.3089773125455275,0.1746837974702682,0.2873616157830832,0.2740759002175015,0.354751729218939
+44,8,0.15529944271226792,0.33059300930797186,0.18210863828181617,0.3089773125455275,0.1752747945761471,0.2873616157830832,0.274636184708234,0.354751729218939
+44,9,0.15478497936986993,0.33059300930797186,0.18165093404650348,0.32042091671388034,0.17481836493079597,0.2873616157830832,0.2743151377786439,0.354751729218939
+44,10,0.15420223826511004,0.33059300930797186,0.18110486752967056,0.32042091671388034,0.17428613779215574,0.2873616157830832,0.2738213501177082,0.38526800700121333
+44,11,0.15318194727790957,0.33059300930797186,0.18013948449498,0.32042091671388034,0.17326976171682715,0.2873616157830832,0.2728718626369164,0.38526800700121333
+44,-1,0.15318194727790957,0.33059300930797186,0.18013948449498,0.32042091671388034,0.17326976171682715,0.2873616157830832,0.2728718626369164,0.38526800700121333
+45,1,0.1532600075831139,0.32042091671388034,0.1800962241749505,0.32042091671388034,0.17318808488278675,0.2873616157830832,0.2727369363023424,0.38526800700121333
+45,2,0.15346221869286197,0.32042091671388034,0.1802240237226457,0.32042091671388034,0.1732731023140851,0.2873616157830832,0.2726556010818885,0.38526800700121333
+45,3,0.15318758329418544,0.32042091671388034,0.17985921847951486,0.2873616157830832,0.1728162861317184,0.2873616157830832,0.27232368130223433,0.38526800700121333
+45,4,0.15337892649707272,0.32042091671388034,0.17993007960311802,0.2873616157830832,0.17281719825826897,0.2873616157830832,0.27224846791704843,0.38526800700121333
+45,5,0.1539207078251262,0.32042091671388034,0.18028274419839593,0.2873616157830832,0.1731326371433358,0.2873616157830832,0.27248868081534366,0.38526800700121333
+45,6,0.15400730094685752,0.32042091671388034,0.18028470234530505,0.2873616157830832,0.17309829486709735,0.2873616157830832,0.2723607253763639,0.38526800700121333
+45,7,0.15347069739944788,0.32042091671388034,0.17983757274643966,0.2873616157830832,0.17260086176001135,0.2873616157830832,0.27180709484409254,0.38526800700121333
+45,8,0.15272515184330573,0.32042091671388034,0.17922713671939125,0.2873616157830832,0.17190800440720846,0.2873616157830832,0.27118880448155036,0.38526800700121333
+45,9,0.15197038199861768,0.32042091671388034,0.17856218612136032,0.2873616157830832,0.1711680377651362,0.2873616157830832,0.2705642650209673,0.38526800700121333
+45,10,0.1516587770604623,0.32042091671388034,0.17827818733411283,0.2873616157830832,0.1708190940590364,0.2873616157830832,0.270281973206246,0.38526800700121333
+45,11,0.15159981733109892,0.2873616157830832,0.17813681970819764,0.2873616157830832,0.17060986552723809,0.2873616157830832,0.27037682833103927,0.38526800700121333
+45,-1,0.15159981733109892,0.2873616157830832,0.17813681970819764,0.2873616157830832,0.17060986552723809,0.2873616157830832,0.27037682833103927,0.38526800700121333
+46,1,0.1518397662391302,0.2873616157830832,0.17827362038757197,0.2873616157830832,0.17070458932792396,0.2873616157830832,0.2707580577262341,0.38526800700121333
+46,2,0.15133936176198068,0.2873616157830832,0.17779266914256683,0.2873616157830832,0.17019201367289957,0.2873616157830832,0.2705664448555686,0.38526800700121333
+46,3,0.15104060096287142,0.2873616157830832,0.1774824467944267,0.2873616157830832,0.16985787101947114,0.2873616157830832,0.2705031096915853,0.38526800700121333
+46,4,0.15067017461621182,0.2873616157830832,0.17713972866665725,0.2873616157830832,0.16951769607395656,0.2873616157830832,0.2704106855389715,0.38526800700121333
+46,5,0.15117002722658995,0.2873616157830832,0.17751976241295556,0.2873616157830832,0.16988712078381824,0.2873616157830832,0.2709546034345729,0.38526800700121333
+46,6,0.15117715979082252,0.2873616157830832,0.17742590028601357,0.2873616157830832,0.16978151681263756,0.2873616157830832,0.2711463066428526,0.38526800700121333
+46,7,0.15106898425166093,0.2873616157830832,0.17729958746377628,0.2873616157830832,0.16963767517080186,0.2873616157830832,0.2712256573888044,0.38526800700121333
+46,8,0.15095544160483643,0.2873616157830832,0.17713297034465184,0.2873616157830832,0.16945767685578503,0.2873616157830832,0.27135271527944377,0.38526800700121333
+46,9,0.15102450114486665,0.2873616157830832,0.17716470695642902,0.2873616157830832,0.1694919353158009,0.2873616157830832,0.2715406519224064,0.38526800700121333
+46,10,0.1510690594280614,0.2873616157830832,0.17717729953727765,0.2873616157830832,0.16950566537219552,0.2873616157830832,0.27170891599472635,0.38526800700121333
+46,11,0.15109730028839416,0.2873616157830832,0.17718659171266388,0.2873616157830832,0.16951210381893533,0.2873616157830832,0.27186008728044336,0.38526800700121333
+46,-1,0.15109730028839416,0.2873616157830832,0.17718659171266388,0.2873616157830832,0.16951210381893533,0.2873616157830832,0.27186008728044336,0.38526800700121333
+47,1,0.15092520934332673,0.2873616157830832,0.17700041865192068,0.2873616157830832,0.16932528127345953,0.2873616157830832,0.27185498500178135,0.38526800700121333
+47,2,0.1508879072693309,0.2873616157830832,0.17697483757979082,0.2873616157830832,0.1693057077862221,0.2873616157830832,0.27200313708083745,0.38526800700121333
+47,3,0.15078872953420944,0.2873616157830832,0.1769999898580581,0.2873616157830832,0.16935566057805626,0.2873616157830832,0.27200627788180826,0.38526800700121333
+47,4,0.15108809170506252,0.2873616157830832,0.17733792508462223,0.2873616157830832,0.16971352536786724,0.2873616157830832,0.27232110004628535,0.38526800700121333
+47,5,0.15180815759532837,0.2873616157830832,0.17805425952380635,0.2873616157830832,0.17045413662112374,0.2873616157830832,0.2728908313529593,0.38526800700121333
+47,6,0.15211857648569635,0.2873616157830832,0.17843248772433667,0.2873616157830832,0.17087144713493982,0.2873616157830832,0.27322136561363564,0.38526800700121333
+47,7,0.15224042241892724,0.32042091671388034,0.17867342173240394,0.2873616157830832,0.17114923026788056,0.2873616157830832,0.2733886877272726,0.38526800700121333
+47,8,0.15254334720337162,0.32042091671388034,0.17907237514842675,0.2873616157830832,0.17159604719789434,0.2873616157830832,0.27364973567180567,0.38526800700121333
+47,9,0.1527638267724668,0.32042091671388034,0.17942009007707016,0.2873616157830832,0.17199722084957692,0.2873616157830832,0.27380084494055573,0.38526800700121333
+47,10,0.15276464021120958,0.32042091671388034,0.17953924413735967,0.2873616157830832,0.17216437942864243,0.2873616157830832,0.27386688539745785,0.38526800700121333
+47,11,0.15277195798871404,0.32042091671388034,0.17967812835484376,0.2873616157830832,0.1723541941994019,0.2873616157830832,0.27388308778542897,0.38526800700121333
+47,-1,0.15277195798871404,0.32042091671388034,0.17967812835484376,0.2873616157830832,0.1723541941994019,0.2873616157830832,0.27388308778542897,0.38526800700121333
+48,1,0.15269359743203753,0.32042091671388034,0.17971912287362687,0.2873616157830832,0.1724362850862352,0.2873616157830832,0.2738466669358994,0.38526800700121333
+48,2,0.15273501258921796,0.32042091671388034,0.17983718435246782,0.2873616157830832,0.17259312264223184,0.2873616157830832,0.2739105380139537,0.38526800700121333
+48,3,0.15288127152979264,0.32042091671388034,0.18002641601321523,0.2873616157830832,0.17280853022455755,0.2873616157830832,0.27405120422788437,0.354751729218939
+48,4,0.15309807903819908,0.32042091671388034,0.18028630541481805,0.2873616157830832,0.17309044294231687,0.2873616157830832,0.2742029127771019,0.354751729218939
+48,5,0.1531009019415304,0.32042091671388034,0.18036351250895669,0.2873616157830832,0.17318798518506343,0.2873616157830832,0.27423355884891354,0.354751729218939
+48,6,0.15311043799761168,0.32042091671388034,0.1804403662516945,0.27591801161473034,0.17327908183242685,0.2873616157830832,0.2742593529761094,0.354751729218939
+48,7,0.15291500993784077,0.32042091671388034,0.18032311118316768,0.27591801161473034,0.17317131894649268,0.25430231485228605,0.2741396866703763,0.354751729218939
+48,8,0.15315962633220156,0.32042091671388034,0.18054983683942943,0.27591801161473034,0.173410308888145,0.25430231485228605,0.2743277987524669,0.354751729218939
+48,9,0.15342011877936804,0.32042091671388034,0.18079101836369066,0.27591801161473034,0.1736690676053154,0.25430231485228605,0.2745358005364269,0.354751729218939
+48,10,0.1535780553568488,0.32042091671388034,0.18092531892650873,0.27591801161473034,0.17382024394640894,0.25430231485228605,0.2746744252493288,0.354751729218939
+48,11,0.15325735939781,0.32042091671388034,0.180616384083207,0.27591801161473034,0.17350098024659924,0.25430231485228605,0.274598735636548,0.354751729218939
+48,-1,0.15325735939781,0.32042091671388034,0.180616384083207,0.27591801161473034,0.17350098024659924,0.25430231485228605,0.274598735636548,0.354751729218939
+49,1,0.15285670515483565,0.32042091671388034,0.18025733528704807,0.27591801161473034,0.1731311065829777,0.25430231485228605,0.2744360011166747,0.354751729218939
+49,2,0.15236816197571637,0.32042091671388034,0.17982730197062652,0.27591801161473034,0.17268681009763834,0.25430231485228605,0.2741950592621909,0.354751729218939
+49,3,0.15205690101279662,0.32042091671388034,0.1795672884739811,0.27591801161473034,0.1724192158817357,0.25430231485228605,0.2740542688717016,0.354751729218939
+49,4,0.15178927399698236,0.32042091671388034,0.17933274805392413,0.27591801161473034,0.17217468419123202,0.25430231485228605,0.2739286079392762,0.354751729218939
+49,5,0.15156629611399358,0.32042091671388034,0.17913688456493312,0.27591801161473034,0.17197061583528808,0.25430231485228605,0.27381719005469446,0.354751729218939
+49,6,0.15139650658938583,0.32042091671388034,0.17899206327994788,0.27591801161473034,0.17181942558260227,0.25430231485228605,0.273729481170405,0.354751729218939
+49,7,0.1512309539144388,0.32042091671388034,0.17884832534352252,0.27591801161473034,0.17167189912871791,0.25430231485228605,0.273642434570689,0.354751729218939
+49,8,0.15112072201450835,0.32042091671388034,0.1787582568222926,0.27591801161473034,0.17157811440074325,0.25430231485228605,0.2735778573470315,0.354751729218939
+49,9,0.15105242469859004,0.32042091671388034,0.1787021072500966,0.27591801161473034,0.17152015091473308,0.25430231485228605,0.2735408659464566,0.354751729218939
+49,10,0.1510401281509001,0.32042091671388034,0.17868783395171625,0.27591801161473034,0.17150451941397493,0.25430231485228605,0.27354538603619843,0.354751729218939
+49,11,0.15102178490503157,0.32042091671388034,0.17867162910682555,0.27591801161473034,0.171487473082503,0.25430231485228605,0.2735377351960803,0.354751729218939
+49,-1,0.15102178490503157,0.32042091671388034,0.17867162910682555,0.27591801161473034,0.171487473082503,0.25430231485228605,0.2735377351960803,0.354751729218939

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"
+  }
+]

pytorch_model.bin

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

sentence_bert_config.json

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

sentencepiece.bpe.model

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

similarity_evaluation_sts-test_results.csv

@@ -0,0 +1,2 @@
+epoch,steps,cosine_pearson,cosine_spearman,euclidean_pearson,euclidean_spearman,manhattan_pearson,manhattan_spearman,dot_pearson,dot_spearman
+-1,-1,0.7452058683863351,0.4429864807417977,0.7450115657101428,0.4758123314790842,0.7399631803897,0.4710184572377478,0.6842793655249085,0.37795229527119334

special_tokens_map.json

@@ -0,0 +1 @@
+{"bos_token": "<s>", "eos_token": "</s>", "unk_token": "<unk>", "sep_token": "</s>", "pad_token": "<pad>", "cls_token": "<s>", "mask_token": {"content": "<mask>", "single_word": false, "lstrip": true, "rstrip": false, "normalized": false}}

tokenizer.json

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

tokenizer_config.json

@@ -0,0 +1 @@
+{"bos_token": "<s>", "eos_token": "</s>", "sep_token": "</s>", "cls_token": "<s>", "unk_token": "<unk>", "pad_token": "<pad>", "mask_token": {"content": "<mask>", "single_word": false, "lstrip": true, "rstrip": false, "normalized": true, "__type": "AddedToken"}, "model_max_length": 512, "special_tokens_map_file": null, "name_or_path": "/root/.cache/torch/sentence_transformers/sentence-transformers_paraphrase-multilingual-mpnet-base-v2/", "tokenizer_class": "XLMRobertaTokenizer"}