Chess Challenge submission by mathispernin

README.md

@@ -0,0 +1,26 @@
+---
+library_name: transformers
+tags:
+- chess
+- llm-course
+- chess-challenge
+license: mit
+---
+
+# mathispernin-chess-model-2
+
+Chess model submitted to the LLM Course Chess Challenge.
+
+## Submission Info
+
+- **Submitted by**: [mathispernin](https://huggingface.co/mathispernin)
+- **Parameters**: 999,912
+- **Organization**: LLM-course
+
+## Model Details
+
+- **Architecture**: Chess Transformer (GPT-style)
+- **Vocab size**: 1295
+- **Embedding dim**: 128
+- **Layers**: 6
+- **Heads**: 4

config.json

@@ -0,0 +1,21 @@
+{
+  "architectures": [
+    "ChessForCausalLM"
+  ],
+  "bos_token_id": 1,
+  "dropout": 0.0,
+  "dtype": "float32",
+  "eos_token_id": 2,
+  "layer_norm_epsilon": 1e-05,
+  "model_type": "chess_transformer",
+  "n_ctx": 256,
+  "n_embd": 128,
+  "n_head": 4,
+  "n_inner": 380,
+  "n_layer": 6,
+  "norm_type": "rmsnorm",
+  "pad_token_id": 0,
+  "tie_weights": true,
+  "transformers_version": "4.57.3",
+  "vocab_size": 1295
+}

model.safetensors

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

special_tokens_map.json

@@ -0,0 +1,6 @@
+{
+  "bos_token": "[BOS]",
+  "eos_token": "[EOS]",
+  "pad_token": "[PAD]",
+  "unk_token": "[UNK]"
+}

tokenizer.py

@@ -0,0 +1,278 @@
+"""
+Custom Chess Tokenizer for the Chess Challenge.
+
+This tokenizer treats each move as a single token using the extended UCI notation
+from the Lichess dataset (e.g., WPe2e4, BNg8f6).
+
+The dataset format uses:
+- W/B prefix for White/Black
+- Piece letter: P=Pawn, N=Knight, B=Bishop, R=Rook, Q=Queen, K=King
+- Source and destination squares (e.g., e2e4)
+- Special suffixes: (x)=capture, (+)=check, (+*)=checkmate, (o)/(O)=castling
+"""
+
+from __future__ import annotations
+
+import json
+import os
+from pathlib import Path
+from typing import Dict, List, Optional
+
+from transformers import PreTrainedTokenizer
+
+
+class ChessTokenizer(PreTrainedTokenizer):
+    """
+    A custom tokenizer for chess moves using extended UCI notation.
+    
+    This tokenizer maps each possible chess move to a unique token ID.
+    The vocabulary is built from the training dataset to ensure all moves
+    encountered during training have a corresponding token.
+    
+    Example:
+        >>> tokenizer = ChessTokenizer()
+        >>> tokenizer.encode("WPe2e4 BPe7e5")
+        [1, 42, 87, 2]  # [BOS, e2e4, e7e5, EOS]
+    """
+    
+    model_input_names = ["input_ids", "attention_mask"]
+    vocab_files_names = {"vocab_file": "vocab.json"}
+    
+    # Special tokens
+    PAD_TOKEN = "[PAD]"
+    BOS_TOKEN = "[BOS]"
+    EOS_TOKEN = "[EOS]"
+    UNK_TOKEN = "[UNK]"
+    
+    def __init__(
+        self,
+        vocab_file: Optional[str] = None,
+        vocab: Optional[Dict[str, int]] = None,
+        **kwargs,
+    ):
+        """
+        Initialize the chess tokenizer.
+        
+        Args:
+            vocab_file: Path to a JSON file containing the vocabulary mapping.
+            vocab: Dictionary mapping tokens to IDs (alternative to vocab_file).
+            **kwargs: Additional arguments passed to PreTrainedTokenizer.
+        """
+        # Initialize special tokens
+        self._pad_token = self.PAD_TOKEN
+        self._bos_token = self.BOS_TOKEN
+        self._eos_token = self.EOS_TOKEN
+        self._unk_token = self.UNK_TOKEN
+
+        # Remove any duplicate special-token entries passed through kwargs
+        # to avoid "multiple values for keyword" errors when loading from disk.
+        kwargs.pop("pad_token", None)
+        kwargs.pop("bos_token", None)
+        kwargs.pop("eos_token", None)
+        kwargs.pop("unk_token", None)
+        
+        # Load or create vocabulary
+        if vocab is not None:
+            self._vocab = vocab
+        elif vocab_file is not None and os.path.exists(vocab_file):
+            with open(vocab_file, "r", encoding="utf-8") as f:
+                self._vocab = json.load(f)
+        else:
+            # Create a minimal vocabulary with just special tokens
+            # The full vocabulary should be built from the dataset
+            self._vocab = self._create_default_vocab()
+        
+        # Create reverse mapping
+        self._ids_to_tokens = {v: k for k, v in self._vocab.items()}
+        
+        # Call parent init AFTER setting up vocab
+        super().__init__(
+            pad_token=self._pad_token,
+            bos_token=self._bos_token,
+            eos_token=self._eos_token,
+            unk_token=self._unk_token,
+            **kwargs,
+        )
+    
+    def _create_default_vocab(self) -> Dict[str, int]:
+        """
+        Create a minimal default vocabulary with just special tokens.
+        
+        For the full vocabulary, use `build_vocab_from_dataset()`.
+        This minimal vocab is just a placeholder - you should build from data.
+        """
+        special_tokens = [self.PAD_TOKEN, self.BOS_TOKEN, self.EOS_TOKEN, self.UNK_TOKEN]
+        vocab = {token: idx for idx, token in enumerate(special_tokens)}
+        return vocab
+    
+    @classmethod
+    def build_vocab_from_iterator(
+        cls,
+        iterator,
+        min_frequency: int = 1,
+    ) -> "ChessTokenizer":
+        """
+        Build a tokenizer vocabulary from an iterator of game strings.
+        
+        Args:
+            iterator: An iterator yielding game strings (space-separated moves).
+            min_frequency: Minimum frequency for a token to be included.
+        
+        Returns:
+            A ChessTokenizer with the built vocabulary.
+        """
+        from collections import Counter
+        
+        token_counts = Counter()
+        
+        for game in iterator:
+            moves = game.strip().split()
+            token_counts.update(moves)
+        
+        # Filter by frequency
+        tokens = [
+            token for token, count in token_counts.items()
+            if count >= min_frequency
+        ]
+        
+        # Sort for reproducibility
+        tokens = sorted(tokens)
+        
+        # Build vocabulary
+        special_tokens = [cls.PAD_TOKEN, cls.BOS_TOKEN, cls.EOS_TOKEN, cls.UNK_TOKEN]
+        vocab = {token: idx for idx, token in enumerate(special_tokens + tokens)}
+        
+        return cls(vocab=vocab)
+    
+    @classmethod
+    def build_vocab_from_dataset(
+        cls,
+        dataset_name: str = "dlouapre/lichess_2025-01_1M",
+        split: str = "train",
+        column: str = "text",
+        min_frequency: int = 500,
+        max_samples: Optional[int] = 100000,
+    ) -> "ChessTokenizer":
+        """
+        Build a tokenizer vocabulary from a Hugging Face dataset.
+        
+        Args:
+            dataset_name: Name of the dataset on Hugging Face Hub.
+            split: Dataset split to use.
+            column: Column containing the game strings.
+            min_frequency: Minimum frequency for a token to be included (default: 500).
+            max_samples: Maximum number of samples to process (default: 100k).
+        
+        Returns:
+            A ChessTokenizer with the built vocabulary.
+        """
+        from datasets import load_dataset
+        
+        dataset = load_dataset(dataset_name, split=split)
+        
+        if max_samples is not None:
+            dataset = dataset.select(range(min(max_samples, len(dataset))))
+        
+        def game_iterator():
+            for example in dataset:
+                yield example[column]
+        
+        return cls.build_vocab_from_iterator(game_iterator(), min_frequency=min_frequency)
+    
+    @property
+    def vocab_size(self) -> int:
+        """Return the size of the vocabulary."""
+        return len(self._vocab)
+    
+    def get_vocab(self) -> Dict[str, int]:
+        """Return the vocabulary as a dictionary."""
+        return dict(self._vocab)
+    
+    def _tokenize(self, text: str) -> List[str]:
+        """
+        Tokenize a string of moves into a list of tokens.
+        
+        Args:
+            text: A string of space-separated moves.
+        
+        Returns:
+            List of move tokens.
+        """
+        return text.strip().split()
+    
+    def _convert_token_to_id(self, token: str) -> int:
+        """Convert a token to its ID."""
+        return self._vocab.get(token, self._vocab.get(self.UNK_TOKEN, 0))
+    
+    def _convert_id_to_token(self, index: int) -> str:
+        """Convert an ID to its token."""
+        return self._ids_to_tokens.get(index, self.UNK_TOKEN)
+    
+    def convert_tokens_to_string(self, tokens: List[str]) -> str:
+        """Convert a list of tokens back to a string."""
+        # Filter out special tokens for cleaner output
+        special = {self.PAD_TOKEN, self.BOS_TOKEN, self.EOS_TOKEN, self.UNK_TOKEN}
+        return " ".join(t for t in tokens if t not in special)
+    
+    def save_vocabulary(
+        self,
+        save_directory: str,
+        filename_prefix: Optional[str] = None,
+    ) -> tuple:
+        """
+        Save the vocabulary to a JSON file.
+        
+        Args:
+            save_directory: Directory to save the vocabulary.
+            filename_prefix: Optional prefix for the filename.
+        
+        Returns:
+            Tuple containing the path to the saved vocabulary file.
+        """
+        if not os.path.isdir(save_directory):
+            os.makedirs(save_directory, exist_ok=True)
+        
+        vocab_file = os.path.join(
+            save_directory,
+            (filename_prefix + "-" if filename_prefix else "") + "vocab.json",
+        )
+        
+        with open(vocab_file, "w", encoding="utf-8") as f:
+            json.dump(self._vocab, f, ensure_ascii=False, indent=2)
+        
+        return (vocab_file,)
+
+
+def count_vocab_from_dataset(
+    dataset_name: str = "dlouapre/lichess_2025-01_1M",
+    split: str = "train",
+    column: str = "text",
+    max_samples: Optional[int] = 10000,
+) -> Dict[str, int]:
+    """
+    Count token frequencies in a dataset (useful for vocabulary analysis).
+    
+    Args:
+        dataset_name: Name of the dataset on Hugging Face Hub.
+        split: Dataset split to use.
+        column: Column containing the game strings.
+        max_samples: Maximum number of samples to process.
+    
+    Returns:
+        Dictionary mapping tokens to their frequencies.
+    """
+    from collections import Counter
+    from datasets import load_dataset
+    
+    dataset = load_dataset(dataset_name, split=split)
+    
+    if max_samples is not None:
+        dataset = dataset.select(range(min(max_samples, len(dataset))))
+    
+    token_counts = Counter()
+    
+    for example in dataset:
+        moves = example[column].strip().split()
+        token_counts.update(moves)
+    
+    return dict(token_counts)

tokenizer_config.json

@@ -0,0 +1,44 @@
+{
+  "added_tokens_decoder": {
+    "0": {
+      "content": "[PAD]",
+      "lstrip": false,
+      "normalized": false,
+      "rstrip": false,
+      "single_word": false,
+      "special": true
+    },
+    "1": {
+      "content": "[BOS]",
+      "lstrip": false,
+      "normalized": false,
+      "rstrip": false,
+      "single_word": false,
+      "special": true
+    },
+    "2": {
+      "content": "[EOS]",
+      "lstrip": false,
+      "normalized": false,
+      "rstrip": false,
+      "single_word": false,
+      "special": true
+    },
+    "3": {
+      "content": "[UNK]",
+      "lstrip": false,
+      "normalized": false,
+      "rstrip": false,
+      "single_word": false,
+      "special": true
+    }
+  },
+  "bos_token": "[BOS]",
+  "clean_up_tokenization_spaces": false,
+  "eos_token": "[EOS]",
+  "extra_special_tokens": {},
+  "model_max_length": 1000000000000000019884624838656,
+  "pad_token": "[PAD]",
+  "tokenizer_class": "ChessTokenizer",
+  "unk_token": "[UNK]"
+}

vocab.json

@@ -0,0 +1,1297 @@
+{
+  "[PAD]": 0,
+  "[BOS]": 1,
+  "[EOS]": 2,
+  "[UNK]": 3,
+  "BBa5b6": 4,
+  "BBa6b7": 5,
+  "BBb4a5": 6,
+  "BBb4c3(x)": 7,
+  "BBb4c3(x+)": 8,
+  "BBb4c5": 9,
+  "BBb4d2(x+)": 10,
+  "BBb4d6": 11,
+  "BBb4e7": 12,
+  "BBb6c7": 13,
+  "BBb7a6": 14,
+  "BBb7c6": 15,
+  "BBb7c6(x)": 16,
+  "BBb7c8": 17,
+  "BBb7d5": 18,
+  "BBb7d5(x)": 19,
+  "BBb7e4(x)": 20,
+  "BBb7f3(x)": 21,
+  "BBb7g2(x)": 22,
+  "BBc5a7": 23,
+  "BBc5b4": 24,
+  "BBc5b6": 25,
+  "BBc5d4": 26,
+  "BBc5d4(x)": 27,
+  "BBc5d6": 28,
+  "BBc5e3(x)": 29,
+  "BBc5e7": 30,
+  "BBc5f2(x+)": 31,
+  "BBc6d7": 32,
+  "BBc8a6": 33,
+  "BBc8b7": 34,
+  "BBc8d7": 35,
+  "BBc8d7(x)": 36,
+  "BBc8e6": 37,
+  "BBc8e6(x)": 38,
+  "BBc8f5": 39,
+  "BBc8f5(x)": 40,
+  "BBc8g4": 41,
+  "BBc8g4(x)": 42,
+  "BBc8h3": 43,
+  "BBc8h3(x)": 44,
+  "BBd6b4": 45,
+  "BBd6c5": 46,
+  "BBd6c7": 47,
+  "BBd6e5": 48,
+  "BBd6e5(x)": 49,
+  "BBd6e7": 50,
+  "BBd6f4(x)": 51,
+  "BBd6g3(x)": 52,
+  "BBd7b5": 53,
+  "BBd7b5(x)": 54,
+  "BBd7c6": 55,
+  "BBd7c6(x)": 56,
+  "BBd7e6": 57,
+  "BBd7e8": 58,
+  "BBd7f5": 59,
+  "BBd7g4": 60,
+  "BBe6a2(x)": 61,
+  "BBe6b3(x)": 62,
+  "BBe6c4(x)": 63,
+  "BBe6d5": 64,
+  "BBe6d5(x)": 65,
+  "BBe6d7": 66,
+  "BBe6f5": 67,
+  "BBe6f7": 68,
+  "BBe6g4": 69,
+  "BBe7b4": 70,
+  "BBe7c5": 71,
+  "BBe7c5(x)": 72,
+  "BBe7d6": 73,
+  "BBe7d6(x)": 74,
+  "BBe7d8": 75,
+  "BBe7f6": 76,
+  "BBe7f6(x)": 77,
+  "BBe7f8": 78,
+  "BBe7g5": 79,
+  "BBe7g5(x)": 80,
+  "BBe7h4": 81,
+  "BBe7h4(x)": 82,
+  "BBf5c2(x)": 83,
+  "BBf5d3(x)": 84,
+  "BBf5d7": 85,
+  "BBf5e4": 86,
+  "BBf5e4(x)": 87,
+  "BBf5e6": 88,
+  "BBf5g4": 89,
+  "BBf5g6": 90,
+  "BBf6b2(x)": 91,
+  "BBf6d4(x)": 92,
+  "BBf6e5(x)": 93,
+  "BBf6e7": 94,
+  "BBf6g5": 95,
+  "BBf6g7": 96,
+  "BBf8b4": 97,
+  "BBf8b4(+)": 98,
+  "BBf8c5": 99,
+  "BBf8c5(x)": 100,
+  "BBf8d6": 101,
+  "BBf8d6(x)": 102,
+  "BBf8e7": 103,
+  "BBf8g7": 104,
+  "BBf8h6": 105,
+  "BBg4d1(x)": 106,
+  "BBg4d7": 107,
+  "BBg4e2(x)": 108,
+  "BBg4e6": 109,
+  "BBg4f3(x)": 110,
+  "BBg4f5": 111,
+  "BBg4h5": 112,
+  "BBg7b2(x)": 113,
+  "BBg7c3(x)": 114,
+  "BBg7d4(x)": 115,
+  "BBg7e5": 116,
+  "BBg7e5(x)": 117,
+  "BBg7f6": 118,
+  "BBg7f6(x)": 119,
+  "BBg7f8": 120,
+  "BBg7h6": 121,
+  "BBh5f3(x)": 122,
+  "BBh5g6": 123,
+  "BKb7a6": 124,
+  "BKb7b6": 125,
+  "BKb8a7": 126,
+  "BKb8a8": 127,
+  "BKb8c7": 128,
+  "BKb8c8": 129,
+  "BKc5b4": 130,
+  "BKc6b5": 131,
+  "BKc6b6": 132,
+  "BKc6c5": 133,
+  "BKc6d5": 134,
+  "BKc6d6": 135,
+  "BKc6d7": 136,
+  "BKc7b6": 137,
+  "BKc7b7": 138,
+  "BKc7b8": 139,
+  "BKc7c6": 140,
+  "BKc7d6": 141,
+  "BKc7d7": 142,
+  "BKc8b7": 143,
+  "BKc8b8": 144,
+  "BKc8c7": 145,
+  "BKc8d7": 146,
+  "BKc8d8": 147,
+  "BKd5c4": 148,
+  "BKd5e4": 149,
+  "BKd6c5": 150,
+  "BKd6c6": 151,
+  "BKd6c7": 152,
+  "BKd6d5": 153,
+  "BKd6e5": 154,
+  "BKd6e6": 155,
+  "BKd6e7": 156,
+  "BKd7c6": 157,
+  "BKd7c7": 158,
+  "BKd7c8": 159,
+  "BKd7d6": 160,
+  "BKd7d8": 161,
+  "BKd7e6": 162,
+  "BKd7e7": 163,
+  "BKd7e8": 164,
+  "BKd8c7": 165,
+  "BKd8c8": 166,
+  "BKd8d7": 167,
+  "BKd8e7": 168,
+  "BKd8e8": 169,
+  "BKe5d4": 170,
+  "BKe5d5": 171,
+  "BKe5d6": 172,
+  "BKe5e4": 173,
+  "BKe5f4": 174,
+  "BKe5f6": 175,
+  "BKe6d5": 176,
+  "BKe6d6": 177,
+  "BKe6d7": 178,
+  "BKe6e5": 179,
+  "BKe6e7": 180,
+  "BKe6f5": 181,
+  "BKe6f6": 182,
+  "BKe6f7": 183,
+  "BKe7d6": 184,
+  "BKe7d7": 185,
+  "BKe7d8": 186,
+  "BKe7e6": 187,
+  "BKe7e8": 188,
+  "BKe7f6": 189,
+  "BKe7f7": 190,
+  "BKe7f8": 191,
+  "BKe8c8(O)": 192,
+  "BKe8d7": 193,
+  "BKe8d7(x)": 194,
+  "BKe8d8": 195,
+  "BKe8d8(x)": 196,
+  "BKe8e7": 197,
+  "BKe8f7": 198,
+  "BKe8f7(x)": 199,
+  "BKe8f8": 200,
+  "BKe8g8(o)": 201,
+  "BKf5e4": 202,
+  "BKf5e5": 203,
+  "BKf5e6": 204,
+  "BKf5f4": 205,
+  "BKf5g4": 206,
+  "BKf5g6": 207,
+  "BKf6e5": 208,
+  "BKf6e6": 209,
+  "BKf6e7": 210,
+  "BKf6f5": 211,
+  "BKf6f7": 212,
+  "BKf6g5": 213,
+  "BKf6g6": 214,
+  "BKf6g7": 215,
+  "BKf7e6": 216,
+  "BKf7e7": 217,
+  "BKf7e8": 218,
+  "BKf7f6": 219,
+  "BKf7f8": 220,
+  "BKf7g6": 221,
+  "BKf7g7": 222,
+  "BKf7g8": 223,
+  "BKf8e7": 224,
+  "BKf8e8": 225,
+  "BKf8f7": 226,
+  "BKf8g7": 227,
+  "BKf8g8": 228,
+  "BKg5f4": 229,
+  "BKg5f6": 230,
+  "BKg5g4": 231,
+  "BKg6f5": 232,
+  "BKg6f6": 233,
+  "BKg6f7": 234,
+  "BKg6g5": 235,
+  "BKg6g7": 236,
+  "BKg6h5": 237,
+  "BKg6h6": 238,
+  "BKg6h7": 239,
+  "BKg7f6": 240,
+  "BKg7f7": 241,
+  "BKg7f8": 242,
+  "BKg7g6": 243,
+  "BKg7g8": 244,
+  "BKg7h6": 245,
+  "BKg7h7": 246,
+  "BKg7h8": 247,
+  "BKg8f7": 248,
+  "BKg8f7(x)": 249,
+  "BKg8f8": 250,
+  "BKg8f8(x)": 251,
+  "BKg8g7": 252,
+  "BKg8g7(x)": 253,
+  "BKg8h7": 254,
+  "BKg8h7(x)": 255,
+  "BKg8h8": 256,
+  "BKh6g5": 257,
+  "BKh6g6": 258,
+  "BKh6g7": 259,
+  "BKh6h5": 260,
+  "BKh7g6": 261,
+  "BKh7g7": 262,
+  "BKh7g8": 263,
+  "BKh7h6": 264,
+  "BKh7h8": 265,
+  "BKh8g7": 266,
+  "BKh8g8": 267,
+  "BKh8h7": 268,
+  "BNa5c4": 269,
+  "BNa5c4(x)": 270,
+  "BNa5c6": 271,
+  "BNa6b4": 272,
+  "BNa6c5": 273,
+  "BNa6c7": 274,
+  "BNb4c6": 275,
+  "BNb4d3": 276,
+  "BNb4d3(x)": 277,
+  "BNb4d5": 278,
+  "BNb6c4": 279,
+  "BNb6d5": 280,
+  "BNb6d7": 281,
+  "BNb8a6": 282,
+  "BNb8c6": 283,
+  "BNb8c6(x)": 284,
+  "BNb8d7": 285,
+  "BNb8d7(x)": 286,
+  "BNc2a1(x)": 287,
+  "BNc5d3": 288,
+  "BNc5d7": 289,
+  "BNc5e4": 290,
+  "BNc5e4(x)": 291,
+  "BNc5e6": 292,
+  "BNc6a5": 293,
+  "BNc6b4": 294,
+  "BNc6b4(x)": 295,
+  "BNc6b8": 296,
+  "BNc6d4": 297,
+  "BNc6d4(x)": 298,
+  "BNc6d8": 299,
+  "BNc6e5": 300,
+  "BNc6e5(x)": 301,
+  "BNc6e7": 302,
+  "BNd4c6": 303,
+  "BNd4e2(+)": 304,
+  "BNd4e6": 305,
+  "BNd4f3(x+)": 306,
+  "BNd4f5": 307,
+  "BNd5b4": 308,
+  "BNd5b6": 309,
+  "BNd5c3": 310,
+  "BNd5c3(x)": 311,
+  "BNd5e3": 312,
+  "BNd5e3(x)": 313,
+  "BNd5e7": 314,
+  "BNd5f4": 315,
+  "BNd5f4(x)": 316,
+  "BNd5f6": 317,
+  "BNd7b6": 318,
+  "BNd7c5": 319,
+  "BNd7c5(x)": 320,
+  "BNd7e5": 321,
+  "BNd7e5(x)": 322,
+  "BNd7f6": 323,
+  "BNd7f6(x)": 324,
+  "BNd7f8": 325,
+  "BNe4c3": 326,
+  "BNe4c3(x)": 327,
+  "BNe4c5": 328,
+  "BNe4d2(x)": 329,
+  "BNe4d6": 330,
+  "BNe4f2(x)": 331,
+  "BNe4f6": 332,
+  "BNe4g3(x)": 333,
+  "BNe4g5": 334,
+  "BNe5c4": 335,
+  "BNe5c4(x)": 336,
+  "BNe5c6": 337,
+  "BNe5d3": 338,
+  "BNe5d3(x)": 339,
+  "BNe5d7": 340,
+  "BNe5f3(+)": 341,
+  "BNe5f3(x+)": 342,
+  "BNe5g4": 343,
+  "BNe5g6": 344,
+  "BNe7c6": 345,
+  "BNe7c6(x)": 346,
+  "BNe7d5": 347,
+  "BNe7d5(x)": 348,
+  "BNe7f5": 349,
+  "BNe7f5(x)": 350,
+  "BNe7g6": 351,
+  "BNf5d4": 352,
+  "BNf5d4(x)": 353,
+  "BNf5e3(x)": 354,
+  "BNf5h4": 355,
+  "BNf6d5": 356,
+  "BNf6d5(x)": 357,
+  "BNf6d7": 358,
+  "BNf6d7(x)": 359,
+  "BNf6e4": 360,
+  "BNf6e4(x)": 361,
+  "BNf6e8": 362,
+  "BNf6g4": 363,
+  "BNf6g4(x)": 364,
+  "BNf6g8": 365,
+  "BNf6h5": 366,
+  "BNf6h5(x)": 367,
+  "BNf6h7": 368,
+  "BNf8g6": 369,
+  "BNg4e3": 370,
+  "BNg4e3(x)": 371,
+  "BNg4e5": 372,
+  "BNg4e5(x)": 373,
+  "BNg4f2(x)": 374,
+  "BNg4f6": 375,
+  "BNg4h6": 376,
+  "BNg6e5": 377,
+  "BNg6e5(x)": 378,
+  "BNg6e7": 379,
+  "BNg6f4": 380,
+  "BNg6h4": 381,
+  "BNg8e7": 382,
+  "BNg8f6": 383,
+  "BNg8f6(x)": 384,
+  "BNg8h6": 385,
+  "BNh5f4": 386,
+  "BNh5f6": 387,
+  "BNh5g3(x)": 388,
+  "BNh6f5": 389,
+  "BNh6g4": 390,
+  "BNh7g5": 391,
+  "BPa2a1(Q)": 392,
+  "BPa3a2": 393,
+  "BPa4a3": 394,
+  "BPa4b3(x)": 395,
+  "BPa5a4": 396,
+  "BPa5b4(x)": 397,
+  "BPa6a5": 398,
+  "BPa6b5(x)": 399,
+  "BPa7a5": 400,
+  "BPa7a6": 401,
+  "BPa7b6(x)": 402,
+  "BPb2b1(Q)": 403,
+  "BPb3b2": 404,
+  "BPb4a3(x)": 405,
+  "BPb4b3": 406,
+  "BPb4c3(x)": 407,
+  "BPb5a4(x)": 408,
+  "BPb5b4": 409,
+  "BPb5c4(x)": 410,
+  "BPb6a5(x)": 411,
+  "BPb6b5": 412,
+  "BPb6c5(x)": 413,
+  "BPb7a6(x)": 414,
+  "BPb7b5": 415,
+  "BPb7b6": 416,
+  "BPb7c6(x)": 417,
+  "BPc3c2": 418,
+  "BPc4b3(x)": 419,
+  "BPc4c3": 420,
+  "BPc4d3(x)": 421,
+  "BPc5b4(x)": 422,
+  "BPc5c4": 423,
+  "BPc5d4(x)": 424,
+  "BPc6b5(x)": 425,
+  "BPc6c5": 426,
+  "BPc6d5(x)": 427,
+  "BPc7b6(x)": 428,
+  "BPc7c5": 429,
+  "BPc7c6": 430,
+  "BPc7d6(x)": 431,
+  "BPd3d2": 432,
+  "BPd4c3(x)": 433,
+  "BPd4d3": 434,
+  "BPd4e3(x)": 435,
+  "BPd5c4(x)": 436,
+  "BPd5d4": 437,
+  "BPd5e4(x)": 438,
+  "BPd6c5(x)": 439,
+  "BPd6d5": 440,
+  "BPd6e5(x)": 441,
+  "BPd7c6(x)": 442,
+  "BPd7d5": 443,
+  "BPd7d6": 444,
+  "BPe3e2": 445,
+  "BPe4d3(x)": 446,
+  "BPe4e3": 447,
+  "BPe4f3(x)": 448,
+  "BPe5d4(x)": 449,
+  "BPe5e4": 450,
+  "BPe5f4(x)": 451,
+  "BPe6d5(x)": 452,
+  "BPe6e5": 453,
+  "BPe6f5(x)": 454,
+  "BPe7e5": 455,
+  "BPe7e6": 456,
+  "BPe7f6(x)": 457,
+  "BPf3f2": 458,
+  "BPf4f3": 459,
+  "BPf4g3(x)": 460,
+  "BPf5e4(x)": 461,
+  "BPf5f4": 462,
+  "BPf5g4(x)": 463,
+  "BPf6e5(x)": 464,
+  "BPf6f5": 465,
+  "BPf6g5(x)": 466,
+  "BPf7e6(x)": 467,
+  "BPf7f5": 468,
+  "BPf7f6": 469,
+  "BPf7g6(x)": 470,
+  "BPg3g2": 471,
+  "BPg4f3(x)": 472,
+  "BPg4g3": 473,
+  "BPg5f4(x)": 474,
+  "BPg5g4": 475,
+  "BPg5h4(x)": 476,
+  "BPg6f5(x)": 477,
+  "BPg6g5": 478,
+  "BPg6h5(x)": 479,
+  "BPg7f6(x)": 480,
+  "BPg7g5": 481,
+  "BPg7g6": 482,
+  "BPg7h6(x)": 483,
+  "BPh2h1(Q)": 484,
+  "BPh3h2": 485,
+  "BPh4g3(x)": 486,
+  "BPh4h3": 487,
+  "BPh5g4(x)": 488,
+  "BPh5h4": 489,
+  "BPh6g5(x)": 490,
+  "BPh6h5": 491,
+  "BPh7g6(x)": 492,
+  "BPh7h5": 493,
+  "BPh7h6": 494,
+  "BQa5b6": 495,
+  "BQa5c7": 496,
+  "BQb6a5": 497,
+  "BQb6b2(x)": 498,
+  "BQb6c7": 499,
+  "BQb6d8": 500,
+  "BQc7b6": 501,
+  "BQc7c6": 502,
+  "BQc7d6": 503,
+  "BQc7d7": 504,
+  "BQc7d8": 505,
+  "BQc7e5(x)": 506,
+  "BQc7e7": 507,
+  "BQd5a5": 508,
+  "BQd5d8": 509,
+  "BQd6d7": 510,
+  "BQd6e7": 511,
+  "BQd7c6": 512,
+  "BQd7c7": 513,
+  "BQd7d6": 514,
+  "BQd7e6": 515,
+  "BQd7e7": 516,
+  "BQd8a5": 517,
+  "BQd8a5(+)": 518,
+  "BQd8b6": 519,
+  "BQd8c7": 520,
+  "BQd8c8": 521,
+  "BQd8d1(x+)": 522,
+  "BQd8d4(x)": 523,
+  "BQd8d5": 524,
+  "BQd8d5(x)": 525,
+  "BQd8d6": 526,
+  "BQd8d6(x)": 527,
+  "BQd8d7": 528,
+  "BQd8d7(x)": 529,
+  "BQd8e7": 530,
+  "BQd8e7(x)": 531,
+  "BQd8e8": 532,
+  "BQd8f6": 533,
+  "BQd8f6(x)": 534,
+  "BQd8g5": 535,
+  "BQd8g5(x)": 536,
+  "BQd8h4": 537,
+  "BQd8h4(+)": 538,
+  "BQe7d6": 539,
+  "BQe7d7": 540,
+  "BQe7e5(x)": 541,
+  "BQe7e6": 542,
+  "BQe7f6": 543,
+  "BQe7f6(x)": 544,
+  "BQe7f7": 545,
+  "BQe7g5": 546,
+  "BQf6e6": 547,
+  "BQf6e7": 548,
+  "BQf6f3(x)": 549,
+  "BQf6g6": 550,
+  "BRa8a7": 551,
+  "BRa8b8": 552,
+  "BRa8c8": 553,
+  "BRa8c8(x)": 554,
+  "BRa8d8": 555,
+  "BRa8d8(x)": 556,
+  "BRa8e8": 557,
+  "BRa8e8(x)": 558,
+  "BRa8f8": 559,
+  "BRa8f8(x)": 560,
+  "BRa8g8": 561,
+  "BRb2a2(x)": 562,
+  "BRb8a8": 563,
+  "BRb8b2(x)": 564,
+  "BRb8b6": 565,
+  "BRb8b7": 566,
+  "BRb8c8": 567,
+  "BRb8d8": 568,
+  "BRb8e8": 569,
+  "BRc8a8": 570,
+  "BRc8b8": 571,
+  "BRc8c1(x)": 572,
+  "BRc8c2": 573,
+  "BRc8c2(x)": 574,
+  "BRc8c3(x)": 575,
+  "BRc8c4": 576,
+  "BRc8c4(x)": 577,
+  "BRc8c5(x)": 578,
+  "BRc8c6": 579,
+  "BRc8c6(x)": 580,
+  "BRc8c7": 581,
+  "BRc8d8": 582,
+  "BRc8e8": 583,
+  "BRc8f8": 584,
+  "BRd8a8": 585,
+  "BRd8b8": 586,
+  "BRd8c8": 587,
+  "BRd8d1(+)": 588,
+  "BRd8d1(x)": 589,
+  "BRd8d1(x+)": 590,
+  "BRd8d2": 591,
+  "BRd8d2(x)": 592,
+  "BRd8d3": 593,
+  "BRd8d3(x)": 594,
+  "BRd8d4": 595,
+  "BRd8d4(x)": 596,
+  "BRd8d5": 597,
+  "BRd8d5(x)": 598,
+  "BRd8d6": 599,
+  "BRd8d6(x)": 600,
+  "BRd8d7": 601,
+  "BRd8d7(x)": 602,
+  "BRd8e8": 603,
+  "BRd8f8": 604,
+  "BRd8g8": 605,
+  "BRe8b8": 606,
+  "BRe8c8": 607,
+  "BRe8d8": 608,
+  "BRe8e1(x)": 609,
+  "BRe8e1(x+)": 610,
+  "BRe8e2": 611,
+  "BRe8e2(x)": 612,
+  "BRe8e3(x)": 613,
+  "BRe8e4": 614,
+  "BRe8e4(x)": 615,
+  "BRe8e5": 616,
+  "BRe8e5(x)": 617,
+  "BRe8e6": 618,
+  "BRe8e6(x)": 619,
+  "BRe8e7": 620,
+  "BRe8e7(x)": 621,
+  "BRe8f8": 622,
+  "BRe8g8": 623,
+  "BRf8a8": 624,
+  "BRf8b8": 625,
+  "BRf8c8": 626,
+  "BRf8d8": 627,
+  "BRf8d8(x)": 628,
+  "BRf8e8": 629,
+  "BRf8e8(+)": 630,
+  "BRf8f1(x+)": 631,
+  "BRf8f3(x)": 632,
+  "BRf8f4(x)": 633,
+  "BRf8f5": 634,
+  "BRf8f5(x)": 635,
+  "BRf8f6": 636,
+  "BRf8f6(x)": 637,
+  "BRf8f7": 638,
+  "BRf8f7(x)": 639,
+  "BRf8g8": 640,
+  "BRf8h8": 641,
+  "BRg8f8": 642,
+  "BRg8g6": 643,
+  "BRg8g7": 644,
+  "BRh8c8": 645,
+  "BRh8d8": 646,
+  "BRh8e8": 647,
+  "BRh8f8": 648,
+  "BRh8g8": 649,
+  "BRh8h7": 650,
+  "WBa4b3": 651,
+  "WBb2a3": 652,
+  "WBb2c1": 653,
+  "WBb2c3": 654,
+  "WBb2d4(x)": 655,
+  "WBb2e5(x)": 656,
+  "WBb2f6(x)": 657,
+  "WBb2g7(x)": 658,
+  "WBb3a2": 659,
+  "WBb3c2": 660,
+  "WBb3d5(x)": 661,
+  "WBb5a4": 662,
+  "WBb5c4": 663,
+  "WBb5c6(x)": 664,
+  "WBb5c6(x+)": 665,
+  "WBb5d3": 666,
+  "WBb5d7(x+)": 667,
+  "WBb5e2": 668,
+  "WBc1a3": 669,
+  "WBc1b2": 670,
+  "WBc1d2": 671,
+  "WBc1e3": 672,
+  "WBc1e3(x)": 673,
+  "WBc1f4": 674,
+  "WBc1f4(x)": 675,
+  "WBc1g5": 676,
+  "WBc1g5(x)": 677,
+  "WBc1h6": 678,
+  "WBc1h6(x)": 679,
+  "WBc2b3": 680,
+  "WBc4a2": 681,
+  "WBc4b3": 682,
+  "WBc4b5": 683,
+  "WBc4b5(+)": 684,
+  "WBc4d3": 685,
+  "WBc4d5": 686,
+  "WBc4d5(x)": 687,
+  "WBc4e2": 688,
+  "WBc4e6(x)": 689,
+  "WBc4f7(x+)": 690,
+  "WBd2b4": 691,
+  "WBd2b4(x)": 692,
+  "WBd2c3": 693,
+  "WBd2c3(x)": 694,
+  "WBd2e1": 695,
+  "WBd2e3": 696,
+  "WBd2f4": 697,
+  "WBd2g5": 698,
+  "WBd3b1": 699,
+  "WBd3b5": 700,
+  "WBd3c2": 701,
+  "WBd3c4": 702,
+  "WBd3c4(x)": 703,
+  "WBd3e2": 704,
+  "WBd3e4": 705,
+  "WBd3e4(x)": 706,
+  "WBd3f5(x)": 707,
+  "WBd3g6(x)": 708,
+  "WBd3h7(x+)": 709,
+  "WBd4e3": 710,
+  "WBd5b3": 711,
+  "WBe2b5": 712,
+  "WBe2c4": 713,
+  "WBe2c4(x)": 714,
+  "WBe2d3": 715,
+  "WBe2f1": 716,
+  "WBe2f3": 717,
+  "WBe2f3(x)": 718,
+  "WBe2g4": 719,
+  "WBe2g4(x)": 720,
+  "WBe3a7(x)": 721,
+  "WBe3b6(x)": 722,
+  "WBe3c5": 723,
+  "WBe3c5(x)": 724,
+  "WBe3d2": 725,
+  "WBe3d4": 726,
+  "WBe3d4(x)": 727,
+  "WBe3f2": 728,
+  "WBe3f4": 729,
+  "WBe3f4(x)": 730,
+  "WBe3g5": 731,
+  "WBe3g5(x)": 732,
+  "WBe3h6": 733,
+  "WBe3h6(x)": 734,
+  "WBe4d3": 735,
+  "WBe5f6(x)": 736,
+  "WBf1b5": 737,
+  "WBf1b5(+)": 738,
+  "WBf1c4": 739,
+  "WBf1c4(x)": 740,
+  "WBf1d3": 741,
+  "WBf1d3(x)": 742,
+  "WBf1e2": 743,
+  "WBf1g2": 744,
+  "WBf1h3": 745,
+  "WBf3d5(x)": 746,
+  "WBf3e2": 747,
+  "WBf3e4(x)": 748,
+  "WBf3g2": 749,
+  "WBf3g4": 750,
+  "WBf4c7(x)": 751,
+  "WBf4d2": 752,
+  "WBf4d6(x)": 753,
+  "WBf4e3": 754,
+  "WBf4e5": 755,
+  "WBf4e5(x)": 756,
+  "WBf4g3": 757,
+  "WBf4g5": 758,
+  "WBf4h2": 759,
+  "WBg2b7(x)": 760,
+  "WBg2d5(x)": 761,
+  "WBg2e4(x)": 762,
+  "WBg2f1": 763,
+  "WBg2f3": 764,
+  "WBg2f3(x)": 765,
+  "WBg2h3": 766,
+  "WBg3e5(x)": 767,
+  "WBg5d2": 768,
+  "WBg5d8(x)": 769,
+  "WBg5e3": 770,
+  "WBg5e7(x)": 771,
+  "WBg5f4": 772,
+  "WBg5f6(x)": 773,
+  "WBg5h4": 774,
+  "WBg5h6": 775,
+  "WBh4f6(x)": 776,
+  "WBh4g3": 777,
+  "WBh6g5": 778,
+  "WBh6g7(x)": 779,
+  "WKb1a1": 780,
+  "WKb1a2": 781,
+  "WKb1c1": 782,
+  "WKb1c2": 783,
+  "WKc1b1": 784,
+  "WKc1b2": 785,
+  "WKc1c2": 786,
+  "WKc1d1": 787,
+  "WKc1d2": 788,
+  "WKc2b2": 789,
+  "WKc2b3": 790,
+  "WKc2c3": 791,
+  "WKc2d2": 792,
+  "WKc2d3": 793,
+  "WKc3b3": 794,
+  "WKc3b4": 795,
+  "WKc3d3": 796,
+  "WKd1c1": 797,
+  "WKd1c2": 798,
+  "WKd1d2": 799,
+  "WKd1e1": 800,
+  "WKd1e2": 801,
+  "WKd2c1": 802,
+  "WKd2c2": 803,
+  "WKd2c3": 804,
+  "WKd2d3": 805,
+  "WKd2e1": 806,
+  "WKd2e2": 807,
+  "WKd2e3": 808,
+  "WKd3c2": 809,
+  "WKd3c3": 810,
+  "WKd3c4": 811,
+  "WKd3d4": 812,
+  "WKd3e2": 813,
+  "WKd3e3": 814,
+  "WKd3e4": 815,
+  "WKd4c5": 816,
+  "WKe1c1(O)": 817,
+  "WKe1d1": 818,
+  "WKe1d1(x)": 819,
+  "WKe1d2": 820,
+  "WKe1e2": 821,
+  "WKe1f1": 822,
+  "WKe1f2": 823,
+  "WKe1f2(x)": 824,
+  "WKe1g1(o)": 825,
+  "WKe2d1": 826,
+  "WKe2d2": 827,
+  "WKe2d3": 828,
+  "WKe2e1": 829,
+  "WKe2e3": 830,
+  "WKe2f1": 831,
+  "WKe2f2": 832,
+  "WKe2f3": 833,
+  "WKe3d2": 834,
+  "WKe3d3": 835,
+  "WKe3d4": 836,
+  "WKe3e2": 837,
+  "WKe3e4": 838,
+  "WKe3f2": 839,
+  "WKe3f3": 840,
+  "WKe3f4": 841,
+  "WKe4d3": 842,
+  "WKe4d4": 843,
+  "WKe4d5": 844,
+  "WKe4e5": 845,
+  "WKe4f3": 846,
+  "WKe4f5": 847,
+  "WKf1e1": 848,
+  "WKf1e2": 849,
+  "WKf1f2": 850,
+  "WKf1g1": 851,
+  "WKf1g2": 852,
+  "WKf2e1": 853,
+  "WKf2e2": 854,
+  "WKf2e3": 855,
+  "WKf2f1": 856,
+  "WKf2f3": 857,
+  "WKf2g1": 858,
+  "WKf2g2": 859,
+  "WKf2g3": 860,
+  "WKf3e2": 861,
+  "WKf3e3": 862,
+  "WKf3e4": 863,
+  "WKf3f2": 864,
+  "WKf3f4": 865,
+  "WKf3g2": 866,
+  "WKf3g3": 867,
+  "WKf3g4": 868,
+  "WKf4e3": 869,
+  "WKf4e4": 870,
+  "WKf4e5": 871,
+  "WKf4f5": 872,
+  "WKf4g3": 873,
+  "WKf4g5": 874,
+  "WKg1f1": 875,
+  "WKg1f1(x)": 876,
+  "WKg1f2": 877,
+  "WKg1f2(x)": 878,
+  "WKg1g2": 879,
+  "WKg1g2(x)": 880,
+  "WKg1h1": 881,
+  "WKg1h2": 882,
+  "WKg2f1": 883,
+  "WKg2f2": 884,
+  "WKg2f3": 885,
+  "WKg2g1": 886,
+  "WKg2g3": 887,
+  "WKg2h1": 888,
+  "WKg2h2": 889,
+  "WKg2h3": 890,
+  "WKg3f2": 891,
+  "WKg3f3": 892,
+  "WKg3f4": 893,
+  "WKg3g2": 894,
+  "WKg3g4": 895,
+  "WKg3h2": 896,
+  "WKg3h3": 897,
+  "WKg3h4": 898,
+  "WKg4f3": 899,
+  "WKg4f5": 900,
+  "WKg4g5": 901,
+  "WKh1g1": 902,
+  "WKh1g2": 903,
+  "WKh1h2": 904,
+  "WKh2g1": 905,
+  "WKh2g2": 906,
+  "WKh2g3": 907,
+  "WKh2h1": 908,
+  "WKh2h3": 909,
+  "WKh3g2": 910,
+  "WKh3g3": 911,
+  "WKh3g4": 912,
+  "WKh3h4": 913,
+  "WNa3b5": 914,
+  "WNa3c2": 915,
+  "WNa3c4": 916,
+  "WNa4c3": 917,
+  "WNa4c5": 918,
+  "WNb1a3": 919,
+  "WNb1c3": 920,
+  "WNb1c3(x)": 921,
+  "WNb1d2": 922,
+  "WNb3c5": 923,
+  "WNb3d2": 924,
+  "WNb3d4": 925,
+  "WNb5c3": 926,
+  "WNb5d4": 927,
+  "WNb5d6": 928,
+  "WNc3a4": 929,
+  "WNc3b1": 930,
+  "WNc3b5": 931,
+  "WNc3b5(x)": 932,
+  "WNc3d1": 933,
+  "WNc3d5": 934,
+  "WNc3d5(x)": 935,
+  "WNc3e2": 936,
+  "WNc3e4": 937,
+  "WNc3e4(x)": 938,
+  "WNc4d6": 939,
+  "WNc4e3": 940,
+  "WNc4e5": 941,
+  "WNc7a8(x)": 942,
+  "WNd2b3": 943,
+  "WNd2c4": 944,
+  "WNd2c4(x)": 945,
+  "WNd2e4": 946,
+  "WNd2e4(x)": 947,
+  "WNd2f1": 948,
+  "WNd2f3": 949,
+  "WNd2f3(x)": 950,
+  "WNd4b3": 951,
+  "WNd4b5": 952,
+  "WNd4c6": 953,
+  "WNd4c6(x)": 954,
+  "WNd4e2": 955,
+  "WNd4e6": 956,
+  "WNd4e6(x)": 957,
+  "WNd4f3": 958,
+  "WNd4f5": 959,
+  "WNd5c3": 960,
+  "WNd5e3": 961,
+  "WNd5e7(+)": 962,
+  "WNd5e7(x+)": 963,
+  "WNd5f4": 964,
+  "WNd5f6(x+)": 965,
+  "WNe2c3": 966,
+  "WNe2d4": 967,
+  "WNe2d4(x)": 968,
+  "WNe2f4": 969,
+  "WNe2f4(x)": 970,
+  "WNe2g3": 971,
+  "WNe4c3": 972,
+  "WNe4c5": 973,
+  "WNe4c5(x)": 974,
+  "WNe4d6": 975,
+  "WNe4d6(x)": 976,
+  "WNe4f6(+)": 977,
+  "WNe4f6(x+)": 978,
+  "WNe4g3": 979,
+  "WNe4g5": 980,
+  "WNe5c4": 981,
+  "WNe5c6": 982,
+  "WNe5c6(x)": 983,
+  "WNe5d3": 984,
+  "WNe5d7": 985,
+  "WNe5d7(x)": 986,
+  "WNe5f3": 987,
+  "WNe5f7(x)": 988,
+  "WNe5g4": 989,
+  "WNe5g6(x)": 990,
+  "WNf1e3": 991,
+  "WNf1g3": 992,
+  "WNf3d2": 993,
+  "WNf3d2(x)": 994,
+  "WNf3d4": 995,
+  "WNf3d4(x)": 996,
+  "WNf3e1": 997,
+  "WNf3e5": 998,
+  "WNf3e5(x)": 999,
+  "WNf3g1": 1000,
+  "WNf3g5": 1001,
+  "WNf3g5(+)": 1002,
+  "WNf3g5(x)": 1003,
+  "WNf3h2": 1004,
+  "WNf3h4": 1005,
+  "WNf3h4(x)": 1006,
+  "WNf4d5": 1007,
+  "WNf4h5": 1008,
+  "WNf7h8(x)": 1009,
+  "WNg1e2": 1010,
+  "WNg1f3": 1011,
+  "WNg1f3(x)": 1012,
+  "WNg1h3": 1013,
+  "WNg3e2": 1014,
+  "WNg3e4": 1015,
+  "WNg3f5": 1016,
+  "WNg3h5": 1017,
+  "WNg5e4": 1018,
+  "WNg5e4(x)": 1019,
+  "WNg5e6": 1020,
+  "WNg5e6(x)": 1021,
+  "WNg5f3": 1022,
+  "WNg5f7(x)": 1023,
+  "WNg5h3": 1024,
+  "WNh2f3": 1025,
+  "WNh2g4": 1026,
+  "WNh3f4": 1027,
+  "WNh3g5": 1028,
+  "WNh4f3": 1029,
+  "WNh4f5": 1030,
+  "WNh4g6(x)": 1031,
+  "WPa2a3": 1032,
+  "WPa2a4": 1033,
+  "WPa2b3(x)": 1034,
+  "WPa3a4": 1035,
+  "WPa3b4(x)": 1036,
+  "WPa4a5": 1037,
+  "WPa4b5(x)": 1038,
+  "WPa5a6": 1039,
+  "WPa5b6(x)": 1040,
+  "WPa6a7": 1041,
+  "WPa7a8(Q)": 1042,
+  "WPb2a3(x)": 1043,
+  "WPb2b3": 1044,
+  "WPb2b4": 1045,
+  "WPb2c3(x)": 1046,
+  "WPb3a4(x)": 1047,
+  "WPb3b4": 1048,
+  "WPb3c4(x)": 1049,
+  "WPb4a5(x)": 1050,
+  "WPb4b5": 1051,
+  "WPb4c5(x)": 1052,
+  "WPb5b6": 1053,
+  "WPb5c6(x)": 1054,
+  "WPb6b7": 1055,
+  "WPb7b8(Q)": 1056,
+  "WPc2b3(x)": 1057,
+  "WPc2c3": 1058,
+  "WPc2c4": 1059,
+  "WPc2d3(x)": 1060,
+  "WPc3b4(x)": 1061,
+  "WPc3c4": 1062,
+  "WPc3d4(x)": 1063,
+  "WPc4b5(x)": 1064,
+  "WPc4c5": 1065,
+  "WPc4d5(x)": 1066,
+  "WPc5b6(x)": 1067,
+  "WPc5c6": 1068,
+  "WPc5d6(x)": 1069,
+  "WPc6c7": 1070,
+  "WPd2d3": 1071,
+  "WPd2d4": 1072,
+  "WPd3c4(x)": 1073,
+  "WPd3d4": 1074,
+  "WPd3e4(x)": 1075,
+  "WPd4c5(x)": 1076,
+  "WPd4d5": 1077,
+  "WPd4e5(x)": 1078,
+  "WPd5c6(x)": 1079,
+  "WPd5d6": 1080,
+  "WPd5e6(x)": 1081,
+  "WPd6d7": 1082,
+  "WPe2e3": 1083,
+  "WPe2e4": 1084,
+  "WPe3d4(x)": 1085,
+  "WPe3e4": 1086,
+  "WPe3f4(x)": 1087,
+  "WPe4d5(x)": 1088,
+  "WPe4e5": 1089,
+  "WPe4f5(x)": 1090,
+  "WPe5d6(x)": 1091,
+  "WPe5e6": 1092,
+  "WPe5f6(x)": 1093,
+  "WPe6e7": 1094,
+  "WPf2e3(x)": 1095,
+  "WPf2f3": 1096,
+  "WPf2f4": 1097,
+  "WPf2g3(x)": 1098,
+  "WPf3e4(x)": 1099,
+  "WPf3f4": 1100,
+  "WPf3g4(x)": 1101,
+  "WPf4e5(x)": 1102,
+  "WPf4f5": 1103,
+  "WPf4g5(x)": 1104,
+  "WPf5e6(x)": 1105,
+  "WPf5f6": 1106,
+  "WPf5g6(x)": 1107,
+  "WPf6f7": 1108,
+  "WPg2f3(x)": 1109,
+  "WPg2g3": 1110,
+  "WPg2g4": 1111,
+  "WPg2h3(x)": 1112,
+  "WPg3f4(x)": 1113,
+  "WPg3g4": 1114,
+  "WPg3h4(x)": 1115,
+  "WPg4f5(x)": 1116,
+  "WPg4g5": 1117,
+  "WPg4h5(x)": 1118,
+  "WPg5f6(x)": 1119,
+  "WPg5g6": 1120,
+  "WPg5h6(x)": 1121,
+  "WPg6g7": 1122,
+  "WPh2g3(x)": 1123,
+  "WPh2h3": 1124,
+  "WPh2h4": 1125,
+  "WPh3g4(x)": 1126,
+  "WPh3h4": 1127,
+  "WPh4g5(x)": 1128,
+  "WPh4h5": 1129,
+  "WPh5g6(x)": 1130,
+  "WPh5h6": 1131,
+  "WPh6h7": 1132,
+  "WPh7h8(Q)": 1133,
+  "WQa4b3": 1134,
+  "WQb3b7(x)": 1135,
+  "WQb3c2": 1136,
+  "WQc2b3": 1137,
+  "WQc2d2": 1138,
+  "WQc2d3": 1139,
+  "WQc2e2": 1140,
+  "WQc2e4(x)": 1141,
+  "WQd1a4": 1142,
+  "WQd1a4(+)": 1143,
+  "WQd1b3": 1144,
+  "WQd1c1": 1145,
+  "WQd1c2": 1146,
+  "WQd1d2": 1147,
+  "WQd1d2(x)": 1148,
+  "WQd1d3": 1149,
+  "WQd1d3(x)": 1150,
+  "WQd1d4": 1151,
+  "WQd1d4(x)": 1152,
+  "WQd1d5(x)": 1153,
+  "WQd1d8(x+)": 1154,
+  "WQd1e1": 1155,
+  "WQd1e2": 1156,
+  "WQd1e2(+)": 1157,
+  "WQd1e2(x)": 1158,
+  "WQd1f3": 1159,
+  "WQd1f3(x)": 1160,
+  "WQd1g4": 1161,
+  "WQd1g4(x)": 1162,
+  "WQd1h5": 1163,
+  "WQd1h5(+)": 1164,
+  "WQd2c2": 1165,
+  "WQd2c3": 1166,
+  "WQd2d3": 1167,
+  "WQd2e2": 1168,
+  "WQd2e3": 1169,
+  "WQd2f4": 1170,
+  "WQd2g5": 1171,
+  "WQd3d2": 1172,
+  "WQd3e2": 1173,
+  "WQd3e3": 1174,
+  "WQd4d1": 1175,
+  "WQd4e3": 1176,
+  "WQe2d2": 1177,
+  "WQe2d3": 1178,
+  "WQe2e3": 1179,
+  "WQe2e4(x)": 1180,
+  "WQe2f2": 1181,
+  "WQe2f3": 1182,
+  "WQe2f3(x)": 1183,
+  "WQe2g4": 1184,
+  "WQf3d1": 1185,
+  "WQf3d3": 1186,
+  "WQf3e2": 1187,
+  "WQf3e3": 1188,
+  "WQf3f4": 1189,
+  "WQf3f6(x)": 1190,
+  "WQf3g3": 1191,
+  "WQf3g4": 1192,
+  "WQg3f3": 1193,
+  "WQg4g3": 1194,
+  "WQh5f3": 1195,
+  "WRa1a2": 1196,
+  "WRa1b1": 1197,
+  "WRa1c1": 1198,
+  "WRa1d1": 1199,
+  "WRa1d1(x)": 1200,
+  "WRa1e1": 1201,
+  "WRa1e1(x)": 1202,
+  "WRa1f1": 1203,
+  "WRa1f1(x)": 1204,
+  "WRa1g1": 1205,
+  "WRb1a1": 1206,
+  "WRb1b2": 1207,
+  "WRb1b3": 1208,
+  "WRb1b7(x)": 1209,
+  "WRb1c1": 1210,
+  "WRb1d1": 1211,
+  "WRb1e1": 1212,
+  "WRb7a7(x)": 1213,
+  "WRc1a1": 1214,
+  "WRc1b1": 1215,
+  "WRc1c2": 1216,
+  "WRc1c3": 1217,
+  "WRc1c3(x)": 1218,
+  "WRc1c6(x)": 1219,
+  "WRc1c7": 1220,
+  "WRc1c8(x)": 1221,
+  "WRc1d1": 1222,
+  "WRc1e1": 1223,
+  "WRc1f1": 1224,
+  "WRd1a1": 1225,
+  "WRd1b1": 1226,
+  "WRd1c1": 1227,
+  "WRd1d2": 1228,
+  "WRd1d2(x)": 1229,
+  "WRd1d3": 1230,
+  "WRd1d3(x)": 1231,
+  "WRd1d4": 1232,
+  "WRd1d4(x)": 1233,
+  "WRd1d5": 1234,
+  "WRd1d5(x)": 1235,
+  "WRd1d6": 1236,
+  "WRd1d6(x)": 1237,
+  "WRd1d7": 1238,
+  "WRd1d7(x)": 1239,
+  "WRd1d8(+)": 1240,
+  "WRd1d8(x)": 1241,
+  "WRd1d8(x+)": 1242,
+  "WRd1e1": 1243,
+  "WRd1f1": 1244,
+  "WRd1g1": 1245,
+  "WRd1h1": 1246,
+  "WRe1b1": 1247,
+  "WRe1c1": 1248,
+  "WRe1d1": 1249,
+  "WRe1d1(x)": 1250,
+  "WRe1e2": 1251,
+  "WRe1e2(x)": 1252,
+  "WRe1e3": 1253,
+  "WRe1e3(x)": 1254,
+  "WRe1e4": 1255,
+  "WRe1e4(x)": 1256,
+  "WRe1e5": 1257,
+  "WRe1e5(x)": 1258,
+  "WRe1e6(x)": 1259,
+  "WRe1e7": 1260,
+  "WRe1e7(x)": 1261,
+  "WRe1e8(x)": 1262,
+  "WRe1e8(x+)": 1263,
+  "WRe1f1": 1264,
+  "WRe1g1": 1265,
+  "WRf1a1": 1266,
+  "WRf1b1": 1267,
+  "WRf1c1": 1268,
+  "WRf1d1": 1269,
+  "WRf1d1(x)": 1270,
+  "WRf1e1": 1271,
+  "WRf1e1(+)": 1272,
+  "WRf1f2": 1273,
+  "WRf1f2(x)": 1274,
+  "WRf1f3": 1275,
+  "WRf1f3(x)": 1276,
+  "WRf1f4": 1277,
+  "WRf1f4(x)": 1278,
+  "WRf1f5(x)": 1279,
+  "WRf1f6(x)": 1280,
+  "WRf1f7(x)": 1281,
+  "WRf1f8(x+)": 1282,
+  "WRf1g1": 1283,
+  "WRf1h1": 1284,
+  "WRf3g3": 1285,
+  "WRg1f1": 1286,
+  "WRg1g2": 1287,
+  "WRg1g3": 1288,
+  "WRh1c1": 1289,
+  "WRh1d1": 1290,
+  "WRh1e1": 1291,
+  "WRh1f1": 1292,
+  "WRh1g1": 1293,
+  "WRh1h2": 1294
+}