This is a sentence-transformers model finetuned from sentence-transformers/all-distilroberta-v1. It maps sentences & paragraphs to a 768-dimensional dense vector space and can be used for semantic textual similarity, semantic search, paraphrase mining, text classification, clustering, and more.

Model Details

Model Description

Model Type: Sentence Transformer
Base model: sentence-transformers/all-distilroberta-v1
Maximum Sequence Length: 512 tokens
Output Dimensionality: 768 tokens
Similarity Function: Cosine Similarity

Model Sources

Documentation: Sentence Transformers Documentation
Repository: Sentence Transformers on GitHub
Hugging Face: Sentence Transformers on Hugging Face

Full Model Architecture

SentenceTransformer(
  (0): Transformer({'max_seq_length': 512, 'do_lower_case': False}) with Transformer model: RobertaModel 
  (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, 'pooling_mode_weightedmean_tokens': False, 'pooling_mode_lasttoken': False, 'include_prompt': True})
  (2): Normalize()
)

Usage

Direct Usage (Sentence Transformers)

First install the Sentence Transformers library:

pip install -U sentence-transformers

Then you can load this model and run inference.

python

from sentence_transformers import SentenceTransformer

# Download from the 🤗 Hub
model = SentenceTransformer("hanwenzhu/all-distilroberta-v1-lr2e-4-bs256-nneg3-ml-mar13")
# Run inference
sentences = [
    'Mathlib.Algebra.Polynomial.HasseDeriv#31',
    'Polynomial.hasseDeriv_coeff',
    'HomologicalComplex.isZero_X_of_isStrictlySupported',
]
embeddings = model.encode(sentences)
print(embeddings.shape)
# [3, 768]

# Get the similarity scores for the embeddings
similarities = model.similarity(embeddings, embeddings)
print(similarities.shape)
# [3, 3]

Training Details

Training Dataset

Unnamed Dataset

Size: 5,817,740 training samples
Columns: state_name and premise_name
Approximate statistics based on the first 1000 samples:
state_name premise_name
type string string
details
min: 11 tokens
mean: 16.44 tokens
max: 24 tokens
min: 3 tokens
mean: 10.9 tokens
max: 50 tokens
Samples:
state_name premise_name
Mathlib.Algebra.Field.IsField#12 Classical.choose_spec
Mathlib.Algebra.Field.IsField#12 IsField.mul_comm
Mathlib.Algebra.Field.IsField#12 eq_of_heq
Loss: loss.MaskedCachedMultipleNegativesRankingLoss with these parameters:
json
1{ 2 "scale": 20.0, 3 "similarity_fct": "cos_sim" 4}

Evaluation Dataset

Unnamed Dataset

Size: 1,959 evaluation samples
Columns: state_name and premise_name
Approximate statistics based on the first 1000 samples:
state_name premise_name
type string string
details
min: 10 tokens
mean: 17.08 tokens
max: 24 tokens
min: 5 tokens
mean: 11.05 tokens
max: 31 tokens

Samples:

state_name	premise_name
`Mathlib.Algebra.Algebra.Hom#80`	`AlgHom.commutes`
`Mathlib.Algebra.Algebra.NonUnitalSubalgebra#237`	`NonUnitalAlgHom.instNonUnitalAlgSemiHomClass`
`Mathlib.Algebra.Algebra.NonUnitalSubalgebra#237`	`NonUnitalAlgebra.mem_top`

Loss: loss.MaskedCachedMultipleNegativesRankingLoss with these parameters:
json
1{ 2 "scale": 20.0, 3 "similarity_fct": "cos_sim" 4}

Training Hyperparameters

Non-Default Hyperparameters

eval_strategy: steps
per_device_train_batch_size: 256
per_device_eval_batch_size: 64
learning_rate: 0.0002
num_train_epochs: 1.0
lr_scheduler_type: cosine
warmup_ratio: 0.03
bf16: True
dataloader_num_workers: 4

All Hyperparameters

Click to expand

overwrite_output_dir: False
do_predict: False
eval_strategy: steps
prediction_loss_only: True
per_device_train_batch_size: 256
per_device_eval_batch_size: 64
per_gpu_train_batch_size: None
per_gpu_eval_batch_size: None
gradient_accumulation_steps: 1
eval_accumulation_steps: None
torch_empty_cache_steps: None
learning_rate: 0.0002
weight_decay: 0.0
adam_beta1: 0.9
adam_beta2: 0.999
adam_epsilon: 1e-08
max_grad_norm: 1.0
num_train_epochs: 1.0
max_steps: -1
lr_scheduler_type: cosine
lr_scheduler_kwargs: {}
warmup_ratio: 0.03
warmup_steps: 0
log_level: passive
log_level_replica: warning
log_on_each_node: True
logging_nan_inf_filter: True
save_safetensors: True
save_on_each_node: False
save_only_model: False
restore_callback_states_from_checkpoint: False
no_cuda: False
use_cpu: False
use_mps_device: False
seed: 42
data_seed: None
jit_mode_eval: False
use_ipex: False
bf16: True
fp16: False
fp16_opt_level: O1
half_precision_backend: auto
bf16_full_eval: False
fp16_full_eval: False
tf32: None
local_rank: 0
ddp_backend: None
tpu_num_cores: None
tpu_metrics_debug: False
debug: []
dataloader_drop_last: False
dataloader_num_workers: 4
dataloader_prefetch_factor: None
past_index: -1
disable_tqdm: False
remove_unused_columns: True
label_names: None
load_best_model_at_end: False
ignore_data_skip: False
fsdp: []
fsdp_min_num_params: 0
fsdp_config: {'min_num_params': 0, 'xla': False, 'xla_fsdp_v2': False, 'xla_fsdp_grad_ckpt': False}
fsdp_transformer_layer_cls_to_wrap: None
accelerator_config: {'split_batches': False, 'dispatch_batches': None, 'even_batches': True, 'use_seedable_sampler': True, 'non_blocking': False, 'gradient_accumulation_kwargs': None}
deepspeed: None
label_smoothing_factor: 0.0
optim: adamw_torch
optim_args: None
adafactor: False
group_by_length: False
length_column_name: length
ddp_find_unused_parameters: None
ddp_bucket_cap_mb: None
ddp_broadcast_buffers: False
dataloader_pin_memory: True
dataloader_persistent_workers: False
skip_memory_metrics: True
use_legacy_prediction_loop: False
push_to_hub: False
resume_from_checkpoint: None
hub_model_id: None
hub_strategy: every_save
hub_private_repo: False
hub_always_push: False
gradient_checkpointing: False
gradient_checkpointing_kwargs: None
include_inputs_for_metrics: False
eval_do_concat_batches: True
fp16_backend: auto
push_to_hub_model_id: None
push_to_hub_organization: None
mp_parameters:
auto_find_batch_size: False
full_determinism: False
torchdynamo: None
ray_scope: last
ddp_timeout: 1800
torch_compile: False
torch_compile_backend: None
torch_compile_mode: None
dispatch_batches: None
split_batches: None
include_tokens_per_second: False
include_num_input_tokens_seen: False
neftune_noise_alpha: None
optim_target_modules: None
batch_eval_metrics: False
eval_on_start: False
use_liger_kernel: False
eval_use_gather_object: False
batch_sampler: batch_sampler
multi_dataset_batch_sampler: proportional

Training Logs

Click to expand

