Chess Challenge submission by filomeneroquefort

README.md

@@ -0,0 +1,20 @@
+---
+library_name: transformers
+tags:
+- chess
+- llm-course
+- chess-challenge
+license: mit
+---
+# chess_filo_6
+Chess model submitted to the LLM Course Chess Challenge.
+## Submission Info
+- **Submitted by**: [filomeneroquefort](https://huggingface.co/filomeneroquefort)
+- **Parameters**: 2,201,760
+- **Organization**: LLM-course
+## Model Details
+- **Architecture**: Chess Transformer (GPT-style)
+- **Vocab size**: 1104
+- **Embedding dim**: 144
+- **Layers**: 8
+- **Heads**: 6

config.json

@@ -0,0 +1,20 @@
+{
+  "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": 144,
+  "n_head": 6,
+  "n_inner": 576,
+  "n_layer": 8,
+  "pad_token_id": 0,
+  "tie_weights": true,
+  "transformers_version": "4.57.6",
+  "vocab_size": 1104
+}

model.safetensors

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

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