Add new SentenceTransformer model.

.gitattributes

@@ -25,3 +25,4 @@ 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
+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
+}

2_Dense/config.json

@@ -0,0 +1 @@
+{"in_features": 768, "out_features": 512, "bias": true, "activation_function": "torch.nn.modules.activation.Tanh"}

2_Dense/pytorch_model.bin

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

README.md

@@ -0,0 +1,87 @@
+---
+pipeline_tag: sentence-similarity
+tags:
+- sentence-transformers
+- feature-extraction
+- sentence-similarity
+---
+
+# {MODEL_NAME}
+
+This is a [sentence-transformers](https://www.SBERT.net) model: It maps sentences & paragraphs to a 512 dimensional dense vector space and can be used for tasks like clustering or semantic search.
+
+<!--- Describe your model here -->
+
+## Usage (Sentence-Transformers)
+
+Using this model becomes easy when you have [sentence-transformers](https://www.SBERT.net) installed:
+
+```
+pip install -U sentence-transformers
+```
+
+Then you can use the model like this:
+
+```python
+from sentence_transformers import SentenceTransformer
+sentences = ["This is an example sentence", "Each sentence is converted"]
+
+model = SentenceTransformer('{MODEL_NAME}')
+embeddings = model.encode(sentences)
+print(embeddings)
+```
+
+
+
+## Evaluation Results
+
+<!--- Describe how your model was evaluated -->
+
+For an automated evaluation of this model, see the *Sentence Embeddings Benchmark*: [https://seb.sbert.net](https://seb.sbert.net?model_name={MODEL_NAME})
+
+
+## Training
+The model was trained with the parameters:
+
+**DataLoader**:
+
+`torch.utils.data.dataloader.DataLoader` of length 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: DistilBertModel 
+  (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})
+  (2): Dense({'in_features': 768, 'out_features': 512, 'bias': True, 'activation_function': 'torch.nn.modules.activation.Tanh'})
+)
+```
+
+## Citing & Authors
+
+<!--- Describe where people can find more information -->

config.json

@@ -0,0 +1,24 @@
+{
+  "_name_or_path": "/root/.cache/torch/sentence_transformers/sentence-transformers_distiluse-base-multilingual-cased-v1/",
+  "activation": "gelu",
+  "architectures": [
+    "DistilBertModel"
+  ],
+  "attention_dropout": 0.1,
+  "dim": 768,
+  "dropout": 0.1,
+  "hidden_dim": 3072,
+  "initializer_range": 0.02,
+  "max_position_embeddings": 512,
+  "model_type": "distilbert",
+  "n_heads": 12,
+  "n_layers": 6,
+  "pad_token_id": 0,
+  "qa_dropout": 0.1,
+  "seq_classif_dropout": 0.2,
+  "sinusoidal_pos_embds": false,
+  "tie_weights_": true,
+  "torch_dtype": "float32",
+  "transformers_version": "4.16.2",
+  "vocab_size": 119547
+}

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.3025718391868595,0.4246848658033177,0.30613216767618595,0.3839964954269519,0.291456965945577,0.33695056717927896,0.31795452080383496,0.37382440283286045
+0,2,0.3017841003979427,0.4246848658033177,0.305522432005631,0.3839964954269519,0.2908577708062319,0.33695056717927896,0.3172848924293299,0.37382440283286045
+0,3,0.30037819008697725,0.381453472278429,0.30440546381016753,0.3839964954269519,0.2899023769828476,0.33695056717927896,0.3161170405534912,0.39544009959530474
+0,4,0.2981796248788889,0.4068837037636577,0.302734478978213,0.3839964954269519,0.2885690730347374,0.33695056717927896,0.3138003733382661,0.39544009959530474
+0,5,0.2941551871326826,0.4068837037636577,0.29959905069024084,0.3712813796843376,0.2860982764185942,0.36492382181303046,0.3091240799094983,0.39544009959530474
+0,6,0.2899264506327997,0.4094267269121805,0.29629414387457326,0.37382440283286045,0.28336712237469835,0.33695056717927896,0.30301369404636447,0.3801819607041676
+0,7,0.28398512212782434,0.3700098681100762,0.2920800317960337,0.34839417134763184,0.2792699669416825,0.33695056717927896,0.2922312956549596,0.38908254172399764
+0,8,0.27670978054859907,0.3560232407932004,0.28703246314888586,0.3344075440307561,0.2745425223623719,0.32677847458518755,0.27566966573642915,0.3700098681100762
+0,9,0.26745163213133133,0.31024882411978894,0.2805049163494189,0.33059300930797186,0.26849280183304286,0.3000767315256975,0.25237734363132563,0.31279184726831183
+0,10,0.2574976145372209,0.32677847458518755,0.2736223370343654,0.2937191736543904,0.2617270316351593,0.2962621968029132,0.22273990737198904,0.26320289587211604
+0,11,0.24637940208810663,0.27210347689194603,0.2658326178162249,0.2708319653176846,0.2538779900304378,0.2708319653176846,0.19297314105625843,0.2403156875354103
+0,-1,0.24637940208810663,0.27210347689194603,0.2658326178162249,0.2708319653176846,0.2538779900304378,0.2708319653176846,0.19297314105625843,0.2403156875354103
+1,1,0.23412281360344478,0.27210347689194603,0.25616370213916123,0.2708319653176846,0.2437380478064388,0.2568453380008089,0.16774320128173384,0.20089882873330597
+1,2,0.2245732214062399,0.2962621968029132,0.24832258685649103,0.2708319653176846,0.23505052883493172,0.22378603707001168,0.14663423028341305,0.1767401088223388
+1,3,0.21172085548587696,0.31279184726831183,0.237742060055677,0.2682889421691617,0.22375449220293037,0.24667324540671745,0.12018748997372669,0.10299243751517584
+1,4,0.19660401530350827,0.3064342893970047,0.225149981805764,0.2593883611493318,0.21025656331470274,0.23650115281262601,0.09256081402277111,0.020344185188182883
+1,5,0.1810160289603955,0.3077058009712661,0.21238534020202907,0.27591801161473034,0.1962490569139259,0.2657459190206389,0.0641801904439376,-0.01398662731687573
+1,6,0.16716600091165632,0.28609010420882175,0.20063812271458067,0.2733749884662075,0.18250463356446117,0.2593883611493318,0.04010950731786751,-0.043231393524888626
+1,7,0.15246715122398574,0.25048778012950174,0.18867797535984615,0.2670174305949003,0.1678209411247528,0.2822755694860375,0.013854583576974106,-0.08519127547551582
+1,8,0.14058116577689136,0.21488545605018167,0.17847137766294444,0.27210347689194603,0.1548769781878541,0.27210347689194603,-0.005456724431090352,-0.15003836576284876
+1,9,0.12652157527714963,0.08519127547551582,0.16551441513443532,0.2250575486442731,0.1385487660177575,0.21107092132739738,-0.02294551084591557,-0.15130987733711018
+1,10,0.11458276343285574,0.03051627778227432,0.15394749708352762,0.24158719910967172,0.12461198354790479,0.1691110393767702,-0.036296080120777396,-0.1691110393767702
+1,11,0.10259057791843895,-0.01525813889113716,0.14234625492100111,0.1525813889113716,0.111742460539988,0.06230406713881007,-0.050576521801962274,-0.17928313197086163
+1,-1,0.10259057791843895,-0.01525813889113716,0.14234625492100111,0.1525813889113716,0.111742460539988,0.06230406713881007,-0.050576521801962274,-0.17928313197086163
+2,1,0.09445554377140267,0.0,0.1328126362855193,0.0762906944556858,0.10200903730980142,-0.025430231485228605,-0.05739015694018525,-0.1894552245649531
+2,2,0.09296406087303914,-0.04450290509915005,0.12900759552197505,-0.00890058101983001,0.09834642602990243,-0.03941685880210433,-0.05677257784245692,-0.21107092132739738
+2,3,0.09627684301649315,-0.06611860186159436,0.12954384444178071,-0.03305930093079718,0.09863717961893047,-0.06103255556454864,-0.051049166148371156,-0.21107092132739738
+2,4,0.10615170780725523,-0.06993313658437866,0.13612699748930415,-0.06866162501011723,0.10598760256806525,-0.04704592824767291,-0.03947044068125499,-0.21107092132739738
+2,5,0.10815283304623355,-0.09790639121813012,0.13650445046437332,-0.06866162501011723,0.1066440608530986,-0.04704592824767291,-0.03409395258834032,-0.21107092132739738
+2,6,0.11492719204208243,-0.09790639121813012,0.1406742179104602,-0.06866162501011723,0.11143585794389703,-0.06866162501011723,-0.024286973446624508,-0.20089882873330597
+2,7,0.1305190217305989,-0.08646278704977725,0.15263179967268517,-0.054674997693241495,0.12380559195945602,-0.06866162501011723,-0.008571428529530455,-0.20089882873330597
+2,8,0.14716552806620917,-0.06866162501011723,0.16513712432932698,-0.0012715115742614302,0.13783467053880108,-0.03305930093079718,0.007489266455473168,-0.1907267361392145
+2,9,0.16641452288387903,-0.043231393524888626,0.18041169470125146,0.026701743059490034,0.1545558575629559,-0.00762906944556858,0.02766143263651774,-0.2021703403075674
+2,10,0.1835663210640497,-0.05848953241602578,0.19344515368838336,0.05976104399028721,0.1685872398132817,0.0025430231485228604,0.04600089943009757,-0.19199824771347596
+2,11,0.2157461656974819,0.08010522917847009,0.21824600635050825,0.1525813889113716,0.19475814866184368,0.13859476159449588,0.08702820161346501,-0.14622383104006448
+2,-1,0.2157461656974819,0.08010522917847009,0.21824600635050825,0.1525813889113716,0.19475814866184368,0.13859476159449588,0.08702820161346501,-0.14622383104006448
+3,1,0.248895966192594,0.15512441205989447,0.24376651657812176,0.20471336345609026,0.22217755338770348,0.1729255740995545,0.14519332242997174,-0.020344185188182883
+3,2,0.2769949203917347,0.30134824309995895,0.26637124535218754,0.227600571792796,0.2474936580472269,0.24540173383245603,0.2186423336825607,0.09536336806960725
+3,3,0.2972718463264443,0.3382220787535404,0.28471093780957635,0.28863312735734464,0.26853779325434235,0.28863312735734464,0.2957761561149429,0.24540173383245603
+3,4,0.30695261512111355,0.32804998615944897,0.29689083203644484,0.29244766208012896,0.2814106953248116,0.2708319653176846,0.34622284654012,0.4195988195062719
+3,5,0.31098808367080655,0.40306916904087337,0.30505381717564944,0.35729475236746183,0.2894318048977311,0.28990463893160606,0.3645663715297805,0.4501150972885462
+3,6,0.3104498963825446,0.40306916904087337,0.3097402385925576,0.32677847458518755,0.29409260906213675,0.3038912662484818,0.3716041939930095,0.5391209074868464
+3,7,0.31346251208414333,0.43867149312019343,0.31568689889344986,0.32423545143666466,0.3007977902093097,0.3789104491299062,0.37769396521629967,0.5569220695265065
+3,8,0.31965664099488184,0.49588951396195774,0.3210587887659472,0.3928970764467819,0.3068538258184459,0.3789104491299062,0.38297270288593793,0.5353063727640621
+3,9,0.3254729877974994,0.49588951396195774,0.32591555623572577,0.41832730793201056,0.3118214979004398,0.3928970764467819,0.3876447905311872,0.5353063727640621
+3,10,0.3321834166914004,0.46791625932820624,0.32887693565838244,0.3928970764467819,0.31383355825429415,0.3928970764467819,0.3928047069514371,0.5353063727640621
+3,11,0.33277416903560336,0.4068837037636577,0.32453944179267924,0.3496656829218933,0.3071095627502393,0.3293214977337104,0.384849914161835,0.4793598634965592
+3,-1,0.33277416903560336,0.4068837037636577,0.32453944179267924,0.3496656829218933,0.3071095627502393,0.3293214977337104,0.384849914161835,0.4793598634965592
+4,1,0.3239242350102943,0.35729475236746183,0.31422777719078604,0.31406335884257325,0.29445725407588114,0.2606598727235932,0.35464990455549394,0.345851148199109
+4,2,0.3134309638151327,0.3216924282881418,0.3036034680854501,0.3051627778227432,0.282241519193122,0.2530308032780246,0.3118021234298426,0.2199715023472274
+4,3,0.30583094746522993,0.2606598727235932,0.2961187148493823,0.3216924282881418,0.27466812414365577,0.2530308032780246,0.27877451977529977,0.16275348150546307
+4,4,0.2960170524708918,0.2822755694860375,0.2867892230198386,0.2682889421691617,0.2650999850969735,0.20344185188182884,0.23662221558128774,0.18309766669364594
+4,5,0.27692851746104513,0.2911761505058675,0.27108153059781126,0.2682889421691617,0.24891973166631198,0.23141510651558028,0.19097119136770876,-0.036873835653581474
+4,6,0.26934633371949956,0.2911761505058675,0.26602436933605794,0.2326866180898417,0.2460639436839148,0.2403156875354103,0.18590862737203442,-0.00890058101983001
+4,7,0.2726722266234484,0.26320289587211604,0.2692663683232665,0.24794475698097887,0.25282060936407513,0.24794475698097887,0.18525513430234672,-0.0419598819506272
+4,8,0.2767230589251967,0.2352296412383646,0.27268759256306196,0.24794475698097887,0.2588750816225714,0.24794475698097887,0.1858694136790041,0.021615696762444313
+4,9,0.2756942053087631,0.2352296412383646,0.27197149513784213,0.22632906021853458,0.26004337115474757,0.24794475698097887,0.18790202210948537,0.03560232407932004
+4,10,0.27564839748624914,0.2352296412383646,0.27224713198098827,0.20471336345609026,0.26265221154924745,0.24794475698097887,0.18692506533285738,0.03560232407932004
+4,11,0.27148285547676587,0.17038255095103164,0.26864425919956497,0.20471336345609026,0.2599648083624139,0.22632906021853458,0.20269558762793985,0.15512441205989447
+4,-1,0.27148285547676587,0.17038255095103164,0.26864425919956497,0.20471336345609026,0.2599648083624139,0.22632906021853458,0.20269558762793985,0.15512441205989447
+5,1,0.26717955431416457,0.15003836576284876,0.265061521953117,0.30261975467422036,0.25910523762982773,0.24540173383245603,0.24055870077818842,0.23141510651558028
+5,2,0.2519072236767044,0.31024882411978894,0.25403688924450074,0.30261975467422036,0.24609905582067323,0.2708319653176846,0.24415560315608162,0.2822755694860375
+5,3,0.24887180050666166,0.32423545143666466,0.25322613393234156,0.32423545143666466,0.24490263774195362,0.345851148199109,0.2646434529407589,0.32042091671388034
+5,4,0.2488284174673621,0.345851148199109,0.25391586774401753,0.345851148199109,0.24367073865719563,0.345851148199109,0.27142234945037286,0.35856626394172325
+5,5,0.24218502489643223,0.345851148199109,0.24983268830257904,0.3674668449615533,0.2369478795725282,0.345851148199109,0.26599837627961764,0.3420366134763247
+5,6,0.23816825497976113,0.32423545143666466,0.24664065994943798,0.345851148199109,0.2308909716695743,0.345851148199109,0.2505715701878257,0.39544009959530474
+5,7,0.2292410459068271,0.31787789356535756,0.23974216904913503,0.345851148199109,0.22091830895559098,0.3318645208822333,0.22342785398428744,0.38526800700121333
+5,8,0.22984333815875055,0.2949906852286518,0.23946810250386374,0.32423545143666466,0.21951127194071207,0.2962621968029132,0.21442289296482026,0.35093719449615474
+5,9,0.23071720838537918,0.2670174305949003,0.23999077392049434,0.32423545143666466,0.2187523588775814,0.28990463893160606,0.2025422109226247,0.35093719449615474
+5,10,0.22739516696957415,0.29244766208012896,0.2368683251908499,0.32423545143666466,0.21486361919634614,0.28990463893160606,0.19034520393066348,0.3038912662484818
+5,11,0.2224527854303114,0.2708319653176846,0.23256854630267837,0.32423545143666466,0.20972021328181903,0.23395812966410312,0.18038618881550417,0.3038912662484818
+5,-1,0.2224527854303114,0.2708319653176846,0.23256854630267837,0.32423545143666466,0.20972021328181903,0.23395812966410312,0.18038618881550417,0.3038912662484818
+6,1,0.22461532519292202,0.30134824309995895,0.23277531324042125,0.31406335884257325,0.211078608645079,0.24540173383245603,0.18736428156953383,0.3318645208822333
+6,2,0.24140155164045904,0.2657459190206389,0.24509543392010646,0.3496656829218933,0.22896567540434268,0.35729475236746183,0.22939919114561094,0.35729475236746183
+6,3,0.2493100314664736,0.31533487041683467,0.25000008466909107,0.35856626394172325,0.23844828257828768,0.3712813796843376,0.2536433877083022,0.3394935903278018
+6,4,0.23939967739836712,0.2657459190206389,0.24382797788460844,0.3496656829218933,0.23015480128533689,0.3496656829218933,0.21833436833796585,0.35729475236746183
+6,5,0.20587602732123572,0.2199715023472274,0.22291520728735223,0.24413022225819456,0.20130856610664655,0.25175929170376316,0.1272104151833203,0.25175929170376316
+6,6,0.14783671637926157,0.16148196993120162,0.18910501011560707,0.24158719910967172,0.15699486622546693,0.20852789817887454,0.025064873748487877,-0.005086046297045721
+6,7,0.09363002293804443,0.09154883334682297,0.15497471669897034,0.1729255740995545,0.11732869422143782,0.1729255740995545,-0.03529546794501861,-0.09790639121813012
+6,8,0.04655736012139066,0.0,0.12044261994440492,0.1436808078915416,0.07937724925024339,0.0890058101983001,-0.07379482826879295,-0.10680697223796014
+6,9,0.01278946988238945,-0.036873835653581474,0.09382624131176005,0.1436808078915416,0.05046548070118887,0.043231393524888626,-0.09764408771268773,-0.13732325002023446
+6,10,-0.004354885391481199,-0.05086046297045721,0.07945670790204104,0.1474953426143259,0.03435440624712016,0.010172092594091442,-0.10895269706772662,-0.13732325002023446
+6,11,0.00024161308541611847,-0.11189301853500584,0.08812896436554458,0.10044941436665299,0.0431478193221314,0.010172092594091442,-0.11533922690747399,-0.13732325002023446
+6,-1,0.00024161308541611847,-0.11189301853500584,0.08812896436554458,0.10044941436665299,0.0431478193221314,0.010172092594091442,-0.11533922690747399,-0.13732325002023446
+7,1,0.030727055897602776,-0.11189301853500584,0.119802469327257,0.15385290048563305,0.07800193279029503,0.06357557871307151,-0.10206483602844187,-0.13732325002023446
+7,2,0.07634328191372672,-0.09790639121813012,0.16126275196722115,0.19326975928773737,0.12435850410686869,0.09536336806960725,-0.07566418294024997,-0.13732325002023446
+7,3,0.1341242288399151,0.01780116203966002,0.20372497592077426,0.22632906021853458,0.17170496806028718,0.1678395278025088,-0.030117241421720665,-0.08646278704977725
+7,4,0.18398925381682668,0.17546859724807737,0.23218163832035701,0.2733749884662075,0.20003915517185394,0.2225145254957503,0.025843410259785565,-0.0673901134358558
+7,5,0.19981653594345442,0.19454127086199882,0.23617873420800944,0.2530308032780246,0.20403169381051295,0.24413022225819456,0.07205323110631794,0.09027732177256154
+7,6,0.18992188039877433,0.2975337083771747,0.22449783002397428,0.31787789356535756,0.19113605612930143,0.25557382642654747,0.09394408090879978,0.13350871529745015
+7,7,0.1752938869968615,0.30261975467422036,0.21028845360422943,0.354751729218939,0.1782650289394773,0.31406335884257325,0.12620963404583524,0.27210347689194603
+7,8,0.16687503053866815,0.345851148199109,0.2012319893831261,0.31787789356535756,0.17088604183212563,0.3356790556050176,0.15697391750618106,0.34076510190206327
+7,9,0.17657911054055603,0.40306916904087337,0.206861162720961,0.3941685880210433,0.1778429757855234,0.35729475236746183,0.20819647246475448,0.34839417134763184
+7,10,0.18976147810738841,0.40052614589235047,0.21599507859967837,0.37763893755564476,0.18838228727185385,0.37763893755564476,0.23798966478410494,0.3534802176446776
+7,11,0.18127379822315642,0.3928970764467819,0.2090682175018778,0.3700098681100762,0.18192868149635585,0.3700098681100762,0.22825247820324895,0.32804998615944897
+7,-1,0.18127379822315642,0.3928970764467819,0.2090682175018778,0.3700098681100762,0.18192868149635585,0.3700098681100762,0.22825247820324895,0.32804998615944897
+8,1,0.17470075534301518,0.33695056717927896,0.20213588037457064,0.37763893755564476,0.17447266537071293,0.3700098681100762,0.2060482817891774,0.319149405139619
+8,2,0.16216014782017854,0.32677847458518755,0.1905094133982619,0.3420366134763247,0.16211564902990352,0.3420366134763247,0.16738391577849632,0.32296393986240324
+8,3,0.1546158669770128,0.32550696301092613,0.18513619660954483,0.3089773125455275,0.15781178159955486,0.29244766208012896,0.14663830497885819,0.32042091671388034
+8,4,0.1549507655800129,0.2873616157830832,0.18548893253770435,0.2593883611493318,0.159092453921406,0.28481859263456033,0.12880224583259448,0.32042091671388034
+8,5,0.1643227773167198,0.2873616157830832,0.19358664864791214,0.30261975467422036,0.16938258452601218,0.2682889421691617,0.14194395750719133,0.2988052199514361
+8,6,0.1701557662087812,0.2873616157830832,0.1990347389454167,0.319149405139619,0.1758222553424808,0.2810040579117761,0.14647750128271592,0.2988052199514361
+8,7,0.17429738975313797,0.2949906852286518,0.202936734751808,0.30134824309995895,0.18015467931877577,0.3115203356940504,0.14646085637488374,0.2988052199514361
+8,8,0.18960034464003456,0.23777266438688743,0.2162201219240452,0.2670174305949003,0.19624629884755146,0.27210347689194603,0.1694026089108135,0.2962621968029132
+8,9,0.1980796630812938,0.24413022225819456,0.2247401089231134,0.21869999077296598,0.2062858653019877,0.23777266438688743,0.1757161962510576,0.2949906852286518
+8,10,0.20344793231205435,0.2225145254957503,0.23037563073357858,0.21869999077296598,0.21252133623778682,0.21615696762444314,0.16885523386771054,0.27718952318899176
+8,11,0.18575322064204397,0.20725638660461312,0.21912275794536004,0.16021045835694017,0.1999933345609649,0.17038255095103164,0.11866035120923069,0.18055464354512307
+8,-1,0.18575322064204397,0.20725638660461312,0.21912275794536004,0.16021045835694017,0.1999933345609649,0.17038255095103164,0.11866035120923069,0.18055464354512307
+9,1,0.15373186657903914,0.21234243290165886,0.20060385567815278,0.14876685418858734,0.17839494144778076,0.16402499307972448,0.04814320472396796,0.12460813427762014
+9,2,0.10978647908238201,0.0839197639012544,0.17605646023126764,0.1856406898421688,0.14649983535175531,0.18436917826790739,-0.02484076327175485,-0.23014359494131884
+9,3,0.08229427552736317,0.02797325463375146,0.16491186496905713,0.18436917826790739,0.1286743925805514,0.12587964585188158,-0.06343407518840026,-0.24158719910967172
+9,4,0.07513345474063045,-0.054674997693241495,0.164686272553255,0.18436917826790739,0.12504180002598164,0.1474953426143259,-0.07343445789644168,-0.2403156875354103
+9,5,0.06623937754918037,-0.02924476620801289,0.16045510092053739,0.18436917826790739,0.11801539341471909,0.1474953426143259,-0.07959829310360433,-0.2403156875354103
+9,6,0.07983884265500203,0.01780116203966002,0.1734623006223328,0.15130987733711018,0.13037588808775294,0.1309656921489273,-0.06967254771834668,-0.24794475698097887
+9,7,0.09672040240934764,0.09790639121813012,0.1860135081503351,0.15003836576284876,0.14362761596469523,0.11825057640631301,-0.0550800254893267,-0.24413022225819456
+9,8,0.12436303030898258,0.11570755325779014,0.20136949991065695,0.14876685418858734,0.1627545930619079,0.12206511112909728,-0.024820408294787127,-0.2606598727235932
+9,9,0.15641679648344603,0.14876685418858734,0.21842177109162,0.1525813889113716,0.1842830256446592,0.10044941436665299,0.01983272818136854,0.012715115742614302
+9,10,0.20025400995218506,0.1907267361392145,0.24218760383172686,0.18309766669364594,0.21414836260556835,0.10934999538648299,0.09767346261671905,0.18055464354512307
+9,11,0.22882095937248753,0.1780116203966002,0.2574815170668107,0.2670174305949003,0.2344889719772015,0.22124301392148887,0.1777583721014151,0.2937191736543904
+9,-1,0.22882095937248753,0.1780116203966002,0.2574815170668107,0.2670174305949003,0.2344889719772015,0.22124301392148887,0.1777583721014151,0.2937191736543904
+10,1,0.24659327158085015,0.21742847919870456,0.2678300961937145,0.2670174305949003,0.24778683566818074,0.26447440744637746,0.23825227342479818,0.28990463893160606
+10,2,0.23994124162931313,0.28609010420882175,0.2618228142433619,0.3445796366248476,0.24297821387648727,0.31406335884257325,0.24836799212612987,0.28990463893160606
+10,3,0.21963652394230362,0.28609010420882175,0.24596561095532482,0.31406335884257325,0.2266778661085783,0.2988052199514361,0.22132733410579813,0.28990463893160606
+10,4,0.19382497848863445,0.2492162685552403,0.2267817564442939,0.2708319653176846,0.2061427661981562,0.25557382642654747,0.1816869205658596,0.28990463893160606
+10,5,0.1658443029661271,0.2225145254957503,0.20751142135220377,0.25557382642654747,0.18508794601127843,0.25557382642654747,0.13556966165387063,0.25430231485228605
+10,6,0.1368672509718086,0.1525813889113716,0.1889833976152374,0.25557382642654747,0.16455767351750028,0.21488545605018167,0.07742398974991026,0.19708429401052166
+10,7,0.123543487832586,0.11316453010926729,0.18200760536247268,0.24794475698097887,0.15512463564502657,0.21488545605018167,0.04018752339395159,0.04958895139619578
+10,8,0.14414081136626222,0.16021045835694017,0.197817242629483,0.25557382642654747,0.16912941270209111,0.2225145254957503,0.047946093433985766,0.06993313658437866
+10,9,0.17872769740149902,0.1907267361392145,0.22250157808178822,0.28609010420882175,0.1934476506501435,0.2225145254957503,0.08673089573072759,0.21488545605018167
+10,10,0.21733290657724452,0.21107092132739738,0.24942815533882745,0.28609010420882175,0.22079376397168504,0.2225145254957503,0.13657671889639894,0.2682889421691617
+10,11,0.25075763619869523,0.24794475698097887,0.27298517664754535,0.28609010420882175,0.24402293655998814,0.27591801161473034,0.1824897713694007,0.2975337083771747
+10,-1,0.25075763619869523,0.24794475698097887,0.27298517664754535,0.28609010420882175,0.24402293655998814,0.27591801161473034,0.1824897713694007,0.2975337083771747
+11,1,0.272714765563055,0.32550696301092613,0.28913718530966986,0.2988052199514361,0.25927468804405124,0.28481859263456033,0.2089019105072129,0.36873835653581477
+11,2,0.2774998509705343,0.3051627778227432,0.29417787590342137,0.28863312735734464,0.26332450123746237,0.31787789356535756,0.20345163722901216,0.3534802176446776
+11,3,0.27272518466684237,0.24285871068393314,0.29247268585417446,0.3382220787535404,0.2598030315023356,0.31279184726831183,0.1751391130654196,0.2606598727235932
+11,4,0.26557065145858144,0.17038255095103164,0.28973383890719095,0.34076510190206327,0.25560580382914916,0.2746465000404689,0.14196594460960293,0.21488545605018167
+11,5,0.25870690744349684,0.17038255095103164,0.2860091024464114,0.34076510190206327,0.2514158740769625,0.2746465000404689,0.11998091676205756,0.13859476159449588
+11,6,0.25009189197678494,0.15639592363415591,0.2816074329878225,0.3331360324564947,0.24699266452155388,0.2326866180898417,0.09847429561871392,0.07120464815864008
+11,7,0.23825614035436132,0.1525813889113716,0.273726239201847,0.3038912662484818,0.23951334067781116,0.25048778012950174,0.0790751157801096,0.00890058101983001
+11,8,0.22401103857986654,0.14876685418858734,0.26390741168725745,0.3077058009712661,0.2298149962455539,0.2326866180898417,0.05381712872033775,-0.10299243751517584
+11,9,0.2122895792168024,0.1525813889113716,0.2549632420414138,0.2746465000404689,0.2210847451684844,0.2326866180898417,0.03588652409162949,-0.13350871529745015
+11,10,0.2071693246512955,0.09409185649534582,0.2511656797895957,0.2746465000404689,0.2172882036207769,0.2326866180898417,0.0254123594683423,-0.1780116203966002
+11,11,0.18309109599472634,0.04704592824767291,0.23422244660302907,0.2606598727235932,0.2009554721318431,0.21869999077296598,-0.0010763807665674205,-0.1856406898421688
+11,-1,0.18309109599472634,0.04704592824767291,0.23422244660302907,0.2606598727235932,0.2009554721318431,0.21869999077296598,-0.0010763807665674205,-0.1856406898421688
+12,1,0.1866945698309554,0.09409185649534582,0.2367298656547836,0.2606598727235932,0.20403066699246025,0.25048778012950174,0.010024753620746358,-0.17546859724807737
+12,2,0.2015268574467223,0.14876685418858734,0.2475171490818098,0.2708319653176846,0.21581998190070564,0.23904417596114885,0.035157793283586175,-0.13859476159449588
+12,3,0.21922725377012525,0.14113778474301875,0.26134711332284677,0.21742847919870456,0.2300410948901973,0.19326975928773737,0.06159379081831018,-0.06230406713881007
+12,4,0.24747351722604885,0.23650115281262601,0.2839371538354518,0.2873616157830832,0.2540106460502273,0.2568453380008089,0.09799287669101654,0.0839197639012544
+12,5,0.2725098090217345,0.26447440744637746,0.30378052933416994,0.3089773125455275,0.27456384245616205,0.25048778012950174,0.13139896204117238,0.15639592363415591
+12,6,0.2968440176342126,0.27846103476325323,0.32292100449458294,0.29244766208012896,0.29461697168701867,0.31406335884257325,0.16709600287819057,0.1894552245649531
+12,7,0.31672441445847743,0.36238079866450756,0.33849166940313513,0.31279184726831183,0.3114074102510979,0.34839417134763184,0.19966393514004702,0.20344185188182884
+12,8,0.33309878919911373,0.3038912662484818,0.3516222257661942,0.40306916904087337,0.32640789273563237,0.35093719449615474,0.22736064479531684,0.2606598727235932
+12,9,0.3458607093468695,0.32296393986240324,0.3619285311154059,0.40306916904087337,0.33838268418429707,0.3839964954269519,0.24979851933017047,0.27846103476325323
+12,10,0.3519184962019678,0.31787789356535756,0.36609923654137827,0.4208703310805334,0.34297265108473907,0.3839964954269519,0.2612188211312883,0.2911761505058675
+12,11,0.35267558013790906,0.32042091671388034,0.3657451093697279,0.42849940052610197,0.34244335640712836,0.3839964954269519,0.2722789924609004,0.28481859263456033
+12,-1,0.35267558013790906,0.32042091671388034,0.3657451093697279,0.42849940052610197,0.34244335640712836,0.3839964954269519,0.2722789924609004,0.28481859263456033
+13,1,0.35015795869652994,0.32550696301092613,0.36258544898350686,0.42849940052610197,0.3388356158672102,0.40306916904087337,0.2801386070418966,0.2873616157830832
+13,2,0.3364383635915999,0.33059300930797186,0.3495452221399187,0.41069823848644194,0.3231910969991656,0.381453472278429,0.2551033579636358,0.28609010420882175
+13,3,0.30065969439831586,0.2949906852286518,0.3193214720317985,0.36110928709024614,0.28802778111240107,0.2975337083771747,0.2003610105428476,0.23650115281262601
+13,4,0.24169388313600054,0.23395812966410312,0.2732353334498849,0.26320289587211604,0.23550714452000548,0.19708429401052166,0.1190185974594156,0.10680697223796014
+13,5,0.18629216901724943,0.23650115281262601,0.22880599137138605,0.23141510651558028,0.1875216025857303,0.18309766669364594,0.05432485329850957,-0.0839197639012544
+13,6,0.14034111525516385,0.08264825232699297,0.18929008514307766,0.20344185188182884,0.14746492426064092,0.21615696762444314,0.006158522323358618,-0.19454127086199882
+13,7,0.1099192435673186,0.00890058101983001,0.16027255578113087,0.1691110393767702,0.11882932426187057,0.12715115742614302,-0.022536652288876073,-0.21869999077296598
+13,8,0.08891302277013093,0.012715115742614302,0.13864693984485899,0.11443604168352871,0.09771588887660311,0.10172092594091442,-0.042319130815160394,-0.2250575486442731
+13,9,0.07713505290873608,-0.011443604168352871,0.1245150352127401,0.11443604168352871,0.08442114568081062,0.07247615973290152,-0.05215247464572113,-0.2250575486442731
+13,10,0.0850785437307017,0.0025430231485228604,0.13011697313614973,0.11443604168352871,0.09088003567838307,0.10299243751517584,-0.04091405599629157,-0.21107092132739738
+13,11,0.10261062227572675,0.04450290509915005,0.14129644206961944,0.1856406898421688,0.10340648232609358,0.15639592363415591,-0.014595825681202204,-0.16402499307972448
+13,-1,0.10261062227572675,0.04450290509915005,0.14129644206961944,0.1856406898421688,0.10340648232609358,0.15639592363415591,-0.014595825681202204,-0.16402499307972448
+14,1,0.12746615239171633,0.06866162501011723,0.1582198820779757,0.16402499307972448,0.12203531544104987,0.1347802268717116,0.02290681434390862,-0.06866162501011723
+14,2,0.15124004912032257,0.18182615511938452,0.17364259435026994,0.18182615511938452,0.13955370878094192,0.1525813889113716,0.06316392983169083,0.0025430231485228604
+14,3,0.17795456461325568,0.19581278243626024,0.19233420602531567,0.21488545605018167,0.16014005285979835,0.21869999077296598,0.11126506303433502,0.14495231946580303
+14,4,0.20225986504578106,0.27210347689194603,0.21055681568883922,0.26320289587211604,0.18034061971645984,0.2326866180898417,0.15386449752937623,0.2199715023472274
+14,5,0.22542209705423322,0.3038912662484818,0.23067492935509734,0.28481859263456033,0.20246072952474803,0.2593883611493318,0.1993185043649472,0.319149405139619
+14,6,0.23973733056367794,0.30134824309995895,0.24546517754921576,0.27210347689194603,0.21967158561028605,0.2937191736543904,0.23330771263726227,0.3077058009712661
+14,7,0.24746783185311225,0.27718952318899176,0.2560405696806165,0.25557382642654747,0.23225183503082983,0.27718952318899176,0.25637547036149516,0.3420366134763247
+14,8,0.24919473046642032,0.27718952318899176,0.2621041769429019,0.25175929170376316,0.2392753649149633,0.30134824309995895,0.2661609982337401,0.3700098681100762
+14,9,0.2422752448169873,0.2733749884662075,0.2597781457781331,0.30134824309995895,0.23619221710304383,0.3293214977337104,0.2548801432572071,0.34839417134763184
+14,10,0.23004085894278167,0.2949906852286518,0.25263131546414896,0.30134824309995895,0.22789535485988455,0.3293214977337104,0.2330347116679809,0.2835470810602989
+14,11,0.21950974607170637,0.2949906852286518,0.2469240891041711,0.30134824309995895,0.22193229824656038,0.3115203356940504,0.21635393674557699,0.2822755694860375
+14,-1,0.21950974607170637,0.2949906852286518,0.2469240891041711,0.30134824309995895,0.22193229824656038,0.3115203356940504,0.21635393674557699,0.2822755694860375
+15,1,0.20686119299396374,0.27718952318899176,0.23857868624156303,0.2949906852286518,0.21316115851912087,0.27718952318899176,0.19381752641957392,0.28609010420882175
+15,2,0.1957153185342407,0.30134824309995895,0.23128892979218768,0.31660638199109614,0.20524142666397355,0.26320289587211604,0.17153513710833337,0.24413022225819456
+15,3,0.18554219837069172,0.27591801161473034,0.22439361234784475,0.31660638199109614,0.19791327412983542,0.2593883611493318,0.14351768659955783,0.2021703403075674
+15,4,0.18378893096341614,0.27591801161473034,0.2250959958552106,0.31660638199109614,0.19874262984233793,0.24794475698097887,0.12758203820692446,0.18436917826790739
+15,5,0.18415918107184548,0.27591801161473034,0.22738764255693908,0.31660638199109614,0.2011313232338718,0.24794475698097887,0.11646531939153387,0.20598487503035168
+15,6,0.1900343592454228,0.27591801161473034,0.23428381374981752,0.3051627778227432,0.207526295926188,0.2619313842978546,0.11231296295432992,0.20598487503035168
+15,7,0.20136129233816305,0.26447440744637746,0.24402717465565762,0.3216924282881418,0.21656985511209964,0.27846103476325323,0.11686642302370293,0.19199824771347596
+15,8,0.2124651493706178,0.26447440744637746,0.2530487294324103,0.31406335884257325,0.2249527683333467,0.2708319653176846,0.11789817106891723,0.1780116203966002
+15,9,0.22249614268518778,0.2568453380008089,0.2611666803682021,0.3471226597733704,0.2325434858615669,0.2708319653176846,0.11904830276057463,0.16656801622824735
+15,10,0.23016806794020922,0.2568453380008089,0.2671881224859731,0.3471226597733704,0.23801902804815253,0.2708319653176846,0.11872418263832019,0.16656801622824735
+15,11,0.22235035659242627,0.21488545605018167,0.2622573408151241,0.30134824309995895,0.23305155666550087,0.26447440744637746,0.0943005295859241,0.18436917826790739
+15,-1,0.22235035659242627,0.21488545605018167,0.2622573408151241,0.30134824309995895,0.23305155666550087,0.26447440744637746,0.0943005295859241,0.18436917826790739
+16,1,0.21583567916137117,0.20852789817887454,0.25849963729919556,0.30134824309995895,0.22942445289100402,0.23650115281262601,0.07418731067798302,0.03305930093079718
+16,2,0.21466269775708569,0.18055464354512307,0.2584188627552334,0.30134824309995895,0.2299752289503149,0.2225145254957503,0.06508514694447344,-0.006357557871307151
+16,3,0.21415114412453912,0.1767401088223388,0.2584220530990957,0.30134824309995895,0.230541854669572,0.22632906021853458,0.05909852298372429,-0.043231393524888626
+16,4,0.2133480150933844,0.15512441205989447,0.25757010785847445,0.27973254633751465,0.23023121837659485,0.22632906021853458,0.05579123676040742,-0.010172092594091442
+16,5,0.2258875573502846,0.19326975928773737,0.2670323108808931,0.31787789356535756,0.24052798173409962,0.2403156875354103,0.06724865987724797,0.05976104399028721
+16,6,0.23930219861233848,0.20852789817887454,0.2770961359166947,0.3331360324564947,0.2516083279979317,0.27718952318899176,0.08195336730040025,0.09154883334682297
+16,7,0.24993344600556308,0.24667324540671745,0.28469158689837953,0.3331360324564947,0.2602407693260421,0.32423545143666466,0.09420787039767513,0.09154883334682297
+16,8,0.26096078895589137,0.2746465000404689,0.29239369803270787,0.3331360324564947,0.2693365198229895,0.3394935903278018,0.11224747183154474,0.11697906483205156
+16,9,0.2704617690101235,0.2810040579117761,0.29895676967472473,0.3394935903278018,0.27691152314459966,0.3420366134763247,0.12638867859487826,0.20725638660461312
+16,10,0.279890879760865,0.2810040579117761,0.3054713103656373,0.3674668449615533,0.2841697233678286,0.30134824309995895,0.13976976385750065,0.20725638660461312
+16,11,0.2816373018626582,0.3051627778227432,0.30504951729894114,0.2962621968029132,0.2842563789500254,0.29244766208012896,0.1628752109492013,0.22124301392148887
+16,-1,0.2816373018626582,0.3051627778227432,0.30504951729894114,0.2962621968029132,0.2842563789500254,0.29244766208012896,0.1628752109492013,0.22124301392148887
+17,1,0.2846899775026761,0.32677847458518755,0.30597137759252796,0.31787789356535756,0.28499818070251814,0.3077058009712661,0.18366950382416594,0.2530308032780246
+17,2,0.28446174924949064,0.32677847458518755,0.30450867639715024,0.3394935903278018,0.2832969448337794,0.3293214977337104,0.19539706821410233,0.27846103476325323
+17,3,0.28424243975935365,0.3445796366248476,0.3033522312341874,0.32677847458518755,0.28206404217348824,0.30134824309995895,0.20039237896808726,0.27846103476325323
+17,4,0.2860229478781483,0.3445796366248476,0.3037963202226884,0.3394935903278018,0.28216675798538665,0.30134824309995895,0.20028537995188428,0.27846103476325323
+17,5,0.288644019532044,0.32677847458518755,0.3049283297012906,0.3394935903278018,0.2829756725450872,0.27973254633751465,0.1955735336040501,0.27846103476325323
+17,6,0.28968768089938063,0.3471226597733704,0.30526382367141003,0.33695056717927896,0.2832083652082655,0.28990463893160606,0.1909717383569221,0.2530308032780246
+17,7,0.29265380163408594,0.32550696301092613,0.3073667401592678,0.3318645208822333,0.2852861410635918,0.28990463893160606,0.187140140202884,0.22124301392148887
+17,8,0.2955169744723597,0.32550696301092613,0.309723506086776,0.34839417134763184,0.28774360364663154,0.3064342893970047,0.18179135889578021,0.22124301392148887
+17,9,0.30034963580412294,0.3471226597733704,0.3135971426747387,0.34839417134763184,0.2919671542939858,0.32296393986240324,0.18196273630804544,0.21107092132739738
+17,10,0.30868829461107966,0.3471226597733704,0.3203573551374332,0.32677847458518755,0.2994504521392077,0.32677847458518755,0.18672307369422717,0.21869999077296598
+17,11,0.31576808732097233,0.3471226597733704,0.3273740098512161,0.32677847458518755,0.30689476182076025,0.32677847458518755,0.18595039434175326,0.19708429401052166
+17,-1,0.31576808732097233,0.3471226597733704,0.3273740098512161,0.32677847458518755,0.30689476182076025,0.32677847458518755,0.18595039434175326,0.19708429401052166
+18,1,0.31740116464159257,0.3661953333872919,0.3309073253741244,0.3471226597733704,0.3103607694360323,0.32677847458518755,0.17737492144315492,0.15003836576284876
+18,2,0.31337145625518553,0.27973254633751465,0.3302247241214961,0.354751729218939,0.3091385272911341,0.36873835653581477,0.16326909491730904,0.15003836576284876
+18,3,0.30488999889388596,0.2657459190206389,0.32654970963340724,0.3763674259813833,0.3048552814548227,0.36873835653581477,0.1443220076191079,0.09027732177256154
+18,4,0.2933403297721417,0.2593883611493318,0.3203863909902843,0.3763674259813833,0.2981421005564342,0.3433081250505861,0.1233781961180128,0.024158719910967172
+18,5,0.27979074836554896,0.17038255095103164,0.3117146175784319,0.36873835653581477,0.2881216148676193,0.32550696301092613,0.10250816766091554,-0.10299243751517584
+18,6,0.26789400682051223,0.17038255095103164,0.3030318701983101,0.3433081250505861,0.2782900862225926,0.32550696301092613,0.08637054114828671,-0.12079359955483586
+18,7,0.26011496800121303,0.17038255095103164,0.2966511898977472,0.3433081250505861,0.27086154149190694,0.27718952318899176,0.07747305928174938,-0.07756220602994723
+18,8,0.26129607957072587,0.18818371299069164,0.29698899759914243,0.3433081250505861,0.27027910558791646,0.27718952318899176,0.07826110157737942,-0.07756220602994723
+18,9,0.26448756552035363,0.18818371299069164,0.29829208439223726,0.3433081250505861,0.27126174126928065,0.27718952318899176,0.08418515365198403,-0.04958895139619578
+18,10,0.272369995580415,0.24158719910967172,0.3024067883566197,0.3433081250505861,0.27551746980195335,0.27718952318899176,0.09685973325463249,0.01907267361392145
+18,11,0.2791201679336819,0.25175929170376316,0.30598779200277987,0.36873835653581477,0.2791101636482526,0.32804998615944897,0.1090666126813332,0.0890058101983001
+18,-1,0.2791201679336819,0.25175929170376316,0.30598779200277987,0.36873835653581477,0.2791101636482526,0.32804998615944897,0.1090666126813332,0.0890058101983001
+19,1,0.2872905598625374,0.28609010420882175,0.3112355855575058,0.34839417134763184,0.2847979902383715,0.32296393986240324,0.12509634740366612,0.16402499307972448
+19,2,0.2973099371307857,0.3356790556050176,0.31794496511684317,0.3700098681100762,0.29249612869252484,0.34839417134763184,0.1489645085144523,0.17419708567381592
+19,3,0.3071386909396722,0.36873835653581477,0.32534527414053677,0.3534802176446776,0.300922785291619,0.3318645208822333,0.17303491257433118,0.1983558055847831
+19,4,0.31597078222309566,0.36873835653581477,0.3322151585413072,0.381453472278429,0.3083649173005325,0.3598377755159847,0.19066933977733694,0.2568453380008089
+19,5,0.3254971069361227,0.3471226597733704,0.33954692320984775,0.3598377755159847,0.3160256844370603,0.3598377755159847,0.2051667564561286,0.28481859263456033
+19,6,0.3329115209737926,0.36492382181303046,0.345052554798967,0.3382220787535404,0.3216642892365474,0.3382220787535404,0.21413842552878354,0.28481859263456033
+19,7,0.3385115609363804,0.39035405329825906,0.349144362325569,0.3382220787535404,0.32599138389018406,0.3382220787535404,0.2202002513606219,0.28481859263456033
+19,8,0.34339421102330475,0.39035405329825906,0.35268979297918307,0.3382220787535404,0.32987007050219874,0.3382220787535404,0.2237398149260116,0.30261975467422036
+19,9,0.34659054196889244,0.39035405329825906,0.3549315837283349,0.35729475236746183,0.3326394784111992,0.3382220787535404,0.22239973078806696,0.26320289587211604
+19,10,0.34870321938034765,0.3839964954269519,0.3563582716858021,0.37382440283286045,0.334313160936376,0.3382220787535404,0.2166574524509976,0.227600571792796
+19,11,0.3439559847724684,0.3839964954269519,0.3523698328782595,0.345851148199109,0.3305816702901578,0.354751729218939,0.20148443539159042,0.18818371299069164
+19,-1,0.3439559847724684,0.3839964954269519,0.3523698328782595,0.345851148199109,0.3305816702901578,0.354751729218939,0.20148443539159042,0.18818371299069164
+20,1,0.3337245652352899,0.3661953333872919,0.3447278603070619,0.345851148199109,0.3229383808129209,0.32677847458518755,0.17777579339390223,0.17038255095103164
+20,2,0.3215115214883016,0.3661953333872919,0.3358978841356343,0.3878110301497362,0.31415109538496855,0.34839417134763184,0.15211769535224848,0.12842266900040444
+20,3,0.31058388308583074,0.2581168495750703,0.32833276892258245,0.36873835653581477,0.30677555008684215,0.3433081250505861,0.1305757954540782,0.08519127547551582
+20,4,0.30032110374119025,0.2326866180898417,0.3214553469451583,0.36873835653581477,0.30001266658422965,0.36492382181303046,0.11329571306205796,0.024158719910967172
+20,5,0.2902555218136864,0.21615696762444314,0.3149060154725618,0.36492382181303046,0.29343398670489074,0.3496656829218933,0.09735220795306511,-0.02924476620801289
+20,6,0.28453255033924074,0.21615696762444314,0.31145538510744736,0.36492382181303046,0.29006726653364767,0.3496656829218933,0.08967080046220831,-0.054674997693241495
+20,7,0.28091355470792173,0.1907267361392145,0.309261528720083,0.36492382181303046,0.2877826292747088,0.3496656829218933,0.08685866287937902,-0.0762906944556858
+20,8,0.28349008619781235,0.1907267361392145,0.31109367060797444,0.36492382181303046,0.28962859751688413,0.3496656829218933,0.09324234704053469,-0.054674997693241495
+20,9,0.2870766554639001,0.2225145254957503,0.3140420914146788,0.36492382181303046,0.2926661208045967,0.3496656829218933,0.0993175967955709,0.00381453472278429
+20,10,0.28873143159856235,0.2225145254957503,0.31519566836635915,0.36492382181303046,0.2938071407790348,0.3496656829218933,0.10474320061508287,0.0
+20,11,0.2945473794486771,0.2403156875354103,0.3177424011978006,0.3471226597733704,0.2970058817966848,0.3534802176446776,0.1310792781823461,0.0839197639012544
+20,-1,0.2945473794486771,0.2403156875354103,0.3177424011978006,0.3471226597733704,0.2970058817966848,0.3534802176446776,0.1310792781823461,0.0839197639012544
+21,1,0.2978241213573675,0.3216924282881418,0.318887146063092,0.3598377755159847,0.2985373000093292,0.36238079866450756,0.1552623579027347,0.11952208798057443
+21,2,0.29742079915662184,0.3216924282881418,0.3177449956213561,0.3712813796843376,0.2973664675917829,0.345851148199109,0.17611959682700506,0.21361394447592028
+21,3,0.2943946598922432,0.3382220787535404,0.3151776941615237,0.3789104491299062,0.2945913900997144,0.3534802176446776,0.19126611721147524,0.21361394447592028
+21,4,0.28815288144068874,0.3051627778227432,0.3100561572677038,0.3789104491299062,0.2893574282363807,0.36365231023876904,0.19643165347895203,0.24413022225819456
+21,5,0.27993335987010515,0.3051627778227432,0.3032753175047694,0.3789104491299062,0.2820868937271528,0.3382220787535404,0.19119813992120543,0.20471336345609026
+21,6,0.26797667133516734,0.3051627778227432,0.2934280534755583,0.39925463431808905,0.2713839222918966,0.3382220787535404,0.1776700625195782,0.19708429401052166
+21,7,0.2548690832243837,0.28990463893160606,0.28240112737304485,0.3839964954269519,0.2590548658321224,0.3051627778227432,0.16045312667577555,0.18055464354512307
+21,8,0.24213780862987022,0.2962621968029132,0.27148829731259394,0.3471226597733704,0.24691077714926626,0.2975337083771747,0.1435032167582516,0.16529650465398593
+21,9,0.23012720539665923,0.2962621968029132,0.2610572906682595,0.31406335884257325,0.23549094202603119,0.27973254633751465,0.1268758011301759,0.18691220141643022
+21,10,0.21987279704976626,0.2822755694860375,0.25172365366581007,0.3077058009712661,0.22522907997285424,0.31787789356535756,0.11393201353128098,0.11825057640631301
+21,11,0.21878878575962674,0.2568453380008089,0.2513122936053503,0.3077058009712661,0.2247788882320532,0.28990463893160606,0.09458837210164772,0.020344185188182883
+21,-1,0.21878878575962674,0.2568453380008089,0.2513122936053503,0.3077058009712661,0.2247788882320532,0.28990463893160606,0.09458837210164772,0.020344185188182883
+22,1,0.22447670844618944,0.2568453380008089,0.2571459979192073,0.3077058009712661,0.2314554101213415,0.28990463893160606,0.08969821325281152,-0.08137674075273153
+22,2,0.23182186600922805,0.22887208336705742,0.26445186276058646,0.28609010420882175,0.2398229602668889,0.31024882411978894,0.09139931511343594,-0.08137674075273153
+22,3,0.23778783563950684,0.20725638660461312,0.270475129801649,0.319149405139619,0.24698773773956445,0.31024882411978894,0.09369183811775969,-0.09154883334682297
+22,4,0.24345954966469124,0.2326866180898417,0.276178542467569,0.3445796366248476,0.2533121851065877,0.28863312735734464,0.0942582124321986,-0.0762906944556858
+22,5,0.2472757222331038,0.20471336345609026,0.2803538915744545,0.3445796366248476,0.2581266767766548,0.2962621968029132,0.0940353141854022,-0.06866162501011723
+22,6,0.24994477233716988,0.20471336345609026,0.2831793482767644,0.3445796366248476,0.26144444261102173,0.31406335884257325,0.09509683370515894,-0.06866162501011723
+22,7,0.2520012861953736,0.2199715023472274,0.2845887655649637,0.3878110301497362,0.26330307288500493,0.31406335884257325,0.10018985726326844,-0.01780116203966002
+22,8,0.2512350602741839,0.23395812966410312,0.28358583664893044,0.3878110301497362,0.26273645680984414,0.3064342893970047,0.10289320410593472,0.0
+22,9,0.24945280848710394,0.21869999077296598,0.28186397986286404,0.37255289125859903,0.26151339311750504,0.3064342893970047,0.10370134579665288,0.054674997693241495
+22,10,0.24569250660055375,0.2568453380008089,0.2784711892041935,0.3560232407932004,0.2586774349202117,0.31533487041683467,0.10347774118456546,0.10172092594091442
+22,11,0.24249148977547186,0.2568453380008089,0.2756498516706752,0.3356790556050176,0.2564269936532021,0.32804998615944897,0.10578651526863626,0.14495231946580303
+22,-1,0.24249148977547186,0.2568453380008089,0.2756498516706752,0.3356790556050176,0.2564269936532021,0.32804998615944897,0.10578651526863626,0.14495231946580303
+23,1,0.2362733500074489,0.2568453380008089,0.27040278436112586,0.3356790556050176,0.2512709007389848,0.32804998615944897,0.10206625130257786,0.15512441205989447
+23,2,0.2333702574775176,0.2568453380008089,0.2678424024025878,0.3356790556050176,0.24868337342026242,0.32804998615944897,0.09940586061037182,0.1474953426143259
+23,3,0.23191222123650443,0.2530308032780246,0.266250908449449,0.3318645208822333,0.24700672870096943,0.3318645208822333,0.09877370779131264,0.18055464354512307
+23,4,0.23171455000999097,0.2530308032780246,0.26546737428913014,0.3318645208822333,0.24609969424641137,0.3064342893970047,0.0992413288711675,0.20598487503035168
+23,5,0.23145298605938436,0.2530308032780246,0.2646753118483169,0.3318645208822333,0.24515423534474168,0.30261975467422036,0.09927770861689195,0.18436917826790739
+23,6,0.24082698971682598,0.2530308032780246,0.27117306114340645,0.3038912662484818,0.2516351306260374,0.30261975467422036,0.10684776761631214,0.18436917826790739
+23,7,0.2520902813459467,0.2682889421691617,0.2790505379939612,0.319149405139619,0.2596536410183038,0.30261975467422036,0.11632037894123261,0.16275348150546307
+23,8,0.26125072794375176,0.26447440744637746,0.2853593535882576,0.31533487041683467,0.2660752546772526,0.30261975467422036,0.12484832602278131,0.16275348150546307
+23,9,0.26831486953971556,0.26447440744637746,0.29018685160435187,0.2937191736543904,0.27075117826130235,0.2746465000404689,0.12936985336760193,0.16275348150546307
+23,10,0.2755613862985423,0.26447440744637746,0.295225491995313,0.2937191736543904,0.27556958126345665,0.2911761505058675,0.13481891386517764,0.18436917826790739
+23,11,0.2782898177404729,0.26447440744637746,0.297011169966785,0.2937191736543904,0.27669095497876195,0.2911761505058675,0.13445108331605343,0.18436917826790739
+23,-1,0.2782898177404729,0.26447440744637746,0.297011169966785,0.2937191736543904,0.27669095497876195,0.2911761505058675,0.13445108331605343,0.18436917826790739
+24,1,0.28036526310207693,0.26447440744637746,0.2985572341921458,0.3471226597733704,0.2778197240365605,0.3433081250505861,0.13341633983909856,0.11316453010926729
+24,2,0.28091091505943666,0.1983558055847831,0.29908417377593877,0.3216924282881418,0.277748837660605,0.32550696301092613,0.13129755488917633,0.1296941805746659
+24,3,0.2838660704792417,0.2568453380008089,0.30173371151882283,0.32550696301092613,0.2803031126396084,0.32550696301092613,0.13384843974568833,0.12587964585188158
+24,4,0.2866482731618892,0.2695604537434232,0.30414427912008596,0.39035405329825906,0.282386842164504,0.32550696301092613,0.13650290865316256,0.12587964585188158
+24,5,0.2880931479113452,0.2695604537434232,0.30577447560584997,0.39035405329825906,0.2835995413641687,0.32550696301092613,0.1361741608981971,0.11570755325779014
+24,6,0.2910492040534722,0.2695604537434232,0.30830467715228344,0.36873835653581477,0.2860219646599435,0.3293214977337104,0.1403364303505472,0.11570755325779014
+24,7,0.2940385218964957,0.2695604537434232,0.3106437731905372,0.36873835653581477,0.2883036595282068,0.35220870607041616,0.14520274059416505,0.13350871529745015
+24,8,0.2950177444194951,0.2695604537434232,0.3114933298622178,0.36873835653581477,0.28909906160835414,0.35220870607041616,0.14690179548017096,0.13350871529745015
+24,9,0.29451752279310495,0.25048778012950174,0.3114478962472626,0.36873835653581477,0.28893407937401,0.35220870607041616,0.14628967327580902,0.13350871529745015
+24,10,0.2967347194369438,0.25048778012950174,0.3132731687987189,0.3496656829218933,0.2908911342445233,0.33059300930797186,0.14855039099220735,0.13350871529745015
+24,11,0.30349212274167564,0.31660638199109614,0.31827982519030196,0.36873835653581477,0.2962378524614619,0.3496656829218933,0.15566850429563156,0.13350871529745015
+24,-1,0.30349212274167564,0.31660638199109614,0.31827982519030196,0.36873835653581477,0.2962378524614619,0.3496656829218933,0.15566850429563156,0.13350871529745015
+25,1,0.30882940127129854,0.31660638199109614,0.3221358146230931,0.36873835653581477,0.3003203120297469,0.3496656829218933,0.16167188096309648,0.16656801622824735
+25,2,0.31447040880226135,0.31660638199109614,0.3261498627902581,0.36873835653581477,0.3045530148839385,0.3712813796843376,0.16838081968644522,0.16656801622824735
+25,3,0.31810251862381816,0.31660638199109614,0.3287032792094893,0.3941685880210433,0.30729398408414277,0.3712813796843376,0.17289409990913174,0.19199824771347596
+25,4,0.3195429483968354,0.31660638199109614,0.32977892631992334,0.3941685880210433,0.30837282790235687,0.3712813796843376,0.17424881074251383,0.19199824771347596
+25,5,0.31889242582571076,0.2975337083771747,0.329190581797064,0.3941685880210433,0.3077624392907989,0.3712813796843376,0.1728767663586307,0.19199824771347596
+25,6,0.31702932959547614,0.32296393986240324,0.32770614823942673,0.37509591440712187,0.306269382091662,0.3712813796843376,0.17058982349238344,0.19199824771347596
+25,7,0.3136891831761024,0.32296393986240324,0.3250369335005652,0.37509591440712187,0.30359605776552384,0.3712813796843376,0.1672250752981401,0.18436917826790739
+25,8,0.31029359694034137,0.32296393986240324,0.32254309181496904,0.37509591440712187,0.3012014474806438,0.35220870607041616,0.16406367524102464,0.18436917826790739
+25,9,0.3090863826980006,0.32296393986240324,0.32171741440054274,0.35856626394172325,0.30060188513921887,0.33059300930797186,0.16358721835601836,0.18436917826790739
+25,10,0.31007392073063356,0.33695056717927896,0.32276647055357294,0.35856626394172325,0.30205604900337785,0.33059300930797186,0.16560610926093228,0.18436917826790739
+25,11,0.3106301131373541,0.3471226597733704,0.3233019131051675,0.35856626394172325,0.3029562254062402,0.2911761505058675,0.1682200479232145,0.18436917826790739
+25,-1,0.3106301131373541,0.3471226597733704,0.3233019131051675,0.35856626394172325,0.3029562254062402,0.2911761505058675,0.1682200479232145,0.18436917826790739
+26,1,0.310944489781588,0.37509591440712187,0.3237479859587194,0.35856626394172325,0.3039604614840681,0.2911761505058675,0.1708793405117258,0.23141510651558028
+26,2,0.3109334742073595,0.3560232407932004,0.32394395295027395,0.3394935903278018,0.30459538785842394,0.31660638199109614,0.1740857502005842,0.23141510651558028
+26,3,0.31018990295095167,0.3560232407932004,0.323628275822848,0.32296393986240324,0.3046312346406792,0.27973254633751465,0.17693378681881355,0.24413022225819456
+26,4,0.3083419652728971,0.3331360324564947,0.32227268327499026,0.27973254633751465,0.30326929231395744,0.27973254633751465,0.1773676589797523,0.22124301392148887
+26,5,0.3053728032441577,0.3331360324564947,0.32012834014448477,0.27973254633751465,0.3011883383874782,0.3077058009712661,0.17625374359024193,0.22124301392148887
+26,6,0.30273519615694716,0.3331360324564947,0.3180496723881552,0.27973254633751465,0.2991224914069365,0.3077058009712661,0.17465276570367524,0.22124301392148887
+26,7,0.300328991828555,0.3331360324564947,0.31635621125797936,0.27973254633751465,0.2972283969118153,0.3077058009712661,0.1722969705687251,0.22124301392148887
+26,8,0.29853675004890573,0.3331360324564947,0.31513356832007117,0.27973254633751465,0.2959140273582618,0.3077058009712661,0.17007810367430287,0.18818371299069164
+26,9,0.29664229608705067,0.3331360324564947,0.31369446096280656,0.27973254633751465,0.29429535996080164,0.27973254633751465,0.16538239452397888,0.18818371299069164
+26,10,0.29533756065986333,0.3331360324564947,0.31272757296298404,0.27973254633751465,0.2931843115819559,0.27973254633751465,0.15964862963816423,0.18818371299069164
+26,11,0.2992906950183066,0.3331360324564947,0.31604751758990896,0.27973254633751465,0.2972950909496826,0.27973254633751465,0.1620308611025769,0.18436917826790739
+26,-1,0.2992906950183066,0.3331360324564947,0.31604751758990896,0.27973254633751465,0.2972950909496826,0.27973254633751465,0.1620308611025769,0.18436917826790739
+27,1,0.30255961920623564,0.3293214977337104,0.3186591927198582,0.27591801161473034,0.30050354305370347,0.27591801161473034,0.16305180861234514,0.18436917826790739
+27,2,0.3046875325505697,0.3293214977337104,0.3203227670933359,0.27591801161473034,0.30274458051366093,0.27591801161473034,0.1629265603331913,0.18436917826790739
+27,3,0.30601734344204845,0.3293214977337104,0.32146768959216726,0.27591801161473034,0.3043674428079767,0.27591801161473034,0.16005888880241043,0.16275348150546307
+27,4,0.30733359706816765,0.3293214977337104,0.3225930571343046,0.29244766208012896,0.30592575053015886,0.29244766208012896,0.15812032515563465,0.16275348150546307
+27,5,0.3057048522622004,0.3293214977337104,0.3215300608899805,0.29244766208012896,0.30497157528902796,0.29244766208012896,0.1513362802949749,0.14876685418858734
+27,6,0.3048342000896008,0.3293214977337104,0.32104324344078805,0.29244766208012896,0.3046480573838627,0.29244766208012896,0.147511403672446,0.14876685418858734
+27,7,0.30352258459935605,0.3293214977337104,0.3202065840400088,0.29244766208012896,0.3039487225467694,0.29244766208012896,0.14151034701717896,0.13223720372318873
+27,8,0.29893899604725077,0.32042091671388034,0.31688167166508935,0.3318645208822333,0.30029581783503134,0.31279184726831183,0.13106740834973651,0.10299243751517584
+27,9,0.29314090626169514,0.2810040579117761,0.31258020002151676,0.3318645208822333,0.29527740995839874,0.3038912662484818,0.11991146663137724,0.05976104399028721
+27,10,0.2884925715837632,0.24794475698097887,0.3091850105332469,0.34839417134763184,0.29132424996148076,0.32550696301092613,0.11222740782601746,0.02797325463375146
+27,11,0.28523287954610804,0.24794475698097887,0.3070096981418691,0.3700098681100762,0.2886646209075689,0.3216924282881418,0.1054127252851203,0.02797325463375146
+27,-1,0.28523287954610804,0.24794475698097887,0.3070096981418691,0.3700098681100762,0.2886646209075689,0.3216924282881418,0.1054127252851203,0.02797325463375146
+28,1,0.2834907365645474,0.24794475698097887,0.30589959904153674,0.3700098681100762,0.28697887981079523,0.3216924282881418,0.10265119891549952,0.01780116203966002
+28,2,0.2819185935063294,0.23777266438688743,0.3047801901486301,0.3445796366248476,0.28535304007164314,0.3216924282881418,0.10023558730299742,0.01780116203966002
+28,3,0.2816818767890974,0.23777266438688743,0.30447848603067706,0.3445796366248476,0.2847788783854973,0.32550696301092613,0.10074284392872788,0.01780116203966002
+28,4,0.28422302441785857,0.24794475698097887,0.30627646688351584,0.3700098681100762,0.2865235242047742,0.32550696301092613,0.10626279798265394,0.031787789356535756
+28,5,0.2874918362590455,0.24794475698097887,0.3086183711217858,0.3700098681100762,0.2887667708712927,0.32550696301092613,0.11341571885050904,0.02797325463375146
+28,6,0.292326979513892,0.22887208336705742,0.3120608308921807,0.35093719449615474,0.2921254929880044,0.32550696301092613,0.12247895477994877,0.05976104399028721
+28,7,0.3005996249338869,0.24794475698097887,0.31821867382844427,0.34839417134763184,0.29835837500543594,0.32550696301092613,0.13720256757599814,0.10680697223796014
+28,8,0.30985863489426174,0.34839417134763184,0.325299801900445,0.34839417134763184,0.30580982511087323,0.3038912662484818,0.15379811385655562,0.15766743520841733
+28,9,0.3175955465970087,0.34839417134763184,0.3312241413055673,0.3318645208822333,0.3120992110810816,0.35729475236746183,0.16950374966929668,0.18182615511938452
+28,10,0.3235147686504038,0.34839417134763184,0.3358142747907029,0.3598377755159847,0.31693217205605934,0.34076510190206327,0.18298751998769444,0.18182615511938452
+28,11,0.3295848282468524,0.34839417134763184,0.3405210968804989,0.3598377755159847,0.321810334253245,0.32042091671388034,0.1977477408555959,0.23650115281262601
+28,-1,0.3295848282468524,0.34839417134763184,0.3405210968804989,0.3598377755159847,0.321810334253245,0.32042091671388034,0.1977477408555959,0.23650115281262601
+29,1,0.3298951795868843,0.34839417134763184,0.3407082016468561,0.3598377755159847,0.32196196354122414,0.32042091671388034,0.20246059630011876,0.24667324540671745
+29,2,0.3290748827146032,0.3471226597733704,0.3400771653695572,0.32042091671388034,0.32127979490695935,0.32042091671388034,0.20475386180691577,0.24667324540671745
+29,3,0.3251638611172891,0.3293214977337104,0.3370663483745721,0.32042091671388034,0.3179653847730015,0.32042091671388034,0.2019973767578707,0.227600571792796
+29,4,0.32249057338057263,0.3293214977337104,0.33499473105455646,0.32042091671388034,0.3156196423757327,0.32042091671388034,0.1995419824226402,0.2199715023472274
+29,5,0.3173793025680611,0.3293214977337104,0.33101584818209673,0.34076510190206327,0.31128236692149985,0.3051627778227432,0.1928458062732017,0.2530308032780246
+29,6,0.313445244472254,0.3293214977337104,0.3278553538649999,0.34076510190206327,0.30778319829055056,0.3051627778227432,0.18732147383368003,0.20598487503035168
+29,7,0.3086436414157663,0.2962621968029132,0.32391582601011126,0.34076510190206327,0.3032842907414784,0.3000767315256975,0.17990504497556428,0.20598487503035168
+29,8,0.3057617640690821,0.2962621968029132,0.3214747294701452,0.34076510190206327,0.3004348570704707,0.3000767315256975,0.1736253764806681,0.20598487503035168
+29,9,0.30742325914400265,0.2822755694860375,0.3227021348783258,0.34076510190206327,0.3014143831999391,0.3000767315256975,0.1753575799609637,0.20598487503035168
+29,10,0.3099558130580753,0.2822755694860375,0.3245929495325653,0.34076510190206327,0.30309978022057416,0.3000767315256975,0.17843423873604075,0.18182615511938452
+29,11,0.3117672942005446,0.2822755694860375,0.32584382318182087,0.34076510190206327,0.30412679742317106,0.31660638199109614,0.17941289222650816,0.18182615511938452
+29,-1,0.3117672942005446,0.2822755694860375,0.32584382318182087,0.34076510190206327,0.30412679742317106,0.31660638199109614,0.17941289222650816,0.18182615511938452
+30,1,0.31363907726807855,0.2822755694860375,0.32727680050305696,0.35729475236746183,0.30533169285882467,0.31660638199109614,0.18031505773885237,0.17165406252529306
+30,2,0.31455115018212265,0.30134824309995895,0.32792375005379815,0.34839417134763184,0.305716386912938,0.31660638199109614,0.180397984131983,0.17165406252529306
+30,3,0.31626060837760894,0.30134824309995895,0.3291015208218544,0.32296393986240324,0.30674348269331525,0.31660638199109614,0.18230378205498401,0.17546859724807737
+30,4,0.3191133152416057,0.30134824309995895,0.33156689865300604,0.32296393986240324,0.3094514893149056,0.31660638199109614,0.18615066204417122,0.17546859724807737
+30,5,0.32089982456851524,0.2911761505058675,0.3331305454868587,0.34839417134763184,0.31120789164822593,0.31660638199109614,0.18802357888969976,0.17546859724807737
+30,6,0.32406088170505076,0.30134824309995895,0.3355900764579456,0.3763674259813833,0.31398968180953224,0.31660638199109614,0.19390034426985228,0.17546859724807737
+30,7,0.32655132051708813,0.30134824309995895,0.33751361491559856,0.3763674259813833,0.3161457108308978,0.31660638199109614,0.19892921748192113,0.17165406252529306
+30,8,0.3285663340034593,0.30134824309995895,0.3390118930340726,0.3763674259813833,0.31785728097901494,0.31660638199109614,0.20199056287343548,0.17165406252529306
+30,9,0.32980671661557737,0.3344075440307561,0.33999830165298045,0.3763674259813833,0.31910266745790666,0.31660638199109614,0.20309695249955195,0.18182615511938452
+30,10,0.32789966805577386,0.3344075440307561,0.33862766281338025,0.3763674259813833,0.31793127138558086,0.31660638199109614,0.20027643027867356,0.18182615511938452
+30,11,0.3222957240126492,0.2822755694860375,0.3346254454301946,0.35729475236746183,0.313725644574377,0.31660638199109614,0.19248442071067204,0.18182615511938452
+30,-1,0.3222957240126492,0.2822755694860375,0.3346254454301946,0.35729475236746183,0.313725644574377,0.31660638199109614,0.19248442071067204,0.18182615511938452
+31,1,0.3175705011387363,0.2822755694860375,0.3310547016349759,0.35729475236746183,0.309995030552969,0.31660638199109614,0.18634116510882878,0.18182615511938452
+31,2,0.3141980258116603,0.2822755694860375,0.32854993445045183,0.34076510190206327,0.30742774345682844,0.31660638199109614,0.1835459584784827,0.18182615511938452
+31,3,0.31104684059639076,0.2962621968029132,0.32632617038091966,0.34076510190206327,0.305195323180215,0.3000767315256975,0.18073374978074358,0.16275348150546307
+31,4,0.3092002524604931,0.2962621968029132,0.3250185188037462,0.34076510190206327,0.30399385631831183,0.32550696301092613,0.17955742081857248,0.16275348150546307
+31,5,0.30752198360962074,0.2962621968029132,0.32388755661553925,0.34076510190206327,0.3029031401749289,0.32550696301092613,0.17802722938393975,0.16275348150546307
+31,6,0.3085041693611173,0.2962621968029132,0.3248229629551687,0.34076510190206327,0.30394844220899714,0.32550696301092613,0.17973148824186258,0.17038255095103164
+31,7,0.3104920815810614,0.2962621968029132,0.32647048428620656,0.34076510190206327,0.30589416251201207,0.32550696301092613,0.1826867477182734,0.17038255095103164
+31,8,0.3114158300187943,0.2962621968029132,0.32727249893413846,0.34076510190206327,0.3069006659222747,0.32550696301092613,0.18372124488237926,0.17038255095103164
+31,9,0.312127266824983,0.2962621968029132,0.32776695156008573,0.34076510190206327,0.3074265653342828,0.32550696301092613,0.18335062181111716,0.17038255095103164
+31,10,0.31062838869225823,0.2962621968029132,0.32655449298174444,0.34076510190206327,0.30626593140045694,0.32550696301092613,0.1797089328133668,0.17038255095103164
+31,11,0.3093543391673183,0.2962621968029132,0.3255261166586043,0.34076510190206327,0.30529516734415146,0.32550696301092613,0.17674073443121036,0.17038255095103164
+31,-1,0.3093543391673183,0.2962621968029132,0.3255261166586043,0.34076510190206327,0.30529516734415146,0.32550696301092613,0.17674073443121036,0.17038255095103164
+32,1,0.30698259448459037,0.2962621968029132,0.32366199573907456,0.34076510190206327,0.3034317931219777,0.32550696301092613,0.1713110848409895,0.17038255095103164
+32,2,0.3042735723088589,0.2962621968029132,0.3215763227512631,0.34076510190206327,0.30134348165431313,0.32550696301092613,0.16502290898191474,0.17038255095103164
+32,3,0.3018498684303074,0.2962621968029132,0.3196802218058779,0.31279184726831183,0.2993280499184746,0.32550696301092613,0.1592528840406595,0.16021045835694017
+32,4,0.30057032188495947,0.2822755694860375,0.31866385127549035,0.31279184726831183,0.2982260957725108,0.32550696301092613,0.15490252480985853,0.16021045835694017
+32,5,0.2997791472594533,0.2822755694860375,0.3180415678526317,0.31279184726831183,0.2975057392179839,0.32550696301092613,0.15130387521733243,0.14622383104006448
+32,6,0.29966626049310296,0.2822755694860375,0.3180046945223732,0.31279184726831183,0.29730628200471537,0.27210347689194603,0.14896279791569403,0.13859476159449588
+32,7,0.29850546724748883,0.27210347689194603,0.31720037413803237,0.31279184726831183,0.29637234065866086,0.28863312735734464,0.1439827535866156,0.13859476159449588
+32,8,0.3005170918772368,0.27210347689194603,0.31870815318213197,0.3293214977337104,0.2979973441106825,0.28863312735734464,0.14369897247421767,0.15766743520841733
+32,9,0.3013476780981795,0.27210347689194603,0.31936583903057947,0.3293214977337104,0.2987795951401746,0.28863312735734464,0.1423816860027506,0.13223720372318873
+32,10,0.3012810383405668,0.27210347689194603,0.31946273563980804,0.3293214977337104,0.2989237167916608,0.28863312735734464,0.13960907969645348,0.10680697223796014
+32,11,0.3057140560180401,0.2657459190206389,0.3230098918870616,0.34839417134763184,0.302705944142775,0.28863312735734464,0.14225976650153221,0.10680697223796014
+32,-1,0.3057140560180401,0.2657459190206389,0.3230098918870616,0.34839417134763184,0.302705944142775,0.28863312735734464,0.14225976650153221,0.10680697223796014
+33,1,0.31006072740636426,0.2657459190206389,0.3265867721021761,0.34839417134763184,0.3065088851494149,0.28863312735734464,0.144697423893093,0.1296941805746659
+33,2,0.3154050542754937,0.28863312735734464,0.330801235397796,0.3712813796843376,0.310951635527025,0.3038912662484818,0.14918662573821995,0.1296941805746659
+33,3,0.32066734306038336,0.28863312735734464,0.33485079363466336,0.3712813796843376,0.31516139405416477,0.32296393986240324,0.15429013715192064,0.1296941805746659
+33,4,0.324130249210372,0.3216924282881418,0.337501492824107,0.3712813796843376,0.3177787994931192,0.32296393986240324,0.15735394015830728,0.1296941805746659
+33,5,0.3255942100318932,0.3216924282881418,0.3388542525638757,0.3712813796843376,0.3189791253762405,0.32296393986240324,0.15788435028471748,0.13350871529745015
+33,6,0.3265949018319415,0.3216924282881418,0.33985698802000985,0.3712813796843376,0.3197696222999531,0.345851148199109,0.15801983406971698,0.13350871529745015
+33,7,0.32778798423726624,0.3216924282881418,0.34088728050927547,0.3712813796843376,0.3206501221492439,0.3496656829218933,0.15886862464806617,0.13350871529745015
+33,8,0.32925455320807695,0.3216924282881418,0.34203240836871973,0.3712813796843376,0.32166405306108814,0.3496656829218933,0.1605061317779235,0.1296941805746659
+33,9,0.33119425485860465,0.3216924282881418,0.3434394718657251,0.3712813796843376,0.3229545029695858,0.3496656829218933,0.16362931641681433,0.14113778474301875
+33,10,0.3328982639565061,0.3216924282881418,0.34463233082933536,0.3712813796843376,0.3238941468305253,0.3496656829218933,0.16659576849152716,0.14113778474301875
+33,11,0.3334520049622708,0.3216924282881418,0.34493995230878854,0.3496656829218933,0.3239996347834814,0.3496656829218933,0.1678929393348958,0.14113778474301875
+33,-1,0.3334520049622708,0.3216924282881418,0.34493995230878854,0.3496656829218933,0.3239996347834814,0.3496656829218933,0.1678929393348958,0.14113778474301875
+34,1,0.33220466406538673,0.3216924282881418,0.34374911444035355,0.3496656829218933,0.3225720966190129,0.3496656829218933,0.1675729949977387,0.12333662270335873
+34,2,0.3303954522887945,0.3216924282881418,0.3421383241676795,0.345851148199109,0.32076267344963194,0.345851148199109,0.1663781057408673,0.11570755325779014
+34,3,0.32964629044610455,0.3216924282881418,0.3411184938467758,0.345851148199109,0.31968643740840597,0.345851148199109,0.167405368487099,0.11570755325779014
+34,4,0.3283379285536,0.3216924282881418,0.33977705107985384,0.345851148199109,0.31830966384379605,0.345851148199109,0.16785948663256284,0.11570755325779014
+34,5,0.32718997539522493,0.3216924282881418,0.33835582083416244,0.345851148199109,0.3169393433062027,0.32296393986240324,0.16978165099503095,0.13350871529745015
+34,6,0.32391400638769835,0.3216924282881418,0.33548501745301496,0.345851148199109,0.31405298661302283,0.3038912662484818,0.16934309423174634,0.1296941805746659
+34,7,0.31965109907213335,0.3216924282881418,0.33197739424640665,0.345851148199109,0.31040588036387573,0.3038912662484818,0.16643280770581817,0.1296941805746659
+34,8,0.3159062639512615,0.3216924282881418,0.32882576203334,0.345851148199109,0.30715969990051234,0.3038912662484818,0.1637546431427726,0.1296941805746659
+34,9,0.31228530234764995,0.28863312735734464,0.32572371530104816,0.345851148199109,0.30395265880891714,0.28863312735734464,0.16164840546612375,0.1296941805746659
+34,10,0.30977141893977145,0.27591801161473034,0.3234651467397245,0.32296393986240324,0.3016239943938155,0.28863312735734464,0.16119262002087728,0.1296941805746659
+34,11,0.3073468819688667,0.2657459190206389,0.32134068285746525,0.32296393986240324,0.2997241332802042,0.28863312735734464,0.1583492163042456,0.1296941805746659
+34,-1,0.3073468819688667,0.2657459190206389,0.32134068285746525,0.32296393986240324,0.2997241332802042,0.28863312735734464,0.1583492163042456,0.1296941805746659
+35,1,0.30515424095335303,0.2657459190206389,0.31942542379935635,0.32296393986240324,0.298018927241541,0.28863312735734464,0.1551274581851104,0.12587964585188158
+35,2,0.3014113087490208,0.2657459190206389,0.31643172961583876,0.3038912662484818,0.29519942617581174,0.28863312735734464,0.1498805040738439,0.11189301853500584
+35,3,0.2984036119092487,0.24667324540671745,0.3141592021317806,0.3038912662484818,0.29305149409153464,0.28863312735734464,0.145260740489344,0.11189301853500584
+35,4,0.29754256244859134,0.24667324540671745,0.3134273714304877,0.3038912662484818,0.29247890036478086,0.28863312735734464,0.14566298556212373,0.11189301853500584
+35,5,0.2975876220230085,0.24667324540671745,0.3134625778426061,0.3038912662484818,0.292618151765725,0.28863312735734464,0.14740998295555605,0.0890058101983001
+35,6,0.29864754717765946,0.24667324540671745,0.3144139275546543,0.3038912662484818,0.2937395981901253,0.28863312735734464,0.14975372222001224,0.0928203449210844
+35,7,0.2988884002043726,0.24667324540671745,0.3147386272552519,0.3038912662484818,0.2941626408277541,0.28863312735734464,0.15040288401104865,0.0928203449210844
+35,8,0.29846588369149957,0.24667324540671745,0.3145341543624834,0.3077058009712661,0.29407467767836476,0.28863312735734464,0.15023324281575548,0.0928203449210844
+35,9,0.2997419025461798,0.25048778012950174,0.3156660421810281,0.3077058009712661,0.29539188378150516,0.28863312735734464,0.15229892391425087,0.10680697223796014
+35,10,0.2995119882655471,0.25048778012950174,0.31567170884765505,0.3331360324564947,0.2956210651049902,0.28863312735734464,0.15075851956764558,0.11570755325779014
+35,11,0.2999596260270938,0.25048778012950174,0.31652364478400985,0.3331360324564947,0.2967120494626816,0.28863312735734464,0.14896730069641995,0.11570755325779014
+35,-1,0.2999596260270938,0.25048778012950174,0.31652364478400985,0.3331360324564947,0.2967120494626816,0.28863312735734464,0.14896730069641995,0.11570755325779014
+36,1,0.30056710869206577,0.25048778012950174,0.317374187061082,0.3331360324564947,0.29778761672426834,0.29244766208012896,0.14790726456326947,0.11570755325779014
+36,2,0.30252041103475935,0.25048778012950174,0.3189837549348937,0.3331360324564947,0.2995755095394039,0.29244766208012896,0.14976138238641126,0.11570755325779014
+36,3,0.30196893584942314,0.25048778012950174,0.3187000707667128,0.3331360324564947,0.2993279056640949,0.29244766208012896,0.14837981239792844,0.11570755325779014
+36,4,0.30130920518157106,0.25048778012950174,0.3182777702160769,0.3331360324564947,0.29883214279463716,0.29244766208012896,0.14687282795728415,0.11570755325779014
+36,5,0.3013505195466458,0.2225145254957503,0.31833802578152054,0.3331360324564947,0.29884424974070994,0.29244766208012896,0.1459226659601291,0.11570755325779014
+36,6,0.3008626610921809,0.2225145254957503,0.31806043276961715,0.3331360324564947,0.29841430952545916,0.29244766208012896,0.14449531290214124,0.11952208798057443
+36,7,0.3000970234756635,0.2225145254957503,0.31752558817203863,0.3331360324564947,0.2976966443296849,0.29244766208012896,0.1429458836529673,0.11952208798057443
+36,8,0.2987798922377103,0.2225145254957503,0.31659766833367514,0.3331360324564947,0.2965616104799344,0.29244766208012896,0.1404160567540271,0.11952208798057443
+36,9,0.29731864122539825,0.2225145254957503,0.31555514110764477,0.3331360324564947,0.29532329632507115,0.29244766208012896,0.13775318009781623,0.10044941436665299
+36,10,0.2960161365011795,0.2225145254957503,0.3146099587101471,0.3331360324564947,0.29415468043998544,0.29244766208012896,0.1350103032321568,0.10044941436665299
+36,11,0.2937847928720262,0.2225145254957503,0.3130260114919069,0.3331360324564947,0.29234323412045626,0.29244766208012896,0.13090445119740216,0.09663487964386869
+36,-1,0.2937847928720262,0.2225145254957503,0.3130260114919069,0.3331360324564947,0.29234323412045626,0.29244766208012896,0.13090445119740216,0.09663487964386869
+37,1,0.2916519375718289,0.2225145254957503,0.31143798645676307,0.3331360324564947,0.29052902184899027,0.29244766208012896,0.12839947114423475,0.09663487964386869
+37,2,0.29028593945970815,0.2225145254957503,0.3103420928417889,0.3331360324564947,0.2892346282841266,0.29244766208012896,0.12736612653319562,0.09663487964386869
+37,3,0.29254519436530435,0.2225145254957503,0.3121776446868414,0.3331360324564947,0.29092956104469125,0.29244766208012896,0.13080636409145943,0.10044941436665299
+37,4,0.294326416234775,0.2225145254957503,0.31363670521873893,0.3331360324564947,0.2922351281457578,0.29244766208012896,0.1335901605954551,0.10044941436665299
+37,5,0.29554970390397023,0.25048778012950174,0.3145462523478774,0.3331360324564947,0.29293304174155077,0.29244766208012896,0.1360713939259223,0.10044941436665299
+37,6,0.29743728268155867,0.25048778012950174,0.3159757236727673,0.3331360324564947,0.2943044082619142,0.31406335884257325,0.1387173952694757,0.10044941436665299
+37,7,0.2991006036036321,0.26447440744637746,0.3172291414816315,0.3331360324564947,0.29554039310675867,0.31406335884257325,0.14128042944018881,0.10044941436665299
+37,8,0.3012971727657977,0.26447440744637746,0.31885325434729034,0.3331360324564947,0.2972402848128229,0.31406335884257325,0.14497183408375955,0.10044941436665299
+37,9,0.3043457080633548,0.26447440744637746,0.32110488897351197,0.3331360324564947,0.29965235606455837,0.3293214977337104,0.14969542422014034,0.07756220602994723
+37,10,0.3062833715627521,0.26447440744637746,0.32259957066205225,0.3331360324564947,0.3012265934768086,0.3077058009712661,0.15300102211592356,0.12842266900040444
+37,11,0.3088485754492072,0.2746465000404689,0.32473497727042866,0.3331360324564947,0.30354608372032543,0.3077058009712661,0.15582767109737017,0.12842266900040444
+37,-1,0.3088485754492072,0.2746465000404689,0.32473497727042866,0.3331360324564947,0.30354608372032543,0.3077058009712661,0.15582767109737017,0.12842266900040444
+38,1,0.3109299210477951,0.2746465000404689,0.3264279350751346,0.3331360324564947,0.30540875953048013,0.3077058009712661,0.15853394594464368,0.12842266900040444
+38,2,0.312003849196075,0.2746465000404689,0.3273580359933007,0.3331360324564947,0.3064406819325144,0.3077058009712661,0.15982936263110226,0.12842266900040444
+38,3,0.31250593493000883,0.2746465000404689,0.3277963455095407,0.3331360324564947,0.3068926868777592,0.3293214977337104,0.16115005440503968,0.12842266900040444
+38,4,0.3120943356226007,0.2746465000404689,0.3274232918060737,0.3331360324564947,0.3065077715658908,0.3293214977337104,0.1607132389915151,0.12842266900040444
+38,5,0.31108725438331397,0.2746465000404689,0.3265204141153874,0.3331360324564947,0.3055653651546902,0.3293214977337104,0.15977359223991625,0.12842266900040444
+38,6,0.30988222476267563,0.2746465000404689,0.32554265828911133,0.354751729218939,0.3045877592683355,0.3293214977337104,0.15804139121762495,0.12842266900040444
+38,7,0.30905852525045635,0.2746465000404689,0.32485951061501894,0.354751729218939,0.3039157121616924,0.3293214977337104,0.15631304652610625,0.09917790279239155
+38,8,0.3083871668771313,0.2746465000404689,0.3242748303687468,0.354751729218939,0.3034443028893228,0.32550696301092613,0.15490150262129818,0.09917790279239155
+38,9,0.3075627341558109,0.2746465000404689,0.32358156886319334,0.354751729218939,0.3028591805482002,0.32550696301092613,0.15344152766740343,0.07374767130716295
+38,10,0.3043989166727109,0.2746465000404689,0.32109840229032266,0.354751729218939,0.30040615913967295,0.31024882411978894,0.14951159245118228,0.07374767130716295
+38,11,0.3018282869343632,0.2746465000404689,0.31925822517687186,0.354751729218939,0.2985790416621484,0.31024882411978894,0.14565111597592242,0.07374767130716295
+38,-1,0.3018282869343632,0.2746465000404689,0.31925822517687186,0.354751729218939,0.2985790416621484,0.31024882411978894,0.14565111597592242,0.07374767130716295
+39,1,0.2987753526581095,0.2746465000404689,0.31705008267636214,0.354751729218939,0.2963403589719872,0.31024882411978894,0.14178998496464518,0.07374767130716295
+39,2,0.29631862783144636,0.2746465000404689,0.3153292037965023,0.354751729218939,0.2945793045327155,0.31024882411978894,0.13836859100345084,0.06993313658437866
+39,3,0.2942199785965418,0.2746465000404689,0.31384095195378153,0.354751729218939,0.2930677863036046,0.31024882411978894,0.13543527136701422,0.06993313658437866
+39,4,0.29270589135087616,0.2746465000404689,0.31275076381685213,0.354751729218939,0.291987592349766,0.31024882411978894,0.1333768947972566,0.06993313658437866
+39,5,0.29131433369512394,0.2746465000404689,0.31172647394490643,0.354751729218939,0.29095809861342997,0.31024882411978894,0.131723561980509,0.06993313658437866
+39,6,0.29041359625506585,0.2746465000404689,0.3111866081614414,0.354751729218939,0.29047230503409005,0.31024882411978894,0.13074026326853558,0.06993313658437866
+39,7,0.2893605580130996,0.2746465000404689,0.31049085978284624,0.354751729218939,0.28981470821604416,0.31024882411978894,0.129633871188536,0.06993313658437866
+39,8,0.2885125850994395,0.2746465000404689,0.3098656232289974,0.354751729218939,0.2892229808577602,0.3064342893970047,0.1292090033264139,0.06993313658437866
+39,9,0.2885127432397692,0.2746465000404689,0.30993682480354745,0.354751729218939,0.2893636779563639,0.3064342893970047,0.13061615912107483,0.06993313658437866
+39,10,0.29000917261669834,0.2708319653176846,0.31113028635026496,0.354751729218939,0.29064563699598955,0.3064342893970047,0.13339068390989414,0.06993313658437866
+39,11,0.2913999580123762,0.2708319653176846,0.31223086735567224,0.35093719449615474,0.2917966671600464,0.3064342893970047,0.13637617387223908,0.06993313658437866
+39,-1,0.2913999580123762,0.2708319653176846,0.31223086735567224,0.35093719449615474,0.2917966671600464,0.3064342893970047,0.13637617387223908,0.06993313658437866
+40,1,0.29314789684664966,0.2708319653176846,0.31362707221644026,0.35093719449615474,0.2933011843947997,0.3344075440307561,0.1403353221519833,0.07374767130716295
+40,2,0.2948688936930797,0.2708319653176846,0.3149768689600018,0.35093719449615474,0.29474852241178334,0.3344075440307561,0.14487458787008592,0.13859476159449588
+40,3,0.29709096550328007,0.2708319653176846,0.3166739346100764,0.35093719449615474,0.29660107740062197,0.3344075440307561,0.15027552213475906,0.13859476159449588
+40,4,0.2982793919976569,0.2962621968029132,0.31764276581691553,0.3789104491299062,0.29764574887287554,0.3598377755159847,0.15394163686270465,0.14876685418858734
+40,5,0.30026093136074533,0.2962621968029132,0.3191934972762268,0.3789104491299062,0.2992597360235521,0.3598377755159847,0.15837859301698198,0.14876685418858734
+40,6,0.30153388542333337,0.2962621968029132,0.3201891284673718,0.3789104491299062,0.30025611901231375,0.3598377755159847,0.16146928864254234,0.14876685418858734
+40,7,0.302135019111631,0.2962621968029132,0.3206793047187443,0.3789104491299062,0.3006995301030496,0.3598377755159847,0.16308155556322995,0.14876685418858734
+40,8,0.3022371266617432,0.2962621968029132,0.3208047345940126,0.3789104491299062,0.30076649142306555,0.3394935903278018,0.1637475248288469,0.14876685418858734
+40,9,0.30227515086211104,0.2962621968029132,0.3209071892584262,0.3789104491299062,0.30081866490298514,0.3394935903278018,0.16374024834305753,0.14876685418858734
+40,10,0.3024966065354144,0.2962621968029132,0.3211665551132967,0.3789104491299062,0.30104493478659117,0.3394935903278018,0.16405146741248547,0.14876685418858734
+40,11,0.3005782156477247,0.2962621968029132,0.3197865992330515,0.3789104491299062,0.29950444179721336,0.3394935903278018,0.16021745733844414,0.14876685418858734
+40,-1,0.3005782156477247,0.2962621968029132,0.3197865992330515,0.3789104491299062,0.29950444179721336,0.3394935903278018,0.16021745733844414,0.14876685418858734
+41,1,0.29979237277533727,0.2962621968029132,0.31916720192129616,0.3789104491299062,0.2986968058453744,0.3598377755159847,0.1570370319345057,0.14876685418858734
+41,2,0.29981680151927387,0.2962621968029132,0.31920043761924677,0.3789104491299062,0.29858560636969733,0.3598377755159847,0.15541841990941846,0.13859476159449588
+41,3,0.299800374793494,0.2962621968029132,0.3192200888277049,0.3789104491299062,0.29849116918072416,0.36365231023876904,0.1543914275473303,0.13859476159449588
+41,4,0.30029486376614384,0.2962621968029132,0.3196346240006629,0.36238079866450756,0.2988643869233422,0.36365231023876904,0.15471641592658109,0.13859476159449588
+41,5,0.3007121636508211,0.2962621968029132,0.3200255900610438,0.36238079866450756,0.2992468903976252,0.36365231023876904,0.15458837375704249,0.13859476159449588
+41,6,0.30014707100666066,0.3000767315256975,0.31966844057504623,0.3661953333872919,0.29881866256040046,0.36365231023876904,0.15272503029351756,0.13859476159449588
+41,7,0.29996578943278907,0.3000767315256975,0.31957498013458235,0.3827249838526905,0.2986977452558292,0.3674668449615533,0.1509749103506498,0.13859476159449588
+41,8,0.29962223277454514,0.3000767315256975,0.31936873952832445,0.3827249838526905,0.29843033799710333,0.3674668449615533,0.1484172097388343,0.13859476159449588
+41,9,0.2994558841243131,0.3000767315256975,0.3193093906790082,0.354751729218939,0.29833214012656106,0.3420366134763247,0.14605113174837203,0.13859476159449588
+41,10,0.2997935974502771,0.2746465000404689,0.3197649823879301,0.354751729218939,0.29886947151416254,0.3420366134763247,0.14491634970945358,0.11316453010926729
+41,11,0.2996004637268825,0.2746465000404689,0.3195422757779835,0.354751729218939,0.2986525373143257,0.3420366134763247,0.1450132110134443,0.11316453010926729
+41,-1,0.2996004637268825,0.2746465000404689,0.3195422757779835,0.354751729218939,0.2986525373143257,0.3420366134763247,0.1450132110134443,0.11316453010926729
+42,1,0.3003455786435902,0.2746465000404689,0.32003887901358224,0.354751729218939,0.29918814398545557,0.3420366134763247,0.14644637525930185,0.11697906483205156
+42,2,0.30023807052739493,0.2746465000404689,0.3199521807166036,0.354751729218939,0.29903586090269835,0.3420366134763247,0.14682201429379196,0.11697906483205156
+42,3,0.3010112633833825,0.2746465000404689,0.3204911092465535,0.354751729218939,0.29953232042841665,0.3420366134763247,0.14856961927295562,0.11697906483205156
+42,4,0.3021378097043069,0.2746465000404689,0.3212829701027037,0.3331360324564947,0.30029462580614213,0.3420366134763247,0.15090237304626988,0.11697906483205156
+42,5,0.30419395498349855,0.2746465000404689,0.32286189897056733,0.3331360324564947,0.3018340386874038,0.3420366134763247,0.1541152325118515,0.14240929631728017
+42,6,0.3067048396722362,0.2746465000404689,0.324785332337096,0.3331360324564947,0.30372626070463266,0.32042091671388034,0.1583632507701249,0.14240929631728017
+42,7,0.30858060190275344,0.26447440744637746,0.3262122482441134,0.3331360324564947,0.30512581440348113,0.32042091671388034,0.16155573337926785,0.14240929631728017
+42,8,0.31018713937498976,0.26447440744637746,0.32742727171578895,0.3331360324564947,0.30633258726746043,0.32042091671388034,0.16316914317917508,0.14240929631728017
+42,9,0.3115043696478462,0.26447440744637746,0.3284044546763606,0.3331360324564947,0.307298954176735,0.32042091671388034,0.16464646488598705,0.16529650465398593
+42,10,0.3134968910591937,0.26447440744637746,0.32987895339063494,0.3331360324564947,0.3088193957325578,0.3356790556050176,0.16715270315263528,0.16529650465398593
+42,11,0.31622425613826594,0.26447440744637746,0.33195563738383943,0.3331360324564947,0.31098157442668617,0.3356790556050176,0.17078375805271492,0.16529650465398593
+42,-1,0.31622425613826594,0.26447440744637746,0.33195563738383943,0.3331360324564947,0.31098157442668617,0.3356790556050176,0.17078375805271492,0.16529650465398593
+43,1,0.3185009229596238,0.2873616157830832,0.3336776321181934,0.3560232407932004,0.31276955503877774,0.3356790556050176,0.1735190218168753,0.16529650465398593
+43,2,0.3199440514997031,0.2873616157830832,0.3347418286671493,0.3560232407932004,0.3138502527553074,0.3356790556050176,0.17497338961174122,0.16529650465398593
+43,3,0.32055659569917716,0.2873616157830832,0.3351124344929721,0.3560232407932004,0.3142081595397871,0.3356790556050176,0.17549594179163466,0.18436917826790739
+43,4,0.3213176835324399,0.2873616157830832,0.33559058942158376,0.3560232407932004,0.3146834229040598,0.3356790556050176,0.17597537283279927,0.18436917826790739
+43,5,0.32172339031353936,0.2873616157830832,0.33578659270375566,0.3560232407932004,0.31489745184508683,0.3356790556050176,0.17622258861286513,0.18436917826790739
+43,6,0.3219135206696711,0.2873616157830832,0.33581642528642813,0.3560232407932004,0.31493978989976035,0.3356790556050176,0.17630227861925638,0.18436917826790739
+43,7,0.32179819777910873,0.2873616157830832,0.3356722853717808,0.3560232407932004,0.3147879756753497,0.3356790556050176,0.17594084386353734,0.18436917826790739
+43,8,0.3213322108476203,0.2873616157830832,0.3353978526311341,0.3560232407932004,0.3145842921807638,0.3356790556050176,0.1744005661764846,0.18436917826790739
+43,9,0.3204912578720139,0.2873616157830832,0.33480940712147933,0.3560232407932004,0.314047398294592,0.3356790556050176,0.1728212632119074,0.15893894678267878
+43,10,0.32074011960321214,0.2873616157830832,0.33503729960526585,0.3560232407932004,0.3143400596290636,0.3356790556050176,0.17257791086305707,0.15893894678267878
+43,11,0.3169518490336625,0.2873616157830832,0.3322460481645129,0.3560232407932004,0.31139206539083747,0.3356790556050176,0.16754428686455786,0.13350871529745015
+43,-1,0.3169518490336625,0.2873616157830832,0.3322460481645129,0.3560232407932004,0.31139206539083747,0.3356790556050176,0.16754428686455786,0.13350871529745015
+44,1,0.31374428031160345,0.2873616157830832,0.3298887979773802,0.3560232407932004,0.308938138335148,0.3356790556050176,0.1634207936073003,0.13350871529745015
+44,2,0.3104267673006414,0.2733749884662075,0.32742801473704713,0.3560232407932004,0.3063415349605397,0.3077058009712661,0.15904875322182604,0.13350871529745015
+44,3,0.3077301460277886,0.2733749884662075,0.32543490633675604,0.33059300930797186,0.3042770355861057,0.3077058009712661,0.15535046149615017,0.13350871529745015
+44,4,0.3054346870656201,0.25048778012950174,0.32370867016148847,0.3077058009712661,0.30249561821315984,0.3077058009712661,0.15244631096573516,0.1296941805746659
+44,5,0.30350830671555334,0.25048778012950174,0.32225327706806994,0.3077058009712661,0.3009979251014787,0.3077058009712661,0.15015028680470552,0.1296941805746659
+44,6,0.3021928909956006,0.25048778012950174,0.32128080939267817,0.3077058009712661,0.3000060205207828,0.3077058009712661,0.14837817047164523,0.11570755325779014
+44,7,0.30115096334122005,0.25048778012950174,0.32050706846852167,0.3077058009712661,0.2991773816470752,0.3077058009712661,0.14729597109089348,0.11570755325779014
+44,8,0.30030958717990297,0.25048778012950174,0.3199005424135341,0.3077058009712661,0.2985380197039227,0.3077058009712661,0.1462978168775719,0.09663487964386869
+44,9,0.29997881403924137,0.25048778012950174,0.3196542118316055,0.3077058009712661,0.298304495592939,0.3293214977337104,0.1460059376414009,0.09663487964386869
+44,10,0.3014831048133267,0.25048778012950174,0.32081287832609406,0.3077058009712661,0.2995238302048047,0.3077058009712661,0.1479559018619654,0.09663487964386869
+44,11,0.3028150887488897,0.25048778012950174,0.3218539687472692,0.3077058009712661,0.30061848381264406,0.3077058009712661,0.1496551806005986,0.09663487964386869
+44,-1,0.3028150887488897,0.25048778012950174,0.3218539687472692,0.3077058009712661,0.30061848381264406,0.3077058009712661,0.1496551806005986,0.09663487964386869
+45,1,0.3043869209166937,0.25048778012950174,0.3231148098941235,0.3077058009712661,0.3019293292415038,0.3077058009712661,0.151425440044978,0.09663487964386869
+45,2,0.3062110930217739,0.25048778012950174,0.3245145706855103,0.3077058009712661,0.3033622845006704,0.3077058009712661,0.15370309129598028,0.11443604168352871
+45,3,0.30788400872280774,0.25048778012950174,0.32579754454635024,0.3077058009712661,0.30468604632589835,0.3077058009712661,0.1557736305143598,0.13350871529745015
+45,4,0.30965058644914295,0.25048778012950174,0.32717918329621914,0.3331360324564947,0.3061343145385351,0.3077058009712661,0.15752788039891674,0.13350871529745015
+45,5,0.311513621986955,0.2733749884662075,0.3286588829680605,0.3560232407932004,0.3076993698808267,0.3077058009712661,0.1594288332939819,0.13350871529745015
+45,6,0.313198418081153,0.2733749884662075,0.3300070803025525,0.3560232407932004,0.30914306839862493,0.3077058009712661,0.16096449586437275,0.13350871529745015
+45,7,0.3165749905683216,0.2873616157830832,0.33256010166021316,0.3560232407932004,0.3118347855869821,0.3077058009712661,0.16470215636540864,0.13350871529745015
+45,8,0.31959202989668517,0.2873616157830832,0.3348264753268901,0.3560232407932004,0.3142406080050651,0.3077058009712661,0.1680170196359392,0.15893894678267878
+45,9,0.32282648361507316,0.2873616157830832,0.3372509002601185,0.3560232407932004,0.3168010370282793,0.3077058009712661,0.17153910871398023,0.15893894678267878
+45,10,0.32599751347441985,0.32042091671388034,0.3396030536032029,0.3560232407932004,0.3193057980943926,0.3356790556050176,0.175287936482736,0.18436917826790739
+45,11,0.32880907325256414,0.32042091671388034,0.3417417576285389,0.3560232407932004,0.3215657212947856,0.3356790556050176,0.17830210380929598,0.18436917826790739
+45,-1,0.32880907325256414,0.32042091671388034,0.3417417576285389,0.3560232407932004,0.3215657212947856,0.3356790556050176,0.17830210380929598,0.18436917826790739
+46,1,0.3309985872123301,0.32042091671388034,0.34343131798778964,0.3560232407932004,0.3233432832469076,0.3356790556050176,0.1800451803736412,0.18436917826790739
+46,2,0.33314697809902755,0.32042091671388034,0.3450536184388641,0.3560232407932004,0.32504064605975186,0.3356790556050176,0.18205072002508366,0.18436917826790739
+46,3,0.3348374280689451,0.3394935903278018,0.3462976912735319,0.37509591440712187,0.3263493113362602,0.3356790556050176,0.18390498680510772,0.18436917826790739
+46,4,0.3360656597710244,0.3394935903278018,0.34721091402864535,0.37509591440712187,0.32732332105253753,0.3356790556050176,0.1850247537051257,0.18436917826790739
+46,5,0.33683079864009585,0.3394935903278018,0.3477728391306118,0.37509591440712187,0.3279376825813472,0.3356790556050176,0.18542629927276363,0.18436917826790739
+46,6,0.3370080428767965,0.3394935903278018,0.34790678735402586,0.37509591440712187,0.3280994924606376,0.3356790556050176,0.18506755463269003,0.18436917826790739
+46,7,0.33678411137799397,0.3394935903278018,0.34771573444116016,0.37509591440712187,0.32794464663237066,0.3356790556050176,0.18428119435328044,0.18436917826790739
+46,8,0.33644643435960714,0.3394935903278018,0.3474186241514265,0.37509591440712187,0.3276713130385551,0.3356790556050176,0.18343016042162213,0.18436917826790739
+46,9,0.3361530418450886,0.3394935903278018,0.3471387057601262,0.37509591440712187,0.32742014421187077,0.3356790556050176,0.18282994766038552,0.18436917826790739
+46,10,0.33545019071551174,0.3394935903278018,0.34657847312735585,0.37509591440712187,0.32687367190355904,0.3356790556050176,0.18166268681937286,0.18436917826790739
+46,11,0.33483180661351175,0.3394935903278018,0.3460864680156296,0.37509591440712187,0.326392968389511,0.3356790556050176,0.18062404858313946,0.18436917826790739
+46,-1,0.33483180661351175,0.3394935903278018,0.3460864680156296,0.37509591440712187,0.326392968389511,0.3356790556050176,0.18062404858313946,0.18436917826790739
+47,1,0.33401945183013865,0.3394935903278018,0.34547350210649547,0.3560232407932004,0.3257786513378243,0.3356790556050176,0.17922488044304824,0.18436917826790739
+47,2,0.33319738539574156,0.32042091671388034,0.34484326906761653,0.3560232407932004,0.3251390798757333,0.3356790556050176,0.17790033092048896,0.18436917826790739
+47,3,0.33217665637292415,0.32042091671388034,0.34405792857398265,0.3560232407932004,0.3243321363514016,0.3356790556050176,0.1762266786555981,0.18436917826790739
+47,4,0.3312543203092508,0.32042091671388034,0.34336991326109195,0.3560232407932004,0.3236383866624108,0.3356790556050176,0.17458225381799525,0.18436917826790739
+47,5,0.33044403360422886,0.32042091671388034,0.34277308697470854,0.3560232407932004,0.32303351411128955,0.3356790556050176,0.172981343064212,0.18436917826790739
+47,6,0.3297207847754161,0.32042091671388034,0.34223181074116477,0.3560232407932004,0.3224780352325418,0.3077058009712661,0.1716435559599316,0.15893894678267878
+47,7,0.3290619024788554,0.32042091671388034,0.34174318034924744,0.3560232407932004,0.3219763787837499,0.3077058009712661,0.170371553755361,0.15893894678267878
+47,8,0.32851140363574266,0.32042091671388034,0.3413328381294603,0.3560232407932004,0.3215587307556673,0.3077058009712661,0.16930702393692096,0.15893894678267878
+47,9,0.32783571816214624,0.32042091671388034,0.3408175677945361,0.3560232407932004,0.32101517156767,0.3077058009712661,0.16829379949849485,0.15893894678267878
+47,10,0.3274545726319481,0.32042091671388034,0.3405413571031491,0.3560232407932004,0.32071655412079586,0.3077058009712661,0.16765490972062005,0.15893894678267878
+47,11,0.327137221635475,0.32042091671388034,0.34030162598525115,0.3560232407932004,0.3204564884182303,0.3077058009712661,0.1672448681855766,0.13350871529745015
+47,-1,0.327137221635475,0.32042091671388034,0.34030162598525115,0.3560232407932004,0.3204564884182303,0.3077058009712661,0.1672448681855766,0.13350871529745015
+48,1,0.32690199991772506,0.32042091671388034,0.34012022614879156,0.3560232407932004,0.3202622006623547,0.3077058009712661,0.16696885584019558,0.13350871529745015
+48,2,0.3266622832462281,0.32042091671388034,0.33994006244645564,0.3560232407932004,0.32006994240713,0.3077058009712661,0.16662380414207553,0.13350871529745015
+48,3,0.3263792454382593,0.32042091671388034,0.33972456540413454,0.3560232407932004,0.319843649967683,0.3077058009712661,0.16620421303857003,0.13350871529745015
+48,4,0.32626742972135847,0.32042091671388034,0.33963416186946893,0.3560232407932004,0.3197528174760624,0.3077058009712661,0.16598094160694005,0.13350871529745015
+48,5,0.3261705347544739,0.32042091671388034,0.33955145878309023,0.3560232407932004,0.3196701794552734,0.3077058009712661,0.1658356703060251,0.13350871529745015
+48,6,0.32608320581664335,0.32042091671388034,0.33946697219385885,0.3560232407932004,0.31959363119020545,0.3077058009712661,0.16576244058295547,0.13350871529745015
+48,7,0.3259771807273768,0.32042091671388034,0.3393727315484919,0.3560232407932004,0.31950283122700557,0.3077058009712661,0.16569734691220214,0.13350871529745015
+48,8,0.32576780020662294,0.32042091671388034,0.3392046802126311,0.3560232407932004,0.3193367625630828,0.3077058009712661,0.16547929368157846,0.13350871529745015
+48,9,0.3257137838998115,0.32042091671388034,0.33915365606503073,0.3560232407932004,0.31928864364926457,0.3077058009712661,0.16557622806155506,0.13350871529745015
+48,10,0.3256108654188559,0.32042091671388034,0.3390621349370987,0.3560232407932004,0.31920004684396774,0.3077058009712661,0.16571352038383633,0.15893894678267878
+48,11,0.3255435464897975,0.32042091671388034,0.3390003300481182,0.3560232407932004,0.31914095228864253,0.3077058009712661,0.1658572856637367,0.15893894678267878
+48,-1,0.3255435464897975,0.32042091671388034,0.3390003300481182,0.3560232407932004,0.31914095228864253,0.3077058009712661,0.1658572856637367,0.15893894678267878
+49,1,0.32541707830189254,0.32042091671388034,0.33889869120245186,0.3560232407932004,0.31904157971379343,0.3077058009712661,0.16586473923222989,0.15893894678267878
+49,2,0.3254504636855968,0.32042091671388034,0.3389162819833279,0.3560232407932004,0.31906359337192153,0.3077058009712661,0.16616938434054454,0.15893894678267878
+49,3,0.3254503358775153,0.32042091671388034,0.3389105525210512,0.3560232407932004,0.3190635067969339,0.3077058009712661,0.16634137928535206,0.15893894678267878
+49,4,0.32538948167548826,0.32042091671388034,0.3388644314871356,0.3560232407932004,0.3190184276968762,0.3077058009712661,0.16640748574808623,0.15893894678267878
+49,5,0.3253453054949451,0.32042091671388034,0.3388320079250498,0.3560232407932004,0.3189903842696923,0.3356790556050176,0.16649158774140316,0.15893894678267878
+49,6,0.3252796190137542,0.32042091671388034,0.33878294251832497,0.3560232407932004,0.3189426059876998,0.3356790556050176,0.1665270963172377,0.15893894678267878
+49,7,0.3252146314399063,0.32042091671388034,0.3387332513767402,0.3560232407932004,0.31889453844839344,0.3356790556050176,0.16655638637098708,0.15893894678267878
+49,8,0.32516259369052236,0.32042091671388034,0.33869179316605785,0.3560232407932004,0.31885239020324807,0.3356790556050176,0.16655298147324493,0.15893894678267878
+49,9,0.32513518821385745,0.32042091671388034,0.3386692350037586,0.3560232407932004,0.3188304471863939,0.3356790556050176,0.1665632598056345,0.15893894678267878
+49,10,0.32513133575336955,0.32042091671388034,0.3386650301517771,0.3560232407932004,0.31882699057306124,0.3356790556050176,0.1665978608486541,0.15893894678267878
+49,11,0.32512121832709995,0.32042091671388034,0.33865782232636604,0.3560232407932004,0.3188199641985061,0.3356790556050176,0.16659941357001665,0.15893894678267878
+49,-1,0.32512121832709995,0.32042091671388034,0.33865782232636604,0.3560232407932004,0.3188199641985061,0.3356790556050176,0.16659941357001665,0.15893894678267878

modules.json

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

pytorch_model.bin

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

sentence_bert_config.json

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

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.7807156758742617,0.48130497383017473,0.7675078104370313,0.48356378237100783,0.761237119391385,0.4841650479538195,0.7786589649087597,0.45972441453358237

special_tokens_map.json

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

tokenizer_config.json

@@ -0,0 +1 @@
+{"do_lower_case": false, "unk_token": "[UNK]", "sep_token": "[SEP]", "pad_token": "[PAD]", "cls_token": "[CLS]", "mask_token": "[MASK]", "tokenize_chinese_chars": true, "strip_accents": null, "max_len": 512, "special_tokens_map_file": "old_models/distiluse-base-multilingual-cased-v1/0_Transformer/special_tokens_map.json", "name_or_path": "/root/.cache/torch/sentence_transformers/sentence-transformers_distiluse-base-multilingual-cased-v1/", "do_basic_tokenize": true, "never_split": null, "tokenizer_class": "DistilBertTokenizer"}