Epoch	Step	Training Loss	loss
0.0004	10	6.5313	-
0.0009	20	5.8461	-
0.0013	30	5.298	-
0.0018	40	4.8788	-
0.0022	50	4.7161	-
0.0026	60	4.606	-
0.0031	70	4.5568	-
0.0035	80	4.5222	-
0.0040	90	4.349	-
0.0044	100	4.3264	-
0.0048	110	4.2951	-
0.0053	120	4.2444	-
0.0057	130	4.1826	-
0.0062	140	4.1195	-
0.0066	150	4.1094	-
0.0070	160	4.05	-
0.0075	170	4.0599	-
0.0079	180	4.0618	-
0.0084	190	4.0043	-
0.0088	200	4.0283	-
0.0092	210	4.0248	-
0.0097	220	4.0357	-
0.0100	228	-	2.1730
0.0101	230	3.9336	-
0.0106	240	3.8841	-
0.0110	250	3.8477	-
0.0114	260	3.8059	-
0.0119	270	3.8783	-
0.0123	280	3.7946	-
0.0128	290	3.8037	-
0.0132	300	3.8218	-
0.0136	310	3.7871	-
0.0141	320	3.8214	-
0.0145	330	3.8215	-
0.0150	340	3.6552	-
0.0154	350	3.6771	-
0.0158	360	3.6963	-
0.0163	370	3.6754	-
0.0167	380	3.6359	-
0.0172	390	3.7247	-
0.0176	400	3.6023	-
0.0180	410	3.6708	-
0.0185	420	3.667	-
0.0189	430	3.6126	-
0.0194	440	3.6164	-
0.0198	450	3.6151	-
0.0201	456	-	1.9977
0.0202	460	3.6369	-
0.0207	470	3.647	-
0.0211	480	3.7798	-
0.0216	490	3.5451	-
0.0220	500	3.5756	-
0.0224	510	3.5586	-
0.0229	520	3.6099	-
0.0233	530	3.5646	-
0.0238	540	3.555	-
0.0242	550	3.4994	-
0.0246	560	3.6196	-
0.0251	570	3.5675	-
0.0255	580	3.4746	-
0.0260	590	3.5615	-
0.0264	600	3.5677	-
0.0268	610	3.4744	-
0.0273	620	3.4678	-
0.0277	630	3.521	-
0.0282	640	3.6169	-
0.0286	650	3.5405	-
0.0290	660	3.561	-
0.0295	670	3.5382	-
0.0299	680	3.5446	-
0.0301	684	-	1.8860
0.0304	690	3.513	-
0.0308	700	3.4335	-
0.0312	710	3.4511	-
0.0317	720	3.4689	-
0.0321	730	3.4505	-
0.0326	740	3.4249	-
0.0330	750	3.4336	-
0.0334	760	3.4758	-
0.0339	770	3.4573	-
0.0343	780	3.4113	-
0.0348	790	3.4492	-
0.0352	800	3.474	-
0.0356	810	3.3008	-
0.0361	820	3.4444	-
0.0365	830	3.316	-
0.0370	840	3.4442	-
0.0374	850	3.2422	-
0.0378	860	3.3634	-
0.0383	870	3.2755	-
0.0387	880	3.3625	-
0.0392	890	3.3474	-
0.0396	900	3.2749	-
0.0400	910	3.2207	-
0.0401	912	-	1.8273
0.0405	920	3.3529	-
0.0409	930	3.2911	-
0.0414	940	3.329	-
0.0418	950	3.3072	-
0.0422	960	3.3587	-
0.0427	970	3.303	-
0.0431	980	3.2542	-
0.0436	990	3.2936	-
0.0440	1000	3.3021	-
0.0444	1010	3.2057	-
0.0449	1020	3.2156	-
0.0453	1030	3.281	-
0.0458	1040	3.181	-
0.0462	1050	3.2006	-
0.0466	1060	3.1812	-
0.0471	1070	3.2928	-
0.0475	1080	3.1671	-
0.0480	1090	3.1744	-
0.0484	1100	3.1677	-
0.0488	1110	3.2073	-
0.0493	1120	3.127	-
0.0497	1130	3.1369	-
0.0502	1140	3.1129	1.8318
0.0506	1150	3.2757	-
0.0510	1160	3.1454	-
0.0515	1170	3.0366	-
0.0519	1180	3.2109	-
0.0524	1190	3.1474	-
0.0528	1200	3.0873	-
0.0532	1210	3.1608	-
0.0537	1220	3.1226	-
0.0541	1230	3.0992	-
0.0546	1240	3.095	-
0.0550	1250	3.1181	-
0.0554	1260	3.0438	-
0.0559	1270	3.1345	-
0.0563	1280	3.0135	-
0.0568	1290	3.0876	-
0.0572	1300	3.0489	-
0.0576	1310	3.123	-
0.0581	1320	3.0164	-
0.0585	1330	3.0579	-
0.0590	1340	3.0497	-
0.0594	1350	3.0608	-
0.0598	1360	3.0785	-
0.0602	1368	-	1.7341
0.0603	1370	3.0138	-
0.0607	1380	3.0767	-
0.0612	1390	3.0639	-
0.0616	1400	3.0051	-
0.0620	1410	2.9067	-
0.0625	1420	3.0086	-
0.0629	1430	3.0136	-
0.0634	1440	2.9697	-
0.0638	1450	3.0292	-
0.0642	1460	3.0602	-
0.0647	1470	3.0248	-
0.0651	1480	2.917	-
0.0656	1490	3.0368	-
0.0660	1500	2.9666	-
0.0664	1510	3.018	-
0.0669	1520	3.0077	-
0.0673	1530	2.9694	-
0.0678	1540	2.9652	-
0.0682	1550	2.9591	-
0.0686	1560	3.0072	-
0.0691	1570	2.9479	-
0.0695	1580	2.9637	-
0.0700	1590	2.9199	-
0.0702	1596	-	1.7461
0.0704	1600	2.9634	-
0.0708	1610	2.9283	-
0.0713	1620	2.9953	-
0.0717	1630	2.8624	-
0.0722	1640	2.9847	-
0.0726	1650	2.8753	-
0.0730	1660	2.8498	-
0.0735	1670	2.9291	-
0.0739	1680	2.8628	-
0.0744	1690	2.8752	-
0.0748	1700	2.9715	-
0.0752	1710	2.9163	-
0.0757	1720	2.8338	-
0.0761	1730	2.8921	-
0.0766	1740	2.851	-
0.0770	1750	2.8548	-
0.0774	1760	2.9391	-
0.0779	1770	2.8622	-
0.0783	1780	2.7851	-
0.0788	1790	2.8691	-
0.0792	1800	2.9062	-
0.0796	1810	2.888	-
0.0801	1820	2.8068	-
0.0803	1824	-	1.6806
0.0805	1830	2.8577	-
0.0810	1840	2.8845	-
0.0814	1850	2.8139	-
0.0818	1860	2.8207	-
0.0823	1870	2.888	-
0.0827	1880	2.8918	-
0.0832	1890	2.8024	-
0.0836	1900	2.8376	-
0.0840	1910	2.8812	-
0.0845	1920	2.896	-
0.0849	1930	2.7798	-
0.0854	1940	2.8285	-
0.0858	1950	2.8183	-
0.0862	1960	2.7862	-
0.0867	1970	2.8523	-
0.0871	1980	2.9032	-
0.0876	1990	2.8677	-
0.0880	2000	2.8458	-
0.0884	2010	2.9341	-
0.0889	2020	2.7849	-
0.0893	2030	2.8287	-
0.0898	2040	2.8386	-
0.0902	2050	2.8467	-
0.0903	2052	-	1.6985
0.0906	2060	2.8283	-
0.0911	2070	2.7755	-
0.0915	2080	2.7861	-
0.0920	2090	2.7892	-
0.0924	2100	2.7897	-
0.0928	2110	2.8184	-
0.0933	2120	2.7632	-
0.0937	2130	2.7532	-
0.0942	2140	2.7983	-
0.0946	2150	2.7626	-
0.0950	2160	2.7672	-
0.0955	2170	2.7953	-
0.0959	2180	2.7805	-
0.0964	2190	2.8159	-
0.0968	2200	2.6431	-
0.0972	2210	2.6948	-
0.0977	2220	2.6918	-
0.0981	2230	2.8181	-
0.0986	2240	2.7128	-
0.0990	2250	2.6758	-
0.0994	2260	2.7364	-
0.0999	2270	2.6537	-
0.1003	2280	2.6573	1.6622
0.1008	2290	2.7634	-
0.1012	2300	2.6813	-
0.1016	2310	2.7016	-
0.1021	2320	2.6836	-
0.1025	2330	2.6795	-
0.1030	2340	2.7212	-
0.1034	2350	2.7389	-
0.1038	2360	2.7147	-
0.1043	2370	2.7513	-
0.1047	2380	2.6751	-
0.1052	2390	2.7532	-
0.1056	2400	2.7173	-
0.1060	2410	2.6352	-
0.1065	2420	2.5844	-
0.1069	2430	2.6315	-
0.1074	2440	2.7198	-
0.1078	2450	2.771	-
0.1082	2460	2.674	-
0.1087	2470	2.6526	-
0.1091	2480	2.6998	-
0.1096	2490	2.6337	-
0.1100	2500	2.6348	-
0.1104	2508	-	1.6309
0.1104	2510	2.6309	-
0.1109	2520	2.6551	-
0.1113	2530	2.6038	-
0.1118	2540	2.6319	-
0.1122	2550	2.623	-
0.1126	2560	2.6189	-
0.1131	2570	2.6289	-
0.1135	2580	2.6386	-
0.1140	2590	2.5993	-
0.1144	2600	2.6238	-
0.1148	2610	2.6309	-
0.1153	2620	2.5891	-
0.1157	2630	2.6038	-
0.1162	2640	2.5489	-
0.1166	2650	2.5797	-
0.1170	2660	2.5613	-
0.1175	2670	2.6497	-
0.1179	2680	2.5599	-
0.1184	2690	2.6382	-
0.1188	2700	2.6296	-
0.1192	2710	2.5875	-
0.1197	2720	2.5798	-
0.1201	2730	2.6157	-
0.1204	2736	-	1.6389
0.1206	2740	2.605	-
0.1210	2750	2.5752	-
0.1214	2760	2.5838	-
0.1219	2770	2.5992	-
0.1223	2780	2.5948	-
0.1228	2790	2.5536	-
0.1232	2800	2.6077	-
0.1236	2810	2.5536	-
0.1241	2820	2.5599	-
0.1245	2830	2.5205	-
0.1250	2840	2.6039	-
0.1254	2850	2.5441	-
0.1258	2860	2.5149	-
0.1263	2870	2.5222	-
0.1267	2880	2.5051	-
0.1272	2890	2.5838	-
0.1276	2900	2.4915	-
0.1280	2910	2.4529	-
0.1285	2920	2.5686	-
0.1289	2930	2.5959	-
0.1294	2940	2.6085	-
0.1298	2950	2.5996	-
0.1302	2960	2.5003	-
0.1304	2964	-	1.6185
0.1307	2970	2.5543	-
0.1311	2980	2.495	-
0.1316	2990	2.4379	-
0.1320	3000	2.506	-
0.1324	3010	2.4225	-
0.1329	3020	2.5437	-
0.1333	3030	2.5433	-
0.1338	3040	2.4638	-
0.1342	3050	2.5244	-
0.1346	3060	2.4755	-
0.1351	3070	2.4853	-
0.1355	3080	2.432	-
0.1360	3090	2.4536	-
0.1364	3100	2.5293	-
0.1368	3110	2.5399	-
0.1373	3120	2.4926	-
0.1377	3130	2.5165	-
0.1382	3140	2.4556	-
0.1386	3150	2.412	-
0.1390	3160	2.4449	-
0.1395	3170	2.4788	-
0.1399	3180	2.5068	-
0.1404	3190	2.3961	-
0.1405	3192	-	1.6126
0.1408	3200	2.4047	-
0.1412	3210	2.4256	-
0.1417	3220	2.4444	-
0.1421	3230	2.4485	-
0.1426	3240	2.4094	-
0.1430	3250	2.454	-
0.1434	3260	2.4396	-
0.1439	3270	2.4885	-
0.1443	3280	2.5197	-
0.1448	3290	2.4666	-
0.1452	3300	2.4201	-
0.1456	3310	2.4572	-
0.1461	3320	2.4198	-
0.1465	3330	2.4638	-
0.1470	3340	2.4049	-
0.1474	3350	2.4763	-
0.1478	3360	2.4292	-
0.1483	3370	2.4596	-
0.1487	3380	2.3948	-
0.1492	3390	2.5441	-
0.1496	3400	2.4433	-
0.1500	3410	2.3446	-
0.1505	3420	2.4146	1.5525
0.1509	3430	2.4044	-
0.1514	3440	2.3668	-
0.1518	3450	2.4567	-
0.1522	3460	2.4241	-
0.1527	3470	2.3647	-
0.1531	3480	2.3882	-
0.1536	3490	2.3882	-
0.1540	3500	2.4104	-
0.1544	3510	2.3872	-
0.1549	3520	2.3767	-
0.1553	3530	2.3841	-
0.1558	3540	2.3832	-
0.1562	3550	2.3928	-
0.1566	3560	2.3558	-
0.1571	3570	2.357	-
0.1575	3580	2.3762	-
0.1580	3590	2.3784	-
0.1584	3600	2.4023	-
0.1588	3610	2.426	-
0.1593	3620	2.4229	-
0.1597	3630	2.383	-
0.1602	3640	2.3514	-
0.1605	3648	-	1.6487
0.1606	3650	2.3811	-
0.1610	3660	2.3784	-
0.1615	3670	2.402	-
0.1619	3680	2.3215	-
0.1624	3690	2.3213	-
0.1628	3700	2.3513	-
0.1632	3710	2.4436	-
0.1637	3720	2.3684	-
0.1641	3730	2.3906	-
0.1646	3740	2.3884	-
0.1650	3750	2.3676	-
0.1654	3760	2.3415	-
0.1659	3770	2.3404	-
0.1663	3780	2.3564	-
0.1668	3790	2.3482	-
0.1672	3800	2.3572	-
0.1676	3810	2.318	-
0.1681	3820	2.3825	-
0.1685	3830	2.3783	-
0.1690	3840	2.2664	-
0.1694	3850	2.299	-
0.1698	3860	2.3321	-
0.1703	3870	2.381	-
0.1706	3876	-	1.5871
0.1707	3880	2.3345	-
0.1712	3890	2.2969	-
0.1716	3900	2.3345	-
0.1720	3910	2.3456	-
0.1725	3920	2.3196	-
0.1729	3930	2.2699	-
0.1734	3940	2.3006	-
0.1738	3950	2.3013	-
0.1742	3960	2.2816	-
0.1747	3970	2.2987	-
0.1751	3980	2.3082	-
0.1756	3990	2.3046	-
0.1760	4000	2.3635	-
0.1764	4010	2.278	-
0.1769	4020	2.2689	-
0.1773	4030	2.2703	-
0.1778	4040	2.3683	-
0.1782	4050	2.2925	-
0.1787	4060	2.2972	-
0.1791	4070	2.3245	-
0.1795	4080	2.2321	-
0.1800	4090	2.332	-
0.1804	4100	2.244	-
0.1806	4104	-	1.5715
0.1809	4110	2.2946	-
0.1813	4120	2.3085	-
0.1817	4130	2.2585	-
0.1822	4140	2.3246	-
0.1826	4150	2.337	-
0.1831	4160	2.2869	-
0.1835	4170	2.2271	-
0.1839	4180	2.2341	-
0.1844	4190	2.267	-
0.1848	4200	2.3124	-
0.1853	4210	2.2239	-
0.1857	4220	2.2536	-
0.1861	4230	2.2362	-
0.1866	4240	2.2962	-
0.1870	4250	2.1452	-
0.1875	4260	2.2534	-
0.1879	4270	2.212	-
0.1883	4280	2.2899	-
0.1888	4290	2.2609	-
0.1892	4300	2.24	-
0.1897	4310	2.2574	-
0.1901	4320	2.2228	-
0.1905	4330	2.1943	-
0.1906	4332	-	1.5919
0.1910	4340	2.2699	-
0.1914	4350	2.2163	-
0.1919	4360	2.2556	-
0.1923	4370	2.254	-
0.1927	4380	2.2737	-
0.1932	4390	2.237	-
0.1936	4400	2.2135	-
0.1941	4410	2.1838	-
0.1945	4420	2.2413	-
0.1949	4430	2.3038	-
0.1954	4440	2.2293	-
0.1958	4450	2.2971	-
0.1963	4460	2.2165	-
0.1967	4470	2.1704	-
0.1971	4480	2.266	-
0.1976	4490	2.2057	-
0.1980	4500	2.2503	-
0.1985	4510	2.2231	-
0.1989	4520	2.1846	-
0.1993	4530	2.2189	-
0.1998	4540	2.1262	-
0.2002	4550	2.1941	-
0.2007	4560	2.2377	1.5762
0.2011	4570	2.1564	-
0.2015	4580	2.1964	-
0.2020	4590	2.1988	-
0.2024	4600	2.1303	-
0.2029	4610	2.2133	-
0.2033	4620	2.1501	-
0.2037	4630	2.1427	-
0.2042	4640	2.1546	-
0.2046	4650	2.2331	-
0.2051	4660	2.2692	-
0.2055	4670	2.2431	-
0.2059	4680	2.1293	-
0.2064	4690	2.2256	-
0.2068	4700	2.1898	-
0.2073	4710	2.1103	-
0.2077	4720	2.1252	-
0.2081	4730	2.1315	-
0.2086	4740	2.2546	-
0.2090	4750	2.1341	-
0.2095	4760	2.1434	-
0.2099	4770	2.1793	-
0.2103	4780	2.1411	-
0.2107	4788	-	1.5359
0.2108	4790	2.154	-
0.2112	4800	2.2006	-
0.2117	4810	2.2067	-
0.2121	4820	2.1981	-
0.2125	4830	2.1663	-
0.2130	4840	2.1713	-
0.2134	4850	2.1995	-
0.2139	4860	2.1169	-
0.2143	4870	2.1545	-
0.2147	4880	2.1365	-
0.2152	4890	2.1784	-
0.2156	4900	2.2327	-
0.2161	4910	2.1947	-
0.2165	4920	2.1488	-
0.2169	4930	2.1763	-
0.2174	4940	2.1462	-
0.2178	4950	2.1357	-
0.2183	4960	2.0848	-
0.2187	4970	2.0941	-
0.2191	4980	2.1263	-
0.2196	4990	2.1429	-
0.2200	5000	2.1397	-
0.2205	5010	2.0566	-
0.2207	5016	-	1.5635
0.2209	5020	2.0995	-
0.2213	5030	2.1692	-
0.2218	5040	2.1655	-
0.2222	5050	2.1947	-
0.2227	5060	2.1654	-
0.2231	5070	2.14	-
0.2235	5080	2.1074	-
0.2240	5090	2.1261	-
0.2244	5100	2.1367	-
0.2249	5110	2.0918	-
0.2253	5120	2.0964	-
0.2257	5130	2.073	-
0.2262	5140	2.0858	-
0.2266	5150	2.1331	-
0.2271	5160	2.2027	-
0.2275	5170	2.0987	-
0.2279	5180	2.1247	-
0.2284	5190	2.1737	-
0.2288	5200	2.0761	-
0.2293	5210	2.1432	-
0.2297	5220	2.1253	-
0.2301	5230	2.1111	-
0.2306	5240	2.0675	-
0.2307	5244	-	1.5526
0.2310	5250	2.1906	-
0.2315	5260	2.0943	-
0.2319	5270	2.0671	-
0.2323	5280	2.1114	-
0.2328	5290	2.0689	-
0.2332	5300	2.1265	-
0.2337	5310	2.1089	-
0.2341	5320	2.0317	-
0.2345	5330	2.0613	-
0.2350	5340	2.146	-
0.2354	5350	2.0875	-
0.2359	5360	2.1326	-
0.2363	5370	2.108	-
0.2367	5380	2.0291	-
0.2372	5390	2.0241	-
0.2376	5400	1.995	-
0.2381	5410	2.0416	-
0.2385	5420	2.1011	-
0.2389	5430	2.1074	-
0.2394	5440	2.0895	-
0.2398	5450	2.0369	-
0.2403	5460	2.0314	-
0.2407	5470	2.0735	-
0.2408	5472	-	1.5682
0.2411	5480	2.0838	-
0.2416	5490	2.0652	-
0.2420	5500	2.0407	-
0.2425	5510	2.0724	-
0.2429	5520	2.0799	-
0.2433	5530	2.1196	-
0.2438	5540	2.0825	-
0.2442	5550	2.1375	-
0.2447	5560	2.0278	-
0.2451	5570	2.0543	-
0.2455	5580	2.0808	-
0.2460	5590	2.0691	-
0.2464	5600	2.0406	-
0.2469	5610	1.975	-
0.2473	5620	2.1134	-
0.2477	5630	2.1389	-
0.2482	5640	2.014	-
0.2486	5650	2.0062	-
0.2491	5660	2.0683	-
0.2495	5670	2.0477	-
0.2499	5680	2.058	-
0.2504	5690	2.0734	-
0.2508	5700	2.0051	1.5699
0.2513	5710	2.0547	-
0.2517	5720	2.0606	-
0.2521	5730	2.0227	-
0.2526	5740	2.0291	-
0.2530	5750	2.0137	-
0.2535	5760	2.0144	-
0.2539	5770	1.9947	-
0.2543	5780	1.9592	-
0.2548	5790	2.0484	-
0.2552	5800	2.0915	-
0.2557	5810	1.9955	-
0.2561	5820	2.0076	-
0.2565	5830	1.9706	-
0.2570	5840	2.0173	-
0.2574	5850	1.997	-
0.2579	5860	1.9579	-
0.2583	5870	2.0291	-
0.2587	5880	1.9887	-
0.2592	5890	1.9833	-
0.2596	5900	2.0435	-
0.2601	5910	1.9776	-
0.2605	5920	2.0528	-
0.2608	5928	-	1.5381
0.2609	5930	2.0231	-
0.2614	5940	2.0744	-
0.2618	5950	1.9155	-
0.2623	5960	2.0031	-
0.2627	5970	2.0437	-
0.2631	5980	2.0068	-
0.2636	5990	2.0477	-
0.2640	6000	1.9853	-
0.2645	6010	1.9796	-
0.2649	6020	1.9897	-
0.2653	6030	1.9647	-
0.2658	6040	1.9844	-
0.2662	6050	1.9898	-
0.2667	6060	1.9929	-
0.2671	6070	1.9957	-
0.2675	6080	1.9323	-
0.2680	6090	1.9823	-
0.2684	6100	2.0417	-
0.2689	6110	2.0183	-
0.2693	6120	2.0573	-
0.2697	6130	2.0244	-
0.2702	6140	2.0102	-
0.2706	6150	2.0265	-
0.2709	6156	-	1.5431
0.2711	6160	2.0255	-
0.2715	6170	2.1178	-
0.2719	6180	1.9663	-
0.2724	6190	2.0217	-
0.2728	6200	2.0135	-
0.2733	6210	1.9576	-
0.2737	6220	1.9839	-
0.2741	6230	2.0097	-
0.2746	6240	1.9283	-
0.2750	6250	1.9477	-
0.2755	6260	1.9192	-
0.2759	6270	2.0363	-
0.2763	6280	1.9945	-
0.2768	6290	1.9648	-
0.2772	6300	1.9969	-
0.2777	6310	1.9597	-
0.2781	6320	2.0042	-
0.2785	6330	1.9608	-
0.2790	6340	1.9212	-
0.2794	6350	1.9382	-
0.2799	6360	1.98	-
0.2803	6370	1.9132	-
0.2807	6380	1.9523	-
0.2809	6384	-	1.5213
0.2812	6390	1.9915	-
0.2816	6400	2.0106	-
0.2821	6410	1.9682	-
0.2825	6420	1.929	-
0.2829	6430	1.9182	-
0.2834	6440	1.9111	-
0.2838	6450	2.0153	-
0.2843	6460	1.9574	-
0.2847	6470	1.9454	-
0.2851	6480	1.9232	-
0.2856	6490	1.9774	-
0.2860	6500	1.9419	-
0.2865	6510	2.0172	-
0.2869	6520	1.9305	-
0.2873	6530	2.0139	-
0.2878	6540	1.9537	-
0.2882	6550	1.9942	-
0.2887	6560	1.9545	-
0.2891	6570	1.9091	-
0.2895	6580	1.92	-
0.2900	6590	1.9316	-
0.2904	6600	1.871	-
0.2909	6610	1.963	-
0.2909	6612	-	1.5280
0.2913	6620	1.9261	-
0.2917	6630	2.0117	-
0.2922	6640	1.8847	-
0.2926	6650	1.9054	-
0.2931	6660	1.9283	-
0.2935	6670	1.9077	-
0.2939	6680	1.9014	-
0.2944	6690	1.9312	-
0.2948	6700	1.9401	-
0.2953	6710	1.9062	-
0.2957	6720	1.9837	-
0.2961	6730	1.8199	-
0.2966	6740	1.9424	-
0.2970	6750	1.9628	-
0.2975	6760	1.8496	-
0.2979	6770	1.9567	-
0.2983	6780	1.8603	-
0.2988	6790	1.968	-
0.2992	6800	1.9208	-
0.2997	6810	1.8711	-
0.3001	6820	1.8648	-
0.3005	6830	1.9081	-
0.3010	6840	2.0125	1.5545
0.3014	6850	1.938	-
0.3019	6860	1.8623	-
0.3023	6870	1.9463	-
0.3027	6880	1.8621	-
0.3032	6890	1.924	-
0.3036	6900	1.8352	-
0.3041	6910	1.864	-
0.3045	6920	1.9148	-
0.3049	6930	1.9456	-
0.3054	6940	1.8726	-
0.3058	6950	1.8947	-
0.3063	6960	1.8792	-
0.3067	6970	1.9076	-
0.3071	6980	1.9144	-
0.3076	6990	1.9595	-
0.3080	7000	1.9025	-
0.3085	7010	1.8465	-
0.3089	7020	1.9244	-
0.3093	7030	1.9194	-
0.3098	7040	1.9499	-
0.3102	7050	1.9108	-
0.3107	7060	1.9043	-
0.3110	7068	-	1.5273
0.3111	7070	1.8201	-
0.3115	7080	1.8535	-
0.3120	7090	1.8358	-
0.3124	7100	1.922	-
0.3129	7110	1.8944	-
0.3133	7120	1.8911	-
0.3137	7130	1.8929	-
0.3142	7140	1.8377	-
0.3146	7150	1.9001	-
0.3151	7160	1.8646	-
0.3155	7170	1.844	-
0.3159	7180	1.8591	-
0.3164	7190	1.8797	-
0.3168	7200	1.914	-
0.3173	7210	1.8363	-
0.3177	7220	1.8973	-
0.3181	7230	1.8526	-
0.3186	7240	1.8906	-
0.3190	7250	1.8403	-
0.3195	7260	1.8292	-
0.3199	7270	1.8642	-
0.3203	7280	1.8154	-
0.3208	7290	1.8864	-
0.3210	7296	-	1.5143
0.3212	7300	1.831	-
0.3217	7310	1.8036	-
0.3221	7320	1.8813	-
0.3225	7330	1.9017	-
0.3230	7340	1.796	-
0.3234	7350	1.8225	-
0.3239	7360	1.8107	-
0.3243	7370	1.8188	-
0.3247	7380	1.8662	-
0.3252	7390	1.8535	-
0.3256	7400	1.8297	-
0.3261	7410	1.8529	-
0.3265	7420	1.8354	-
0.3269	7430	1.7838	-
0.3274	7440	1.7708	-
0.3278	7450	1.8549	-
0.3283	7460	1.7964	-
0.3287	7470	1.8071	-
0.3291	7480	1.908	-
0.3296	7490	1.8061	-
0.3300	7500	1.8323	-
0.3305	7510	1.8043	-
0.3309	7520	1.7767	-
0.3311	7524	-	1.5145
0.3313	7530	1.8285	-
0.3318	7540	1.9132	-
0.3322	7550	1.8783	-
0.3327	7560	1.8348	-
0.3331	7570	1.8009	-
0.3335	7580	1.8571	-
0.3340	7590	1.8254	-
0.3344	7600	1.7784	-
0.3349	7610	1.8034	-
0.3353	7620	1.8023	-
0.3357	7630	1.842	-
0.3362	7640	1.881	-
0.3366	7650	1.9085	-
0.3371	7660	1.8484	-
0.3375	7670	1.8625	-
0.3379	7680	1.8652	-
0.3384	7690	1.857	-
0.3388	7700	1.8393	-
0.3393	7710	1.7959	-
0.3397	7720	1.8188	-
0.3401	7730	1.7849	-
0.3406	7740	1.8403	-
0.3410	7750	1.8196	-
0.3411	7752	-	1.4984
0.3415	7760	1.8132	-
0.3419	7770	1.8406	-
0.3423	7780	1.8361	-
0.3428	7790	1.7967	-
0.3432	7800	1.8742	-
0.3437	7810	1.7974	-
0.3441	7820	1.7651	-
0.3445	7830	1.8193	-
0.3450	7840	1.7898	-
0.3454	7850	1.7387	-
0.3459	7860	1.8029	-
0.3463	7870	1.8294	-
0.3467	7880	1.8711	-
0.3472	7890	1.8019	-
0.3476	7900	1.8273	-
0.3481	7910	1.8805	-
0.3485	7920	1.7724	-
0.3489	7930	1.8348	-
0.3494	7940	1.8155	-
0.3498	7950	1.8035	-
0.3503	7960	1.7749	-
0.3507	7970	1.77	-
0.3511	7980	1.8248	1.4456
0.3516	7990	1.7739	-
0.3520	8000	1.805	-
0.3525	8010	1.8376	-
0.3529	8020	1.7321	-
0.3533	8030	1.7707	-
0.3538	8040	1.7428	-
0.3542	8050	1.7766	-
0.3547	8060	1.8018	-
0.3551	8070	1.8166	-
0.3555	8080	1.7771	-
0.3560	8090	1.8246	-
0.3564	8100	1.7866	-
0.3569	8110	1.8	-
0.3573	8120	1.8142	-
0.3577	8130	1.795	-
0.3582	8140	1.7238	-
0.3586	8150	1.804	-
0.3591	8160	1.7549	-
0.3595	8170	1.837	-
0.3599	8180	1.7967	-
0.3604	8190	1.7448	-
0.3608	8200	1.7307	-
0.3612	8208	-	1.4509
0.3613	8210	1.8012	-
0.3617	8220	1.7933	-
0.3621	8230	1.7561	-
0.3626	8240	1.8068	-
0.3630	8250	1.8195	-
0.3635	8260	1.7762	-
0.3639	8270	1.7816	-
0.3643	8280	1.7913	-
0.3648	8290	1.7548	-
0.3652	8300	1.7745	-
0.3657	8310	1.7125	-
0.3661	8320	1.7292	-
0.3665	8330	1.7792	-
0.3670	8340	1.7808	-
0.3674	8350	1.7245	-
0.3679	8360	1.8111	-
0.3683	8370	1.7849	-
0.3687	8380	1.7718	-
0.3692	8390	1.8113	-
0.3696	8400	1.7137	-
0.3701	8410	1.8149	-
0.3705	8420	1.8	-
0.3709	8430	1.7528	-
0.3712	8436	-	1.4725
0.3714	8440	1.7638	-
0.3718	8450	1.7567	-
0.3723	8460	1.7671	-
0.3727	8470	1.7309	-
0.3731	8480	1.7163	-
0.3736	8490	1.7202	-
0.3740	8500	1.7776	-
0.3745	8510	1.721	-
0.3749	8520	1.753	-
0.3753	8530	1.723	-
0.3758	8540	1.812	-
0.3762	8550	1.7824	-
0.3767	8560	1.7713	-
0.3771	8570	1.7126	-
0.3775	8580	1.7339	-
0.3780	8590	1.7163	-
0.3784	8600	1.7325	-
0.3789	8610	1.7487	-
0.3793	8620	1.7448	-
0.3797	8630	1.7327	-
0.3802	8640	1.7671	-
0.3806	8650	1.7498	-
0.3811	8660	1.7352	-
0.3812	8664	-	1.4745
0.3815	8670	1.7145	-
0.3819	8680	1.7539	-
0.3824	8690	1.7271	-
0.3828	8700	1.6785	-
0.3833	8710	1.7218	-
0.3837	8720	1.724	-
0.3841	8730	1.763	-
0.3846	8740	1.7132	-
0.3850	8750	1.7642	-
0.3855	8760	1.7687	-
0.3859	8770	1.7406	-
0.3863	8780	1.686	-
0.3868	8790	1.7618	-
0.3872	8800	1.7182	-
0.3877	8810	1.6846	-
0.3881	8820	1.732	-
0.3885	8830	1.7091	-
0.3890	8840	1.781	-
0.3894	8850	1.7663	-
0.3899	8860	1.6525	-
0.3903	8870	1.7051	-
0.3907	8880	1.7798	-
0.3912	8890	1.7791	-
0.3913	8892	-	1.4365
0.3916	8900	1.7078	-
0.3921	8910	1.7593	-
0.3925	8920	1.745	-
0.3929	8930	1.712	-
0.3934	8940	1.7035	-
0.3938	8950	1.7013	-
0.3943	8960	1.7434	-
0.3947	8970	1.7075	-
0.3951	8980	1.6229	-
0.3956	8990	1.7033	-
0.3960	9000	1.7404	-
0.3965	9010	1.6525	-
0.3969	9020	1.7587	-
0.3973	9030	1.6728	-
0.3978	9040	1.6922	-
0.3982	9050	1.6777	-
0.3987	9060	1.668	-
0.3991	9070	1.7006	-
0.3995	9080	1.6925	-
0.4000	9090	1.6504	-
0.4004	9100	1.6093	-
0.4009	9110	1.6697	-
0.4013	9120	1.7263	1.4501
0.4017	9130	1.7449	-
0.4022	9140	1.6992	-
0.4026	9150	1.6619	-
0.4031	9160	1.6146	-
0.4035	9170	1.6885	-
0.4039	9180	1.654	-
0.4044	9190	1.6545	-
0.4048	9200	1.7049	-
0.4053	9210	1.682	-
0.4057	9220	1.7016	-
0.4061	9230	1.6608	-
0.4066	9240	1.6803	-
0.4070	9250	1.6767	-
0.4075	9260	1.626	-
0.4079	9270	1.646	-
0.4083	9280	1.6542	-
0.4088	9290	1.709	-
0.4092	9300	1.6554	-
0.4097	9310	1.7524	-
0.4101	9320	1.6886	-
0.4105	9330	1.6663	-
0.4110	9340	1.6815	-
0.4113	9348	-	1.4552
0.4114	9350	1.6716	-
0.4119	9360	1.6257	-
0.4123	9370	1.7023	-
0.4127	9380	1.6841	-
0.4132	9390	1.6723	-
0.4136	9400	1.7205	-
0.4141	9410	1.7015	-
0.4145	9420	1.6938	-
0.4149	9430	1.7039	-
0.4154	9440	1.6317	-
0.4158	9450	1.6575	-
0.4163	9460	1.718	-
0.4167	9470	1.711	-
0.4171	9480	1.6621	-
0.4176	9490	1.6489	-
0.4180	9500	1.6616	-
0.4185	9510	1.7046	-
0.4189	9520	1.6804	-
0.4193	9530	1.6764	-
0.4198	9540	1.6036	-
0.4202	9550	1.6689	-
0.4207	9560	1.6751	-
0.4211	9570	1.6381	-
0.4214	9576	-	1.4258
0.4215	9580	1.6537	-
0.4220	9590	1.6394	-
0.4224	9600	1.6197	-
0.4229	9610	1.6127	-
0.4233	9620	1.6726	-
0.4237	9630	1.6804	-
0.4242	9640	1.6108	-
0.4246	9650	1.628	-
0.4251	9660	1.6714	-
0.4255	9670	1.6033	-
0.4259	9680	1.5989	-
0.4264	9690	1.6352	-
0.4268	9700	1.6564	-
0.4273	9710	1.6656	-
0.4277	9720	1.6348	-
0.4281	9730	1.6437	-
0.4286	9740	1.6463	-
0.4290	9750	1.6173	-
0.4295	9760	1.6494	-
0.4299	9770	1.624	-
0.4303	9780	1.6249	-
0.4308	9790	1.6609	-
0.4312	9800	1.6595	-
0.4314	9804	-	1.3974
0.4317	9810	1.6493	-
0.4321	9820	1.6402	-
0.4325	9830	1.6047	-
0.4330	9840	1.6183	-
0.4334	9850	1.6263	-
0.4339	9860	1.5998	-
0.4343	9870	1.6243	-
0.4347	9880	1.6006	-
0.4352	9890	1.6388	-
0.4356	9900	1.6485	-
0.4361	9910	1.6697	-
0.4365	9920	1.6399	-
0.4369	9930	1.6566	-
0.4374	9940	1.5732	-
0.4378	9950	1.6009	-
0.4383	9960	1.6227	-
0.4387	9970	1.6632	-
0.4391	9980	1.614	-
0.4396	9990	1.586	-
0.4400	10000	1.5743	-
0.4405	10010	1.5739	-
0.4409	10020	1.6336	-
0.4413	10030	1.6145	-
0.4414	10032	-	1.4306
0.4418	10040	1.5603	-
0.4422	10050	1.5868	-
0.4427	10060	1.533	-
0.4431	10070	1.612	-
0.4435	10080	1.6264	-
0.4440	10090	1.6097	-
0.4444	10100	1.6974	-
0.4449	10110	1.6889	-
0.4453	10120	1.5902	-
0.4457	10130	1.6569	-
0.4462	10140	1.6007	-
0.4466	10150	1.5695	-
0.4471	10160	1.6004	-
0.4475	10170	1.6034	-
0.4479	10180	1.6155	-
0.4484	10190	1.5604	-
0.4488	10200	1.6394	-
0.4493	10210	1.5819	-
0.4497	10220	1.5358	-
0.4501	10230	1.6425	-
0.4506	10240	1.6372	-
0.4510	10250	1.6365	-
0.4515	10260	1.6098	1.4229
0.4519	10270	1.6465	-
0.4523	10280	1.5857	-
0.4528	10290	1.6058	-
0.4532	10300	1.5736	-
0.4537	10310	1.5895	-
0.4541	10320	1.6048	-
0.4545	10330	1.6068	-
0.4550	10340	1.5351	-
0.4554	10350	1.6022	-
0.4559	10360	1.6227	-
0.4563	10370	1.6583	-
0.4567	10380	1.5737	-
0.4572	10390	1.5437	-
0.4576	10400	1.5881	-
0.4581	10410	1.6312	-
0.4585	10420	1.5779	-
0.4589	10430	1.5577	-
0.4594	10440	1.5448	-
0.4598	10450	1.5221	-
0.4603	10460	1.593	-
0.4607	10470	1.5898	-
0.4611	10480	1.5941	-
0.4615	10488	-	1.4831
0.4616	10490	1.6239	-
0.4620	10500	1.5566	-
0.4625	10510	1.5658	-
0.4629	10520	1.5616	-
0.4633	10530	1.584	-
0.4638	10540	1.5781	-
0.4642	10550	1.5473	-
0.4647	10560	1.5765	-
0.4651	10570	1.5646	-
0.4655	10580	1.6045	-
0.4660	10590	1.615	-
0.4664	10600	1.583	-
0.4669	10610	1.5883	-
0.4673	10620	1.5594	-
0.4677	10630	1.5597	-
0.4682	10640	1.5988	-
0.4686	10650	1.4975	-
0.4691	10660	1.5656	-
0.4695	10670	1.5461	-
0.4699	10680	1.5779	-
0.4704	10690	1.4957	-
0.4708	10700	1.4833	-
0.4713	10710	1.5954	-
0.4715	10716	-	1.4433
0.4717	10720	1.5433	-
0.4721	10730	1.6018	-
0.4726	10740	1.5233	-
0.4730	10750	1.5252	-
0.4735	10760	1.5591	-
0.4739	10770	1.5575	-
0.4743	10780	1.5744	-
0.4748	10790	1.5824	-
0.4752	10800	1.5553	-
0.4757	10810	1.5358	-
0.4761	10820	1.6017	-
0.4765	10830	1.5635	-
0.4770	10840	1.5787	-
0.4774	10850	1.5446	-
0.4779	10860	1.5904	-
0.4783	10870	1.5946	-
0.4787	10880	1.5684	-
0.4792	10890	1.551	-
0.4796	10900	1.5242	-
0.4801	10910	1.5417	-
0.4805	10920	1.593	-
0.4809	10930	1.5391	-
0.4814	10940	1.5297	-
0.4816	10944	-	1.4344
0.4818	10950	1.6125	-
0.4823	10960	1.5531	-
0.4827	10970	1.516	-
0.4831	10980	1.5733	-
0.4836	10990	1.5755	-
0.4840	11000	1.5601	-
0.4845	11010	1.5699	-
0.4849	11020	1.5398	-
0.4853	11030	1.5561	-
0.4858	11040	1.5665	-
0.4862	11050	1.5841	-
0.4867	11060	1.4881	-
0.4871	11070	1.5462	-
0.4875	11080	1.5755	-
0.4880	11090	1.4784	-
0.4884	11100	1.5218	-
0.4889	11110	1.4747	-
0.4893	11120	1.4977	-
0.4897	11130	1.5862	-
0.4902	11140	1.5428	-
0.4906	11150	1.5031	-
0.4911	11160	1.5226	-
0.4915	11170	1.521	-
0.4916	11172	-	1.4339
0.4919	11180	1.5804	-
0.4924	11190	1.5267	-
0.4928	11200	1.5365	-
0.4933	11210	1.5862	-
0.4937	11220	1.4479	-
0.4941	11230	1.6324	-
0.4946	11240	1.5544	-
0.4950	11250	1.5559	-
0.4955	11260	1.4588	-
0.4959	11270	1.5391	-
0.4963	11280	1.5735	-
0.4968	11290	1.5146	-
0.4972	11300	1.5947	-
0.4977	11310	1.5198	-
0.4981	11320	1.5407	-
0.4985	11330	1.5429	-
0.4990	11340	1.5707	-
0.4994	11350	1.53	-
0.4999	11360	1.53	-
0.5003	11370	1.5139	-
0.5007	11380	1.5147	-
0.5012	11390	1.5103	-
0.5016	11400	1.5341	1.3905
0.5021	11410	1.4916	-
0.5025	11420	1.5027	-
0.5029	11430	1.4889	-
0.5034	11440	1.5173	-
0.5038	11450	1.5011	-
0.5043	11460	1.5085	-
0.5047	11470	1.5477	-
0.5051	11480	1.4997	-
0.5056	11490	1.5386	-
0.5060	11500	1.5013	-
0.5065	11510	1.4798	-
0.5069	11520	1.4632	-
0.5073	11530	1.6033	-
0.5078	11540	1.5104	-
0.5082	11550	1.5051	-
0.5087	11560	1.5145	-
0.5091	11570	1.5458	-
0.5095	11580	1.4939	-
0.5100	11590	1.5221	-
0.5104	11600	1.4982	-
0.5109	11610	1.5233	-
0.5113	11620	1.4393	-
0.5117	11628	-	1.4084
0.5117	11630	1.5113	-
0.5122	11640	1.535	-
0.5126	11650	1.5048	-
0.5131	11660	1.5054	-
0.5135	11670	1.5241	-
0.5139	11680	1.42	-
0.5144	11690	1.5034	-
0.5148	11700	1.5498	-
0.5153	11710	1.5002	-
0.5157	11720	1.4688	-
0.5161	11730	1.4961	-
0.5166	11740	1.5483	-
0.5170	11750	1.5343	-
0.5175	11760	1.4693	-
0.5179	11770	1.449	-
0.5183	11780	1.5404	-
0.5188	11790	1.51	-
0.5192	11800	1.4884	-
0.5197	11810	1.565	-
0.5201	11820	1.4742	-
0.5205	11830	1.4754	-
0.5210	11840	1.4987	-
0.5214	11850	1.5367	-
0.5217	11856	-	1.4181
0.5219	11860	1.4749	-
0.5223	11870	1.475	-
0.5227	11880	1.5127	-
0.5232	11890	1.5278	-
0.5236	11900	1.4976	-
0.5241	11910	1.4644	-
0.5245	11920	1.4904	-
0.5249	11930	1.4599	-
0.5254	11940	1.4815	-
0.5258	11950	1.4917	-
0.5263	11960	1.4878	-
0.5267	11970	1.487	-
0.5271	11980	1.4622	-
0.5276	11990	1.4652	-
0.5280	12000	1.4903	-
0.5285	12010	1.4891	-
0.5289	12020	1.4907	-
0.5293	12030	1.5483	-
0.5298	12040	1.4773	-
0.5302	12050	1.463	-
0.5307	12060	1.4695	-
0.5311	12070	1.4376	-
0.5315	12080	1.4988	-
0.5317	12084	-	1.3717
0.5320	12090	1.4532	-
0.5324	12100	1.4465	-
0.5329	12110	1.4732	-
0.5333	12120	1.4332	-
0.5337	12130	1.4819	-
0.5342	12140	1.4708	-
0.5346	12150	1.4461	-
0.5351	12160	1.4849	-
0.5355	12170	1.4621	-
0.5360	12180	1.4814	-
0.5364	12190	1.4907	-
0.5368	12200	1.5085	-
0.5373	12210	1.443	-
0.5377	12220	1.4557	-
0.5382	12230	1.4187	-
0.5386	12240	1.4225	-
0.5390	12250	1.4897	-
0.5395	12260	1.4861	-
0.5399	12270	1.4837	-
0.5404	12280	1.4377	-
0.5408	12290	1.4342	-
0.5412	12300	1.4811	-
0.5417	12310	1.4404	-
0.5418	12312	-	1.3741
0.5421	12320	1.4465	-
0.5426	12330	1.4812	-
0.5430	12340	1.501	-
0.5434	12350	1.4548	-
0.5439	12360	1.4487	-
0.5443	12370	1.4796	-
0.5448	12380	1.5367	-
0.5452	12390	1.4595	-
0.5456	12400	1.4468	-
0.5461	12410	1.4234	-
0.5465	12420	1.4537	-
0.5470	12430	1.4938	-
0.5474	12440	1.4727	-
0.5478	12450	1.4431	-
0.5483	12460	1.3758	-
0.5487	12470	1.4557	-
0.5492	12480	1.4957	-
0.5496	12490	1.4496	-
0.5500	12500	1.4718	-
0.5505	12510	1.412	-
0.5509	12520	1.4936	-
0.5514	12530	1.4916	-
0.5518	12540	1.4287	1.3659
0.5522	12550	1.4701	-
0.5527	12560	1.4577	-
0.5531	12570	1.4643	-
0.5536	12580	1.4675	-
0.5540	12590	1.4215	-
0.5544	12600	1.483	-
0.5549	12610	1.4689	-
0.5553	12620	1.5269	-
0.5558	12630	1.4414	-
0.5562	12640	1.4457	-
0.5566	12650	1.4197	-
0.5571	12660	1.4856	-
0.5575	12670	1.4379	-
0.5580	12680	1.412	-
0.5584	12690	1.4962	-
0.5588	12700	1.5109	-
0.5593	12710	1.3823	-
0.5597	12720	1.4217	-
0.5602	12730	1.4736	-
0.5606	12740	1.4436	-
0.5610	12750	1.4646	-
0.5615	12760	1.4233	-
0.5618	12768	-	1.3543
0.5619	12770	1.4909	-
0.5624	12780	1.4119	-
0.5628	12790	1.4071	-
0.5632	12800	1.3826	-
0.5637	12810	1.4193	-
0.5641	12820	1.4463	-
0.5646	12830	1.4121	-
0.5650	12840	1.4542	-
0.5654	12850	1.4529	-
0.5659	12860	1.4659	-
0.5663	12870	1.3783	-
0.5668	12880	1.4133	-
0.5672	12890	1.4513	-
0.5676	12900	1.4354	-
0.5681	12910	1.4452	-
0.5685	12920	1.4575	-
0.5690	12930	1.4085	-
0.5694	12940	1.4344	-
0.5698	12950	1.4822	-
0.5703	12960	1.3924	-
0.5707	12970	1.3932	-
0.5712	12980	1.4855	-
0.5716	12990	1.3924	-
0.5719	12996	-	1.3651
0.5720	13000	1.4765	-
0.5725	13010	1.394	-
0.5729	13020	1.4274	-
0.5734	13030	1.3972	-
0.5738	13040	1.4563	-
0.5742	13050	1.354	-
0.5747	13060	1.3523	-
0.5751	13070	1.327	-
0.5756	13080	1.4615	-
0.5760	13090	1.4739	-
0.5764	13100	1.441	-
0.5769	13110	1.4538	-
0.5773	13120	1.3798	-
0.5778	13130	1.3703	-
0.5782	13140	1.3992	-
0.5786	13150	1.3828	-
0.5791	13160	1.4268	-
0.5795	13170	1.417	-
0.5800	13180	1.4076	-
0.5804	13190	1.4181	-
0.5808	13200	1.3956	-
0.5813	13210	1.4193	-
0.5817	13220	1.3776	-
0.5819	13224	-	1.3490
0.5822	13230	1.4282	-
0.5826	13240	1.3938	-
0.5830	13250	1.436	-
0.5835	13260	1.4176	-
0.5839	13270	1.4086	-
0.5844	13280	1.41	-
0.5848	13290	1.3745	-
0.5852	13300	1.3866	-
0.5857	13310	1.4465	-
0.5861	13320	1.3864	-
0.5866	13330	1.4132	-
0.5870	13340	1.4098	-
0.5874	13350	1.4078	-
0.5879	13360	1.3765	-
0.5883	13370	1.405	-
0.5888	13380	1.3957	-
0.5892	13390	1.3643	-
0.5896	13400	1.4207	-
0.5901	13410	1.4176	-
0.5905	13420	1.4216	-
0.5910	13430	1.4396	-
0.5914	13440	1.349	-
0.5918	13450	1.4119	-
0.5919	13452	-	1.3499
0.5923	13460	1.4548	-
0.5927	13470	1.3928	-
0.5932	13480	1.3629	-
0.5936	13490	1.38	-
0.5940	13500	1.3953	-
0.5945	13510	1.3817	-
0.5949	13520	1.3891	-
0.5954	13530	1.3242	-
0.5958	13540	1.3882	-
0.5962	13550	1.4029	-
0.5967	13560	1.4136	-
0.5971	13570	1.3648	-
0.5976	13580	1.3468	-
0.5980	13590	1.4043	-
0.5984	13600	1.3795	-
0.5989	13610	1.3915	-
0.5993	13620	1.3711	-
0.5998	13630	1.3794	-
0.6002	13640	1.3376	-
0.6006	13650	1.3746	-
0.6011	13660	1.4531	-
0.6015	13670	1.4219	-
0.6020	13680	1.3212	1.3399
0.6024	13690	1.3421	-
0.6028	13700	1.368	-
0.6033	13710	1.4281	-
0.6037	13720	1.3415	-
0.6042	13730	1.3837	-
0.6046	13740	1.4165	-
0.6050	13750	1.3327	-
0.6055	13760	1.3766	-
0.6059	13770	1.354	-
0.6064	13780	1.3621	-
0.6068	13790	1.3654	-
0.6072	13800	1.416	-
0.6077	13810	1.3287	-
0.6081	13820	1.3889	-
0.6086	13830	1.3802	-
0.6090	13840	1.4272	-
0.6094	13850	1.3512	-
0.6099	13860	1.3985	-
0.6103	13870	1.3596	-
0.6108	13880	1.3506	-
0.6112	13890	1.3514	-
0.6116	13900	1.3647	-
0.6120	13908	-	1.3330
0.6121	13910	1.4076	-
0.6125	13920	1.3262	-
0.6130	13930	1.4206	-
0.6134	13940	1.4126	-
0.6138	13950	1.4195	-
0.6143	13960	1.4168	-
0.6147	13970	1.3114	-
0.6152	13980	1.3665	-
0.6156	13990	1.3642	-
0.6160	14000	1.4038	-
0.6165	14010	1.4278	-
0.6169	14020	1.4381	-
0.6174	14030	1.3383	-
0.6178	14040	1.3685	-
0.6182	14050	1.3725	-
0.6187	14060	1.3632	-
0.6191	14070	1.3714	-
0.6196	14080	1.3896	-
0.6200	14090	1.3554	-
0.6204	14100	1.3802	-
0.6209	14110	1.3746	-
0.6213	14120	1.3924	-
0.6218	14130	1.3621	-
0.6220	14136	-	1.3306
0.6222	14140	1.3591	-
0.6226	14150	1.3368	-
0.6231	14160	1.3401	-
0.6235	14170	1.3554	-
0.6240	14180	1.3525	-
0.6244	14190	1.3448	-
0.6248	14200	1.3239	-
0.6253	14210	1.3177	-
0.6257	14220	1.338	-
0.6262	14230	1.3264	-
0.6266	14240	1.3765	-
0.6270	14250	1.3874	-
0.6275	14260	1.3851	-
0.6279	14270	1.3983	-
0.6284	14280	1.2689	-
0.6288	14290	1.3539	-
0.6292	14300	1.3434	-
0.6297	14310	1.3855	-
0.6301	14320	1.3734	-
0.6306	14330	1.3843	-
0.6310	14340	1.3553	-
0.6314	14350	1.3368	-
0.6319	14360	1.3379	-
0.6321	14364	-	1.3169
0.6323	14370	1.3534	-
0.6328	14380	1.3145	-
0.6332	14390	1.3863	-
0.6336	14400	1.3674	-
0.6341	14410	1.355	-
0.6345	14420	1.3449	-
0.6350	14430	1.3237	-
0.6354	14440	1.3551	-
0.6358	14450	1.3775	-
0.6363	14460	1.3288	-
0.6367	14470	1.3642	-
0.6372	14480	1.2784	-
0.6376	14490	1.3526	-
0.6380	14500	1.3485	-
0.6385	14510	1.3151	-
0.6389	14520	1.3136	-
0.6394	14530	1.3659	-
0.6398	14540	1.3474	-
0.6402	14550	1.3469	-
0.6407	14560	1.295	-
0.6411	14570	1.3943	-
0.6416	14580	1.3538	-
0.6420	14590	1.266	-
0.6421	14592	-	1.3222
0.6424	14600	1.34	-
0.6429	14610	1.3398	-
0.6433	14620	1.3283	-
0.6438	14630	1.3497	-
0.6442	14640	1.3437	-
0.6446	14650	1.2456	-
0.6451	14660	1.347	-
0.6455	14670	1.334	-
0.6460	14680	1.2623	-
0.6464	14690	1.3479	-
0.6468	14700	1.3352	-
0.6473	14710	1.329	-
0.6477	14720	1.352	-
0.6482	14730	1.3168	-
0.6486	14740	1.3736	-
0.6490	14750	1.2614	-
0.6495	14760	1.3781	-
0.6499	14770	1.3465	-
0.6504	14780	1.3098	-
0.6508	14790	1.3285	-
0.6512	14800	1.2573	-
0.6517	14810	1.3285	-
0.6521	14820	1.3276	1.3381
0.6526	14830	1.2976	-
0.6530	14840	1.365	-
0.6534	14850	1.2816	-
0.6539	14860	1.2922	-
0.6543	14870	1.3143	-
0.6548	14880	1.3176	-
0.6552	14890	1.334	-
0.6556	14900	1.3025	-
0.6561	14910	1.3253	-
0.6565	14920	1.3306	-
0.6570	14930	1.2936	-
0.6574	14940	1.3519	-
0.6578	14950	1.3465	-
0.6583	14960	1.3963	-
0.6587	14970	1.3128	-
0.6592	14980	1.3326	-
0.6596	14990	1.3215	-
0.6600	15000	1.2965	-
0.6605	15010	1.2715	-
0.6609	15020	1.2898	-
0.6614	15030	1.266	-
0.6618	15040	1.3231	-
0.6621	15048	-	1.3208
0.6622	15050	1.2693	-
0.6627	15060	1.3535	-
0.6631	15070	1.2925	-
0.6636	15080	1.3368	-
0.6640	15090	1.3142	-
0.6644	15100	1.2516	-
0.6649	15110	1.3144	-
0.6653	15120	1.3206	-
0.6658	15130	1.3076	-
0.6662	15140	1.3026	-
0.6666	15150	1.264	-
0.6671	15160	1.3214	-
0.6675	15170	1.3121	-
0.6680	15180	1.3413	-
0.6684	15190	1.2874	-
0.6688	15200	1.3453	-
0.6693	15210	1.3241	-
0.6697	15220	1.283	-
0.6702	15230	1.3206	-
0.6706	15240	1.2836	-
0.6710	15250	1.2939	-
0.6715	15260	1.3319	-
0.6719	15270	1.3035	-
0.6722	15276	-	1.3239
0.6724	15280	1.3262	-
0.6728	15290	1.305	-
0.6732	15300	1.2725	-
0.6737	15310	1.3409	-
0.6741	15320	1.2692	-
0.6746	15330	1.2741	-
0.6750	15340	1.2952	-
0.6754	15350	1.3172	-
0.6759	15360	1.3083	-
0.6763	15370	1.3406	-
0.6768	15380	1.2683	-
0.6772	15390	1.2877	-
0.6776	15400	1.2887	-
0.6781	15410	1.3634	-
0.6785	15420	1.2597	-
0.6790	15430	1.3323	-
0.6794	15440	1.3248	-
0.6798	15450	1.2562	-
0.6803	15460	1.2724	-
0.6807	15470	1.3273	-
0.6812	15480	1.2858	-
0.6816	15490	1.2815	-
0.6820	15500	1.2529	-
0.6822	15504	-	1.3312
0.6825	15510	1.2882	-
0.6829	15520	1.2683	-
0.6834	15530	1.3657	-
0.6838	15540	1.308	-
0.6842	15550	1.317	-
0.6847	15560	1.3033	-
0.6851	15570	1.2685	-
0.6856	15580	1.3105	-
0.6860	15590	1.2906	-
0.6864	15600	1.3258	-
0.6869	15610	1.2953	-
0.6873	15620	1.3059	-
0.6878	15630	1.2614	-
0.6882	15640	1.2942	-
0.6886	15650	1.2532	-
0.6891	15660	1.236	-
0.6895	15670	1.2996	-
0.6900	15680	1.34	-
0.6904	15690	1.2748	-
0.6908	15700	1.2771	-
0.6913	15710	1.2779	-
0.6917	15720	1.2885	-
0.6922	15730	1.309	-
0.6922	15732	-	1.3238
0.6926	15740	1.3266	-
0.6930	15750	1.2673	-
0.6935	15760	1.2952	-
0.6939	15770	1.2909	-
0.6944	15780	1.2818	-
0.6948	15790	1.3465	-
0.6952	15800	1.2473	-
0.6957	15810	1.2856	-
0.6961	15820	1.237	-
0.6966	15830	1.3231	-
0.6970	15840	1.2915	-
0.6974	15850	1.2685	-
0.6979	15860	1.2886	-
0.6983	15870	1.2966	-
0.6988	15880	1.2856	-
0.6992	15890	1.2903	-
0.6996	15900	1.3119	-
0.7001	15910	1.2656	-
0.7005	15920	1.2597	-
0.7010	15930	1.289	-
0.7014	15940	1.3106	-
0.7018	15950	1.2317	-
0.7023	15960	1.2333	1.3228
0.7027	15970	1.2692	-
0.7032	15980	1.2508	-
0.7036	15990	1.3048	-
0.7040	16000	1.2909	-
0.7045	16010	1.3157	-
0.7049	16020	1.2371	-
0.7054	16030	1.2415	-
0.7058	16040	1.2758	-
0.7062	16050	1.3292	-
0.7067	16060	1.2881	-
0.7071	16070	1.2493	-
0.7076	16080	1.2888	-
0.7080	16090	1.2638	-
0.7084	16100	1.2837	-
0.7089	16110	1.2735	-
0.7093	16120	1.3033	-
0.7098	16130	1.3053	-
0.7102	16140	1.3079	-
0.7106	16150	1.2627	-
0.7111	16160	1.3077	-
0.7115	16170	1.2776	-
0.7120	16180	1.2957	-
0.7123	16188	-	1.3044
0.7124	16190	1.2828	-
0.7128	16200	1.2341	-
0.7133	16210	1.3038	-
0.7137	16220	1.2543	-
0.7142	16230	1.2887	-
0.7146	16240	1.2799	-
0.7150	16250	1.2277	-
0.7155	16260	1.2551	-
0.7159	16270	1.2879	-
0.7164	16280	1.2299	-
0.7168	16290	1.2476	-
0.7172	16300	1.2665	-
0.7177	16310	1.2713	-
0.7181	16320	1.3119	-
0.7186	16330	1.2742	-
0.7190	16340	1.2942	-
0.7194	16350	1.2965	-
0.7199	16360	1.2396	-
0.7203	16370	1.2855	-
0.7208	16380	1.2465	-
0.7212	16390	1.2615	-
0.7216	16400	1.2484	-
0.7221	16410	1.2282	-
0.7223	16416	-	1.2943
0.7225	16420	1.2582	-
0.7230	16430	1.2717	-
0.7234	16440	1.2381	-
0.7238	16450	1.253	-
0.7243	16460	1.294	-
0.7247	16470	1.2642	-
0.7252	16480	1.2378	-
0.7256	16490	1.252	-
0.7260	16500	1.3079	-
0.7265	16510	1.2524	-
0.7269	16520	1.2758	-
0.7274	16530	1.2686	-
0.7278	16540	1.2391	-
0.7282	16550	1.2688	-
0.7287	16560	1.2498	-
0.7291	16570	1.2289	-
0.7296	16580	1.2545	-
0.7300	16590	1.2442	-
0.7304	16600	1.2174	-
0.7309	16610	1.2666	-
0.7313	16620	1.1862	-
0.7318	16630	1.2291	-
0.7322	16640	1.2213	-
0.7324	16644	-	1.2787
0.7326	16650	1.224	-
0.7331	16660	1.2802	-
0.7335	16670	1.2121	-
0.7340	16680	1.2516	-
0.7344	16690	1.2192	-
0.7348	16700	1.2344	-
0.7353	16710	1.2414	-
0.7357	16720	1.2796	-
0.7362	16730	1.3136	-
0.7366	16740	1.2537	-
0.7370	16750	1.2223	-
0.7375	16760	1.2006	-
0.7379	16770	1.2942	-
0.7384	16780	1.3032	-
0.7388	16790	1.2388	-
0.7392	16800	1.2722	-
0.7397	16810	1.2608	-
0.7401	16820	1.2381	-
0.7406	16830	1.2487	-
0.7410	16840	1.2829	-
0.7414	16850	1.2301	-
0.7419	16860	1.263	-
0.7423	16870	1.2495	-
0.7424	16872	-	1.2979
0.7428	16880	1.2278	-
0.7432	16890	1.2721	-
0.7436	16900	1.2571	-
0.7441	16910	1.2413	-
0.7445	16920	1.2705	-
0.7450	16930	1.2757	-
0.7454	16940	1.195	-
0.7458	16950	1.238	-
0.7463	16960	1.2315	-
0.7467	16970	1.2635	-
0.7472	16980	1.2787	-
0.7476	16990	1.2973	-
0.7480	17000	1.272	-
0.7485	17010	1.2639	-
0.7489	17020	1.2379	-
0.7494	17030	1.2368	-
0.7498	17040	1.2524	-
0.7502	17050	1.2437	-
0.7507	17060	1.2509	-
0.7511	17070	1.2695	-
0.7516	17080	1.2434	-
0.7520	17090	1.1947	-
0.7524	17100	1.2259	1.2913
0.7529	17110	1.2492	-
0.7533	17120	1.2503	-
0.7538	17130	1.2807	-
0.7542	17140	1.2746	-
0.7546	17150	1.2324	-
0.7551	17160	1.2585	-
0.7555	17170	1.2412	-
0.7560	17180	1.2298	-
0.7564	17190	1.2872	-
0.7568	17200	1.2574	-
0.7573	17210	1.2349	-
0.7577	17220	1.1893	-
0.7582	17230	1.2378	-
0.7586	17240	1.222	-
0.7590	17250	1.1953	-
0.7595	17260	1.253	-
0.7599	17270	1.2582	-
0.7604	17280	1.2453	-
0.7608	17290	1.2706	-
0.7612	17300	1.2785	-
0.7617	17310	1.2429	-
0.7621	17320	1.2045	-
0.7625	17328	-	1.2879
0.7626	17330	1.2663	-
0.7630	17340	1.2735	-
0.7634	17350	1.2192	-
0.7639	17360	1.2158	-
0.7643	17370	1.2222	-
0.7648	17380	1.2842	-
0.7652	17390	1.1897	-
0.7656	17400	1.2779	-
0.7661	17410	1.1805	-
0.7665	17420	1.2207	-
0.7670	17430	1.238	-
0.7674	17440	1.2212	-
0.7678	17450	1.2118	-
0.7683	17460	1.1886	-
0.7687	17470	1.2233	-
0.7692	17480	1.2069	-
0.7696	17490	1.2557	-
0.7700	17500	1.2182	-
0.7705	17510	1.2609	-
0.7709	17520	1.2025	-
0.7714	17530	1.2006	-
0.7718	17540	1.195	-
0.7722	17550	1.2141	-
0.7725	17556	-	1.2859
0.7727	17560	1.2124	-
0.7731	17570	1.2168	-
0.7736	17580	1.2607	-
0.7740	17590	1.1903	-
0.7744	17600	1.22	-
0.7749	17610	1.2013	-
0.7753	17620	1.2153	-
0.7758	17630	1.219	-
0.7762	17640	1.2299	-
0.7766	17650	1.2242	-
0.7771	17660	1.213	-
0.7775	17670	1.1782	-
0.7780	17680	1.2091	-
0.7784	17690	1.1981	-
0.7788	17700	1.219	-
0.7793	17710	1.2442	-
0.7797	17720	1.2413	-
0.7802	17730	1.2728	-
0.7806	17740	1.2749	-
0.7810	17750	1.1507	-
0.7815	17760	1.2099	-
0.7819	17770	1.1812	-
0.7824	17780	1.1961	-
0.7825	17784	-	1.2898
0.7828	17790	1.2422	-
0.7832	17800	1.266	-
0.7837	17810	1.2	-
0.7841	17820	1.1895	-
0.7846	17830	1.2041	-
0.7850	17840	1.2121	-
0.7854	17850	1.2221	-
0.7859	17860	1.1928	-
0.7863	17870	1.2784	-
0.7868	17880	1.1888	-
0.7872	17890	1.2203	-
0.7876	17900	1.145	-
0.7881	17910	1.2191	-
0.7885	17920	1.1781	-
0.7890	17930	1.274	-
0.7894	17940	1.2172	-
0.7898	17950	1.2311	-
0.7903	17960	1.2293	-
0.7907	17970	1.2375	-
0.7912	17980	1.2101	-
0.7916	17990	1.2302	-
0.7920	18000	1.2414	-
0.7925	18010	1.2026	-
0.7926	18012	-	1.2966
0.7929	18020	1.2213	-
0.7934	18030	1.2202	-
0.7938	18040	1.213	-
0.7942	18050	1.2531	-
0.7947	18060	1.2481	-
0.7951	18070	1.1868	-
0.7956	18080	1.2398	-
0.7960	18090	1.2593	-
0.7964	18100	1.2155	-
0.7969	18110	1.2207	-
0.7973	18120	1.2053	-
0.7978	18130	1.2456	-
0.7982	18140	1.2334	-
0.7986	18150	1.2088	-
0.7991	18160	1.2844	-
0.7995	18170	1.1968	-
0.8000	18180	1.2139	-
0.8004	18190	1.1956	-
0.8008	18200	1.1827	-
0.8013	18210	1.2026	-
0.8017	18220	1.2148	-
0.8022	18230	1.2318	-
0.8026	18240	1.2172	1.2964
0.8030	18250	1.1875	-
0.8035	18260	1.2177	-
0.8039	18270	1.2235	-
0.8044	18280	1.1498	-
0.8048	18290	1.191	-
0.8052	18300	1.2101	-
0.8057	18310	1.2233	-
0.8061	18320	1.2359	-
0.8066	18330	1.2227	-
0.8070	18340	1.1317	-
0.8074	18350	1.1824	-
0.8079	18360	1.2054	-
0.8083	18370	1.199	-
0.8088	18380	1.2083	-
0.8092	18390	1.177	-
0.8096	18400	1.2778	-
0.8101	18410	1.2024	-
0.8105	18420	1.1434	-
0.8110	18430	1.2401	-
0.8114	18440	1.2344	-
0.8118	18450	1.2262	-
0.8123	18460	1.231	-
0.8126	18468	-	1.2932
0.8127	18470	1.1786	-
0.8132	18480	1.2372	-
0.8136	18490	1.1754	-
0.8140	18500	1.2463	-
0.8145	18510	1.178	-
0.8149	18520	1.1823	-
0.8154	18530	1.1991	-
0.8158	18540	1.2676	-
0.8162	18550	1.1932	-
0.8167	18560	1.2035	-
0.8171	18570	1.2362	-
0.8176	18580	1.2377	-
0.8180	18590	1.1845	-
0.8184	18600	1.2112	-
0.8189	18610	1.2326	-
0.8193	18620	1.1912	-
0.8198	18630	1.1458	-
0.8202	18640	1.2165	-
0.8206	18650	1.1886	-
0.8211	18660	1.2518	-
0.8215	18670	1.1951	-
0.8220	18680	1.1683	-
0.8224	18690	1.1484	-
0.8227	18696	-	1.2895
0.8228	18700	1.1758	-
0.8233	18710	1.1772	-
0.8237	18720	1.1932	-
0.8242	18730	1.194	-
0.8246	18740	1.2019	-
0.8250	18750	1.2401	-
0.8255	18760	1.1949	-
0.8259	18770	1.2161	-
0.8264	18780	1.1595	-
0.8268	18790	1.2183	-
0.8272	18800	1.1959	-
0.8277	18810	1.1794	-
0.8281	18820	1.177	-
0.8286	18830	1.2342	-
0.8290	18840	1.1864	-
0.8294	18850	1.1542	-
0.8299	18860	1.1671	-
0.8303	18870	1.2044	-
0.8308	18880	1.1886	-
0.8312	18890	1.237	-
0.8316	18900	1.2361	-
0.8321	18910	1.1779	-
0.8325	18920	1.2196	-
0.8327	18924	-	1.2877
0.8330	18930	1.1994	-
0.8334	18940	1.1567	-
0.8338	18950	1.1561	-
0.8343	18960	1.1658	-
0.8347	18970	1.2045	-
0.8352	18980	1.1577	-
0.8356	18990	1.1929	-
0.8360	19000	1.1972	-
0.8365	19010	1.2352	-
0.8369	19020	1.1933	-
0.8374	19030	1.1922	-
0.8378	19040	1.2256	-
0.8382	19050	1.2088	-
0.8387	19060	1.2182	-
0.8391	19070	1.2038	-
0.8396	19080	1.2032	-
0.8400	19090	1.1768	-
0.8404	19100	1.1544	-
0.8409	19110	1.2361	-
0.8413	19120	1.23	-
0.8418	19130	1.1838	-
0.8422	19140	1.1475	-
0.8426	19150	1.1751	-
0.8427	19152	-	1.2913
0.8431	19160	1.1406	-
0.8435	19170	1.2098	-
0.8440	19180	1.2532	-
0.8444	19190	1.1946	-
0.8448	19200	1.2387	-
0.8453	19210	1.2257	-
0.8457	19220	1.182	-
0.8462	19230	1.2287	-
0.8466	19240	1.1705	-
0.8470	19250	1.1855	-
0.8475	19260	1.2011	-
0.8479	19270	1.1663	-
0.8484	19280	1.218	-
0.8488	19290	1.2192	-
0.8492	19300	1.1991	-
0.8497	19310	1.1901	-
0.8501	19320	1.2169	-
0.8506	19330	1.1561	-
0.8510	19340	1.1988	-
0.8514	19350	1.1793	-
0.8519	19360	1.1818	-
0.8523	19370	1.1432	-
0.8528	19380	1.1839	1.2769
0.8532	19390	1.1586	-
0.8536	19400	1.2151	-
0.8541	19410	1.2211	-
0.8545	19420	1.1615	-
0.8550	19430	1.1463	-
0.8554	19440	1.1753	-
0.8558	19450	1.2043	-
0.8563	19460	1.2051	-
0.8567	19470	1.2134	-
0.8572	19480	1.1604	-
0.8576	19490	1.1979	-
0.8580	19500	1.1887	-
0.8585	19510	1.1688	-
0.8589	19520	1.1976	-
0.8594	19530	1.2194	-
0.8598	19540	1.1675	-
0.8602	19550	1.2037	-
0.8607	19560	1.2452	-
0.8611	19570	1.1723	-
0.8616	19580	1.153	-
0.8620	19590	1.1504	-
0.8624	19600	1.1926	-
0.8628	19608	-	1.2764
0.8629	19610	1.1496	-
0.8633	19620	1.2124	-
0.8638	19630	1.1219	-
0.8642	19640	1.1822	-
0.8646	19650	1.1575	-
0.8651	19660	1.1652	-
0.8655	19670	1.2088	-
0.8660	19680	1.1977	-
0.8664	19690	1.1939	-
0.8668	19700	1.177	-
0.8673	19710	1.1701	-
0.8677	19720	1.1893	-
0.8682	19730	1.1722	-
0.8686	19740	1.1608	-
0.8690	19750	1.1707	-
0.8695	19760	1.1422	-
0.8699	19770	1.1751	-
0.8704	19780	1.1667	-
0.8708	19790	1.1931	-
0.8712	19800	1.1852	-
0.8717	19810	1.2009	-
0.8721	19820	1.1698	-
0.8726	19830	1.1863	-
0.8728	19836	-	1.2761
0.8730	19840	1.1608	-
0.8734	19850	1.1618	-
0.8739	19860	1.1592	-
0.8743	19870	1.1738	-
0.8748	19880	1.1662	-
0.8752	19890	1.1805	-
0.8756	19900	1.1741	-
0.8761	19910	1.1738	-
0.8765	19920	1.169	-
0.8770	19930	1.1992	-
0.8774	19940	1.1782	-
0.8778	19950	1.2109	-
0.8783	19960	1.1979	-
0.8787	19970	1.198	-
0.8792	19980	1.2013	-
0.8796	19990	1.1415	-
0.8800	20000	1.2163	-
0.8805	20010	1.1763	-
0.8809	20020	1.1741	-
0.8814	20030	1.1976	-
0.8818	20040	1.1838	-
0.8822	20050	1.1541	-
0.8827	20060	1.1972	-
0.8829	20064	-	1.2800
0.8831	20070	1.1929	-
0.8836	20080	1.2182	-
0.8840	20090	1.1754	-
0.8844	20100	1.2219	-
0.8849	20110	1.2096	-
0.8853	20120	1.1524	-
0.8858	20130	1.1808	-
0.8862	20140	1.1418	-
0.8866	20150	1.1902	-
0.8871	20160	1.1581	-
0.8875	20170	1.1643	-
0.8880	20180	1.1412	-
0.8884	20190	1.184	-
0.8888	20200	1.191	-
0.8893	20210	1.1907	-
0.8897	20220	1.2149	-
0.8902	20230	1.1904	-
0.8906	20240	1.1605	-
0.8910	20250	1.1486	-
0.8915	20260	1.1368	-
0.8919	20270	1.1529	-
0.8924	20280	1.204	-
0.8928	20290	1.1734	-
0.8929	20292	-	1.2813
0.8933	20300	1.1963	-
0.8937	20310	1.1759	-
0.8941	20320	1.1834	-
0.8946	20330	1.168	-
0.8950	20340	1.1716	-
0.8955	20350	1.1615	-
0.8959	20360	1.1912	-
0.8963	20370	1.1266	-
0.8968	20380	1.1912	-
0.8972	20390	1.1751	-
0.8977	20400	1.1738	-
0.8981	20410	1.1454	-
0.8985	20420	1.1703	-
0.8990	20430	1.1886	-
0.8994	20440	1.1615	-
0.8999	20450	1.1755	-
0.9003	20460	1.1738	-
0.9007	20470	1.148	-
0.9012	20480	1.2008	-
0.9016	20490	1.1772	-
0.9021	20500	1.1683	-
0.9025	20510	1.1853	-
0.9029	20520	1.2083	1.2822
0.9034	20530	1.1498	-
0.9038	20540	1.201	-
0.9043	20550	1.1668	-
0.9047	20560	1.1356	-
0.9051	20570	1.2196	-
0.9056	20580	1.1242	-
0.9060	20590	1.1576	-
0.9065	20600	1.18	-
0.9069	20610	1.1991	-
0.9073	20620	1.1868	-
0.9078	20630	1.1363	-
0.9082	20640	1.1029	-
0.9087	20650	1.1726	-
0.9091	20660	1.1806	-
0.9095	20670	1.1878	-
0.9100	20680	1.1615	-
0.9104	20690	1.1839	-
0.9109	20700	1.171	-
0.9113	20710	1.172	-
0.9117	20720	1.1567	-
0.9122	20730	1.2012	-
0.9126	20740	1.201	-
0.9130	20748	-	1.2822
0.9131	20750	1.146	-
0.9135	20760	1.1615	-
0.9139	20770	1.1698	-
0.9144	20780	1.2232	-
0.9148	20790	1.1875	-
0.9153	20800	1.1833	-
0.9157	20810	1.151	-
0.9161	20820	1.1775	-
0.9166	20830	1.1834	-
0.9170	20840	1.1403	-
0.9175	20850	1.19	-
0.9179	20860	1.1988	-
0.9183	20870	1.1574	-
0.9188	20880	1.1754	-
0.9192	20890	1.1629	-
0.9197	20900	1.1821	-
0.9201	20910	1.1873	-
0.9205	20920	1.1586	-
0.9210	20930	1.163	-
0.9214	20940	1.1527	-
0.9219	20950	1.2181	-
0.9223	20960	1.2028	-
0.9227	20970	1.1593	-
0.9230	20976	-	1.2813
0.9232	20980	1.1685	-
0.9236	20990	1.1601	-
0.9241	21000	1.1808	-
0.9245	21010	1.1888	-
0.9249	21020	1.1695	-
0.9254	21030	1.1648	-
0.9258	21040	1.1273	-
0.9263	21050	1.1293	-
0.9267	21060	1.1732	-
0.9271	21070	1.17	-
0.9276	21080	1.1895	-
0.9280	21090	1.1651	-
0.9285	21100	1.1569	-
0.9289	21110	1.2006	-
0.9293	21120	1.137	-
0.9298	21130	1.1731	-
0.9302	21140	1.172	-
0.9307	21150	1.2165	-
0.9311	21160	1.1741	-
0.9315	21170	1.1729	-
0.9320	21180	1.2184	-
0.9324	21190	1.1637	-
0.9329	21200	1.1199	-
0.9330	21204	-	1.2822
0.9333	21210	1.1504	-
0.9337	21220	1.1847	-
0.9342	21230	1.1737	-
0.9346	21240	1.1921	-
0.9351	21250	1.1726	-
0.9355	21260	1.1606	-
0.9359	21270	1.15	-
0.9364	21280	1.1795	-
0.9368	21290	1.214	-
0.9373	21300	1.1322	-
0.9377	21310	1.1632	-
0.9381	21320	1.1897	-
0.9386	21330	1.1339	-
0.9390	21340	1.1294	-
0.9395	21350	1.1729	-
0.9399	21360	1.1391	-
0.9403	21370	1.161	-
0.9408	21380	1.1279	-
0.9412	21390	1.1837	-
0.9417	21400	1.1542	-
0.9421	21410	1.1958	-
0.9425	21420	1.1874	-
0.9430	21430	1.1967	-
0.9431	21432	-	1.2821
0.9434	21440	1.1994	-
0.9439	21450	1.0884	-
0.9443	21460	1.1754	-
0.9447	21470	1.2419	-
0.9452	21480	1.1535	-
0.9456	21490	1.1707	-
0.9461	21500	1.2205	-
0.9465	21510	1.1862	-
0.9469	21520	1.1575	-
0.9474	21530	1.1961	-
0.9478	21540	1.2047	-
0.9483	21550	1.1704	-
0.9487	21560	1.1551	-
0.9491	21570	1.1974	-
0.9496	21580	1.2068	-
0.9500	21590	1.1363	-
0.9505	21600	1.1434	-
0.9509	21610	1.1624	-
0.9513	21620	1.1478	-
0.9518	21630	1.1534	-
0.9522	21640	1.1595	-
0.9527	21650	1.2066	-
0.9531	21660	1.1735	1.2811
0.9535	21670	1.2031	-
0.9540	21680	1.1908	-
0.9544	21690	1.2042	-
0.9549	21700	1.2143	-
0.9553	21710	1.1722	-
0.9557	21720	1.1768	-
0.9562	21730	1.0806	-
0.9566	21740	1.2078	-
0.9571	21750	1.105	-
0.9575	21760	1.1863	-
0.9579	21770	1.1629	-
0.9584	21780	1.1703	-
0.9588	21790	1.1795	-
0.9593	21800	1.1937	-
0.9597	21810	1.1899	-
0.9601	21820	1.1469	-
0.9606	21830	1.1562	-
0.9610	21840	1.1894	-
0.9615	21850	1.1997	-
0.9619	21860	1.2046	-
0.9623	21870	1.1559	-
0.9628	21880	1.1298	-
0.9631	21888	-	1.2803
0.9632	21890	1.1528	-
0.9637	21900	1.138	-
0.9641	21910	1.1897	-
0.9645	21920	1.1657	-
0.9650	21930	1.165	-
0.9654	21940	1.1726	-
0.9659	21950	1.2164	-
0.9663	21960	1.172	-
0.9667	21970	1.1561	-
0.9672	21980	1.1909	-
0.9676	21990	1.1474	-
0.9681	22000	1.1753	-
0.9685	22010	1.1595	-
0.9689	22020	1.1908	-
0.9694	22030	1.1736	-
0.9698	22040	1.2087	-
0.9703	22050	1.1879	-
0.9707	22060	1.1927	-
0.9711	22070	1.1917	-
0.9716	22080	1.165	-
0.9720	22090	1.17	-
0.9725	22100	1.159	-
0.9729	22110	1.192	-
0.9732	22116	-	1.2805
0.9733	22120	1.1535	-
0.9738	22130	1.0925	-
0.9742	22140	1.1989	-
0.9747	22150	1.1439	-
0.9751	22160	1.167	-
0.9755	22170	1.1805	-
0.9760	22180	1.1716	-
0.9764	22190	1.183	-
0.9769	22200	1.1084	-
0.9773	22210	1.1923	-
0.9777	22220	1.1794	-
0.9782	22230	1.1896	-
0.9786	22240	1.147	-
0.9791	22250	1.1475	-
0.9795	22260	1.1225	-
0.9799	22270	1.123	-
0.9804	22280	1.1865	-
0.9808	22290	1.2427	-
0.9813	22300	1.2132	-
0.9817	22310	1.179	-
0.9821	22320	1.1455	-
0.9826	22330	1.1377	-
0.9830	22340	1.1553	-
0.9832	22344	-	1.2802
0.9835	22350	1.1494	-
0.9839	22360	1.1668	-
0.9843	22370	1.1898	-
0.9848	22380	1.1729	-
0.9852	22390	1.0924	-
0.9857	22400	1.2064	-
0.9861	22410	1.1467	-
0.9865	22420	1.1726	-
0.9870	22430	1.1473	-
0.9874	22440	1.2031	-
0.9879	22450	1.1873	-
0.9883	22460	1.1537	-
0.9887	22470	1.1975	-
0.9892	22480	1.1533	-
0.9896	22490	1.1604	-
0.9901	22500	1.1967	-
0.9905	22510	1.1582	-
0.9909	22520	1.1518	-
0.9914	22530	1.1856	-
0.9918	22540	1.1812	-
0.9923	22550	1.1463	-
0.9927	22560	1.1464	-
0.9931	22570	1.1826	-
0.9932	22572	-	1.2802
0.9936	22580	1.1698	-
0.9940	22590	1.1698	-
0.9945	22600	1.1885	-
0.9949	22610	1.1201	-
0.9953	22620	1.1501	-
0.9958	22630	1.1219	-
0.9962	22640	1.1748	-
0.9967	22650	1.1837	-
0.9971	22660	1.2276	-
0.9975	22670	1.1663	-
0.9980	22680	1.186	-
0.9984	22690	1.1437	-
0.9989	22700	1.1212	-
0.9993	22710	1.1412	-
0.9997	22720	1.1761	-

