crvrfr commited on
Commit
f1b58d3
·
verified ·
1 Parent(s): 3860c3e

Chess Challenge submission by crvrfr

Browse files
Files changed (7) hide show
  1. README.md +26 -0
  2. config.json +20 -0
  3. model.safetensors +3 -0
  4. special_tokens_map.json +6 -0
  5. tokenizer.py +278 -0
  6. tokenizer_config.json +44 -0
  7. vocab.json +2030 -0
README.md ADDED
@@ -0,0 +1,26 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ ---
2
+ library_name: transformers
3
+ tags:
4
+ - chess
5
+ - llm-course
6
+ - chess-challenge
7
+ license: mit
8
+ ---
9
+
10
+ # chess_42iq
11
+
12
+ Chess model submitted to the LLM Course Chess Challenge.
13
+
14
+ ## Submission Info
15
+
16
+ - **Submitted by**: [crvrfr](https://huggingface.co/crvrfr)
17
+ - **Parameters**: 954,112
18
+ - **Organization**: LLM-course
19
+
20
+ ## Model Details
21
+
22
+ - **Architecture**: Chess Transformer (GPT-style)
23
+ - **Vocab size**: 2028
24
+ - **Embedding dim**: 128
25
+ - **Layers**: 4
26
+ - **Heads**: 4
config.json ADDED
@@ -0,0 +1,20 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "architectures": [
3
+ "ChessForCausalLM"
4
+ ],
5
+ "bos_token_id": 1,
6
+ "dropout": 0.1,
7
+ "dtype": "float32",
8
+ "eos_token_id": 2,
9
+ "layer_norm_epsilon": 1e-05,
10
+ "model_type": "chess_transformer",
11
+ "n_ctx": 256,
12
+ "n_embd": 128,
13
+ "n_head": 4,
14
+ "n_inner": 384,
15
+ "n_layer": 4,
16
+ "pad_token_id": 0,
17
+ "tie_weights": true,
18
+ "transformers_version": "4.57.0",
19
+ "vocab_size": 2028
20
+ }
model.safetensors ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:c25ef4950b924941e06f91215051531da3eae1dd0b8cda86735f65c0e4236c95
3
+ size 3820848
special_tokens_map.json ADDED
@@ -0,0 +1,6 @@
 
 
 
 
 
 
 
