Hugging Face's logo

LLM-course
/
chess-model2-giu

Text Generation
Transformers
Safetensors
chess_transformer
chess
llm-course
chess-challenge
Model card Files
xet
Community
Giu0804 commited on
Commit
cbb0034
·
verified ·
1 Parent(s): edd90ba

Chess Challenge submission by Giu0804

Browse files
Files changed (6) 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_config.json +44 -0
  6. vocab.json +764 -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-model2-giu
11
+
12
+ Chess model submitted to the LLM Course Chess Challenge.
13
+
14
+ ## Submission Info
15
+
16
+ - **Submitted by**: [Giu0804](https://huggingface.co/Giu0804)
17
+ - **Parameters**: 995,040
18
+ - **Organization**: LLM-course
19
+
20
+ ## Model Details
21
+
22
+ - **Architecture**: Chess Transformer (GPT-style)
23
+ - **Vocab size**: 762
24
+ - **Embedding dim**: 120
25
+ - **Layers**: 6
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": 120,
13
+ "n_head": 4,
14
+ "n_inner": 360,
15
+ "n_layer": 6,
16
+ "pad_token_id": 0,
17
+ "tie_weights": true,
18
+ "transformers_version": "4.57.3",
19
+ "vocab_size": 762
20
+ }
model.safetensors ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:998d981b1550425cd3c6e29d27ee19f1adf1d4cc71d886f417fb26eefa9f49bc
3
+ size 3986600
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_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,764 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "[PAD]": 0,
3
+ "[BOS]": 1,
4
+ "[EOS]": 2,
5
+ "[UNK]": 3,
6
+ "BBa5b6": 4,
7
+ "BBb4a5": 5,
8
+ "BBb4c3(x)": 6,
9
+ "BBb4c3(x+)": 7,
10
+ "BBb4c5": 8,
11
+ "BBb4d2(x+)": 9,
12
+ "BBb4d6": 10,
13
+ "BBb4e7": 11,
14
+ "BBb7a6": 12,
15
+ "BBb7c6": 13,
16
+ "BBb7c8": 14,
17
+ "BBb7d5(x)": 15,
18
+ "BBb7e4(x)": 16,
19
+ "BBb7f3(x)": 17,
20
+ "BBc5b6": 18,
21
+ "BBc5d4(x)": 19,
22
+ "BBc5d6": 20,
23
+ "BBc5e3(x)": 21,
24
+ "BBc5e7": 22,
25
+ "BBc8a6": 23,
26
+ "BBc8b7": 24,
27
+ "BBc8d7": 25,
28
+ "BBc8e6": 26,
29
+ "BBc8e6(x)": 27,
30
+ "BBc8f5": 28,
31
+ "BBc8f5(x)": 29,
32
+ "BBc8g4": 30,
33
+ "BBd6c5": 31,
34
+ "BBd6c7": 32,
35
+ "BBd6e5(x)": 33,
36
+ "BBd6e7": 34,
37
+ "BBd6f4(x)": 35,
38
+ "BBd6g3(x)": 36,
39
+ "BBd7b5": 37,
40
+ "BBd7c6": 38,
41
+ "BBd7c6(x)": 39,
42
+ "BBd7e6": 40,
43
+ "BBe6c4(x)": 41,
44
+ "BBe6d5": 42,
45
+ "BBe6d5(x)": 43,
46
+ "BBe6d7": 44,
47
+ "BBe6f5": 45,
48
+ "BBe6g4": 46,
49
+ "BBe7b4": 47,
50
+ "BBe7c5": 48,
51
+ "BBe7d6": 49,
52
+ "BBe7f6": 50,
53
+ "BBe7f6(x)": 51,
54
+ "BBe7f8": 52,
55
+ "BBe7g5": 53,
56
+ "BBe7g5(x)": 54,
57
+ "BBf5d3(x)": 55,
58
+ "BBf5e4": 56,
59
+ "BBf5e4(x)": 57,
60
+ "BBf5e6": 58,
61
+ "BBf5g4": 59,
62
+ "BBf5g6": 60,
63
+ "BBf6e7": 61,
64
+ "BBf8b4": 62,
65
+ "BBf8b4(+)": 63,
66
+ "BBf8c5": 64,
67
+ "BBf8c5(x)": 65,
68
+ "BBf8d6": 66,
69
+ "BBf8d6(x)": 67,
70
+ "BBf8e7": 68,
71
+ "BBf8g7": 69,
72
+ "BBg4e2(x)": 70,
73
+ "BBg4e6": 71,
74
+ "BBg4f3(x)": 72,
75
+ "BBg4f5": 73,
76
+ "BBg4h5": 74,
77
+ "BBg7d4(x)": 75,
78
+ "BBg7e5(x)": 76,
79
+ "BBg7f6": 77,
80
+ "BBg7f6(x)": 78,
81
+ "BBg7f8": 79,
82
+ "BBg7h6": 80,
83
+ "BBh5g6": 81,
84
+ "BKc7b6": 82,
85
+ "BKc8b7": 83,
86
+ "BKc8b8": 84,
87
+ "BKc8c7": 85,
88
+ "BKc8d7": 86,
89
+ "BKd6c5": 87,
90
+ "BKd6c6": 88,
91
+ "BKd7c6": 89,
92
+ "BKd7c7": 90,
93
+ "BKd7d6": 91,
94
+ "BKd7e6": 92,
95
+ "BKd7e7": 93,
96
+ "BKd8c7": 94,
97
+ "BKd8c8": 95,
98
+ "BKd8e7": 96,
99
+ "BKe6d5": 97,
100
+ "BKe6d6": 98,
101
+ "BKe6f5": 99,
102
+ "BKe6f6": 100,
103
+ "BKe7d6": 101,
104
+ "BKe7d7": 102,
105
+ "BKe7e6": 103,
106
+ "BKe7f6": 104,
107
+ "BKe7f7": 105,
108
+ "BKe7f8": 106,
109
+ "BKe8c8(O)": 107,
110
+ "BKe8d7": 108,
111
+ "BKe8d8": 109,
112
+ "BKe8d8(x)": 110,
113
+ "BKe8e7": 111,
114
+ "BKe8f7": 112,
115
+ "BKe8f7(x)": 113,
116
+ "BKe8f8": 114,
117
+ "BKe8g8(o)": 115,
118
+ "BKf6e5": 116,
119
+ "BKf6e6": 117,
120
+ "BKf6e7": 118,
121
+ "BKf6f5": 119,
122
+ "BKf6g5": 120,
123
+ "BKf6g6": 121,
124
+ "BKf7e6": 122,
125
+ "BKf7e7": 123,
126
+ "BKf7e8": 124,
127
+ "BKf7f6": 125,
128
+ "BKf7g6": 126,
129
+ "BKf7g7": 127,
130
+ "BKf7g8": 128,
131
+ "BKf8e7": 129,
132
+ "BKf8e8": 130,
133
+ "BKf8f7": 131,
134
+ "BKf8g7": 132,
135
+ "BKf8g8": 133,
136
+ "BKg6f5": 134,
137
+ "BKg6f6": 135,
138
+ "BKg6f7": 136,
139
+ "BKg6g5": 137,
140
+ "BKg7f6": 138,
141
+ "BKg7f7": 139,
142
+ "BKg7f8": 140,
143
+ "BKg7g6": 141,
144
+ "BKg7g8": 142,
145
+ "BKg7h6": 143,
146
+ "BKg8f7": 144,
147
+ "BKg8f7(x)": 145,
148
+ "BKg8f8": 146,
149
+ "BKg8f8(x)": 147,
150
+ "BKg8g7": 148,
151
+ "BKg8g7(x)": 149,
152
+ "BKg8h7": 150,
153
+ "BKg8h8": 151,
154
+ "BKh7g6": 152,
155
+ "BKh7g7": 153,
156
+ "BKh7g8": 154,
157
+ "BKh7h6": 155,
158
+ "BKh7h8": 156,
159
+ "BKh8g7": 157,
160
+ "BKh8g8": 158,
161
+ "BKh8h7": 159,
162
+ "BNa5c4": 160,
163
+ "BNb4c6": 161,
164
+ "BNb6c4": 162,
165
+ "BNb6d5": 163,
166
+ "BNb8a6": 164,
167
+ "BNb8c6": 165,
168
+ "BNb8d7": 166,
169
+ "BNc6a5": 167,
170
+ "BNc6b4": 168,
171
+ "BNc6b4(x)": 169,
172
+ "BNc6d4": 170,
173
+ "BNc6d4(x)": 171,
174
+ "BNc6e5": 172,
175
+ "BNc6e5(x)": 173,
176
+ "BNc6e7": 174,
177
+ "BNd4f3(x+)": 175,
178
+ "BNd5b4": 176,
179
+ "BNd5b6": 177,
180
+ "BNd5c3(x)": 178,
181
+ "BNd5f4": 179,
182
+ "BNd5f6": 180,
183
+ "BNd7b6": 181,
184
+ "BNd7c5": 182,
185
+ "BNd7c5(x)": 183,
186
+ "BNd7e5": 184,
187
+ "BNd7e5(x)": 185,
188
+ "BNd7f6": 186,
189
+ "BNd7f6(x)": 187,
190
+ "BNd7f8": 188,
191
+ "BNe4c3(x)": 189,
192
+ "BNe4d2(x)": 190,
193
+ "BNe4f6": 191,
194
+ "BNe5c4": 192,
195
+ "BNe5c4(x)": 193,
196
+ "BNe5c6": 194,
197
+ "BNe5f3(x+)": 195,
198
+ "BNe5g4": 196,
199
+ "BNe5g6": 197,
200
+ "BNe7c6": 198,
201
+ "BNe7d5": 199,
202
+ "BNe7d5(x)": 200,
203
+ "BNe7f5": 201,
204
+ "BNe7g6": 202,
205
+ "BNf6d5": 203,
206
+ "BNf6d5(x)": 204,
207
+ "BNf6d7": 205,
208
+ "BNf6e4": 206,
209
+ "BNf6e4(x)": 207,
210
+ "BNf6e8": 208,
211
+ "BNf6g4": 209,
212
+ "BNf6g4(x)": 210,
213
+ "BNf6h5": 211,
214
+ "BNf6h7": 212,
215
+ "BNg4e3(x)": 213,
216
+ "BNg4f6": 214,
217
+ "BNg6f4": 215,
218
+ "BNg8e7": 216,
219
+ "BNg8f6": 217,
220
+ "BNg8h6": 218,
221
+ "BNh5f4": 219,
222
+ "BNh5f6": 220,
223
+ "BNh6f5": 221,
224
+ "BPa3a2": 222,
225
+ "BPa4a3": 223,
226
+ "BPa4b3(x)": 224,
227
+ "BPa5a4": 225,
228
+ "BPa5b4(x)": 226,
229
+ "BPa6a5": 227,
230
+ "BPa6b5(x)": 228,
231
+ "BPa7a5": 229,
232
+ "BPa7a6": 230,
233
+ "BPa7b6(x)": 231,
234
+ "BPb3b2": 232,
235
+ "BPb4b3": 233,
236
+ "BPb4c3(x)": 234,
237
+ "BPb5a4(x)": 235,
238
+ "BPb5b4": 236,
239
+ "BPb5c4(x)": 237,
240
+ "BPb6b5": 238,
241
+ "BPb6c5(x)": 239,
242
+ "BPb7b5": 240,
243
+ "BPb7b6": 241,
244
+ "BPb7c6(x)": 242,
245
+ "BPc3c2": 243,
246
+ "BPc4c3": 244,
247
+ "BPc5b4(x)": 245,
248
+ "BPc5c4": 246,
249
+ "BPc5d4(x)": 247,
250
+ "BPc6b5(x)": 248,
251
+ "BPc6c5": 249,
252
+ "BPc6d5(x)": 250,
253
+ "BPc7c5": 251,
254
+ "BPc7c6": 252,
255
+ "BPc7d6(x)": 253,
256
+ "BPd3d2": 254,
257
+ "BPd4c3(x)": 255,
258
+ "BPd4d3": 256,
259
+ "BPd4e3(x)": 257,
260
+ "BPd5c4(x)": 258,
261
+ "BPd5d4": 259,
262
+ "BPd5e4(x)": 260,
263
+ "BPd6c5(x)": 261,
264
+ "BPd6d5": 262,
265
+ "BPd6e5(x)": 263,
266
+ "BPd7c6(x)": 264,
267
+ "BPd7d5": 265,
268
+ "BPd7d6": 266,
269
+ "BPe3e2": 267,
270
+ "BPe4d3(x)": 268,
271
+ "BPe4e3": 269,
272
+ "BPe4f3(x)": 270,
273
+ "BPe5d4(x)": 271,
274
+ "BPe5e4": 272,
275
+ "BPe5f4(x)": 273,
276
+ "BPe6d5(x)": 274,
277
+ "BPe6e5": 275,
278
+ "BPe6f5(x)": 276,
279
+ "BPe7e5": 277,
280
+ "BPe7e6": 278,
281
+ "BPe7f6(x)": 279,
282
+ "BPf4f3": 280,
283
+ "BPf5e4(x)": 281,
284
+ "BPf5f4": 282,
285
+ "BPf5g4(x)": 283,
286
+ "BPf6e5(x)": 284,
287
+ "BPf6f5": 285,
288
+ "BPf6g5(x)": 286,
289
+ "BPf7e6(x)": 287,
290
+ "BPf7f5": 288,
291
+ "BPf7f6": 289,
292
+ "BPf7g6(x)": 290,
293
+ "BPg4g3": 291,
294
+ "BPg5f4(x)": 292,
295
+ "BPg5g4": 293,
296
+ "BPg6f5(x)": 294,
297
+ "BPg6g5": 295,
298
+ "BPg6h5(x)": 296,
299
+ "BPg7f6(x)": 297,
300
+ "BPg7g5": 298,
301
+ "BPg7g6": 299,
302
+ "BPg7h6(x)": 300,
303
+ "BPh3h2": 301,
304
+ "BPh4g3(x)": 302,
305
+ "BPh4h3": 303,
306
+ "BPh5g4(x)": 304,
307
+ "BPh5h4": 305,
308
+ "BPh6g5(x)": 306,
309
+ "BPh6h5": 307,
310
+ "BPh7g6(x)": 308,
311
+ "BPh7h5": 309,
312
+ "BPh7h6": 310,
313
+ "BQa5b6": 311,
314
+ "BQa5c7": 312,
315
+ "BQb6b2(x)": 313,
316
+ "BQb6c7": 314,
317
+ "BQc7b6": 315,
318
+ "BQc7d7": 316,
319
+ "BQd5d8": 317,
320
+ "BQd8a5": 318,
321
+ "BQd8a5(+)": 319,
322
+ "BQd8b6": 320,
323
+ "BQd8c7": 321,
324
+ "BQd8c8": 322,
325
+ "BQd8d1(x+)": 323,
326
+ "BQd8d5": 324,
327
+ "BQd8d5(x)": 325,
328
+ "BQd8d6": 326,
329
+ "BQd8d6(x)": 327,
330
+ "BQd8d7": 328,
331
+ "BQd8d7(x)": 329,
332
+ "BQd8e7": 330,
333
+ "BQd8e7(x)": 331,
334
+ "BQd8e8": 332,
335
+ "BQd8f6": 333,
336
+ "BQd8f6(x)": 334,
337
+ "BQd8g5": 335,
338
+ "BQd8g5(x)": 336,
339
+ "BQd8h4": 337,
340
+ "BQe7d7": 338,
341
+ "BQe7f6": 339,
342
+ "BQf6g6": 340,
343
+ "BRa8a7": 341,
344
+ "BRa8b8": 342,
345
+ "BRa8c8": 343,
346
+ "BRa8d8": 344,
347
+ "BRa8d8(x)": 345,
348
+ "BRa8e8": 346,
349
+ "BRa8f8": 347,
350
+ "BRa8g8": 348,
351
+ "BRb8c8": 349,
352
+ "BRb8d8": 350,
353
+ "BRc8b8": 351,
354
+ "BRc8c7": 352,
355
+ "BRc8d8": 353,
356
+ "BRc8e8": 354,
357
+ "BRd8c8": 355,
358
+ "BRd8d1(x)": 356,
359
+ "BRd8d1(x+)": 357,
360
+ "BRd8d2": 358,
361
+ "BRd8d4(x)": 359,
362
+ "BRd8d5(x)": 360,
363
+ "BRd8d6": 361,
364
+ "BRd8d6(x)": 362,
365
+ "BRd8d7": 363,
366
+ "BRd8d7(x)": 364,
367
+ "BRd8e8": 365,
368
+ "BRd8f8": 366,
369
+ "BRe8c8": 367,
370
+ "BRe8d8": 368,
371
+ "BRe8e1(x+)": 369,
372
+ "BRe8e2": 370,
373
+ "BRe8e4(x)": 371,
374
+ "BRe8e5(x)": 372,
375
+ "BRe8e6": 373,
376
+ "BRe8e7": 374,
377
+ "BRe8f8": 375,
378
+ "BRf8b8": 376,
379
+ "BRf8c8": 377,
380
+ "BRf8d8": 378,
381
+ "BRf8d8(x)": 379,
382
+ "BRf8e8": 380,
383
+ "BRf8f6": 381,
384
+ "BRf8f6(x)": 382,
385
+ "BRf8f7": 383,
386
+ "BRf8f7(x)": 384,
387
+ "BRf8g8": 385,
388
+ "BRf8h8": 386,
389
+ "BRh8d8": 387,
390
+ "BRh8e8": 388,
391
+ "BRh8f8": 389,
392
+ "BRh8g8": 390,
393
+ "WBa4b3": 391,
394
+ "WBb2e5(x)": 392,
395
+ "WBb2f6(x)": 393,
396
+ "WBb3c2": 394,
397
+ "WBb5a4": 395,
398
+ "WBb5c4": 396,
399
+ "WBb5c6(x)": 397,
400
+ "WBb5c6(x+)": 398,
401
+ "WBb5d3": 399,
402
+ "WBb5d7(x+)": 400,
403
+ "WBc1a3": 401,
404
+ "WBc1b2": 402,
405
+ "WBc1d2": 403,
406
+ "WBc1e3": 404,
407
+ "WBc1f4": 405,
408
+ "WBc1f4(x)": 406,
409
+ "WBc1g5": 407,
410
+ "WBc1h6(x)": 408,
411
+ "WBc4a2": 409,
412
+ "WBc4b3": 410,
413
+ "WBc4b5": 411,
414
+ "WBc4d3": 412,
415
+ "WBc4d5": 413,
416
+ "WBc4d5(x)": 414,
417
+ "WBc4e2": 415,
418
+ "WBc4e6(x)": 416,
419
+ "WBc4f7(x+)": 417,
420
+ "WBd2c3": 418,
421
+ "WBd2c3(x)": 419,
422
+ "WBd2e3": 420,
423
+ "WBd3b5": 421,
424
+ "WBd3c2": 422,
425
+ "WBd3c4": 423,
426
+ "WBd3e2": 424,
427
+ "WBd3e4": 425,
428
+ "WBd3e4(x)": 426,
429
+ "WBd3f5(x)": 427,
430
+ "WBd3g6(x)": 428,
431
+ "WBe2c4": 429,
432
+ "WBe2d3": 430,
433
+ "WBe2f3": 431,
434
+ "WBe2f3(x)": 432,
435
+ "WBe2g4": 433,
436
+ "WBe3c5(x)": 434,
437
+ "WBe3d2": 435,
438
+ "WBe3d4": 436,
439
+ "WBe3d4(x)": 437,
440
+ "WBe3f2": 438,
441
+ "WBe3f4": 439,
442
+ "WBe3g5": 440,
443
+ "WBe3h6": 441,
444
+ "WBf1b5": 442,
445
+ "WBf1b5(+)": 443,
446
+ "WBf1c4": 444,
447
+ "WBf1c4(x)": 445,
448
+ "WBf1d3": 446,
449
+ "WBf1e2": 447,
450
+ "WBf1g2": 448,
451
+ "WBf4d6(x)": 449,
452
+ "WBf4e3": 450,
453
+ "WBf4e5": 451,
454
+ "WBf4e5(x)": 452,
455
+ "WBf4g3": 453,
456
+ "WBf4g5": 454,
457
+ "WBg2e4(x)": 455,
458
+ "WBg5e3": 456,
459
+ "WBg5e7(x)": 457,
460
+ "WBg5f4": 458,
461
+ "WBg5f6(x)": 459,
462
+ "WBg5h4": 460,
463
+ "WBh4g3": 461,
464
+ "WBh6g7(x)": 462,
465
+ "WKc1b1": 463,
466
+ "WKc1b2": 464,
467
+ "WKc1c2": 465,
468
+ "WKc1d2": 466,
469
+ "WKc2b3": 467,
470
+ "WKd1c2": 468,
471
+ "WKd1e2": 469,
472
+ "WKd2c2": 470,
473
+ "WKd2c3": 471,
474
+ "WKd2d3": 472,
475
+ "WKd2e2": 473,
476
+ "WKd2e3": 474,
477
+ "WKd3c4": 475,
478
+ "WKe1c1(O)": 476,
479
+ "WKe1d1": 477,
480
+ "WKe1d1(x)": 478,
481
+ "WKe1d2": 479,
482
+ "WKe1e2": 480,
483
+ "WKe1f1": 481,
484
+ "WKe1f2": 482,
485
+ "WKe1g1(o)": 483,
486
+ "WKe2d2": 484,
487
+ "WKe2d3": 485,
488
+ "WKe2e3": 486,
489
+ "WKe2f1": 487,
490
+ "WKe2f2": 488,
491
+ "WKe2f3": 489,
492
+ "WKe3d3": 490,
493
+ "WKe3d4": 491,
494
+ "WKe3e4": 492,
495
+ "WKe3f3": 493,
496
+ "WKe3f4": 494,
497
+ "WKf1e1": 495,
498
+ "WKf1e2": 496,
499
+ "WKf1f2": 497,
500
+ "WKf1g1": 498,
501
+ "WKf1g2": 499,
502
+ "WKf2e2": 500,
503
+ "WKf2e3": 501,
504
+ "WKf2f3": 502,
505
+ "WKf2g1": 503,
506
+ "WKf2g2": 504,
507
+ "WKf2g3": 505,
508
+ "WKf3e2": 506,
509
+ "WKf3e3": 507,
510
+ "WKf3e4": 508,
511
+ "WKf3f4": 509,
512
+ "WKf3g3": 510,
513
+ "WKf3g4": 511,
514
+ "WKg1f1": 512,
515
+ "WKg1f1(x)": 513,
516
+ "WKg1f2": 514,
517
+ "WKg1g2": 515,
518
+ "WKg1g2(x)": 516,
519
+ "WKg1h1": 517,
520
+ "WKg1h2": 518,
521
+ "WKg2f1": 519,
522
+ "WKg2f2": 520,
523
+ "WKg2f3": 521,
524
+ "WKg2g1": 522,
525
+ "WKg2g3": 523,
526
+ "WKg2h3": 524,
527
+ "WKg3f2": 525,
528
+ "WKg3f3": 526,
529
+ "WKg3f4": 527,
530
+ "WKg3g4": 528,
531
+ "WKg3h4": 529,
532
+ "WKh1g1": 530,
533
+ "WKh1g2": 531,
534
+ "WKh1h2": 532,
535
+ "WKh2g1": 533,
536
+ "WKh2g2": 534,
537
+ "WKh2g3": 535,
538
+ "WKh2h1": 536,
539
+ "WKh2h3": 537,
540
+ "WNa4c5": 538,
541
+ "WNb1a3": 539,
542
+ "WNb1c3": 540,
543
+ "WNb1c3(x)": 541,
544
+ "WNb1d2": 542,
545
+ "WNb3c5": 543,
546
+ "WNb5c3": 544,
547
+ "WNc3a4": 545,
548
+ "WNc3b5": 546,
549
+ "WNc3b5(x)": 547,
550
+ "WNc3d5": 548,
551
+ "WNc3d5(x)": 549,
552
+ "WNc3e2": 550,
553
+ "WNc3e4": 551,
554
+ "WNc3e4(x)": 552,
555
+ "WNd2b3": 553,
556
+ "WNd2c4": 554,
557
+ "WNd2c4(x)": 555,
558
+ "WNd2e4": 556,
559
+ "WNd2e4(x)": 557,
560
+ "WNd2f1": 558,
561
+ "WNd2f3": 559,
562
+ "WNd2f3(x)": 560,
563
+ "WNd4b3": 561,
564
+ "WNd4b5": 562,
565
+ "WNd4c6(x)": 563,
566
+ "WNd4f3": 564,
567
+ "WNd4f5": 565,
568
+ "WNd5f6(x+)": 566,
569
+ "WNe2c3": 567,
570
+ "WNe2d4": 568,
571
+ "WNe2d4(x)": 569,
572
+ "WNe2f4": 570,
573
+ "WNe2g3": 571,
574
+ "WNe4c5": 572,
575
+ "WNe4f6(x+)": 573,
576
+ "WNe4g3": 574,
577
+ "WNe4g5": 575,
578
+ "WNe5c6(x)": 576,
579
+ "WNe5d7(x)": 577,
580
+ "WNe5f3": 578,
581
+ "WNf3d2": 579,
582
+ "WNf3d4": 580,
583
+ "WNf3d4(x)": 581,
584
+ "WNf3e1": 582,
585
+ "WNf3e5": 583,
586
+ "WNf3e5(x)": 584,
587
+ "WNf3g5": 585,
588
+ "WNf3g5(x)": 586,
589
+ "WNf3h2": 587,
590
+ "WNf3h4": 588,
591
+ "WNg1e2": 589,
592
+ "WNg1f3": 590,
593
+ "WNg1h3": 591,
594
+ "WNg3e4": 592,
595
+ "WNg3f5": 593,
596
+ "WNg5e4": 594,
597
+ "WNg5e6(x)": 595,
598
+ "WNg5f3": 596,
599
+ "WNg5f7(x)": 597,
600
+ "WNh4f5": 598,
601
+ "WPa2a3": 599,
602
+ "WPa2a4": 600,
603
+ "WPa2b3(x)": 601,
604
+ "WPa3a4": 602,
605
+ "WPa3b4(x)": 603,
606
+ "WPa4a5": 604,
607
+ "WPa4b5(x)": 605,
608
+ "WPa5a6": 606,
609
+ "WPa6a7": 607,
610
+ "WPb2b3": 608,
611
+ "WPb2b4": 609,
612
+ "WPb2c3(x)": 610,
613
+ "WPb3b4": 611,
614
+ "WPb3c4(x)": 612,
615
+ "WPb4a5(x)": 613,
616
+ "WPb4b5": 614,
617
+ "WPb4c5(x)": 615,
618
+ "WPb5b6": 616,
619
+ "WPb6b7": 617,
620
+ "WPc2c3": 618,
621
+ "WPc2c4": 619,
622
+ "WPc2d3(x)": 620,
623
+ "WPc3b4(x)": 621,
624
+ "WPc3c4": 622,
625
+ "WPc3d4(x)": 623,
626
+ "WPc4b5(x)": 624,
627
+ "WPc4c5": 625,
628
+ "WPc4d5(x)": 626,
629
+ "WPc5c6": 627,
630
+ "WPc6c7": 628,
631
+ "WPd2d3": 629,
632
+ "WPd2d4": 630,
633
+ "WPd3c4(x)": 631,
634
+ "WPd3d4": 632,
635
+ "WPd3e4(x)": 633,
636
+ "WPd4c5(x)": 634,
637
+ "WPd4d5": 635,
638
+ "WPd4e5(x)": 636,
639
+ "WPd5c6(x)": 637,
640
+ "WPd5d6": 638,
641
+ "WPd5e6(x)": 639,
642
+ "WPd6d7": 640,
643
+ "WPe2e3": 641,
644
+ "WPe2e4": 642,
645
+ "WPe3d4(x)": 643,
646
+ "WPe3e4": 644,
647
+ "WPe3f4(x)": 645,
648
+ "WPe4d5(x)": 646,
649
+ "WPe4e5": 647,
650
+ "WPe4f5(x)": 648,
651
+ "WPe5d6(x)": 649,
652
+ "WPe5e6": 650,
653
+ "WPe5f6(x)": 651,
654
+ "WPe6e7": 652,
655
+ "WPf2e3(x)": 653,
656
+ "WPf2f3": 654,
657
+ "WPf2f4": 655,
658
+ "WPf2g3(x)": 656,
659
+ "WPf3e4(x)": 657,
660
+ "WPf3f4": 658,
661
+ "WPf3g4(x)": 659,
662
+ "WPf4e5(x)": 660,
663
+ "WPf4f5": 661,
664
+ "WPf4g5(x)": 662,
665
+ "WPf5f6": 663,
666
+ "WPf5g6(x)": 664,
667
+ "WPg2f3(x)": 665,
668
+ "WPg2g3": 666,
669
+ "WPg2g4": 667,
670
+ "WPg2h3(x)": 668,
671
+ "WPg3f4(x)": 669,
672
+ "WPg3g4": 670,
673
+ "WPg4f5(x)": 671,
674
+ "WPg4g5": 672,
675
+ "WPg4h5(x)": 673,
676
+ "WPg5g6": 674,
677
+ "WPg6g7": 675,
678
+ "WPh2g3(x)": 676,
679
+ "WPh2h3": 677,
680
+ "WPh2h4": 678,
681
+ "WPh3g4(x)": 679,
682
+ "WPh3h4": 680,
683
+ "WPh4g5(x)": 681,
684
+ "WPh4h5": 682,
685
+ "WPh5g6(x)": 683,
686
+ "WPh5h6": 684,
687
+ "WPh6h7": 685,
688
+ "WQb3c2": 686,
689
+ "WQd1a4": 687,
690
+ "WQd1a4(+)": 688,
691
+ "WQd1b3": 689,
692
+ "WQd1c1": 690,
693
+ "WQd1c2": 691,
694
+ "WQd1d2": 692,
695
+ "WQd1d2(x)": 693,
696
+ "WQd1d3": 694,
697
+ "WQd1d3(x)": 695,
698
+ "WQd1d4(x)": 696,
699
+ "WQd1d8(x+)": 697,
700
+ "WQd1e1": 698,
701
+ "WQd1e2": 699,
702
+ "WQd1e2(x)": 700,
703
+ "WQd1f3": 701,
704
+ "WQd1f3(x)": 702,
705
+ "WQd1g4": 703,
706
+ "WQd1h5": 704,
707
+ "WQd1h5(+)": 705,
708
+ "WQd2e2": 706,
709
+ "WQd2e3": 707,
710
+ "WQe2d2": 708,
711
+ "WQe2e3": 709,
712
+ "WQe2f3": 710,
713
+ "WQf3e2": 711,
714
+ "WQf3g3": 712,
715
+ "WRa1b1": 713,
716
+ "WRa1c1": 714,
717
+ "WRa1d1": 715,
718
+ "WRa1d1(x)": 716,
719
+ "WRa1e1": 717,
720
+ "WRa1f1": 718,
721
+ "WRb1c1": 719,
722
+ "WRb1d1": 720,
723
+ "WRc1b1": 721,
724
+ "WRc1c2": 722,
725
+ "WRc1d1": 723,
726
+ "WRc1e1": 724,
727
+ "WRd1c1": 725,
728
+ "WRd1d2": 726,
729
+ "WRd1d2(x)": 727,
730
+ "WRd1d3": 728,
731
+ "WRd1d4(x)": 729,
732
+ "WRd1d5(x)": 730,
733
+ "WRd1d6(x)": 731,
734
+ "WRd1d7": 732,
735
+ "WRd1d8(x)": 733,
736
+ "WRd1d8(x+)": 734,
737
+ "WRd1e1": 735,
738
+ "WRd1f1": 736,
739
+ "WRd1g1": 737,
740
+ "WRe1c1": 738,
741
+ "WRe1d1": 739,
742
+ "WRe1e2": 740,
743
+ "WRe1e3": 741,
744
+ "WRe1e4(x)": 742,
745
+ "WRe1e5(x)": 743,
746
+ "WRe1e6(x)": 744,
747
+ "WRe1e7": 745,
748
+ "WRe1e8(x+)": 746,
749
+ "WRe1f1": 747,
750
+ "WRf1b1": 748,
751
+ "WRf1c1": 749,
752
+ "WRf1d1": 750,
753
+ "WRf1d1(x)": 751,
754
+ "WRf1e1": 752,
755
+ "WRf1f2": 753,
756
+ "WRf1f2(x)": 754,
757
+ "WRf1f3": 755,
758
+ "WRf1f3(x)": 756,
759
+ "WRf1g1": 757,
760
+ "WRh1d1": 758,
761
+ "WRh1e1": 759,
762
+ "WRh1f1": 760,
763
+ "WRh1g1": 761
764
+ }