morit commited on
Commit
2588c3d
1 Parent(s): 298533c

Upload 12 files

Browse files

upload model and results

.gitattributes CHANGED
@@ -32,3 +32,4 @@ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
32
  *.zip filter=lfs diff=lfs merge=lfs -text
33
  *.zst filter=lfs diff=lfs merge=lfs -text
34
  *tfevents* filter=lfs diff=lfs merge=lfs -text
 
 
32
  *.zip filter=lfs diff=lfs merge=lfs -text
33
  *.zst filter=lfs diff=lfs merge=lfs -text
34
  *tfevents* filter=lfs diff=lfs merge=lfs -text
35
+ tokenizer.json filter=lfs diff=lfs merge=lfs -text
all_results.json ADDED
@@ -0,0 +1,20 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "epoch": 2.0,
3
+ "eval_accuracy": 0.3333333333333333,
4
+ "eval_loss": 1.0986275672912598,
5
+ "eval_runtime": 4.8281,
6
+ "eval_samples": 2490,
7
+ "eval_samples_per_second": 515.736,
8
+ "eval_steps_per_second": 64.622,
9
+ "predict_accuracy": 0.3333333333333333,
10
+ "predict_loss": 1.0986275672912598,
11
+ "predict_runtime": 9.6687,
12
+ "predict_samples": 5010,
13
+ "predict_samples_per_second": 518.166,
14
+ "predict_steps_per_second": 64.848,
15
+ "train_loss": 1.0999860929852203,
16
+ "train_runtime": 4899.674,
17
+ "train_samples": 392702,
18
+ "train_samples_per_second": 160.297,
19
+ "train_steps_per_second": 5.009
20
+ }
config.json ADDED
@@ -0,0 +1,41 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "_name_or_path": "cardiffnlp/twitter-xlm-roberta-base",
3
+ "architectures": [
4
+ "XLMRobertaForSequenceClassification"
5
+ ],
6
+ "attention_probs_dropout_prob": 0.1,
7
+ "bos_token_id": 0,
8
+ "classifier_dropout": null,
9
+ "eos_token_id": 2,
10
+ "finetuning_task": "xnli",
11
+ "gradient_checkpointing": false,
12
+ "hidden_act": "gelu",
13
+ "hidden_dropout_prob": 0.1,
14
+ "hidden_size": 768,
15
+ "id2label": {
16
+ "0": "LABEL_0",
17
+ "1": "LABEL_1",
18
+ "2": "LABEL_2"
19
+ },
20
+ "initializer_range": 0.02,
21
+ "intermediate_size": 3072,
22
+ "label2id": {
23
+ "LABEL_0": 0,
24
+ "LABEL_1": 1,
25
+ "LABEL_2": 2
26
+ },
27
+ "layer_norm_eps": 1e-05,
28
+ "max_position_embeddings": 514,
29
+ "model_type": "xlm-roberta",
30
+ "num_attention_heads": 12,
31
+ "num_hidden_layers": 12,
32
+ "output_past": true,
33
+ "pad_token_id": 1,
34
+ "position_embedding_type": "absolute",
35
+ "problem_type": "single_label_classification",
36
+ "torch_dtype": "float32",
37
+ "transformers_version": "4.25.1",
38
+ "type_vocab_size": 1,
39
+ "use_cache": true,
40
+ "vocab_size": 250002
41
+ }
eval_results.json ADDED
@@ -0,0 +1,9 @@
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "epoch": 2.0,
3
+ "eval_accuracy": 0.3333333333333333,
4
+ "eval_loss": 1.0986275672912598,
5
+ "eval_runtime": 4.8281,
6
+ "eval_samples": 2490,
7
+ "eval_samples_per_second": 515.736,
8
+ "eval_steps_per_second": 64.622
9
+ }
predict_results.json ADDED
@@ -0,0 +1,8 @@
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "predict_accuracy": 0.3333333333333333,
3
+ "predict_loss": 1.0986275672912598,
4
+ "predict_runtime": 9.6687,
5
+ "predict_samples": 5010,
6
+ "predict_samples_per_second": 518.166,
7
+ "predict_steps_per_second": 64.848
8
+ }
predictions.txt ADDED
@@ -0,0 +1,5011 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ index prediction
2
+ 0 entailment
3
+ 1 entailment
4
+ 2 entailment
5
+ 3 entailment
6
+ 4 entailment
7
+ 5 entailment
8
+ 6 entailment
9
+ 7 entailment
10
+ 8 entailment
11
+ 9 entailment
12
+ 10 entailment
13
+ 11 entailment
14
+ 12 entailment
15
+ 13 entailment
16
+ 14 entailment
17
+ 15 entailment
18
+ 16 entailment
19
+ 17 entailment
20
+ 18 entailment
21
+ 19 entailment
22
+ 20 entailment
23
+ 21 entailment
24
+ 22 entailment
25
+ 23 entailment
26
+ 24 entailment
27
+ 25 entailment
28
+ 26 entailment
29
+ 27 entailment
30
+ 28 entailment
31
+ 29 entailment
32
+ 30 entailment
33
+ 31 entailment
34
+ 32 entailment
35
+ 33 entailment
36
+ 34 entailment
37
+ 35 entailment
38
+ 36 entailment
39
+ 37 entailment
40
+ 38 entailment
41
+ 39 entailment
42
+ 40 entailment
43
+ 41 entailment
44
+ 42 entailment
45
+ 43 entailment
46
+ 44 entailment
47
+ 45 entailment
48
+ 46 entailment
49
+ 47 entailment
50
+ 48 entailment
51
+ 49 entailment
52
+ 50 entailment
53
+ 51 entailment
54
+ 52 entailment
55
+ 53 entailment
56
+ 54 entailment
57
+ 55 entailment
58
+ 56 entailment
59
+ 57 entailment
60
+ 58 entailment
61
+ 59 entailment
62
+ 60 entailment
63
+ 61 entailment
64
+ 62 entailment
65
+ 63 entailment
66
+ 64 entailment
67
+ 65 entailment
68
+ 66 entailment
69
+ 67 entailment
70
+ 68 entailment
71
+ 69 entailment
72
+ 70 entailment
73
+ 71 entailment
74
+ 72 entailment
75
+ 73 entailment
76
+ 74 entailment
77
+ 75 entailment
78
+ 76 entailment
79
+ 77 entailment
80
+ 78 entailment
81
+ 79 entailment
82
+ 80 entailment
83
+ 81 entailment
84
+ 82 entailment
85
+ 83 entailment
86
+ 84 entailment
87
+ 85 entailment
88
+ 86 entailment
89
+ 87 entailment
90
+ 88 entailment
91
+ 89 entailment
92
+ 90 entailment
93
+ 91 entailment
94
+ 92 entailment
95
+ 93 entailment
96
+ 94 entailment
97
+ 95 entailment
98
+ 96 entailment
99
+ 97 entailment
100
+ 98 entailment
101
+ 99 entailment
102
+ 100 entailment
103
+ 101 entailment
104
+ 102 entailment
105
+ 103 entailment
106
+ 104 entailment
107
+ 105 entailment
108
+ 106 entailment
109
+ 107 entailment
110
+ 108 entailment
111
+ 109 entailment
112
+ 110 entailment
113
+ 111 entailment
114
+ 112 entailment
115
+ 113 entailment
116
+ 114 entailment
117
+ 115 entailment
118
+ 116 entailment
119
+ 117 entailment
120
+ 118 entailment
121
+ 119 entailment
122
+ 120 entailment
123
+ 121 entailment
124
+ 122 entailment
125
+ 123 entailment
126
+ 124 entailment
127
+ 125 entailment
128
+ 126 entailment
129
+ 127 entailment
130
+ 128 entailment
131
+ 129 entailment
132
+ 130 entailment
133
+ 131 entailment
134
+ 132 entailment
135
+ 133 entailment
136
+ 134 entailment
137
+ 135 entailment
138
+ 136 entailment
139
+ 137 entailment
140
+ 138 entailment
141
+ 139 entailment
142
+ 140 entailment
143
+ 141 entailment
144
+ 142 entailment
145
+ 143 entailment
146
+ 144 entailment
147
+ 145 entailment
148
+ 146 entailment
149
+ 147 entailment
150
+ 148 entailment
151
+ 149 entailment
152
+ 150 entailment
153
+ 151 entailment
154
+ 152 entailment
155
+ 153 entailment
156
+ 154 entailment
157
+ 155 entailment
158
+ 156 entailment
159
+ 157 entailment
160
+ 158 entailment
161
+ 159 entailment
162
+ 160 entailment
163
+ 161 entailment
164
+ 162 entailment
165
+ 163 entailment
166
+ 164 entailment
167
+ 165 entailment
168
+ 166 entailment
169
+ 167 entailment
170
+ 168 entailment
171
+ 169 entailment
172
+ 170 entailment
173
+ 171 entailment
174
+ 172 entailment
175
+ 173 entailment
176
+ 174 entailment
177
+ 175 entailment
178
+ 176 entailment
179
+ 177 entailment
180
+ 178 entailment
181
+ 179 entailment
182
+ 180 entailment
183
+ 181 entailment
184
+ 182 entailment
185
+ 183 entailment
186
+ 184 entailment
187
+ 185 entailment
188
+ 186 entailment
189
+ 187 entailment
190
+ 188 entailment
191
+ 189 entailment
192
+ 190 entailment
193
+ 191 entailment
194
+ 192 entailment
195
+ 193 entailment
196
+ 194 entailment
197
+ 195 entailment
198
+ 196 entailment
199
+ 197 entailment
200
+ 198 entailment
201
+ 199 entailment
202
+ 200 entailment
203
+ 201 entailment
204
+ 202 entailment
205
+ 203 entailment
206
+ 204 entailment
207
+ 205 entailment
208
+ 206 entailment
209
+ 207 entailment
210
+ 208 entailment
211
+ 209 entailment
212
+ 210 entailment
213
+ 211 entailment
214
+ 212 entailment
215
+ 213 entailment
216
+ 214 entailment
217
+ 215 entailment
218
+ 216 entailment
219
+ 217 entailment
220
+ 218 entailment
221
+ 219 entailment
222
+ 220 entailment
223
+ 221 entailment
224
+ 222 entailment
225
+ 223 entailment
226
+ 224 entailment
227
+ 225 entailment
228
+ 226 entailment
229
+ 227 entailment
230
+ 228 entailment
231
+ 229 entailment
232
+ 230 entailment
233
+ 231 entailment
234
+ 232 entailment
235
+ 233 entailment
236
+ 234 entailment
237
+ 235 entailment
238
+ 236 entailment
239
+ 237 entailment
240
+ 238 entailment
241
+ 239 entailment
242
+ 240 entailment
243
+ 241 entailment
244
+ 242 entailment
245
+ 243 entailment
246
+ 244 entailment
247
+ 245 entailment
248
+ 246 entailment
249
+ 247 entailment
250
+ 248 entailment
251
+ 249 entailment
252
+ 250 entailment
253
+ 251 entailment
254
+ 252 entailment
255
+ 253 entailment
256
+ 254 entailment
257
+ 255 entailment
258
+ 256 entailment
259
+ 257 entailment
260
+ 258 entailment
261
+ 259 entailment
262
+ 260 entailment
263
+ 261 entailment
264
+ 262 entailment
265
+ 263 entailment
266
+ 264 entailment
267
+ 265 entailment
268
+ 266 entailment
269
+ 267 entailment
270
+ 268 entailment
271
+ 269 entailment
272
+ 270 entailment
273
+ 271 entailment
274
+ 272 entailment
275
+ 273 entailment
276
+ 274 entailment
277
+ 275 entailment
278
+ 276 entailment
279
+ 277 entailment
280
+ 278 entailment
281
+ 279 entailment
282
+ 280 entailment
283
+ 281 entailment
284
+ 282 entailment
285
+ 283 entailment
286
+ 284 entailment
287
+ 285 entailment
288
+ 286 entailment
289
+ 287 entailment
290
+ 288 entailment
291
+ 289 entailment
292
+ 290 entailment
293
+ 291 entailment
294
+ 292 entailment
295
+ 293 entailment
296
+ 294 entailment
297
+ 295 entailment
298
+ 296 entailment
299
+ 297 entailment
300
+ 298 entailment
301
+ 299 entailment
302
+ 300 entailment
303
+ 301 entailment
304
+ 302 entailment
305
+ 303 entailment
306
+ 304 entailment
307
+ 305 entailment
308
+ 306 entailment
309
+ 307 entailment
310
+ 308 entailment
311
+ 309 entailment
312
+ 310 entailment
313
+ 311 entailment
314
+ 312 entailment
315
+ 313 entailment
316
+ 314 entailment
317
+ 315 entailment
318
+ 316 entailment
319
+ 317 entailment
320
+ 318 entailment
321
+ 319 entailment
322
+ 320 entailment
323
+ 321 entailment
324
+ 322 entailment
325
+ 323 entailment
326
+ 324 entailment
327
+ 325 entailment
328
+ 326 entailment
329
+ 327 entailment
330
+ 328 entailment
331
+ 329 entailment
332
+ 330 entailment
333
+ 331 entailment
334
+ 332 entailment
335
+ 333 entailment
336
+ 334 entailment
337
+ 335 entailment
338
+ 336 entailment
339
+ 337 entailment
340
+ 338 entailment
341
+ 339 entailment
342
+ 340 entailment
343
+ 341 entailment
344
+ 342 entailment
345
+ 343 entailment
346
+ 344 entailment
347
+ 345 entailment
348
+ 346 entailment
349
+ 347 entailment
350
+ 348 entailment
351
+ 349 entailment
352
+ 350 entailment
353
+ 351 entailment
354
+ 352 entailment
355
+ 353 entailment
356
+ 354 entailment
357
+ 355 entailment
358
+ 356 entailment
359
+ 357 entailment
360
+ 358 entailment
361
+ 359 entailment
362
+ 360 entailment
363
+ 361 entailment
364
+ 362 entailment
365
+ 363 entailment
366
+ 364 entailment
367
+ 365 entailment
368
+ 366 entailment
369
+ 367 entailment
370
+ 368 entailment
371
+ 369 entailment
372
+ 370 entailment
373
+ 371 entailment
374
+ 372 entailment
375
+ 373 entailment
376
+ 374 entailment
377
+ 375 entailment
378
+ 376 entailment
379
+ 377 entailment
380
+ 378 entailment
381
+ 379 entailment
382
+ 380 entailment
383
+ 381 entailment
384
+ 382 entailment
385
+ 383 entailment
386
+ 384 entailment
387
+ 385 entailment
388
+ 386 entailment
389
+ 387 entailment
390
+ 388 entailment
391
+ 389 entailment
392
+ 390 entailment
393
+ 391 entailment
394
+ 392 entailment
395
+ 393 entailment
396
+ 394 entailment
397
+ 395 entailment
398
+ 396 entailment
399
+ 397 entailment
400
+ 398 entailment
401
+ 399 entailment
402
+ 400 entailment
403
+ 401 entailment
404
+ 402 entailment
405
+ 403 entailment
406
+ 404 entailment
407
+ 405 entailment
408
+ 406 entailment
409
+ 407 entailment
410
+ 408 entailment
411
+ 409 entailment
412
+ 410 entailment
413
+ 411 entailment
414
+ 412 entailment
415
+ 413 entailment
416
+ 414 entailment
417
+ 415 entailment
418
+ 416 entailment
419
+ 417 entailment
420
+ 418 entailment
421
+ 419 entailment
422
+ 420 entailment
423
+ 421 entailment
424
+ 422 entailment
425
+ 423 entailment
426
+ 424 entailment
427
+ 425 entailment
428
+ 426 entailment
429
+ 427 entailment
430
+ 428 entailment
431
+ 429 entailment
432
+ 430 entailment
433
+ 431 entailment
434
+ 432 entailment
435
+ 433 entailment
436
+ 434 entailment
437
+ 435 entailment
438
+ 436 entailment
439
+ 437 entailment
440
+ 438 entailment
441
+ 439 entailment
442
+ 440 entailment
443
+ 441 entailment
444
+ 442 entailment
445
+ 443 entailment
446
+ 444 entailment
447
+ 445 entailment
448
+ 446 entailment
449
+ 447 entailment
450
+ 448 entailment
451
+ 449 entailment
452
+ 450 entailment
453
+ 451 entailment
454
+ 452 entailment
455
+ 453 entailment
456
+ 454 entailment
457
+ 455 entailment
458
+ 456 entailment
459
+ 457 entailment
460
+ 458 entailment
461
+ 459 entailment
462
+ 460 entailment
463
+ 461 entailment
464
+ 462 entailment
465
+ 463 entailment
466
+ 464 entailment
467
+ 465 entailment
468
+ 466 entailment
469
+ 467 entailment
470
+ 468 entailment
471
+ 469 entailment
472
+ 470 entailment
473
+ 471 entailment
474
+ 472 entailment
475
+ 473 entailment
476
+ 474 entailment
477
+ 475 entailment
478
+ 476 entailment
479
+ 477 entailment
480
+ 478 entailment
481
+ 479 entailment
482
+ 480 entailment
483
+ 481 entailment
484
+ 482 entailment
485
+ 483 entailment
486
+ 484 entailment
487
+ 485 entailment
488
+ 486 entailment
489
+ 487 entailment
490
+ 488 entailment
491
+ 489 entailment
492
+ 490 entailment
493
+ 491 entailment
494
+ 492 entailment
495
+ 493 entailment
496
+ 494 entailment
497
+ 495 entailment
498
+ 496 entailment
499
+ 497 entailment
500
+ 498 entailment
501
+ 499 entailment
502
+ 500 entailment
503
+ 501 entailment
504
+ 502 entailment
505
+ 503 entailment
506
+ 504 entailment
507
+ 505 entailment
508
+ 506 entailment
509
+ 507 entailment
510
+ 508 entailment
511
+ 509 entailment
512
+ 510 entailment
513
+ 511 entailment
514
+ 512 entailment
515
+ 513 entailment
516
+ 514 entailment
517
+ 515 entailment
518
+ 516 entailment
519
+ 517 entailment
520
+ 518 entailment
521
+ 519 entailment
522
+ 520 entailment
523
+ 521 entailment
524
+ 522 entailment
525
+ 523 entailment
526
+ 524 entailment
527
+ 525 entailment
528
+ 526 entailment
529
+ 527 entailment
530
+ 528 entailment
531
+ 529 entailment
532
+ 530 entailment
533
+ 531 entailment
534
+ 532 entailment
535
+ 533 entailment
536
+ 534 entailment
537
+ 535 entailment
538
+ 536 entailment
539
+ 537 entailment
540
+ 538 entailment
541
+ 539 entailment
542
+ 540 entailment
543
+ 541 entailment
544
+ 542 entailment
545
+ 543 entailment
546
+ 544 entailment
547
+ 545 entailment
548
+ 546 entailment
549
+ 547 entailment
550
+ 548 entailment
551
+ 549 entailment
552
+ 550 entailment
553
+ 551 entailment
554
+ 552 entailment
555
+ 553 entailment
556
+ 554 entailment
557
+ 555 entailment
558
+ 556 entailment
559
+ 557 entailment
560
+ 558 entailment
561
+ 559 entailment
562
+ 560 entailment
563
+ 561 entailment
564
+ 562 entailment
565
+ 563 entailment
566
+ 564 entailment
567
+ 565 entailment
568
+ 566 entailment
569
+ 567 entailment
570
+ 568 entailment
571
+ 569 entailment
572
+ 570 entailment
573
+ 571 entailment
574
+ 572 entailment
575
+ 573 entailment
576
+ 574 entailment
577
+ 575 entailment
578
+ 576 entailment
579
+ 577 entailment
580
+ 578 entailment
581
+ 579 entailment
582
+ 580 entailment
583
+ 581 entailment
584
+ 582 entailment
585
+ 583 entailment
586
+ 584 entailment
587
+ 585 entailment
588
+ 586 entailment
589
+ 587 entailment
590
+ 588 entailment
591
+ 589 entailment
592
+ 590 entailment
593
+ 591 entailment
594
+ 592 entailment
595
+ 593 entailment
596
+ 594 entailment
597
+ 595 entailment
598
+ 596 entailment
599
+ 597 entailment
600
+ 598 entailment
601
+ 599 entailment
602
+ 600 entailment
603
+ 601 entailment
604
+ 602 entailment
605
+ 603 entailment
606
+ 604 entailment
607
+ 605 entailment
608
+ 606 entailment
609
+ 607 entailment
610
+ 608 entailment
611
+ 609 entailment
612
+ 610 entailment
613
+ 611 entailment
614
+ 612 entailment
615
+ 613 entailment
616
+ 614 entailment
617
+ 615 entailment
618
+ 616 entailment
619
+ 617 entailment
620
+ 618 entailment
621
+ 619 entailment
622
+ 620 entailment
623
+ 621 entailment
624
+ 622 entailment
625
+ 623 entailment
626
+ 624 entailment
627
+ 625 entailment
628
+ 626 entailment
629
+ 627 entailment
630
+ 628 entailment
631
+ 629 entailment
632
+ 630 entailment
633
+ 631 entailment
634
+ 632 entailment
635
+ 633 entailment
636
+ 634 entailment
637
+ 635 entailment
638
+ 636 entailment
639
+ 637 entailment
640
+ 638 entailment
641
+ 639 entailment
642
+ 640 entailment
643
+ 641 entailment
644
+ 642 entailment
645
+ 643 entailment
646
+ 644 entailment
647
+ 645 entailment
648
+ 646 entailment
649
+ 647 entailment
650
+ 648 entailment
651
+ 649 entailment
652
+ 650 entailment
653
+ 651 entailment
654
+ 652 entailment
655
+ 653 entailment
656
+ 654 entailment
657
+ 655 entailment
658
+ 656 entailment
659
+ 657 entailment
660
+ 658 entailment
661
+ 659 entailment
662
+ 660 entailment
663
+ 661 entailment
664
+ 662 entailment
665
+ 663 entailment
666
+ 664 entailment
667
+ 665 entailment
668
+ 666 entailment
669
+ 667 entailment
670
+ 668 entailment
671
+ 669 entailment
672
+ 670 entailment
673
+ 671 entailment
674
+ 672 entailment
675
+ 673 entailment
676
+ 674 entailment
677
+ 675 entailment
678
+ 676 entailment
679
+ 677 entailment
680
+ 678 entailment
681
+ 679 entailment
682
+ 680 entailment
683
+ 681 entailment
684
+ 682 entailment
685
+ 683 entailment
686
+ 684 entailment
687
+ 685 entailment
688
+ 686 entailment
689
+ 687 entailment
690
+ 688 entailment
691
+ 689 entailment
692
+ 690 entailment
693
+ 691 entailment
694
+ 692 entailment
695
+ 693 entailment
696
+ 694 entailment
697
+ 695 entailment
698
+ 696 entailment
699
+ 697 entailment
700
+ 698 entailment
701
+ 699 entailment
702
+ 700 entailment
703
+ 701 entailment
704
+ 702 entailment
705
+ 703 entailment
706
+ 704 entailment
707
+ 705 entailment
708
+ 706 entailment
709
+ 707 entailment
710
+ 708 entailment
711
+ 709 entailment
712
+ 710 entailment
713
+ 711 entailment
714
+ 712 entailment
715
+ 713 entailment
716
+ 714 entailment
717
+ 715 entailment
718
+ 716 entailment
719
+ 717 entailment
720
+ 718 entailment
721
+ 719 entailment
722
+ 720 entailment
723
+ 721 entailment
724
+ 722 entailment
725
+ 723 entailment
726
+ 724 entailment
727
+ 725 entailment
728
+ 726 entailment
729
+ 727 entailment
730
+ 728 entailment
731
+ 729 entailment
732
+ 730 entailment
733
+ 731 entailment
734
+ 732 entailment
735
+ 733 entailment
736
+ 734 entailment
737
+ 735 entailment
738
+ 736 entailment
739
+ 737 entailment
740
+ 738 entailment
741
+ 739 entailment
742
+ 740 entailment
743
+ 741 entailment
744
+ 742 entailment
745
+ 743 entailment
746
+ 744 entailment
747
+ 745 entailment
748
+ 746 entailment
749
+ 747 entailment
750
+ 748 entailment
751
+ 749 entailment
752
+ 750 entailment
753
+ 751 entailment
754
+ 752 entailment
755
+ 753 entailment
756
+ 754 entailment
757
+ 755 entailment
758
+ 756 entailment
759
+ 757 entailment
760
+ 758 entailment
761
+ 759 entailment
762
+ 760 entailment
763
+ 761 entailment
764
+ 762 entailment
765
+ 763 entailment
766
+ 764 entailment
767
+ 765 entailment
768
+ 766 entailment
769
+ 767 entailment
770
+ 768 entailment
771
+ 769 entailment
772
+ 770 entailment
773
+ 771 entailment
774
+ 772 entailment
775
+ 773 entailment
776
+ 774 entailment
777
+ 775 entailment
778
+ 776 entailment
779
+ 777 entailment
780
+ 778 entailment
781
+ 779 entailment
782
+ 780 entailment
783
+ 781 entailment
784
+ 782 entailment
785
+ 783 entailment
786
+ 784 entailment
787
+ 785 entailment
788
+ 786 entailment
789
+ 787 entailment
790
+ 788 entailment
791
+ 789 entailment
792
+ 790 entailment
793
+ 791 entailment
794
+ 792 entailment
795
+ 793 entailment
796
+ 794 entailment
797
+ 795 entailment
798
+ 796 entailment
799
+ 797 entailment
800
+ 798 entailment
801
+ 799 entailment
802
+ 800 entailment
803
+ 801 entailment
804
+ 802 entailment
805
+ 803 entailment
806
+ 804 entailment
807
+ 805 entailment
808
+ 806 entailment
809
+ 807 entailment
810
+ 808 entailment
811
+ 809 entailment
812
+ 810 entailment
813
+ 811 entailment
814
+ 812 entailment
815
+ 813 entailment
816
+ 814 entailment
817
+ 815 entailment
818
+ 816 entailment
819
+ 817 entailment
820
+ 818 entailment
821
+ 819 entailment
822
+ 820 entailment
823
+ 821 entailment
824
+ 822 entailment
825
+ 823 entailment
826
+ 824 entailment
827
+ 825 entailment
828
+ 826 entailment
829
+ 827 entailment
830
+ 828 entailment
831
+ 829 entailment
832
+ 830 entailment
833
+ 831 entailment
834
+ 832 entailment
835
+ 833 entailment
836
+ 834 entailment
837
+ 835 entailment
838
+ 836 entailment
839
+ 837 entailment
840
+ 838 entailment
841
+ 839 entailment
842
+ 840 entailment
843
+ 841 entailment
844
+ 842 entailment
845
+ 843 entailment
846
+ 844 entailment
847
+ 845 entailment
848
+ 846 entailment
849
+ 847 entailment
850
+ 848 entailment
851
+ 849 entailment
852
+ 850 entailment
853
+ 851 entailment
854
+ 852 entailment
855
+ 853 entailment
856
+ 854 entailment
857
+ 855 entailment
858
+ 856 entailment
859
+ 857 entailment
860
+ 858 entailment
861
+ 859 entailment
862
+ 860 entailment
863
+ 861 entailment
864
+ 862 entailment
865
+ 863 entailment
866
+ 864 entailment
867
+ 865 entailment
868
+ 866 entailment
869
+ 867 entailment
870
+ 868 entailment
871
+ 869 entailment
872
+ 870 entailment
873
+ 871 entailment
874
+ 872 entailment
875
+ 873 entailment
876
+ 874 entailment
877
+ 875 entailment
878
+ 876 entailment
879
+ 877 entailment
880
+ 878 entailment
881
+ 879 entailment
882
+ 880 entailment
883
+ 881 entailment
884
+ 882 entailment
885
+ 883 entailment
886
+ 884 entailment
887
+ 885 entailment
888
+ 886 entailment
889
+ 887 entailment
890
+ 888 entailment
891
+ 889 entailment
892
+ 890 entailment
893
+ 891 entailment
894
+ 892 entailment
895
+ 893 entailment
896
+ 894 entailment
897
+ 895 entailment
898
+ 896 entailment
899
+ 897 entailment
900
+ 898 entailment
901
+ 899 entailment
902
+ 900 entailment
903
+ 901 entailment
904
+ 902 entailment
905
+ 903 entailment
906
+ 904 entailment
907
+ 905 entailment
908
+ 906 entailment
909
+ 907 entailment
910
+ 908 entailment
911
+ 909 entailment
912
+ 910 entailment
913
+ 911 entailment
914
+ 912 entailment
915
+ 913 entailment
916
+ 914 entailment
917
+ 915 entailment
918
+ 916 entailment
919
+ 917 entailment
920
+ 918 entailment
921
+ 919 entailment
922
+ 920 entailment
923
+ 921 entailment
924
+ 922 entailment
925
+ 923 entailment
926
+ 924 entailment
927
+ 925 entailment
928
+ 926 entailment
929
+ 927 entailment
930
+ 928 entailment
931
+ 929 entailment
932
+ 930 entailment
933
+ 931 entailment
934
+ 932 entailment
935
+ 933 entailment
936
+ 934 entailment
937
+ 935 entailment
938
+ 936 entailment
939
+ 937 entailment
940
+ 938 entailment
941
+ 939 entailment
942
+ 940 entailment
943
+ 941 entailment
944
+ 942 entailment
945
+ 943 entailment
946
+ 944 entailment
947
+ 945 entailment
948
+ 946 entailment
949
+ 947 entailment
950
+ 948 entailment
951
+ 949 entailment
952
+ 950 entailment
953
+ 951 entailment
954
+ 952 entailment
955
+ 953 entailment
956
+ 954 entailment
957
+ 955 entailment
958
+ 956 entailment
959
+ 957 entailment
960
+ 958 entailment
961
+ 959 entailment
962
+ 960 entailment
963
+ 961 entailment
964
+ 962 entailment
965
+ 963 entailment
966
+ 964 entailment
967
+ 965 entailment
968
+ 966 entailment
969
+ 967 entailment
970
+ 968 entailment
971
+ 969 entailment
972
+ 970 entailment
973
+ 971 entailment
974
+ 972 entailment
975
+ 973 entailment
976
+ 974 entailment
977
+ 975 entailment
978
+ 976 entailment
979
+ 977 entailment
980
+ 978 entailment
981
+ 979 entailment
982
+ 980 entailment
983
+ 981 entailment
984
+ 982 entailment
985
+ 983 entailment
986
+ 984 entailment
987
+ 985 entailment
988
+ 986 entailment
989
+ 987 entailment
990
+ 988 entailment
991
+ 989 entailment
992
+ 990 entailment
993
+ 991 entailment
994
+ 992 entailment
995
+ 993 entailment
996
+ 994 entailment
997
+ 995 entailment
998
+ 996 entailment
999
+ 997 entailment
1000
+ 998 entailment
1001
+ 999 entailment
1002
+ 1000 entailment
1003
+ 1001 entailment
1004
+ 1002 entailment
1005
+ 1003 entailment
1006
+ 1004 entailment
1007
+ 1005 entailment
1008
+ 1006 entailment
1009
+ 1007 entailment
1010
+ 1008 entailment
1011
+ 1009 entailment
1012
+ 1010 entailment
1013
+ 1011 entailment
1014
+ 1012 entailment
1015
+ 1013 entailment
1016
+ 1014 entailment
1017
+ 1015 entailment
1018
+ 1016 entailment
1019
+ 1017 entailment
1020
+ 1018 entailment
1021
+ 1019 entailment
1022
+ 1020 entailment
1023
+ 1021 entailment
1024
+ 1022 entailment
1025
+ 1023 entailment
1026
+ 1024 entailment
1027
+ 1025 entailment
1028
+ 1026 entailment
1029
+ 1027 entailment
1030
+ 1028 entailment
1031
+ 1029 entailment
1032
+ 1030 entailment
1033
+ 1031 entailment
1034
+ 1032 entailment
1035
+ 1033 entailment
1036
+ 1034 entailment
1037
+ 1035 entailment
1038
+ 1036 entailment
1039
+ 1037 entailment
1040
+ 1038 entailment
1041
+ 1039 entailment
1042
+ 1040 entailment
1043
+ 1041 entailment
1044
+ 1042 entailment
1045
+ 1043 entailment
1046
+ 1044 entailment
1047
+ 1045 entailment
1048
+ 1046 entailment
1049
+ 1047 entailment
1050
+ 1048 entailment
1051
+ 1049 entailment
1052
+ 1050 entailment
1053
+ 1051 entailment
1054
+ 1052 entailment
1055
+ 1053 entailment
1056
+ 1054 entailment
1057
+ 1055 entailment
1058
+ 1056 entailment
1059
+ 1057 entailment
1060
+ 1058 entailment
1061
+ 1059 entailment
1062
+ 1060 entailment
1063
+ 1061 entailment
1064
+ 1062 entailment
1065
+ 1063 entailment
1066
+ 1064 entailment
1067
+ 1065 entailment
1068
+ 1066 entailment
1069
+ 1067 entailment
1070
+ 1068 entailment
1071
+ 1069 entailment
1072
+ 1070 entailment
1073
+ 1071 entailment
1074
+ 1072 entailment
1075
+ 1073 entailment
1076
+ 1074 entailment
1077
+ 1075 entailment
1078
+ 1076 entailment
1079
+ 1077 entailment
1080
+ 1078 entailment
1081
+ 1079 entailment
1082
+ 1080 entailment
1083
+ 1081 entailment
1084
+ 1082 entailment
1085
+ 1083 entailment
1086
+ 1084 entailment
1087
+ 1085 entailment
1088
+ 1086 entailment
1089
+ 1087 entailment
1090
+ 1088 entailment
1091
+ 1089 entailment
1092
+ 1090 entailment
1093
+ 1091 entailment
1094
+ 1092 entailment
1095
+ 1093 entailment
1096
+ 1094 entailment
1097
+ 1095 entailment
1098
+ 1096 entailment
1099
+ 1097 entailment
1100
+ 1098 entailment
1101
+ 1099 entailment
1102
+ 1100 entailment
1103
+ 1101 entailment
1104
+ 1102 entailment
1105
+ 1103 entailment
1106
+ 1104 entailment
1107
+ 1105 entailment
1108
+ 1106 entailment
1109
+ 1107 entailment
1110
+ 1108 entailment
1111
+ 1109 entailment
1112
+ 1110 entailment
1113
+ 1111 entailment
1114
+ 1112 entailment
1115
+ 1113 entailment
1116
+ 1114 entailment
1117
+ 1115 entailment
1118
+ 1116 entailment
1119
+ 1117 entailment
1120
+ 1118 entailment
1121
+ 1119 entailment
1122
+ 1120 entailment
1123
+ 1121 entailment
1124
+ 1122 entailment
1125
+ 1123 entailment
1126
+ 1124 entailment
1127
+ 1125 entailment
1128
+ 1126 entailment
1129
+ 1127 entailment
1130
+ 1128 entailment
1131
+ 1129 entailment
1132
+ 1130 entailment
1133
+ 1131 entailment
1134
+ 1132 entailment
1135
+ 1133 entailment
1136
+ 1134 entailment
1137
+ 1135 entailment
1138
+ 1136 entailment
1139
+ 1137 entailment
1140
+ 1138 entailment
1141
+ 1139 entailment
1142
+ 1140 entailment
1143
+ 1141 entailment
1144
+ 1142 entailment
1145
+ 1143 entailment
1146
+ 1144 entailment
1147
+ 1145 entailment
1148
+ 1146 entailment
1149
+ 1147 entailment
1150
+ 1148 entailment
1151
+ 1149 entailment
1152
+ 1150 entailment
1153
+ 1151 entailment
1154
+ 1152 entailment
1155
+ 1153 entailment
1156
+ 1154 entailment
1157
+ 1155 entailment
1158
+ 1156 entailment
1159
+ 1157 entailment
1160
+ 1158 entailment
1161
+ 1159 entailment
1162
+ 1160 entailment
1163
+ 1161 entailment
1164
+ 1162 entailment
1165
+ 1163 entailment
1166
+ 1164 entailment
1167
+ 1165 entailment
1168
+ 1166 entailment
1169
+ 1167 entailment
1170
+ 1168 entailment
1171
+ 1169 entailment
1172
+ 1170 entailment
1173
+ 1171 entailment
1174
+ 1172 entailment
1175
+ 1173 entailment
1176
+ 1174 entailment
1177
+ 1175 entailment
1178
+ 1176 entailment
1179
+ 1177 entailment
1180
+ 1178 entailment
1181
+ 1179 entailment
1182
+ 1180 entailment
1183
+ 1181 entailment
1184
+ 1182 entailment
1185
+ 1183 entailment
1186
+ 1184 entailment
1187
+ 1185 entailment
1188
+ 1186 entailment
1189
+ 1187 entailment
1190
+ 1188 entailment
1191
+ 1189 entailment
1192
+ 1190 entailment
1193
+ 1191 entailment
1194
+ 1192 entailment
1195
+ 1193 entailment
1196
+ 1194 entailment
1197
+ 1195 entailment
1198
+ 1196 entailment
1199
+ 1197 entailment
1200
+ 1198 entailment
1201
+ 1199 entailment
1202
+ 1200 entailment
1203
+ 1201 entailment
1204
+ 1202 entailment
1205
+ 1203 entailment
1206
+ 1204 entailment
1207
+ 1205 entailment
1208
+ 1206 entailment
1209
+ 1207 entailment
1210
+ 1208 entailment
1211
+ 1209 entailment
1212
+ 1210 entailment
1213
+ 1211 entailment
1214
+ 1212 entailment
1215
+ 1213 entailment
1216
+ 1214 entailment
1217
+ 1215 entailment
1218
+ 1216 entailment
1219
+ 1217 entailment
1220
+ 1218 entailment
1221
+ 1219 entailment
1222
+ 1220 entailment
1223
+ 1221 entailment
1224
+ 1222 entailment
1225
+ 1223 entailment
1226
+ 1224 entailment
1227
+ 1225 entailment
1228
+ 1226 entailment
1229
+ 1227 entailment
1230
+ 1228 entailment
1231
+ 1229 entailment
1232
+ 1230 entailment
1233
+ 1231 entailment
1234
+ 1232 entailment
1235
+ 1233 entailment
1236
+ 1234 entailment
1237
+ 1235 entailment
1238
+ 1236 entailment
1239
+ 1237 entailment
1240
+ 1238 entailment
1241
+ 1239 entailment
1242
+ 1240 entailment
1243
+ 1241 entailment
1244
+ 1242 entailment
1245
+ 1243 entailment
1246
+ 1244 entailment
1247
+ 1245 entailment
1248
+ 1246 entailment
1249
+ 1247 entailment
1250
+ 1248 entailment
1251
+ 1249 entailment
1252
+ 1250 entailment
1253
+ 1251 entailment
1254
+ 1252 entailment
1255
+ 1253 entailment
1256
+ 1254 entailment
1257
+ 1255 entailment
1258
+ 1256 entailment
1259
+ 1257 entailment
1260
+ 1258 entailment
1261
+ 1259 entailment
1262
+ 1260 entailment
1263
+ 1261 entailment
1264
+ 1262 entailment
1265
+ 1263 entailment
1266
+ 1264 entailment
1267
+ 1265 entailment
1268
+ 1266 entailment
1269
+ 1267 entailment
1270
+ 1268 entailment
1271
+ 1269 entailment
1272
+ 1270 entailment
1273
+ 1271 entailment
1274
+ 1272 entailment
1275
+ 1273 entailment
1276
+ 1274 entailment
1277
+ 1275 entailment
1278
+ 1276 entailment
1279
+ 1277 entailment
1280
+ 1278 entailment
1281
+ 1279 entailment
1282
+ 1280 entailment
1283
+ 1281 entailment
1284
+ 1282 entailment
1285
+ 1283 entailment
1286
+ 1284 entailment
1287
+ 1285 entailment
1288
+ 1286 entailment
1289
+ 1287 entailment
1290
+ 1288 entailment
1291
+ 1289 entailment
1292
+ 1290 entailment
1293
+ 1291 entailment
1294
+ 1292 entailment
1295
+ 1293 entailment
1296
+ 1294 entailment
1297
+ 1295 entailment
1298
+ 1296 entailment
1299
+ 1297 entailment
1300
+ 1298 entailment
1301
+ 1299 entailment
1302
+ 1300 entailment
1303
+ 1301 entailment
1304
+ 1302 entailment
1305
+ 1303 entailment
1306
+ 1304 entailment
1307
+ 1305 entailment
1308
+ 1306 entailment
1309
+ 1307 entailment
1310
+ 1308 entailment
1311
+ 1309 entailment
1312
+ 1310 entailment
1313
+ 1311 entailment
1314
+ 1312 entailment
1315
+ 1313 entailment
1316
+ 1314 entailment
1317
+ 1315 entailment
1318
+ 1316 entailment
1319
+ 1317 entailment
1320
+ 1318 entailment
1321
+ 1319 entailment
1322
+ 1320 entailment
1323
+ 1321 entailment
1324
+ 1322 entailment
1325
+ 1323 entailment
1326
+ 1324 entailment
1327
+ 1325 entailment
1328
+ 1326 entailment
1329
+ 1327 entailment
1330
+ 1328 entailment
1331
+ 1329 entailment
1332
+ 1330 entailment
1333
+ 1331 entailment
1334
+ 1332 entailment
1335
+ 1333 entailment
1336
+ 1334 entailment
1337
+ 1335 entailment
1338
+ 1336 entailment
1339
+ 1337 entailment
1340
+ 1338 entailment
1341
+ 1339 entailment
1342
+ 1340 entailment
1343
+ 1341 entailment
1344
+ 1342 entailment
1345
+ 1343 entailment
1346
+ 1344 entailment
1347
+ 1345 entailment
1348
+ 1346 entailment
1349
+ 1347 entailment
1350
+ 1348 entailment
1351
+ 1349 entailment
1352
+ 1350 entailment
1353
+ 1351 entailment
1354
+ 1352 entailment
1355
+ 1353 entailment
1356
+ 1354 entailment
1357
+ 1355 entailment
1358
+ 1356 entailment
1359
+ 1357 entailment
1360
+ 1358 entailment
1361
+ 1359 entailment
1362
+ 1360 entailment
1363
+ 1361 entailment
1364
+ 1362 entailment
1365
+ 1363 entailment
1366
+ 1364 entailment
1367
+ 1365 entailment
1368
+ 1366 entailment
1369
+ 1367 entailment
1370
+ 1368 entailment
1371
+ 1369 entailment
1372
+ 1370 entailment
1373
+ 1371 entailment
1374
+ 1372 entailment
1375
+ 1373 entailment
1376
+ 1374 entailment
1377
+ 1375 entailment
1378
+ 1376 entailment
1379
+ 1377 entailment
1380
+ 1378 entailment
1381
+ 1379 entailment
1382
+ 1380 entailment
1383
+ 1381 entailment
1384
+ 1382 entailment
1385
+ 1383 entailment
1386
+ 1384 entailment
1387
+ 1385 entailment
1388
+ 1386 entailment
1389
+ 1387 entailment
1390
+ 1388 entailment
1391
+ 1389 entailment
1392
+ 1390 entailment
1393
+ 1391 entailment
1394
+ 1392 entailment
1395
+ 1393 entailment
1396
+ 1394 entailment
1397
+ 1395 entailment
1398
+ 1396 entailment
1399
+ 1397 entailment
1400
+ 1398 entailment
1401
+ 1399 entailment
1402
+ 1400 entailment
1403
+ 1401 entailment
1404
+ 1402 entailment
1405
+ 1403 entailment
1406
+ 1404 entailment
1407
+ 1405 entailment
1408
+ 1406 entailment
1409
+ 1407 entailment
1410
+ 1408 entailment
1411
+ 1409 entailment
1412
+ 1410 entailment
1413
+ 1411 entailment
1414
+ 1412 entailment
1415
+ 1413 entailment
1416
+ 1414 entailment
1417
+ 1415 entailment
1418
+ 1416 entailment
1419
+ 1417 entailment
1420
+ 1418 entailment
1421
+ 1419 entailment
1422
+ 1420 entailment
1423
+ 1421 entailment
1424
+ 1422 entailment
1425
+ 1423 entailment
1426
+ 1424 entailment
1427
+ 1425 entailment
1428
+ 1426 entailment
1429
+ 1427 entailment
1430
+ 1428 entailment
1431
+ 1429 entailment
1432
+ 1430 entailment
1433
+ 1431 entailment
1434
+ 1432 entailment
1435
+ 1433 entailment
1436
+ 1434 entailment
1437
+ 1435 entailment
1438
+ 1436 entailment
1439
+ 1437 entailment
1440
+ 1438 entailment
1441
+ 1439 entailment
1442
+ 1440 entailment
1443
+ 1441 entailment
1444
+ 1442 entailment
1445
+ 1443 entailment
1446
+ 1444 entailment
1447
+ 1445 entailment
1448
+ 1446 entailment
1449
+ 1447 entailment
1450
+ 1448 entailment
1451
+ 1449 entailment
1452
+ 1450 entailment
1453
+ 1451 entailment
1454
+ 1452 entailment
1455
+ 1453 entailment
1456
+ 1454 entailment
1457
+ 1455 entailment
1458
+ 1456 entailment
1459
+ 1457 entailment
1460
+ 1458 entailment
1461
+ 1459 entailment
1462
+ 1460 entailment
1463
+ 1461 entailment
1464
+ 1462 entailment
1465
+ 1463 entailment
1466
+ 1464 entailment
1467
+ 1465 entailment
1468
+ 1466 entailment
1469
+ 1467 entailment
1470
+ 1468 entailment
1471
+ 1469 entailment
1472
+ 1470 entailment
1473
+ 1471 entailment
1474
+ 1472 entailment
1475
+ 1473 entailment
1476
+ 1474 entailment
1477
+ 1475 entailment
1478
+ 1476 entailment
1479
+ 1477 entailment
1480
+ 1478 entailment
1481
+ 1479 entailment
1482
+ 1480 entailment
1483
+ 1481 entailment
1484
+ 1482 entailment
1485
+ 1483 entailment
1486
+ 1484 entailment
1487
+ 1485 entailment
1488
+ 1486 entailment
1489
+ 1487 entailment
1490
+ 1488 entailment
1491
+ 1489 entailment
1492
+ 1490 entailment
1493
+ 1491 entailment
1494
+ 1492 entailment
1495
+ 1493 entailment
1496
+ 1494 entailment
1497
+ 1495 entailment
1498
+ 1496 entailment
1499
+ 1497 entailment
1500
+ 1498 entailment
1501
+ 1499 entailment
1502
+ 1500 entailment
1503
+ 1501 entailment
1504
+ 1502 entailment
1505
+ 1503 entailment
1506
+ 1504 entailment
1507
+ 1505 entailment
1508
+ 1506 entailment
1509
+ 1507 entailment
1510
+ 1508 entailment
1511
+ 1509 entailment
1512
+ 1510 entailment
1513
+ 1511 entailment
1514
+ 1512 entailment
1515
+ 1513 entailment
1516
+ 1514 entailment
1517
+ 1515 entailment
1518
+ 1516 entailment
1519
+ 1517 entailment
1520
+ 1518 entailment
1521
+ 1519 entailment
1522
+ 1520 entailment
1523
+ 1521 entailment
1524
+ 1522 entailment
1525
+ 1523 entailment
1526
+ 1524 entailment
1527
+ 1525 entailment
1528
+ 1526 entailment
1529
+ 1527 entailment
1530
+ 1528 entailment
1531
+ 1529 entailment
1532
+ 1530 entailment
1533
+ 1531 entailment
1534
+ 1532 entailment
1535
+ 1533 entailment
1536
+ 1534 entailment
1537
+ 1535 entailment
1538
+ 1536 entailment
1539
+ 1537 entailment
1540
+ 1538 entailment
1541
+ 1539 entailment
1542
+ 1540 entailment
1543
+ 1541 entailment
1544
+ 1542 entailment
1545
+ 1543 entailment
1546
+ 1544 entailment
1547
+ 1545 entailment
1548
+ 1546 entailment
1549
+ 1547 entailment
1550
+ 1548 entailment
1551
+ 1549 entailment
1552
+ 1550 entailment
1553
+ 1551 entailment
1554
+ 1552 entailment
1555
+ 1553 entailment
1556
+ 1554 entailment
1557
+ 1555 entailment
1558
+ 1556 entailment
1559
+ 1557 entailment
1560
+ 1558 entailment
1561
+ 1559 entailment
1562
+ 1560 entailment
1563
+ 1561 entailment
1564
+ 1562 entailment
1565
+ 1563 entailment
1566
+ 1564 entailment
1567
+ 1565 entailment
1568
+ 1566 entailment
1569
+ 1567 entailment
1570
+ 1568 entailment
1571
+ 1569 entailment
1572
+ 1570 entailment
1573
+ 1571 entailment
1574
+ 1572 entailment
1575
+ 1573 entailment
1576
+ 1574 entailment
1577
+ 1575 entailment
1578
+ 1576 entailment
1579
+ 1577 entailment
1580
+ 1578 entailment
1581
+ 1579 entailment
1582
+ 1580 entailment
1583
+ 1581 entailment
1584
+ 1582 entailment
1585
+ 1583 entailment
1586
+ 1584 entailment
1587
+ 1585 entailment
1588
+ 1586 entailment
1589
+ 1587 entailment
1590
+ 1588 entailment
1591
+ 1589 entailment
1592
+ 1590 entailment
1593
+ 1591 entailment
1594
+ 1592 entailment
1595
+ 1593 entailment
1596
+ 1594 entailment
1597
+ 1595 entailment
1598
+ 1596 entailment
1599
+ 1597 entailment
1600
+ 1598 entailment
1601
+ 1599 entailment
1602
+ 1600 entailment
1603
+ 1601 entailment
1604
+ 1602 entailment
1605
+ 1603 entailment
1606
+ 1604 entailment
1607
+ 1605 entailment
1608
+ 1606 entailment
1609
+ 1607 entailment
1610
+ 1608 entailment
1611
+ 1609 entailment
1612
+ 1610 entailment
1613
+ 1611 entailment
1614
+ 1612 entailment
1615
+ 1613 entailment
1616
+ 1614 entailment
1617
+ 1615 entailment
1618
+ 1616 entailment
1619
+ 1617 entailment
1620
+ 1618 entailment
1621
+ 1619 entailment
1622
+ 1620 entailment
1623
+ 1621 entailment
1624
+ 1622 entailment
1625
+ 1623 entailment
1626
+ 1624 entailment
1627
+ 1625 entailment
1628
+ 1626 entailment
1629
+ 1627 entailment
1630
+ 1628 entailment
1631
+ 1629 entailment
1632
+ 1630 entailment
1633
+ 1631 entailment
1634
+ 1632 entailment
1635
+ 1633 entailment
1636
+ 1634 entailment
1637
+ 1635 entailment
1638
+ 1636 entailment
1639
+ 1637 entailment
1640
+ 1638 entailment
1641
+ 1639 entailment
1642
+ 1640 entailment
1643
+ 1641 entailment
1644
+ 1642 entailment
1645
+ 1643 entailment
1646
+ 1644 entailment
1647
+ 1645 entailment
1648
+ 1646 entailment
1649
+ 1647 entailment
1650
+ 1648 entailment
1651
+ 1649 entailment
1652
+ 1650 entailment
1653
+ 1651 entailment
1654
+ 1652 entailment
1655
+ 1653 entailment
1656
+ 1654 entailment
1657
+ 1655 entailment
1658
+ 1656 entailment
1659
+ 1657 entailment
1660
+ 1658 entailment
1661
+ 1659 entailment
1662
+ 1660 entailment
1663
+ 1661 entailment
1664
+ 1662 entailment
1665
+ 1663 entailment
1666
+ 1664 entailment
1667
+ 1665 entailment
1668
+ 1666 entailment
1669
+ 1667 entailment
1670
+ 1668 entailment
1671
+ 1669 entailment
1672
+ 1670 entailment
1673
+ 1671 entailment
1674
+ 1672 entailment
1675
+ 1673 entailment
1676
+ 1674 entailment
1677
+ 1675 entailment
1678
+ 1676 entailment
1679
+ 1677 entailment
1680
+ 1678 entailment
1681
+ 1679 entailment
1682
+ 1680 entailment
1683
+ 1681 entailment
1684
+ 1682 entailment
1685
+ 1683 entailment
1686
+ 1684 entailment
1687
+ 1685 entailment
1688
+ 1686 entailment
1689
+ 1687 entailment
1690
+ 1688 entailment
1691
+ 1689 entailment
1692
+ 1690 entailment
1693
+ 1691 entailment
1694
+ 1692 entailment
1695
+ 1693 entailment
1696
+ 1694 entailment
1697
+ 1695 entailment
1698
+ 1696 entailment
1699
+ 1697 entailment
1700
+ 1698 entailment
1701
+ 1699 entailment
1702
+ 1700 entailment
1703
+ 1701 entailment
1704
+ 1702 entailment
1705
+ 1703 entailment
1706
+ 1704 entailment
1707
+ 1705 entailment
1708
+ 1706 entailment
1709
+ 1707 entailment
1710
+ 1708 entailment
1711
+ 1709 entailment
1712
+ 1710 entailment
1713
+ 1711 entailment
1714
+ 1712 entailment
1715
+ 1713 entailment
1716
+ 1714 entailment
1717
+ 1715 entailment
1718
+ 1716 entailment
1719
+ 1717 entailment
1720
+ 1718 entailment
1721
+ 1719 entailment
1722
+ 1720 entailment
1723
+ 1721 entailment
1724
+ 1722 entailment
1725
+ 1723 entailment
1726
+ 1724 entailment
1727
+ 1725 entailment
1728
+ 1726 entailment
1729
+ 1727 entailment
1730
+ 1728 entailment
1731
+ 1729 entailment
1732
+ 1730 entailment
1733
+ 1731 entailment
1734
+ 1732 entailment
1735
+ 1733 entailment
1736
+ 1734 entailment
1737
+ 1735 entailment
1738
+ 1736 entailment
1739
+ 1737 entailment
1740
+ 1738 entailment
1741
+ 1739 entailment
1742
+ 1740 entailment
1743
+ 1741 entailment
1744
+ 1742 entailment
1745
+ 1743 entailment
1746
+ 1744 entailment
1747
+ 1745 entailment
1748
+ 1746 entailment
1749
+ 1747 entailment
1750
+ 1748 entailment
1751
+ 1749 entailment
1752
+ 1750 entailment
1753
+ 1751 entailment
1754
+ 1752 entailment
1755
+ 1753 entailment
1756
+ 1754 entailment
1757
+ 1755 entailment
1758
+ 1756 entailment
1759
+ 1757 entailment
1760
+ 1758 entailment
1761
+ 1759 entailment
1762
+ 1760 entailment
1763
+ 1761 entailment
1764
+ 1762 entailment
1765
+ 1763 entailment
1766
+ 1764 entailment
1767
+ 1765 entailment
1768
+ 1766 entailment
1769
+ 1767 entailment
1770
+ 1768 entailment
1771
+ 1769 entailment
1772
+ 1770 entailment
1773
+ 1771 entailment
1774
+ 1772 entailment
1775
+ 1773 entailment
1776
+ 1774 entailment
1777
+ 1775 entailment
1778
+ 1776 entailment
1779
+ 1777 entailment
1780
+ 1778 entailment
1781
+ 1779 entailment
1782
+ 1780 entailment
1783
+ 1781 entailment
1784
+ 1782 entailment
1785
+ 1783 entailment
1786
+ 1784 entailment
1787
+ 1785 entailment
1788
+ 1786 entailment
1789
+ 1787 entailment
1790
+ 1788 entailment
1791
+ 1789 entailment
1792
+ 1790 entailment
1793
+ 1791 entailment
1794
+ 1792 entailment
1795
+ 1793 entailment
1796
+ 1794 entailment
1797
+ 1795 entailment
1798
+ 1796 entailment
1799
+ 1797 entailment
1800
+ 1798 entailment
1801
+ 1799 entailment
1802
+ 1800 entailment
1803
+ 1801 entailment
1804
+ 1802 entailment
1805
+ 1803 entailment
1806
+ 1804 entailment
1807
+ 1805 entailment
1808
+ 1806 entailment
1809
+ 1807 entailment
1810
+ 1808 entailment
1811
+ 1809 entailment
1812
+ 1810 entailment
1813
+ 1811 entailment
1814
+ 1812 entailment
1815
+ 1813 entailment
1816
+ 1814 entailment
1817
+ 1815 entailment
1818
+ 1816 entailment
1819
+ 1817 entailment
1820
+ 1818 entailment
1821
+ 1819 entailment
1822
+ 1820 entailment
1823
+ 1821 entailment
1824
+ 1822 entailment
1825
+ 1823 entailment
1826
+ 1824 entailment
1827
+ 1825 entailment
1828
+ 1826 entailment
1829
+ 1827 entailment
1830
+ 1828 entailment
1831
+ 1829 entailment
1832
+ 1830 entailment
1833
+ 1831 entailment
1834
+ 1832 entailment
1835
+ 1833 entailment
1836
+ 1834 entailment
1837
+ 1835 entailment
1838
+ 1836 entailment
1839
+ 1837 entailment
1840
+ 1838 entailment
1841
+ 1839 entailment
1842
+ 1840 entailment
1843
+ 1841 entailment
1844
+ 1842 entailment
1845
+ 1843 entailment
1846
+ 1844 entailment
1847
+ 1845 entailment
1848
+ 1846 entailment
1849
+ 1847 entailment
1850
+ 1848 entailment
1851
+ 1849 entailment
1852
+ 1850 entailment
1853
+ 1851 entailment
1854
+ 1852 entailment
1855
+ 1853 entailment
1856
+ 1854 entailment
1857
+ 1855 entailment
1858
+ 1856 entailment
1859
+ 1857 entailment
1860
+ 1858 entailment
1861
+ 1859 entailment
1862
+ 1860 entailment
1863
+ 1861 entailment
1864
+ 1862 entailment
1865
+ 1863 entailment
1866
+ 1864 entailment
1867
+ 1865 entailment
1868
+ 1866 entailment
1869
+ 1867 entailment
1870
+ 1868 entailment
1871
+ 1869 entailment
1872
+ 1870 entailment
1873
+ 1871 entailment
1874
+ 1872 entailment
1875
+ 1873 entailment
1876
+ 1874 entailment
1877
+ 1875 entailment
1878
+ 1876 entailment
1879
+ 1877 entailment
1880
+ 1878 entailment
1881
+ 1879 entailment
1882
+ 1880 entailment
1883
+ 1881 entailment
1884
+ 1882 entailment
1885
+ 1883 entailment
1886
+ 1884 entailment
1887
+ 1885 entailment
1888
+ 1886 entailment
1889
+ 1887 entailment
1890
+ 1888 entailment
1891
+ 1889 entailment
1892
+ 1890 entailment
1893
+ 1891 entailment
1894
+ 1892 entailment
1895
+ 1893 entailment
1896
+ 1894 entailment
1897
+ 1895 entailment
1898
+ 1896 entailment
1899
+ 1897 entailment
1900
+ 1898 entailment
1901
+ 1899 entailment
1902
+ 1900 entailment
1903
+ 1901 entailment
1904
+ 1902 entailment
1905
+ 1903 entailment
1906
+ 1904 entailment
1907
+ 1905 entailment
1908
+ 1906 entailment
1909
+ 1907 entailment
1910
+ 1908 entailment
1911
+ 1909 entailment
1912
+ 1910 entailment
1913
+ 1911 entailment
1914
+ 1912 entailment
1915
+ 1913 entailment
1916
+ 1914 entailment
1917
+ 1915 entailment
1918
+ 1916 entailment
1919
+ 1917 entailment
1920
+ 1918 entailment
1921
+ 1919 entailment
1922
+ 1920 entailment
1923
+ 1921 entailment
1924
+ 1922 entailment
1925
+ 1923 entailment
1926
+ 1924 entailment
1927
+ 1925 entailment
1928
+ 1926 entailment
1929
+ 1927 entailment
1930
+ 1928 entailment
1931
+ 1929 entailment
1932
+ 1930 entailment
1933
+ 1931 entailment
1934
+ 1932 entailment
1935
+ 1933 entailment
1936
+ 1934 entailment
1937
+ 1935 entailment
1938
+ 1936 entailment
1939
+ 1937 entailment
1940
+ 1938 entailment
1941
+ 1939 entailment
1942
+ 1940 entailment
1943
+ 1941 entailment
1944
+ 1942 entailment
1945
+ 1943 entailment
1946
+ 1944 entailment
1947
+ 1945 entailment
1948
+ 1946 entailment
1949
+ 1947 entailment
1950
+ 1948 entailment
1951
+ 1949 entailment
1952
+ 1950 entailment
1953
+ 1951 entailment
1954
+ 1952 entailment
1955
+ 1953 entailment
1956
+ 1954 entailment
1957
+ 1955 entailment
1958
+ 1956 entailment
1959
+ 1957 entailment
1960
+ 1958 entailment
1961
+ 1959 entailment
1962
+ 1960 entailment
1963
+ 1961 entailment
1964
+ 1962 entailment
1965
+ 1963 entailment
1966
+ 1964 entailment
1967
+ 1965 entailment
1968
+ 1966 entailment
1969
+ 1967 entailment
1970
+ 1968 entailment
1971
+ 1969 entailment
1972
+ 1970 entailment
1973
+ 1971 entailment
1974
+ 1972 entailment
1975
+ 1973 entailment
1976
+ 1974 entailment
1977
+ 1975 entailment
1978
+ 1976 entailment
1979
+ 1977 entailment
1980
+ 1978 entailment
1981
+ 1979 entailment
1982
+ 1980 entailment
1983
+ 1981 entailment
1984
+ 1982 entailment
1985
+ 1983 entailment
1986
+ 1984 entailment
1987
+ 1985 entailment
1988
+ 1986 entailment
1989
+ 1987 entailment
1990
+ 1988 entailment
1991
+ 1989 entailment
1992
+ 1990 entailment
1993
+ 1991 entailment
1994
+ 1992 entailment
1995
+ 1993 entailment
1996
+ 1994 entailment
1997
+ 1995 entailment
1998
+ 1996 entailment
1999
+ 1997 entailment
2000
+ 1998 entailment
2001
+ 1999 entailment
2002
+ 2000 entailment
2003
+ 2001 entailment
2004
+ 2002 entailment
2005
+ 2003 entailment
2006
+ 2004 entailment
2007
+ 2005 entailment
2008
+ 2006 entailment
2009
+ 2007 entailment
2010
+ 2008 entailment
2011
+ 2009 entailment
2012
+ 2010 entailment
2013
+ 2011 entailment
2014
+ 2012 entailment
2015
+ 2013 entailment
2016
+ 2014 entailment
2017
+ 2015 entailment
2018
+ 2016 entailment
2019
+ 2017 entailment
2020
+ 2018 entailment
2021
+ 2019 entailment
2022
+ 2020 entailment
2023
+ 2021 entailment
2024
+ 2022 entailment
2025
+ 2023 entailment
2026
+ 2024 entailment
2027
+ 2025 entailment
2028
+ 2026 entailment
2029
+ 2027 entailment
2030
+ 2028 entailment
2031
+ 2029 entailment
2032
+ 2030 entailment
2033
+ 2031 entailment
2034
+ 2032 entailment
2035
+ 2033 entailment
2036
+ 2034 entailment
2037
+ 2035 entailment
2038
+ 2036 entailment
2039
+ 2037 entailment
2040
+ 2038 entailment
2041
+ 2039 entailment
2042
+ 2040 entailment
2043
+ 2041 entailment
2044
+ 2042 entailment
2045
+ 2043 entailment
2046
+ 2044 entailment
2047
+ 2045 entailment
2048
+ 2046 entailment
2049
+ 2047 entailment
2050
+ 2048 entailment
2051
+ 2049 entailment
2052
+ 2050 entailment
2053
+ 2051 entailment
2054
+ 2052 entailment
2055
+ 2053 entailment
2056
+ 2054 entailment
2057
+ 2055 entailment
2058
+ 2056 entailment
2059
+ 2057 entailment
2060
+ 2058 entailment
2061
+ 2059 entailment
2062
+ 2060 entailment
2063
+ 2061 entailment
2064
+ 2062 entailment
2065
+ 2063 entailment
2066
+ 2064 entailment
2067
+ 2065 entailment
2068
+ 2066 entailment
2069
+ 2067 entailment
2070
+ 2068 entailment
2071
+ 2069 entailment
2072
+ 2070 entailment
2073
+ 2071 entailment
2074
+ 2072 entailment
2075
+ 2073 entailment
2076
+ 2074 entailment
2077
+ 2075 entailment
2078
+ 2076 entailment
2079
+ 2077 entailment
2080
+ 2078 entailment
2081
+ 2079 entailment
2082
+ 2080 entailment
2083
+ 2081 entailment
2084
+ 2082 entailment
2085
+ 2083 entailment
2086
+ 2084 entailment
2087
+ 2085 entailment
2088
+ 2086 entailment
2089
+ 2087 entailment
2090
+ 2088 entailment
2091
+ 2089 entailment
2092
+ 2090 entailment
2093
+ 2091 entailment
2094
+ 2092 entailment
2095
+ 2093 entailment
2096
+ 2094 entailment
2097
+ 2095 entailment
2098
+ 2096 entailment
2099
+ 2097 entailment
2100
+ 2098 entailment
2101
+ 2099 entailment
2102
+ 2100 entailment
2103
+ 2101 entailment
2104
+ 2102 entailment
2105
+ 2103 entailment
2106
+ 2104 entailment
2107
+ 2105 entailment
2108
+ 2106 entailment
2109
+ 2107 entailment
2110
+ 2108 entailment
2111
+ 2109 entailment
2112
+ 2110 entailment
2113
+ 2111 entailment
2114
+ 2112 entailment
2115
+ 2113 entailment
2116
+ 2114 entailment
2117
+ 2115 entailment
2118
+ 2116 entailment
2119
+ 2117 entailment
2120
+ 2118 entailment
2121
+ 2119 entailment
2122
+ 2120 entailment
2123
+ 2121 entailment
2124
+ 2122 entailment
2125
+ 2123 entailment
2126
+ 2124 entailment
2127
+ 2125 entailment
2128
+ 2126 entailment
2129
+ 2127 entailment
2130
+ 2128 entailment
2131
+ 2129 entailment
2132
+ 2130 entailment
2133
+ 2131 entailment
2134
+ 2132 entailment
2135
+ 2133 entailment
2136
+ 2134 entailment
2137
+ 2135 entailment
2138
+ 2136 entailment
2139
+ 2137 entailment
2140
+ 2138 entailment
2141
+ 2139 entailment
2142
+ 2140 entailment
2143
+ 2141 entailment
2144
+ 2142 entailment
2145
+ 2143 entailment
2146
+ 2144 entailment
2147
+ 2145 entailment
2148
+ 2146 entailment
2149
+ 2147 entailment
2150
+ 2148 entailment
2151
+ 2149 entailment
2152
+ 2150 entailment
2153
+ 2151 entailment
2154
+ 2152 entailment
2155
+ 2153 entailment
2156
+ 2154 entailment
2157
+ 2155 entailment
2158
+ 2156 entailment
2159
+ 2157 entailment
2160
+ 2158 entailment
2161
+ 2159 entailment
2162
+ 2160 entailment
2163
+ 2161 entailment
2164
+ 2162 entailment
2165
+ 2163 entailment
2166
+ 2164 entailment
2167
+ 2165 entailment
2168
+ 2166 entailment
2169
+ 2167 entailment
2170
+ 2168 entailment
2171
+ 2169 entailment
2172
+ 2170 entailment
2173
+ 2171 entailment
2174
+ 2172 entailment
2175
+ 2173 entailment
2176
+ 2174 entailment
2177
+ 2175 entailment
2178
+ 2176 entailment
2179
+ 2177 entailment
2180
+ 2178 entailment
2181
+ 2179 entailment
2182
+ 2180 entailment
2183
+ 2181 entailment
2184
+ 2182 entailment
2185
+ 2183 entailment
2186
+ 2184 entailment
2187
+ 2185 entailment
2188
+ 2186 entailment
2189
+ 2187 entailment
2190
+ 2188 entailment
2191
+ 2189 entailment
2192
+ 2190 entailment
2193
+ 2191 entailment
2194
+ 2192 entailment
2195
+ 2193 entailment
2196
+ 2194 entailment
2197
+ 2195 entailment
2198
+ 2196 entailment
2199
+ 2197 entailment
2200
+ 2198 entailment
2201
+ 2199 entailment
2202
+ 2200 entailment
2203
+ 2201 entailment
2204
+ 2202 entailment
2205
+ 2203 entailment
2206
+ 2204 entailment
2207
+ 2205 entailment
2208
+ 2206 entailment
2209
+ 2207 entailment
2210
+ 2208 entailment
2211
+ 2209 entailment
2212
+ 2210 entailment
2213
+ 2211 entailment
2214
+ 2212 entailment
2215
+ 2213 entailment
2216
+ 2214 entailment
2217
+ 2215 entailment
2218
+ 2216 entailment
2219
+ 2217 entailment
2220
+ 2218 entailment
2221
+ 2219 entailment
2222
+ 2220 entailment
2223
+ 2221 entailment
2224
+ 2222 entailment
2225
+ 2223 entailment
2226
+ 2224 entailment
2227
+ 2225 entailment
2228
+ 2226 entailment
2229
+ 2227 entailment
2230
+ 2228 entailment
2231
+ 2229 entailment
2232
+ 2230 entailment
2233
+ 2231 entailment
2234
+ 2232 entailment
2235
+ 2233 entailment
2236
+ 2234 entailment
2237
+ 2235 entailment
2238
+ 2236 entailment
2239
+ 2237 entailment
2240
+ 2238 entailment
2241
+ 2239 entailment
2242
+ 2240 entailment
2243
+ 2241 entailment
2244
+ 2242 entailment
2245
+ 2243 entailment
2246
+ 2244 entailment
2247
+ 2245 entailment
2248
+ 2246 entailment
2249
+ 2247 entailment
2250
+ 2248 entailment
2251
+ 2249 entailment
2252
+ 2250 entailment
2253
+ 2251 entailment
2254
+ 2252 entailment
2255
+ 2253 entailment
2256
+ 2254 entailment
2257
+ 2255 entailment
2258
+ 2256 entailment
2259
+ 2257 entailment
2260
+ 2258 entailment
2261
+ 2259 entailment
2262
+ 2260 entailment
2263
+ 2261 entailment
2264
+ 2262 entailment
2265
+ 2263 entailment
2266
+ 2264 entailment
2267
+ 2265 entailment
2268
+ 2266 entailment
2269
+ 2267 entailment
2270
+ 2268 entailment
2271
+ 2269 entailment
2272
+ 2270 entailment
2273
+ 2271 entailment
2274
+ 2272 entailment
2275
+ 2273 entailment
2276
+ 2274 entailment
2277
+ 2275 entailment
2278
+ 2276 entailment
2279
+ 2277 entailment
2280
+ 2278 entailment
2281
+ 2279 entailment
2282
+ 2280 entailment
2283
+ 2281 entailment
2284
+ 2282 entailment
2285
+ 2283 entailment
2286
+ 2284 entailment
2287
+ 2285 entailment
2288
+ 2286 entailment
2289
+ 2287 entailment
2290
+ 2288 entailment
2291
+ 2289 entailment
2292
+ 2290 entailment
2293
+ 2291 entailment
2294
+ 2292 entailment
2295
+ 2293 entailment
2296
+ 2294 entailment
2297
+ 2295 entailment
2298
+ 2296 entailment
2299
+ 2297 entailment
2300
+ 2298 entailment
2301
+ 2299 entailment
2302
+ 2300 entailment
2303
+ 2301 entailment
2304
+ 2302 entailment
2305
+ 2303 entailment
2306
+ 2304 entailment
2307
+ 2305 entailment
2308
+ 2306 entailment
2309
+ 2307 entailment
2310
+ 2308 entailment
2311
+ 2309 entailment
2312
+ 2310 entailment
2313
+ 2311 entailment
2314
+ 2312 entailment
2315
+ 2313 entailment
2316
+ 2314 entailment
2317
+ 2315 entailment
2318
+ 2316 entailment
2319
+ 2317 entailment
2320
+ 2318 entailment
2321
+ 2319 entailment
2322
+ 2320 entailment
2323
+ 2321 entailment
2324
+ 2322 entailment
2325
+ 2323 entailment
2326
+ 2324 entailment
2327
+ 2325 entailment
2328
+ 2326 entailment
2329
+ 2327 entailment
2330
+ 2328 entailment
2331
+ 2329 entailment
2332
+ 2330 entailment
2333
+ 2331 entailment
2334
+ 2332 entailment
2335
+ 2333 entailment
2336
+ 2334 entailment
2337
+ 2335 entailment
2338
+ 2336 entailment
2339
+ 2337 entailment
2340
+ 2338 entailment
2341
+ 2339 entailment
2342
+ 2340 entailment
2343
+ 2341 entailment
2344
+ 2342 entailment
2345
+ 2343 entailment
2346
+ 2344 entailment
2347
+ 2345 entailment
2348
+ 2346 entailment
2349
+ 2347 entailment
2350
+ 2348 entailment
2351
+ 2349 entailment
2352
+ 2350 entailment
2353
+ 2351 entailment
2354
+ 2352 entailment
2355
+ 2353 entailment
2356
+ 2354 entailment
2357
+ 2355 entailment
2358
+ 2356 entailment
2359
+ 2357 entailment
2360
+ 2358 entailment
2361
+ 2359 entailment
2362
+ 2360 entailment
2363
+ 2361 entailment
2364
+ 2362 entailment
2365
+ 2363 entailment
2366
+ 2364 entailment
2367
+ 2365 entailment
2368
+ 2366 entailment
2369
+ 2367 entailment
2370
+ 2368 entailment
2371
+ 2369 entailment
2372
+ 2370 entailment
2373
+ 2371 entailment
2374
+ 2372 entailment
2375
+ 2373 entailment
2376
+ 2374 entailment
2377
+ 2375 entailment
2378
+ 2376 entailment
2379
+ 2377 entailment
2380
+ 2378 entailment
2381
+ 2379 entailment
2382
+ 2380 entailment
2383
+ 2381 entailment
2384
+ 2382 entailment
2385
+ 2383 entailment
2386
+ 2384 entailment
2387
+ 2385 entailment
2388
+ 2386 entailment
2389
+ 2387 entailment
2390
+ 2388 entailment
2391
+ 2389 entailment
2392
+ 2390 entailment
2393
+ 2391 entailment
2394
+ 2392 entailment
2395
+ 2393 entailment
2396
+ 2394 entailment
2397
+ 2395 entailment
2398
+ 2396 entailment
2399
+ 2397 entailment
2400
+ 2398 entailment
2401
+ 2399 entailment
2402
+ 2400 entailment
2403
+ 2401 entailment
2404
+ 2402 entailment
2405
+ 2403 entailment
2406
+ 2404 entailment
2407
+ 2405 entailment
2408
+ 2406 entailment
2409
+ 2407 entailment
2410
+ 2408 entailment
2411
+ 2409 entailment
2412
+ 2410 entailment
2413
+ 2411 entailment
2414
+ 2412 entailment
2415
+ 2413 entailment
2416
+ 2414 entailment
2417
+ 2415 entailment
2418
+ 2416 entailment
2419
+ 2417 entailment
2420
+ 2418 entailment
2421
+ 2419 entailment
2422
+ 2420 entailment
2423
+ 2421 entailment
2424
+ 2422 entailment
2425
+ 2423 entailment
2426
+ 2424 entailment
2427
+ 2425 entailment
2428
+ 2426 entailment
2429
+ 2427 entailment
2430
+ 2428 entailment
2431
+ 2429 entailment
2432
+ 2430 entailment
2433
+ 2431 entailment
2434
+ 2432 entailment
2435
+ 2433 entailment
2436
+ 2434 entailment
2437
+ 2435 entailment
2438
+ 2436 entailment
2439
+ 2437 entailment
2440
+ 2438 entailment
2441
+ 2439 entailment
2442
+ 2440 entailment
2443
+ 2441 entailment
2444
+ 2442 entailment
2445
+ 2443 entailment
2446
+ 2444 entailment
2447
+ 2445 entailment
2448
+ 2446 entailment
2449
+ 2447 entailment
2450
+ 2448 entailment
2451
+ 2449 entailment
2452
+ 2450 entailment
2453
+ 2451 entailment
2454
+ 2452 entailment
2455
+ 2453 entailment
2456
+ 2454 entailment
2457
+ 2455 entailment
2458
+ 2456 entailment
2459
+ 2457 entailment
2460
+ 2458 entailment
2461
+ 2459 entailment
2462
+ 2460 entailment
2463
+ 2461 entailment
2464
+ 2462 entailment
2465
+ 2463 entailment
2466
+ 2464 entailment
2467
+ 2465 entailment
2468
+ 2466 entailment
2469
+ 2467 entailment
2470
+ 2468 entailment
2471
+ 2469 entailment
2472
+ 2470 entailment
2473
+ 2471 entailment
2474
+ 2472 entailment
2475
+ 2473 entailment
2476
+ 2474 entailment
2477
+ 2475 entailment
2478
+ 2476 entailment
2479
+ 2477 entailment
2480
+ 2478 entailment
2481
+ 2479 entailment
2482
+ 2480 entailment
2483
+ 2481 entailment
2484
+ 2482 entailment
2485
+ 2483 entailment
2486
+ 2484 entailment
2487
+ 2485 entailment
2488
+ 2486 entailment
2489
+ 2487 entailment
2490
+ 2488 entailment
2491
+ 2489 entailment
2492
+ 2490 entailment
2493
+ 2491 entailment
2494
+ 2492 entailment
2495
+ 2493 entailment
2496
+ 2494 entailment
2497
+ 2495 entailment
2498
+ 2496 entailment
2499
+ 2497 entailment
2500
+ 2498 entailment
2501
+ 2499 entailment
2502
+ 2500 entailment
2503
+ 2501 entailment
2504
+ 2502 entailment
2505
+ 2503 entailment
2506
+ 2504 entailment
2507
+ 2505 entailment
2508
+ 2506 entailment
2509
+ 2507 entailment
2510
+ 2508 entailment
2511
+ 2509 entailment
2512
+ 2510 entailment
2513
+ 2511 entailment
2514
+ 2512 entailment
2515
+ 2513 entailment
2516
+ 2514 entailment
2517
+ 2515 entailment
2518
+ 2516 entailment
2519
+ 2517 entailment
2520
+ 2518 entailment
2521
+ 2519 entailment
2522
+ 2520 entailment
2523
+ 2521 entailment
2524
+ 2522 entailment
2525
+ 2523 entailment
2526
+ 2524 entailment
2527
+ 2525 entailment
2528
+ 2526 entailment
2529
+ 2527 entailment
2530
+ 2528 entailment
2531
+ 2529 entailment
2532
+ 2530 entailment
2533
+ 2531 entailment
2534
+ 2532 entailment
2535
+ 2533 entailment
2536
+ 2534 entailment
2537
+ 2535 entailment
2538
+ 2536 entailment
2539
+ 2537 entailment
2540
+ 2538 entailment
2541
+ 2539 entailment
2542
+ 2540 entailment
2543
+ 2541 entailment
2544
+ 2542 entailment
2545
+ 2543 entailment
2546
+ 2544 entailment
2547
+ 2545 entailment
2548
+ 2546 entailment
2549
+ 2547 entailment
2550
+ 2548 entailment
2551
+ 2549 entailment
2552
+ 2550 entailment
2553
+ 2551 entailment
2554
+ 2552 entailment
2555
+ 2553 entailment
2556
+ 2554 entailment
2557
+ 2555 entailment
2558
+ 2556 entailment
2559
+ 2557 entailment
2560
+ 2558 entailment
2561
+ 2559 entailment
2562
+ 2560 entailment
2563
+ 2561 entailment
2564
+ 2562 entailment
2565
+ 2563 entailment
2566
+ 2564 entailment
2567
+ 2565 entailment
2568
+ 2566 entailment
2569
+ 2567 entailment
2570
+ 2568 entailment
2571
+ 2569 entailment
2572
+ 2570 entailment
2573
+ 2571 entailment
2574
+ 2572 entailment
2575
+ 2573 entailment
2576
+ 2574 entailment
2577
+ 2575 entailment
2578
+ 2576 entailment
2579
+ 2577 entailment
2580
+ 2578 entailment
2581
+ 2579 entailment
2582
+ 2580 entailment
2583
+ 2581 entailment
2584
+ 2582 entailment
2585
+ 2583 entailment
2586
+ 2584 entailment
2587
+ 2585 entailment
2588
+ 2586 entailment
2589
+ 2587 entailment
2590
+ 2588 entailment
2591
+ 2589 entailment
2592
+ 2590 entailment
2593
+ 2591 entailment
2594
+ 2592 entailment
2595
+ 2593 entailment
2596
+ 2594 entailment
2597
+ 2595 entailment
2598
+ 2596 entailment
2599
+ 2597 entailment
2600
+ 2598 entailment
2601
+ 2599 entailment
2602
+ 2600 entailment
2603
+ 2601 entailment
2604
+ 2602 entailment
2605
+ 2603 entailment
2606
+ 2604 entailment
2607
+ 2605 entailment
2608
+ 2606 entailment
2609
+ 2607 entailment
2610
+ 2608 entailment
2611
+ 2609 entailment
2612
+ 2610 entailment
2613
+ 2611 entailment
2614
+ 2612 entailment
2615
+ 2613 entailment
2616
+ 2614 entailment
2617
+ 2615 entailment
2618
+ 2616 entailment
2619
+ 2617 entailment
2620
+ 2618 entailment
2621
+ 2619 entailment
2622
+ 2620 entailment
2623
+ 2621 entailment
2624
+ 2622 entailment
2625
+ 2623 entailment
2626
+ 2624 entailment
2627
+ 2625 entailment
2628
+ 2626 entailment
2629
+ 2627 entailment
2630
+ 2628 entailment
2631
+ 2629 entailment
2632
+ 2630 entailment
2633
+ 2631 entailment
2634
+ 2632 entailment
2635
+ 2633 entailment
2636
+ 2634 entailment
2637
+ 2635 entailment
2638
+ 2636 entailment
2639
+ 2637 entailment
2640
+ 2638 entailment
2641
+ 2639 entailment
2642
+ 2640 entailment
2643
+ 2641 entailment
2644
+ 2642 entailment
2645
+ 2643 entailment
2646
+ 2644 entailment
2647
+ 2645 entailment
2648
+ 2646 entailment
2649
+ 2647 entailment
2650
+ 2648 entailment
2651
+ 2649 entailment
2652
+ 2650 entailment
2653
+ 2651 entailment
2654
+ 2652 entailment
2655
+ 2653 entailment
2656
+ 2654 entailment
2657
+ 2655 entailment
2658
+ 2656 entailment
2659
+ 2657 entailment
2660
+ 2658 entailment
2661
+ 2659 entailment
2662
+ 2660 entailment
2663
+ 2661 entailment
2664
+ 2662 entailment
2665
+ 2663 entailment
2666
+ 2664 entailment
2667
+ 2665 entailment
2668
+ 2666 entailment
2669
+ 2667 entailment
2670
+ 2668 entailment
2671
+ 2669 entailment
2672
+ 2670 entailment
2673
+ 2671 entailment
2674
+ 2672 entailment
2675
+ 2673 entailment
2676
+ 2674 entailment
2677
+ 2675 entailment
2678
+ 2676 entailment
2679
+ 2677 entailment
2680
+ 2678 entailment
2681
+ 2679 entailment
2682
+ 2680 entailment
2683
+ 2681 entailment
2684
+ 2682 entailment
2685
+ 2683 entailment
2686
+ 2684 entailment
2687
+ 2685 entailment
2688
+ 2686 entailment
2689
+ 2687 entailment
2690
+ 2688 entailment
2691
+ 2689 entailment
2692
+ 2690 entailment
2693
+ 2691 entailment
2694
+ 2692 entailment
2695
+ 2693 entailment
2696
+ 2694 entailment
2697
+ 2695 entailment
2698
+ 2696 entailment
2699
+ 2697 entailment
2700
+ 2698 entailment
2701
+ 2699 entailment
2702
+ 2700 entailment
2703
+ 2701 entailment
2704
+ 2702 entailment
2705
+ 2703 entailment
2706
+ 2704 entailment
2707
+ 2705 entailment
2708
+ 2706 entailment
2709
+ 2707 entailment
2710
+ 2708 entailment
2711
+ 2709 entailment
2712
+ 2710 entailment
2713
+ 2711 entailment
2714
+ 2712 entailment
2715
+ 2713 entailment
2716
+ 2714 entailment
2717
+ 2715 entailment
2718
+ 2716 entailment
2719
+ 2717 entailment
2720
+ 2718 entailment
2721
+ 2719 entailment
2722
+ 2720 entailment
2723
+ 2721 entailment
2724
+ 2722 entailment
2725
+ 2723 entailment
2726
+ 2724 entailment
2727
+ 2725 entailment
2728
+ 2726 entailment
2729
+ 2727 entailment
2730
+ 2728 entailment
2731
+ 2729 entailment
2732
+ 2730 entailment
2733
+ 2731 entailment
2734
+ 2732 entailment
2735
+ 2733 entailment
2736
+ 2734 entailment
2737
+ 2735 entailment
2738
+ 2736 entailment
2739
+ 2737 entailment
2740
+ 2738 entailment
2741
+ 2739 entailment
2742
+ 2740 entailment
2743
+ 2741 entailment
2744
+ 2742 entailment
2745
+ 2743 entailment
2746
+ 2744 entailment
2747
+ 2745 entailment
2748
+ 2746 entailment
2749
+ 2747 entailment
2750
+ 2748 entailment
2751
+ 2749 entailment
2752
+ 2750 entailment
2753
+ 2751 entailment
2754
+ 2752 entailment
2755
+ 2753 entailment
2756
+ 2754 entailment
2757
+ 2755 entailment
2758
+ 2756 entailment
2759
+ 2757 entailment
2760
+ 2758 entailment
2761
+ 2759 entailment
2762
+ 2760 entailment
2763
+ 2761 entailment
2764
+ 2762 entailment
2765
+ 2763 entailment
2766
+ 2764 entailment
2767
+ 2765 entailment
2768
+ 2766 entailment
2769
+ 2767 entailment
2770
+ 2768 entailment
2771
+ 2769 entailment
2772
+ 2770 entailment
2773
+ 2771 entailment
2774
+ 2772 entailment
2775
+ 2773 entailment
2776
+ 2774 entailment
2777
+ 2775 entailment
2778
+ 2776 entailment
2779
+ 2777 entailment
2780
+ 2778 entailment
2781
+ 2779 entailment
2782
+ 2780 entailment
2783
+ 2781 entailment
2784
+ 2782 entailment
2785
+ 2783 entailment
2786
+ 2784 entailment
2787
+ 2785 entailment
2788
+ 2786 entailment
2789
+ 2787 entailment
2790
+ 2788 entailment
2791
+ 2789 entailment
2792
+ 2790 entailment
2793
+ 2791 entailment
2794
+ 2792 entailment
2795
+ 2793 entailment
2796
+ 2794 entailment
2797
+ 2795 entailment
2798
+ 2796 entailment
2799
+ 2797 entailment
2800
+ 2798 entailment
2801
+ 2799 entailment
2802
+ 2800 entailment
2803
+ 2801 entailment
2804
+ 2802 entailment
2805
+ 2803 entailment
2806
+ 2804 entailment
2807
+ 2805 entailment
2808
+ 2806 entailment
2809
+ 2807 entailment
2810
+ 2808 entailment
2811
+ 2809 entailment
2812
+ 2810 entailment
2813
+ 2811 entailment
2814
+ 2812 entailment
2815
+ 2813 entailment
2816
+ 2814 entailment
2817
+ 2815 entailment
2818
+ 2816 entailment
2819
+ 2817 entailment
2820
+ 2818 entailment
2821
+ 2819 entailment
2822
+ 2820 entailment
2823
+ 2821 entailment
2824
+ 2822 entailment
2825
+ 2823 entailment
2826
+ 2824 entailment
2827
+ 2825 entailment
2828
+ 2826 entailment
2829
+ 2827 entailment
2830
+ 2828 entailment
2831
+ 2829 entailment
2832
+ 2830 entailment
2833
+ 2831 entailment
2834
+ 2832 entailment
2835
+ 2833 entailment
2836
+ 2834 entailment
2837
+ 2835 entailment
2838
+ 2836 entailment
2839
+ 2837 entailment
2840
+ 2838 entailment
2841
+ 2839 entailment
2842
+ 2840 entailment
2843
+ 2841 entailment
2844
+ 2842 entailment
2845
+ 2843 entailment
2846
+ 2844 entailment
2847
+ 2845 entailment
2848
+ 2846 entailment
2849
+ 2847 entailment
2850
+ 2848 entailment
2851
+ 2849 entailment
2852
+ 2850 entailment
2853
+ 2851 entailment
2854
+ 2852 entailment
2855
+ 2853 entailment
2856
+ 2854 entailment
2857
+ 2855 entailment
2858
+ 2856 entailment
2859
+ 2857 entailment
2860
+ 2858 entailment
2861
+ 2859 entailment
2862
+ 2860 entailment
2863
+ 2861 entailment
2864
+ 2862 entailment
2865
+ 2863 entailment
2866
+ 2864 entailment
2867
+ 2865 entailment
2868
+ 2866 entailment
2869
+ 2867 entailment
2870
+ 2868 entailment
2871
+ 2869 entailment
2872
+ 2870 entailment
2873
+ 2871 entailment
2874
+ 2872 entailment
2875
+ 2873 entailment
2876
+ 2874 entailment
2877
+ 2875 entailment
2878
+ 2876 entailment
2879
+ 2877 entailment
2880
+ 2878 entailment
2881
+ 2879 entailment
2882
+ 2880 entailment
2883
+ 2881 entailment
2884
+ 2882 entailment
2885
+ 2883 entailment
2886
+ 2884 entailment
2887
+ 2885 entailment
2888
+ 2886 entailment
2889
+ 2887 entailment
2890
+ 2888 entailment
2891
+ 2889 entailment
2892
+ 2890 entailment
2893
+ 2891 entailment
2894
+ 2892 entailment
2895
+ 2893 entailment
2896
+ 2894 entailment
2897
+ 2895 entailment
2898
+ 2896 entailment
2899
+ 2897 entailment
2900
+ 2898 entailment
2901
+ 2899 entailment
2902
+ 2900 entailment
2903
+ 2901 entailment
2904
+ 2902 entailment
2905
+ 2903 entailment
2906
+ 2904 entailment
2907
+ 2905 entailment
2908
+ 2906 entailment
2909
+ 2907 entailment
2910
+ 2908 entailment
2911
+ 2909 entailment
2912
+ 2910 entailment
2913
+ 2911 entailment
2914
+ 2912 entailment
2915
+ 2913 entailment
2916
+ 2914 entailment
2917
+ 2915 entailment
2918
+ 2916 entailment
2919
+ 2917 entailment
2920
+ 2918 entailment
2921
+ 2919 entailment
2922
+ 2920 entailment
2923
+ 2921 entailment
2924
+ 2922 entailment
2925
+ 2923 entailment
2926
+ 2924 entailment
2927
+ 2925 entailment
2928
+ 2926 entailment
2929
+ 2927 entailment
2930
+ 2928 entailment
2931
+ 2929 entailment
2932
+ 2930 entailment
2933
+ 2931 entailment
2934
+ 2932 entailment
2935
+ 2933 entailment
2936
+ 2934 entailment
2937
+ 2935 entailment
2938
+ 2936 entailment
2939
+ 2937 entailment
2940
+ 2938 entailment
2941
+ 2939 entailment
2942
+ 2940 entailment
2943
+ 2941 entailment
2944
+ 2942 entailment
2945
+ 2943 entailment
2946
+ 2944 entailment
2947
+ 2945 entailment
2948
+ 2946 entailment
2949
+ 2947 entailment
2950
+ 2948 entailment
2951
+ 2949 entailment
2952
+ 2950 entailment
2953
+ 2951 entailment
2954
+ 2952 entailment
2955
+ 2953 entailment
2956
+ 2954 entailment
2957
+ 2955 entailment
2958
+ 2956 entailment
2959
+ 2957 entailment
2960
+ 2958 entailment
2961
+ 2959 entailment
2962
+ 2960 entailment
2963
+ 2961 entailment
2964
+ 2962 entailment
2965
+ 2963 entailment
2966
+ 2964 entailment
2967
+ 2965 entailment
2968
+ 2966 entailment
2969
+ 2967 entailment
2970
+ 2968 entailment
2971
+ 2969 entailment
2972
+ 2970 entailment
2973
+ 2971 entailment
2974
+ 2972 entailment
2975
+ 2973 entailment
2976
+ 2974 entailment
2977
+ 2975 entailment
2978
+ 2976 entailment
2979
+ 2977 entailment
2980
+ 2978 entailment
2981
+ 2979 entailment
2982
+ 2980 entailment
2983
+ 2981 entailment
2984
+ 2982 entailment
2985
+ 2983 entailment
2986
+ 2984 entailment
2987
+ 2985 entailment
2988
+ 2986 entailment
2989
+ 2987 entailment
2990
+ 2988 entailment
2991
+ 2989 entailment
2992
+ 2990 entailment
2993
+ 2991 entailment
2994
+ 2992 entailment
2995
+ 2993 entailment
2996
+ 2994 entailment
2997
+ 2995 entailment
2998
+ 2996 entailment
2999
+ 2997 entailment
3000
+ 2998 entailment
3001
+ 2999 entailment
3002
+ 3000 entailment
3003
+ 3001 entailment
3004
+ 3002 entailment
3005
+ 3003 entailment
3006
+ 3004 entailment
3007
+ 3005 entailment
3008
+ 3006 entailment
3009
+ 3007 entailment
3010
+ 3008 entailment
3011
+ 3009 entailment
3012
+ 3010 entailment
3013
+ 3011 entailment
3014
+ 3012 entailment
3015
+ 3013 entailment
3016
+ 3014 entailment
3017
+ 3015 entailment
3018
+ 3016 entailment
3019
+ 3017 entailment
3020
+ 3018 entailment
3021
+ 3019 entailment
3022
+ 3020 entailment
3023
+ 3021 entailment
3024
+ 3022 entailment
3025
+ 3023 entailment
3026
+ 3024 entailment
3027
+ 3025 entailment
3028
+ 3026 entailment
3029
+ 3027 entailment
3030
+ 3028 entailment
3031
+ 3029 entailment
3032
+ 3030 entailment
3033
+ 3031 entailment
3034
+ 3032 entailment
3035
+ 3033 entailment
3036
+ 3034 entailment
3037
+ 3035 entailment
3038
+ 3036 entailment
3039
+ 3037 entailment
3040
+ 3038 entailment
3041
+ 3039 entailment
3042
+ 3040 entailment
3043
+ 3041 entailment
3044
+ 3042 entailment
3045
+ 3043 entailment
3046
+ 3044 entailment
3047
+ 3045 entailment
3048
+ 3046 entailment
3049
+ 3047 entailment
3050
+ 3048 entailment
3051
+ 3049 entailment
3052
+ 3050 entailment
3053
+ 3051 entailment
3054
+ 3052 entailment
3055
+ 3053 entailment
3056
+ 3054 entailment
3057
+ 3055 entailment
3058
+ 3056 entailment
3059
+ 3057 entailment
3060
+ 3058 entailment
3061
+ 3059 entailment
3062
+ 3060 entailment
3063
+ 3061 entailment
3064
+ 3062 entailment
3065
+ 3063 entailment
3066
+ 3064 entailment
3067
+ 3065 entailment
3068
+ 3066 entailment
3069
+ 3067 entailment
3070
+ 3068 entailment
3071
+ 3069 entailment
3072
+ 3070 entailment
3073
+ 3071 entailment
3074
+ 3072 entailment
3075
+ 3073 entailment
3076
+ 3074 entailment
3077
+ 3075 entailment
3078
+ 3076 entailment
3079
+ 3077 entailment
3080
+ 3078 entailment
3081
+ 3079 entailment
3082
+ 3080 entailment
3083
+ 3081 entailment
3084
+ 3082 entailment
3085
+ 3083 entailment
3086
+ 3084 entailment
3087
+ 3085 entailment
3088
+ 3086 entailment
3089
+ 3087 entailment
3090
+ 3088 entailment
3091
+ 3089 entailment
3092
+ 3090 entailment
3093
+ 3091 entailment
3094
+ 3092 entailment
3095
+ 3093 entailment
3096
+ 3094 entailment
3097
+ 3095 entailment
3098
+ 3096 entailment
3099
+ 3097 entailment
3100
+ 3098 entailment
3101
+ 3099 entailment
3102
+ 3100 entailment
3103
+ 3101 entailment
3104
+ 3102 entailment
3105
+ 3103 entailment
3106
+ 3104 entailment
3107
+ 3105 entailment
3108
+ 3106 entailment
3109
+ 3107 entailment
3110
+ 3108 entailment
3111
+ 3109 entailment
3112
+ 3110 entailment
3113
+ 3111 entailment
3114
+ 3112 entailment
3115
+ 3113 entailment
3116
+ 3114 entailment
3117
+ 3115 entailment
3118
+ 3116 entailment
3119
+ 3117 entailment
3120
+ 3118 entailment
3121
+ 3119 entailment
3122
+ 3120 entailment
3123
+ 3121 entailment
3124
+ 3122 entailment
3125
+ 3123 entailment
3126
+ 3124 entailment
3127
+ 3125 entailment
3128
+ 3126 entailment
3129
+ 3127 entailment
3130
+ 3128 entailment
3131
+ 3129 entailment
3132
+ 3130 entailment
3133
+ 3131 entailment
3134
+ 3132 entailment
3135
+ 3133 entailment
3136
+ 3134 entailment
3137
+ 3135 entailment
3138
+ 3136 entailment
3139
+ 3137 entailment
3140
+ 3138 entailment
3141
+ 3139 entailment
3142
+ 3140 entailment
3143
+ 3141 entailment
3144
+ 3142 entailment
3145
+ 3143 entailment
3146
+ 3144 entailment
3147
+ 3145 entailment
3148
+ 3146 entailment
3149
+ 3147 entailment
3150
+ 3148 entailment
3151
+ 3149 entailment
3152
+ 3150 entailment
3153
+ 3151 entailment
3154
+ 3152 entailment
3155
+ 3153 entailment
3156
+ 3154 entailment
3157
+ 3155 entailment
3158
+ 3156 entailment
3159
+ 3157 entailment
3160
+ 3158 entailment
3161
+ 3159 entailment
3162
+ 3160 entailment
3163
+ 3161 entailment
3164
+ 3162 entailment
3165
+ 3163 entailment
3166
+ 3164 entailment
3167
+ 3165 entailment
3168
+ 3166 entailment
3169
+ 3167 entailment
3170
+ 3168 entailment
3171
+ 3169 entailment
3172
+ 3170 entailment
3173
+ 3171 entailment
3174
+ 3172 entailment
3175
+ 3173 entailment
3176
+ 3174 entailment
3177
+ 3175 entailment
3178
+ 3176 entailment
3179
+ 3177 entailment
3180
+ 3178 entailment
3181
+ 3179 entailment
3182
+ 3180 entailment
3183
+ 3181 entailment
3184
+ 3182 entailment
3185
+ 3183 entailment
3186
+ 3184 entailment
3187
+ 3185 entailment
3188
+ 3186 entailment
3189
+ 3187 entailment
3190
+ 3188 entailment
3191
+ 3189 entailment
3192
+ 3190 entailment
3193
+ 3191 entailment
3194
+ 3192 entailment
3195
+ 3193 entailment
3196
+ 3194 entailment
3197
+ 3195 entailment
3198
+ 3196 entailment
3199
+ 3197 entailment
3200
+ 3198 entailment
3201
+ 3199 entailment
3202
+ 3200 entailment
3203
+ 3201 entailment
3204
+ 3202 entailment
3205
+ 3203 entailment
3206
+ 3204 entailment
3207
+ 3205 entailment
3208
+ 3206 entailment
3209
+ 3207 entailment
3210
+ 3208 entailment
3211
+ 3209 entailment
3212
+ 3210 entailment
3213
+ 3211 entailment
3214
+ 3212 entailment
3215
+ 3213 entailment
3216
+ 3214 entailment
3217
+ 3215 entailment
3218
+ 3216 entailment
3219
+ 3217 entailment
3220
+ 3218 entailment
3221
+ 3219 entailment
3222
+ 3220 entailment
3223
+ 3221 entailment
3224
+ 3222 entailment
3225
+ 3223 entailment
3226
+ 3224 entailment
3227
+ 3225 entailment
3228
+ 3226 entailment
3229
+ 3227 entailment
3230
+ 3228 entailment
3231
+ 3229 entailment
3232
+ 3230 entailment
3233
+ 3231 entailment
3234
+ 3232 entailment
3235
+ 3233 entailment
3236
+ 3234 entailment
3237
+ 3235 entailment
3238
+ 3236 entailment
3239
+ 3237 entailment
3240
+ 3238 entailment
3241
+ 3239 entailment
3242
+ 3240 entailment
3243
+ 3241 entailment
3244
+ 3242 entailment
3245
+ 3243 entailment
3246
+ 3244 entailment
3247
+ 3245 entailment
3248
+ 3246 entailment
3249
+ 3247 entailment
3250
+ 3248 entailment
3251
+ 3249 entailment
3252
+ 3250 entailment
3253
+ 3251 entailment
3254
+ 3252 entailment
3255
+ 3253 entailment
3256
+ 3254 entailment
3257
+ 3255 entailment
3258
+ 3256 entailment
3259
+ 3257 entailment
3260
+ 3258 entailment
3261
+ 3259 entailment
3262
+ 3260 entailment
3263
+ 3261 entailment
3264
+ 3262 entailment
3265
+ 3263 entailment
3266
+ 3264 entailment
3267
+ 3265 entailment
3268
+ 3266 entailment
3269
+ 3267 entailment
3270
+ 3268 entailment
3271
+ 3269 entailment
3272
+ 3270 entailment
3273
+ 3271 entailment
3274
+ 3272 entailment
3275
+ 3273 entailment
3276
+ 3274 entailment
3277
+ 3275 entailment
3278
+ 3276 entailment
3279
+ 3277 entailment
3280
+ 3278 entailment
3281
+ 3279 entailment
3282
+ 3280 entailment
3283
+ 3281 entailment
3284
+ 3282 entailment
3285
+ 3283 entailment
3286
+ 3284 entailment
3287
+ 3285 entailment
3288
+ 3286 entailment
3289
+ 3287 entailment
3290
+ 3288 entailment
3291
+ 3289 entailment
3292
+ 3290 entailment
3293
+ 3291 entailment
3294
+ 3292 entailment
3295
+ 3293 entailment
3296
+ 3294 entailment
3297
+ 3295 entailment
3298
+ 3296 entailment
3299
+ 3297 entailment
3300
+ 3298 entailment
3301
+ 3299 entailment
3302
+ 3300 entailment
3303
+ 3301 entailment
3304
+ 3302 entailment
3305
+ 3303 entailment
3306
+ 3304 entailment
3307
+ 3305 entailment
3308
+ 3306 entailment
3309
+ 3307 entailment
3310
+ 3308 entailment
3311
+ 3309 entailment
3312
+ 3310 entailment
3313
+ 3311 entailment
3314
+ 3312 entailment
3315
+ 3313 entailment
3316
+ 3314 entailment
3317
+ 3315 entailment
3318
+ 3316 entailment
3319
+ 3317 entailment
3320
+ 3318 entailment
3321
+ 3319 entailment
3322
+ 3320 entailment
3323
+ 3321 entailment
3324
+ 3322 entailment
3325
+ 3323 entailment
3326
+ 3324 entailment
3327
+ 3325 entailment
3328
+ 3326 entailment
3329
+ 3327 entailment
3330
+ 3328 entailment
3331
+ 3329 entailment
3332
+ 3330 entailment
3333
+ 3331 entailment
3334
+ 3332 entailment
3335
+ 3333 entailment
3336
+ 3334 entailment
3337
+ 3335 entailment
3338
+ 3336 entailment
3339
+ 3337 entailment
3340
+ 3338 entailment
3341
+ 3339 entailment
3342
+ 3340 entailment
3343
+ 3341 entailment
3344
+ 3342 entailment
3345
+ 3343 entailment
3346
+ 3344 entailment
3347
+ 3345 entailment
3348
+ 3346 entailment
3349
+ 3347 entailment
3350
+ 3348 entailment
3351
+ 3349 entailment
3352
+ 3350 entailment
3353
+ 3351 entailment
3354
+ 3352 entailment
3355
+ 3353 entailment
3356
+ 3354 entailment
3357
+ 3355 entailment
3358
+ 3356 entailment
3359
+ 3357 entailment
3360
+ 3358 entailment
3361
+ 3359 entailment
3362
+ 3360 entailment
3363
+ 3361 entailment
3364
+ 3362 entailment
3365
+ 3363 entailment
3366
+ 3364 entailment
3367
+ 3365 entailment
3368
+ 3366 entailment
3369
+ 3367 entailment
3370
+ 3368 entailment
3371
+ 3369 entailment
3372
+ 3370 entailment
3373
+ 3371 entailment
3374
+ 3372 entailment
3375
+ 3373 entailment
3376
+ 3374 entailment
3377
+ 3375 entailment
3378
+ 3376 entailment
3379
+ 3377 entailment
3380
+ 3378 entailment
3381
+ 3379 entailment
3382
+ 3380 entailment
3383
+ 3381 entailment
3384
+ 3382 entailment
3385
+ 3383 entailment
3386
+ 3384 entailment
3387
+ 3385 entailment
3388
+ 3386 entailment
3389
+ 3387 entailment
3390
+ 3388 entailment
3391
+ 3389 entailment
3392
+ 3390 entailment
3393
+ 3391 entailment
3394
+ 3392 entailment
3395
+ 3393 entailment
3396
+ 3394 entailment
3397
+ 3395 entailment
3398
+ 3396 entailment
3399
+ 3397 entailment
3400
+ 3398 entailment
3401
+ 3399 entailment
3402
+ 3400 entailment
3403
+ 3401 entailment
3404
+ 3402 entailment
3405
+ 3403 entailment
3406
+ 3404 entailment
3407
+ 3405 entailment
3408
+ 3406 entailment
3409
+ 3407 entailment
3410
+ 3408 entailment
3411
+ 3409 entailment
3412
+ 3410 entailment
3413
+ 3411 entailment
3414
+ 3412 entailment
3415
+ 3413 entailment
3416
+ 3414 entailment
3417
+ 3415 entailment
3418
+ 3416 entailment
3419
+ 3417 entailment
3420
+ 3418 entailment
3421
+ 3419 entailment
3422
+ 3420 entailment
3423
+ 3421 entailment
3424
+ 3422 entailment
3425
+ 3423 entailment
3426
+ 3424 entailment
3427
+ 3425 entailment
3428
+ 3426 entailment
3429
+ 3427 entailment
3430
+ 3428 entailment
3431
+ 3429 entailment
3432
+ 3430 entailment
3433
+ 3431 entailment
3434
+ 3432 entailment
3435
+ 3433 entailment
3436
+ 3434 entailment
3437
+ 3435 entailment
3438
+ 3436 entailment
3439
+ 3437 entailment
3440
+ 3438 entailment
3441
+ 3439 entailment
3442
+ 3440 entailment
3443
+ 3441 entailment
3444
+ 3442 entailment
3445
+ 3443 entailment
3446
+ 3444 entailment
3447
+ 3445 entailment
3448
+ 3446 entailment
3449
+ 3447 entailment
3450
+ 3448 entailment
3451
+ 3449 entailment
3452
+ 3450 entailment
3453
+ 3451 entailment
3454
+ 3452 entailment
3455
+ 3453 entailment
3456
+ 3454 entailment
3457
+ 3455 entailment
3458
+ 3456 entailment
3459
+ 3457 entailment
3460
+ 3458 entailment
3461
+ 3459 entailment
3462
+ 3460 entailment
3463
+ 3461 entailment
3464
+ 3462 entailment
3465
+ 3463 entailment
3466
+ 3464 entailment
3467
+ 3465 entailment
3468
+ 3466 entailment
3469
+ 3467 entailment
3470
+ 3468 entailment
3471
+ 3469 entailment
3472
+ 3470 entailment
3473
+ 3471 entailment
3474
+ 3472 entailment
3475
+ 3473 entailment
3476
+ 3474 entailment
3477
+ 3475 entailment
3478
+ 3476 entailment
3479
+ 3477 entailment
3480
+ 3478 entailment
3481
+ 3479 entailment
3482
+ 3480 entailment
3483
+ 3481 entailment
3484
+ 3482 entailment
3485
+ 3483 entailment
3486
+ 3484 entailment
3487
+ 3485 entailment
3488
+ 3486 entailment
3489
+ 3487 entailment
3490
+ 3488 entailment
3491
+ 3489 entailment
3492
+ 3490 entailment
3493
+ 3491 entailment
3494
+ 3492 entailment
3495
+ 3493 entailment
3496
+ 3494 entailment
3497
+ 3495 entailment
3498
+ 3496 entailment
3499
+ 3497 entailment
3500
+ 3498 entailment
3501
+ 3499 entailment
3502
+ 3500 entailment
3503
+ 3501 entailment
3504
+ 3502 entailment
3505
+ 3503 entailment
3506
+ 3504 entailment
3507
+ 3505 entailment
3508
+ 3506 entailment
3509
+ 3507 entailment
3510
+ 3508 entailment
3511
+ 3509 entailment
3512
+ 3510 entailment
3513
+ 3511 entailment
3514
+ 3512 entailment
3515
+ 3513 entailment
3516
+ 3514 entailment
3517
+ 3515 entailment
3518
+ 3516 entailment
3519
+ 3517 entailment
3520
+ 3518 entailment
3521
+ 3519 entailment
3522
+ 3520 entailment
3523
+ 3521 entailment
3524
+ 3522 entailment
3525
+ 3523 entailment
3526
+ 3524 entailment
3527
+ 3525 entailment
3528
+ 3526 entailment
3529
+ 3527 entailment
3530
+ 3528 entailment
3531
+ 3529 entailment
3532
+ 3530 entailment
3533
+ 3531 entailment
3534
+ 3532 entailment
3535
+ 3533 entailment
3536
+ 3534 entailment
3537
+ 3535 entailment
3538
+ 3536 entailment
3539
+ 3537 entailment
3540
+ 3538 entailment
3541
+ 3539 entailment
3542
+ 3540 entailment
3543
+ 3541 entailment
3544
+ 3542 entailment
3545
+ 3543 entailment
3546
+ 3544 entailment
3547
+ 3545 entailment
3548
+ 3546 entailment
3549
+ 3547 entailment
3550
+ 3548 entailment
3551
+ 3549 entailment
3552
+ 3550 entailment
3553
+ 3551 entailment
3554
+ 3552 entailment
3555
+ 3553 entailment
3556
+ 3554 entailment
3557
+ 3555 entailment
3558
+ 3556 entailment
3559
+ 3557 entailment
3560
+ 3558 entailment
3561
+ 3559 entailment
3562
+ 3560 entailment
3563
+ 3561 entailment
3564
+ 3562 entailment
3565
+ 3563 entailment
3566
+ 3564 entailment
3567
+ 3565 entailment
3568
+ 3566 entailment
3569
+ 3567 entailment
3570
+ 3568 entailment
3571
+ 3569 entailment
3572
+ 3570 entailment
3573
+ 3571 entailment
3574
+ 3572 entailment
3575
+ 3573 entailment
3576
+ 3574 entailment
3577
+ 3575 entailment
3578
+ 3576 entailment
3579
+ 3577 entailment
3580
+ 3578 entailment
3581
+ 3579 entailment
3582
+ 3580 entailment
3583
+ 3581 entailment
3584
+ 3582 entailment
3585
+ 3583 entailment
3586
+ 3584 entailment
3587
+ 3585 entailment
3588
+ 3586 entailment
3589
+ 3587 entailment
3590
+ 3588 entailment
3591
+ 3589 entailment
3592
+ 3590 entailment
3593
+ 3591 entailment
3594
+ 3592 entailment
3595
+ 3593 entailment
3596
+ 3594 entailment
3597
+ 3595 entailment
3598
+ 3596 entailment
3599
+ 3597 entailment
3600
+ 3598 entailment
3601
+ 3599 entailment
3602
+ 3600 entailment
3603
+ 3601 entailment
3604
+ 3602 entailment
3605
+ 3603 entailment
3606
+ 3604 entailment
3607
+ 3605 entailment
3608
+ 3606 entailment
3609
+ 3607 entailment
3610
+ 3608 entailment
3611
+ 3609 entailment
3612
+ 3610 entailment
3613
+ 3611 entailment
3614
+ 3612 entailment
3615
+ 3613 entailment
3616
+ 3614 entailment
3617
+ 3615 entailment
3618
+ 3616 entailment
3619
+ 3617 entailment
3620
+ 3618 entailment
3621
+ 3619 entailment
3622
+ 3620 entailment
3623
+ 3621 entailment
3624
+ 3622 entailment
3625
+ 3623 entailment
3626
+ 3624 entailment
3627
+ 3625 entailment
3628
+ 3626 entailment
3629
+ 3627 entailment
3630
+ 3628 entailment
3631
+ 3629 entailment
3632
+ 3630 entailment
3633
+ 3631 entailment
3634
+ 3632 entailment
3635
+ 3633 entailment
3636
+ 3634 entailment
3637
+ 3635 entailment
3638
+ 3636 entailment
3639
+ 3637 entailment
3640
+ 3638 entailment
3641
+ 3639 entailment
3642
+ 3640 entailment
3643
+ 3641 entailment
3644
+ 3642 entailment
3645
+ 3643 entailment
3646
+ 3644 entailment
3647
+ 3645 entailment
3648
+ 3646 entailment
3649
+ 3647 entailment
3650
+ 3648 entailment
3651
+ 3649 entailment
3652
+ 3650 entailment
3653
+ 3651 entailment
3654
+ 3652 entailment
3655
+ 3653 entailment
3656
+ 3654 entailment
3657
+ 3655 entailment
3658
+ 3656 entailment
3659
+ 3657 entailment
3660
+ 3658 entailment
3661
+ 3659 entailment
3662
+ 3660 entailment
3663
+ 3661 entailment
3664
+ 3662 entailment
3665
+ 3663 entailment
3666
+ 3664 entailment
3667
+ 3665 entailment
3668
+ 3666 entailment
3669
+ 3667 entailment
3670
+ 3668 entailment
3671
+ 3669 entailment
3672
+ 3670 entailment
3673
+ 3671 entailment
3674
+ 3672 entailment
3675
+ 3673 entailment
3676
+ 3674 entailment
3677
+ 3675 entailment
3678
+ 3676 entailment
3679
+ 3677 entailment
3680
+ 3678 entailment
3681
+ 3679 entailment
3682
+ 3680 entailment
3683
+ 3681 entailment
3684
+ 3682 entailment
3685
+ 3683 entailment
3686
+ 3684 entailment
3687
+ 3685 entailment
3688
+ 3686 entailment
3689
+ 3687 entailment
3690
+ 3688 entailment
3691
+ 3689 entailment
3692
+ 3690 entailment
3693
+ 3691 entailment
3694
+ 3692 entailment
3695
+ 3693 entailment
3696
+ 3694 entailment
3697
+ 3695 entailment
3698
+ 3696 entailment
3699
+ 3697 entailment
3700
+ 3698 entailment
3701
+ 3699 entailment
3702
+ 3700 entailment
3703
+ 3701 entailment
3704
+ 3702 entailment
3705
+ 3703 entailment
3706
+ 3704 entailment
3707
+ 3705 entailment
3708
+ 3706 entailment
3709
+ 3707 entailment
3710
+ 3708 entailment
3711
+ 3709 entailment
3712
+ 3710 entailment
3713
+ 3711 entailment
3714
+ 3712 entailment
3715
+ 3713 entailment
3716
+ 3714 entailment
3717
+ 3715 entailment
3718
+ 3716 entailment
3719
+ 3717 entailment
3720
+ 3718 entailment
3721
+ 3719 entailment
3722
+ 3720 entailment
3723
+ 3721 entailment
3724
+ 3722 entailment
3725
+ 3723 entailment
3726
+ 3724 entailment
3727
+ 3725 entailment
3728
+ 3726 entailment
3729
+ 3727 entailment
3730
+ 3728 entailment
3731
+ 3729 entailment
3732
+ 3730 entailment
3733
+ 3731 entailment
3734
+ 3732 entailment
3735
+ 3733 entailment
3736
+ 3734 entailment
3737
+ 3735 entailment
3738
+ 3736 entailment
3739
+ 3737 entailment
3740
+ 3738 entailment
3741
+ 3739 entailment
3742
+ 3740 entailment
3743
+ 3741 entailment
3744
+ 3742 entailment
3745
+ 3743 entailment
3746
+ 3744 entailment
3747
+ 3745 entailment
3748
+ 3746 entailment
3749
+ 3747 entailment
3750
+ 3748 entailment
3751
+ 3749 entailment
3752
+ 3750 entailment
3753
+ 3751 entailment
3754
+ 3752 entailment
3755
+ 3753 entailment
3756
+ 3754 entailment
3757
+ 3755 entailment
3758
+ 3756 entailment
3759
+ 3757 entailment
3760
+ 3758 entailment
3761
+ 3759 entailment
3762
+ 3760 entailment
3763
+ 3761 entailment
3764
+ 3762 entailment
3765
+ 3763 entailment
3766
+ 3764 entailment
3767
+ 3765 entailment
3768
+ 3766 entailment
3769
+ 3767 entailment
3770
+ 3768 entailment
3771
+ 3769 entailment
3772
+ 3770 entailment
3773
+ 3771 entailment
3774
+ 3772 entailment
3775
+ 3773 entailment
3776
+ 3774 entailment
3777
+ 3775 entailment
3778
+ 3776 entailment
3779
+ 3777 entailment
3780
+ 3778 entailment
3781
+ 3779 entailment
3782
+ 3780 entailment
3783
+ 3781 entailment
3784
+ 3782 entailment
3785
+ 3783 entailment
3786
+ 3784 entailment
3787
+ 3785 entailment
3788
+ 3786 entailment
3789
+ 3787 entailment
3790
+ 3788 entailment
3791
+ 3789 entailment
3792
+ 3790 entailment
3793
+ 3791 entailment
3794
+ 3792 entailment
3795
+ 3793 entailment
3796
+ 3794 entailment
3797
+ 3795 entailment
3798
+ 3796 entailment
3799
+ 3797 entailment
3800
+ 3798 entailment
3801
+ 3799 entailment
3802
+ 3800 entailment
3803
+ 3801 entailment
3804
+ 3802 entailment
3805
+ 3803 entailment
3806
+ 3804 entailment
3807
+ 3805 entailment
3808
+ 3806 entailment
3809
+ 3807 entailment
3810
+ 3808 entailment
3811
+ 3809 entailment
3812
+ 3810 entailment
3813
+ 3811 entailment
3814
+ 3812 entailment
3815
+ 3813 entailment
3816
+ 3814 entailment
3817
+ 3815 entailment
3818
+ 3816 entailment
3819
+ 3817 entailment
3820
+ 3818 entailment
3821
+ 3819 entailment
3822
+ 3820 entailment
3823
+ 3821 entailment
3824
+ 3822 entailment
3825
+ 3823 entailment
3826
+ 3824 entailment
3827
+ 3825 entailment
3828
+ 3826 entailment
3829
+ 3827 entailment
3830
+ 3828 entailment
3831
+ 3829 entailment
3832
+ 3830 entailment
3833
+ 3831 entailment
3834
+ 3832 entailment
3835
+ 3833 entailment
3836
+ 3834 entailment
3837
+ 3835 entailment
3838
+ 3836 entailment
3839
+ 3837 entailment
3840
+ 3838 entailment
3841
+ 3839 entailment
3842
+ 3840 entailment
3843
+ 3841 entailment
3844
+ 3842 entailment
3845
+ 3843 entailment
3846
+ 3844 entailment
3847
+ 3845 entailment
3848
+ 3846 entailment
3849
+ 3847 entailment
3850
+ 3848 entailment
3851
+ 3849 entailment
3852
+ 3850 entailment
3853
+ 3851 entailment
3854
+ 3852 entailment
3855
+ 3853 entailment
3856
+ 3854 entailment
3857
+ 3855 entailment
3858
+ 3856 entailment
3859
+ 3857 entailment
3860
+ 3858 entailment
3861
+ 3859 entailment
3862
+ 3860 entailment
3863
+ 3861 entailment
3864
+ 3862 entailment
3865
+ 3863 entailment
3866
+ 3864 entailment
3867
+ 3865 entailment
3868
+ 3866 entailment
3869
+ 3867 entailment
3870
+ 3868 entailment
3871
+ 3869 entailment
3872
+ 3870 entailment
3873
+ 3871 entailment
3874
+ 3872 entailment
3875
+ 3873 entailment
3876
+ 3874 entailment
3877
+ 3875 entailment
3878
+ 3876 entailment
3879
+ 3877 entailment
3880
+ 3878 entailment
3881
+ 3879 entailment
3882
+ 3880 entailment
3883
+ 3881 entailment
3884
+ 3882 entailment
3885
+ 3883 entailment
3886
+ 3884 entailment
3887
+ 3885 entailment
3888
+ 3886 entailment
3889
+ 3887 entailment
3890
+ 3888 entailment
3891
+ 3889 entailment
3892
+ 3890 entailment
3893
+ 3891 entailment
3894
+ 3892 entailment
3895
+ 3893 entailment
3896
+ 3894 entailment
3897
+ 3895 entailment
3898
+ 3896 entailment
3899
+ 3897 entailment
3900
+ 3898 entailment
3901
+ 3899 entailment
3902
+ 3900 entailment
3903
+ 3901 entailment
3904
+ 3902 entailment
3905
+ 3903 entailment
3906
+ 3904 entailment
3907
+ 3905 entailment
3908
+ 3906 entailment
3909
+ 3907 entailment
3910
+ 3908 entailment
3911
+ 3909 entailment
3912
+ 3910 entailment
3913
+ 3911 entailment
3914
+ 3912 entailment
3915
+ 3913 entailment
3916
+ 3914 entailment
3917
+ 3915 entailment
3918
+ 3916 entailment
3919
+ 3917 entailment
3920
+ 3918 entailment
3921
+ 3919 entailment
3922
+ 3920 entailment
3923
+ 3921 entailment
3924
+ 3922 entailment
3925
+ 3923 entailment
3926
+ 3924 entailment
3927
+ 3925 entailment
3928
+ 3926 entailment
3929
+ 3927 entailment
3930
+ 3928 entailment
3931
+ 3929 entailment
3932
+ 3930 entailment
3933
+ 3931 entailment
3934
+ 3932 entailment
3935
+ 3933 entailment
3936
+ 3934 entailment
3937
+ 3935 entailment
3938
+ 3936 entailment
3939
+ 3937 entailment
3940
+ 3938 entailment
3941
+ 3939 entailment
3942
+ 3940 entailment
3943
+ 3941 entailment
3944
+ 3942 entailment
3945
+ 3943 entailment
3946
+ 3944 entailment
3947
+ 3945 entailment
3948
+ 3946 entailment
3949
+ 3947 entailment
3950
+ 3948 entailment
3951
+ 3949 entailment
3952
+ 3950 entailment
3953
+ 3951 entailment
3954
+ 3952 entailment
3955
+ 3953 entailment
3956
+ 3954 entailment
3957
+ 3955 entailment
3958
+ 3956 entailment
3959
+ 3957 entailment
3960
+ 3958 entailment
3961
+ 3959 entailment
3962
+ 3960 entailment
3963
+ 3961 entailment
3964
+ 3962 entailment
3965
+ 3963 entailment
3966
+ 3964 entailment
3967
+ 3965 entailment
3968
+ 3966 entailment
3969
+ 3967 entailment
3970
+ 3968 entailment
3971
+ 3969 entailment
3972
+ 3970 entailment
3973
+ 3971 entailment
3974
+ 3972 entailment
3975
+ 3973 entailment
3976
+ 3974 entailment
3977
+ 3975 entailment
3978
+ 3976 entailment
3979
+ 3977 entailment
3980
+ 3978 entailment
3981
+ 3979 entailment
3982
+ 3980 entailment
3983
+ 3981 entailment
3984
+ 3982 entailment
3985
+ 3983 entailment
3986
+ 3984 entailment
3987
+ 3985 entailment
3988
+ 3986 entailment
3989
+ 3987 entailment
3990
+ 3988 entailment
3991
+ 3989 entailment
3992
+ 3990 entailment
3993
+ 3991 entailment
3994
+ 3992 entailment
3995
+ 3993 entailment
3996
+ 3994 entailment
3997
+ 3995 entailment
3998
+ 3996 entailment
3999
+ 3997 entailment
4000
+ 3998 entailment
4001
+ 3999 entailment
4002
+ 4000 entailment
4003
+ 4001 entailment
4004
+ 4002 entailment
4005
+ 4003 entailment
4006
+ 4004 entailment
4007
+ 4005 entailment
4008
+ 4006 entailment
4009
+ 4007 entailment
4010
+ 4008 entailment
4011
+ 4009 entailment
4012
+ 4010 entailment
4013
+ 4011 entailment
4014
+ 4012 entailment
4015
+ 4013 entailment
4016
+ 4014 entailment
4017
+ 4015 entailment
4018
+ 4016 entailment
4019
+ 4017 entailment
4020
+ 4018 entailment
4021
+ 4019 entailment
4022
+ 4020 entailment
4023
+ 4021 entailment
4024
+ 4022 entailment
4025
+ 4023 entailment
4026
+ 4024 entailment
4027
+ 4025 entailment
4028
+ 4026 entailment
4029
+ 4027 entailment
4030
+ 4028 entailment
4031
+ 4029 entailment
4032
+ 4030 entailment
4033
+ 4031 entailment
4034
+ 4032 entailment
4035
+ 4033 entailment
4036
+ 4034 entailment
4037
+ 4035 entailment
4038
+ 4036 entailment
4039
+ 4037 entailment
4040
+ 4038 entailment
4041
+ 4039 entailment
4042
+ 4040 entailment
4043
+ 4041 entailment
4044
+ 4042 entailment
4045
+ 4043 entailment
4046
+ 4044 entailment
4047
+ 4045 entailment
4048
+ 4046 entailment
4049
+ 4047 entailment
4050
+ 4048 entailment
4051
+ 4049 entailment
4052
+ 4050 entailment
4053
+ 4051 entailment
4054
+ 4052 entailment
4055
+ 4053 entailment
4056
+ 4054 entailment
4057
+ 4055 entailment
4058
+ 4056 entailment
4059
+ 4057 entailment
4060
+ 4058 entailment
4061
+ 4059 entailment
4062
+ 4060 entailment
4063
+ 4061 entailment
4064
+ 4062 entailment
4065
+ 4063 entailment
4066
+ 4064 entailment
4067
+ 4065 entailment
4068
+ 4066 entailment
4069
+ 4067 entailment
4070
+ 4068 entailment
4071
+ 4069 entailment
4072
+ 4070 entailment
4073
+ 4071 entailment
4074
+ 4072 entailment
4075
+ 4073 entailment
4076
+ 4074 entailment
4077
+ 4075 entailment
4078
+ 4076 entailment
4079
+ 4077 entailment
4080
+ 4078 entailment
4081
+ 4079 entailment
4082
+ 4080 entailment
4083
+ 4081 entailment
4084
+ 4082 entailment
4085
+ 4083 entailment
4086
+ 4084 entailment
4087
+ 4085 entailment
4088
+ 4086 entailment
4089
+ 4087 entailment
4090
+ 4088 entailment
4091
+ 4089 entailment
4092
+ 4090 entailment
4093
+ 4091 entailment
4094
+ 4092 entailment
4095
+ 4093 entailment
4096
+ 4094 entailment
4097
+ 4095 entailment
4098
+ 4096 entailment
4099
+ 4097 entailment
4100
+ 4098 entailment
4101
+ 4099 entailment
4102
+ 4100 entailment
4103
+ 4101 entailment
4104
+ 4102 entailment
4105
+ 4103 entailment
4106
+ 4104 entailment
4107
+ 4105 entailment
4108
+ 4106 entailment
4109
+ 4107 entailment
4110
+ 4108 entailment
4111
+ 4109 entailment
4112
+ 4110 entailment
4113
+ 4111 entailment
4114
+ 4112 entailment
4115
+ 4113 entailment
4116
+ 4114 entailment
4117
+ 4115 entailment
4118
+ 4116 entailment
4119
+ 4117 entailment
4120
+ 4118 entailment
4121
+ 4119 entailment
4122
+ 4120 entailment
4123
+ 4121 entailment
4124
+ 4122 entailment
4125
+ 4123 entailment
4126
+ 4124 entailment
4127
+ 4125 entailment
4128
+ 4126 entailment
4129
+ 4127 entailment
4130
+ 4128 entailment
4131
+ 4129 entailment
4132
+ 4130 entailment
4133
+ 4131 entailment
4134
+ 4132 entailment
4135
+ 4133 entailment
4136
+ 4134 entailment
4137
+ 4135 entailment
4138
+ 4136 entailment
4139
+ 4137 entailment
4140
+ 4138 entailment
4141
+ 4139 entailment
4142
+ 4140 entailment
4143
+ 4141 entailment
4144
+ 4142 entailment
4145
+ 4143 entailment
4146
+ 4144 entailment
4147
+ 4145 entailment
4148
+ 4146 entailment
4149
+ 4147 entailment
4150
+ 4148 entailment
4151
+ 4149 entailment
4152
+ 4150 entailment
4153
+ 4151 entailment
4154
+ 4152 entailment
4155
+ 4153 entailment
4156
+ 4154 entailment
4157
+ 4155 entailment
4158
+ 4156 entailment
4159
+ 4157 entailment
4160
+ 4158 entailment
4161
+ 4159 entailment
4162
+ 4160 entailment
4163
+ 4161 entailment
4164
+ 4162 entailment
4165
+ 4163 entailment
4166
+ 4164 entailment
4167
+ 4165 entailment
4168
+ 4166 entailment
4169
+ 4167 entailment
4170
+ 4168 entailment
4171
+ 4169 entailment
4172
+ 4170 entailment
4173
+ 4171 entailment
4174
+ 4172 entailment
4175
+ 4173 entailment
4176
+ 4174 entailment
4177
+ 4175 entailment
4178
+ 4176 entailment
4179
+ 4177 entailment
4180
+ 4178 entailment
4181
+ 4179 entailment
4182
+ 4180 entailment
4183
+ 4181 entailment
4184
+ 4182 entailment
4185
+ 4183 entailment
4186
+ 4184 entailment
4187
+ 4185 entailment
4188
+ 4186 entailment
4189
+ 4187 entailment
4190
+ 4188 entailment
4191
+ 4189 entailment
4192
+ 4190 entailment
4193
+ 4191 entailment
4194
+ 4192 entailment
4195
+ 4193 entailment
4196
+ 4194 entailment
4197
+ 4195 entailment
4198
+ 4196 entailment
4199
+ 4197 entailment
4200
+ 4198 entailment
4201
+ 4199 entailment
4202
+ 4200 entailment
4203
+ 4201 entailment
4204
+ 4202 entailment
4205
+ 4203 entailment
4206
+ 4204 entailment
4207
+ 4205 entailment
4208
+ 4206 entailment
4209
+ 4207 entailment
4210
+ 4208 entailment
4211
+ 4209 entailment
4212
+ 4210 entailment
4213
+ 4211 entailment
4214
+ 4212 entailment
4215
+ 4213 entailment
4216
+ 4214 entailment
4217
+ 4215 entailment
4218
+ 4216 entailment
4219
+ 4217 entailment
4220
+ 4218 entailment
4221
+ 4219 entailment
4222
+ 4220 entailment
4223
+ 4221 entailment
4224
+ 4222 entailment
4225
+ 4223 entailment
4226
+ 4224 entailment
4227
+ 4225 entailment
4228
+ 4226 entailment
4229
+ 4227 entailment
4230
+ 4228 entailment
4231
+ 4229 entailment
4232
+ 4230 entailment
4233
+ 4231 entailment
4234
+ 4232 entailment
4235
+ 4233 entailment
4236
+ 4234 entailment
4237
+ 4235 entailment
4238
+ 4236 entailment
4239
+ 4237 entailment
4240
+ 4238 entailment
4241
+ 4239 entailment
4242
+ 4240 entailment
4243
+ 4241 entailment
4244
+ 4242 entailment
4245
+ 4243 entailment
4246
+ 4244 entailment
4247
+ 4245 entailment
4248
+ 4246 entailment
4249
+ 4247 entailment
4250
+ 4248 entailment
4251
+ 4249 entailment
4252
+ 4250 entailment
4253
+ 4251 entailment
4254
+ 4252 entailment
4255
+ 4253 entailment
4256
+ 4254 entailment
4257
+ 4255 entailment
4258
+ 4256 entailment
4259
+ 4257 entailment
4260
+ 4258 entailment
4261
+ 4259 entailment
4262
+ 4260 entailment
4263
+ 4261 entailment
4264
+ 4262 entailment
4265
+ 4263 entailment
4266
+ 4264 entailment
4267
+ 4265 entailment
4268
+ 4266 entailment
4269
+ 4267 entailment
4270
+ 4268 entailment
4271
+ 4269 entailment
4272
+ 4270 entailment
4273
+ 4271 entailment
4274
+ 4272 entailment
4275
+ 4273 entailment
4276
+ 4274 entailment
4277
+ 4275 entailment
4278
+ 4276 entailment
4279
+ 4277 entailment
4280
+ 4278 entailment
4281
+ 4279 entailment
4282
+ 4280 entailment
4283
+ 4281 entailment
4284
+ 4282 entailment
4285
+ 4283 entailment
4286
+ 4284 entailment
4287
+ 4285 entailment
4288
+ 4286 entailment
4289
+ 4287 entailment
4290
+ 4288 entailment
4291
+ 4289 entailment
4292
+ 4290 entailment
4293
+ 4291 entailment
4294
+ 4292 entailment
4295
+ 4293 entailment
4296
+ 4294 entailment
4297
+ 4295 entailment
4298
+ 4296 entailment
4299
+ 4297 entailment
4300
+ 4298 entailment
4301
+ 4299 entailment
4302
+ 4300 entailment
4303
+ 4301 entailment
4304
+ 4302 entailment
4305
+ 4303 entailment
4306
+ 4304 entailment
4307
+ 4305 entailment
4308
+ 4306 entailment
4309
+ 4307 entailment
4310
+ 4308 entailment
4311
+ 4309 entailment
4312
+ 4310 entailment
4313
+ 4311 entailment
4314
+ 4312 entailment
4315
+ 4313 entailment
4316
+ 4314 entailment
4317
+ 4315 entailment
4318
+ 4316 entailment
4319
+ 4317 entailment
4320
+ 4318 entailment
4321
+ 4319 entailment
4322
+ 4320 entailment
4323
+ 4321 entailment
4324
+ 4322 entailment
4325
+ 4323 entailment
4326
+ 4324 entailment
4327
+ 4325 entailment
4328
+ 4326 entailment
4329
+ 4327 entailment
4330
+ 4328 entailment
4331
+ 4329 entailment
4332
+ 4330 entailment
4333
+ 4331 entailment
4334
+ 4332 entailment
4335
+ 4333 entailment
4336
+ 4334 entailment
4337
+ 4335 entailment
4338
+ 4336 entailment
4339
+ 4337 entailment
4340
+ 4338 entailment
4341
+ 4339 entailment
4342
+ 4340 entailment
4343
+ 4341 entailment
4344
+ 4342 entailment
4345
+ 4343 entailment
4346
+ 4344 entailment
4347
+ 4345 entailment
4348
+ 4346 entailment
4349
+ 4347 entailment
4350
+ 4348 entailment
4351
+ 4349 entailment
4352
+ 4350 entailment
4353
+ 4351 entailment
4354
+ 4352 entailment
4355
+ 4353 entailment
4356
+ 4354 entailment
4357
+ 4355 entailment
4358
+ 4356 entailment
4359
+ 4357 entailment
4360
+ 4358 entailment
4361
+ 4359 entailment
4362
+ 4360 entailment
4363
+ 4361 entailment
4364
+ 4362 entailment
4365
+ 4363 entailment
4366
+ 4364 entailment
4367
+ 4365 entailment
4368
+ 4366 entailment
4369
+ 4367 entailment
4370
+ 4368 entailment
4371
+ 4369 entailment
4372
+ 4370 entailment
4373
+ 4371 entailment
4374
+ 4372 entailment
4375
+ 4373 entailment
4376
+ 4374 entailment
4377
+ 4375 entailment
4378
+ 4376 entailment
4379
+ 4377 entailment
4380
+ 4378 entailment
4381
+ 4379 entailment
4382
+ 4380 entailment
4383
+ 4381 entailment
4384
+ 4382 entailment
4385
+ 4383 entailment
4386
+ 4384 entailment
4387
+ 4385 entailment
4388
+ 4386 entailment
4389
+ 4387 entailment
4390
+ 4388 entailment
4391
+ 4389 entailment
4392
+ 4390 entailment
4393
+ 4391 entailment
4394
+ 4392 entailment
4395
+ 4393 entailment
4396
+ 4394 entailment
4397
+ 4395 entailment
4398
+ 4396 entailment
4399
+ 4397 entailment
4400
+ 4398 entailment
4401
+ 4399 entailment
4402
+ 4400 entailment
4403
+ 4401 entailment
4404
+ 4402 entailment
4405
+ 4403 entailment
4406
+ 4404 entailment
4407
+ 4405 entailment
4408
+ 4406 entailment
4409
+ 4407 entailment
4410
+ 4408 entailment
4411
+ 4409 entailment
4412
+ 4410 entailment
4413
+ 4411 entailment
4414
+ 4412 entailment
4415
+ 4413 entailment
4416
+ 4414 entailment
4417
+ 4415 entailment
4418
+ 4416 entailment
4419
+ 4417 entailment
4420
+ 4418 entailment
4421
+ 4419 entailment
4422
+ 4420 entailment
4423
+ 4421 entailment
4424
+ 4422 entailment
4425
+ 4423 entailment
4426
+ 4424 entailment
4427
+ 4425 entailment
4428
+ 4426 entailment
4429
+ 4427 entailment
4430
+ 4428 entailment
4431
+ 4429 entailment
4432
+ 4430 entailment
4433
+ 4431 entailment
4434
+ 4432 entailment
4435
+ 4433 entailment
4436
+ 4434 entailment
4437
+ 4435 entailment
4438
+ 4436 entailment
4439
+ 4437 entailment
4440
+ 4438 entailment
4441
+ 4439 entailment
4442
+ 4440 entailment
4443
+ 4441 entailment
4444
+ 4442 entailment
4445
+ 4443 entailment
4446
+ 4444 entailment
4447
+ 4445 entailment
4448
+ 4446 entailment
4449
+ 4447 entailment
4450
+ 4448 entailment
4451
+ 4449 entailment
4452
+ 4450 entailment
4453
+ 4451 entailment
4454
+ 4452 entailment
4455
+ 4453 entailment
4456
+ 4454 entailment
4457
+ 4455 entailment
4458
+ 4456 entailment
4459
+ 4457 entailment
4460
+ 4458 entailment
4461
+ 4459 entailment
4462
+ 4460 entailment
4463
+ 4461 entailment
4464
+ 4462 entailment
4465
+ 4463 entailment
4466
+ 4464 entailment
4467
+ 4465 entailment
4468
+ 4466 entailment
4469
+ 4467 entailment
4470
+ 4468 entailment
4471
+ 4469 entailment
4472
+ 4470 entailment
4473
+ 4471 entailment
4474
+ 4472 entailment
4475
+ 4473 entailment
4476
+ 4474 entailment
4477
+ 4475 entailment
4478
+ 4476 entailment
4479
+ 4477 entailment
4480
+ 4478 entailment
4481
+ 4479 entailment
4482
+ 4480 entailment
4483
+ 4481 entailment
4484
+ 4482 entailment
4485
+ 4483 entailment
4486
+ 4484 entailment
4487
+ 4485 entailment
4488
+ 4486 entailment
4489
+ 4487 entailment
4490
+ 4488 entailment
4491
+ 4489 entailment
4492
+ 4490 entailment
4493
+ 4491 entailment
4494
+ 4492 entailment
4495
+ 4493 entailment
4496
+ 4494 entailment
4497
+ 4495 entailment
4498
+ 4496 entailment
4499
+ 4497 entailment
4500
+ 4498 entailment
4501
+ 4499 entailment
4502
+ 4500 entailment
4503
+ 4501 entailment
4504
+ 4502 entailment
4505
+ 4503 entailment
4506
+ 4504 entailment
4507
+ 4505 entailment
4508
+ 4506 entailment
4509
+ 4507 entailment
4510
+ 4508 entailment
4511
+ 4509 entailment
4512
+ 4510 entailment
4513
+ 4511 entailment
4514
+ 4512 entailment
4515
+ 4513 entailment
4516
+ 4514 entailment
4517
+ 4515 entailment
4518
+ 4516 entailment
4519
+ 4517 entailment
4520
+ 4518 entailment
4521
+ 4519 entailment
4522
+ 4520 entailment
4523
+ 4521 entailment
4524
+ 4522 entailment
4525
+ 4523 entailment
4526
+ 4524 entailment
4527
+ 4525 entailment
4528
+ 4526 entailment
4529
+ 4527 entailment
4530
+ 4528 entailment
4531
+ 4529 entailment
4532
+ 4530 entailment
4533
+ 4531 entailment
4534
+ 4532 entailment
4535
+ 4533 entailment
4536
+ 4534 entailment
4537
+ 4535 entailment
4538
+ 4536 entailment
4539
+ 4537 entailment
4540
+ 4538 entailment
4541
+ 4539 entailment
4542
+ 4540 entailment
4543
+ 4541 entailment
4544
+ 4542 entailment
4545
+ 4543 entailment
4546
+ 4544 entailment
4547
+ 4545 entailment
4548
+ 4546 entailment
4549
+ 4547 entailment
4550
+ 4548 entailment
4551
+ 4549 entailment
4552
+ 4550 entailment
4553
+ 4551 entailment
4554
+ 4552 entailment
4555
+ 4553 entailment
4556
+ 4554 entailment
4557
+ 4555 entailment
4558
+ 4556 entailment
4559
+ 4557 entailment
4560
+ 4558 entailment
4561
+ 4559 entailment
4562
+ 4560 entailment
4563
+ 4561 entailment
4564
+ 4562 entailment
4565
+ 4563 entailment
4566
+ 4564 entailment
4567
+ 4565 entailment
4568
+ 4566 entailment
4569
+ 4567 entailment
4570
+ 4568 entailment
4571
+ 4569 entailment
4572
+ 4570 entailment
4573
+ 4571 entailment
4574
+ 4572 entailment
4575
+ 4573 entailment
4576
+ 4574 entailment
4577
+ 4575 entailment
4578
+ 4576 entailment
4579
+ 4577 entailment
4580
+ 4578 entailment
4581
+ 4579 entailment
4582
+ 4580 entailment
4583
+ 4581 entailment
4584
+ 4582 entailment
4585
+ 4583 entailment
4586
+ 4584 entailment
4587
+ 4585 entailment
4588
+ 4586 entailment
4589
+ 4587 entailment
4590
+ 4588 entailment
4591
+ 4589 entailment
4592
+ 4590 entailment
4593
+ 4591 entailment
4594
+ 4592 entailment
4595
+ 4593 entailment
4596
+ 4594 entailment
4597
+ 4595 entailment
4598
+ 4596 entailment
4599
+ 4597 entailment
4600
+ 4598 entailment
4601
+ 4599 entailment
4602
+ 4600 entailment
4603
+ 4601 entailment
4604
+ 4602 entailment
4605
+ 4603 entailment
4606
+ 4604 entailment
4607
+ 4605 entailment
4608
+ 4606 entailment
4609
+ 4607 entailment
4610
+ 4608 entailment
4611
+ 4609 entailment
4612
+ 4610 entailment
4613
+ 4611 entailment
4614
+ 4612 entailment
4615
+ 4613 entailment
4616
+ 4614 entailment
4617
+ 4615 entailment
4618
+ 4616 entailment
4619
+ 4617 entailment
4620
+ 4618 entailment
4621
+ 4619 entailment
4622
+ 4620 entailment
4623
+ 4621 entailment
4624
+ 4622 entailment
4625
+ 4623 entailment
4626
+ 4624 entailment
4627
+ 4625 entailment
4628
+ 4626 entailment
4629
+ 4627 entailment
4630
+ 4628 entailment
4631
+ 4629 entailment
4632
+ 4630 entailment
4633
+ 4631 entailment
4634
+ 4632 entailment
4635
+ 4633 entailment
4636
+ 4634 entailment
4637
+ 4635 entailment
4638
+ 4636 entailment
4639
+ 4637 entailment
4640
+ 4638 entailment
4641
+ 4639 entailment
4642
+ 4640 entailment
4643
+ 4641 entailment
4644
+ 4642 entailment
4645
+ 4643 entailment
4646
+ 4644 entailment
4647
+ 4645 entailment
4648
+ 4646 entailment
4649
+ 4647 entailment
4650
+ 4648 entailment
4651
+ 4649 entailment
4652
+ 4650 entailment
4653
+ 4651 entailment
4654
+ 4652 entailment
4655
+ 4653 entailment
4656
+ 4654 entailment
4657
+ 4655 entailment
4658
+ 4656 entailment
4659
+ 4657 entailment
4660
+ 4658 entailment
4661
+ 4659 entailment
4662
+ 4660 entailment
4663
+ 4661 entailment
4664
+ 4662 entailment
4665
+ 4663 entailment
4666
+ 4664 entailment
4667
+ 4665 entailment
4668
+ 4666 entailment
4669
+ 4667 entailment
4670
+ 4668 entailment
4671
+ 4669 entailment
4672
+ 4670 entailment
4673
+ 4671 entailment
4674
+ 4672 entailment
4675
+ 4673 entailment
4676
+ 4674 entailment
4677
+ 4675 entailment
4678
+ 4676 entailment
4679
+ 4677 entailment
4680
+ 4678 entailment
4681
+ 4679 entailment
4682
+ 4680 entailment
4683
+ 4681 entailment
4684
+ 4682 entailment
4685
+ 4683 entailment
4686
+ 4684 entailment
4687
+ 4685 entailment
4688
+ 4686 entailment
4689
+ 4687 entailment
4690
+ 4688 entailment
4691
+ 4689 entailment
4692
+ 4690 entailment
4693
+ 4691 entailment
4694
+ 4692 entailment
4695
+ 4693 entailment
4696
+ 4694 entailment
4697
+ 4695 entailment
4698
+ 4696 entailment
4699
+ 4697 entailment
4700
+ 4698 entailment
4701
+ 4699 entailment
4702
+ 4700 entailment
4703
+ 4701 entailment
4704
+ 4702 entailment
4705
+ 4703 entailment
4706
+ 4704 entailment
4707
+ 4705 entailment
4708
+ 4706 entailment
4709
+ 4707 entailment
4710
+ 4708 entailment
4711
+ 4709 entailment
4712
+ 4710 entailment
4713
+ 4711 entailment
4714
+ 4712 entailment
4715
+ 4713 entailment
4716
+ 4714 entailment
4717
+ 4715 entailment
4718
+ 4716 entailment
4719
+ 4717 entailment
4720
+ 4718 entailment
4721
+ 4719 entailment
4722
+ 4720 entailment
4723
+ 4721 entailment
4724
+ 4722 entailment
4725
+ 4723 entailment
4726
+ 4724 entailment
4727
+ 4725 entailment
4728
+ 4726 entailment
4729
+ 4727 entailment
4730
+ 4728 entailment
4731
+ 4729 entailment
4732
+ 4730 entailment
4733
+ 4731 entailment
4734
+ 4732 entailment
4735
+ 4733 entailment
4736
+ 4734 entailment
4737
+ 4735 entailment
4738
+ 4736 entailment
4739
+ 4737 entailment
4740
+ 4738 entailment
4741
+ 4739 entailment
4742
+ 4740 entailment
4743
+ 4741 entailment
4744
+ 4742 entailment
4745
+ 4743 entailment
4746
+ 4744 entailment
4747
+ 4745 entailment
4748
+ 4746 entailment
4749
+ 4747 entailment
4750
+ 4748 entailment
4751
+ 4749 entailment
4752
+ 4750 entailment
4753
+ 4751 entailment
4754
+ 4752 entailment
4755
+ 4753 entailment
4756
+ 4754 entailment
4757
+ 4755 entailment
4758
+ 4756 entailment
4759
+ 4757 entailment
4760
+ 4758 entailment
4761
+ 4759 entailment
4762
+ 4760 entailment
4763
+ 4761 entailment
4764
+ 4762 entailment
4765
+ 4763 entailment
4766
+ 4764 entailment
4767
+ 4765 entailment
4768
+ 4766 entailment
4769
+ 4767 entailment
4770
+ 4768 entailment
4771
+ 4769 entailment
4772
+ 4770 entailment
4773
+ 4771 entailment
4774
+ 4772 entailment
4775
+ 4773 entailment
4776
+ 4774 entailment
4777
+ 4775 entailment
4778
+ 4776 entailment
4779
+ 4777 entailment
4780
+ 4778 entailment
4781
+ 4779 entailment
4782
+ 4780 entailment
4783
+ 4781 entailment
4784
+ 4782 entailment
4785
+ 4783 entailment
4786
+ 4784 entailment
4787
+ 4785 entailment
4788
+ 4786 entailment
4789
+ 4787 entailment
4790
+ 4788 entailment
4791
+ 4789 entailment
4792
+ 4790 entailment
4793
+ 4791 entailment
4794
+ 4792 entailment
4795
+ 4793 entailment
4796
+ 4794 entailment
4797
+ 4795 entailment
4798
+ 4796 entailment
4799
+ 4797 entailment
4800
+ 4798 entailment
4801
+ 4799 entailment
4802
+ 4800 entailment
4803
+ 4801 entailment
4804
+ 4802 entailment
4805
+ 4803 entailment
4806
+ 4804 entailment
4807
+ 4805 entailment
4808
+ 4806 entailment
4809
+ 4807 entailment
4810
+ 4808 entailment
4811
+ 4809 entailment
4812
+ 4810 entailment
4813
+ 4811 entailment
4814
+ 4812 entailment
4815
+ 4813 entailment
4816
+ 4814 entailment
4817
+ 4815 entailment
4818
+ 4816 entailment
4819
+ 4817 entailment
4820
+ 4818 entailment
4821
+ 4819 entailment
4822
+ 4820 entailment
4823
+ 4821 entailment
4824
+ 4822 entailment
4825
+ 4823 entailment
4826
+ 4824 entailment
4827
+ 4825 entailment
4828
+ 4826 entailment
4829
+ 4827 entailment
4830
+ 4828 entailment
4831
+ 4829 entailment
4832
+ 4830 entailment
4833
+ 4831 entailment
4834
+ 4832 entailment
4835
+ 4833 entailment
4836
+ 4834 entailment
4837
+ 4835 entailment
4838
+ 4836 entailment
4839
+ 4837 entailment
4840
+ 4838 entailment
4841
+ 4839 entailment
4842
+ 4840 entailment
4843
+ 4841 entailment
4844
+ 4842 entailment
4845
+ 4843 entailment
4846
+ 4844 entailment
4847
+ 4845 entailment
4848
+ 4846 entailment
4849
+ 4847 entailment
4850
+ 4848 entailment
4851
+ 4849 entailment
4852
+ 4850 entailment
4853
+ 4851 entailment
4854
+ 4852 entailment
4855
+ 4853 entailment
4856
+ 4854 entailment
4857
+ 4855 entailment
4858
+ 4856 entailment
4859
+ 4857 entailment
4860
+ 4858 entailment
4861
+ 4859 entailment
4862
+ 4860 entailment
4863
+ 4861 entailment
4864
+ 4862 entailment
4865
+ 4863 entailment
4866
+ 4864 entailment
4867
+ 4865 entailment
4868
+ 4866 entailment
4869
+ 4867 entailment
4870
+ 4868 entailment
4871
+ 4869 entailment
4872
+ 4870 entailment
4873
+ 4871 entailment
4874
+ 4872 entailment
4875
+ 4873 entailment
4876
+ 4874 entailment
4877
+ 4875 entailment
4878
+ 4876 entailment
4879
+ 4877 entailment
4880
+ 4878 entailment
4881
+ 4879 entailment
4882
+ 4880 entailment
4883
+ 4881 entailment
4884
+ 4882 entailment
4885
+ 4883 entailment
4886
+ 4884 entailment
4887
+ 4885 entailment
4888
+ 4886 entailment
4889
+ 4887 entailment
4890
+ 4888 entailment
4891
+ 4889 entailment
4892
+ 4890 entailment
4893
+ 4891 entailment
4894
+ 4892 entailment
4895
+ 4893 entailment
4896
+ 4894 entailment
4897
+ 4895 entailment
4898
+ 4896 entailment
4899
+ 4897 entailment
4900
+ 4898 entailment
4901
+ 4899 entailment
4902
+ 4900 entailment
4903
+ 4901 entailment
4904
+ 4902 entailment
4905
+ 4903 entailment
4906
+ 4904 entailment
4907
+ 4905 entailment
4908
+ 4906 entailment
4909
+ 4907 entailment
4910
+ 4908 entailment
4911
+ 4909 entailment
4912
+ 4910 entailment
4913
+ 4911 entailment
4914
+ 4912 entailment
4915
+ 4913 entailment
4916
+ 4914 entailment
4917
+ 4915 entailment
4918
+ 4916 entailment
4919
+ 4917 entailment
4920
+ 4918 entailment
4921
+ 4919 entailment
4922
+ 4920 entailment
4923
+ 4921 entailment
4924
+ 4922 entailment
4925
+ 4923 entailment
4926
+ 4924 entailment
4927
+ 4925 entailment
4928
+ 4926 entailment
4929
+ 4927 entailment
4930
+ 4928 entailment
4931
+ 4929 entailment
4932
+ 4930 entailment
4933
+ 4931 entailment
4934
+ 4932 entailment
4935
+ 4933 entailment
4936
+ 4934 entailment
4937
+ 4935 entailment
4938
+ 4936 entailment
4939
+ 4937 entailment
4940
+ 4938 entailment
4941
+ 4939 entailment
4942
+ 4940 entailment
4943
+ 4941 entailment
4944
+ 4942 entailment
4945
+ 4943 entailment
4946
+ 4944 entailment
4947
+ 4945 entailment
4948
+ 4946 entailment
4949
+ 4947 entailment
4950
+ 4948 entailment
4951
+ 4949 entailment
4952
+ 4950 entailment
4953
+ 4951 entailment
4954
+ 4952 entailment
4955
+ 4953 entailment
4956
+ 4954 entailment
4957
+ 4955 entailment
4958
+ 4956 entailment
4959
+ 4957 entailment
4960
+ 4958 entailment
4961
+ 4959 entailment
4962
+ 4960 entailment
4963
+ 4961 entailment
4964
+ 4962 entailment
4965
+ 4963 entailment
4966
+ 4964 entailment
4967
+ 4965 entailment
4968
+ 4966 entailment
4969
+ 4967 entailment
4970
+ 4968 entailment
4971
+ 4969 entailment
4972
+ 4970 entailment
4973
+ 4971 entailment
4974
+ 4972 entailment
4975
+ 4973 entailment
4976
+ 4974 entailment
4977
+ 4975 entailment
4978
+ 4976 entailment
4979
+ 4977 entailment
4980
+ 4978 entailment
4981
+ 4979 entailment
4982
+ 4980 entailment
4983
+ 4981 entailment
4984
+ 4982 entailment
4985
+ 4983 entailment
4986
+ 4984 entailment
4987
+ 4985 entailment
4988
+ 4986 entailment
4989
+ 4987 entailment
4990
+ 4988 entailment
4991
+ 4989 entailment
4992
+ 4990 entailment
4993
+ 4991 entailment
4994
+ 4992 entailment
4995
+ 4993 entailment
4996
+ 4994 entailment
4997
+ 4995 entailment
4998
+ 4996 entailment
4999
+ 4997 entailment
5000
+ 4998 entailment
5001
+ 4999 entailment
5002
+ 5000 entailment
5003
+ 5001 entailment
5004
+ 5002 entailment
5005
+ 5003 entailment
5006
+ 5004 entailment
5007
+ 5005 entailment
5008
+ 5006 entailment
5009
+ 5007 entailment
5010
+ 5008 entailment
5011
+ 5009 entailment
pytorch_model.bin ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:92f8153d6a07513ded085c3c8e0fc3d4e5a177d6fd26251985f0f92a80b961a9
3
+ size 1112257205
special_tokens_map.json ADDED
@@ -0,0 +1,15 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "bos_token": "<s>",
3
+ "cls_token": "<s>",
4
+ "eos_token": "</s>",
5
+ "mask_token": {
6
+ "content": "<mask>",
7
+ "lstrip": true,
8
+ "normalized": false,
9
+ "rstrip": false,
10
+ "single_word": false
11
+ },
12
+ "pad_token": "<pad>",
13
+ "sep_token": "</s>",
14
+ "unk_token": "<unk>"
15
+ }
tokenizer.json ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:4c08c80d1df11b82ada2fd707562f86a9ebd5b7de04f51ebd2b49f2cd5906d00
3
+ size 17082925
tokenizer_config.json ADDED
@@ -0,0 +1,21 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "bos_token": "<s>",
3
+ "cls_token": "<s>",
4
+ "do_lower_case": false,
5
+ "eos_token": "</s>",
6
+ "mask_token": {
7
+ "__type": "AddedToken",
8
+ "content": "<mask>",
9
+ "lstrip": true,
10
+ "normalized": true,
11
+ "rstrip": false,
12
+ "single_word": false
13
+ },
14
+ "model_max_length": 1000000000000000019884624838656,
15
+ "name_or_path": "cardiffnlp/twitter-xlm-roberta-base",
16
+ "pad_token": "<pad>",
17
+ "sep_token": "</s>",
18
+ "special_tokens_map_file": null,
19
+ "tokenizer_class": "XLMRobertaTokenizer",
20
+ "unk_token": "<unk>"
21
+ }
train_results.json ADDED
@@ -0,0 +1,8 @@
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "epoch": 2.0,
3
+ "train_loss": 1.0999860929852203,
4
+ "train_runtime": 4899.674,
5
+ "train_samples": 392702,
6
+ "train_samples_per_second": 160.297,
7
+ "train_steps_per_second": 5.009
8
+ }
trainer_state.json ADDED
@@ -0,0 +1,337 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "best_metric": 1.0986275672912598,
3
+ "best_model_checkpoint": "chinese_xlm_xnli/checkpoint-24544",
4
+ "epoch": 2.0,
5
+ "global_step": 24544,
6
+ "is_hyper_param_search": false,
7
+ "is_local_process_zero": true,
8
+ "is_world_process_zero": true,
9
+ "log_history": [
10
+ {
11
+ "epoch": 0.04,
12
+ "learning_rate": 4.898142112125163e-05,
13
+ "loss": 1.1048,
14
+ "step": 500
15
+ },
16
+ {
17
+ "epoch": 0.08,
18
+ "learning_rate": 4.7962842242503265e-05,
19
+ "loss": 1.1022,
20
+ "step": 1000
21
+ },
22
+ {
23
+ "epoch": 0.12,
24
+ "learning_rate": 4.694426336375489e-05,
25
+ "loss": 1.1026,
26
+ "step": 1500
27
+ },
28
+ {
29
+ "epoch": 0.16,
30
+ "learning_rate": 4.592568448500652e-05,
31
+ "loss": 1.1017,
32
+ "step": 2000
33
+ },
34
+ {
35
+ "epoch": 0.2,
36
+ "learning_rate": 4.490710560625815e-05,
37
+ "loss": 1.1016,
38
+ "step": 2500
39
+ },
40
+ {
41
+ "epoch": 0.24,
42
+ "learning_rate": 4.3888526727509784e-05,
43
+ "loss": 1.1011,
44
+ "step": 3000
45
+ },
46
+ {
47
+ "epoch": 0.29,
48
+ "learning_rate": 4.286994784876141e-05,
49
+ "loss": 1.1014,
50
+ "step": 3500
51
+ },
52
+ {
53
+ "epoch": 0.33,
54
+ "learning_rate": 4.185136897001304e-05,
55
+ "loss": 1.1007,
56
+ "step": 4000
57
+ },
58
+ {
59
+ "epoch": 0.37,
60
+ "learning_rate": 4.0832790091264675e-05,
61
+ "loss": 1.1016,
62
+ "step": 4500
63
+ },
64
+ {
65
+ "epoch": 0.41,
66
+ "learning_rate": 3.98142112125163e-05,
67
+ "loss": 1.1009,
68
+ "step": 5000
69
+ },
70
+ {
71
+ "epoch": 0.45,
72
+ "learning_rate": 3.879563233376793e-05,
73
+ "loss": 1.1003,
74
+ "step": 5500
75
+ },
76
+ {
77
+ "epoch": 0.49,
78
+ "learning_rate": 3.777705345501956e-05,
79
+ "loss": 1.1003,
80
+ "step": 6000
81
+ },
82
+ {
83
+ "epoch": 0.53,
84
+ "learning_rate": 3.675847457627119e-05,
85
+ "loss": 1.1003,
86
+ "step": 6500
87
+ },
88
+ {
89
+ "epoch": 0.57,
90
+ "learning_rate": 3.5739895697522816e-05,
91
+ "loss": 1.1003,
92
+ "step": 7000
93
+ },
94
+ {
95
+ "epoch": 0.61,
96
+ "learning_rate": 3.4721316818774444e-05,
97
+ "loss": 1.1006,
98
+ "step": 7500
99
+ },
100
+ {
101
+ "epoch": 0.65,
102
+ "learning_rate": 3.370273794002607e-05,
103
+ "loss": 1.1,
104
+ "step": 8000
105
+ },
106
+ {
107
+ "epoch": 0.69,
108
+ "learning_rate": 3.2684159061277707e-05,
109
+ "loss": 1.1006,
110
+ "step": 8500
111
+ },
112
+ {
113
+ "epoch": 0.73,
114
+ "learning_rate": 3.1665580182529335e-05,
115
+ "loss": 1.1001,
116
+ "step": 9000
117
+ },
118
+ {
119
+ "epoch": 0.77,
120
+ "learning_rate": 3.064700130378096e-05,
121
+ "loss": 1.1,
122
+ "step": 9500
123
+ },
124
+ {
125
+ "epoch": 0.81,
126
+ "learning_rate": 2.9628422425032598e-05,
127
+ "loss": 1.1001,
128
+ "step": 10000
129
+ },
130
+ {
131
+ "epoch": 0.86,
132
+ "learning_rate": 2.8609843546284226e-05,
133
+ "loss": 1.1001,
134
+ "step": 10500
135
+ },
136
+ {
137
+ "epoch": 0.9,
138
+ "learning_rate": 2.7591264667535854e-05,
139
+ "loss": 1.0995,
140
+ "step": 11000
141
+ },
142
+ {
143
+ "epoch": 0.94,
144
+ "learning_rate": 2.6572685788787482e-05,
145
+ "loss": 1.0994,
146
+ "step": 11500
147
+ },
148
+ {
149
+ "epoch": 0.98,
150
+ "learning_rate": 2.5554106910039117e-05,
151
+ "loss": 1.1,
152
+ "step": 12000
153
+ },
154
+ {
155
+ "epoch": 1.0,
156
+ "eval_accuracy": 0.3333333333333333,
157
+ "eval_loss": 1.0986357927322388,
158
+ "eval_runtime": 4.8859,
159
+ "eval_samples_per_second": 509.632,
160
+ "eval_steps_per_second": 63.857,
161
+ "step": 12272
162
+ },
163
+ {
164
+ "epoch": 1.02,
165
+ "learning_rate": 2.4535528031290745e-05,
166
+ "loss": 1.0995,
167
+ "step": 12500
168
+ },
169
+ {
170
+ "epoch": 1.06,
171
+ "learning_rate": 2.3516949152542376e-05,
172
+ "loss": 1.0999,
173
+ "step": 13000
174
+ },
175
+ {
176
+ "epoch": 1.1,
177
+ "learning_rate": 2.2498370273794004e-05,
178
+ "loss": 1.0998,
179
+ "step": 13500
180
+ },
181
+ {
182
+ "epoch": 1.14,
183
+ "learning_rate": 2.1479791395045636e-05,
184
+ "loss": 1.0993,
185
+ "step": 14000
186
+ },
187
+ {
188
+ "epoch": 1.18,
189
+ "learning_rate": 2.0461212516297264e-05,
190
+ "loss": 1.0995,
191
+ "step": 14500
192
+ },
193
+ {
194
+ "epoch": 1.22,
195
+ "learning_rate": 1.944263363754889e-05,
196
+ "loss": 1.0991,
197
+ "step": 15000
198
+ },
199
+ {
200
+ "epoch": 1.26,
201
+ "learning_rate": 1.842405475880052e-05,
202
+ "loss": 1.0993,
203
+ "step": 15500
204
+ },
205
+ {
206
+ "epoch": 1.3,
207
+ "learning_rate": 1.740547588005215e-05,
208
+ "loss": 1.0994,
209
+ "step": 16000
210
+ },
211
+ {
212
+ "epoch": 1.34,
213
+ "learning_rate": 1.6386897001303783e-05,
214
+ "loss": 1.0993,
215
+ "step": 16500
216
+ },
217
+ {
218
+ "epoch": 1.39,
219
+ "learning_rate": 1.536831812255541e-05,
220
+ "loss": 1.0994,
221
+ "step": 17000
222
+ },
223
+ {
224
+ "epoch": 1.43,
225
+ "learning_rate": 1.4349739243807042e-05,
226
+ "loss": 1.0992,
227
+ "step": 17500
228
+ },
229
+ {
230
+ "epoch": 1.47,
231
+ "learning_rate": 1.333116036505867e-05,
232
+ "loss": 1.0989,
233
+ "step": 18000
234
+ },
235
+ {
236
+ "epoch": 1.51,
237
+ "learning_rate": 1.23125814863103e-05,
238
+ "loss": 1.0991,
239
+ "step": 18500
240
+ },
241
+ {
242
+ "epoch": 1.55,
243
+ "learning_rate": 1.1294002607561931e-05,
244
+ "loss": 1.0991,
245
+ "step": 19000
246
+ },
247
+ {
248
+ "epoch": 1.59,
249
+ "learning_rate": 1.027542372881356e-05,
250
+ "loss": 1.0991,
251
+ "step": 19500
252
+ },
253
+ {
254
+ "epoch": 1.63,
255
+ "learning_rate": 9.25684485006519e-06,
256
+ "loss": 1.099,
257
+ "step": 20000
258
+ },
259
+ {
260
+ "epoch": 1.67,
261
+ "learning_rate": 8.238265971316819e-06,
262
+ "loss": 1.0989,
263
+ "step": 20500
264
+ },
265
+ {
266
+ "epoch": 1.71,
267
+ "learning_rate": 7.219687092568449e-06,
268
+ "loss": 1.0988,
269
+ "step": 21000
270
+ },
271
+ {
272
+ "epoch": 1.75,
273
+ "learning_rate": 6.2011082138200785e-06,
274
+ "loss": 1.0988,
275
+ "step": 21500
276
+ },
277
+ {
278
+ "epoch": 1.79,
279
+ "learning_rate": 5.182529335071708e-06,
280
+ "loss": 1.0992,
281
+ "step": 22000
282
+ },
283
+ {
284
+ "epoch": 1.83,
285
+ "learning_rate": 4.163950456323338e-06,
286
+ "loss": 1.0988,
287
+ "step": 22500
288
+ },
289
+ {
290
+ "epoch": 1.87,
291
+ "learning_rate": 3.1453715775749674e-06,
292
+ "loss": 1.099,
293
+ "step": 23000
294
+ },
295
+ {
296
+ "epoch": 1.91,
297
+ "learning_rate": 2.126792698826597e-06,
298
+ "loss": 1.0992,
299
+ "step": 23500
300
+ },
301
+ {
302
+ "epoch": 1.96,
303
+ "learning_rate": 1.108213820078227e-06,
304
+ "loss": 1.0987,
305
+ "step": 24000
306
+ },
307
+ {
308
+ "epoch": 2.0,
309
+ "learning_rate": 8.963494132985658e-08,
310
+ "loss": 1.0988,
311
+ "step": 24500
312
+ },
313
+ {
314
+ "epoch": 2.0,
315
+ "eval_accuracy": 0.3333333333333333,
316
+ "eval_loss": 1.0986275672912598,
317
+ "eval_runtime": 4.862,
318
+ "eval_samples_per_second": 512.131,
319
+ "eval_steps_per_second": 64.171,
320
+ "step": 24544
321
+ },
322
+ {
323
+ "epoch": 2.0,
324
+ "step": 24544,
325
+ "total_flos": 5.166258268431053e+16,
326
+ "train_loss": 1.0999860929852203,
327
+ "train_runtime": 4899.674,
328
+ "train_samples_per_second": 160.297,
329
+ "train_steps_per_second": 5.009
330
+ }
331
+ ],
332
+ "max_steps": 24544,
333
+ "num_train_epochs": 2,
334
+ "total_flos": 5.166258268431053e+16,
335
+ "trial_name": null,
336
+ "trial_params": null
337
+ }
training_args.bin ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:565b618e03b2e32e2521a98a7c19e5ad9a94a7d54cc7c88cd3b6caf9616300fa
3
+ size 3387