Framework Versions

Python: 3.11.8
Sentence Transformers: 3.1.1
Transformers: 4.45.1
PyTorch: 2.5.1.post302
Accelerate: 0.34.2
Datasets: 3.0.0
Tokenizers: 0.20.0

Citation

BibTeX

Sentence Transformers

bibtex

@inproceedings{reimers-2019-sentence-bert,
    title = "Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks",
    author = "Reimers, Nils and Gurevych, Iryna",
    booktitle = "Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing",
    month = "11",
    year = "2019",
    publisher = "Association for Computational Linguistics",
    url = "https://arxiv.org/abs/1908.10084",
}

MaskedCachedMultipleNegativesRankingLoss

bibtex

@misc{gao2021scaling,
    title={Scaling Deep Contrastive Learning Batch Size under Memory Limited Setup},
    author={Luyu Gao and Yunyi Zhang and Jiawei Han and Jamie Callan},
    year={2021},
    eprint={2101.06983},
    archivePrefix={arXiv},
    primaryClass={cs.LG}
}

	state_name	premise_name
type	string	string
details	min: 11 tokens mean: 16.44 tokens max: 24 tokens	min: 3 tokens mean: 10.9 tokens max: 50 tokens

state_name	premise_name
`Mathlib.Algebra.Field.IsField#12`	`Classical.choose_spec`
`Mathlib.Algebra.Field.IsField#12`	`IsField.mul_comm`
`Mathlib.Algebra.Field.IsField#12`	`eq_of_heq`