example_solution/vocab.json

{
  "[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,
  "BBb4d2(x+)": 11,
  "BBb4d6": 12,
  "BBb4e7": 13,
  "BBb6c7": 14,
  "BBb6d4(x)": 15,
  "BBb7a6": 16,
  "BBb7c6": 17,
  "BBb7c6(x)": 18,
  "BBb7c8": 19,
  "BBb7d5": 20,
  "BBb7d5(x)": 21,
  "BBb7e4(x)": 22,
  "BBb7f3(x)": 23,
  "BBb7g2(x)": 24,
  "BBc5a7": 25,
  "BBc5b4": 26,
  "BBc5b4(+)": 27,
  "BBc5b6": 28,
  "BBc5d4": 29,
  "BBc5d4(x)": 30,
  "BBc5d6": 31,
  "BBc5e3(x)": 32,
  "BBc5e7": 33,
  "BBc5f2(x+)": 34,
  "BBc6b5": 35,
  "BBc6d5": 36,
  "BBc6d5(x)": 37,
  "BBc6d7": 38,
  "BBc6e4(x)": 39,
  "BBc6f3(x)": 40,
  "BBc8a6": 41,
  "BBc8b7": 42,
  "BBc8d7": 43,
  "BBc8d7(x)": 44,
  "BBc8e6": 45,
  "BBc8e6(x)": 46,
  "BBc8f5": 47,
  "BBc8f5(x)": 48,
  "BBc8g4": 49,
  "BBc8g4(x)": 50,
  "BBc8h3": 51,
  "BBc8h3(x)": 52,
  "BBd5e6": 53,
  "BBd5f3(x)": 54,
  "BBd6b4": 55,
  "BBd6c5": 56,
  "BBd6c5(x)": 57,
  "BBd6c7": 58,
  "BBd6e5": 59,
  "BBd6e5(x)": 60,
  "BBd6e7": 61,
  "BBd6f4": 62,
  "BBd6f4(x)": 63,
  "BBd6g3(x)": 64,
  "BBd6h2(x+)": 65,
  "BBd7b5": 66,
  "BBd7b5(x)": 67,
  "BBd7c6": 68,
  "BBd7c6(x)": 69,
  "BBd7c8": 70,
  "BBd7e6": 71,
  "BBd7e8": 72,
  "BBd7f5": 73,
  "BBd7f5(x)": 74,
  "BBd7g4": 75,
  "BBe4f3(x)": 76,
  "BBe4g6": 77,
  "BBe5d6": 78,
  "BBe5f6": 79,
  "BBe5g7": 80,
  "BBe6a2(x)": 81,
  "BBe6b3(x)": 82,
  "BBe6c4": 83,
  "BBe6c4(x)": 84,
  "BBe6d5": 85,
  "BBe6d5(x)": 86,
  "BBe6d7": 87,
  "BBe6f5": 88,
  "BBe6f5(x)": 89,
  "BBe6f7": 90,
  "BBe6g4": 91,
  "BBe6h3(x)": 92,
  "BBe7b4": 93,
  "BBe7c5": 94,
  "BBe7c5(x)": 95,
  "BBe7d6": 96,
  "BBe7d6(x)": 97,
  "BBe7d8": 98,
  "BBe7f6": 99,
  "BBe7f6(x)": 100,
  "BBe7f8": 101,
  "BBe7g5": 102,
  "BBe7g5(x)": 103,
  "BBe7h4": 104,
  "BBe7h4(x)": 105,
  "BBf5c2(x)": 106,
  "BBf5d3": 107,
  "BBf5d3(x)": 108,
  "BBf5d7": 109,
  "BBf5e4": 110,
  "BBf5e4(x)": 111,
  "BBf5e6": 112,
  "BBf5g4": 113,
  "BBf5g6": 114,
  "BBf6b2(x)": 115,
  "BBf6c3(x)": 116,
  "BBf6d4(x)": 117,
  "BBf6e5": 118,
  "BBf6e5(x)": 119,
  "BBf6e7": 120,
  "BBf6g5": 121,
  "BBf6g7": 122,
  "BBf8b4": 123,
  "BBf8b4(+)": 124,
  "BBf8c5": 125,
  "BBf8c5(+)": 126,
  "BBf8c5(x)": 127,
  "BBf8d6": 128,
  "BBf8d6(x)": 129,
  "BBf8e7": 130,
  "BBf8e7(x)": 131,
  "BBf8g7": 132,
  "BBf8h6": 133,
  "BBg4d1(x)": 134,
  "BBg4d7": 135,
  "BBg4e2(x)": 136,
  "BBg4e6": 137,
  "BBg4f3(x)": 138,
  "BBg4f5": 139,
  "BBg4h5": 140,
  "BBg5f6": 141,
  "BBg6d3(x)": 142,
  "BBg6e4(x)": 143,
  "BBg6h7": 144,
  "BBg7b2(x)": 145,
  "BBg7c3(x)": 146,
  "BBg7d4(x)": 147,
  "BBg7e5": 148,
  "BBg7e5(x)": 149,
  "BBg7f6": 150,
  "BBg7f6(x)": 151,
  "BBg7f8": 152,
  "BBg7h6": 153,
  "BBg7h6(x)": 154,
  "BBh3g2(x)": 155,
  "BBh5f3(x)": 156,
  "BBh5g6": 157,
  "BBh6g7": 158,
  "BKb6a5": 159,
  "BKb6b5": 160,
  "BKb6c5": 161,
  "BKb6c6": 162,
  "BKb6c7": 163,
  "BKb7a6": 164,
  "BKb7b6": 165,
  "BKb7c6": 166,
  "BKb7c7": 167,
  "BKb8a7": 168,
  "BKb8a8": 169,
  "BKb8b7": 170,
  "BKb8c7": 171,
  "BKb8c8": 172,
  "BKc5b4": 173,
  "BKc5c4": 174,
  "BKc5d4": 175,
  "BKc5d6": 176,
  "BKc6b5": 177,
  "BKc6b6": 178,
  "BKc6b7": 179,
  "BKc6c5": 180,
  "BKc6c7": 181,
  "BKc6d5": 182,
  "BKc6d6": 183,
  "BKc6d7": 184,
  "BKc7b6": 185,
  "BKc7b7": 186,
  "BKc7b8": 187,
  "BKc7c6": 188,
  "BKc7c8": 189,
  "BKc7d6": 190,
  "BKc7d7": 191,
  "BKc7d8": 192,
  "BKc8b7": 193,
  "BKc8b8": 194,
  "BKc8c7": 195,
  "BKc8d7": 196,
  "BKc8d8": 197,
  "BKd4c3": 198,
  "BKd5c4": 199,
  "BKd5c5": 200,
  "BKd5c6": 201,
  "BKd5d4": 202,
  "BKd5e4": 203,
  "BKd5e6": 204,
  "BKd6c5": 205,
  "BKd6c6": 206,
  "BKd6c7": 207,
  "BKd6d5": 208,
  "BKd6d7": 209,
  "BKd6e5": 210,
  "BKd6e6": 211,
  "BKd6e7": 212,
  "BKd7c6": 213,
  "BKd7c7": 214,
  "BKd7c8": 215,
  "BKd7d6": 216,
  "BKd7d8": 217,
  "BKd7e6": 218,
  "BKd7e7": 219,
  "BKd7e8": 220,
  "BKd8c7": 221,
  "BKd8c8": 222,
  "BKd8d7": 223,
  "BKd8e7": 224,
  "BKd8e8": 225,
  "BKe4d3": 226,
  "BKe5d4": 227,
  "BKe5d5": 228,
  "BKe5d6": 229,
  "BKe5e4": 230,
  "BKe5f4": 231,
  "BKe5f5": 232,
  "BKe5f6": 233,
  "BKe6d5": 234,
  "BKe6d6": 235,
  "BKe6d7": 236,
  "BKe6e5": 237,
  "BKe6e7": 238,
  "BKe6f5": 239,
  "BKe6f6": 240,
  "BKe6f7": 241,
  "BKe7d6": 242,
  "BKe7d7": 243,
  "BKe7d8": 244,
  "BKe7e6": 245,
  "BKe7e8": 246,
  "BKe7f6": 247,
  "BKe7f7": 248,
  "BKe7f8": 249,
  "BKe8c8(O)": 250,
  "BKe8d7": 251,
  "BKe8d7(x)": 252,
  "BKe8d8": 253,
  "BKe8d8(x)": 254,
  "BKe8e7": 255,
  "BKe8e7(x)": 256,
  "BKe8f7": 257,
  "BKe8f7(x)": 258,
  "BKe8f8": 259,
  "BKe8g8(o)": 260,
  "BKf4f3": 261,
  "BKf5e4": 262,
  "BKf5e5": 263,
  "BKf5e6": 264,
  "BKf5f4": 265,
  "BKf5f6": 266,
  "BKf5g4": 267,
  "BKf5g5": 268,
  "BKf5g6": 269,
  "BKf6e5": 270,
  "BKf6e6": 271,
  "BKf6e7": 272,
  "BKf6f5": 273,
  "BKf6f7": 274,
  "BKf6g5": 275,
  "BKf6g6": 276,
  "BKf6g7": 277,
  "BKf7e6": 278,
  "BKf7e7": 279,
  "BKf7e8": 280,
  "BKf7f6": 281,
  "BKf7f8": 282,
  "BKf7g6": 283,
  "BKf7g7": 284,
  "BKf7g8": 285,
  "BKf8e7": 286,
  "BKf8e8": 287,
  "BKf8f7": 288,
  "BKf8g7": 289,
  "BKf8g8": 290,
  "BKg5f4": 291,
  "BKg5f5": 292,
  "BKg5f6": 293,
  "BKg5g4": 294,
  "BKg5h4": 295,
  "BKg6f5": 296,
  "BKg6f6": 297,
  "BKg6f7": 298,
  "BKg6g5": 299,
  "BKg6g7": 300,
  "BKg6h5": 301,
  "BKg6h6": 302,
  "BKg6h7": 303,
  "BKg7f6": 304,
  "BKg7f7": 305,
  "BKg7f8": 306,
  "BKg7g6": 307,
  "BKg7g8": 308,
  "BKg7h6": 309,
  "BKg7h7": 310,
  "BKg7h8": 311,
  "BKg8f7": 312,
  "BKg8f7(x)": 313,
  "BKg8f8": 314,
  "BKg8f8(x)": 315,
  "BKg8g7": 316,
  "BKg8g7(x)": 317,
  "BKg8h7": 318,
  "BKg8h7(x)": 319,
  "BKg8h8": 320,
  "BKh5g4": 321,
  "BKh5g6": 322,
  "BKh5h4": 323,
  "BKh6g5": 324,
  "BKh6g6": 325,
  "BKh6g7": 326,
  "BKh6h5": 327,
  "BKh6h7": 328,
  "BKh7g6": 329,
  "BKh7g7": 330,
  "BKh7g8": 331,
  "BKh7h6": 332,
  "BKh7h8": 333,
  "BKh8g7": 334,
  "BKh8g8": 335,
  "BKh8h7": 336,
  "BNa5b3(x)": 337,
  "BNa5c4": 338,
  "BNa5c4(x)": 339,
  "BNa5c6": 340,
  "BNa6b4": 341,
  "BNa6c5": 342,
  "BNa6c7": 343,
  "BNb4a6": 344,
  "BNb4c2": 345,
  "BNb4c2(x)": 346,
  "BNb4c6": 347,
  "BNb4d3": 348,
  "BNb4d3(x)": 349,
  "BNb4d5": 350,
  "BNb6c4": 351,
  "BNb6c4(x)": 352,
  "BNb6d5": 353,
  "BNb6d5(x)": 354,
  "BNb6d7": 355,
  "BNb8a6": 356,
  "BNb8c6": 357,
  "BNb8c6(x)": 358,
  "BNb8d7": 359,
  "BNb8d7(x)": 360,
  "BNc2a1(x)": 361,
  "BNc4b2(x)": 362,
  "BNc4d6": 363,
  "BNc4e5": 364,
  "BNc5d3": 365,
  "BNc5d3(x)": 366,
  "BNc5d7": 367,
  "BNc5e4": 368,
  "BNc5e4(x)": 369,
  "BNc5e6": 370,
  "BNc6a5": 371,
  "BNc6a7": 372,
  "BNc6b4": 373,
  "BNc6b4(x)": 374,
  "BNc6b8": 375,
  "BNc6d4": 376,
  "BNc6d4(x)": 377,
  "BNc6d8": 378,
  "BNc6d8(x)": 379,
  "BNc6e5": 380,
  "BNc6e5(x)": 381,
  "BNc6e7": 382,
  "BNc6e7(x)": 383,
  "BNd3b2(x)": 384,
  "BNd4b3(x)": 385,
  "BNd4c2(x)": 386,
  "BNd4c6": 387,
  "BNd4e2(+)": 388,
  "BNd4e2(x+)": 389,
  "BNd4e6": 390,
  "BNd4f3(+)": 391,
  "BNd4f3(x+)": 392,
  "BNd4f5": 393,
  "BNd5b4": 394,
  "BNd5b6": 395,
  "BNd5c3": 396,
  "BNd5c3(x)": 397,
  "BNd5e3": 398,
  "BNd5e3(x)": 399,
  "BNd5e7": 400,
  "BNd5f4": 401,
  "BNd5f4(x)": 402,
  "BNd5f6": 403,
  "BNd6e4": 404,
  "BNd6f5": 405,
  "BNd7b6": 406,
  "BNd7b8": 407,
  "BNd7c5": 408,
  "BNd7c5(x)": 409,
  "BNd7e5": 410,
  "BNd7e5(x)": 411,
  "BNd7f6": 412,
  "BNd7f6(x)": 413,
  "BNd7f8": 414,
  "BNe3f1(x)": 415,
  "BNe4c3": 416,
  "BNe4c3(x)": 417,
  "BNe4c5": 418,
  "BNe4d2": 419,
  "BNe4d2(x)": 420,
  "BNe4d6": 421,
  "BNe4f2(x)": 422,
  "BNe4f6": 423,
  "BNe4g3(x)": 424,
  "BNe4g5": 425,
  "BNe4g5(x)": 426,
  "BNe5c4": 427,
  "BNe5c4(x)": 428,
  "BNe5c6": 429,
  "BNe5d3": 430,
  "BNe5d3(x)": 431,
  "BNe5d7": 432,
  "BNe5f3(+)": 433,
  "BNe5f3(x+)": 434,
  "BNe5g4": 435,
  "BNe5g6": 436,
  "BNe6d4": 437,
  "BNe6f4": 438,
  "BNe7c6": 439,
  "BNe7c6(x)": 440,
  "BNe7c8": 441,
  "BNe7d5": 442,
  "BNe7d5(x)": 443,
  "BNe7f5": 444,
  "BNe7f5(x)": 445,
  "BNe7g6": 446,
  "BNe8d6": 447,
  "BNe8f6": 448,
  "BNf4e2(+)": 449,
  "BNf5d4": 450,
  "BNf5d4(x)": 451,
  "BNf5d6": 452,
  "BNf5e3": 453,
  "BNf5e3(x)": 454,
  "BNf5e7": 455,
  "BNf5h4": 456,
  "BNf6d5": 457,
  "BNf6d5(x)": 458,
  "BNf6d7": 459,
  "BNf6d7(x)": 460,
  "BNf6e4": 461,
  "BNf6e4(x)": 462,
  "BNf6e8": 463,
  "BNf6g4": 464,
  "BNf6g4(x)": 465,
  "BNf6g8": 466,
  "BNf6h5": 467,
  "BNf6h5(x)": 468,
  "BNf6h7": 469,
  "BNf8e6": 470,
  "BNf8g6": 471,
  "BNg4e3": 472,
  "BNg4e3(x)": 473,
  "BNg4e5": 474,
  "BNg4e5(x)": 475,
  "BNg4f2(x)": 476,
  "BNg4f6": 477,
  "BNg4h6": 478,
  "BNg6e5": 479,
  "BNg6e5(x)": 480,
  "BNg6e7": 481,
  "BNg6f4": 482,
  "BNg6f4(x)": 483,
  "BNg6h4": 484,
  "BNg8e7": 485,
  "BNg8f6": 486,
  "BNg8f6(x)": 487,
  "BNg8h6": 488,
  "BNh5f4": 489,
  "BNh5f4(x)": 490,
  "BNh5f6": 491,
  "BNh5g3(x)": 492,
  "BNh6f5": 493,
  "BNh6f7": 494,
  "BNh6g4": 495,
  "BNh7f6": 496,
  "BNh7g5": 497,
  "BPa2a1(Q)": 498,
  "BPa3a2": 499,
  "BPa4a3": 500,
  "BPa4b3(x)": 501,
  "BPa5a4": 502,
  "BPa5b4(x)": 503,
  "BPa6a5": 504,
  "BPa6b5(x)": 505,
  "BPa7a5": 506,
  "BPa7a6": 507,
  "BPa7b6(x)": 508,
  "BPb2b1(Q)": 509,
  "BPb3b2": 510,
  "BPb4a3(x)": 511,
  "BPb4b3": 512,
  "BPb4c3(x)": 513,
  "BPb5a4(x)": 514,
  "BPb5b4": 515,
  "BPb5c4(x)": 516,
  "BPb6a5(x)": 517,
  "BPb6b5": 518,
  "BPb6c5(x)": 519,
  "BPb7a6(x)": 520,
  "BPb7b5": 521,
  "BPb7b6": 522,
  "BPb7c6(x)": 523,
  "BPc2c1(Q)": 524,
  "BPc3c2": 525,
  "BPc4b3(x)": 526,
  "BPc4c3": 527,
  "BPc4d3(x)": 528,
  "BPc5b4(x)": 529,
  "BPc5c4": 530,
  "BPc5d4(x)": 531,
  "BPc6b5(x)": 532,
  "BPc6c5": 533,
  "BPc6d5(x)": 534,
  "BPc7b6(x)": 535,
  "BPc7c5": 536,
  "BPc7c6": 537,
  "BPc7d6(x)": 538,
  "BPd3d2": 539,
  "BPd4c3(x)": 540,
  "BPd4d3": 541,
  "BPd4e3(x)": 542,
  "BPd5c4(x)": 543,
  "BPd5d4": 544,
  "BPd5e4(x)": 545,
  "BPd6c5(x)": 546,
  "BPd6d5": 547,
  "BPd6e5(x)": 548,
  "BPd7c6(x)": 549,
  "BPd7d5": 550,
  "BPd7d6": 551,
  "BPe3e2": 552,
  "BPe4d3(x)": 553,
  "BPe4e3": 554,
  "BPe4f3(x)": 555,
  "BPe5d4(x)": 556,
  "BPe5e4": 557,
  "BPe5f4(x)": 558,
  "BPe6d5(x)": 559,
  "BPe6e5": 560,
  "BPe6f5(x)": 561,
  "BPe7d6(x)": 562,
  "BPe7e5": 563,
  "BPe7e6": 564,
  "BPe7f6(x)": 565,
  "BPf3f2": 566,
  "BPf4e3(x)": 567,
  "BPf4f3": 568,
  "BPf4g3(x)": 569,
  "BPf5e4(x)": 570,
  "BPf5f4": 571,
  "BPf5g4(x)": 572,
  "BPf6e5(x)": 573,
  "BPf6f5": 574,
  "BPf6g5(x)": 575,
  "BPf7e6(x)": 576,
  "BPf7f5": 577,
  "BPf7f6": 578,
  "BPf7g6(x)": 579,
  "BPg2g1(Q)": 580,
  "BPg3g2": 581,
  "BPg4f3(x)": 582,
  "BPg4g3": 583,
  "BPg4h3(x)": 584,
  "BPg5f4(x)": 585,
  "BPg5g4": 586,
  "BPg5h4(x)": 587,
  "BPg6f5(x)": 588,
  "BPg6g5": 589,
  "BPg6h5(x)": 590,
  "BPg7f6(x)": 591,
  "BPg7g5": 592,
  "BPg7g6": 593,
  "BPg7h6(x)": 594,
  "BPh2h1(Q)": 595,
  "BPh3h2": 596,
  "BPh4g3(x)": 597,
  "BPh4h3": 598,
  "BPh5g4(x)": 599,
  "BPh5h4": 600,
  "BPh6g5(x)": 601,
  "BPh6h5": 602,
  "BPh7g6(x)": 603,
  "BPh7h5": 604,
  "BPh7h6": 605,
  "BQa5b6": 606,
  "BQa5c7": 607,
  "BQa5d8": 608,
  "BQb2a2(x)": 609,
  "BQb4b2(x)": 610,
  "BQb6a5": 611,
  "BQb6b2(x)": 612,
  "BQb6c6": 613,
  "BQb6c7": 614,
  "BQb6d4(x)": 615,
  "BQb6d8": 616,
  "BQc7a5": 617,
  "BQc7b6": 618,
  "BQc7b7": 619,
  "BQc7c6": 620,
  "BQc7d6": 621,
  "BQc7d6(x)": 622,
  "BQc7d7": 623,
  "BQc7d8": 624,
  "BQc7e5(x)": 625,
  "BQc7e7": 626,
  "BQd5a5": 627,
  "BQd5d6": 628,
  "BQd5d8": 629,
  "BQd6c6": 630,
  "BQd6c7": 631,
  "BQd6d7": 632,
  "BQd6e6": 633,
  "BQd6e7": 634,
  "BQd7c6": 635,
  "BQd7c7": 636,
  "BQd7d6": 637,
  "BQd7e6": 638,
  "BQd7e7": 639,
  "BQd7f5": 640,
  "BQd7g4": 641,
  "BQd8a5": 642,
  "BQd8a5(+)": 643,
  "BQd8a8(x)": 644,
  "BQd8b6": 645,
  "BQd8b6(+)": 646,
  "BQd8b8": 647,
  "BQd8c7": 648,
  "BQd8c8": 649,
  "BQd8d1(x)": 650,
  "BQd8d1(x+)": 651,
  "BQd8d4": 652,
  "BQd8d4(x)": 653,
  "BQd8d5": 654,
  "BQd8d5(x)": 655,
  "BQd8d6": 656,
  "BQd8d6(x)": 657,
  "BQd8d7": 658,
  "BQd8d7(x)": 659,
  "BQd8e7": 660,
  "BQd8e7(+)": 661,
  "BQd8e7(x)": 662,
  "BQd8e8": 663,
  "BQd8f6": 664,
  "BQd8f6(x)": 665,
  "BQd8f8": 666,
  "BQd8g5": 667,
  "BQd8g5(x)": 668,
  "BQd8h4": 669,
  "BQd8h4(+)": 670,
  "BQd8h4(x)": 671,
  "BQe7c5": 672,
  "BQe7c7": 673,
  "BQe7d6": 674,
  "BQe7d7": 675,
  "BQe7d8": 676,
  "BQe7e5": 677,
  "BQe7e5(x)": 678,
  "BQe7e6": 679,
  "BQe7e6(x)": 680,
  "BQe7f6": 681,
  "BQe7f6(x)": 682,
  "BQe7f7": 683,
  "BQe7g5": 684,
  "BQe7h4": 685,
  "BQf6d8": 686,
  "BQf6e5(x)": 687,
  "BQf6e6": 688,
  "BQf6e7": 689,
  "BQf6f3(x)": 690,
  "BQf6f5": 691,
  "BQf6g5": 692,
  "BQf6g6": 693,
  "BQg5f6": 694,
  "BQg5g6": 695,
  "BQg6f6": 696,
  "BRa2a1(+)": 697,
  "BRa2b2": 698,
  "BRa8a1(x)": 699,
  "BRa8a2(x)": 700,
  "BRa8a6": 701,
  "BRa8a6(x)": 702,
  "BRa8a7": 703,
  "BRa8b8": 704,
  "BRa8c8": 705,
  "BRa8c8(x)": 706,
  "BRa8d8": 707,
  "BRa8d8(x)": 708,
  "BRa8e8": 709,
  "BRa8e8(x)": 710,
  "BRa8f8": 711,
  "BRa8f8(x)": 712,
  "BRa8g8": 713,
  "BRa8h8": 714,
  "BRb2a2(x)": 715,
  "BRb8a8": 716,
  "BRb8b2": 717,
  "BRb8b2(x)": 718,
  "BRb8b6": 719,
  "BRb8b7": 720,
  "BRb8b7(x)": 721,
  "BRb8c8": 722,
  "BRb8d8": 723,
  "BRb8e8": 724,
  "BRb8f8": 725,
  "BRc2a2(x)": 726,
  "BRc2b2(x)": 727,
  "BRc8a8": 728,
  "BRc8b8": 729,
  "BRc8c1(x)": 730,
  "BRc8c1(x+)": 731,
  "BRc8c2": 732,
  "BRc8c2(x)": 733,
  "BRc8c3": 734,
  "BRc8c3(x)": 735,
  "BRc8c4": 736,
  "BRc8c4(x)": 737,
  "BRc8c5": 738,
  "BRc8c5(x)": 739,
  "BRc8c6": 740,
  "BRc8c6(x)": 741,
  "BRc8c7": 742,
  "BRc8c7(x)": 743,
  "BRc8d8": 744,
  "BRc8e8": 745,
  "BRc8f8": 746,
  "BRd7c7": 747,
  "BRd7e7": 748,
  "BRd8a8": 749,
  "BRd8b8": 750,
  "BRd8c8": 751,
  "BRd8d1(+)": 752,
  "BRd8d1(x)": 753,
  "BRd8d1(x+)": 754,
  "BRd8d2": 755,
  "BRd8d2(x)": 756,
  "BRd8d3": 757,
  "BRd8d3(x)": 758,
  "BRd8d4": 759,
  "BRd8d4(x)": 760,
  "BRd8d5": 761,
  "BRd8d5(x)": 762,
  "BRd8d6": 763,
  "BRd8d6(x)": 764,
  "BRd8d7": 765,
  "BRd8d7(x)": 766,
  "BRd8e8": 767,
  "BRd8f8": 768,
  "BRd8g8": 769,
  "BRd8h8": 770,
  "BRe7d7": 771,
  "BRe8b8": 772,
  "BRe8c8": 773,
  "BRe8d8": 774,
  "BRe8d8(x)": 775,
  "BRe8e1(+)": 776,
  "BRe8e1(x)": 777,
  "BRe8e1(x+)": 778,
  "BRe8e2": 779,
  "BRe8e2(x)": 780,
  "BRe8e3": 781,
  "BRe8e3(x)": 782,
  "BRe8e4": 783,
  "BRe8e4(x)": 784,
  "BRe8e5": 785,
  "BRe8e5(x)": 786,
  "BRe8e6": 787,
  "BRe8e6(x)": 788,
  "BRe8e7": 789,
  "BRe8e7(x)": 790,
  "BRe8f8": 791,
  "BRe8g8": 792,
  "BRf6g6": 793,
  "BRf7e7": 794,
  "BRf7f8": 795,
  "BRf8a8": 796,
  "BRf8a8(x)": 797,
  "BRf8b8": 798,
  "BRf8c8": 799,
  "BRf8c8(x)": 800,
  "BRf8d8": 801,
  "BRf8d8(x)": 802,
  "BRf8e8": 803,
  "BRf8e8(+)": 804,
  "BRf8e8(x)": 805,
  "BRf8f1(x+)": 806,
  "BRf8f2(x)": 807,
  "BRf8f3(x)": 808,
  "BRf8f4": 809,
  "BRf8f4(x)": 810,
  "BRf8f5": 811,
  "BRf8f5(x)": 812,
  "BRf8f6": 813,
  "BRf8f6(x)": 814,
  "BRf8f7": 815,
  "BRf8f7(x)": 816,
  "BRf8g8": 817,
  "BRf8h8": 818,
  "BRg8f8": 819,
  "BRg8g6": 820,
  "BRg8g7": 821,
  "BRg8h8": 822,
  "BRh8c8": 823,
  "BRh8d8": 824,
  "BRh8e8": 825,
  "BRh8f8": 826,
  "BRh8g8": 827,
  "BRh8h6": 828,
  "BRh8h7": 829,
  "WBa3b2": 830,
  "WBa4b3": 831,
  "WBa4c2": 832,
  "WBb2a3": 833,
  "WBb2c1": 834,
  "WBb2c3": 835,
  "WBb2c3(x)": 836,
  "WBb2d4": 837,
  "WBb2d4(x)": 838,
  "WBb2e5(x)": 839,
  "WBb2f6(x)": 840,
  "WBb2g7(x)": 841,
  "WBb3a2": 842,
  "WBb3c2": 843,
  "WBb3d5": 844,
  "WBb3d5(x)": 845,
  "WBb3e6(x)": 846,
  "WBb5a4": 847,
  "WBb5c4": 848,
  "WBb5c6(x)": 849,
  "WBb5c6(x+)": 850,
  "WBb5d3": 851,
  "WBb5d7(x)": 852,
  "WBb5d7(x+)": 853,
  "WBb5e2": 854,
  "WBc1a3": 855,
  "WBc1b2": 856,
  "WBc1d2": 857,
  "WBc1d2(x)": 858,
  "WBc1e3": 859,
  "WBc1e3(x)": 860,
  "WBc1f4": 861,
  "WBc1f4(x)": 862,
  "WBc1g5": 863,
  "WBc1g5(x)": 864,
  "WBc1h6": 865,
  "WBc1h6(x)": 866,
  "WBc2b3": 867,
  "WBc2e4(x)": 868,
  "WBc3d2": 869,
  "WBc4a2": 870,
  "WBc4b3": 871,
  "WBc4b5": 872,
  "WBc4b5(+)": 873,
  "WBc4d3": 874,
  "WBc4d5": 875,
  "WBc4d5(x)": 876,
  "WBc4e2": 877,
  "WBc4e6(x)": 878,
  "WBc4f7(x)": 879,
  "WBc4f7(x+)": 880,
  "WBd2b4": 881,
  "WBd2b4(x)": 882,
  "WBd2c1": 883,
  "WBd2c3": 884,
  "WBd2c3(x)": 885,
  "WBd2e1": 886,
  "WBd2e3": 887,
  "WBd2f4": 888,
  "WBd2f4(x)": 889,
  "WBd2g5": 890,
  "WBd3a6(x)": 891,
  "WBd3b1": 892,
  "WBd3b5": 893,
  "WBd3b5(x)": 894,
  "WBd3c2": 895,
  "WBd3c4": 896,
  "WBd3c4(x)": 897,
  "WBd3e2": 898,
  "WBd3e4": 899,
  "WBd3e4(x)": 900,
  "WBd3f1": 901,
  "WBd3f5": 902,
  "WBd3f5(x)": 903,
  "WBd3g6(x)": 904,
  "WBd3h7(x+)": 905,
  "WBd4e3": 906,
  "WBd4f6(x)": 907,
  "WBd5b3": 908,
  "WBe2b5": 909,
  "WBe2c4": 910,
  "WBe2c4(x)": 911,
  "WBe2d1": 912,
  "WBe2d3": 913,
  "WBe2f1": 914,
  "WBe2f3": 915,
  "WBe2f3(x)": 916,
  "WBe2g4": 917,
  "WBe2g4(x)": 918,
  "WBe2h5": 919,
  "WBe2h5(x)": 920,
  "WBe3a7(x)": 921,
  "WBe3b6(x)": 922,
  "WBe3c1": 923,
  "WBe3c5": 924,
  "WBe3c5(x)": 925,
  "WBe3d2": 926,
  "WBe3d4": 927,
  "WBe3d4(x)": 928,
  "WBe3f2": 929,
  "WBe3f4": 930,
  "WBe3f4(x)": 931,
  "WBe3g5": 932,
  "WBe3g5(x)": 933,
  "WBe3h6": 934,
  "WBe3h6(x)": 935,
  "WBe4d3": 936,
  "WBe4f3": 937,
  "WBe5f6(x)": 938,
  "WBe5g3": 939,
  "WBf1b5": 940,
  "WBf1b5(+)": 941,
  "WBf1c4": 942,
  "WBf1c4(x)": 943,
  "WBf1d3": 944,
  "WBf1d3(x)": 945,
  "WBf1e2": 946,
  "WBf1g2": 947,
  "WBf1h3": 948,
  "WBf3b7(x)": 949,
  "WBf3c6(x)": 950,
  "WBf3d5(x)": 951,
  "WBf3e2": 952,
  "WBf3e4": 953,
  "WBf3e4(x)": 954,
  "WBf3g2": 955,
  "WBf3g4": 956,
  "WBf4c7(x)": 957,
  "WBf4d2": 958,
  "WBf4d6": 959,
  "WBf4d6(x)": 960,
  "WBf4e3": 961,
  "WBf4e5": 962,
  "WBf4e5(x)": 963,
  "WBf4g3": 964,
  "WBf4g5": 965,
  "WBf4h2": 966,
  "WBf4h6": 967,
  "WBg2b7(x)": 968,
  "WBg2c6(x)": 969,
  "WBg2d5(x)": 970,
  "WBg2e4": 971,
  "WBg2e4(x)": 972,
  "WBg2f1": 973,
  "WBg2f3": 974,
  "WBg2f3(x)": 975,
  "WBg2h3": 976,
  "WBg3d6(x)": 977,
  "WBg3e5": 978,
  "WBg3e5(x)": 979,
  "WBg3f2": 980,
  "WBg3h2": 981,
  "WBg3h4": 982,
  "WBg4f3": 983,
  "WBg5d2": 984,
  "WBg5d8(x)": 985,
  "WBg5e3": 986,
  "WBg5e7(x)": 987,
  "WBg5f4": 988,
  "WBg5f6": 989,
  "WBg5f6(x)": 990,
  "WBg5h4": 991,
  "WBg5h6": 992,
  "WBh4e7(x)": 993,
  "WBh4f6(x)": 994,
  "WBh4g3": 995,
  "WBh6f8(x)": 996,
  "WBh6g5": 997,
  "WBh6g7(x)": 998,
  "WKb1a1": 999,
  "WKb1a2": 1000,
  "WKb1b2": 1001,
  "WKb1c1": 1002,
  "WKb1c2": 1003,
  "WKb2a3": 1004,
  "WKb2b3": 1005,
  "WKb2c2": 1006,
  "WKb2c3": 1007,
  "WKb3a4": 1008,
  "WKb3c2": 1009,
  "WKb3c4": 1010,
  "WKc1b1": 1011,
  "WKc1b2": 1012,
  "WKc1c2": 1013,
  "WKc1d1": 1014,
  "WKc1d2": 1015,
  "WKc2b1": 1016,
  "WKc2b2": 1017,
  "WKc2b3": 1018,
  "WKc2c3": 1019,
  "WKc2d2": 1020,
  "WKc2d3": 1021,
  "WKc3b2": 1022,
  "WKc3b3": 1023,
  "WKc3b4": 1024,
  "WKc3c4": 1025,
  "WKc3d2": 1026,
  "WKc3d3": 1027,
  "WKc3d4": 1028,
  "WKc4b5": 1029,
  "WKc4c5": 1030,
  "WKc4d5": 1031,
  "WKd1c1": 1032,
  "WKd1c2": 1033,
  "WKd1d2": 1034,
  "WKd1e1": 1035,
  "WKd1e2": 1036,
  "WKd2c1": 1037,
  "WKd2c2": 1038,
  "WKd2c3": 1039,
  "WKd2d1": 1040,
  "WKd2d3": 1041,
  "WKd2e1": 1042,
  "WKd2e2": 1043,
  "WKd2e3": 1044,
  "WKd3c2": 1045,
  "WKd3c3": 1046,
  "WKd3c4": 1047,
  "WKd3d2": 1048,
  "WKd3d4": 1049,
  "WKd3e2": 1050,
  "WKd3e3": 1051,
  "WKd3e4": 1052,
  "WKd4c3": 1053,
  "WKd4c4": 1054,
  "WKd4c5": 1055,
  "WKd4d5": 1056,
  "WKd4e3": 1057,
  "WKd4e4": 1058,
  "WKd4e5": 1059,
  "WKd5c6": 1060,
  "WKe1c1(O)": 1061,
  "WKe1d1": 1062,
  "WKe1d1(x)": 1063,
  "WKe1d2": 1064,
  "WKe1d2(x)": 1065,
  "WKe1e2": 1066,
  "WKe1e2(x)": 1067,
  "WKe1f1": 1068,
  "WKe1f2": 1069,
  "WKe1f2(x)": 1070,
  "WKe1g1(o)": 1071,
  "WKe2d1": 1072,
  "WKe2d2": 1073,
  "WKe2d3": 1074,
  "WKe2e1": 1075,
  "WKe2e3": 1076,
  "WKe2f1": 1077,
  "WKe2f2": 1078,
  "WKe2f3": 1079,
  "WKe3d2": 1080,
  "WKe3d3": 1081,
  "WKe3d4": 1082,
  "WKe3e2": 1083,
  "WKe3e4": 1084,
  "WKe3f2": 1085,
  "WKe3f3": 1086,
  "WKe3f4": 1087,
  "WKe4d3": 1088,
  "WKe4d4": 1089,
  "WKe4d5": 1090,
  "WKe4e3": 1091,
  "WKe4e5": 1092,
  "WKe4f3": 1093,
  "WKe4f4": 1094,
  "WKe4f5": 1095,
  "WKe5d6": 1096,
  "WKe5f6": 1097,
  "WKf1e1": 1098,
  "WKf1e2": 1099,
  "WKf1f2": 1100,
  "WKf1g1": 1101,
  "WKf1g2": 1102,
  "WKf2e1": 1103,
  "WKf2e2": 1104,
  "WKf2e3": 1105,
  "WKf2f1": 1106,
  "WKf2f3": 1107,
  "WKf2g1": 1108,
  "WKf2g2": 1109,
  "WKf2g3": 1110,
  "WKf3e2": 1111,
  "WKf3e3": 1112,
  "WKf3e4": 1113,
  "WKf3f2": 1114,
  "WKf3f4": 1115,
  "WKf3g2": 1116,
  "WKf3g3": 1117,
  "WKf3g4": 1118,
  "WKf4e3": 1119,
  "WKf4e4": 1120,
  "WKf4e5": 1121,
  "WKf4f3": 1122,
  "WKf4f5": 1123,
  "WKf4g3": 1124,
  "WKf4g4": 1125,
  "WKf4g5": 1126,
  "WKg1f1": 1127,
  "WKg1f1(x)": 1128,
  "WKg1f2": 1129,
  "WKg1f2(x)": 1130,
  "WKg1g2": 1131,
  "WKg1g2(x)": 1132,
  "WKg1h1": 1133,
  "WKg1h2": 1134,
  "WKg1h2(x)": 1135,
  "WKg2f1": 1136,
  "WKg2f2": 1137,
  "WKg2f3": 1138,
  "WKg2g1": 1139,
  "WKg2g3": 1140,
  "WKg2h1": 1141,
  "WKg2h2": 1142,
  "WKg2h3": 1143,
  "WKg3f2": 1144,
  "WKg3f3": 1145,
  "WKg3f4": 1146,
  "WKg3g2": 1147,
  "WKg3g4": 1148,
  "WKg3h2": 1149,
  "WKg3h3": 1150,
  "WKg3h4": 1151,
  "WKg4f3": 1152,
  "WKg4f4": 1153,
  "WKg4f5": 1154,
  "WKg4g3": 1155,
  "WKg4g5": 1156,
  "WKg4h3": 1157,
  "WKg4h5": 1158,
  "WKg5f6": 1159,
  "WKh1g1": 1160,
  "WKh1g2": 1161,
  "WKh1h2": 1162,
  "WKh2g1": 1163,
  "WKh2g2": 1164,
  "WKh2g3": 1165,
  "WKh2h1": 1166,
  "WKh2h3": 1167,
  "WKh3g2": 1168,
  "WKh3g3": 1169,
  "WKh3g4": 1170,
  "WKh3h2": 1171,
  "WKh3h4": 1172,
  "WKh4g3": 1173,
  "WKh4g5": 1174,
  "WKh4h5": 1175,
  "WNa3b5": 1176,
  "WNa3c2": 1177,
  "WNa3c4": 1178,
  "WNa4c3": 1179,
  "WNa4c5": 1180,
  "WNa4c5(x)": 1181,
  "WNb1a3": 1182,
  "WNb1c3": 1183,
  "WNb1c3(x)": 1184,
  "WNb1d2": 1185,
  "WNb1d2(x)": 1186,
  "WNb3c5": 1187,
  "WNb3d2": 1188,
  "WNb3d4": 1189,
  "WNb5a3": 1190,
  "WNb5c3": 1191,
  "WNb5c7": 1192,
  "WNb5d4": 1193,
  "WNb5d6": 1194,
  "WNb5d6(+)": 1195,
  "WNb5d6(x)": 1196,
  "WNc2e3": 1197,
  "WNc3a2": 1198,
  "WNc3a4": 1199,
  "WNc3b1": 1200,
  "WNc3b5": 1201,
  "WNc3b5(x)": 1202,
  "WNc3d1": 1203,
  "WNc3d1(x)": 1204,
  "WNc3d5": 1205,
  "WNc3d5(x)": 1206,
  "WNc3e2": 1207,
  "WNc3e2(x)": 1208,
  "WNc3e4": 1209,
  "WNc3e4(x)": 1210,
  "WNc4d2": 1211,
  "WNc4d6": 1212,
  "WNc4e3": 1213,
  "WNc4e5": 1214,
  "WNc4e5(x)": 1215,
  "WNc5d3": 1216,
  "WNc7a8(x)": 1217,
  "WNd1e3": 1218,
  "WNd2b1": 1219,
  "WNd2b3": 1220,
  "WNd2c4": 1221,
  "WNd2c4(x)": 1222,
  "WNd2e4": 1223,
  "WNd2e4(x)": 1224,
  "WNd2f1": 1225,
  "WNd2f3": 1226,
  "WNd2f3(x)": 1227,
  "WNd3e5": 1228,
  "WNd3f4": 1229,
  "WNd4b3": 1230,
  "WNd4b5": 1231,
  "WNd4c6": 1232,
  "WNd4c6(x)": 1233,
  "WNd4e2": 1234,
  "WNd4e6": 1235,
  "WNd4e6(x)": 1236,
  "WNd4f3": 1237,
  "WNd4f5": 1238,
  "WNd4f5(x)": 1239,
  "WNd5c3": 1240,
  "WNd5c7(x)": 1241,
  "WNd5e3": 1242,
  "WNd5e7(+)": 1243,
  "WNd5e7(x)": 1244,
  "WNd5e7(x+)": 1245,
  "WNd5f4": 1246,
  "WNd5f6(+)": 1247,
  "WNd5f6(x+)": 1248,
  "WNd6b7(x)": 1249,
  "WNe1f3": 1250,
  "WNe2c3": 1251,
  "WNe2c3(x)": 1252,
  "WNe2d4": 1253,
  "WNe2d4(x)": 1254,
  "WNe2f4": 1255,
  "WNe2f4(x)": 1256,
  "WNe2g3": 1257,
  "WNe3c4": 1258,
  "WNe3d5": 1259,
  "WNe3f5": 1260,
  "WNe3g4": 1261,
  "WNe4c3": 1262,
  "WNe4c5": 1263,
  "WNe4c5(x)": 1264,
  "WNe4d2": 1265,
  "WNe4d6": 1266,
  "WNe4d6(+)": 1267,
  "WNe4d6(x)": 1268,
  "WNe4f6(+)": 1269,
  "WNe4f6(x+)": 1270,
  "WNe4g3": 1271,
  "WNe4g5": 1272,
  "WNe5c4": 1273,
  "WNe5c4(x)": 1274,
  "WNe5c6": 1275,
  "WNe5c6(x)": 1276,
  "WNe5d3": 1277,
  "WNe5d7": 1278,
  "WNe5d7(x)": 1279,
  "WNe5f3": 1280,
  "WNe5f7(x)": 1281,
  "WNe5g4": 1282,
  "WNe5g4(x)": 1283,
  "WNe5g6": 1284,
  "WNe5g6(x)": 1285,
  "WNe6f8(x)": 1286,
  "WNf1e3": 1287,
  "WNf1g3": 1288,
  "WNf3d2": 1289,
  "WNf3d2(x)": 1290,
  "WNf3d4": 1291,
  "WNf3d4(x)": 1292,
  "WNf3e1": 1293,
  "WNf3e5": 1294,
  "WNf3e5(+)": 1295,
  "WNf3e5(x)": 1296,
  "WNf3g1": 1297,
  "WNf3g5": 1298,
  "WNf3g5(+)": 1299,
  "WNf3g5(x)": 1300,
  "WNf3h2": 1301,
  "WNf3h4": 1302,
  "WNf3h4(x)": 1303,
  "WNf4d3": 1304,
  "WNf4d5": 1305,
  "WNf4d5(x)": 1306,
  "WNf4e6(x)": 1307,
  "WNf4h5": 1308,
  "WNf5e3": 1309,
  "WNf5e7(+)": 1310,
  "WNf7h8(x)": 1311,
  "WNg1e2": 1312,
  "WNg1f3": 1313,
  "WNg1f3(x)": 1314,
  "WNg1h3": 1315,
  "WNg3e2": 1316,
  "WNg3e4": 1317,
  "WNg3e4(x)": 1318,
  "WNg3f5": 1319,
  "WNg3f5(x)": 1320,
  "WNg3h5": 1321,
  "WNg4e3": 1322,
  "WNg4e5": 1323,
  "WNg5e4": 1324,
  "WNg5e4(x)": 1325,
  "WNg5e6": 1326,
  "WNg5e6(x)": 1327,
  "WNg5f3": 1328,
  "WNg5f7(x)": 1329,
  "WNg5h3": 1330,
  "WNh2f3": 1331,
  "WNh2g4": 1332,
  "WNh3f2": 1333,
  "WNh3f4": 1334,
  "WNh3g5": 1335,
  "WNh4f3": 1336,
  "WNh4f5": 1337,
  "WNh4f5(x)": 1338,
  "WNh4g6(x)": 1339,
  "WPa2a3": 1340,
  "WPa2a4": 1341,
  "WPa2b3(x)": 1342,
  "WPa3a4": 1343,
  "WPa3b4(x)": 1344,
  "WPa4a5": 1345,
  "WPa4b5(x)": 1346,
  "WPa5a6": 1347,
  "WPa5b6(x)": 1348,
  "WPa6a7": 1349,
  "WPa7a8(Q)": 1350,
  "WPb2a3(x)": 1351,
  "WPb2b3": 1352,
  "WPb2b4": 1353,
  "WPb2c3(x)": 1354,
  "WPb3a4(x)": 1355,
  "WPb3b4": 1356,
  "WPb3c4(x)": 1357,
  "WPb4a5(x)": 1358,
  "WPb4b5": 1359,
  "WPb4c5(x)": 1360,
  "WPb5a6(x)": 1361,
  "WPb5b6": 1362,
  "WPb5c6(x)": 1363,
  "WPb6b7": 1364,
  "WPb7b8(Q)": 1365,
  "WPc2b3(x)": 1366,
  "WPc2c3": 1367,
  "WPc2c4": 1368,
  "WPc2d3(x)": 1369,
  "WPc3b4(x)": 1370,
  "WPc3c4": 1371,
  "WPc3d4(x)": 1372,
  "WPc4b5(x)": 1373,
  "WPc4c5": 1374,
  "WPc4d5(x)": 1375,
  "WPc5b6(x)": 1376,
  "WPc5c6": 1377,
  "WPc5d6(x)": 1378,
  "WPc6c7": 1379,
  "WPc7c8(Q)": 1380,
  "WPd2c3(x)": 1381,
  "WPd2d3": 1382,
  "WPd2d4": 1383,
  "WPd3c4(x)": 1384,
  "WPd3d4": 1385,
  "WPd3e4(x)": 1386,
  "WPd4c5(x)": 1387,
  "WPd4d5": 1388,
  "WPd4e5(x)": 1389,
  "WPd5c6(x)": 1390,
  "WPd5d6": 1391,
  "WPd5e6(x)": 1392,
  "WPd6d7": 1393,
  "WPd7d8(Q)": 1394,
  "WPe2e3": 1395,
  "WPe2e4": 1396,
  "WPe3d4(x)": 1397,
  "WPe3e4": 1398,
  "WPe3f4(x)": 1399,
  "WPe4d5(x)": 1400,
  "WPe4e5": 1401,
  "WPe4f5(x)": 1402,
  "WPe5d6(x)": 1403,
  "WPe5e6": 1404,
  "WPe5f6(x)": 1405,
  "WPe5f6(xE)": 1406,
  "WPe6e7": 1407,
  "WPe6f7(x+)": 1408,
  "WPf2e3(x)": 1409,
  "WPf2f3": 1410,
  "WPf2f4": 1411,
  "WPf2g3(x)": 1412,
  "WPf3e4(x)": 1413,
  "WPf3f4": 1414,
  "WPf3g4(x)": 1415,
  "WPf4e5(x)": 1416,
  "WPf4f5": 1417,
  "WPf4g5(x)": 1418,
  "WPf5e6(x)": 1419,
  "WPf5f6": 1420,
  "WPf5g6(x)": 1421,
  "WPf6f7": 1422,
  "WPg2f3(x)": 1423,
  "WPg2g3": 1424,
  "WPg2g4": 1425,
  "WPg2h3(x)": 1426,
  "WPg3f4(x)": 1427,
  "WPg3g4": 1428,
  "WPg3h4(x)": 1429,
  "WPg4f5(x)": 1430,
  "WPg4g5": 1431,
  "WPg4h5(x)": 1432,
  "WPg5f6(x)": 1433,
  "WPg5g6": 1434,
  "WPg5h6(x)": 1435,
  "WPg6g7": 1436,
  "WPg7g8(Q)": 1437,
  "WPh2g3(x)": 1438,
  "WPh2h3": 1439,
  "WPh2h4": 1440,
  "WPh3g4(x)": 1441,
  "WPh3h4": 1442,
  "WPh4g5(x)": 1443,
  "WPh4h5": 1444,
  "WPh5g6(x)": 1445,
  "WPh5h6": 1446,
  "WPh6h7": 1447,
  "WPh7h8(Q)": 1448,
  "WQa4b3": 1449,
  "WQa4c2": 1450,
  "WQb3b7(x)": 1451,
  "WQb3c2": 1452,
  "WQb3d1": 1453,
  "WQc2b3": 1454,
  "WQc2c3": 1455,
  "WQc2d2": 1456,
  "WQc2d3": 1457,
  "WQc2e2": 1458,
  "WQc2e4(x)": 1459,
  "WQd1a1(x)": 1460,
  "WQd1a4": 1461,
  "WQd1a4(+)": 1462,
  "WQd1b3": 1463,
  "WQd1c1": 1464,
  "WQd1c2": 1465,
  "WQd1d2": 1466,
  "WQd1d2(x)": 1467,
  "WQd1d3": 1468,
  "WQd1d3(x)": 1469,
  "WQd1d4": 1470,
  "WQd1d4(x)": 1471,
  "WQd1d5": 1472,
  "WQd1d5(x)": 1473,
  "WQd1d6(x)": 1474,
  "WQd1d8(x)": 1475,
  "WQd1d8(x+)": 1476,
  "WQd1e1": 1477,
  "WQd1e2": 1478,
  "WQd1e2(+)": 1479,
  "WQd1e2(x)": 1480,
  "WQd1f3": 1481,
  "WQd1f3(x)": 1482,
  "WQd1g4": 1483,
  "WQd1g4(x)": 1484,
  "WQd1h5": 1485,
  "WQd1h5(+)": 1486,
  "WQd1h5(x)": 1487,
  "WQd2c2": 1488,
  "WQd2c3": 1489,
  "WQd2d3": 1490,
  "WQd2e2": 1491,
  "WQd2e3": 1492,
  "WQd2e3(x)": 1493,
  "WQd2f2": 1494,
  "WQd2f4": 1495,
  "WQd2f4(x)": 1496,
  "WQd2g5": 1497,
  "WQd2h6(x)": 1498,
  "WQd3c2": 1499,
  "WQd3d2": 1500,
  "WQd3e2": 1501,
  "WQd3e3": 1502,
  "WQd3e4(x)": 1503,
  "WQd3f3": 1504,
  "WQd3g3": 1505,
  "WQd4d1": 1506,
  "WQd4d3": 1507,
  "WQd4e3": 1508,
  "WQe2c2": 1509,
  "WQe2c4": 1510,
  "WQe2c4(x)": 1511,
  "WQe2d1": 1512,
  "WQe2d2": 1513,
  "WQe2d3": 1514,
  "WQe2e3": 1515,
  "WQe2e3(x)": 1516,
  "WQe2e4": 1517,
  "WQe2e4(x)": 1518,
  "WQe2f2": 1519,
  "WQe2f3": 1520,
  "WQe2f3(x)": 1521,
  "WQe2g4": 1522,
  "WQe2h5": 1523,
  "WQe3e2": 1524,
  "WQe3f3": 1525,
  "WQe3g3": 1526,
  "WQf3b7(x)": 1527,
  "WQf3d1": 1528,
  "WQf3d3": 1529,
  "WQf3d5(x)": 1530,
  "WQf3e2": 1531,
  "WQf3e3": 1532,
  "WQf3e4(x)": 1533,
  "WQf3f4": 1534,
  "WQf3f6(x)": 1535,
  "WQf3g3": 1536,
  "WQf3g4": 1537,
  "WQf3h3": 1538,
  "WQf3h5": 1539,
  "WQg3f3": 1540,
  "WQg3g4": 1541,
  "WQg3h4": 1542,
  "WQg4f3": 1543,
  "WQg4g3": 1544,
  "WQh5f3": 1545,
  "WRa1a2": 1546,
  "WRa1a3": 1547,
  "WRa1a6(x)": 1548,
  "WRa1a7(x)": 1549,
  "WRa1a8(x)": 1550,
  "WRa1b1": 1551,
  "WRa1c1": 1552,
  "WRa1c1(x)": 1553,
  "WRa1d1": 1554,
  "WRa1d1(x)": 1555,
  "WRa1e1": 1556,
  "WRa1e1(x)": 1557,
  "WRa1f1": 1558,
  "WRa1f1(x)": 1559,
  "WRa1g1": 1560,
  "WRa1h1": 1561,
  "WRb1a1": 1562,
  "WRb1b2": 1563,
  "WRb1b2(x)": 1564,
  "WRb1b3": 1565,
  "WRb1b7": 1566,
  "WRb1b7(x)": 1567,
  "WRb1c1": 1568,
  "WRb1d1": 1569,
  "WRb1e1": 1570,
  "WRb1f1": 1571,
  "WRb7a7(x)": 1572,
  "WRc1a1": 1573,
  "WRc1b1": 1574,
  "WRc1c2": 1575,
  "WRc1c2(x)": 1576,
  "WRc1c3": 1577,
  "WRc1c3(x)": 1578,
  "WRc1c4(x)": 1579,
  "WRc1c5": 1580,
  "WRc1c5(x)": 1581,
  "WRc1c6(x)": 1582,
  "WRc1c7": 1583,
  "WRc1c7(x)": 1584,
  "WRc1c8(x)": 1585,
  "WRc1d1": 1586,
  "WRc1e1": 1587,
  "WRc1f1": 1588,
  "WRc7b7(x)": 1589,
  "WRd1a1": 1590,
  "WRd1b1": 1591,
  "WRd1c1": 1592,
  "WRd1d2": 1593,
  "WRd1d2(x)": 1594,
  "WRd1d3": 1595,
  "WRd1d3(x)": 1596,
  "WRd1d4": 1597,
  "WRd1d4(x)": 1598,
  "WRd1d5": 1599,
  "WRd1d5(x)": 1600,
  "WRd1d6": 1601,
  "WRd1d6(x)": 1602,
  "WRd1d7": 1603,
  "WRd1d7(+)": 1604,
  "WRd1d7(x)": 1605,
  "WRd1d8(+)": 1606,
  "WRd1d8(x)": 1607,
  "WRd1d8(x+)": 1608,
  "WRd1e1": 1609,
  "WRd1e1(x)": 1610,
  "WRd1f1": 1611,
  "WRd1g1": 1612,
  "WRd1h1": 1613,
  "WRd2e2": 1614,
  "WRd7b7(x)": 1615,
  "WRe1a1": 1616,
  "WRe1b1": 1617,
  "WRe1c1": 1618,
  "WRe1d1": 1619,
  "WRe1d1(x)": 1620,
  "WRe1e2": 1621,
  "WRe1e2(x)": 1622,
  "WRe1e3": 1623,
  "WRe1e3(x)": 1624,
  "WRe1e4": 1625,
  "WRe1e4(x)": 1626,
  "WRe1e5": 1627,
  "WRe1e5(x)": 1628,
  "WRe1e6": 1629,
  "WRe1e6(x)": 1630,
  "WRe1e7": 1631,
  "WRe1e7(x)": 1632,
  "WRe1e8(+)": 1633,
  "WRe1e8(x)": 1634,
  "WRe1e8(x+)": 1635,
  "WRe1f1": 1636,
  "WRe1g1": 1637,
  "WRe1h1": 1638,
  "WRe2d2": 1639,
  "WRe2e3": 1640,
  "WRe3f3": 1641,
  "WRe3g3": 1642,
  "WRf1a1": 1643,
  "WRf1a1(x)": 1644,
  "WRf1b1": 1645,
  "WRf1c1": 1646,
  "WRf1c1(x)": 1647,
  "WRf1d1": 1648,
  "WRf1d1(x)": 1649,
  "WRf1e1": 1650,
  "WRf1e1(+)": 1651,
  "WRf1e1(x)": 1652,
  "WRf1f2": 1653,
  "WRf1f2(x)": 1654,
  "WRf1f3": 1655,
  "WRf1f3(x)": 1656,
  "WRf1f4": 1657,
  "WRf1f4(x)": 1658,
  "WRf1f5(x)": 1659,
  "WRf1f6(x)": 1660,
  "WRf1f7": 1661,
  "WRf1f7(x)": 1662,
  "WRf1f8(x+)": 1663,
  "WRf1g1": 1664,
  "WRf1h1": 1665,
  "WRf2e2": 1666,
  "WRf3g3": 1667,
  "WRf3h3": 1668,
  "WRg1e1": 1669,
  "WRg1f1": 1670,
  "WRg1g2": 1671,
  "WRg1g3": 1672,
  "WRg1h1": 1673,
  "WRh1c1": 1674,
  "WRh1d1": 1675,
  "WRh1e1": 1676,
  "WRh1f1": 1677,
  "WRh1g1": 1678,
  "WRh1h2": 1679,
  "WRh1h3": 1680,
  "WRh1h5(x)": 1681
}