1
+ {
2
+ "bos_token": "[BOS]",
3
+ "eos_token": "[EOS]",
4
+ "pad_token": "[PAD]",
5
+ "unk_token": "[UNK]"
6
+ }
tokenizer.py ADDED
@@ -0,0 +1,278 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ """
2
+ Custom Chess Tokenizer for the Chess Challenge.
3
+
4
+ This tokenizer treats each move as a single token using the extended UCI notation
5
+ from the Lichess dataset (e.g., WPe2e4, BNg8f6).
6
+
7
+ The dataset format uses:
8
+ - W/B prefix for White/Black
9
+ - Piece letter: P=Pawn, N=Knight, B=Bishop, R=Rook, Q=Queen, K=King
10
+ - Source and destination squares (e.g., e2e4)
11
+ - Special suffixes: (x)=capture, (+)=check, (+*)=checkmate, (o)/(O)=castling
12
+ """
13
+
14
+ from __future__ import annotations
15
+
16
+ import json
17
+ import os
18
+ from pathlib import Path
19
+ from typing import Dict, List, Optional
20
+
21
+ from transformers import PreTrainedTokenizer
22
+
23
+
24
+ class ChessTokenizer(PreTrainedTokenizer):
25
+ """
26
+ A custom tokenizer for chess moves using extended UCI notation.
27
+
28
+ This tokenizer maps each possible chess move to a unique token ID.
29
+ The vocabulary is built from the training dataset to ensure all moves
30
+ encountered during training have a corresponding token.
31
+
32
+ Example:
33
+ >>> tokenizer = ChessTokenizer()
34
+ >>> tokenizer.encode("WPe2e4 BPe7e5")
35
+ [1, 42, 87, 2] # [BOS, e2e4, e7e5, EOS]
36
+ """
37
+
38
+ model_input_names = ["input_ids", "attention_mask"]
39
+ vocab_files_names = {"vocab_file": "vocab.json"}
40
+
41
+ # Special tokens
42
+ PAD_TOKEN = "[PAD]"
43
+ BOS_TOKEN = "[BOS]"
44
+ EOS_TOKEN = "[EOS]"
45
+ UNK_TOKEN = "[UNK]"
46
+
47
+ def __init__(
48
+ self,
49
+ vocab_file: Optional[str] = None,
50
+ vocab: Optional[Dict[str, int]] = None,
51
+ **kwargs,
52
+ ):
53
+ """
54
+ Initialize the chess tokenizer.
55
+
56
+ Args:
57
+ vocab_file: Path to a JSON file containing the vocabulary mapping.
58
+ vocab: Dictionary mapping tokens to IDs (alternative to vocab_file).
59
+ **kwargs: Additional arguments passed to PreTrainedTokenizer.
60
+ """
61
+ # Initialize special tokens
62
+ self._pad_token = self.PAD_TOKEN
63
+ self._bos_token = self.BOS_TOKEN
64
+ self._eos_token = self.EOS_TOKEN
65
+ self._unk_token = self.UNK_TOKEN
66
+
67
+ # Remove any duplicate special-token entries passed through kwargs
68
+ # to avoid "multiple values for keyword" errors when loading from disk.
69
+ kwargs.pop("pad_token", None)
70
+ kwargs.pop("bos_token", None)
71
+ kwargs.pop("eos_token", None)
72
+ kwargs.pop("unk_token", None)
73
+
74
+ # Load or create vocabulary
75
+ if vocab is not None:
76
+ self._vocab = vocab
77
+ elif vocab_file is not None and os.path.exists(vocab_file):
78
+ with open(vocab_file, "r", encoding="utf-8") as f:
79
+ self._vocab = json.load(f)
80
+ else:
81
+ # Create a minimal vocabulary with just special tokens
82
+ # The full vocabulary should be built from the dataset
83
+ self._vocab = self._create_default_vocab()
84
+
85
+ # Create reverse mapping
86
+ self._ids_to_tokens = {v: k for k, v in self._vocab.items()}
87
+
88
+ # Call parent init AFTER setting up vocab
89
+ super().__init__(
90
+ pad_token=self._pad_token,
91
+ bos_token=self._bos_token,
92
+ eos_token=self._eos_token,
93
+ unk_token=self._unk_token,
94
+ **kwargs,
95
+ )
96
+
97
+ def _create_default_vocab(self) -> Dict[str, int]:
98
+ """
99
+ Create a minimal default vocabulary with just special tokens.
100
+
101
+ For the full vocabulary, use `build_vocab_from_dataset()`.
102
+ This minimal vocab is just a placeholder - you should build from data.
103
+ """
104
+ special_tokens = [self.PAD_TOKEN, self.BOS_TOKEN, self.EOS_TOKEN, self.UNK_TOKEN]
105
+ vocab = {token: idx for idx, token in enumerate(special_tokens)}
106
+ return vocab
107
+
108
+ @classmethod
109
+ def build_vocab_from_iterator(
110
+ cls,
111
+ iterator,
112
+ min_frequency: int = 1,
113
+ ) -> "ChessTokenizer":
114
+ """
115
+ Build a tokenizer vocabulary from an iterator of game strings.
116
+
117
+ Args:
118
+ iterator: An iterator yielding game strings (space-separated moves).
119
+ min_frequency: Minimum frequency for a token to be included.
120
+
121
+ Returns:
122
+ A ChessTokenizer with the built vocabulary.
123
+ """
124
+ from collections import Counter
125
+
126
+ token_counts = Counter()
127
+
128
+ for game in iterator:
129
+ moves = game.strip().split()
130
+ token_counts.update(moves)
131
+
132
+ # Filter by frequency
133
+ tokens = [
134
+ token for token, count in token_counts.items()
135
+ if count >= min_frequency
136
+ ]
137
+
138
+ # Sort for reproducibility
139
+ tokens = sorted(tokens)
140
+
141
+ # Build vocabulary
142
+ special_tokens = [cls.PAD_TOKEN, cls.BOS_TOKEN, cls.EOS_TOKEN, cls.UNK_TOKEN]
143
+ vocab = {token: idx for idx, token in enumerate(special_tokens + tokens)}
144
+
145
+ return cls(vocab=vocab)
146
+
147
+ @classmethod
148
+ def build_vocab_from_dataset(
149
+ cls,
150
+ dataset_name: str = "dlouapre/lichess_2025-01_1M",
151
+ split: str = "train",
152
+ column: str = "text",
153
+ min_frequency: int = 500,
154
+ max_samples: Optional[int] = 100000,
155
+ ) -> "ChessTokenizer":
156
+ """
157
+ Build a tokenizer vocabulary from a Hugging Face dataset.
158
+
159
+ Args:
160
+ dataset_name: Name of the dataset on Hugging Face Hub.
161
+ split: Dataset split to use.
162
+ column: Column containing the game strings.
163
+ min_frequency: Minimum frequency for a token to be included (default: 500).
164
+ max_samples: Maximum number of samples to process (default: 100k).
165
+
166
+ Returns:
167
+ A ChessTokenizer with the built vocabulary.
168
+ """
169
+ from datasets import load_dataset
170
+
171
+ dataset = load_dataset(dataset_name, split=split)
172
+
173
+ if max_samples is not None:
174
+ dataset = dataset.select(range(min(max_samples, len(dataset))))
175
+
176
+ def game_iterator():
177
+ for example in dataset:
178
+ yield example[column]
179
+
180
+ return cls.build_vocab_from_iterator(game_iterator(), min_frequency=min_frequency)
181
+
182
+ @property
183
+ def vocab_size(self) -> int:
184
+ """Return the size of the vocabulary."""
185
+ return len(self._vocab)
186
+
187
+ def get_vocab(self) -> Dict[str, int]:
188
+ """Return the vocabulary as a dictionary."""
189
+ return dict(self._vocab)
190
+
191
+ def _tokenize(self, text: str) -> List[str]:
192
+ """
193
+ Tokenize a string of moves into a list of tokens.
194
+
195
+ Args:
196
+ text: A string of space-separated moves.
197
+
198
+ Returns:
199
+ List of move tokens.
200
+ """
201
+ return text.strip().split()
202
+
203
+ def _convert_token_to_id(self, token: str) -> int:
204
+ """Convert a token to its ID."""
205
+ return self._vocab.get(token, self._vocab.get(self.UNK_TOKEN, 0))
206
+
207
+ def _convert_id_to_token(self, index: int) -> str:
208
+ """Convert an ID to its token."""
209
+ return self._ids_to_tokens.get(index, self.UNK_TOKEN)
210
+
211
+ def convert_tokens_to_string(self, tokens: List[str]) -> str:
212
+ """Convert a list of tokens back to a string."""
213
+ # Filter out special tokens for cleaner output
214
+ special = {self.PAD_TOKEN, self.BOS_TOKEN, self.EOS_TOKEN, self.UNK_TOKEN}
215
+ return " ".join(t for t in tokens if t not in special)
216
+
217
+ def save_vocabulary(
218
+ self,
219
+ save_directory: str,
220
+ filename_prefix: Optional[str] = None,
221
+ ) -> tuple:
222
+ """
223
+ Save the vocabulary to a JSON file.
224
+
225
+ Args:
226
+ save_directory: Directory to save the vocabulary.
227
+ filename_prefix: Optional prefix for the filename.
228
+
229
+ Returns:
230
+ Tuple containing the path to the saved vocabulary file.
231
+ """
232
+ if not os.path.isdir(save_directory):
233
+ os.makedirs(save_directory, exist_ok=True)
234
+
235
+ vocab_file = os.path.join(
236
+ save_directory,
237
+ (filename_prefix + "-" if filename_prefix else "") + "vocab.json",
238
+ )
239
+
240
+ with open(vocab_file, "w", encoding="utf-8") as f:
241
+ json.dump(self._vocab, f, ensure_ascii=False, indent=2)
242
+
243
+ return (vocab_file,)
244
+
245
+
246
+ def count_vocab_from_dataset(
247
+ dataset_name: str = "dlouapre/lichess_2025-01_1M",
248
+ split: str = "train",
249
+ column: str = "text",
250
+ max_samples: Optional[int] = 10000,
251
+ ) -> Dict[str, int]:
252
+ """
253
+ Count token frequencies in a dataset (useful for vocabulary analysis).
254
+
255
+ Args:
256
+ dataset_name: Name of the dataset on Hugging Face Hub.
257
+ split: Dataset split to use.
258
+ column: Column containing the game strings.
259
+ max_samples: Maximum number of samples to process.
260
+
261
+ Returns:
262
+ Dictionary mapping tokens to their frequencies.
263
+ """
264
+ from collections import Counter
265
+ from datasets import load_dataset
266
+
267
+ dataset = load_dataset(dataset_name, split=split)
268
+
269
+ if max_samples is not None:
270
+ dataset = dataset.select(range(min(max_samples, len(dataset))))
271
+
272
+ token_counts = Counter()
273
+
274
+ for example in dataset:
275
+ moves = example[column].strip().split()
276
+ token_counts.update(moves)
277
+
278
+ return dict(token_counts)
tokenizer_config.json ADDED
@@ -0,0 +1,44 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
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": "[BOS]",
13
+ "lstrip": false,
14
+ "normalized": false,
15
+ "rstrip": false,
16
+ "single_word": false,
17
+ "special": true
18
+ },
19
+ "2": {
20
+ "content": "[EOS]",
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": "[BOS]",
37
+ "clean_up_tokenization_spaces": false,
38
+ "eos_token": "[EOS]",
39
+ "extra_special_tokens": {},
40
+ "model_max_length": 1000000000000000019884624838656,
41
+ "pad_token": "[PAD]",
42
+ "tokenizer_class": "ChessTokenizer",
43
+ "unk_token": "[UNK]"
44
+ }
vocab.json ADDED
@@ -0,0 +1,2030 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "[PAD]": 0,
3
+ "[BOS]": 1,
4
+ "[EOS]": 2,
5
+ "[UNK]": 3,
6
+ "BBa5b6": 4,
7
+ "BBa6b7": 5,
8
+ "BBa6c4(x)": 6,
9
+ "BBa6f1(x)": 7,
10
+ "BBb4a5": 8,
11
+ "BBb4c3(x)": 9,
12
+ "BBb4c3(x+)": 10,
13
+ "BBb4c5": 11,
14
+ "BBb4d2(x)": 12,
15
+ "BBb4d2(x+)": 13,
16
+ "BBb4d6": 14,
17
+ "BBb4e7": 15,
18
+ "BBb5c6": 16,
19
+ "BBb6a7": 17,
20
+ "BBb6c7": 18,
21
+ "BBb6d4(x)": 19,
22
+ "BBb7a6": 20,
23
+ "BBb7a8": 21,
24
+ "BBb7c6": 22,
25
+ "BBb7c6(x)": 23,
26
+ "BBb7c8": 24,
27
+ "BBb7d5": 25,
28
+ "BBb7d5(x)": 26,
29
+ "BBb7e4(x)": 27,
30
+ "BBb7f3(x)": 28,
31
+ "BBb7g2(x)": 29,
32
+ "BBc5a7": 30,
33
+ "BBc5b4": 31,
34
+ "BBc5b4(+)": 32,
35
+ "BBc5b6": 33,
36
+ "BBc5d4": 34,
37
+ "BBc5d4(x)": 35,
38
+ "BBc5d6": 36,
39
+ "BBc5e3(x)": 37,
40
+ "BBc5e7": 38,
41
+ "BBc5f2(x)": 39,
42
+ "BBc5f2(x+)": 40,
43
+ "BBc6b5": 41,
44
+ "BBc6b7": 42,
45
+ "BBc6d5": 43,
46
+ "BBc6d5(x)": 44,
47
+ "BBc6d7": 45,
48
+ "BBc6e4(x)": 46,
49
+ "BBc6f3(x)": 47,
50
+ "BBc7b6": 48,
51
+ "BBc8a6": 49,
52
+ "BBc8b7": 50,
53
+ "BBc8d7": 51,
54
+ "BBc8d7(x)": 52,
55
+ "BBc8e6": 53,
56
+ "BBc8e6(x)": 54,
57
+ "BBc8f5": 55,
58
+ "BBc8f5(x)": 56,
59
+ "BBc8g4": 57,
60
+ "BBc8g4(x)": 58,
61
+ "BBc8h3": 59,
62
+ "BBc8h3(x)": 60,
63
+ "BBd4b2(x)": 61,
64
+ "BBd4b6": 62,
65
+ "BBd4c5": 63,
66
+ "BBd4e5": 64,
67
+ "BBd5c6": 65,
68
+ "BBd5e6": 66,
69
+ "BBd5f3(x)": 67,
70
+ "BBd6b4": 68,
71
+ "BBd6b8": 69,
72
+ "BBd6c5": 70,
73
+ "BBd6c5(x)": 71,
74
+ "BBd6c7": 72,
75
+ "BBd6e5": 73,
76
+ "BBd6e5(x)": 74,
77
+ "BBd6e7": 75,
78
+ "BBd6f4": 76,
79
+ "BBd6f4(x)": 77,
80
+ "BBd6f8": 78,
81
+ "BBd6g3(x)": 79,
82
+ "BBd6h2(x+)": 80,
83
+ "BBd7a4": 81,
84
+ "BBd7a4(x)": 82,
85
+ "BBd7b5": 83,
86
+ "BBd7b5(x)": 84,
87
+ "BBd7c6": 85,
88
+ "BBd7c6(x)": 86,
89
+ "BBd7c8": 87,
90
+ "BBd7e6": 88,
91
+ "BBd7e6(x)": 89,
92
+ "BBd7e8": 90,
93
+ "BBd7f5": 91,
94
+ "BBd7f5(x)": 92,
95
+ "BBd7g4": 93,
96
+ "BBe4d5": 94,
97
+ "BBe4f3(x)": 95,
98
+ "BBe4f5": 96,
99
+ "BBe4g6": 97,
100
+ "BBe5c3(x)": 98,
101
+ "BBe5d6": 99,
102
+ "BBe5f6": 100,
103
+ "BBe5g7": 101,
104
+ "BBe6a2(x)": 102,
105
+ "BBe6b3(x)": 103,
106
+ "BBe6c4": 104,
107
+ "BBe6c4(x)": 105,
108
+ "BBe6d5": 106,
109
+ "BBe6d5(x)": 107,
110
+ "BBe6d7": 108,
111
+ "BBe6f5": 109,
112
+ "BBe6f5(x)": 110,
113
+ "BBe6f7": 111,
114
+ "BBe6g4": 112,
115
+ "BBe6g4(x)": 113,
116
+ "BBe6h3(x)": 114,
117
+ "BBe7b4": 115,
118
+ "BBe7c5": 116,
119
+ "BBe7c5(+)": 117,
120
+ "BBe7c5(x)": 118,
121
+ "BBe7d6": 119,
122
+ "BBe7d6(x)": 120,
123
+ "BBe7d8": 121,
124
+ "BBe7f6": 122,
125
+ "BBe7f6(x)": 123,
126
+ "BBe7f8": 124,
127
+ "BBe7g5": 125,
128
+ "BBe7g5(x)": 126,
129
+ "BBe7h4": 127,
130
+ "BBe7h4(x)": 128,
131
+ "BBf5c2(x)": 129,
132
+ "BBf5d3": 130,
133
+ "BBf5d3(x)": 131,
134
+ "BBf5d7": 132,
135
+ "BBf5e4": 133,
136
+ "BBf5e4(x)": 134,
137
+ "BBf5e6": 135,
138
+ "BBf5g4": 136,
139
+ "BBf5g6": 137,
140
+ "BBf5h7": 138,
141
+ "BBf6b2(x)": 139,
142
+ "BBf6c3(x)": 140,
143
+ "BBf6d4(x)": 141,
144
+ "BBf6e5": 142,
145
+ "BBf6e5(x)": 143,
146
+ "BBf6e7": 144,
147
+ "BBf6g5": 145,
148
+ "BBf6g5(x)": 146,
149
+ "BBf6g7": 147,
150
+ "BBf8a3(x)": 148,
151
+ "BBf8b4": 149,
152
+ "BBf8b4(+)": 150,
153
+ "BBf8b4(x)": 151,
154
+ "BBf8c5": 152,
155
+ "BBf8c5(+)": 153,
156
+ "BBf8c5(x)": 154,
157
+ "BBf8d6": 155,
158
+ "BBf8d6(x)": 156,
159
+ "BBf8e7": 157,
160
+ "BBf8e7(x)": 158,
161
+ "BBf8g7": 159,
162
+ "BBf8h6": 160,
163
+ "BBg4d1(x)": 161,
164
+ "BBg4d7": 162,
165
+ "BBg4e2(x)": 163,
166
+ "BBg4e6": 164,
167
+ "BBg4f3(x)": 165,
168
+ "BBg4f5": 166,
169
+ "BBg4h3": 167,
170
+ "BBg4h5": 168,
171
+ "BBg5f6": 169,
172
+ "BBg6d3(x)": 170,
173
+ "BBg6e4": 171,
174
+ "BBg6e4(x)": 172,
175
+ "BBg6f7": 173,
176
+ "BBg6h7": 174,
177
+ "BBg7a1(x)": 175,
178
+ "BBg7b2(x)": 176,
179
+ "BBg7c3(x)": 177,
180
+ "BBg7d4(x)": 178,
181
+ "BBg7e5": 179,
182
+ "BBg7e5(x)": 180,
183
+ "BBg7f6": 181,
184
+ "BBg7f6(x)": 182,
185
+ "BBg7f8": 183,
186
+ "BBg7h6": 184,
187
+ "BBg7h6(x)": 185,
188
+ "BBg7h8": 186,
189
+ "BBh3g2(x)": 187,
190
+ "BBh3g4": 188,
191
+ "BBh4f6": 189,
192
+ "BBh4g5": 190,
193
+ "BBh5e2(x)": 191,
194
+ "BBh5f3(x)": 192,
195
+ "BBh5g6": 193,
196
+ "BBh6g7": 194,
197
+ "BKb5b4": 195,
198
+ "BKb5c4": 196,
199
+ "BKb6a5": 197,
200
+ "BKb6a6": 198,
201
+ "BKb6b5": 199,
202
+ "BKb6c5": 200,
203
+ "BKb6c6": 201,
204
+ "BKb6c7": 202,
205
+ "BKb7a6": 203,
206
+ "BKb7b6": 204,
207
+ "BKb7c6": 205,
208
+ "BKb7c7": 206,
209
+ "BKb7c8": 207,
210
+ "BKb8a7": 208,
211
+ "BKb8a8": 209,
212
+ "BKb8b7": 210,
213
+ "BKb8c7": 211,
214
+ "BKb8c8": 212,
215
+ "BKc4b3": 213,
216
+ "BKc4c3": 214,
217
+ "BKc4d3": 215,
218
+ "BKc5b4": 216,
219
+ "BKc5b5": 217,
220
+ "BKc5b6": 218,
221
+ "BKc5c4": 219,
222
+ "BKc5d4": 220,
223
+ "BKc5d5": 221,
224
+ "BKc5d6": 222,
225
+ "BKc6b5": 223,
226
+ "BKc6b6": 224,
227
+ "BKc6b7": 225,
228
+ "BKc6c5": 226,
229
+ "BKc6c7": 227,
230
+ "BKc6d5": 228,
231
+ "BKc6d6": 229,
232
+ "BKc6d7": 230,
233
+ "BKc7b6": 231,
234
+ "BKc7b7": 232,
235
+ "BKc7b8": 233,
236
+ "BKc7c6": 234,
237
+ "BKc7c8": 235,
238
+ "BKc7d6": 236,
239
+ "BKc7d7": 237,
240
+ "BKc7d8": 238,
241
+ "BKc8b7": 239,
242
+ "BKc8b8": 240,
243
+ "BKc8c7": 241,
244
+ "BKc8d7": 242,
245
+ "BKc8d8": 243,
246
+ "BKc8d8(x)": 244,
247
+ "BKd4c3": 245,
248
+ "BKd4d3": 246,
249
+ "BKd4e3": 247,
250
+ "BKd5c4": 248,
251
+ "BKd5c5": 249,
252
+ "BKd5c6": 250,
253
+ "BKd5d4": 251,
254
+ "BKd5d6": 252,
255
+ "BKd5e4": 253,
256
+ "BKd5e5": 254,
257
+ "BKd5e6": 255,
258
+ "BKd6c5": 256,
259
+ "BKd6c6": 257,
260
+ "BKd6c7": 258,
261
+ "BKd6d5": 259,
262
+ "BKd6d7": 260,
263
+ "BKd6e5": 261,
264
+ "BKd6e6": 262,
265
+ "BKd6e7": 263,
266
+ "BKd7c6": 264,
267
+ "BKd7c7": 265,
268
+ "BKd7c8": 266,
269
+ "BKd7d6": 267,
270
+ "BKd7d8": 268,
271
+ "BKd7e6": 269,
272
+ "BKd7e7": 270,
273
+ "BKd7e8": 271,
274
+ "BKd8c7": 272,
275
+ "BKd8c8": 273,
276
+ "BKd8d7": 274,
277
+ "BKd8e7": 275,
278
+ "BKd8e8": 276,
279
+ "BKe4d3": 277,
280
+ "BKe4d4": 278,
281
+ "BKe4e3": 279,
282
+ "BKe4f3": 280,
283
+ "BKe5d4": 281,
284
+ "BKe5d5": 282,
285
+ "BKe5d6": 283,
286
+ "BKe5e4": 284,
287
+ "BKe5e6": 285,
288
+ "BKe5f4": 286,
289
+ "BKe5f5": 287,
290
+ "BKe5f6": 288,
291
+ "BKe6d5": 289,
292
+ "BKe6d6": 290,
293
+ "BKe6d7": 291,
294
+ "BKe6e5": 292,
295
+ "BKe6e7": 293,
296
+ "BKe6f5": 294,
297
+ "BKe6f6": 295,
298
+ "BKe6f7": 296,
299
+ "BKe7d6": 297,
300
+ "BKe7d7": 298,
301
+ "BKe7d8": 299,
302
+ "BKe7e6": 300,
303
+ "BKe7e8": 301,
304
+ "BKe7f6": 302,
305
+ "BKe7f7": 303,
306
+ "BKe7f8": 304,
307
+ "BKe8c8(O)": 305,
308
+ "BKe8d7": 306,
309
+ "BKe8d7(x)": 307,
310
+ "BKe8d8": 308,
311
+ "BKe8d8(x)": 309,
312
+ "BKe8e7": 310,
313
+ "BKe8e7(x)": 311,
314
+ "BKe8f7": 312,
315
+ "BKe8f7(x)": 313,
316
+ "BKe8f8": 314,
317
+ "BKe8g8(o)": 315,
318
+ "BKf4e3": 316,
319
+ "BKf4e4": 317,
320
+ "BKf4f3": 318,
321
+ "BKf4g3": 319,
322
+ "BKf5e4": 320,
323
+ "BKf5e5": 321,
324
+ "BKf5e6": 322,
325
+ "BKf5f4": 323,
326
+ "BKf5f6": 324,
327
+ "BKf5g4": 325,
328
+ "BKf5g5": 326,
329
+ "BKf5g6": 327,
330
+ "BKf6e5": 328,
331
+ "BKf6e6": 329,
332
+ "BKf6e7": 330,
333
+ "BKf6f5": 331,
334
+ "BKf6f7": 332,
335
+ "BKf6g5": 333,
336
+ "BKf6g6": 334,
337
+ "BKf6g7": 335,
338
+ "BKf7e6": 336,
339
+ "BKf7e7": 337,
340
+ "BKf7e8": 338,
341
+ "BKf7f6": 339,
342
+ "BKf7f8": 340,
343
+ "BKf7g6": 341,
344
+ "BKf7g7": 342,
345
+ "BKf7g8": 343,
346
+ "BKf8e7": 344,
347
+ "BKf8e8": 345,
348
+ "BKf8f7": 346,
349
+ "BKf8g7": 347,
350
+ "BKf8g8": 348,
351
+ "BKg4f3": 349,
352
+ "BKg4f5": 350,
353
+ "BKg4g3": 351,
354
+ "BKg5f4": 352,
355
+ "BKg5f5": 353,
356
+ "BKg5f6": 354,
357
+ "BKg5g4": 355,
358
+ "BKg5g6": 356,
359
+ "BKg5h4": 357,
360
+ "BKg5h6": 358,
361
+ "BKg6f5": 359,
362
+ "BKg6f6": 360,
363
+ "BKg6f7": 361,
364
+ "BKg6g5": 362,
365
+ "BKg6g7": 363,
366
+ "BKg6h5": 364,
367
+ "BKg6h6": 365,
368
+ "BKg6h7": 366,
369
+ "BKg7f6": 367,
370
+ "BKg7f6(x)": 368,
371
+ "BKg7f7": 369,
372
+ "BKg7f8": 370,
373
+ "BKg7g6": 371,
374
+ "BKg7g8": 372,
375
+ "BKg7h6": 373,
376
+ "BKg7h7": 374,
377
+ "BKg7h8": 375,
378
+ "BKg8f7": 376,
379
+ "BKg8f7(x)": 377,
380
+ "BKg8f8": 378,
381
+ "BKg8f8(x)": 379,
382
+ "BKg8g7": 380,
383
+ "BKg8g7(x)": 381,
384
+ "BKg8h7": 382,
385
+ "BKg8h7(x)": 383,
386
+ "BKg8h8": 384,
387
+ "BKh5g4": 385,
388
+ "BKh5g6": 386,
389
+ "BKh5h4": 387,
390
+ "BKh6g5": 388,
391
+ "BKh6g6": 389,
392
+ "BKh6g7": 390,
393
+ "BKh6h5": 391,
394
+ "BKh6h7": 392,
395
+ "BKh7g6": 393,
396
+ "BKh7g7": 394,
397
+ "BKh7g8": 395,
398
+ "BKh7h6": 396,
399
+ "BKh7h8": 397,
400
+ "BKh8g7": 398,
401
+ "BKh8g8": 399,
402
+ "BKh8h7": 400,
403
+ "BNa5b3(x)": 401,
404
+ "BNa5c4": 402,
405
+ "BNa5c4(x)": 403,
406
+ "BNa5c6": 404,
407
+ "BNa6b4": 405,
408
+ "BNa6c5": 406,
409
+ "BNa6c7": 407,
410
+ "BNb2c4": 408,
411
+ "BNb4a6": 409,
412
+ "BNb4c2": 410,
413
+ "BNb4c2(x)": 411,
414
+ "BNb4c6": 412,
415
+ "BNb4d3": 413,
416
+ "BNb4d3(x)": 414,
417
+ "BNb4d3(x+)": 415,
418
+ "BNb4d5": 416,
419
+ "BNb4d5(x)": 417,
420
+ "BNb6c4": 418,
421
+ "BNb6c4(x)": 419,
422
+ "BNb6d5": 420,
423
+ "BNb6d5(x)": 421,
424
+ "BNb6d7": 422,
425
+ "BNb8a6": 423,
426
+ "BNb8c6": 424,
427
+ "BNb8c6(x)": 425,
428
+ "BNb8d7": 426,
429
+ "BNb8d7(x)": 427,
430
+ "BNc2a1(x)": 428,
431
+ "BNc2d4": 429,
432
+ "BNc3d5": 430,
433
+ "BNc3e4": 431,
434
+ "BNc4b2(x)": 432,
435
+ "BNc4b6": 433,
436
+ "BNc4d6": 434,
437
+ "BNc4e3": 435,
438
+ "BNc4e3(x)": 436,
439
+ "BNc4e5": 437,
440
+ "BNc5a4": 438,
441
+ "BNc5b3(x)": 439,
442
+ "BNc5d3": 440,
443
+ "BNc5d3(x)": 441,
444
+ "BNc5d7": 442,
445
+ "BNc5e4": 443,
446
+ "BNc5e4(x)": 444,
447
+ "BNc5e6": 445,
448
+ "BNc6a5": 446,
449
+ "BNc6a7": 447,
450
+ "BNc6b4": 448,
451
+ "BNc6b4(x)": 449,
452
+ "BNc6b8": 450,
453
+ "BNc6d4": 451,
454
+ "BNc6d4(x)": 452,
455
+ "BNc6d8": 453,
456
+ "BNc6d8(x)": 454,
457
+ "BNc6e5": 455,
458
+ "BNc6e5(x)": 456,
459
+ "BNc6e7": 457,
460
+ "BNc6e7(x)": 458,
461
+ "BNc7e6": 459,
462
+ "BNd3b2(x)": 460,
463
+ "BNd4b3(x)": 461,
464
+ "BNd4c2": 462,
465
+ "BNd4c2(x)": 463,
466
+ "BNd4c2(x+)": 464,
467
+ "BNd4c6": 465,
468
+ "BNd4e2(+)": 466,
469
+ "BNd4e2(x)": 467,
470
+ "BNd4e2(x+)": 468,
471
+ "BNd4e6": 469,
472
+ "BNd4f3(+)": 470,
473
+ "BNd4f3(x+)": 471,
474
+ "BNd4f5": 472,
475
+ "BNd5b4": 473,
476
+ "BNd5b6": 474,
477
+ "BNd5c3": 475,
478
+ "BNd5c3(x)": 476,
479
+ "BNd5e3": 477,
480
+ "BNd5e3(x)": 478,
481
+ "BNd5e7": 479,
482
+ "BNd5f4": 480,
483
+ "BNd5f4(x)": 481,
484
+ "BNd5f6": 482,
485
+ "BNd6c4": 483,
486
+ "BNd6e4": 484,
487
+ "BNd6f5": 485,
488
+ "BNd7b6": 486,
489
+ "BNd7b8": 487,
490
+ "BNd7c5": 488,
491
+ "BNd7c5(x)": 489,
492
+ "BNd7e5": 490,
493
+ "BNd7e5(x)": 491,
494
+ "BNd7f6": 492,
495
+ "BNd7f6(x)": 493,
496
+ "BNd7f8": 494,
497
+ "BNd8c6": 495,
498
+ "BNd8e6": 496,
499
+ "BNe3f1(x)": 497,
500
+ "BNe4c3": 498,
501
+ "BNe4c3(x)": 499,
502
+ "BNe4c5": 500,
503
+ "BNe4d2": 501,
504
+ "BNe4d2(x)": 502,
505
+ "BNe4d6": 503,
506
+ "BNe4f2(x)": 504,
507
+ "BNe4f6": 505,
508
+ "BNe4g3": 506,
509
+ "BNe4g3(x)": 507,
510
+ "BNe4g5": 508,
511
+ "BNe4g5(x)": 509,
512
+ "BNe5c4": 510,
513
+ "BNe5c4(x)": 511,
514
+ "BNe5c6": 512,
515
+ "BNe5d3": 513,
516
+ "BNe5d3(+)": 514,
517
+ "BNe5d3(x)": 515,
518
+ "BNe5d3(x+)": 516,
519
+ "BNe5d7": 517,
520
+ "BNe5f3(+)": 518,
521
+ "BNe5f3(x)": 519,
522
+ "BNe5f3(x+)": 520,
523
+ "BNe5g4": 521,
524
+ "BNe5g6": 522,
525
+ "BNe6c5": 523,
526
+ "BNe6d4": 524,
527
+ "BNe6f4": 525,
528
+ "BNe6g5": 526,
529
+ "BNe7c6": 527,
530
+ "BNe7c6(x)": 528,
531
+ "BNe7c8": 529,
532
+ "BNe7d5": 530,
533
+ "BNe7d5(x)": 531,
534
+ "BNe7f5": 532,
535
+ "BNe7f5(x)": 533,
536
+ "BNe7g6": 534,
537
+ "BNe7g8": 535,
538
+ "BNe8c7": 536,
539
+ "BNe8d6": 537,
540
+ "BNe8f6": 538,
541
+ "BNf4d3": 539,
542
+ "BNf4e2(+)": 540,
543
+ "BNf4e6": 541,
544
+ "BNf4g6": 542,
545
+ "BNf5d4": 543,
546
+ "BNf5d4(x)": 544,
547
+ "BNf5d6": 545,
548
+ "BNf5e3": 546,
549
+ "BNf5e3(x)": 547,
550
+ "BNf5e7": 548,
551
+ "BNf5g3(x)": 549,
552
+ "BNf5h4": 550,
553
+ "BNf6d5": 551,
554
+ "BNf6d5(x)": 552,
555
+ "BNf6d7": 553,
556
+ "BNf6d7(x)": 554,
557
+ "BNf6e4": 555,
558
+ "BNf6e4(+)": 556,
559
+ "BNf6e4(x)": 557,
560
+ "BNf6e8": 558,
561
+ "BNf6g4": 559,
562
+ "BNf6g4(+)": 560,
563
+ "BNf6g4(x)": 561,
564
+ "BNf6g8": 562,
565
+ "BNf6h5": 563,
566
+ "BNf6h5(x)": 564,
567
+ "BNf6h7": 565,
568
+ "BNf8d7": 566,
569
+ "BNf8e6": 567,
570
+ "BNf8g6": 568,
571
+ "BNg4e3": 569,
572
+ "BNg4e3(x)": 570,
573
+ "BNg4e5": 571,
574
+ "BNg4e5(x)": 572,
575
+ "BNg4f2(x)": 573,
576
+ "BNg4f6": 574,
577
+ "BNg4h6": 575,
578
+ "BNg5e4": 576,
579
+ "BNg5e6": 577,
580
+ "BNg6e5": 578,
581
+ "BNg6e5(x)": 579,
582
+ "BNg6e7": 580,
583
+ "BNg6f4": 581,
584
+ "BNg6f4(x)": 582,
585
+ "BNg6h4": 583,
586
+ "BNg8e7": 584,
587
+ "BNg8e7(x)": 585,
588
+ "BNg8f6": 586,
589
+ "BNg8f6(x)": 587,
590
+ "BNg8h6": 588,
591
+ "BNh5f4": 589,
592
+ "BNh5f4(x)": 590,
593
+ "BNh5f6": 591,
594
+ "BNh5g3(x)": 592,
595
+ "BNh5g7": 593,
596
+ "BNh6f5": 594,
597
+ "BNh6f7": 595,
598
+ "BNh6g4": 596,
599
+ "BNh7f6": 597,
600
+ "BNh7g5": 598,
601
+ "BPa2a1(Q)": 599,
602
+ "BPa3a2": 600,
603
+ "BPa4a3": 601,
604
+ "BPa4b3(x)": 602,
605
+ "BPa5a4": 603,
606
+ "BPa5b4(x)": 604,
607
+ "BPa6a5": 605,
608
+ "BPa6b5(x)": 606,
609
+ "BPa7a5": 607,
610
+ "BPa7a6": 608,
611
+ "BPa7b6(x)": 609,
612
+ "BPb2b1(Q)": 610,
613
+ "BPb3b2": 611,
614
+ "BPb4a3(x)": 612,
615
+ "BPb4b3": 613,
616
+ "BPb4c3(x)": 614,
617
+ "BPb5a4(x)": 615,
618
+ "BPb5b4": 616,
619
+ "BPb5c4(x)": 617,
620
+ "BPb6a5(x)": 618,
621
+ "BPb6b5": 619,
622
+ "BPb6c5(x)": 620,
623
+ "BPb7a6(x)": 621,
624
+ "BPb7b5": 622,
625
+ "BPb7b6": 623,
626
+ "BPb7c6(x)": 624,
627
+ "BPc2c1(Q)": 625,
628
+ "BPc3b2(x)": 626,
629
+ "BPc3c2": 627,
630
+ "BPc4b3(x)": 628,
631
+ "BPc4c3": 629,
632
+ "BPc4d3(x)": 630,
633
+ "BPc5b4(x)": 631,
634
+ "BPc5c4": 632,
635
+ "BPc5d4(x)": 633,
636
+ "BPc6b5(x)": 634,
637
+ "BPc6c5": 635,
638
+ "BPc6d5(x)": 636,
639
+ "BPc7b6(x)": 637,
640
+ "BPc7c5": 638,
641
+ "BPc7c6": 639,
642
+ "BPc7d6(x)": 640,
643
+ "BPd2d1(Q)": 641,
644
+ "BPd3d2": 642,
645
+ "BPd4c3(x)": 643,
646
+ "BPd4d3": 644,
647
+ "BPd4e3(x)": 645,
648
+ "BPd5c4(x)": 646,
649
+ "BPd5d4": 647,
650
+ "BPd5e4(x)": 648,
651
+ "BPd6c5(x)": 649,
652
+ "BPd6d5": 650,
653
+ "BPd6e5(x)": 651,
654
+ "BPd7c6(x)": 652,
655
+ "BPd7d5": 653,
656
+ "BPd7d6": 654,
657
+ "BPd7e6(x)": 655,
658
+ "BPe2e1(Q)": 656,
659
+ "BPe3e2": 657,
660
+ "BPe4d3(x)": 658,
661
+ "BPe4e3": 659,
662
+ "BPe4f3(x)": 660,
663
+ "BPe5d4(x)": 661,
664
+ "BPe5e4": 662,
665
+ "BPe5f4(x)": 663,
666
+ "BPe6d5(x)": 664,
667
+ "BPe6e5": 665,
668
+ "BPe6f5(x)": 666,
669
+ "BPe7d6(x)": 667,
670
+ "BPe7e5": 668,
671
+ "BPe7e6": 669,
672
+ "BPe7f6(x)": 670,
673
+ "BPf2f1(Q)": 671,
674
+ "BPf3f2": 672,
675
+ "BPf4e3(x)": 673,
676
+ "BPf4f3": 674,
677
+ "BPf4g3(x)": 675,
678
+ "BPf5e4(x)": 676,
679
+ "BPf5f4": 677,
680
+ "BPf5f4(+)": 678,
681
+ "BPf5g4(x)": 679,
682
+ "BPf6e5(x)": 680,
683
+ "BPf6f5": 681,
684
+ "BPf6g5(x)": 682,
685
+ "BPf7e6(x)": 683,
686
+ "BPf7f5": 684,
687
+ "BPf7f6": 685,
688
+ "BPf7g6(x)": 686,
689
+ "BPg2g1(Q)": 687,
690
+ "BPg3g2": 688,
691
+ "BPg4f3(x)": 689,
692
+ "BPg4g3": 690,
693
+ "BPg4h3(x)": 691,
694
+ "BPg5f4(x)": 692,
695
+ "BPg5g4": 693,
696
+ "BPg5g4(+)": 694,
697
+ "BPg5h4(x)": 695,
698
+ "BPg6f5(x)": 696,
699
+ "BPg6g5": 697,
700
+ "BPg6h5(x)": 698,
701
+ "BPg7f6(x)": 699,
702
+ "BPg7g5": 700,
703
+ "BPg7g6": 701,
704
+ "BPg7h6(x)": 702,
705
+ "BPh2h1(Q)": 703,
706
+ "BPh3h2": 704,
707
+ "BPh4g3(x)": 705,
708
+ "BPh4h3": 706,
709
+ "BPh5g4(x)": 707,
710
+ "BPh5h4": 708,
711
+ "BPh6g5(x)": 709,
712
+ "BPh6h5": 710,
713
+ "BPh7g6(x)": 711,
714
+ "BPh7h5": 712,
715
+ "BPh7h6": 713,
716
+ "BQa5a2(x)": 714,
717
+ "BQa5b6": 715,
718
+ "BQa5c7": 716,
719
+ "BQa5d8": 717,
720
+ "BQb2a2(x)": 718,
721
+ "BQb2c3(x)": 719,
722
+ "BQb4b2(x)": 720,
723
+ "BQb6a5": 721,
724
+ "BQb6b2(x)": 722,
725
+ "BQb6b4": 723,
726
+ "BQb6c6": 724,
727
+ "BQb6c7": 725,
728
+ "BQb6d4(x)": 726,
729
+ "BQb6d8": 727,
730
+ "BQc7a5": 728,
731
+ "BQc7b6": 729,
732
+ "BQc7b7": 730,
733
+ "BQc7b8": 731,
734
+ "BQc7c6": 732,
735
+ "BQc7d6": 733,
736
+ "BQc7d6(x)": 734,
737
+ "BQc7d7": 735,
738
+ "BQc7d8": 736,
739
+ "BQc7e5(x)": 737,
740
+ "BQc7e7": 738,
741
+ "BQd5a5": 739,
742
+ "BQd5d6": 740,
743
+ "BQd5d7": 741,
744
+ "BQd5d8": 742,
745
+ "BQd5e6": 743,
746
+ "BQd5e6(+)": 744,
747
+ "BQd6b6": 745,
748
+ "BQd6c6": 746,
749
+ "BQd6c7": 747,
750
+ "BQd6d5": 748,
751
+ "BQd6d7": 749,
752
+ "BQd6e5(x)": 750,
753
+ "BQd6e6": 751,
754
+ "BQd6e7": 752,
755
+ "BQd6f6": 753,
756
+ "BQd7c6": 754,
757
+ "BQd7c7": 755,
758
+ "BQd7d6": 756,
759
+ "BQd7d8": 757,
760
+ "BQd7e6": 758,
761
+ "BQd7e6(x)": 759,
762
+ "BQd7e7": 760,
763
+ "BQd7f5": 761,
764
+ "BQd7f5(x)": 762,
765
+ "BQd7f7": 763,
766
+ "BQd7g4": 764,
767
+ "BQd8a5": 765,
768
+ "BQd8a5(+)": 766,
769
+ "BQd8a8(x)": 767,
770
+ "BQd8b6": 768,
771
+ "BQd8b6(+)": 769,
772
+ "BQd8b8": 770,
773
+ "BQd8c7": 771,
774
+ "BQd8c7(x)": 772,
775
+ "BQd8c8": 773,
776
+ "BQd8d1(x)": 774,
777
+ "BQd8d1(x+)": 775,
778
+ "BQd8d3(x)": 776,
779
+ "BQd8d4": 777,
780
+ "BQd8d4(x)": 778,
781
+ "BQd8d5": 779,
782
+ "BQd8d5(x)": 780,
783
+ "BQd8d6": 781,
784
+ "BQd8d6(x)": 782,
785
+ "BQd8d7": 783,
786
+ "BQd8d7(x)": 784,
787
+ "BQd8e7": 785,
788
+ "BQd8e7(+)": 786,
789
+ "BQd8e7(x)": 787,
790
+ "BQd8e8": 788,
791
+ "BQd8e8(x)": 789,
792
+ "BQd8f6": 790,
793
+ "BQd8f6(x)": 791,
794
+ "BQd8f8": 792,
795
+ "BQd8f8(x)": 793,
796
+ "BQd8g5": 794,
797
+ "BQd8g5(x)": 795,
798
+ "BQd8h4": 796,
799
+ "BQd8h4(+)": 797,
800
+ "BQd8h4(x)": 798,
801
+ "BQe5f6": 799,
802
+ "BQe6d7": 800,
803
+ "BQe6g6": 801,
804
+ "BQe7b4": 802,
805
+ "BQe7c5": 803,
806
+ "BQe7c7": 804,
807
+ "BQe7d6": 805,
808
+ "BQe7d6(x)": 806,
809
+ "BQe7d7": 807,
810
+ "BQe7d8": 808,
811
+ "BQe7e5": 809,
812
+ "BQe7e5(x)": 810,
813
+ "BQe7e6": 811,
814
+ "BQe7e6(x)": 812,
815
+ "BQe7f6": 813,
816
+ "BQe7f6(x)": 814,
817
+ "BQe7f7": 815,
818
+ "BQe7f8": 816,
819
+ "BQe7g5": 817,
820
+ "BQe7g7": 818,
821
+ "BQe7h4": 819,
822
+ "BQf6b2(x)": 820,
823
+ "BQf6d4(x)": 821,
824
+ "BQf6d6": 822,
825
+ "BQf6d8": 823,
826
+ "BQf6e5(x)": 824,
827
+ "BQf6e6": 825,
828
+ "BQf6e7": 826,
829
+ "BQf6f3(x)": 827,
830
+ "BQf6f5": 828,
831
+ "BQf6g5": 829,
832
+ "BQf6g6": 830,
833
+ "BQf6h4": 831,
834
+ "BQg5e7": 832,
835
+ "BQg5f6": 833,
836
+ "BQg5g6": 834,
837
+ "BQg6f6": 835,
838
+ "BQh4e7": 836,
839
+ "BQh4f6": 837,
840
+ "BQh4g5": 838,
841
+ "BRa2a1(+)": 839,
842
+ "BRa2a3": 840,
843
+ "BRa2b2": 841,
844
+ "BRa8a1(x)": 842,
845
+ "BRa8a2": 843,
846
+ "BRa8a2(x)": 844,
847
+ "BRa8a3(x)": 845,
848
+ "BRa8a4(x)": 846,
849
+ "BRa8a5": 847,
850
+ "BRa8a5(x)": 848,
851
+ "BRa8a6": 849,
852
+ "BRa8a6(x)": 850,
853
+ "BRa8a7": 851,
854
+ "BRa8a7(x)": 852,
855
+ "BRa8b8": 853,
856
+ "BRa8b8(x)": 854,
857
+ "BRa8c8": 855,
858
+ "BRa8c8(x)": 856,
859
+ "BRa8d8": 857,
860
+ "BRa8d8(x)": 858,
861
+ "BRa8e8": 859,
862
+ "BRa8e8(x)": 860,
863
+ "BRa8f8": 861,
864
+ "BRa8f8(x)": 862,
865
+ "BRa8g8": 863,
866
+ "BRa8h8": 864,
867
+ "BRb2a2(x)": 865,
868
+ "BRb8a8": 866,
869
+ "BRb8b2": 867,
870
+ "BRb8b2(x)": 868,
871
+ "BRb8b4": 869,
872
+ "BRb8b5": 870,
873
+ "BRb8b6": 871,
874
+ "BRb8b7": 872,
875
+ "BRb8b7(x)": 873,
876
+ "BRb8c8": 874,
877
+ "BRb8d8": 875,
878
+ "BRb8e8": 876,
879
+ "BRb8f8": 877,
880
+ "BRc2a2(x)": 878,
881
+ "BRc2b2(x)": 879,
882
+ "BRc7d7": 880,
883
+ "BRc8a8": 881,
884
+ "BRc8b8": 882,
885
+ "BRc8c1(x)": 883,
886
+ "BRc8c1(x+)": 884,
887
+ "BRc8c2": 885,
888
+ "BRc8c2(x)": 886,
889
+ "BRc8c3": 887,
890
+ "BRc8c3(x)": 888,
891
+ "BRc8c4": 889,
892
+ "BRc8c4(x)": 890,
893
+ "BRc8c5": 891,
894
+ "BRc8c5(x)": 892,
895
+ "BRc8c6": 893,
896
+ "BRc8c6(x)": 894,
897
+ "BRc8c7": 895,
898
+ "BRc8c7(x)": 896,
899
+ "BRc8d8": 897,
900
+ "BRc8d8(x)": 898,
901
+ "BRc8e8": 899,
902
+ "BRc8f8": 900,
903
+ "BRd2a2(x)": 901,
904
+ "BRd2b2(x)": 902,
905
+ "BRd3d2": 903,
906
+ "BRd7c7": 904,
907
+ "BRd7d8": 905,
908
+ "BRd7e7": 906,
909
+ "BRd8a8": 907,
910
+ "BRd8b8": 908,
911
+ "BRd8c8": 909,
912
+ "BRd8d1(+)": 910,
913
+ "BRd8d1(x)": 911,
914
+ "BRd8d1(x+)": 912,
915
+ "BRd8d2": 913,
916
+ "BRd8d2(+)": 914,
917
+ "BRd8d2(x)": 915,
918
+ "BRd8d3": 916,
919
+ "BRd8d3(x)": 917,
920
+ "BRd8d4": 918,
921
+ "BRd8d4(x)": 919,
922
+ "BRd8d5": 920,
923
+ "BRd8d5(x)": 921,
924
+ "BRd8d6": 922,
925
+ "BRd8d6(x)": 923,
926
+ "BRd8d7": 924,
927
+ "BRd8d7(x)": 925,
928
+ "BRd8e8": 926,
929
+ "BRd8e8(x)": 927,
930
+ "BRd8f8": 928,
931
+ "BRd8g8": 929,
932
+ "BRd8h8": 930,
933
+ "BRe7d7": 931,
934
+ "BRe7e6": 932,
935
+ "BRe7f7": 933,
936
+ "BRe8a8": 934,
937
+ "BRe8b8": 935,
938
+ "BRe8c8": 936,
939
+ "BRe8d8": 937,
940
+ "BRe8d8(x)": 938,
941
+ "BRe8e1(+)": 939,
942
+ "BRe8e1(x)": 940,
943
+ "BRe8e1(x+)": 941,
944
+ "BRe8e2": 942,
945
+ "BRe8e2(+)": 943,
946
+ "BRe8e2(x)": 944,
947
+ "BRe8e3": 945,
948
+ "BRe8e3(x)": 946,
949
+ "BRe8e4": 947,
950
+ "BRe8e4(x)": 948,
951
+ "BRe8e5": 949,
952
+ "BRe8e5(x)": 950,
953
+ "BRe8e6": 951,
954
+ "BRe8e6(x)": 952,
955
+ "BRe8e7": 953,
956
+ "BRe8e7(x)": 954,
957
+ "BRe8f8": 955,
958
+ "BRe8g8": 956,
959
+ "BRe8h8": 957,
960
+ "BRf6g6": 958,
961
+ "BRf7e7": 959,
962
+ "BRf7f6": 960,
963
+ "BRf7f8": 961,
964
+ "BRf7g7": 962,
965
+ "BRf8a8": 963,
966
+ "BRf8a8(x)": 964,
967
+ "BRf8b8": 965,
968
+ "BRf8c8": 966,
969
+ "BRf8c8(x)": 967,
970
+ "BRf8d8": 968,
971
+ "BRf8d8(x)": 969,
972
+ "BRf8e8": 970,
973
+ "BRf8e8(+)": 971,
974
+ "BRf8e8(x)": 972,
975
+ "BRf8f1(x+)": 973,
976
+ "BRf8f2": 974,
977
+ "BRf8f2(x)": 975,
978
+ "BRf8f3(x)": 976,
979
+ "BRf8f4": 977,
980
+ "BRf8f4(x)": 978,
981
+ "BRf8f5": 979,
982
+ "BRf8f5(x)": 980,
983
+ "BRf8f6": 981,
984
+ "BRf8f6(x)": 982,
985
+ "BRf8f7": 983,
986
+ "BRf8f7(x)": 984,
987
+ "BRf8g8": 985,
988
+ "BRf8h8": 986,
989
+ "BRg8e8": 987,
990
+ "BRg8f8": 988,
991
+ "BRg8g6": 989,
992
+ "BRg8g7": 990,
993
+ "BRg8g7(x)": 991,
994
+ "BRg8h8": 992,
995
+ "BRh8b8": 993,
996
+ "BRh8c8": 994,
997
+ "BRh8d8": 995,
998
+ "BRh8d8(x)": 996,
999
+ "BRh8e8": 997,
1000
+ "BRh8f8": 998,
1001
+ "BRh8g8": 999,
1002
+ "BRh8h5": 1000,
1003
+ "BRh8h6": 1001,
1004
+ "BRh8h7": 1002,
1005
+ "WBa2b1": 1003,
1006
+ "WBa3b2": 1004,
1007
+ "WBa4b3": 1005,
1008
+ "WBa4c2": 1006,
1009
+ "WBb2a3": 1007,
1010
+ "WBb2c1": 1008,
1011
+ "WBb2c3": 1009,
1012
+ "WBb2c3(x)": 1010,
1013
+ "WBb2d4": 1011,
1014
+ "WBb2d4(x)": 1012,
1015
+ "WBb2e5(x)": 1013,
1016
+ "WBb2f6(x)": 1014,
1017
+ "WBb2g7(x)": 1015,
1018
+ "WBb3a2": 1016,
1019
+ "WBb3a4": 1017,
1020
+ "WBb3c2": 1018,
1021
+ "WBb3c4(x)": 1019,
1022
+ "WBb3d5": 1020,
1023
+ "WBb3d5(x)": 1021,
1024
+ "WBb3e6(x)": 1022,
1025
+ "WBb5a4": 1023,
1026
+ "WBb5c4": 1024,
1027
+ "WBb5c6": 1025,
1028
+ "WBb5c6(x)": 1026,
1029
+ "WBb5c6(x+)": 1027,
1030
+ "WBb5d3": 1028,
1031
+ "WBb5d7(x)": 1029,
1032
+ "WBb5d7(x+)": 1030,
1033
+ "WBb5e2": 1031,
1034
+ "WBc1a3": 1032,
1035
+ "WBc1b2": 1033,
1036
+ "WBc1d2": 1034,
1037
+ "WBc1d2(x)": 1035,
1038
+ "WBc1e3": 1036,
1039
+ "WBc1e3(x)": 1037,
1040
+ "WBc1f4": 1038,
1041
+ "WBc1f4(x)": 1039,
1042
+ "WBc1g5": 1040,
1043
+ "WBc1g5(+)": 1041,
1044
+ "WBc1g5(x)": 1042,
1045
+ "WBc1h6": 1043,
1046
+ "WBc1h6(x)": 1044,
1047
+ "WBc2b3": 1045,
1048
+ "WBc2d3": 1046,
1049
+ "WBc2e4(x)": 1047,
1050
+ "WBc3b4": 1048,
1051
+ "WBc3d2": 1049,
1052
+ "WBc3e5(x)": 1050,
1053
+ "WBc3f6(x)": 1051,
1054
+ "WBc4a2": 1052,
1055
+ "WBc4b3": 1053,
1056
+ "WBc4b5": 1054,
1057
+ "WBc4b5(+)": 1055,
1058
+ "WBc4d3": 1056,
1059
+ "WBc4d5": 1057,
1060
+ "WBc4d5(x)": 1058,
1061
+ "WBc4e2": 1059,
1062
+ "WBc4e6(x)": 1060,
1063
+ "WBc4e6(x+)": 1061,
1064
+ "WBc4f7(x)": 1062,
1065
+ "WBc4f7(x+)": 1063,
1066
+ "WBd2b4": 1064,
1067
+ "WBd2b4(x)": 1065,
1068
+ "WBd2c1": 1066,
1069
+ "WBd2c3": 1067,
1070
+ "WBd2c3(x)": 1068,
1071
+ "WBd2e1": 1069,
1072
+ "WBd2e3": 1070,
1073
+ "WBd2f4": 1071,
1074
+ "WBd2f4(x)": 1072,
1075
+ "WBd2g5": 1073,
1076
+ "WBd3a6(x)": 1074,
1077
+ "WBd3b1": 1075,
1078
+ "WBd3b5": 1076,
1079
+ "WBd3b5(+)": 1077,
1080
+ "WBd3b5(x)": 1078,
1081
+ "WBd3c2": 1079,
1082
+ "WBd3c4": 1080,
1083
+ "WBd3c4(x)": 1081,
1084
+ "WBd3e2": 1082,
1085
+ "WBd3e4": 1083,
1086
+ "WBd3e4(x)": 1084,
1087
+ "WBd3f1": 1085,
1088
+ "WBd3f5": 1086,
1089
+ "WBd3f5(x)": 1087,
1090
+ "WBd3g6(x)": 1088,
1091
+ "WBd3h7(x+)": 1089,
1092
+ "WBd4c3": 1090,
1093
+ "WBd4e3": 1091,
1094
+ "WBd4f6(x)": 1092,
1095
+ "WBd4g7(x)": 1093,
1096
+ "WBd5b3": 1094,
1097
+ "WBd5b7(x)": 1095,
1098
+ "WBd5c6(x)": 1096,
1099
+ "WBd5e4": 1097,
1100
+ "WBe2a6(x)": 1098,
1101
+ "WBe2b5": 1099,
1102
+ "WBe2b5(x)": 1100,
1103
+ "WBe2c4": 1101,
1104
+ "WBe2c4(x)": 1102,
1105
+ "WBe2d1": 1103,
1106
+ "WBe2d3": 1104,
1107
+ "WBe2d3(x)": 1105,
1108
+ "WBe2f1": 1106,
1109
+ "WBe2f3": 1107,
1110
+ "WBe2f3(x)": 1108,
1111
+ "WBe2g4": 1109,
1112
+ "WBe2g4(x)": 1110,
1113
+ "WBe2h5": 1111,
1114
+ "WBe2h5(x)": 1112,
1115
+ "WBe3a7(x)": 1113,
1116
+ "WBe3b6(x)": 1114,
1117
+ "WBe3c1": 1115,
1118
+ "WBe3c5": 1116,
1119
+ "WBe3c5(x)": 1117,
1120
+ "WBe3d2": 1118,
1121
+ "WBe3d4": 1119,
1122
+ "WBe3d4(x)": 1120,
1123
+ "WBe3f2": 1121,
1124
+ "WBe3f4": 1122,
1125
+ "WBe3f4(x)": 1123,
1126
+ "WBe3g5": 1124,
1127
+ "WBe3g5(x)": 1125,
1128
+ "WBe3h6": 1126,
1129
+ "WBe3h6(x)": 1127,
1130
+ "WBe4b7(x)": 1128,
1131
+ "WBe4c6(x)": 1129,
1132
+ "WBe4d3": 1130,
1133
+ "WBe4f3": 1131,
1134
+ "WBe5d4": 1132,
1135
+ "WBe5f6(x)": 1133,
1136
+ "WBe5g3": 1134,
1137
+ "WBe5g7(x)": 1135,
1138
+ "WBf1a6(x)": 1136,
1139
+ "WBf1b5": 1137,
1140
+ "WBf1b5(+)": 1138,
1141
+ "WBf1b5(x)": 1139,
1142
+ "WBf1c4": 1140,
1143
+ "WBf1c4(+)": 1141,
1144
+ "WBf1c4(x)": 1142,
1145
+ "WBf1d3": 1143,
1146
+ "WBf1d3(x)": 1144,
1147
+ "WBf1e2": 1145,
1148
+ "WBf1e2(x)": 1146,
1149
+ "WBf1g2": 1147,
1150
+ "WBf1h3": 1148,
1151
+ "WBf3b7(x)": 1149,
1152
+ "WBf3c6(x)": 1150,
1153
+ "WBf3d5(x)": 1151,
1154
+ "WBf3e2": 1152,
1155
+ "WBf3e4": 1153,
1156
+ "WBf3e4(x)": 1154,
1157
+ "WBf3g2": 1155,
1158
+ "WBf3g4": 1156,
1159
+ "WBf4c7(x)": 1157,
1160
+ "WBf4d2": 1158,
1161
+ "WBf4d6": 1159,
1162
+ "WBf4d6(x)": 1160,
1163
+ "WBf4e3": 1161,
1164
+ "WBf4e5": 1162,
1165
+ "WBf4e5(x)": 1163,
1166
+ "WBf4g3": 1164,
1167
+ "WBf4g5": 1165,
1168
+ "WBf4g5(x)": 1166,
1169
+ "WBf4h2": 1167,
1170
+ "WBf4h6": 1168,
1171
+ "WBf4h6(x)": 1169,
1172
+ "WBg2b7(x)": 1170,
1173
+ "WBg2c6(x)": 1171,
1174
+ "WBg2d5(x)": 1172,
1175
+ "WBg2e4": 1173,
1176
+ "WBg2e4(x)": 1174,
1177
+ "WBg2f1": 1175,
1178
+ "WBg2f3": 1176,
1179
+ "WBg2f3(x)": 1177,
1180
+ "WBg2h3": 1178,
1181
+ "WBg3d6(x)": 1179,
1182
+ "WBg3e5": 1180,
1183
+ "WBg3e5(x)": 1181,
1184
+ "WBg3f2": 1182,
1185
+ "WBg3f4": 1183,
1186
+ "WBg3h2": 1184,
1187
+ "WBg3h4": 1185,
1188
+ "WBg4f3": 1186,
1189
+ "WBg5d2": 1187,
1190
+ "WBg5d8(x)": 1188,
1191
+ "WBg5e3": 1189,
1192
+ "WBg5e7(x)": 1190,
1193
+ "WBg5f4": 1191,
1194
+ "WBg5f6": 1192,
1195
+ "WBg5f6(x)": 1193,
1196
+ "WBg5h4": 1194,
1197
+ "WBg5h6": 1195,
1198
+ "WBh3g2": 1196,
1199
+ "WBh4e7(x)": 1197,
1200
+ "WBh4f6(x)": 1198,
1201
+ "WBh4g3": 1199,
1202
+ "WBh5f3": 1200,
1203
+ "WBh6e3": 1201,
1204
+ "WBh6f8(x)": 1202,
1205
+ "WBh6g5": 1203,
1206
+ "WBh6g7(x)": 1204,
1207
+ "WKa1b1": 1205,
1208
+ "WKb1a1": 1206,
1209
+ "WKb1a2": 1207,
1210
+ "WKb1b2": 1208,
1211
+ "WKb1c1": 1209,
1212
+ "WKb1c2": 1210,
1213
+ "WKb2a3": 1211,
1214
+ "WKb2b3": 1212,
1215
+ "WKb2c1": 1213,
1216
+ "WKb2c2": 1214,
1217
+ "WKb2c3": 1215,
1218
+ "WKb3a4": 1216,
1219
+ "WKb3b4": 1217,
1220
+ "WKb3c2": 1218,
1221
+ "WKb3c3": 1219,
1222
+ "WKb3c4": 1220,
1223
+ "WKb4c5": 1221,
1224
+ "WKc1b1": 1222,
1225
+ "WKc1b2": 1223,
1226
+ "WKc1c2": 1224,
1227
+ "WKc1d1": 1225,
1228
+ "WKc1d2": 1226,
1229
+ "WKc2b1": 1227,
1230
+ "WKc2b2": 1228,
1231
+ "WKc2b3": 1229,
1232
+ "WKc2c1": 1230,
1233
+ "WKc2c3": 1231,
1234
+ "WKc2d1": 1232,
1235
+ "WKc2d2": 1233,
1236
+ "WKc2d3": 1234,
1237
+ "WKc3b2": 1235,
1238
+ "WKc3b3": 1236,
1239
+ "WKc3b4": 1237,
1240
+ "WKc3c2": 1238,
1241
+ "WKc3c4": 1239,
1242
+ "WKc3d2": 1240,
1243
+ "WKc3d3": 1241,
1244
+ "WKc3d4": 1242,
1245
+ "WKc4b3": 1243,
1246
+ "WKc4b5": 1244,
1247
+ "WKc4c5": 1245,
1248
+ "WKc4d3": 1246,
1249
+ "WKc4d4": 1247,
1250
+ "WKc4d5": 1248,
1251
+ "WKc5b6": 1249,
1252
+ "WKc5d6": 1250,
1253
+ "WKd1c1": 1251,
1254
+ "WKd1c2": 1252,
1255
+ "WKd1d2": 1253,
1256
+ "WKd1e1": 1254,
1257
+ "WKd1e2": 1255,
1258
+ "WKd2c1": 1256,
1259
+ "WKd2c2": 1257,
1260
+ "WKd2c3": 1258,
1261
+ "WKd2d1": 1259,
1262
+ "WKd2d3": 1260,
1263
+ "WKd2e1": 1261,
1264
+ "WKd2e2": 1262,
1265
+ "WKd2e3": 1263,
1266
+ "WKd3c2": 1264,
1267
+ "WKd3c3": 1265,
1268
+ "WKd3c4": 1266,
1269
+ "WKd3d2": 1267,
1270
+ "WKd3d4": 1268,
1271
+ "WKd3e2": 1269,
1272
+ "WKd3e3": 1270,
1273
+ "WKd3e4": 1271,
1274
+ "WKd4c3": 1272,
1275
+ "WKd4c4": 1273,
1276
+ "WKd4c5": 1274,
1277
+ "WKd4d3": 1275,
1278
+ "WKd4d5": 1276,
1279
+ "WKd4e3": 1277,
1280
+ "WKd4e4": 1278,
1281
+ "WKd4e5": 1279,
1282
+ "WKd5c6": 1280,
1283
+ "WKd5d6": 1281,
1284
+ "WKd5e6": 1282,
1285
+ "WKe1c1(O)": 1283,
1286
+ "WKe1d1": 1284,
1287
+ "WKe1d1(x)": 1285,
1288
+ "WKe1d2": 1286,
1289
+ "WKe1d2(x)": 1287,
1290
+ "WKe1e2": 1288,
1291
+ "WKe1e2(x)": 1289,
1292
+ "WKe1f1": 1290,
1293
+ "WKe1f2": 1291,
1294
+ "WKe1f2(x)": 1292,
1295
+ "WKe1g1(o)": 1293,
1296
+ "WKe2d1": 1294,
1297
+ "WKe2d2": 1295,
1298
+ "WKe2d3": 1296,
1299
+ "WKe2e1": 1297,
1300
+ "WKe2e3": 1298,
1301
+ "WKe2f1": 1299,
1302
+ "WKe2f2": 1300,
1303
+ "WKe2f3": 1301,
1304
+ "WKe3d2": 1302,
1305
+ "WKe3d3": 1303,
1306
+ "WKe3d4": 1304,
1307
+ "WKe3e2": 1305,
1308
+ "WKe3e4": 1306,
1309
+ "WKe3f2": 1307,
1310
+ "WKe3f3": 1308,
1311
+ "WKe3f4": 1309,
1312
+ "WKe4d3": 1310,
1313
+ "WKe4d4": 1311,
1314
+ "WKe4d5": 1312,
1315
+ "WKe4e3": 1313,
1316
+ "WKe4e5": 1314,
1317
+ "WKe4f3": 1315,
1318
+ "WKe4f4": 1316,
1319
+ "WKe4f5": 1317,
1320
+ "WKe5d6": 1318,
1321
+ "WKe5e6": 1319,
1322
+ "WKe5f6": 1320,
1323
+ "WKf1e1": 1321,
1324
+ "WKf1e2": 1322,
1325
+ "WKf1f2": 1323,
1326
+ "WKf1g1": 1324,
1327
+ "WKf1g2": 1325,
1328
+ "WKf2e1": 1326,
1329
+ "WKf2e2": 1327,
1330
+ "WKf2e3": 1328,
1331
+ "WKf2f1": 1329,
1332
+ "WKf2f3": 1330,
1333
+ "WKf2g1": 1331,
1334
+ "WKf2g2": 1332,
1335
+ "WKf2g3": 1333,
1336
+ "WKf3e2": 1334,
1337
+ "WKf3e3": 1335,
1338
+ "WKf3e4": 1336,
1339
+ "WKf3f2": 1337,
1340
+ "WKf3f4": 1338,
1341
+ "WKf3g2": 1339,
1342
+ "WKf3g3": 1340,
1343
+ "WKf3g4": 1341,
1344
+ "WKf4e3": 1342,
1345
+ "WKf4e4": 1343,
1346
+ "WKf4e5": 1344,
1347
+ "WKf4f3": 1345,
1348
+ "WKf4f5": 1346,
1349
+ "WKf4g3": 1347,
1350
+ "WKf4g4": 1348,
1351
+ "WKf4g5": 1349,
1352
+ "WKf5e6": 1350,
1353
+ "WKf5f6": 1351,
1354
+ "WKf5g5": 1352,
1355
+ "WKf5g6": 1353,
1356
+ "WKg1f1": 1354,
1357
+ "WKg1f1(x)": 1355,
1358
+ "WKg1f2": 1356,
1359
+ "WKg1f2(x)": 1357,
1360
+ "WKg1g2": 1358,
1361
+ "WKg1g2(x)": 1359,
1362
+ "WKg1h1": 1360,
1363
+ "WKg1h2": 1361,
1364
+ "WKg1h2(x)": 1362,
1365
+ "WKg2f1": 1363,
1366
+ "WKg2f2": 1364,
1367
+ "WKg2f3": 1365,
1368
+ "WKg2g1": 1366,
1369
+ "WKg2g3": 1367,
1370
+ "WKg2h1": 1368,
1371
+ "WKg2h2": 1369,
1372
+ "WKg2h3": 1370,
1373
+ "WKg3f2": 1371,
1374
+ "WKg3f3": 1372,
1375
+ "WKg3f4": 1373,
1376
+ "WKg3g2": 1374,
1377
+ "WKg3g4": 1375,
1378
+ "WKg3h2": 1376,
1379
+ "WKg3h3": 1377,
1380
+ "WKg3h4": 1378,
1381
+ "WKg4f3": 1379,
1382
+ "WKg4f4": 1380,
1383
+ "WKg4f5": 1381,
1384
+ "WKg4g3": 1382,
1385
+ "WKg4g5": 1383,
1386
+ "WKg4h3": 1384,
1387
+ "WKg4h5": 1385,
1388
+ "WKg5f4": 1386,
1389
+ "WKg5f6": 1387,
1390
+ "WKg5g6": 1388,
1391
+ "WKg5h6": 1389,
1392
+ "WKh1g1": 1390,
1393
+ "WKh1g2": 1391,
1394
+ "WKh1g2(x)": 1392,
1395
+ "WKh1h2": 1393,
1396
+ "WKh2g1": 1394,
1397
+ "WKh2g2": 1395,
1398
+ "WKh2g3": 1396,
1399
+ "WKh2h1": 1397,
1400
+ "WKh2h3": 1398,
1401
+ "WKh3g2": 1399,
1402
+ "WKh3g3": 1400,
1403
+ "WKh3g4": 1401,
1404
+ "WKh3h2": 1402,
1405
+ "WKh3h4": 1403,
1406
+ "WKh4g3": 1404,
1407
+ "WKh4g5": 1405,
1408
+ "WKh4h3": 1406,
1409
+ "WKh4h5": 1407,
1410
+ "WNa3b5": 1408,
1411
+ "WNa3c2": 1409,
1412
+ "WNa3c4": 1410,
1413
+ "WNa4b6": 1411,
1414
+ "WNa4c3": 1412,
1415
+ "WNa4c5": 1413,
1416
+ "WNa4c5(x)": 1414,
1417
+ "WNb1a3": 1415,
1418
+ "WNb1c3": 1416,
1419
+ "WNb1c3(x)": 1417,
1420
+ "WNb1d2": 1418,
1421
+ "WNb1d2(x)": 1419,
1422
+ "WNb3c5": 1420,
1423
+ "WNb3c5(x)": 1421,
1424
+ "WNb3d2": 1422,
1425
+ "WNb3d4": 1423,
1426
+ "WNb3d4(x)": 1424,
1427
+ "WNb5a3": 1425,
1428
+ "WNb5c3": 1426,
1429
+ "WNb5c7": 1427,
1430
+ "WNb5c7(x)": 1428,
1431
+ "WNb5d4": 1429,
1432
+ "WNb5d6": 1430,
1433
+ "WNb5d6(+)": 1431,
1434
+ "WNb5d6(x)": 1432,
1435
+ "WNb5d6(x+)": 1433,
1436
+ "WNb7c5": 1434,
1437
+ "WNc2e3": 1435,
1438
+ "WNc3a2": 1436,
1439
+ "WNc3a4": 1437,
1440
+ "WNc3a4(x)": 1438,
1441
+ "WNc3b1": 1439,
1442
+ "WNc3b5": 1440,
1443
+ "WNc3b5(x)": 1441,
1444
+ "WNc3d1": 1442,
1445
+ "WNc3d1(x)": 1443,
1446
+ "WNc3d5": 1444,
1447
+ "WNc3d5(+)": 1445,
1448
+ "WNc3d5(x)": 1446,
1449
+ "WNc3e2": 1447,
1450
+ "WNc3e2(x)": 1448,
1451
+ "WNc3e4": 1449,
1452
+ "WNc3e4(x)": 1450,
1453
+ "WNc4a5": 1451,
1454
+ "WNc4d2": 1452,
1455
+ "WNc4d6": 1453,
1456
+ "WNc4d6(x)": 1454,
1457
+ "WNc4e3": 1455,
1458
+ "WNc4e5": 1456,
1459
+ "WNc4e5(x)": 1457,
1460
+ "WNc5b7(x)": 1458,
1461
+ "WNc5d3": 1459,
1462
+ "WNc5d7": 1460,
1463
+ "WNc5e4": 1461,
1464
+ "WNc5e6(x)": 1462,
1465
+ "WNc6e5": 1463,
1466
+ "WNc7a8(x)": 1464,
1467
+ "WNc7d5": 1465,
1468
+ "WNd1e3": 1466,
1469
+ "WNd2b1": 1467,
1470
+ "WNd2b3": 1468,
1471
+ "WNd2c4": 1469,
1472
+ "WNd2c4(x)": 1470,
1473
+ "WNd2e4": 1471,
1474
+ "WNd2e4(x)": 1472,
1475
+ "WNd2f1": 1473,
1476
+ "WNd2f3": 1474,
1477
+ "WNd2f3(x)": 1475,
1478
+ "WNd3c5": 1476,
1479
+ "WNd3e5": 1477,
1480
+ "WNd3f4": 1478,
1481
+ "WNd4b3": 1479,
1482
+ "WNd4b5": 1480,
1483
+ "WNd4b5(x)": 1481,
1484
+ "WNd4c6": 1482,
1485
+ "WNd4c6(x)": 1483,
1486
+ "WNd4e2": 1484,
1487
+ "WNd4e6": 1485,
1488
+ "WNd4e6(x)": 1486,
1489
+ "WNd4f3": 1487,
1490
+ "WNd4f5": 1488,
1491
+ "WNd4f5(x)": 1489,
1492
+ "WNd5b6(x)": 1490,
1493
+ "WNd5c3": 1491,
1494
+ "WNd5c7": 1492,
1495
+ "WNd5c7(+)": 1493,
1496
+ "WNd5c7(x)": 1494,
1497
+ "WNd5e3": 1495,
1498
+ "WNd5e7(+)": 1496,
1499
+ "WNd5e7(x)": 1497,
1500
+ "WNd5e7(x+)": 1498,
1501
+ "WNd5f4": 1499,
1502
+ "WNd5f6(+)": 1500,
1503
+ "WNd5f6(x)": 1501,
1504
+ "WNd5f6(x+)": 1502,
1505
+ "WNd6b7(x)": 1503,
1506
+ "WNd6c4": 1504,
1507
+ "WNd6e4": 1505,
1508
+ "WNe1d3": 1506,
1509
+ "WNe1f3": 1507,
1510
+ "WNe2c1": 1508,
1511
+ "WNe2c3": 1509,
1512
+ "WNe2c3(x)": 1510,
1513
+ "WNe2d4": 1511,
1514
+ "WNe2d4(x)": 1512,
1515
+ "WNe2f4": 1513,
1516
+ "WNe2f4(x)": 1514,
1517
+ "WNe2g3": 1515,
1518
+ "WNe3c4": 1516,
1519
+ "WNe3d5": 1517,
1520
+ "WNe3f5": 1518,
1521
+ "WNe3g4": 1519,
1522
+ "WNe4c3": 1520,
1523
+ "WNe4c5": 1521,
1524
+ "WNe4c5(x)": 1522,
1525
+ "WNe4d2": 1523,
1526
+ "WNe4d6": 1524,
1527
+ "WNe4d6(+)": 1525,
1528
+ "WNe4d6(x)": 1526,
1529
+ "WNe4f6(+)": 1527,
1530
+ "WNe4f6(x)": 1528,
1531
+ "WNe4f6(x+)": 1529,
1532
+ "WNe4g3": 1530,
1533
+ "WNe4g5": 1531,
1534
+ "WNe4g5(x)": 1532,
1535
+ "WNe5c4": 1533,
1536
+ "WNe5c4(x)": 1534,
1537
+ "WNe5c6": 1535,
1538
+ "WNe5c6(x)": 1536,
1539
+ "WNe5d3": 1537,
1540
+ "WNe5d7": 1538,
1541
+ "WNe5d7(x)": 1539,
1542
+ "WNe5f3": 1540,
1543
+ "WNe5f7(x)": 1541,
1544
+ "WNe5g4": 1542,
1545
+ "WNe5g4(x)": 1543,
1546
+ "WNe5g6": 1544,
1547
+ "WNe5g6(x)": 1545,
1548
+ "WNe6f8(x)": 1546,
1549
+ "WNf1e3": 1547,
1550
+ "WNf1g3": 1548,
1551
+ "WNf3d2": 1549,
1552
+ "WNf3d2(x)": 1550,
1553
+ "WNf3d4": 1551,
1554
+ "WNf3d4(x)": 1552,
1555
+ "WNf3e1": 1553,
1556
+ "WNf3e5": 1554,
1557
+ "WNf3e5(+)": 1555,
1558
+ "WNf3e5(x)": 1556,
1559
+ "WNf3g1": 1557,
1560
+ "WNf3g5": 1558,
1561
+ "WNf3g5(+)": 1559,
1562
+ "WNf3g5(x)": 1560,
1563
+ "WNf3h2": 1561,
1564
+ "WNf3h4": 1562,
1565
+ "WNf3h4(x)": 1563,
1566
+ "WNf4d3": 1564,
1567
+ "WNf4d5": 1565,
1568
+ "WNf4d5(x)": 1566,
1569
+ "WNf4e2": 1567,
1570
+ "WNf4e6": 1568,
1571
+ "WNf4e6(x)": 1569,
1572
+ "WNf4g6(x)": 1570,
1573
+ "WNf4h5": 1571,
1574
+ "WNf5e3": 1572,
1575
+ "WNf5e7(+)": 1573,
1576
+ "WNf5g3": 1574,
1577
+ "WNf7h8(x)": 1575,
1578
+ "WNg1e2": 1576,
1579
+ "WNg1f3": 1577,
1580
+ "WNg1f3(x)": 1578,
1581
+ "WNg1h3": 1579,
1582
+ "WNg3e2": 1580,
1583
+ "WNg3e4": 1581,
1584
+ "WNg3e4(x)": 1582,
1585
+ "WNg3f5": 1583,
1586
+ "WNg3f5(x)": 1584,
1587
+ "WNg3h5": 1585,
1588
+ "WNg4e3": 1586,
1589
+ "WNg4e5": 1587,
1590
+ "WNg5e4": 1588,
1591
+ "WNg5e4(x)": 1589,
1592
+ "WNg5e6": 1590,
1593
+ "WNg5e6(x)": 1591,
1594
+ "WNg5f3": 1592,
1595
+ "WNg5f7": 1593,
1596
+ "WNg5f7(x)": 1594,
1597
+ "WNg5h3": 1595,
1598
+ "WNg5h7(x)": 1596,
1599
+ "WNh2f3": 1597,
1600
+ "WNh2g4": 1598,
1601
+ "WNh3f2": 1599,
1602
+ "WNh3f4": 1600,
1603
+ "WNh3g5": 1601,
1604
+ "WNh4f3": 1602,
1605
+ "WNh4f5": 1603,
1606
+ "WNh4f5(x)": 1604,
1607
+ "WNh4g6(x)": 1605,
1608
+ "WPa2a3": 1606,
1609
+ "WPa2a4": 1607,
1610
+ "WPa2b3(x)": 1608,
1611
+ "WPa3a4": 1609,
1612
+ "WPa3b4(x)": 1610,
1613
+ "WPa4a5": 1611,
1614
+ "WPa4b5(x)": 1612,
1615
+ "WPa5a6": 1613,
1616
+ "WPa5b6(x)": 1614,
1617
+ "WPa6a7": 1615,
1618
+ "WPa7a8(Q)": 1616,
1619
+ "WPb2a3(x)": 1617,
1620
+ "WPb2b3": 1618,
1621
+ "WPb2b4": 1619,
1622
+ "WPb2c3(x)": 1620,
1623
+ "WPb3a4(x)": 1621,
1624
+ "WPb3b4": 1622,
1625
+ "WPb3c4(x)": 1623,
1626
+ "WPb4a5(x)": 1624,
1627
+ "WPb4b5": 1625,
1628
+ "WPb4c5(x)": 1626,
1629
+ "WPb5a6(x)": 1627,
1630
+ "WPb5b6": 1628,
1631
+ "WPb5c6(x)": 1629,
1632
+ "WPb6b7": 1630,
1633
+ "WPb7b8(Q)": 1631,
1634
+ "WPc2b3(x)": 1632,
1635
+ "WPc2c3": 1633,
1636
+ "WPc2c4": 1634,
1637
+ "WPc2d3(x)": 1635,
1638
+ "WPc3b4(x)": 1636,
1639
+ "WPc3c4": 1637,
1640
+ "WPc3d4(x)": 1638,
1641
+ "WPc4b5(x)": 1639,
1642
+ "WPc4c5": 1640,
1643
+ "WPc4d5(x)": 1641,
1644
+ "WPc5b6(x)": 1642,
1645
+ "WPc5c6": 1643,
1646
+ "WPc5d6(x)": 1644,
1647
+ "WPc6c7": 1645,
1648
+ "WPc7c8(Q)": 1646,
1649
+ "WPd2c3(x)": 1647,
1650
+ "WPd2d3": 1648,
1651
+ "WPd2d4": 1649,
1652
+ "WPd3c4(x)": 1650,
1653
+ "WPd3d4": 1651,
1654
+ "WPd3e4(x)": 1652,
1655
+ "WPd4c5(x)": 1653,
1656
+ "WPd4d5": 1654,
1657
+ "WPd4e5(x)": 1655,
1658
+ "WPd5c6(x)": 1656,
1659
+ "WPd5d6": 1657,
1660
+ "WPd5d6(+)": 1658,
1661
+ "WPd5e6(x)": 1659,
1662
+ "WPd6d7": 1660,
1663
+ "WPd7d8(Q)": 1661,
1664
+ "WPe2e3": 1662,
1665
+ "WPe2e4": 1663,
1666
+ "WPe2f3(x)": 1664,
1667
+ "WPe3d4(x)": 1665,
1668
+ "WPe3e4": 1666,
1669
+ "WPe3f4(x)": 1667,
1670
+ "WPe4d5(x)": 1668,
1671
+ "WPe4e5": 1669,
1672
+ "WPe4f5(x)": 1670,
1673
+ "WPe5d6(x)": 1671,
1674
+ "WPe5d6(xE)": 1672,
1675
+ "WPe5e6": 1673,
1676
+ "WPe5e6(+)": 1674,
1677
+ "WPe5f6(x)": 1675,
1678
+ "WPe5f6(xE)": 1676,
1679
+ "WPe6e7": 1677,
1680
+ "WPe6f7(x+)": 1678,
1681
+ "WPe7e8(Q)": 1679,
1682
+ "WPf2e3(x)": 1680,
1683
+ "WPf2f3": 1681,
1684
+ "WPf2f4": 1682,
1685
+ "WPf2g3(x)": 1683,
1686
+ "WPf3e4(x)": 1684,
1687
+ "WPf3f4": 1685,
1688
+ "WPf3g4(x)": 1686,
1689
+ "WPf4e5(x)": 1687,
1690
+ "WPf4f5": 1688,
1691
+ "WPf4f5(+)": 1689,
1692
+ "WPf4g5(x)": 1690,
1693
+ "WPf5e6(x)": 1691,
1694
+ "WPf5f6": 1692,
1695
+ "WPf5f6(+)": 1693,
1696
+ "WPf5g6(x)": 1694,
1697
+ "WPf6f7": 1695,
1698
+ "WPf6g7(x)": 1696,
1699
+ "WPf7f8(Q)": 1697,
1700
+ "WPg2f3(x)": 1698,
1701
+ "WPg2g3": 1699,
1702
+ "WPg2g4": 1700,
1703
+ "WPg2h3(x)": 1701,
1704
+ "WPg3f4(x)": 1702,
1705
+ "WPg3g4": 1703,
1706
+ "WPg3h4(x)": 1704,
1707
+ "WPg4f5(x)": 1705,
1708
+ "WPg4g5": 1706,
1709
+ "WPg4g5(+)": 1707,
1710
+ "WPg4h5(x)": 1708,
1711
+ "WPg5f6(x)": 1709,
1712
+ "WPg5g6": 1710,
1713
+ "WPg5h6(x)": 1711,
1714
+ "WPg6g7": 1712,
1715
+ "WPg7g8(Q)": 1713,
1716
+ "WPh2g3(x)": 1714,
1717
+ "WPh2h3": 1715,
1718
+ "WPh2h4": 1716,
1719
+ "WPh3g4(x)": 1717,
1720
+ "WPh3h4": 1718,
1721
+ "WPh4g5(x)": 1719,
1722
+ "WPh4h5": 1720,
1723
+ "WPh5g6(x)": 1721,
1724
+ "WPh5h6": 1722,
1725
+ "WPh6h7": 1723,
1726
+ "WPh7h8(Q)": 1724,
1727
+ "WQa4b3": 1725,
1728
+ "WQa4c2": 1726,
1729
+ "WQb3a4": 1727,
1730
+ "WQb3b7(x)": 1728,
1731
+ "WQb3c2": 1729,
1732
+ "WQb3c3": 1730,
1733
+ "WQb3d1": 1731,
1734
+ "WQb3d5(x)": 1732,
1735
+ "WQb5b7(x)": 1733,
1736
+ "WQb7a7(x)": 1734,
1737
+ "WQc2b1": 1735,
1738
+ "WQc2b3": 1736,
1739
+ "WQc2c3": 1737,
1740
+ "WQc2d1": 1738,
1741
+ "WQc2d2": 1739,
1742
+ "WQc2d3": 1740,
1743
+ "WQc2d3(x)": 1741,
1744
+ "WQc2e2": 1742,
1745
+ "WQc2e4(x)": 1743,
1746
+ "WQc4d3": 1744,
1747
+ "WQd1a1(x)": 1745,
1748
+ "WQd1a4": 1746,
1749
+ "WQd1a4(+)": 1747,
1750
+ "WQd1b1": 1748,
1751
+ "WQd1b3": 1749,
1752
+ "WQd1b3(+)": 1750,
1753
+ "WQd1c1": 1751,
1754
+ "WQd1c2": 1752,
1755
+ "WQd1d2": 1753,
1756
+ "WQd1d2(x)": 1754,
1757
+ "WQd1d3": 1755,
1758
+ "WQd1d3(x)": 1756,
1759
+ "WQd1d4": 1757,
1760
+ "WQd1d4(x)": 1758,
1761
+ "WQd1d5": 1759,
1762
+ "WQd1d5(x)": 1760,
1763
+ "WQd1d6(x)": 1761,
1764
+ "WQd1d8(x)": 1762,
1765
+ "WQd1d8(x+)": 1763,
1766
+ "WQd1e1": 1764,
1767
+ "WQd1e2": 1765,
1768
+ "WQd1e2(+)": 1766,
1769
+ "WQd1e2(x)": 1767,
1770
+ "WQd1f1": 1768,
1771
+ "WQd1f3": 1769,
1772
+ "WQd1f3(x)": 1770,
1773
+ "WQd1g4": 1771,
1774
+ "WQd1g4(x)": 1772,
1775
+ "WQd1h5": 1773,
1776
+ "WQd1h5(+)": 1774,
1777
+ "WQd1h5(x)": 1775,
1778
+ "WQd2c2": 1776,
1779
+ "WQd2c3": 1777,
1780
+ "WQd2c3(x)": 1778,
1781
+ "WQd2d3": 1779,
1782
+ "WQd2d3(x)": 1780,
1783
+ "WQd2d4(x)": 1781,
1784
+ "WQd2e2": 1782,
1785
+ "WQd2e3": 1783,
1786
+ "WQd2e3(x)": 1784,
1787
+ "WQd2f2": 1785,
1788
+ "WQd2f4": 1786,
1789
+ "WQd2f4(x)": 1787,
1790
+ "WQd2g5": 1788,
1791
+ "WQd2h6(x)": 1789,
1792
+ "WQd3b3": 1790,
1793
+ "WQd3c2": 1791,
1794
+ "WQd3c3": 1792,
1795
+ "WQd3c4": 1793,
1796
+ "WQd3d2": 1794,
1797
+ "WQd3d4": 1795,
1798
+ "WQd3e2": 1796,
1799
+ "WQd3e3": 1797,
1800
+ "WQd3e4": 1798,
1801
+ "WQd3e4(x)": 1799,
1802
+ "WQd3f3": 1800,
1803
+ "WQd3g3": 1801,
1804
+ "WQd4d1": 1802,
1805
+ "WQd4d2": 1803,
1806
+ "WQd4d3": 1804,
1807
+ "WQd4e3": 1805,
1808
+ "WQe1g3": 1806,
1809
+ "WQe2b5": 1807,
1810
+ "WQe2c2": 1808,
1811
+ "WQe2c4": 1809,
1812
+ "WQe2c4(x)": 1810,
1813
+ "WQe2d1": 1811,
1814
+ "WQe2d2": 1812,
1815
+ "WQe2d3": 1813,
1816
+ "WQe2d3(x)": 1814,
1817
+ "WQe2e3": 1815,
1818
+ "WQe2e3(x)": 1816,
1819
+ "WQe2e4": 1817,
1820
+ "WQe2e4(x)": 1818,
1821
+ "WQe2e5(x)": 1819,
1822
+ "WQe2f2": 1820,
1823
+ "WQe2f3": 1821,
1824
+ "WQe2f3(x)": 1822,
1825
+ "WQe2g4": 1823,
1826
+ "WQe2h5": 1824,
1827
+ "WQe3d2": 1825,
1828
+ "WQe3e2": 1826,
1829
+ "WQe3f3": 1827,
1830
+ "WQe3f4": 1828,
1831
+ "WQe3g3": 1829,
1832
+ "WQe4f3": 1830,
1833
+ "WQf2g3": 1831,
1834
+ "WQf3b7(x)": 1832,
1835
+ "WQf3d1": 1833,
1836
+ "WQf3d3": 1834,
1837
+ "WQf3d5(x)": 1835,
1838
+ "WQf3e2": 1836,
1839
+ "WQf3e3": 1837,
1840
+ "WQf3e4": 1838,
1841
+ "WQf3e4(x)": 1839,
1842
+ "WQf3f2": 1840,
1843
+ "WQf3f4": 1841,
1844
+ "WQf3f6(x)": 1842,
1845
+ "WQf3g3": 1843,
1846
+ "WQf3g4": 1844,
1847
+ "WQf3h3": 1845,
1848
+ "WQf3h5": 1846,
1849
+ "WQf4g3": 1847,
1850
+ "WQg3f3": 1848,
1851
+ "WQg3g4": 1849,
1852
+ "WQg3h4": 1850,
1853
+ "WQg4e2": 1851,
1854
+ "WQg4f3": 1852,
1855
+ "WQg4g3": 1853,
1856
+ "WQg4h4": 1854,
1857
+ "WQh4g3": 1855,
1858
+ "WQh5e2": 1856,
1859
+ "WQh5f3": 1857,
1860
+ "WQh5g4": 1858,
1861
+ "WQh5h4": 1859,
1862
+ "WQh5h6": 1860,
1863
+ "WRa1a2": 1861,
1864
+ "WRa1a2(x)": 1862,
1865
+ "WRa1a3": 1863,
1866
+ "WRa1a3(x)": 1864,
1867
+ "WRa1a4(x)": 1865,
1868
+ "WRa1a5(x)": 1866,
1869
+ "WRa1a6(x)": 1867,
1870
+ "WRa1a7": 1868,
1871
+ "WRa1a7(x)": 1869,
1872
+ "WRa1a8(x)": 1870,
1873
+ "WRa1b1": 1871,
1874
+ "WRa1c1": 1872,
1875
+ "WRa1c1(x)": 1873,
1876
+ "WRa1d1": 1874,
1877
+ "WRa1d1(+)": 1875,
1878
+ "WRa1d1(x)": 1876,
1879
+ "WRa1e1": 1877,
1880
+ "WRa1e1(x)": 1878,
1881
+ "WRa1f1": 1879,
1882
+ "WRa1f1(x)": 1880,
1883
+ "WRa1g1": 1881,
1884
+ "WRa1h1": 1882,
1885
+ "WRa6a7": 1883,
1886
+ "WRa7a8(+)": 1884,
1887
+ "WRa7b7": 1885,
1888
+ "WRb1a1": 1886,
1889
+ "WRb1b2": 1887,
1890
+ "WRb1b2(x)": 1888,
1891
+ "WRb1b3": 1889,
1892
+ "WRb1b7": 1890,
1893
+ "WRb1b7(x)": 1891,
1894
+ "WRb1c1": 1892,
1895
+ "WRb1d1": 1893,
1896
+ "WRb1e1": 1894,
1897
+ "WRb1f1": 1895,
1898
+ "WRb7a7(x)": 1896,
1899
+ "WRc1a1": 1897,
1900
+ "WRc1b1": 1898,
1901
+ "WRc1c2": 1899,
1902
+ "WRc1c2(x)": 1900,
1903
+ "WRc1c3": 1901,
1904
+ "WRc1c3(x)": 1902,
1905
+ "WRc1c4": 1903,
1906
+ "WRc1c4(x)": 1904,
1907
+ "WRc1c5": 1905,
1908
+ "WRc1c5(x)": 1906,
1909
+ "WRc1c6": 1907,
1910
+ "WRc1c6(x)": 1908,
1911
+ "WRc1c7": 1909,
1912
+ "WRc1c7(x)": 1910,
1913
+ "WRc1c8(x)": 1911,
1914
+ "WRc1c8(x+)": 1912,
1915
+ "WRc1d1": 1913,
1916
+ "WRc1e1": 1914,
1917
+ "WRc1f1": 1915,
1918
+ "WRc7a7(x)": 1916,
1919
+ "WRc7b7(x)": 1917,
1920
+ "WRd1a1": 1918,
1921
+ "WRd1b1": 1919,
1922
+ "WRd1c1": 1920,
1923
+ "WRd1d2": 1921,
1924
+ "WRd1d2(x)": 1922,
1925
+ "WRd1d3": 1923,
1926
+ "WRd1d3(x)": 1924,
1927
+ "WRd1d4": 1925,
1928
+ "WRd1d4(x)": 1926,
1929
+ "WRd1d5": 1927,
1930
+ "WRd1d5(x)": 1928,
1931
+ "WRd1d6": 1929,
1932
+ "WRd1d6(x)": 1930,
1933
+ "WRd1d7": 1931,
1934
+ "WRd1d7(+)": 1932,
1935
+ "WRd1d7(x)": 1933,
1936
+ "WRd1d8(+)": 1934,
1937
+ "WRd1d8(x)": 1935,
1938
+ "WRd1d8(x+)": 1936,
1939
+ "WRd1e1": 1937,
1940
+ "WRd1e1(x)": 1938,
1941
+ "WRd1f1": 1939,
1942
+ "WRd1g1": 1940,
1943
+ "WRd1h1": 1941,
1944
+ "WRd2c2": 1942,
1945
+ "WRd2d3": 1943,
1946
+ "WRd2e2": 1944,
1947
+ "WRd6d7": 1945,
1948
+ "WRd7b7(x)": 1946,
1949
+ "WRe1a1": 1947,
1950
+ "WRe1b1": 1948,
1951
+ "WRe1c1": 1949,
1952
+ "WRe1d1": 1950,
1953
+ "WRe1d1(x)": 1951,
1954
+ "WRe1e2": 1952,
1955
+ "WRe1e2(x)": 1953,
1956
+ "WRe1e3": 1954,
1957
+ "WRe1e3(x)": 1955,
1958
+ "WRe1e4": 1956,
1959
+ "WRe1e4(x)": 1957,
1960
+ "WRe1e5": 1958,
1961
+ "WRe1e5(x)": 1959,
1962
+ "WRe1e6": 1960,
1963
+ "WRe1e6(x)": 1961,
1964
+ "WRe1e7": 1962,
1965
+ "WRe1e7(+)": 1963,
1966
+ "WRe1e7(x)": 1964,
1967
+ "WRe1e8(+)": 1965,
1968
+ "WRe1e8(x)": 1966,
1969
+ "WRe1e8(x+)": 1967,
1970
+ "WRe1f1": 1968,
1971
+ "WRe1g1": 1969,
1972
+ "WRe1h1": 1970,
1973
+ "WRe2d2": 1971,
1974
+ "WRe2e1": 1972,
1975
+ "WRe2e3": 1973,
1976
+ "WRe2f2": 1974,
1977
+ "WRe3e2": 1975,
1978
+ "WRe3f3": 1976,
1979
+ "WRe3g3": 1977,
1980
+ "WRf1a1": 1978,
1981
+ "WRf1a1(x)": 1979,
1982
+ "WRf1b1": 1980,
1983
+ "WRf1c1": 1981,
1984
+ "WRf1c1(x)": 1982,
1985
+ "WRf1d1": 1983,
1986
+ "WRf1d1(x)": 1984,
1987
+ "WRf1e1": 1985,
1988
+ "WRf1e1(+)": 1986,
1989
+ "WRf1e1(x)": 1987,
1990
+ "WRf1f2": 1988,
1991
+ "WRf1f2(x)": 1989,
1992
+ "WRf1f3": 1990,
1993
+ "WRf1f3(x)": 1991,
1994
+ "WRf1f4": 1992,
1995
+ "WRf1f4(x)": 1993,
1996
+ "WRf1f5": 1994,
1997
+ "WRf1f5(x)": 1995,
1998
+ "WRf1f6(x)": 1996,
1999
+ "WRf1f7": 1997,
2000
+ "WRf1f7(x)": 1998,
2001
+ "WRf1f8(x+)": 1999,
2002
+ "WRf1g1": 2000,
2003
+ "WRf1h1": 2001,
2004
+ "WRf2e2": 2002,
2005
+ "WRf2f1": 2003,
2006
+ "WRf2f3": 2004,
2007
+ "WRf2g2": 2005,
2008
+ "WRf3e3": 2006,
2009
+ "WRf3f2": 2007,
2010
+ "WRf3g3": 2008,
2011
+ "WRf3h3": 2009,
2012
+ "WRg1d1": 2010,
2013
+ "WRg1e1": 2011,
2014
+ "WRg1f1": 2012,
2015
+ "WRg1g2": 2013,
2016
+ "WRg1g3": 2014,
2017
+ "WRg1h1": 2015,
2018
+ "WRg3f3": 2016,
2019
+ "WRh1b1": 2017,
2020
+ "WRh1c1": 2018,
2021
+ "WRh1d1": 2019,
2022
+ "WRh1d1(x)": 2020,
2023
+ "WRh1e1": 2021,
2024
+ "WRh1f1": 2022,
2025
+ "WRh1g1": 2023,
2026
+ "WRh1h2": 2024,
2027
+ "WRh1h3": 2025,
2028
+ "WRh1h5(x)": 2026,
2029
+ "WRh3g3": 2027
2030
+ }