Upload tokenizer
Browse files- special_tokens_map.json +6 -0
- tokenizer.json +1793 -0
- tokenizer_config.json +43 -0
special_tokens_map.json
ADDED
|
@@ -0,0 +1,6 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
{
|
| 2 |
+
"bos_token": "<s>",
|
| 3 |
+
"eos_token": "</s>",
|
| 4 |
+
"pad_token": "<pad>",
|
| 5 |
+
"unk_token": "<unk>"
|
| 6 |
+
}
|
tokenizer.json
ADDED
|
@@ -0,0 +1,1793 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
{
|
| 2 |
+
"version": "1.0",
|
| 3 |
+
"truncation": null,
|
| 4 |
+
"padding": null,
|
| 5 |
+
"added_tokens": [
|
| 6 |
+
{
|
| 7 |
+
"id": 0,
|
| 8 |
+
"content": "<pad>",
|
| 9 |
+
"single_word": false,
|
| 10 |
+
"lstrip": false,
|
| 11 |
+
"rstrip": false,
|
| 12 |
+
"normalized": false,
|
| 13 |
+
"special": true
|
| 14 |
+
},
|
| 15 |
+
{
|
| 16 |
+
"id": 1,
|
| 17 |
+
"content": "<s>",
|
| 18 |
+
"single_word": false,
|
| 19 |
+
"lstrip": false,
|
| 20 |
+
"rstrip": false,
|
| 21 |
+
"normalized": false,
|
| 22 |
+
"special": true
|
| 23 |
+
},
|
| 24 |
+
{
|
| 25 |
+
"id": 2,
|
| 26 |
+
"content": "</s>",
|
| 27 |
+
"single_word": false,
|
| 28 |
+
"lstrip": false,
|
| 29 |
+
"rstrip": false,
|
| 30 |
+
"normalized": false,
|
| 31 |
+
"special": true
|
| 32 |
+
},
|
| 33 |
+
{
|
| 34 |
+
"id": 3,
|
| 35 |
+
"content": "<unk>",
|
| 36 |
+
"single_word": false,
|
| 37 |
+
"lstrip": false,
|
| 38 |
+
"rstrip": false,
|
| 39 |
+
"normalized": false,
|
| 40 |
+
"special": true
|
| 41 |
+
}
|
| 42 |
+
],
|
| 43 |
+
"normalizer": null,
|
| 44 |
+
"pre_tokenizer": {
|
| 45 |
+
"type": "WhitespaceSplit"
|
| 46 |
+
},
|
| 47 |
+
"post_processor": null,
|
| 48 |
+
"decoder": {
|
| 49 |
+
"type": "WordPiece",
|
| 50 |
+
"prefix": "",
|
| 51 |
+
"cleanup": true
|
| 52 |
+
},
|
| 53 |
+
"model": {
|
| 54 |
+
"type": "WordPiece",
|
| 55 |
+
"unk_token": "<unk>",
|
| 56 |
+
"continuing_subword_prefix": "##",
|
| 57 |
+
"max_input_chars_per_word": 100,
|
| 58 |
+
"vocab": {
|
| 59 |
+
"<pad>": 0,
|
| 60 |
+
"<s>": 1,
|
| 61 |
+
"</s>": 2,
|
| 62 |
+
"<unk>": 3,
|
| 63 |
+
"GOAL": 4,
|
| 64 |
+
"PROOFSTEP": 5,
|
| 65 |
+
"OUTCOME": 6,
|
| 66 |
+
"|-": 7,
|
| 67 |
+
"[[": 8,
|
| 68 |
+
"]]": 9,
|
| 69 |
+
"{{": 10,
|
| 70 |
+
":": 11,
|
| 71 |
+
"}}": 12,
|
| 72 |
+
"PROVEN": 13,
|
| 73 |
+
"NOT_PROVEN": 14,
|
| 74 |
+
"wph": 15,
|
| 75 |
+
"wps": 16,
|
| 76 |
+
"wch": 17,
|
| 77 |
+
"wth": 18,
|
| 78 |
+
"wta": 19,
|
| 79 |
+
"wet": 20,
|
| 80 |
+
"wze": 21,
|
| 81 |
+
"wsi": 22,
|
| 82 |
+
"wrh": 23,
|
| 83 |
+
"wmu": 24,
|
| 84 |
+
"wla": 25,
|
| 85 |
+
"wka": 26,
|
| 86 |
+
"vx.wal": 27,
|
| 87 |
+
"cv": 28,
|
| 88 |
+
"cA.wceq": 29,
|
| 89 |
+
"cB.wceq": 30,
|
| 90 |
+
"wtru": 31,
|
| 91 |
+
"vy.tru": 32,
|
| 92 |
+
"wfal": 33,
|
| 93 |
+
"vz": 34,
|
| 94 |
+
"vw": 35,
|
| 95 |
+
"vv": 36,
|
| 96 |
+
"vu": 37,
|
| 97 |
+
"vt": 38,
|
| 98 |
+
"cbvex4vw.vf": 39,
|
| 99 |
+
"cbvex4vw.vg": 40,
|
| 100 |
+
"v.vs": 41,
|
| 101 |
+
"cC": 42,
|
| 102 |
+
"c.pa": 43,
|
| 103 |
+
"cD": 44,
|
| 104 |
+
"c.dv": 45,
|
| 105 |
+
"cP": 46,
|
| 106 |
+
"c.pl": 47,
|
| 107 |
+
"c.pd": 48,
|
| 108 |
+
"c.pb": 49,
|
| 109 |
+
"c.po": 50,
|
| 110 |
+
"cQ": 51,
|
| 111 |
+
"c.sm": 52,
|
| 112 |
+
"cR": 53,
|
| 113 |
+
"cS": 54,
|
| 114 |
+
"c.lt": 55,
|
| 115 |
+
"c.xb": 56,
|
| 116 |
+
"cT": 57,
|
| 117 |
+
"c.x": 58,
|
| 118 |
+
"c.xp": 59,
|
| 119 |
+
"c.xo": 60,
|
| 120 |
+
"cU": 61,
|
| 121 |
+
"c.1": 62,
|
| 122 |
+
"ve": 63,
|
| 123 |
+
"vh": 64,
|
| 124 |
+
"vi": 65,
|
| 125 |
+
"vj": 66,
|
| 126 |
+
"vk": 67,
|
| 127 |
+
"vm": 68,
|
| 128 |
+
"vn": 69,
|
| 129 |
+
"vo": 70,
|
| 130 |
+
"cE": 71,
|
| 131 |
+
"c.ex": 72,
|
| 132 |
+
"cF": 73,
|
| 133 |
+
"cG": 74,
|
| 134 |
+
"cH": 75,
|
| 135 |
+
"c.xi": 76,
|
| 136 |
+
"cI": 77,
|
| 137 |
+
"c.as": 78,
|
| 138 |
+
"cJ": 79,
|
| 139 |
+
"c.or": 80,
|
| 140 |
+
"cK": 81,
|
| 141 |
+
"cL": 82,
|
| 142 |
+
"c.le": 83,
|
| 143 |
+
"cM": 84,
|
| 144 |
+
"c.an": 85,
|
| 145 |
+
"c.mi": 86,
|
| 146 |
+
"cN": 87,
|
| 147 |
+
"c.pe": 88,
|
| 148 |
+
"cO": 89,
|
| 149 |
+
"cV": 90,
|
| 150 |
+
"cW": 91,
|
| 151 |
+
"cX": 92,
|
| 152 |
+
"cY": 93,
|
| 153 |
+
"c.0": 94,
|
| 154 |
+
"c.0b": 95,
|
| 155 |
+
"c.op": 96,
|
| 156 |
+
"cZ": 97,
|
| 157 |
+
"vr": 98,
|
| 158 |
+
"vq": 99,
|
| 159 |
+
"vp": 100,
|
| 160 |
+
"va": 101,
|
| 161 |
+
"vb": 102,
|
| 162 |
+
"vc": 103,
|
| 163 |
+
"vd": 104,
|
| 164 |
+
"vl": 105,
|
| 165 |
+
"cvv": 106,
|
| 166 |
+
"c0": 107,
|
| 167 |
+
"cid": 108,
|
| 168 |
+
"cep": 109,
|
| 169 |
+
"con0": 110,
|
| 170 |
+
"crpss": 111,
|
| 171 |
+
"com": 112,
|
| 172 |
+
"c1st": 113,
|
| 173 |
+
"c2nd": 114,
|
| 174 |
+
"csupp": 115,
|
| 175 |
+
"cund": 116,
|
| 176 |
+
"c1o": 117,
|
| 177 |
+
"c2o": 118,
|
| 178 |
+
"c3o": 119,
|
| 179 |
+
"c4o": 120,
|
| 180 |
+
"coa": 121,
|
| 181 |
+
"comu": 122,
|
| 182 |
+
"coe": 123,
|
| 183 |
+
"cmap": 124,
|
| 184 |
+
"cpm": 125,
|
| 185 |
+
"cen": 126,
|
| 186 |
+
"cdom": 127,
|
| 187 |
+
"csdm": 128,
|
| 188 |
+
"cfn": 129,
|
| 189 |
+
"cfsupp": 130,
|
| 190 |
+
"cfi": 131,
|
| 191 |
+
"char": 132,
|
| 192 |
+
"cwdom": 133,
|
| 193 |
+
"ccnf": 134,
|
| 194 |
+
"ctc": 135,
|
| 195 |
+
"cr1": 136,
|
| 196 |
+
"crnk": 137,
|
| 197 |
+
"cinl": 138,
|
| 198 |
+
"cinr": 139,
|
| 199 |
+
"ccrd": 140,
|
| 200 |
+
"cale": 141,
|
| 201 |
+
"ccf": 142,
|
| 202 |
+
"wac": 143,
|
| 203 |
+
"cfin1a": 144,
|
| 204 |
+
"cfin2": 145,
|
| 205 |
+
"cfin4": 146,
|
| 206 |
+
"cfin3": 147,
|
| 207 |
+
"cfin5": 148,
|
| 208 |
+
"cfin6": 149,
|
| 209 |
+
"cfin7": 150,
|
| 210 |
+
"cgch": 151,
|
| 211 |
+
"cwina": 152,
|
| 212 |
+
"cina": 153,
|
| 213 |
+
"cwun": 154,
|
| 214 |
+
"cwunm": 155,
|
| 215 |
+
"ctsk": 156,
|
| 216 |
+
"cgru": 157,
|
| 217 |
+
"ctskm": 158,
|
| 218 |
+
"cnpi": 159,
|
| 219 |
+
"cpli": 160,
|
| 220 |
+
"cmi": 161,
|
| 221 |
+
"clti": 162,
|
| 222 |
+
"cplpq": 163,
|
| 223 |
+
"cmpq": 164,
|
| 224 |
+
"cltpq": 165,
|
| 225 |
+
"ceq": 166,
|
| 226 |
+
"cnq": 167,
|
| 227 |
+
"c1q": 168,
|
| 228 |
+
"cerq": 169,
|
| 229 |
+
"cplq": 170,
|
| 230 |
+
"cmq": 171,
|
| 231 |
+
"crq": 172,
|
| 232 |
+
"cltq": 173,
|
| 233 |
+
"cnp": 174,
|
| 234 |
+
"c1p": 175,
|
| 235 |
+
"cpp": 176,
|
| 236 |
+
"cmp": 177,
|
| 237 |
+
"cltp": 178,
|
| 238 |
+
"cer": 179,
|
| 239 |
+
"cnr": 180,
|
| 240 |
+
"c0r": 181,
|
| 241 |
+
"c1r": 182,
|
| 242 |
+
"cm1r": 183,
|
| 243 |
+
"cplr": 184,
|
| 244 |
+
"cmr": 185,
|
| 245 |
+
"cltr": 186,
|
| 246 |
+
"cc": 187,
|
| 247 |
+
"cr": 188,
|
| 248 |
+
"cc0": 189,
|
| 249 |
+
"c1": 190,
|
| 250 |
+
"ci": 191,
|
| 251 |
+
"caddc": 192,
|
| 252 |
+
"cltrr": 193,
|
| 253 |
+
"cmul": 194,
|
| 254 |
+
"cpnf": 195,
|
| 255 |
+
"cmnf": 196,
|
| 256 |
+
"cxr": 197,
|
| 257 |
+
"clt": 198,
|
| 258 |
+
"cle": 199,
|
| 259 |
+
"cmin": 200,
|
| 260 |
+
"cdiv": 201,
|
| 261 |
+
"cn": 202,
|
| 262 |
+
"c2": 203,
|
| 263 |
+
"c3": 204,
|
| 264 |
+
"c4": 205,
|
| 265 |
+
"c5": 206,
|
| 266 |
+
"c6": 207,
|
| 267 |
+
"c7": 208,
|
| 268 |
+
"c8": 209,
|
| 269 |
+
"c9": 210,
|
| 270 |
+
"cn0": 211,
|
| 271 |
+
"cxnn0": 212,
|
| 272 |
+
"cz": 213,
|
| 273 |
+
"cuz": 214,
|
| 274 |
+
"cq": 215,
|
| 275 |
+
"crp": 216,
|
| 276 |
+
"cxad": 217,
|
| 277 |
+
"cxmu": 218,
|
| 278 |
+
"cioo": 219,
|
| 279 |
+
"cioc": 220,
|
| 280 |
+
"cico": 221,
|
| 281 |
+
"cicc": 222,
|
| 282 |
+
"cfz": 223,
|
| 283 |
+
"cfzo": 224,
|
| 284 |
+
"cfl": 225,
|
| 285 |
+
"cceil": 226,
|
| 286 |
+
"cmo": 227,
|
| 287 |
+
"cexp": 228,
|
| 288 |
+
"cfa": 229,
|
| 289 |
+
"cbc": 230,
|
| 290 |
+
"chash": 231,
|
| 291 |
+
"clsw": 232,
|
| 292 |
+
"cconcat": 233,
|
| 293 |
+
"csubstr": 234,
|
| 294 |
+
"cpfx": 235,
|
| 295 |
+
"csplice": 236,
|
| 296 |
+
"creverse": 237,
|
| 297 |
+
"creps": 238,
|
| 298 |
+
"ccsh": 239,
|
| 299 |
+
"ctcl": 240,
|
| 300 |
+
"crtcl": 241,
|
| 301 |
+
"crelexp": 242,
|
| 302 |
+
"crtrcl": 243,
|
| 303 |
+
"cshi": 244,
|
| 304 |
+
"csgn": 245,
|
| 305 |
+
"ccj": 246,
|
| 306 |
+
"cre": 247,
|
| 307 |
+
"cim": 248,
|
| 308 |
+
"csqrt": 249,
|
| 309 |
+
"cabs": 250,
|
| 310 |
+
"clsp": 251,
|
| 311 |
+
"cli": 252,
|
| 312 |
+
"crli": 253,
|
| 313 |
+
"co1": 254,
|
| 314 |
+
"clo1": 255,
|
| 315 |
+
"cfallfac": 256,
|
| 316 |
+
"crisefac": 257,
|
| 317 |
+
"cbp": 258,
|
| 318 |
+
"ce": 259,
|
| 319 |
+
"ceu": 260,
|
| 320 |
+
"csin": 261,
|
| 321 |
+
"ccos": 262,
|
| 322 |
+
"ctan": 263,
|
| 323 |
+
"cpi": 264,
|
| 324 |
+
"ctau": 265,
|
| 325 |
+
"cdvds": 266,
|
| 326 |
+
"cbits": 267,
|
| 327 |
+
"csad": 268,
|
| 328 |
+
"csmu": 269,
|
| 329 |
+
"cgcd": 270,
|
| 330 |
+
"clcm": 271,
|
| 331 |
+
"clcmf": 272,
|
| 332 |
+
"cprime": 273,
|
| 333 |
+
"cnumer": 274,
|
| 334 |
+
"cdenom": 275,
|
| 335 |
+
"codz": 276,
|
| 336 |
+
"cphi": 277,
|
| 337 |
+
"cpc": 278,
|
| 338 |
+
"cgz": 279,
|
| 339 |
+
"cvdwa": 280,
|
| 340 |
+
"cvdwm": 281,
|
| 341 |
+
"cvdwp": 282,
|
| 342 |
+
"cram": 283,
|
| 343 |
+
"cprmo": 284,
|
| 344 |
+
"cstr": 285,
|
| 345 |
+
"csts": 286,
|
| 346 |
+
"cnx": 287,
|
| 347 |
+
"cbs": 288,
|
| 348 |
+
"cress": 289,
|
| 349 |
+
"cplusg": 290,
|
| 350 |
+
"cmulr": 291,
|
| 351 |
+
"cstv": 292,
|
| 352 |
+
"csca": 293,
|
| 353 |
+
"cvsca": 294,
|
| 354 |
+
"cip": 295,
|
| 355 |
+
"cts": 296,
|
| 356 |
+
"cple": 297,
|
| 357 |
+
"coc": 298,
|
| 358 |
+
"cds": 299,
|
| 359 |
+
"cunif": 300,
|
| 360 |
+
"chom": 301,
|
| 361 |
+
"cco": 302,
|
| 362 |
+
"crest": 303,
|
| 363 |
+
"ctopn": 304,
|
| 364 |
+
"ctg": 305,
|
| 365 |
+
"cpt": 306,
|
| 366 |
+
"c0g": 307,
|
| 367 |
+
"cgsu": 308,
|
| 368 |
+
"cprds": 309,
|
| 369 |
+
"cpws": 310,
|
| 370 |
+
"cordt": 311,
|
| 371 |
+
"cxrs": 312,
|
| 372 |
+
"cqtop": 313,
|
| 373 |
+
"cimas": 314,
|
| 374 |
+
"cqus": 315,
|
| 375 |
+
"cxps": 316,
|
| 376 |
+
"cmre": 317,
|
| 377 |
+
"cmrc": 318,
|
| 378 |
+
"cmri": 319,
|
| 379 |
+
"cacs": 320,
|
| 380 |
+
"ccat": 321,
|
| 381 |
+
"ccid": 322,
|
| 382 |
+
"chomf": 323,
|
| 383 |
+
"ccomf": 324,
|
| 384 |
+
"coppc": 325,
|
| 385 |
+
"cmon": 326,
|
| 386 |
+
"cepi": 327,
|
| 387 |
+
"csect": 328,
|
| 388 |
+
"cinv": 329,
|
| 389 |
+
"ciso": 330,
|
| 390 |
+
"ccic": 331,
|
| 391 |
+
"cssc": 332,
|
| 392 |
+
"cresc": 333,
|
| 393 |
+
"csubc": 334,
|
| 394 |
+
"cfunc": 335,
|
| 395 |
+
"cidfu": 336,
|
| 396 |
+
"ccofu": 337,
|
| 397 |
+
"cresf": 338,
|
| 398 |
+
"cful": 339,
|
| 399 |
+
"cfth": 340,
|
| 400 |
+
"cnat": 341,
|
| 401 |
+
"cfuc": 342,
|
| 402 |
+
"cinito": 343,
|
| 403 |
+
"ctermo": 344,
|
| 404 |
+
"czeroo": 345,
|
| 405 |
+
"cdoma": 346,
|
| 406 |
+
"ccoda": 347,
|
| 407 |
+
"carw": 348,
|
| 408 |
+
"choma": 349,
|
| 409 |
+
"cida": 350,
|
| 410 |
+
"ccoa": 351,
|
| 411 |
+
"csetc": 352,
|
| 412 |
+
"ccatc": 353,
|
| 413 |
+
"cestrc": 354,
|
| 414 |
+
"cxpc": 355,
|
| 415 |
+
"c1stf": 356,
|
| 416 |
+
"c2ndf": 357,
|
| 417 |
+
"cprf": 358,
|
| 418 |
+
"cevlf": 359,
|
| 419 |
+
"ccurf": 360,
|
| 420 |
+
"cuncf": 361,
|
| 421 |
+
"cdiag": 362,
|
| 422 |
+
"chof": 363,
|
| 423 |
+
"cyon": 364,
|
| 424 |
+
"codu": 365,
|
| 425 |
+
"cproset": 366,
|
| 426 |
+
"cdrs": 367,
|
| 427 |
+
"cpo": 368,
|
| 428 |
+
"cplt": 369,
|
| 429 |
+
"club": 370,
|
| 430 |
+
"cglb": 371,
|
| 431 |
+
"cjn": 372,
|
| 432 |
+
"cmee": 373,
|
| 433 |
+
"ctos": 374,
|
| 434 |
+
"cp0": 375,
|
| 435 |
+
"cp1": 376,
|
| 436 |
+
"clat": 377,
|
| 437 |
+
"ccla": 378,
|
| 438 |
+
"cdlat": 379,
|
| 439 |
+
"cipo": 380,
|
| 440 |
+
"cps": 381,
|
| 441 |
+
"ctsr": 382,
|
| 442 |
+
"cdir": 383,
|
| 443 |
+
"ctail": 384,
|
| 444 |
+
"cplusf": 385,
|
| 445 |
+
"cmgm": 386,
|
| 446 |
+
"csgrp": 387,
|
| 447 |
+
"cmnd": 388,
|
| 448 |
+
"cmhm": 389,
|
| 449 |
+
"csubmnd": 390,
|
| 450 |
+
"cfrmd": 391,
|
| 451 |
+
"cvrmd": 392,
|
| 452 |
+
"cefmnd": 393,
|
| 453 |
+
"cgrp": 394,
|
| 454 |
+
"cminusg": 395,
|
| 455 |
+
"csg": 396,
|
| 456 |
+
"cmg": 397,
|
| 457 |
+
"csubg": 398,
|
| 458 |
+
"cnsg": 399,
|
| 459 |
+
"cqg": 400,
|
| 460 |
+
"cghm": 401,
|
| 461 |
+
"cgim": 402,
|
| 462 |
+
"cgic": 403,
|
| 463 |
+
"cga": 404,
|
| 464 |
+
"ccntz": 405,
|
| 465 |
+
"ccntr": 406,
|
| 466 |
+
"coppg": 407,
|
| 467 |
+
"csymg": 408,
|
| 468 |
+
"cpmtr": 409,
|
| 469 |
+
"cpsgn": 410,
|
| 470 |
+
"cevpm": 411,
|
| 471 |
+
"cod": 412,
|
| 472 |
+
"cgex": 413,
|
| 473 |
+
"cpgp": 414,
|
| 474 |
+
"cslw": 415,
|
| 475 |
+
"clsm": 416,
|
| 476 |
+
"cpj1": 417,
|
| 477 |
+
"cefg": 418,
|
| 478 |
+
"cfrgp": 419,
|
| 479 |
+
"cvrgp": 420,
|
| 480 |
+
"ccmn": 421,
|
| 481 |
+
"cabl": 422,
|
| 482 |
+
"ccyg": 423,
|
| 483 |
+
"cdprd": 424,
|
| 484 |
+
"cdpj": 425,
|
| 485 |
+
"csimpg": 426,
|
| 486 |
+
"cmgp": 427,
|
| 487 |
+
"cur": 428,
|
| 488 |
+
"csrg": 429,
|
| 489 |
+
"crg": 430,
|
| 490 |
+
"ccrg": 431,
|
| 491 |
+
"coppr": 432,
|
| 492 |
+
"cdsr": 433,
|
| 493 |
+
"cui": 434,
|
| 494 |
+
"cir": 435,
|
| 495 |
+
"cinvr": 436,
|
| 496 |
+
"cdvr": 437,
|
| 497 |
+
"crpm": 438,
|
| 498 |
+
"crh": 439,
|
| 499 |
+
"crs": 440,
|
| 500 |
+
"cric": 441,
|
| 501 |
+
"cdr": 442,
|
| 502 |
+
"cfield": 443,
|
| 503 |
+
"csubrg": 444,
|
| 504 |
+
"crgspn": 445,
|
| 505 |
+
"csdrg": 446,
|
| 506 |
+
"cabv": 447,
|
| 507 |
+
"cstf": 448,
|
| 508 |
+
"csr": 449,
|
| 509 |
+
"clmod": 450,
|
| 510 |
+
"cscaf": 451,
|
| 511 |
+
"clss": 452,
|
| 512 |
+
"clspn": 453,
|
| 513 |
+
"clmhm": 454,
|
| 514 |
+
"clmim": 455,
|
| 515 |
+
"clmic": 456,
|
| 516 |
+
"clbs": 457,
|
| 517 |
+
"clvec": 458,
|
| 518 |
+
"csra": 459,
|
| 519 |
+
"crglmod": 460,
|
| 520 |
+
"clidl": 461,
|
| 521 |
+
"crsp": 462,
|
| 522 |
+
"c2idl": 463,
|
| 523 |
+
"clpidl": 464,
|
| 524 |
+
"clpir": 465,
|
| 525 |
+
"cnzr": 466,
|
| 526 |
+
"crlreg": 467,
|
| 527 |
+
"cdomn": 468,
|
| 528 |
+
"cidom": 469,
|
| 529 |
+
"cpid": 470,
|
| 530 |
+
"cpsmet": 471,
|
| 531 |
+
"cxmet": 472,
|
| 532 |
+
"cmet": 473,
|
| 533 |
+
"cbl": 474,
|
| 534 |
+
"cfbas": 475,
|
| 535 |
+
"cfg": 476,
|
| 536 |
+
"cmopn": 477,
|
| 537 |
+
"cmetu": 478,
|
| 538 |
+
"ccnfld": 479,
|
| 539 |
+
"zring": 480,
|
| 540 |
+
"czrh": 481,
|
| 541 |
+
"czlm": 482,
|
| 542 |
+
"cchr": 483,
|
| 543 |
+
"czn": 484,
|
| 544 |
+
"crefld": 485,
|
| 545 |
+
"cphl": 486,
|
| 546 |
+
"cipf": 487,
|
| 547 |
+
"cocv": 488,
|
| 548 |
+
"ccss": 489,
|
| 549 |
+
"cthl": 490,
|
| 550 |
+
"cpj": 491,
|
| 551 |
+
"chil": 492,
|
| 552 |
+
"cobs": 493,
|
| 553 |
+
"cdsmm": 494,
|
| 554 |
+
"cfrlm": 495,
|
| 555 |
+
"cuvc": 496,
|
| 556 |
+
"clindf": 497,
|
| 557 |
+
"clinds": 498,
|
| 558 |
+
"casa": 499,
|
| 559 |
+
"casp": 500,
|
| 560 |
+
"cascl": 501,
|
| 561 |
+
"cmps": 502,
|
| 562 |
+
"cmvr": 503,
|
| 563 |
+
"cmpl": 504,
|
| 564 |
+
"cltb": 505,
|
| 565 |
+
"copws": 506,
|
| 566 |
+
"ces": 507,
|
| 567 |
+
"cevl": 508,
|
| 568 |
+
"cslv": 509,
|
| 569 |
+
"cmhp": 510,
|
| 570 |
+
"cpsd": 511,
|
| 571 |
+
"cai": 512,
|
| 572 |
+
"cps1": 513,
|
| 573 |
+
"cv1": 514,
|
| 574 |
+
"cpl1": 515,
|
| 575 |
+
"cco1": 516,
|
| 576 |
+
"ctp1": 517,
|
| 577 |
+
"ces1": 518,
|
| 578 |
+
"ce1": 519,
|
| 579 |
+
"cmmul": 520,
|
| 580 |
+
"cmat": 521,
|
| 581 |
+
"cdmat": 522,
|
| 582 |
+
"cscmat": 523,
|
| 583 |
+
"cmvmul": 524,
|
| 584 |
+
"cmarrep": 525,
|
| 585 |
+
"cmatrepV": 526,
|
| 586 |
+
"csubma": 527,
|
| 587 |
+
"cmdat": 528,
|
| 588 |
+
"cmadu": 529,
|
| 589 |
+
"cminmar1": 530,
|
| 590 |
+
"ccpmat": 531,
|
| 591 |
+
"cmat2pmat": 532,
|
| 592 |
+
"ccpmat2mat": 533,
|
| 593 |
+
"cdecpmat": 534,
|
| 594 |
+
"cpm2mp": 535,
|
| 595 |
+
"cchpmat": 536,
|
| 596 |
+
"ctop": 537,
|
| 597 |
+
"ctopon": 538,
|
| 598 |
+
"ctps": 539,
|
| 599 |
+
"ctb": 540,
|
| 600 |
+
"ccld": 541,
|
| 601 |
+
"cnt": 542,
|
| 602 |
+
"ccl": 543,
|
| 603 |
+
"cnei": 544,
|
| 604 |
+
"clp": 545,
|
| 605 |
+
"cperf": 546,
|
| 606 |
+
"ccn": 547,
|
| 607 |
+
"ccnp": 548,
|
| 608 |
+
"clm": 549,
|
| 609 |
+
"ct0": 550,
|
| 610 |
+
"ct1": 551,
|
| 611 |
+
"cha": 552,
|
| 612 |
+
"creg": 553,
|
| 613 |
+
"cnrm": 554,
|
| 614 |
+
"ccnrm": 555,
|
| 615 |
+
"cpnrm": 556,
|
| 616 |
+
"ccmp": 557,
|
| 617 |
+
"cconn": 558,
|
| 618 |
+
"c1stc": 559,
|
| 619 |
+
"c2ndc": 560,
|
| 620 |
+
"cref": 561,
|
| 621 |
+
"cptfin": 562,
|
| 622 |
+
"clocfin": 563,
|
| 623 |
+
"ckgen": 564,
|
| 624 |
+
"ctx": 565,
|
| 625 |
+
"cxko": 566,
|
| 626 |
+
"ckq": 567,
|
| 627 |
+
"chmeo": 568,
|
| 628 |
+
"chmph": 569,
|
| 629 |
+
"cfil": 570,
|
| 630 |
+
"cufil": 571,
|
| 631 |
+
"cufl": 572,
|
| 632 |
+
"cfm": 573,
|
| 633 |
+
"cflim": 574,
|
| 634 |
+
"cflf": 575,
|
| 635 |
+
"cfcls": 576,
|
| 636 |
+
"cfcf": 577,
|
| 637 |
+
"ccnext": 578,
|
| 638 |
+
"ctmd": 579,
|
| 639 |
+
"ctgp": 580,
|
| 640 |
+
"ctsu": 581,
|
| 641 |
+
"ctrg": 582,
|
| 642 |
+
"ctdrg": 583,
|
| 643 |
+
"ctlm": 584,
|
| 644 |
+
"ctvc": 585,
|
| 645 |
+
"cust": 586,
|
| 646 |
+
"cutop": 587,
|
| 647 |
+
"cuss": 588,
|
| 648 |
+
"cusp": 589,
|
| 649 |
+
"ctus": 590,
|
| 650 |
+
"cucn": 591,
|
| 651 |
+
"ccfilu": 592,
|
| 652 |
+
"ccusp": 593,
|
| 653 |
+
"cxms": 594,
|
| 654 |
+
"cms": 595,
|
| 655 |
+
"ctms": 596,
|
| 656 |
+
"cnm": 597,
|
| 657 |
+
"cngp": 598,
|
| 658 |
+
"ctng": 599,
|
| 659 |
+
"cnrg": 600,
|
| 660 |
+
"cnlm": 601,
|
| 661 |
+
"cnvc": 602,
|
| 662 |
+
"cnmo": 603,
|
| 663 |
+
"cnghm": 604,
|
| 664 |
+
"cnmhm": 605,
|
| 665 |
+
"cii": 606,
|
| 666 |
+
"ccncf": 607,
|
| 667 |
+
"chtpy": 608,
|
| 668 |
+
"cphtpy": 609,
|
| 669 |
+
"cphtpc": 610,
|
| 670 |
+
"cpco": 611,
|
| 671 |
+
"comi": 612,
|
| 672 |
+
"comn": 613,
|
| 673 |
+
"cpi1": 614,
|
| 674 |
+
"cpin": 615,
|
| 675 |
+
"cclm": 616,
|
| 676 |
+
"ccvs": 617,
|
| 677 |
+
"ccph": 618,
|
| 678 |
+
"ctcph": 619,
|
| 679 |
+
"ccfil": 620,
|
| 680 |
+
"ccau": 621,
|
| 681 |
+
"ccmet": 622,
|
| 682 |
+
"ccms": 623,
|
| 683 |
+
"cbn": 624,
|
| 684 |
+
"chl": 625,
|
| 685 |
+
"crrx": 626,
|
| 686 |
+
"cehl": 627,
|
| 687 |
+
"covol": 628,
|
| 688 |
+
"cvol": 629,
|
| 689 |
+
"cmbf": 630,
|
| 690 |
+
"citg1": 631,
|
| 691 |
+
"citg2": 632,
|
| 692 |
+
"cibl": 633,
|
| 693 |
+
"c0p": 634,
|
| 694 |
+
"climc": 635,
|
| 695 |
+
"cdv": 636,
|
| 696 |
+
"cdvn": 637,
|
| 697 |
+
"ccpn": 638,
|
| 698 |
+
"cmdg": 639,
|
| 699 |
+
"cdg1": 640,
|
| 700 |
+
"cmn1": 641,
|
| 701 |
+
"cuc1p": 642,
|
| 702 |
+
"cq1p": 643,
|
| 703 |
+
"cr1p": 644,
|
| 704 |
+
"cig1p": 645,
|
| 705 |
+
"cply": 646,
|
| 706 |
+
"cidp": 647,
|
| 707 |
+
"ccoe": 648,
|
| 708 |
+
"cdgr": 649,
|
| 709 |
+
"cquot": 650,
|
| 710 |
+
"caa": 651,
|
| 711 |
+
"ctayl": 652,
|
| 712 |
+
"cana": 653,
|
| 713 |
+
"culm": 654,
|
| 714 |
+
"clog": 655,
|
| 715 |
+
"ccxp": 656,
|
| 716 |
+
"clogb": 657,
|
| 717 |
+
"casin": 658,
|
| 718 |
+
"cacos": 659,
|
| 719 |
+
"catan": 660,
|
| 720 |
+
"carea": 661,
|
| 721 |
+
"cem": 662,
|
| 722 |
+
"czeta": 663,
|
| 723 |
+
"clgam": 664,
|
| 724 |
+
"cgam": 665,
|
| 725 |
+
"cigam": 666,
|
| 726 |
+
"ccht": 667,
|
| 727 |
+
"cvma": 668,
|
| 728 |
+
"cchp": 669,
|
| 729 |
+
"cppi": 670,
|
| 730 |
+
"cmu": 671,
|
| 731 |
+
"csgm": 672,
|
| 732 |
+
"cdchr": 673,
|
| 733 |
+
"clgs": 674,
|
| 734 |
+
"cstrkg": 675,
|
| 735 |
+
"cstrkgc": 676,
|
| 736 |
+
"cstrkgb": 677,
|
| 737 |
+
"cstrkgcb": 678,
|
| 738 |
+
"cstrkgld": 679,
|
| 739 |
+
"cstrkge": 680,
|
| 740 |
+
"citv": 681,
|
| 741 |
+
"clng": 682,
|
| 742 |
+
"ccgrg": 683,
|
| 743 |
+
"cismt": 684,
|
| 744 |
+
"cleg": 685,
|
| 745 |
+
"chlg": 686,
|
| 746 |
+
"cmir": 687,
|
| 747 |
+
"crag": 688,
|
| 748 |
+
"cperpg": 689,
|
| 749 |
+
"chpg": 690,
|
| 750 |
+
"cmid": 691,
|
| 751 |
+
"clmi": 692,
|
| 752 |
+
"ccgra": 693,
|
| 753 |
+
"cinag": 694,
|
| 754 |
+
"cleag": 695,
|
| 755 |
+
"ceqlg": 696,
|
| 756 |
+
"cttg": 697,
|
| 757 |
+
"cee": 698,
|
| 758 |
+
"cbtwn": 699,
|
| 759 |
+
"ccgr": 700,
|
| 760 |
+
"ceeng": 701,
|
| 761 |
+
"cedgf": 702,
|
| 762 |
+
"cvtx": 703,
|
| 763 |
+
"ciedg": 704,
|
| 764 |
+
"cedg": 705,
|
| 765 |
+
"cuhgr": 706,
|
| 766 |
+
"cushgr": 707,
|
| 767 |
+
"cupgr": 708,
|
| 768 |
+
"cumgr": 709,
|
| 769 |
+
"cuspgr": 710,
|
| 770 |
+
"cusgr": 711,
|
| 771 |
+
"csubgr": 712,
|
| 772 |
+
"cfusgr": 713,
|
| 773 |
+
"cnbgr": 714,
|
| 774 |
+
"cuvtx": 715,
|
| 775 |
+
"ccplgr": 716,
|
| 776 |
+
"ccusgr": 717,
|
| 777 |
+
"cvtxdg": 718,
|
| 778 |
+
"crgr": 719,
|
| 779 |
+
"crusgr": 720,
|
| 780 |
+
"cewlks": 721,
|
| 781 |
+
"cwlks": 722,
|
| 782 |
+
"cwlkson": 723,
|
| 783 |
+
"ctrls": 724,
|
| 784 |
+
"ctrlson": 725,
|
| 785 |
+
"cpths": 726,
|
| 786 |
+
"cspths": 727,
|
| 787 |
+
"cpthson": 728,
|
| 788 |
+
"cspthson": 729,
|
| 789 |
+
"cclwlks": 730,
|
| 790 |
+
"ccrcts": 731,
|
| 791 |
+
"ccycls": 732,
|
| 792 |
+
"cwwlks": 733,
|
| 793 |
+
"cwwlksn": 734,
|
| 794 |
+
"cwwlksnon": 735,
|
| 795 |
+
"cwwspthsn": 736,
|
| 796 |
+
"cwwspthsnon": 737,
|
| 797 |
+
"cclwwlk": 738,
|
| 798 |
+
"cclwwlkn": 739,
|
| 799 |
+
"cclwwlknon": 740,
|
| 800 |
+
"cconngr": 741,
|
| 801 |
+
"ceupth": 742,
|
| 802 |
+
"cfrgr": 743,
|
| 803 |
+
"cplig": 744,
|
| 804 |
+
"cgr": 745,
|
| 805 |
+
"cgi": 746,
|
| 806 |
+
"cgn": 747,
|
| 807 |
+
"cgs": 748,
|
| 808 |
+
"cablo": 749,
|
| 809 |
+
"cvc": 750,
|
| 810 |
+
"cnv": 751,
|
| 811 |
+
"cpv": 752,
|
| 812 |
+
"cba": 753,
|
| 813 |
+
"cns": 754,
|
| 814 |
+
"cn0v": 755,
|
| 815 |
+
"cnsb": 756,
|
| 816 |
+
"cnmcv": 757,
|
| 817 |
+
"cims": 758,
|
| 818 |
+
"cdip": 759,
|
| 819 |
+
"css": 760,
|
| 820 |
+
"clno": 761,
|
| 821 |
+
"cnmoo": 762,
|
| 822 |
+
"cblo": 763,
|
| 823 |
+
"c0o": 764,
|
| 824 |
+
"caj": 765,
|
| 825 |
+
"chmo": 766,
|
| 826 |
+
"ccphlo": 767,
|
| 827 |
+
"ccbn": 768,
|
| 828 |
+
"chlo": 769,
|
| 829 |
+
"chba": 770,
|
| 830 |
+
"cva": 771,
|
| 831 |
+
"csm": 772,
|
| 832 |
+
"csp": 773,
|
| 833 |
+
"cno": 774,
|
| 834 |
+
"c0v": 775,
|
| 835 |
+
"cmv": 776,
|
| 836 |
+
"ccauold": 777,
|
| 837 |
+
"chli": 778,
|
| 838 |
+
"csh": 779,
|
| 839 |
+
"cch": 780,
|
| 840 |
+
"cort": 781,
|
| 841 |
+
"cph": 782,
|
| 842 |
+
"cspn": 783,
|
| 843 |
+
"chj": 784,
|
| 844 |
+
"chsup": 785,
|
| 845 |
+
"c0h": 786,
|
| 846 |
+
"ccm": 787,
|
| 847 |
+
"cpjh": 788,
|
| 848 |
+
"chos": 789,
|
| 849 |
+
"chot": 790,
|
| 850 |
+
"chod": 791,
|
| 851 |
+
"chfs": 792,
|
| 852 |
+
"chft": 793,
|
| 853 |
+
"ch0o": 794,
|
| 854 |
+
"chio": 795,
|
| 855 |
+
"cnop": 796,
|
| 856 |
+
"ccop": 797,
|
| 857 |
+
"clo": 798,
|
| 858 |
+
"cbo": 799,
|
| 859 |
+
"cuo": 800,
|
| 860 |
+
"cho": 801,
|
| 861 |
+
"cnmf": 802,
|
| 862 |
+
"cnl": 803,
|
| 863 |
+
"ccnfn": 804,
|
| 864 |
+
"clf": 805,
|
| 865 |
+
"cado": 806,
|
| 866 |
+
"cbr": 807,
|
| 867 |
+
"ck": 808,
|
| 868 |
+
"cleo": 809,
|
| 869 |
+
"cei": 810,
|
| 870 |
+
"cel": 811,
|
| 871 |
+
"cspc": 812,
|
| 872 |
+
"cst": 813,
|
| 873 |
+
"chst": 814,
|
| 874 |
+
"ccv": 815,
|
| 875 |
+
"cat": 816,
|
| 876 |
+
"cmd": 817,
|
| 877 |
+
"cdmd": 818,
|
| 878 |
+
"cdp": 819,
|
| 879 |
+
"cxdiv": 820,
|
| 880 |
+
"c.le2": 821,
|
| 881 |
+
"cmnt": 822,
|
| 882 |
+
"cmgc": 823,
|
| 883 |
+
"comnd": 824,
|
| 884 |
+
"cogrp": 825,
|
| 885 |
+
"ctocyc": 826,
|
| 886 |
+
"csgns": 827,
|
| 887 |
+
"cinftm": 828,
|
| 888 |
+
"carchi": 829,
|
| 889 |
+
"cslmd": 830,
|
| 890 |
+
"corng": 831,
|
| 891 |
+
"cofld": 832,
|
| 892 |
+
"cresv": 833,
|
| 893 |
+
"cprmidl": 834,
|
| 894 |
+
"cmxidl": 835,
|
| 895 |
+
"cidlsrg": 836,
|
| 896 |
+
"cufd": 837,
|
| 897 |
+
"cldim": 838,
|
| 898 |
+
"cfldext": 839,
|
| 899 |
+
"cfinext": 840,
|
| 900 |
+
"calgext": 841,
|
| 901 |
+
"cextdg": 842,
|
| 902 |
+
"csmat": 843,
|
| 903 |
+
"clmat": 844,
|
| 904 |
+
"cldlf": 845,
|
| 905 |
+
"cpcmp": 846,
|
| 906 |
+
"crspec": 847,
|
| 907 |
+
"cmetid": 848,
|
| 908 |
+
"cpstm": 849,
|
| 909 |
+
"chcmp": 850,
|
| 910 |
+
"cqqh": 851,
|
| 911 |
+
"crrh": 852,
|
| 912 |
+
"crrext": 853,
|
| 913 |
+
"cxrh": 854,
|
| 914 |
+
"cmntop": 855,
|
| 915 |
+
"cind": 856,
|
| 916 |
+
"csiga": 857,
|
| 917 |
+
"csigagen": 858,
|
| 918 |
+
"cbrsiga": 859,
|
| 919 |
+
"csx": 860,
|
| 920 |
+
"cmeas": 861,
|
| 921 |
+
"cdde": 862,
|
| 922 |
+
"cae": 863,
|
| 923 |
+
"cfae": 864,
|
| 924 |
+
"cmbfm": 865,
|
| 925 |
+
"coms": 866,
|
| 926 |
+
"ccarsg": 867,
|
| 927 |
+
"citgm": 868,
|
| 928 |
+
"csitm": 869,
|
| 929 |
+
"csitg": 870,
|
| 930 |
+
"csseq": 871,
|
| 931 |
+
"cfib": 872,
|
| 932 |
+
"cprb": 873,
|
| 933 |
+
"ccprob": 874,
|
| 934 |
+
"crrv": 875,
|
| 935 |
+
"crepr": 876,
|
| 936 |
+
"cvts": 877,
|
| 937 |
+
"cstrkg2d": 878,
|
| 938 |
+
"cafs": 879,
|
| 939 |
+
"clpad": 880,
|
| 940 |
+
"bnjwphm": 881,
|
| 941 |
+
"bnjwpsm": 882,
|
| 942 |
+
"bnjwchm": 883,
|
| 943 |
+
"bnjwthm": 884,
|
| 944 |
+
"bnjwtam": 885,
|
| 945 |
+
"bnjwetm": 886,
|
| 946 |
+
"bnjwzem": 887,
|
| 947 |
+
"bnjwsim": 888,
|
| 948 |
+
"bnjwrhm": 889,
|
| 949 |
+
"bnjwphn": 890,
|
| 950 |
+
"bnjwpsn": 891,
|
| 951 |
+
"bnjwchn": 892,
|
| 952 |
+
"bnjwthn": 893,
|
| 953 |
+
"bnjwtan": 894,
|
| 954 |
+
"bnjwetn": 895,
|
| 955 |
+
"bnjwzen": 896,
|
| 956 |
+
"bnjwsin": 897,
|
| 957 |
+
"bnjwrhn": 898,
|
| 958 |
+
"bnjwph0": 899,
|
| 959 |
+
"bnjwps0": 900,
|
| 960 |
+
"bnjwch0-": 901,
|
| 961 |
+
"bnjwth0": 902,
|
| 962 |
+
"bnjwta0": 903,
|
| 963 |
+
"bnjwet0": 904,
|
| 964 |
+
"bnjwze0": 905,
|
| 965 |
+
"bnjwsi0": 906,
|
| 966 |
+
"bnjwrh0": 907,
|
| 967 |
+
"bnjwph1": 908,
|
| 968 |
+
"bnjwps1": 909,
|
| 969 |
+
"bnjwch1": 910,
|
| 970 |
+
"bnjwth1": 911,
|
| 971 |
+
"bnjwta1": 912,
|
| 972 |
+
"bnjwet1": 913,
|
| 973 |
+
"bnjwze1": 914,
|
| 974 |
+
"bnjwsi1": 915,
|
| 975 |
+
"bnjwrh1": 916,
|
| 976 |
+
"bnjvam": 917,
|
| 977 |
+
"bnjvbm": 918,
|
| 978 |
+
"bnjvcm": 919,
|
| 979 |
+
"bnjvdm": 920,
|
| 980 |
+
"bnjvem": 921,
|
| 981 |
+
"bnjvfm": 922,
|
| 982 |
+
"bnjvgm": 923,
|
| 983 |
+
"bnjvhm": 924,
|
| 984 |
+
"bnjvim": 925,
|
| 985 |
+
"bnjvjm": 926,
|
| 986 |
+
"bnjvkm": 927,
|
| 987 |
+
"bnjvlm": 928,
|
| 988 |
+
"bnjvmm": 929,
|
| 989 |
+
"bnjvnm": 930,
|
| 990 |
+
"bnjvom-": 931,
|
| 991 |
+
"bnjvpm": 932,
|
| 992 |
+
"bnjvqm": 933,
|
| 993 |
+
"bnjvrm": 934,
|
| 994 |
+
"bnjvsm-": 935,
|
| 995 |
+
"bnjvtm": 936,
|
| 996 |
+
"bnjvum": 937,
|
| 997 |
+
"bnjvvm-": 938,
|
| 998 |
+
"bnjvwm": 939,
|
| 999 |
+
"bnjvxm": 940,
|
| 1000 |
+
"bnjvym": 941,
|
| 1001 |
+
"bnjvzm": 942,
|
| 1002 |
+
"bnjvan": 943,
|
| 1003 |
+
"bnjvbn": 944,
|
| 1004 |
+
"bnjvcn": 945,
|
| 1005 |
+
"bnjvdn": 946,
|
| 1006 |
+
"bnjven": 947,
|
| 1007 |
+
"bnjvfn": 948,
|
| 1008 |
+
"bnjvgn": 949,
|
| 1009 |
+
"bnjvhn": 950,
|
| 1010 |
+
"bnjvin": 951,
|
| 1011 |
+
"bnjvjn": 952,
|
| 1012 |
+
"bnjvkn": 953,
|
| 1013 |
+
"bnjvln": 954,
|
| 1014 |
+
"bnjvmn": 955,
|
| 1015 |
+
"bnjvnn": 956,
|
| 1016 |
+
"bnjvon-": 957,
|
| 1017 |
+
"bnjvpn": 958,
|
| 1018 |
+
"bnjvqn": 959,
|
| 1019 |
+
"bnjvrn": 960,
|
| 1020 |
+
"bnjvsn-": 961,
|
| 1021 |
+
"bnjvtn": 962,
|
| 1022 |
+
"bnjvun": 963,
|
| 1023 |
+
"bnjvvn-": 964,
|
| 1024 |
+
"bnjvwn": 965,
|
| 1025 |
+
"bnjvxn": 966,
|
| 1026 |
+
"bnjvyn": 967,
|
| 1027 |
+
"bnjvzn": 968,
|
| 1028 |
+
"bnjva0-": 969,
|
| 1029 |
+
"bnjvb0-": 970,
|
| 1030 |
+
"bnjvc0-": 971,
|
| 1031 |
+
"bnjvd0": 972,
|
| 1032 |
+
"bnjve0": 973,
|
| 1033 |
+
"bnjvf0-": 974,
|
| 1034 |
+
"bnjvg0": 975,
|
| 1035 |
+
"bnjvh0": 976,
|
| 1036 |
+
"bnjvi0": 977,
|
| 1037 |
+
"bnjvj0": 978,
|
| 1038 |
+
"bnjvk0": 979,
|
| 1039 |
+
"bnjvl0": 980,
|
| 1040 |
+
"bnjvm0": 981,
|
| 1041 |
+
"bnjvn0-": 982,
|
| 1042 |
+
"bnjvo0-": 983,
|
| 1043 |
+
"bnjvp0": 984,
|
| 1044 |
+
"bnjvq0": 985,
|
| 1045 |
+
"bnjvr0": 986,
|
| 1046 |
+
"bnjvs0": 987,
|
| 1047 |
+
"bnjvt0": 988,
|
| 1048 |
+
"bnjvu0": 989,
|
| 1049 |
+
"bnjvv0": 990,
|
| 1050 |
+
"bnjvw0": 991,
|
| 1051 |
+
"bnjvx0": 992,
|
| 1052 |
+
"bnjvy0": 993,
|
| 1053 |
+
"bnjvz0": 994,
|
| 1054 |
+
"bnjva1-": 995,
|
| 1055 |
+
"bnjvb1-": 996,
|
| 1056 |
+
"bnjvc1-": 997,
|
| 1057 |
+
"bnjvd1": 998,
|
| 1058 |
+
"bnjve1": 999,
|
| 1059 |
+
"bnjvf1": 1000,
|
| 1060 |
+
"bnjvg1": 1001,
|
| 1061 |
+
"bnjvh1": 1002,
|
| 1062 |
+
"bnjvi1": 1003,
|
| 1063 |
+
"bnjvj1": 1004,
|
| 1064 |
+
"bnjvk1": 1005,
|
| 1065 |
+
"bnjvl1": 1006,
|
| 1066 |
+
"bnjvm1": 1007,
|
| 1067 |
+
"bnjvn1": 1008,
|
| 1068 |
+
"bnjvo1-": 1009,
|
| 1069 |
+
"bnjvp1": 1010,
|
| 1070 |
+
"bnjvq1": 1011,
|
| 1071 |
+
"bnjvr1": 1012,
|
| 1072 |
+
"bnjvs1": 1013,
|
| 1073 |
+
"bnjvt1": 1014,
|
| 1074 |
+
"bnjvu1": 1015,
|
| 1075 |
+
"bnjvv1": 1016,
|
| 1076 |
+
"bnjvw1": 1017,
|
| 1077 |
+
"bnjvx1": 1018,
|
| 1078 |
+
"bnjvy1": 1019,
|
| 1079 |
+
"bnjvz1": 1020,
|
| 1080 |
+
"bnjcAm": 1021,
|
| 1081 |
+
"bnjcBm": 1022,
|
| 1082 |
+
"bnjcCm": 1023,
|
| 1083 |
+
"bnjcDm": 1024,
|
| 1084 |
+
"bnjcEm": 1025,
|
| 1085 |
+
"bnjcFm": 1026,
|
| 1086 |
+
"bnjcGm": 1027,
|
| 1087 |
+
"bnjcHm": 1028,
|
| 1088 |
+
"bnjcIm": 1029,
|
| 1089 |
+
"bnjcJm": 1030,
|
| 1090 |
+
"bnjcKm": 1031,
|
| 1091 |
+
"bnjcLm": 1032,
|
| 1092 |
+
"bnjcMm": 1033,
|
| 1093 |
+
"bnjcNm": 1034,
|
| 1094 |
+
"bnjcOm": 1035,
|
| 1095 |
+
"bnjcPm": 1036,
|
| 1096 |
+
"bnjcQm": 1037,
|
| 1097 |
+
"bnjcRm": 1038,
|
| 1098 |
+
"bnjcSm": 1039,
|
| 1099 |
+
"bnjcTm": 1040,
|
| 1100 |
+
"bnjcUm": 1041,
|
| 1101 |
+
"bnjcVm": 1042,
|
| 1102 |
+
"bnjcWm": 1043,
|
| 1103 |
+
"bnjcXm": 1044,
|
| 1104 |
+
"bnjcYm": 1045,
|
| 1105 |
+
"bnjcZm": 1046,
|
| 1106 |
+
"bnjcAn": 1047,
|
| 1107 |
+
"bnjcBn": 1048,
|
| 1108 |
+
"bnjcCn": 1049,
|
| 1109 |
+
"bnjcDn": 1050,
|
| 1110 |
+
"bnjcEn": 1051,
|
| 1111 |
+
"bnjcFn": 1052,
|
| 1112 |
+
"bnjcGn": 1053,
|
| 1113 |
+
"bnjcHn": 1054,
|
| 1114 |
+
"bnjcIn": 1055,
|
| 1115 |
+
"bnjcJn": 1056,
|
| 1116 |
+
"bnjcKn": 1057,
|
| 1117 |
+
"bnjcLn": 1058,
|
| 1118 |
+
"bnjcMn": 1059,
|
| 1119 |
+
"bnjcNn": 1060,
|
| 1120 |
+
"bnjcOn": 1061,
|
| 1121 |
+
"bnjcPn": 1062,
|
| 1122 |
+
"bnjcQn": 1063,
|
| 1123 |
+
"bnjcRn": 1064,
|
| 1124 |
+
"bnjcSn": 1065,
|
| 1125 |
+
"bnjcTn": 1066,
|
| 1126 |
+
"bnjcUn": 1067,
|
| 1127 |
+
"bnjcVn": 1068,
|
| 1128 |
+
"bnjcWn": 1069,
|
| 1129 |
+
"bnjcXn": 1070,
|
| 1130 |
+
"bnjcYn": 1071,
|
| 1131 |
+
"bnjcZn": 1072,
|
| 1132 |
+
"bnjcA0": 1073,
|
| 1133 |
+
"bnjcB0": 1074,
|
| 1134 |
+
"bnjcC0": 1075,
|
| 1135 |
+
"bnjcD0": 1076,
|
| 1136 |
+
"bnjcE0": 1077,
|
| 1137 |
+
"bnjcF0": 1078,
|
| 1138 |
+
"bnjcG0": 1079,
|
| 1139 |
+
"bnjcH0": 1080,
|
| 1140 |
+
"bnjcI0": 1081,
|
| 1141 |
+
"bnjcJ0": 1082,
|
| 1142 |
+
"bnjcK0": 1083,
|
| 1143 |
+
"bnjcL0": 1084,
|
| 1144 |
+
"bnjcM0": 1085,
|
| 1145 |
+
"bnjcN0": 1086,
|
| 1146 |
+
"bnjcO0": 1087,
|
| 1147 |
+
"bnjcP0": 1088,
|
| 1148 |
+
"bnjcQ0": 1089,
|
| 1149 |
+
"bnjcR0": 1090,
|
| 1150 |
+
"bnjcS0": 1091,
|
| 1151 |
+
"bnjcT0": 1092,
|
| 1152 |
+
"bnjcU0": 1093,
|
| 1153 |
+
"bnjcV0": 1094,
|
| 1154 |
+
"bnjcW0": 1095,
|
| 1155 |
+
"bnjcX0": 1096,
|
| 1156 |
+
"bnjcY0": 1097,
|
| 1157 |
+
"bnjcZ0": 1098,
|
| 1158 |
+
"bnjcA1": 1099,
|
| 1159 |
+
"bnjcB1": 1100,
|
| 1160 |
+
"bnjcC1": 1101,
|
| 1161 |
+
"bnjcD1": 1102,
|
| 1162 |
+
"bnjcE1": 1103,
|
| 1163 |
+
"bnjcF1": 1104,
|
| 1164 |
+
"bnjcG1": 1105,
|
| 1165 |
+
"bnjcH1": 1106,
|
| 1166 |
+
"bnjcI1": 1107,
|
| 1167 |
+
"bnjcJ1": 1108,
|
| 1168 |
+
"bnjcK1": 1109,
|
| 1169 |
+
"bnjcL1": 1110,
|
| 1170 |
+
"bnjcM1": 1111,
|
| 1171 |
+
"bnjcN1": 1112,
|
| 1172 |
+
"bnjcO1-": 1113,
|
| 1173 |
+
"bnjcP1": 1114,
|
| 1174 |
+
"bnjcQ1": 1115,
|
| 1175 |
+
"bnjcR1-": 1116,
|
| 1176 |
+
"bnjcS1": 1117,
|
| 1177 |
+
"bnjcT1": 1118,
|
| 1178 |
+
"bnjcU1": 1119,
|
| 1179 |
+
"bnjcV1": 1120,
|
| 1180 |
+
"bnjcW1": 1121,
|
| 1181 |
+
"bnjcX1": 1122,
|
| 1182 |
+
"bnjcY1": 1123,
|
| 1183 |
+
"bnjcZ1": 1124,
|
| 1184 |
+
"cacycgr": 1125,
|
| 1185 |
+
"cretr": 1126,
|
| 1186 |
+
"cpconn": 1127,
|
| 1187 |
+
"csconn": 1128,
|
| 1188 |
+
"ccvm": 1129,
|
| 1189 |
+
"cgoe": 1130,
|
| 1190 |
+
"cgna": 1131,
|
| 1191 |
+
"csat": 1132,
|
| 1192 |
+
"cfmla": 1133,
|
| 1193 |
+
"csate": 1134,
|
| 1194 |
+
"cprv": 1135,
|
| 1195 |
+
"cgoa": 1136,
|
| 1196 |
+
"cgoi": 1137,
|
| 1197 |
+
"cgoo": 1138,
|
| 1198 |
+
"cgob": 1139,
|
| 1199 |
+
"cgoq": 1140,
|
| 1200 |
+
"cgze": 1141,
|
| 1201 |
+
"cgzr": 1142,
|
| 1202 |
+
"cgzp": 1143,
|
| 1203 |
+
"cgzu": 1144,
|
| 1204 |
+
"cgzg": 1145,
|
| 1205 |
+
"cgzi": 1146,
|
| 1206 |
+
"cgzf": 1147,
|
| 1207 |
+
"cmcn": 1148,
|
| 1208 |
+
"cmvar": 1149,
|
| 1209 |
+
"cmty": 1150,
|
| 1210 |
+
"cmvt": 1151,
|
| 1211 |
+
"cmtc": 1152,
|
| 1212 |
+
"cmax": 1153,
|
| 1213 |
+
"cmrex": 1154,
|
| 1214 |
+
"cmex": 1155,
|
| 1215 |
+
"cmdv": 1156,
|
| 1216 |
+
"cmvrs": 1157,
|
| 1217 |
+
"cmrsub": 1158,
|
| 1218 |
+
"cmsub": 1159,
|
| 1219 |
+
"cmvh": 1160,
|
| 1220 |
+
"cmpst": 1161,
|
| 1221 |
+
"cmsr": 1162,
|
| 1222 |
+
"cmsta": 1163,
|
| 1223 |
+
"cmfs": 1164,
|
| 1224 |
+
"cmcls": 1165,
|
| 1225 |
+
"cmpps": 1166,
|
| 1226 |
+
"cmthm": 1167,
|
| 1227 |
+
"cm0s": 1168,
|
| 1228 |
+
"cmsa": 1169,
|
| 1229 |
+
"cmwgfs": 1170,
|
| 1230 |
+
"cmsy": 1171,
|
| 1231 |
+
"cmesy": 1172,
|
| 1232 |
+
"cmgfs": 1173,
|
| 1233 |
+
"cmtree": 1174,
|
| 1234 |
+
"cmst": 1175,
|
| 1235 |
+
"cmsax": 1176,
|
| 1236 |
+
"cmufs": 1177,
|
| 1237 |
+
"cmuv": 1178,
|
| 1238 |
+
"cmvl": 1179,
|
| 1239 |
+
"cmvsb": 1180,
|
| 1240 |
+
"cmfsh": 1181,
|
| 1241 |
+
"cmfr": 1182,
|
| 1242 |
+
"cmevl": 1183,
|
| 1243 |
+
"cmdl": 1184,
|
| 1244 |
+
"cusyn": 1185,
|
| 1245 |
+
"cgmdl": 1186,
|
| 1246 |
+
"cmitp": 1187,
|
| 1247 |
+
"cmfitp": 1188,
|
| 1248 |
+
"citr": 1189,
|
| 1249 |
+
"ccpms": 1190,
|
| 1250 |
+
"chlb": 1191,
|
| 1251 |
+
"chlim": 1192,
|
| 1252 |
+
"cpfl": 1193,
|
| 1253 |
+
"csf1": 1194,
|
| 1254 |
+
"csf": 1195,
|
| 1255 |
+
"cpsl": 1196,
|
| 1256 |
+
"czr": 1197,
|
| 1257 |
+
"cgf": 1198,
|
| 1258 |
+
"cgfo": 1199,
|
| 1259 |
+
"ceqp": 1200,
|
| 1260 |
+
"crqp": 1201,
|
| 1261 |
+
"cqp": 1202,
|
| 1262 |
+
"czp": 1203,
|
| 1263 |
+
"cqpa": 1204,
|
| 1264 |
+
"ccp": 1205,
|
| 1265 |
+
"walpha": 1206,
|
| 1266 |
+
"vxo": 1207,
|
| 1267 |
+
"vxl": 1208,
|
| 1268 |
+
"vxr": 1209,
|
| 1269 |
+
"vyo": 1210,
|
| 1270 |
+
"vyl": 1211,
|
| 1271 |
+
"vyr": 1212,
|
| 1272 |
+
"cnadd": 1213,
|
| 1273 |
+
"csur": 1214,
|
| 1274 |
+
"cslt": 1215,
|
| 1275 |
+
"cbday": 1216,
|
| 1276 |
+
"csle": 1217,
|
| 1277 |
+
"csslt": 1218,
|
| 1278 |
+
"cscut": 1219,
|
| 1279 |
+
"c0s": 1220,
|
| 1280 |
+
"c1s": 1221,
|
| 1281 |
+
"cmade": 1222,
|
| 1282 |
+
"cold": 1223,
|
| 1283 |
+
"cnew": 1224,
|
| 1284 |
+
"cleft": 1225,
|
| 1285 |
+
"cright": 1226,
|
| 1286 |
+
"cadds": 1227,
|
| 1287 |
+
"cnegs": 1228,
|
| 1288 |
+
"csubs": 1229,
|
| 1289 |
+
"csset": 1230,
|
| 1290 |
+
"ctrans": 1231,
|
| 1291 |
+
"cbigcup": 1232,
|
| 1292 |
+
"climits": 1233,
|
| 1293 |
+
"cfuns": 1234,
|
| 1294 |
+
"csingle": 1235,
|
| 1295 |
+
"csingles": 1236,
|
| 1296 |
+
"ccart": 1237,
|
| 1297 |
+
"cimg": 1238,
|
| 1298 |
+
"cdomain": 1239,
|
| 1299 |
+
"crange": 1240,
|
| 1300 |
+
"capply": 1241,
|
| 1301 |
+
"ccup": 1242,
|
| 1302 |
+
"ccap": 1243,
|
| 1303 |
+
"csuccf": 1244,
|
| 1304 |
+
"crestrict": 1245,
|
| 1305 |
+
"cofs": 1246,
|
| 1306 |
+
"ctransport": 1247,
|
| 1307 |
+
"cifs": 1248,
|
| 1308 |
+
"ccgr3": 1249,
|
| 1309 |
+
"ccolin": 1250,
|
| 1310 |
+
"cfs": 1251,
|
| 1311 |
+
"csegle": 1252,
|
| 1312 |
+
"coutsideof": 1253,
|
| 1313 |
+
"cline2": 1254,
|
| 1314 |
+
"cray": 1255,
|
| 1315 |
+
"clines2": 1256,
|
| 1316 |
+
"cfwddif": 1257,
|
| 1317 |
+
"cfwddifn": 1258,
|
| 1318 |
+
"chf": 1259,
|
| 1319 |
+
"cfne": 1260,
|
| 1320 |
+
"celwise": 1261,
|
| 1321 |
+
"cmoore": 1262,
|
| 1322 |
+
"csethom": 1263,
|
| 1323 |
+
"ctophom": 1264,
|
| 1324 |
+
"cmgmhom": 1265,
|
| 1325 |
+
"ctopmgmhom": 1266,
|
| 1326 |
+
"ccur-": 1267,
|
| 1327 |
+
"cunc-": 1268,
|
| 1328 |
+
"cdiag2": 1269,
|
| 1329 |
+
"cimdir": 1270,
|
| 1330 |
+
"ciminv": 1271,
|
| 1331 |
+
"cfractemp": 1272,
|
| 1332 |
+
"cinftyexpitau": 1273,
|
| 1333 |
+
"cccinftyN": 1274,
|
| 1334 |
+
"chalf": 1275,
|
| 1335 |
+
"cinftyexpi": 1276,
|
| 1336 |
+
"cccinfty": 1277,
|
| 1337 |
+
"cccbar": 1278,
|
| 1338 |
+
"cpinfty": 1279,
|
| 1339 |
+
"cminfty": 1280,
|
| 1340 |
+
"crrbar": 1281,
|
| 1341 |
+
"cinfty": 1282,
|
| 1342 |
+
"ccchat": 1283,
|
| 1343 |
+
"crrhat": 1284,
|
| 1344 |
+
"caddcc": 1285,
|
| 1345 |
+
"coppcc": 1286,
|
| 1346 |
+
"cltxr": 1287,
|
| 1347 |
+
"carg": 1288,
|
| 1348 |
+
"cmulc": 1289,
|
| 1349 |
+
"cinvc": 1290,
|
| 1350 |
+
"ciomnn": 1291,
|
| 1351 |
+
"cnnbar": 1292,
|
| 1352 |
+
"czzbar": 1293,
|
| 1353 |
+
"czzhat": 1294,
|
| 1354 |
+
"cdivc": 1295,
|
| 1355 |
+
"cfinsum": 1296,
|
| 1356 |
+
"crrvec": 1297,
|
| 1357 |
+
"cend": 1298,
|
| 1358 |
+
"ctotbnd": 1299,
|
| 1359 |
+
"cbnd": 1300,
|
| 1360 |
+
"cismty": 1301,
|
| 1361 |
+
"crrn": 1302,
|
| 1362 |
+
"cass": 1303,
|
| 1363 |
+
"cexid": 1304,
|
| 1364 |
+
"cmagm": 1305,
|
| 1365 |
+
"csem": 1306,
|
| 1366 |
+
"cmndo": 1307,
|
| 1367 |
+
"cghomOLD": 1308,
|
| 1368 |
+
"crngo": 1309,
|
| 1369 |
+
"cdrng": 1310,
|
| 1370 |
+
"crnghom": 1311,
|
| 1371 |
+
"crngiso": 1312,
|
| 1372 |
+
"crisc": 1313,
|
| 1373 |
+
"ccm2": 1314,
|
| 1374 |
+
"cfld": 1315,
|
| 1375 |
+
"ccring": 1316,
|
| 1376 |
+
"cidl": 1317,
|
| 1377 |
+
"cpridl": 1318,
|
| 1378 |
+
"cmaxidl": 1319,
|
| 1379 |
+
"cprrng": 1320,
|
| 1380 |
+
"cdmn": 1321,
|
| 1381 |
+
"cigen": 1322,
|
| 1382 |
+
"crels": 1323,
|
| 1383 |
+
"cssr": 1324,
|
| 1384 |
+
"crefs": 1325,
|
| 1385 |
+
"crefrels": 1326,
|
| 1386 |
+
"ccnvrefs": 1327,
|
| 1387 |
+
"ccnvrefrels": 1328,
|
| 1388 |
+
"csyms": 1329,
|
| 1389 |
+
"csymrels": 1330,
|
| 1390 |
+
"ctrs": 1331,
|
| 1391 |
+
"ctrrels": 1332,
|
| 1392 |
+
"ceqvrels": 1333,
|
| 1393 |
+
"ccoeleqvrels": 1334,
|
| 1394 |
+
"credunds": 1335,
|
| 1395 |
+
"cdmqss": 1336,
|
| 1396 |
+
"cers": 1337,
|
| 1397 |
+
"cmembers": 1338,
|
| 1398 |
+
"cfunss": 1339,
|
| 1399 |
+
"cfunsALTV": 1340,
|
| 1400 |
+
"cdisjss": 1341,
|
| 1401 |
+
"cdisjs": 1342,
|
| 1402 |
+
"celdisjs": 1343,
|
| 1403 |
+
"clsa": 1344,
|
| 1404 |
+
"clsh": 1345,
|
| 1405 |
+
"clcv": 1346,
|
| 1406 |
+
"clfn": 1347,
|
| 1407 |
+
"clk": 1348,
|
| 1408 |
+
"cld": 1349,
|
| 1409 |
+
"cops": 1350,
|
| 1410 |
+
"ccmtN": 1351,
|
| 1411 |
+
"col": 1352,
|
| 1412 |
+
"coml": 1353,
|
| 1413 |
+
"ccvr": 1354,
|
| 1414 |
+
"catm": 1355,
|
| 1415 |
+
"cal": 1356,
|
| 1416 |
+
"clc": 1357,
|
| 1417 |
+
"chlt": 1358,
|
| 1418 |
+
"clln": 1359,
|
| 1419 |
+
"clpl": 1360,
|
| 1420 |
+
"clvol": 1361,
|
| 1421 |
+
"clines": 1362,
|
| 1422 |
+
"cpointsN": 1363,
|
| 1423 |
+
"cpsubsp": 1364,
|
| 1424 |
+
"cpmap": 1365,
|
| 1425 |
+
"cpadd": 1366,
|
| 1426 |
+
"cpclN": 1367,
|
| 1427 |
+
"cpolN": 1368,
|
| 1428 |
+
"cpscN": 1369,
|
| 1429 |
+
"clh": 1370,
|
| 1430 |
+
"claut": 1371,
|
| 1431 |
+
"cwpointsN": 1372,
|
| 1432 |
+
"cpautN": 1373,
|
| 1433 |
+
"cldil": 1374,
|
| 1434 |
+
"cltrn": 1375,
|
| 1435 |
+
"cdilN": 1376,
|
| 1436 |
+
"ctrnN": 1377,
|
| 1437 |
+
"ctrl": 1378,
|
| 1438 |
+
"ctgrp": 1379,
|
| 1439 |
+
"ctendo": 1380,
|
| 1440 |
+
"cedring": 1381,
|
| 1441 |
+
"cedring-rN": 1382,
|
| 1442 |
+
"cdveca": 1383,
|
| 1443 |
+
"cdia": 1384,
|
| 1444 |
+
"cdvh": 1385,
|
| 1445 |
+
"cocaN": 1386,
|
| 1446 |
+
"cdjaN": 1387,
|
| 1447 |
+
"cdib": 1388,
|
| 1448 |
+
"cdic": 1389,
|
| 1449 |
+
"cdih": 1390,
|
| 1450 |
+
"coch": 1391,
|
| 1451 |
+
"cdjh": 1392,
|
| 1452 |
+
"clpoN": 1393,
|
| 1453 |
+
"clcd": 1394,
|
| 1454 |
+
"cmpd": 1395,
|
| 1455 |
+
"chvm": 1396,
|
| 1456 |
+
"chdma1": 1397,
|
| 1457 |
+
"chdma": 1398,
|
| 1458 |
+
"chg": 1399,
|
| 1459 |
+
"chlh": 1400,
|
| 1460 |
+
"cresub": 1401,
|
| 1461 |
+
"cprjsp": 1402,
|
| 1462 |
+
"cprjspn": 1403,
|
| 1463 |
+
"cnacs": 1404,
|
| 1464 |
+
"cmzpcl": 1405,
|
| 1465 |
+
"cmzp": 1406,
|
| 1466 |
+
"cdioph": 1407,
|
| 1467 |
+
"csquarenn": 1408,
|
| 1468 |
+
"cpell1qr": 1409,
|
| 1469 |
+
"cpell1234qr": 1410,
|
| 1470 |
+
"cpell14qr": 1411,
|
| 1471 |
+
"cpellfund": 1412,
|
| 1472 |
+
"crmx": 1413,
|
| 1473 |
+
"crmy": 1414,
|
| 1474 |
+
"clfig": 1415,
|
| 1475 |
+
"clnm": 1416,
|
| 1476 |
+
"clnr": 1417,
|
| 1477 |
+
"cldgis": 1418,
|
| 1478 |
+
"cmnc": 1419,
|
| 1479 |
+
"cplylt": 1420,
|
| 1480 |
+
"cdgraa": 1421,
|
| 1481 |
+
"cmpaa": 1422,
|
| 1482 |
+
"citgo": 1423,
|
| 1483 |
+
"cza": 1424,
|
| 1484 |
+
"cmend": 1425,
|
| 1485 |
+
"ccytp": 1426,
|
| 1486 |
+
"ctopsep": 1427,
|
| 1487 |
+
"ctoplnd": 1428,
|
| 1488 |
+
"crcl": 1429,
|
| 1489 |
+
"cmnring": 1430,
|
| 1490 |
+
"cbcc": 1431,
|
| 1491 |
+
"cplusr": 1432,
|
| 1492 |
+
"cminusr": 1433,
|
| 1493 |
+
"ctimesr": 1434,
|
| 1494 |
+
"crr3c": 1435,
|
| 1495 |
+
"cline3": 1436,
|
| 1496 |
+
"clsi": 1437,
|
| 1497 |
+
"clsxlim": 1438,
|
| 1498 |
+
"csalg": 1439,
|
| 1499 |
+
"csalon": 1440,
|
| 1500 |
+
"csalgen": 1441,
|
| 1501 |
+
"csumge0": 1442,
|
| 1502 |
+
"cmea": 1443,
|
| 1503 |
+
"come": 1444,
|
| 1504 |
+
"ccaragen": 1445,
|
| 1505 |
+
"covoln": 1446,
|
| 1506 |
+
"cvoln": 1447,
|
| 1507 |
+
"csmblfn": 1448,
|
| 1508 |
+
"wjph": 1449,
|
| 1509 |
+
"wjps": 1450,
|
| 1510 |
+
"wjch": 1451,
|
| 1511 |
+
"wjth": 1452,
|
| 1512 |
+
"wjta": 1453,
|
| 1513 |
+
"wjet": 1454,
|
| 1514 |
+
"wjze": 1455,
|
| 1515 |
+
"wjsi": 1456,
|
| 1516 |
+
"wjrh": 1457,
|
| 1517 |
+
"wjmu": 1458,
|
| 1518 |
+
"wjla": 1459,
|
| 1519 |
+
"cnelbr": 1460,
|
| 1520 |
+
"ciccp": 1461,
|
| 1521 |
+
"cspr": 1462,
|
| 1522 |
+
"cprpr": 1463,
|
| 1523 |
+
"cfmtno": 1464,
|
| 1524 |
+
"ceven": 1465,
|
| 1525 |
+
"codd": 1466,
|
| 1526 |
+
"cfppr": 1467,
|
| 1527 |
+
"cgbe": 1468,
|
| 1528 |
+
"cgbow": 1469,
|
| 1529 |
+
"cgbo": 1470,
|
| 1530 |
+
"cgrisom": 1471,
|
| 1531 |
+
"cisomgr": 1472,
|
| 1532 |
+
"cupwlks": 1473,
|
| 1533 |
+
"cmgmhm": 1474,
|
| 1534 |
+
"csubmgm": 1475,
|
| 1535 |
+
"ccllaw": 1476,
|
| 1536 |
+
"casslaw": 1477,
|
| 1537 |
+
"ccomlaw": 1478,
|
| 1538 |
+
"cintop": 1479,
|
| 1539 |
+
"cclintop": 1480,
|
| 1540 |
+
"cassintop": 1481,
|
| 1541 |
+
"cmgm2": 1482,
|
| 1542 |
+
"ccmgm2": 1483,
|
| 1543 |
+
"csgrp2": 1484,
|
| 1544 |
+
"ccsgrp2": 1485,
|
| 1545 |
+
"crng": 1486,
|
| 1546 |
+
"crngh": 1487,
|
| 1547 |
+
"crngs": 1488,
|
| 1548 |
+
"crngc": 1489,
|
| 1549 |
+
"crngcALTV": 1490,
|
| 1550 |
+
"cringc": 1491,
|
| 1551 |
+
"cringcALTV": 1492,
|
| 1552 |
+
"cdmatalt": 1493,
|
| 1553 |
+
"cscmatalt": 1494,
|
| 1554 |
+
"clinc": 1495,
|
| 1555 |
+
"clinco": 1496,
|
| 1556 |
+
"clininds": 1497,
|
| 1557 |
+
"clindeps": 1498,
|
| 1558 |
+
"cfdiv": 1499,
|
| 1559 |
+
"cbigo": 1500,
|
| 1560 |
+
"cblen": 1501,
|
| 1561 |
+
"cdig": 1502,
|
| 1562 |
+
"cnaryf": 1503,
|
| 1563 |
+
"citco": 1504,
|
| 1564 |
+
"cack": 1505,
|
| 1565 |
+
"cline": 1506,
|
| 1566 |
+
"csph": 1507,
|
| 1567 |
+
"cthinc": 1508,
|
| 1568 |
+
"cprstc": 1509,
|
| 1569 |
+
"cmndtc": 1510,
|
| 1570 |
+
"cpg": 1511,
|
| 1571 |
+
"cge-real": 1512,
|
| 1572 |
+
"cgt": 1513,
|
| 1573 |
+
"csinh": 1514,
|
| 1574 |
+
"ccosh": 1515,
|
| 1575 |
+
"ctanh": 1516,
|
| 1576 |
+
"csec": 1517,
|
| 1577 |
+
"ccsc": 1518,
|
| 1578 |
+
"ccot": 1519,
|
| 1579 |
+
"clog-": 1520,
|
| 1580 |
+
"wn": 1521,
|
| 1581 |
+
"cpw": 1522,
|
| 1582 |
+
"cuni": 1523,
|
| 1583 |
+
"cint": 1524,
|
| 1584 |
+
"wtr": 1525,
|
| 1585 |
+
"ccnv": 1526,
|
| 1586 |
+
"cdm": 1527,
|
| 1587 |
+
"crn": 1528,
|
| 1588 |
+
"wrel": 1529,
|
| 1589 |
+
"word": 1530,
|
| 1590 |
+
"wlim": 1531,
|
| 1591 |
+
"csuc": 1532,
|
| 1592 |
+
"wfun": 1533,
|
| 1593 |
+
"cof": 1534,
|
| 1594 |
+
"cofr": 1535,
|
| 1595 |
+
"ctpos": 1536,
|
| 1596 |
+
"ccur": 1537,
|
| 1597 |
+
"cunc": 1538,
|
| 1598 |
+
"wsmo": 1539,
|
| 1599 |
+
"wacn": 1540,
|
| 1600 |
+
"cneg": 1541,
|
| 1601 |
+
"cxne": 1542,
|
| 1602 |
+
"cword": 1543,
|
| 1603 |
+
"cslot": 1544,
|
| 1604 |
+
"clly": 1545,
|
| 1605 |
+
"cnlly": 1546,
|
| 1606 |
+
"ccref": 1547,
|
| 1607 |
+
"cofc": 1548,
|
| 1608 |
+
"corvc": 1549,
|
| 1609 |
+
"cgon": 1550,
|
| 1610 |
+
"cttrcl": 1551,
|
| 1611 |
+
"cfix": 1552,
|
| 1612 |
+
"cimage": 1553,
|
| 1613 |
+
"cfunpart": 1554,
|
| 1614 |
+
"cfullfn": 1555,
|
| 1615 |
+
"cub": 1556,
|
| 1616 |
+
"clb": 1557,
|
| 1617 |
+
"cprvb": 1558,
|
| 1618 |
+
"bj-csngl": 1559,
|
| 1619 |
+
"bj-ctag": 1560,
|
| 1620 |
+
"bj-cpr1": 1561,
|
| 1621 |
+
"bj-cpr2": 1562,
|
| 1622 |
+
"ccoss": 1563,
|
| 1623 |
+
"ccoels": 1564,
|
| 1624 |
+
"wrefrel": 1565,
|
| 1625 |
+
"wcnvrefrel": 1566,
|
| 1626 |
+
"wsymrel": 1567,
|
| 1627 |
+
"wtrrel": 1568,
|
| 1628 |
+
"weqvrel": 1569,
|
| 1629 |
+
"wcoeleqvrel": 1570,
|
| 1630 |
+
"wmember": 1571,
|
| 1631 |
+
"wfunALTV": 1572,
|
| 1632 |
+
"wdisjALTV": 1573,
|
| 1633 |
+
"weldisj": 1574,
|
| 1634 |
+
"wprt": 1575,
|
| 1635 |
+
"cscott": 1576,
|
| 1636 |
+
"wal": 1577,
|
| 1637 |
+
"wceq": 1578,
|
| 1638 |
+
"wex": 1579,
|
| 1639 |
+
"wnf": 1580,
|
| 1640 |
+
"wcel": 1581,
|
| 1641 |
+
"wmo": 1582,
|
| 1642 |
+
"weu": 1583,
|
| 1643 |
+
"wnfc": 1584,
|
| 1644 |
+
"wne": 1585,
|
| 1645 |
+
"wnel": 1586,
|
| 1646 |
+
"wss": 1587,
|
| 1647 |
+
"wpss": 1588,
|
| 1648 |
+
"csn": 1589,
|
| 1649 |
+
"wbr": 1590,
|
| 1650 |
+
"wpo": 1591,
|
| 1651 |
+
"wor": 1592,
|
| 1652 |
+
"wfr": 1593,
|
| 1653 |
+
"wse": 1594,
|
| 1654 |
+
"wwe": 1595,
|
| 1655 |
+
"wfn": 1596,
|
| 1656 |
+
"wer": 1597,
|
| 1657 |
+
"cdc": 1598,
|
| 1658 |
+
"cs1": 1599,
|
| 1659 |
+
"cdp2": 1600,
|
| 1660 |
+
"w-bnj13": 1601,
|
| 1661 |
+
"w-bnj15": 1602,
|
| 1662 |
+
"cgol": 1603,
|
| 1663 |
+
"cgox": 1604,
|
| 1664 |
+
"wmoo": 1605,
|
| 1665 |
+
"wnnf": 1606,
|
| 1666 |
+
"bj-c1upl": 1607,
|
| 1667 |
+
"wdmqs": 1608,
|
| 1668 |
+
"werALTV": 1609,
|
| 1669 |
+
"whe": 1610,
|
| 1670 |
+
"wdfat": 1611,
|
| 1671 |
+
"wreflexive": 1612,
|
| 1672 |
+
"wirreflexive": 1613,
|
| 1673 |
+
"crecs": 1614,
|
| 1674 |
+
"cec": 1615,
|
| 1675 |
+
"cs2": 1616,
|
| 1676 |
+
"cnorec": 1617,
|
| 1677 |
+
"cnorec2": 1618,
|
| 1678 |
+
"csetrecs": 1619,
|
| 1679 |
+
"wi": 1620,
|
| 1680 |
+
"wb": 1621,
|
| 1681 |
+
"wa": 1622,
|
| 1682 |
+
"wo": 1623,
|
| 1683 |
+
"wnan": 1624,
|
| 1684 |
+
"wxo": 1625,
|
| 1685 |
+
"wnor": 1626,
|
| 1686 |
+
"cab": 1627,
|
| 1687 |
+
"wral": 1628,
|
| 1688 |
+
"wrex": 1629,
|
| 1689 |
+
"wreu": 1630,
|
| 1690 |
+
"wrmo": 1631,
|
| 1691 |
+
"cdif": 1632,
|
| 1692 |
+
"cun": 1633,
|
| 1693 |
+
"cin": 1634,
|
| 1694 |
+
"csymdif": 1635,
|
| 1695 |
+
"cpr": 1636,
|
| 1696 |
+
"cop": 1637,
|
| 1697 |
+
"ciun": 1638,
|
| 1698 |
+
"ciin": 1639,
|
| 1699 |
+
"wdisj": 1640,
|
| 1700 |
+
"cxp": 1641,
|
| 1701 |
+
"cres": 1642,
|
| 1702 |
+
"cima": 1643,
|
| 1703 |
+
"ccom": 1644,
|
| 1704 |
+
"cio": 1645,
|
| 1705 |
+
"wf": 1646,
|
| 1706 |
+
"wf1": 1647,
|
| 1707 |
+
"wfo": 1648,
|
| 1708 |
+
"wf1o": 1649,
|
| 1709 |
+
"cfv": 1650,
|
| 1710 |
+
"co": 1651,
|
| 1711 |
+
"cqs": 1652,
|
| 1712 |
+
"cixp": 1653,
|
| 1713 |
+
"cdju": 1654,
|
| 1714 |
+
"cs3": 1655,
|
| 1715 |
+
"csu": 1656,
|
| 1716 |
+
"cprod": 1657,
|
| 1717 |
+
"citg": 1658,
|
| 1718 |
+
"cesum": 1659,
|
| 1719 |
+
"ctxp": 1660,
|
| 1720 |
+
"caltop": 1661,
|
| 1721 |
+
"caltxp": 1662,
|
| 1722 |
+
"wrnf": 1663,
|
| 1723 |
+
"bj-cproj": 1664,
|
| 1724 |
+
"bj-c2uple": 1665,
|
| 1725 |
+
"cfinxp": 1666,
|
| 1726 |
+
"cxrn": 1667,
|
| 1727 |
+
"ccoll": 1668,
|
| 1728 |
+
"wvd1": 1669,
|
| 1729 |
+
"wvhc2": 1670,
|
| 1730 |
+
"caiota": 1671,
|
| 1731 |
+
"cafv": 1672,
|
| 1732 |
+
"caov": 1673,
|
| 1733 |
+
"cafv2": 1674,
|
| 1734 |
+
"walsc": 1675,
|
| 1735 |
+
"wsb": 1676,
|
| 1736 |
+
"wsbc": 1677,
|
| 1737 |
+
"csb": 1678,
|
| 1738 |
+
"crdg": 1679,
|
| 1739 |
+
"cseqom": 1680,
|
| 1740 |
+
"coi": 1681,
|
| 1741 |
+
"cs4": 1682,
|
| 1742 |
+
"cwlim": 1683,
|
| 1743 |
+
"cpprod": 1684,
|
| 1744 |
+
"cgcdOLD": 1685,
|
| 1745 |
+
"cstrset": 1686,
|
| 1746 |
+
"cptdfc": 1687,
|
| 1747 |
+
"wich": 1688,
|
| 1748 |
+
"w3o": 1689,
|
| 1749 |
+
"w3a": 1690,
|
| 1750 |
+
"crab": 1691,
|
| 1751 |
+
"ctp": 1692,
|
| 1752 |
+
"cotp": 1693,
|
| 1753 |
+
"cmpt": 1694,
|
| 1754 |
+
"crio": 1695,
|
| 1755 |
+
"cseq": 1696,
|
| 1756 |
+
"cs5": 1697,
|
| 1757 |
+
"w3nand": 1698,
|
| 1758 |
+
"bj-cgab": 1699,
|
| 1759 |
+
"wredund": 1700,
|
| 1760 |
+
"wvd2": 1701,
|
| 1761 |
+
"wvhc3": 1702,
|
| 1762 |
+
"walsi": 1703,
|
| 1763 |
+
"wif": 1704,
|
| 1764 |
+
"whad": 1705,
|
| 1765 |
+
"wcad": 1706,
|
| 1766 |
+
"wcdeq": 1707,
|
| 1767 |
+
"cif": 1708,
|
| 1768 |
+
"cpred": 1709,
|
| 1769 |
+
"cfrecs": 1710,
|
| 1770 |
+
"cwrecs": 1711,
|
| 1771 |
+
"csup": 1712,
|
| 1772 |
+
"cinf": 1713,
|
| 1773 |
+
"ctrpred": 1714,
|
| 1774 |
+
"cs6": 1715,
|
| 1775 |
+
"c-bnj14": 1716,
|
| 1776 |
+
"c-bnj18": 1717,
|
| 1777 |
+
"w-bnj19": 1718,
|
| 1778 |
+
"cwsuc": 1719,
|
| 1779 |
+
"wredundp": 1720,
|
| 1780 |
+
"copab": 1721,
|
| 1781 |
+
"cs7": 1722,
|
| 1782 |
+
"cdit": 1723,
|
| 1783 |
+
"w2reu": 1724,
|
| 1784 |
+
"w-bnj17": 1725,
|
| 1785 |
+
"wvd3": 1726,
|
| 1786 |
+
"wiso": 1727,
|
| 1787 |
+
"cs8": 1728,
|
| 1788 |
+
"cmpo": 1729,
|
| 1789 |
+
"coprab": 1730,
|
| 1790 |
+
"cmpt3": 1731
|
| 1791 |
+
}
|
| 1792 |
+
}
|
| 1793 |
+
}
|
tokenizer_config.json
ADDED
|
@@ -0,0 +1,43 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
{
|
| 2 |
+
"added_tokens_decoder": {
|
| 3 |
+
"0": {
|
| 4 |
+
"content": "<pad>",
|
| 5 |
+
"lstrip": false,
|
| 6 |
+
"normalized": false,
|
| 7 |
+
"rstrip": false,
|
| 8 |
+
"single_word": false,
|
| 9 |
+
"special": true
|
| 10 |
+
},
|
| 11 |
+
"1": {
|
| 12 |
+
"content": "<s>",
|
| 13 |
+
"lstrip": false,
|
| 14 |
+
"normalized": false,
|
| 15 |
+
"rstrip": false,
|
| 16 |
+
"single_word": false,
|
| 17 |
+
"special": true
|
| 18 |
+
},
|
| 19 |
+
"2": {
|
| 20 |
+
"content": "</s>",
|
| 21 |
+
"lstrip": false,
|
| 22 |
+
"normalized": false,
|
| 23 |
+
"rstrip": false,
|
| 24 |
+
"single_word": false,
|
| 25 |
+
"special": true
|
| 26 |
+
},
|
| 27 |
+
"3": {
|
| 28 |
+
"content": "<unk>",
|
| 29 |
+
"lstrip": false,
|
| 30 |
+
"normalized": false,
|
| 31 |
+
"rstrip": false,
|
| 32 |
+
"single_word": false,
|
| 33 |
+
"special": true
|
| 34 |
+
}
|
| 35 |
+
},
|
| 36 |
+
"bos_token": "<s>",
|
| 37 |
+
"clean_up_tokenization_spaces": true,
|
| 38 |
+
"eos_token": "</s>",
|
| 39 |
+
"model_max_length": 1000000000000000019884624838656,
|
| 40 |
+
"pad_token": "<pad>",
|
| 41 |
+
"tokenizer_class": "PreTrainedTokenizerFast",
|
| 42 |
+
"unk_token": "<unk>"
|
| 43 |
+
}
|