#include "ddb.h" short empty[] = /* V001 */ { End, End }; short bpawn[] = /* V002 */ { 117, 36, 118, 46, 121, 58, 129, 72, 142, 86, 156, 96, 168, 103, 179, 108, 183, 110, 190, 112, 191, 113, 205, 116, 209, 119, 201, 133, 196, 148, 195, 154, 194, 169, 194, 184, 196, 189, 199, 202, 203, 217, 208, 230, 213, 244, 216, 252, 216, 267, 215, 270, 200, 270, 194, 270, 185, 270, 170, 270, 155, 270, 140, 270, 134, 271, 132, 273, 131, 278, 131, 293, 136, 307, 144, 321, 158, 336, 170, 344, 178, 349, 186, 353, 195, 357, 199, 358, 200, 359, 207, 361, 207, 391, 211, 405, 219, 420, 231, 431, 240, 436, 245, 436, 245, 438, 260, 438, 270, 437, 279, 434, 288, 427, 298, 415, 303, 405, 304, 403, 307, 389, 307, 374, 308, 361, 316, 359, 316, 358, 327, 355, 327, 354, 335, 351, 348, 344, 362, 332, 372, 320, 379, 307, 382, 298, 383, 292, 383, 277, 382, 274, 367, 274, 352, 274, 337, 274, 322, 274, 307, 273, 305, 272, 303, 266, 303, 251, 308, 237, 314, 222, 316, 217, 320, 208, 325, 197, 328, 184, 329, 173, 329, 158, 327, 146, 322, 131, 316, 121, 316, 119, 323, 117, 327, 115, 336, 113, 336, 112, 347, 109, 349, 107, 356, 105, 358, 103, 362, 102, 377, 92, 392, 78, 401, 64, 406, 51, 407, 44, 406, 36, 391, 36, 376, 36, 361, 36, 346, 36, 331, 36, 316, 36, 315, 35, 300, 35, 285, 35, 270, 35, 255, 35, 240, 35, 225, 35, 210, 35, 195, 35, 180, 35, 165, 35, 150, 35, 149, 34, 149, 33, 134, 33, 131, 33, 119, 33, 117, 36, End, End }; short bknight[] = /* V003 */ { 45, 206, 45, 218, 53, 233, 66, 245, 71, 248, 78, 263, 79, 265, 85, 278, 92, 292, 99, 306, 105, 319, 112, 334, 119, 348, 125, 362, 129, 369, 132, 377, 131, 388, 128, 403, 125, 417, 122, 431, 121, 435, 122, 448, 124, 450, 136, 449, 151, 436, 156, 432, 161, 432, 165, 447, 167, 453, 169, 464, 173, 470, 185, 469, 188, 466, 200, 456, 214, 442, 220, 437, 228, 436, 243, 436, 243, 435, 253, 434, 253, 433, 267, 431, 271, 430, 271, 429, 284, 426, 284, 425, 295, 422, 297, 420, 303, 418, 305, 416, 308, 415, 313, 412, 322, 408, 327, 404, 334, 400, 349, 389, 363, 376, 377, 361, 389, 347, 399, 332, 408, 317, 415, 304, 421, 291, 427, 277, 432, 264, 437, 249, 441, 236, 445, 221, 448, 208, 450, 199, 453, 184, 455, 170, 457, 157, 458, 147, 459, 138, 460, 125, 460, 110, 461, 106, 461, 46, 460, 35, 458, 34, 458, 33, 443, 33, 428, 33, 413, 33, 398, 33, 383, 33, 368, 33, 353, 33, 338, 33, 323, 33, 308, 33, 293, 33, 278, 33, 263, 33, 248, 33, 233, 33, 218, 33, 203, 33, 188, 33, 173, 33, 158, 33, 146, 34, 145, 38, 145, 68, 148, 83, 152, 97, 158, 111, 166, 126, 176, 140, 190, 155, 205, 168, 219, 180, 233, 192, 233, 193, 218, 193, 203, 193, 188, 183, 174, 173, 159, 163, 151, 151, 145, 148, 143, 147, 137, 146, 124, 146, 124, 147, 121, 147, 111, 147, 105, 143, 93, 141, 79, 141, 79, 142, 73, 143, 64, 149, 62, 154, 58, 169, 55, 177, 51, 190, 46, 204, 45, 206, End, 79, 213, 83, 218, 92, 218, 92, 199, 90, 196, 84, 196, 80, 202, 79, 213, End, 151, 278, 151, 287, 157, 300, 164, 314, 175, 315, 190, 315, 205, 315, 208, 313, 209, 304, 205, 301, 198, 300, 194, 293, 184, 286, 178, 284, 168, 283, 165, 281, 160, 275, 155, 275, 151, 278, End, 188, 408, 194, 408, 209, 408, 224, 408, 239, 408, 239, 407, 246, 406, 257, 404, 258, 403, 271, 400, 271, 399, 278, 397, 280, 395, 285, 393, 298, 386, 311, 378, 324, 368, 339, 355, 353, 341, 365, 326, 375, 311, 383, 298, 391, 283, 397, 270, 403, 255, 408, 240, 412, 228, 416, 214, 419, 202, 422, 189, 425, 174, 426, 164, 427, 156, 428, 144, 429, 143, 429, 128, 430, 116, 431, 114, 431, 69, 430, 66, 422, 66, 407, 66, 407, 67, 406, 73, 406, 88, 405, 98, 405, 113, 404, 127, 403, 137, 402, 147, 401, 154, 399, 167, 397, 178, 395, 187, 392, 202, 389, 213, 385, 228, 380, 242, 375, 255, 369, 270, 362, 284, 354, 298, 344, 313, 332, 328, 318, 343, 303, 356, 289, 367, 274, 376, 260, 384, 254, 386, 251, 388, 244, 390, 241, 392, 229, 395, 229, 396, 225, 397, 211, 399, 211, 400, 203, 401, 194, 402, 190, 404, 188, 408, End, End }; short bbishop[] = /* V004 */ { 38, 51, 38, 66, 39, 78, 47, 92, 55, 100, 62, 104, 77, 104, 92, 104, 105, 102, 105, 101, 115, 100, 125, 99, 139, 98, 139, 97, 154, 97, 159, 99, 160, 102, 160, 177, 159, 177, 158, 186, 148, 195, 142, 206, 137, 213, 132, 226, 129, 236, 127, 247, 127, 277, 128, 279, 129, 287, 132, 301, 136, 313, 142, 327, 150, 342, 159, 357, 167, 371, 176, 385, 184, 398, 190, 408, 192, 412, 192, 420, 188, 426, 187, 430, 187, 445, 188, 453, 194, 464, 205, 471, 220, 471, 229, 467, 239, 457, 243, 444, 243, 429, 239, 418, 241, 413, 248, 409, 252, 405, 260, 405, 271, 417, 270, 424, 268, 427, 266, 433, 266, 448, 268, 457, 277, 469, 280, 470, 282, 472, 286, 473, 301, 473, 306, 472, 315, 464, 316, 464, 321, 452, 322, 448, 322, 433, 317, 421, 315, 418, 316, 413, 325, 405, 336, 390, 346, 377, 354, 362, 357, 356, 360, 350, 365, 337, 369, 323, 373, 310, 375, 298, 377, 283, 377, 238, 376, 228, 374, 215, 371, 200, 367, 186, 363, 174, 358, 160, 357, 156, 357, 111, 358, 103, 360, 100, 375, 100, 390, 100, 403, 101, 405, 102, 414, 103, 423, 104, 438, 104, 453, 104, 459, 103, 473, 92, 480, 80, 483, 68, 483, 53, 480, 39, 474, 27, 474, 26, 465, 27, 457, 29, 457, 30, 444, 32, 429, 32, 414, 32, 399, 32, 384, 32, 369, 32, 354, 32, 345, 33, 345, 34, 330, 34, 328, 35, 317, 36, 309, 37, 309, 38, 297, 40, 294, 40, 293, 42, 283, 45, 278, 48, 269, 52, 266, 55, 265, 56, 261, 58, 252, 57, 241, 49, 229, 43, 225, 42, 225, 41, 213, 38, 211, 37, 206, 36, 198, 35, 187, 35, 183, 35, 168, 35, 153, 35, 144, 34, 143, 33, 128, 33, 127, 33, 113, 33, 98, 33, 95, 32, 86, 31, 81, 30, 80, 29, 70, 27, 69, 26, 58, 23, 54, 21, 49, 21, 42, 35, 39, 47, 38, 51, End, 190, 174, 190, 203, 196, 204, 206, 205, 216, 206, 216, 207, 231, 207, 246, 207, 261, 207, 276, 207, 291, 207, 301, 206, 313, 205, 327, 203, 329, 200, 329, 171, 316, 172, 307, 173, 297, 173, 296, 175, 281, 175, 266, 175, 251, 175, 244, 175, 236, 175, 221, 175, 213, 174, 199, 172, 199, 171, 191, 171, 190, 174, End, 191, 103, 191, 133, 195, 135, 205, 136, 211, 137, 212, 138, 227, 138, 242, 138, 257, 138, 272, 138, 287, 138, 295, 137, 304, 136, 314, 135, 322, 134, 322, 133, 329, 132, 329, 102, 319, 103, 307, 104, 294, 105, 294, 106, 279, 106, 264, 106, 249, 106, 234, 106, 219, 106, 215, 105, 203, 104, 191, 103, End, 244, 162, 246, 166, 250, 167, 265, 167, 270, 163, 270, 156, 266, 152, 260, 150, 260, 149, 253, 149, 252, 151, 249, 151, 245, 154, 244, 162, End, 280, 385, 287, 393, 299, 393, 307, 383, 318, 368, 323, 358, 329, 349, 335, 334, 340, 319, 343, 307, 344, 305, 345, 298, 347, 287, 348, 276, 344, 276, 342, 281, 337, 295, 331, 309, 324, 322, 316, 337, 306, 350, 295, 365, 281, 380, 280, 385, End, End }; short brook[] = /* V005 */ { 91, 38, 91, 98, 92, 104, 104, 118, 109, 127, 113, 142, 114, 148, 129, 161, 143, 175, 144, 177, 144, 312, 143, 327, 133, 336, 121, 351, 115, 356, 107, 365, 106, 368, 106, 443, 105, 445, 120, 445, 135, 445, 150, 445, 165, 445, 173, 445, 177, 432, 182, 418, 195, 418, 200, 428, 205, 443, 207, 449, 207, 450, 222, 450, 237, 450, 252, 450, 267, 450, 282, 450, 292, 450, 298, 435, 304, 422, 307, 417, 321, 418, 327, 432, 332, 444, 332, 445, 347, 445, 361, 445, 362, 445, 377, 445, 392, 445, 397, 445, 397, 370, 396, 361, 384, 351, 375, 340, 368, 335, 361, 325, 361, 190, 362, 180, 374, 165, 387, 150, 391, 145, 395, 130, 406, 116, 418, 101, 419, 98, 419, 83, 420, 73, 420, 43, 421, 38, 419, 37, 419, 36, 404, 36, 389, 36, 374, 36, 359, 36, 344, 36, 329, 36, 314, 36, 299, 36, 284, 36, 269, 36, 254, 36, 251, 37, 236, 37, 221, 37, 206, 37, 191, 37, 176, 37, 161, 37, 146, 37, 131, 37, 116, 37, 105, 37, 101, 37, 91, 38, End, 173, 328, 173, 343, 183, 344, 198, 344, 213, 344, 228, 344, 243, 344, 258, 344, 273, 344, 288, 344, 303, 344, 318, 344, 333, 344, 333, 318, 331, 316, 324, 316, 309, 316, 294, 316, 279, 316, 264, 316, 249, 316, 234, 316, 219, 316, 204, 316, 189, 316, 175, 316, 174, 316, 174, 317, 173, 328, End, 175, 153, 175, 181, 184, 181, 199, 181, 214, 181, 229, 181, 244, 181, 259, 181, 274, 181, 289, 181, 304, 181, 319, 181, 334, 181, 334, 156, 332, 153, 325, 153, 310, 153, 295, 153, 280, 153, 265, 153, 250, 153, 235, 153, 220, 153, 205, 153, 190, 153, 175, 153, End, End }; short bqueen[] = /* V006 */ { 25, 320, 25, 335, 35, 348, 40, 350, 41, 351, 56, 351, 68, 347, 76, 340, 83, 328, 84, 324, 85, 320, 84, 306, 85, 302, 93, 299, 97, 296, 100, 295, 103, 293, 109, 291, 112, 289, 117, 287, 128, 281, 131, 281, 134, 278, 139, 277, 146, 276, 149, 290, 152, 305, 154, 313, 155, 320, 156, 322, 159, 337, 162, 352, 164, 360, 166, 371, 162, 376, 155, 381, 147, 395, 144, 405, 144, 420, 147, 432, 156, 444, 161, 448, 164, 449, 167, 451, 182, 451, 192, 451, 194, 448, 202, 443, 207, 435, 211, 430, 214, 421, 215, 416, 215, 401, 212, 389, 207, 381, 207, 376, 214, 363, 221, 349, 228, 336, 235, 322, 243, 307, 245, 304, 250, 304, 257, 318, 265, 333, 273, 348, 280, 361, 288, 376, 290, 379, 289, 384, 286, 389, 284, 397, 283, 405, 284, 419, 289, 432, 299, 444, 306, 448, 309, 449, 310, 450, 325, 450, 331, 449, 333, 449, 341, 445, 350, 434, 354, 424, 355, 420, 355, 405, 353, 395, 346, 381, 336, 373, 331, 370, 331, 357, 332, 357, 335, 342, 338, 329, 341, 316, 344, 302, 347, 290, 350, 277, 351, 273, 358, 273, 362, 277, 375, 285, 390, 295, 404, 304, 409, 307, 411, 310, 412, 324, 418, 336, 430, 348, 436, 350, 436, 351, 451, 351, 461, 347, 470, 336, 472, 330, 472, 315, 468, 304, 459, 293, 450, 288, 446, 287, 445, 286, 433, 285, 428, 272, 423, 258, 418, 244, 413, 229, 408, 215, 403, 201, 398, 186, 397, 183, 396, 177, 395, 166, 394, 157, 393, 142, 392, 131, 391, 121, 390, 109, 389, 96, 388, 81, 386, 67, 373, 58, 370, 57, 367, 55, 361, 53, 358, 51, 351, 49, 350, 48, 338, 45, 338, 44, 327, 42, 323, 41, 321, 40, 309, 38, 300, 37, 299, 36, 287, 35, 283, 35, 272, 35, 257, 35, 256, 34, 256, 33, 241, 33, 226, 33, 222, 34, 213, 35, 202, 36, 201, 37, 186, 39, 179, 40, 179, 41, 166, 43, 163, 43, 162, 45, 149, 48, 149, 49, 144, 50, 138, 52, 135, 54, 130, 55, 117, 63, 115, 66, 114, 74, 112, 89, 110, 103, 109, 113, 107, 126, 106, 137, 105, 142, 104, 151, 102, 165, 101, 170, 100, 181, 98, 191, 93, 202, 88, 217, 85, 222, 80, 236, 74, 249, 69, 262, 62, 277, 59, 285, 57, 287, 47, 290, 43, 293, 40, 293, 39, 296, 32, 301, 26, 313, 25, 320, End, 128, 200, 128, 215, 135, 217, 138, 219, 150, 222, 151, 223, 155, 224, 167, 226, 168, 227, 181, 229, 192, 230, 192, 231, 198, 232, 213, 232, 228, 232, 243, 232, 258, 232, 273, 232, 288, 232, 302, 231, 302, 230, 310, 229, 318, 228, 327, 227, 327, 226, 332, 225, 344, 223, 344, 222, 358, 219, 358, 218, 366, 216, 370, 213, 370, 202, 369, 193, 368, 184, 363, 184, 355, 186, 355, 187, 348, 188, 341, 190, 341, 191, 337, 192, 323, 194, 323, 195, 316, 196, 308, 197, 295, 198, 281, 199, 266, 199, 251, 199, 236, 199, 233, 199, 221, 199, 206, 199, 206, 198, 195, 197, 186, 196, 177, 195, 176, 193, 171, 193, 158, 191, 158, 190, 145, 187, 144, 186, 137, 184, 137, 183, 134, 183, 131, 183, 130, 188, 128, 200, End, 134, 164, 146, 164, 150, 161, 151, 154, 150, 150, 143, 144, 140, 144, 136, 144, 135, 149, 134, 164, End, 140, 114, 140, 121, 149, 124, 149, 125, 163, 128, 163, 129, 175, 131, 179, 131, 180, 133, 189, 134, 197, 135, 209, 136, 209, 137, 224, 137, 239, 137, 254, 137, 269, 137, 284, 137, 289, 136, 300, 135, 309, 134, 315, 133, 316, 132, 330, 130, 334, 129, 335, 128, 349, 125, 349, 124, 359, 121, 363, 117, 362, 104, 361, 89, 360, 86, 360, 85, 347, 88, 343, 90, 332, 92, 331, 93, 319, 95, 313, 95, 312, 97, 305, 98, 296, 99, 286, 100, 286, 101, 271, 101, 256, 101, 241, 101, 226, 101, 211, 101, 211, 100, 197, 99, 188, 98, 182, 97, 182, 96, 169, 94, 164, 93, 164, 92, 153, 90, 150, 88, 144, 88, 143, 92, 141, 106, 140, 114, End, 233, 175, 237, 180, 242, 181, 257, 181, 263, 177, 263, 168, 259, 162, 256, 162, 254, 160, 241, 160, 234, 165, 233, 175, End, 348, 157, 352, 162, 366, 163, 366, 157, 365, 143, 357, 143, 354, 145, 349, 150, 348, 157, End, End }; short bking[] = /* V007 */ { 24, 285, 24, 315, 25, 323, 28, 335, 34, 349, 42, 362, 53, 373, 55, 375, 68, 384, 74, 386, 76, 388, 87, 391, 87, 392, 91, 393, 100, 394, 115, 394, 130, 394, 145, 392, 145, 391, 155, 389, 161, 386, 166, 385, 168, 383, 174, 381, 176, 379, 185, 376, 185, 463, 191, 464, 206, 464, 211, 464, 221, 464, 236, 464, 251, 464, 266, 464, 281, 464, 296, 464, 311, 464, 311, 460, 312, 457, 312, 397, 313, 397, 313, 382, 319, 382, 321, 384, 327, 386, 329, 388, 336, 390, 339, 392, 350, 395, 352, 396, 356, 397, 370, 398, 385, 398, 400, 398, 412, 396, 412, 395, 423, 392, 423, 390, 427, 390, 437, 384, 451, 372, 463, 357, 469, 344, 474, 329, 475, 320, 475, 290, 474, 283, 471, 271, 466, 257, 460, 246, 452, 232, 441, 218, 428, 204, 413, 191, 406, 187, 403, 184, 400, 171, 398, 160, 396, 149, 394, 139, 392, 127, 390, 116, 388, 105, 386, 93, 384, 80, 381, 69, 373, 63, 358, 54, 352, 52, 349, 50, 339, 47, 339, 46, 327, 43, 326, 42, 323, 41, 311, 39, 310, 38, 297, 36, 287, 35, 286, 33, 280, 33, 265, 33, 250, 33, 235, 33, 220, 33, 207, 34, 206, 35, 198, 36, 185, 38, 183, 39, 169, 42, 167, 43, 156, 46, 155, 47, 148, 49, 145, 52, 142, 52, 133, 57, 120, 66, 116, 73, 113, 87, 110, 101, 107, 114, 104, 127, 103, 129, 101, 140, 100, 143, 97, 157, 94, 169, 91, 183, 80, 191, 67, 203, 54, 218, 44, 232, 41, 239, 35, 248, 33, 256, 32, 256, 29, 267, 27, 272, 24, 285, End, 53, 295, 53, 310, 54, 319, 60, 334, 72, 349, 81, 355, 85, 358, 94, 362, 99, 363, 99, 364, 114, 364, 129, 364, 141, 363, 152, 360, 152, 359, 160, 356, 172, 349, 187, 336, 200, 322, 209, 308, 216, 295, 220, 281, 222, 272, 237, 272, 252, 272, 267, 272, 274, 272, 277, 283, 280, 295, 287, 310, 296, 325, 305, 335, 308, 339, 323, 352, 337, 360, 348, 365, 356, 367, 356, 368, 362, 369, 377, 369, 392, 369, 401, 368, 401, 367, 411, 364, 413, 362, 418, 360, 431, 349, 440, 335, 444, 325, 445, 319, 445, 304, 444, 289, 442, 280, 436, 265, 427, 250, 414, 235, 401, 222, 395, 218, 395, 217, 385, 218, 380, 220, 377, 222, 370, 224, 370, 225, 358, 228, 358, 229, 344, 232, 343, 233, 340, 233, 330, 235, 324, 236, 323, 237, 315, 238, 302, 239, 287, 239, 272, 239, 257, 239, 242, 239, 227, 239, 225, 239, 212, 239, 197, 239, 197, 238, 188, 237, 188, 236, 173, 234, 168, 233, 167, 232, 156, 230, 152, 229, 151, 228, 139, 225, 135, 223, 129, 221, 128, 221, 125, 219, 122, 218, 117, 215, 114, 214, 111, 212, 103, 212, 98, 218, 86, 227, 75, 242, 67, 253, 60, 268, 56, 280, 53, 295, End, 81, 293, 81, 308, 84, 318, 91, 330, 101, 337, 109, 340, 120, 341, 135, 341, 136, 340, 144, 338, 154, 333, 168, 323, 179, 310, 185, 299, 188, 294, 191, 282, 192, 267, 190, 266, 178, 265, 177, 264, 171, 263, 158, 261, 158, 260, 144, 257, 142, 256, 131, 253, 130, 252, 120, 249, 120, 247, 116, 247, 114, 245, 106, 245, 98, 254, 88, 268, 83, 282, 81, 293, End, 129, 171, 131, 171, 146, 171, 149, 169, 154, 164, 155, 156, 153, 149, 145, 142, 143, 141, 140, 140, 140, 139, 137, 139, 135, 140, 133, 148, 130, 161, 129, 171, End, 143, 107, 143, 113, 153, 116, 153, 117, 163, 119, 168, 120, 169, 121, 182, 123, 188, 124, 188, 125, 196, 126, 205, 127, 215, 128, 215, 129, 230, 129, 245, 129, 260, 129, 275, 129, 289, 128, 302, 127, 311, 126, 317, 125, 319, 124, 331, 122, 335, 121, 336, 120, 350, 117, 350, 116, 355, 114, 354, 99, 352, 88, 351, 86, 351, 85, 337, 87, 333, 87, 332, 89, 319, 91, 313, 91, 312, 93, 302, 94, 288, 95, 273, 95, 258, 95, 243, 95, 228, 95, 213, 95, 202, 94, 194, 93, 193, 92, 179, 90, 174, 89, 173, 88, 164, 86, 162, 85, 155, 83, 149, 83, 146, 92, 144, 103, 143, 107, End, 211, 373, 214, 380, 221, 385, 228, 394, 233, 399, 232, 404, 221, 413, 211, 425, 213, 431, 219, 435, 219, 436, 229, 436, 233, 430, 247, 417, 252, 417, 257, 424, 265, 431, 270, 436, 280, 436, 287, 426, 284, 420, 269, 406, 265, 400, 273, 390, 287, 376, 287, 372, 278, 364, 278, 363, 270, 364, 257, 378, 253, 381, 244, 381, 234, 369, 232, 367, 226, 362, 220, 363, 211, 373, End, 225, 167, 225, 179, 230, 185, 236, 188, 248, 189, 263, 189, 263, 188, 268, 186, 274, 179, 274, 171, 273, 167, 265, 160, 259, 158, 259, 157, 254, 157, 239, 157, 239, 158, 235, 159, 225, 167, End, 232, 331, 233, 331, 248, 331, 263, 331, 264, 330, 260, 322, 253, 308, 250, 299, 247, 299, 245, 303, 238, 318, 235, 322, 232, 331, End, 305, 279, 308, 292, 313, 305, 322, 319, 336, 333, 342, 336, 346, 339, 354, 342, 355, 344, 360, 344, 375, 344, 390, 344, 402, 337, 412, 324, 416, 311, 416, 296, 414, 285, 409, 272, 401, 258, 391, 247, 385, 247, 378, 251, 368, 254, 368, 255, 356, 258, 355, 259, 352, 260, 340, 262, 340, 263, 326, 265, 316, 266, 316, 267, 306, 268, 305, 279, End, 340, 165, 345, 172, 352, 173, 367, 173, 367, 168, 365, 157, 362, 143, 357, 143, 355, 144, 346, 149, 341, 156, 340, 165, End, End }; short sfull[] = /* V009 */ { 490, 4, 490, 6, 496, 14, 503, 14, 503, 6, 502, 4, 490, 4, End, 419, 2, 419, 4, 426, 12, 440, 27, 454, 42, 467, 56, 481, 70, 495, 85, 502, 86, 502, 78, 500, 74, 486, 60, 472, 45, 458, 30, 445, 16, 431, 2, 419, 2, End, 349, 4, 358, 14, 372, 29, 385, 43, 399, 58, 413, 73, 427, 87, 440, 102, 449, 110, 463, 125, 476, 139, 484, 146, 494, 158, 501, 158, 501, 149, 495, 143, 481, 128, 467, 114, 453, 99, 439, 84, 425, 70, 412, 55, 403, 47, 390, 32, 376, 17, 363, 3, 356, 2, 356, 1, 350, 1, 350, 2, 349, 4, End, 278, 1, 281, 6, 294, 19, 307, 34, 321, 49, 335, 63, 349, 78, 363, 93, 377, 108, 391, 122, 404, 137, 418, 151, 432, 165, 446, 180, 460, 194, 474, 209, 488, 222, 493, 229, 501, 229, 500, 220, 491, 211, 477, 196, 462, 182, 448, 167, 434, 152, 420, 138, 406, 123, 392, 108, 378, 93, 364, 79, 350, 64, 337, 50, 324, 35, 319, 31, 306, 16, 292, 1, 278, 1, End, 210, 3, 218, 12, 232, 27, 245, 41, 259, 56, 272, 70, 286, 84, 299, 98, 313, 113, 327, 128, 341, 143, 354, 157, 368, 171, 382, 186, 396, 200, 410, 215, 424, 229, 438, 244, 452, 258, 465, 272, 480, 286, 493, 300, 500, 300, 500, 291, 499, 291, 485, 277, 471, 263, 457, 248, 443, 234, 439, 229, 425, 216, 411, 201, 397, 187, 383, 172, 369, 157, 355, 142, 341, 127, 327, 112, 313, 98, 299, 83, 286, 69, 273, 54, 264, 46, 251, 31, 237, 16, 224, 2, 219, 1, 219, 0, 212, 0, 210, 3, End, 141, 0, 141, 2, 146, 8, 160, 23, 173, 37, 187, 52, 200, 66, 214, 80, 228, 95, 241, 109, 255, 124, 269, 139, 283, 154, 297, 168, 307, 180, 321, 193, 334, 208, 344, 217, 357, 232, 370, 244, 384, 259, 397, 273, 410, 287, 425, 301, 439, 316, 453, 330, 467, 344, 481, 358, 495, 372, 501, 372, 500, 371, 500, 363, 486, 349, 472, 334, 457, 320, 443, 305, 429, 291, 415, 277, 402, 263, 388, 249, 374, 234, 360, 219, 346, 205, 332, 190, 318, 176, 304, 161, 290, 146, 276, 131, 263, 117, 249, 102, 235, 87, 221, 72, 207, 58, 194, 43, 180, 29, 167, 14, 153, 0, 141, 0, End, 72, 0, 73, 3, 77, 8, 91, 22, 105, 37, 119, 52, 132, 66, 146, 80, 160, 95, 173, 109, 187, 124, 201, 138, 215, 153, 229, 168, 243, 183, 257, 197, 271, 212, 285, 227, 299, 242, 313, 256, 326, 271, 340, 284, 353, 299, 367, 312, 381, 327, 388, 335, 400, 346, 414, 361, 428, 375, 442, 390, 457, 404, 471, 419, 486, 433, 495, 443, 502, 443, 501, 435, 490, 423, 476, 409, 461, 395, 447, 380, 433, 366, 419, 352, 405, 337, 391, 323, 377, 309, 363, 294, 349, 280, 335, 265, 321, 250, 307, 235, 293, 221, 279, 206, 265, 191, 251, 177, 238, 162, 224, 148, 210, 133, 196, 118, 182, 103, 168, 88, 155, 74, 141, 60, 127, 45, 113, 30, 99, 15, 85, 0, 72, 0, End, 1, 427, 1, 436, 11, 447, 25, 461, 39, 476, 53, 490, 66, 505, 79, 505, 76, 501, 62, 486, 48, 472, 34, 457, 20, 442, 6, 427, 1, 427, End, 0, 499, 0, 506, 9, 505, 5, 499, 0, 499, End, 6, 286, 7, 295, 13, 303, 28, 317, 42, 332, 56, 346, 70, 361, 84, 375, 98, 390, 112, 405, 126, 419, 140, 434, 154, 449, 168, 463, 182, 478, 196, 493, 209, 507, 222, 507, 219, 504, 206, 490, 192, 475, 178, 460, 164, 446, 150, 431, 136, 416, 123, 402, 109, 388, 95, 373, 82, 359, 68, 345, 54, 330, 40, 316, 26, 301, 12, 286, 6, 286, End, 6, 356, 6, 365, 15, 375, 29, 389, 42, 403, 56, 417, 70, 432, 84, 446, 98, 461, 112, 476, 126, 491, 140, 506, 154, 507, 150, 502, 137, 489, 123, 474, 109, 459, 95, 444, 81, 430, 67, 415, 53, 400, 39, 386, 25, 371, 11, 356, 6, 356, End, 10, 213, 10, 223, 18, 232, 32, 246, 46, 260, 60, 275, 74, 289, 88, 304, 102, 318, 116, 333, 129, 347, 143, 361, 157, 376, 171, 391, 185, 405, 199, 420, 213, 435, 227, 449, 241, 464, 255, 479, 269, 493, 282, 508, 296, 508, 293, 505, 279, 490, 265, 475, 251, 461, 237, 446, 223, 431, 209, 417, 195, 402, 181, 387, 167, 372, 153, 358, 139, 343, 125, 328, 112, 314, 98, 300, 85, 286, 71, 272, 57, 257, 43, 243, 29, 228, 15, 213, 10, 213, End, 13, 69, 13, 82, 28, 96, 42, 111, 56, 125, 69, 139, 83, 153, 97, 168, 111, 182, 125, 197, 139, 212, 153, 226, 167, 241, 181, 256, 194, 270, 199, 274, 208, 285, 217, 293, 231, 308, 245, 323, 259, 338, 273, 352, 287, 367, 300, 381, 314, 395, 327, 409, 341, 423, 355, 437, 369, 452, 383, 466, 397, 481, 411, 495, 425, 509, 439, 510, 436, 506, 421, 492, 407, 477, 393, 463, 379, 448, 365, 434, 351, 419, 337, 405, 323, 390, 309, 376, 295, 361, 281, 346, 267, 332, 253, 317, 239, 302, 225, 288, 211, 273, 197, 258, 183, 243, 169, 228, 155, 214, 141, 199, 128, 185, 114, 171, 100, 156, 87, 142, 73, 128, 59, 113, 45, 99, 31, 84, 17, 69, 13, 69, End, 12, 141, 13, 153, 27, 167, 41, 181, 54, 195, 68, 209, 81, 223, 95, 237, 108, 251, 122, 265, 136, 280, 150, 295, 164, 309, 178, 324, 192, 339, 206, 353, 220, 368, 234, 383, 247, 397, 261, 411, 275, 426, 289, 440, 299, 452, 314, 466, 328, 481, 342, 495, 354, 509, 367, 509, 367, 507, 360, 501, 350, 489, 336, 476, 322, 461, 308, 446, 294, 432, 280, 417, 266, 402, 253, 389, 239, 374, 225, 359, 211, 345, 197, 330, 183, 315, 169, 300, 155, 286, 141, 271, 127, 256, 114, 242, 100, 228, 87, 214, 73, 200, 59, 185, 45, 171, 31, 156, 17, 141, 12, 141, End, 14, 0, 14, 6, 15, 10, 28, 22, 41, 37, 55, 50, 68, 65, 82, 78, 96, 93, 110, 108, 124, 122, 138, 137, 152, 152, 166, 167, 180, 181, 194, 196, 208, 211, 222, 225, 236, 240, 250, 255, 263, 269, 277, 283, 291, 298, 304, 312, 318, 326, 331, 340, 345, 354, 358, 368, 372, 382, 386, 397, 400, 411, 414, 425, 427, 439, 442, 453, 456, 468, 471, 482, 485, 497, 499, 511, 511, 512, 508, 506, 496, 493, 481, 479, 468, 465, 453, 451, 440, 437, 425, 423, 411, 408, 397, 394, 383, 379, 369, 365, 355, 350, 341, 336, 327, 321, 313, 307, 299, 292, 285, 277, 271, 262, 257, 248, 243, 233, 229, 218, 215, 203, 201, 189, 187, 174, 173, 159, 160, 145, 146, 130, 132, 116, 118, 101, 104, 86, 90, 72, 78, 58, 64, 45, 50, 30, 36, 15, 22, 0, 14, 0, End, End }; short wpawn[] = /* V010 */ { 110, 36, 110, 46, 112, 54, 115, 63, 123, 76, 137, 90, 151, 100, 156, 102, 158, 105, 161, 105, 166, 108, 172, 110, 175, 112, 185, 115, 187, 116, 201, 119, 202, 121, 197, 129, 191, 142, 188, 156, 188, 186, 191, 200, 195, 213, 200, 228, 205, 241, 210, 254, 210, 269, 209, 272, 202, 274, 188, 274, 187, 274, 172, 274, 157, 274, 142, 274, 127, 274, 126, 275, 125, 287, 127, 299, 130, 309, 138, 322, 150, 336, 165, 347, 173, 351, 175, 352, 178, 354, 184, 356, 187, 358, 197, 361, 198, 362, 202, 364, 202, 391, 203, 398, 205, 403, 211, 418, 224, 431, 231, 435, 234, 437, 238, 438, 253, 438, 268, 438, 280, 431, 291, 419, 298, 406, 301, 394, 302, 391, 302, 376, 301, 364, 305, 361, 314, 359, 317, 357, 323, 355, 327, 353, 332, 351, 346, 342, 360, 329, 370, 315, 376, 300, 377, 291, 377, 276, 369, 275, 354, 275, 354, 274, 344, 273, 329, 273, 314, 273, 299, 273, 297, 269, 296, 256, 297, 251, 301, 240, 306, 227, 309, 220, 312, 213, 318, 200, 321, 188, 322, 176, 322, 161, 320, 148, 316, 135, 312, 129, 309, 121, 312, 119, 321, 117, 325, 115, 335, 112, 336, 111, 342, 109, 346, 107, 349, 106, 356, 102, 369, 94, 382, 82, 393, 67, 399, 52, 399, 37, 391, 37, 376, 37, 361, 37, 346, 37, 346, 36, 335, 36, 320, 36, 305, 36, 290, 36, 275, 36, 260, 36, 245, 36, 230, 36, 215, 36, 200, 36, 185, 36, 170, 36, 155, 36, 140, 36, 125, 36, 110, 36, End, 166, 65, 166, 69, 176, 77, 190, 85, 198, 88, 199, 89, 211, 92, 211, 93, 222, 95, 225, 97, 229, 99, 235, 107, 236, 119, 233, 126, 222, 140, 217, 154, 215, 167, 215, 182, 216, 190, 218, 199, 222, 211, 228, 225, 236, 240, 243, 255, 244, 266, 247, 266, 262, 266, 262, 253, 264, 245, 270, 234, 275, 225, 278, 220, 286, 206, 291, 193, 292, 178, 292, 163, 291, 155, 289, 147, 285, 137, 276, 125, 275, 111, 276, 107, 278, 103, 287, 96, 290, 95, 302, 93, 303, 92, 314, 89, 315, 87, 318, 87, 328, 82, 341, 74, 345, 68, 344, 67, 336, 66, 321, 66, 306, 66, 291, 66, 276, 66, 261, 66, 246, 66, 231, 66, 231, 65, 226, 65, 211, 65, 196, 65, 181, 65, 166, 65, End, 175, 308, 187, 321, 202, 331, 205, 332, 210, 335, 221, 338, 221, 339, 225, 340, 233, 341, 238, 342, 242, 348, 243, 356, 241, 363, 235, 370, 232, 379, 231, 389, 232, 395, 238, 405, 244, 409, 259, 409, 265, 405, 266, 405, 271, 396, 272, 383, 271, 377, 265, 368, 265, 354, 269, 347, 277, 341, 285, 340, 289, 338, 296, 336, 300, 334, 305, 332, 318, 323, 331, 309, 331, 304, 324, 304, 309, 304, 296, 304, 294, 304, 279, 304, 264, 304, 249, 304, 249, 303, 236, 303, 221, 303, 215, 303, 206, 303, 191, 303, 176, 303, 176, 304, 175, 308, End, End }; short wknight[] = /* V011 */ { 43, 211, 44, 219, 52, 234, 63, 245, 70, 249, 76, 264, 78, 267, 81, 273, 85, 283, 92, 297, 98, 311, 104, 323, 110, 337, 117, 351, 123, 365, 129, 379, 128, 392, 125, 406, 123, 417, 120, 431, 119, 435, 119, 449, 122, 451, 135, 451, 142, 443, 154, 434, 158, 434, 161, 442, 165, 457, 167, 465, 170, 471, 184, 471, 185, 469, 191, 463, 202, 454, 207, 448, 217, 439, 230, 438, 243, 437, 243, 436, 254, 435, 265, 433, 266, 432, 279, 429, 279, 428, 291, 425, 293, 423, 299, 421, 304, 418, 307, 417, 320, 410, 333, 402, 340, 396, 348, 391, 363, 377, 377, 363, 388, 349, 399, 334, 408, 319, 415, 305, 422, 291, 428, 276, 433, 263, 438, 249, 442, 235, 445, 222, 448, 210, 451, 196, 453, 185, 455, 172, 457, 158, 458, 150, 459, 138, 460, 126, 460, 111, 461, 111, 461, 51, 460, 38, 458, 37, 443, 37, 428, 37, 413, 37, 398, 37, 383, 37, 368, 37, 353, 37, 338, 37, 323, 37, 308, 37, 293, 37, 278, 37, 263, 37, 261, 35, 246, 35, 231, 35, 216, 35, 201, 35, 186, 35, 171, 35, 156, 35, 145, 35, 143, 39, 143, 69, 146, 84, 150, 98, 156, 113, 164, 127, 175, 142, 176, 143, 188, 157, 202, 169, 216, 181, 230, 193, 231, 195, 216, 195, 201, 195, 187, 185, 174, 176, 160, 166, 154, 161, 151, 154, 144, 150, 143, 149, 138, 148, 138, 147, 125, 148, 119, 148, 110, 148, 110, 147, 101, 144, 99, 143, 94, 142, 79, 142, 76, 143, 75, 144, 69, 146, 69, 147, 62, 151, 58, 165, 54, 178, 49, 193, 44, 208, 43, 211, End, 78, 208, 79, 216, 92, 226, 100, 240, 106, 254, 113, 269, 119, 283, 126, 297, 132, 311, 139, 326, 146, 341, 152, 355, 153, 357, 159, 369, 165, 382, 168, 389, 168, 390, 183, 390, 198, 390, 201, 392, 200, 396, 186, 408, 185, 410, 200, 410, 215, 410, 230, 410, 239, 409, 252, 407, 256, 406, 260, 404, 267, 403, 269, 402, 270, 401, 278, 398, 286, 394, 299, 387, 314, 377, 329, 365, 343, 352, 356, 337, 368, 323, 377, 309, 385, 295, 392, 281, 398, 268, 403, 256, 408, 241, 412, 228, 416, 214, 419, 202, 422, 190, 424, 179, 425, 170, 426, 162, 427, 150, 428, 139, 428, 124, 429, 122, 429, 107, 430, 99, 430, 70, 415, 70, 401, 69, 400, 68, 385, 68, 370, 68, 355, 68, 340, 68, 325, 68, 310, 68, 298, 67, 283, 67, 268, 67, 253, 67, 238, 67, 223, 67, 208, 67, 193, 67, 178, 67, 176, 68, 177, 78, 182, 93, 188, 106, 197, 121, 208, 135, 222, 149, 236, 161, 251, 173, 265, 185, 274, 193, 274, 238, 272, 244, 267, 248, 252, 248, 240, 236, 238, 233, 230, 229, 226, 228, 226, 227, 211, 227, 200, 230, 193, 235, 186, 235, 185, 221, 171, 211, 158, 202, 144, 193, 132, 185, 128, 183, 113, 183, 104, 182, 99, 177, 94, 176, 88, 176, 84, 189, 80, 202, 78, 208, End, 153, 282, 154, 291, 161, 305, 166, 317, 179, 317, 194, 317, 199, 317, 209, 317, 210, 309, 208, 306, 199, 304, 200, 303, 188, 291, 178, 288, 177, 286, 167, 286, 163, 280, 156, 280, 153, 282, End, End }; short wbishop[] = /* V012 */ { 33, 59, 34, 74, 40, 88, 51, 101, 56, 103, 58, 105, 63, 105, 64, 106, 79, 106, 89, 106, 90, 105, 94, 104, 95, 103, 109, 101, 118, 100, 118, 99, 130, 98, 145, 98, 156, 98, 157, 101, 157, 176, 156, 185, 144, 199, 136, 213, 131, 224, 128, 236, 127, 240, 126, 249, 126, 264, 127, 277, 129, 289, 132, 301, 137, 316, 144, 330, 152, 344, 158, 354, 161, 359, 170, 373, 179, 387, 187, 400, 194, 413, 193, 419, 189, 426, 188, 431, 188, 446, 193, 458, 201, 466, 204, 467, 207, 467, 219, 467, 228, 467, 238, 458, 240, 454, 243, 448, 244, 443, 244, 428, 242, 420, 240, 418, 240, 412, 249, 407, 252, 403, 256, 401, 263, 405, 272, 415, 269, 426, 267, 431, 267, 446, 273, 461, 280, 466, 283, 469, 286, 470, 301, 470, 307, 470, 309, 467, 316, 462, 322, 450, 323, 444, 323, 429, 316, 415, 317, 410, 329, 398, 339, 383, 349, 369, 355, 357, 356, 356, 361, 343, 365, 334, 369, 319, 372, 307, 374, 296, 376, 282, 376, 237, 375, 228, 373, 214, 370, 200, 366, 186, 362, 173, 357, 160, 355, 154, 355, 109, 356, 98, 360, 97, 370, 97, 375, 97, 390, 97, 404, 98, 413, 99, 413, 100, 428, 100, 443, 100, 453, 99, 463, 94, 472, 84, 477, 74, 479, 66, 479, 51, 478, 41, 475, 31, 470, 22, 469, 21, 469, 20, 458, 23, 458, 24, 447, 26, 442, 27, 442, 28, 433, 29, 418, 29, 403, 29, 388, 29, 373, 29, 358, 29, 346, 30, 331, 30, 328, 32, 318, 33, 307, 34, 301, 35, 300, 36, 289, 39, 289, 40, 279, 43, 277, 45, 273, 46, 267, 50, 258, 56, 249, 55, 235, 46, 230, 44, 227, 42, 220, 40, 216, 38, 205, 36, 205, 35, 196, 34, 188, 34, 181, 34, 166, 34, 151, 34, 136, 34, 126, 34, 121, 34, 106, 34, 94, 33, 84, 32, 84, 31, 69, 29, 65, 28, 65, 27, 53, 24, 53, 23, 44, 23, 38, 35, 35, 47, 34, 51, 33, 59, End, 63, 61, 63, 68, 68, 75, 79, 75, 94, 75, 104, 74, 116, 73, 116, 72, 130, 71, 137, 70, 152, 70, 150, 68, 147, 67, 140, 66, 125, 65, 110, 65, 95, 65, 80, 65, 80, 64, 70, 62, 70, 61, 63, 61, End, 158, 253, 158, 268, 160, 283, 163, 297, 168, 312, 175, 327, 183, 341, 192, 355, 201, 369, 211, 384, 215, 389, 226, 389, 229, 385, 244, 373, 258, 358, 270, 344, 281, 329, 290, 314, 297, 302, 302, 289, 307, 277, 311, 263, 314, 252, 317, 238, 318, 226, 319, 218, 319, 203, 317, 202, 317, 201, 309, 202, 295, 203, 280, 203, 265, 203, 250, 203, 235, 203, 220, 203, 205, 203, 201, 202, 201, 201, 190, 200, 188, 200, 179, 200, 170, 213, 164, 226, 160, 240, 159, 244, 159, 253, 158, 253, End, 188, 136, 188, 166, 190, 168, 194, 169, 201, 170, 201, 171, 209, 172, 221, 173, 236, 173, 237, 173, 251, 173, 266, 173, 281, 173, 296, 173, 298, 172, 307, 171, 307, 170, 317, 169, 323, 168, 325, 165, 325, 131, 312, 132, 302, 133, 293, 134, 293, 135, 278, 135, 263, 135, 248, 135, 233, 135, 218, 135, 217, 134, 205, 134, 198, 133, 189, 133, 188, 136, End, 207, 443, 209, 448, 221, 449, 225, 444, 226, 431, 221, 425, 214, 425, 208, 432, 207, 443, End, 217, 94, 217, 97, 222, 99, 222, 100, 226, 101, 236, 102, 251, 102, 266, 102, 281, 102, 292, 100, 292, 99, 296, 98, 297, 95, 293, 93, 287, 92, 287, 91, 274, 89, 274, 88, 268, 88, 253, 88, 238, 88, 238, 89, 225, 91, 225, 92, 217, 94, End, 237, 159, 239, 165, 246, 169, 261, 169, 264, 168, 270, 162, 270, 153, 268, 149, 263, 146, 261, 144, 246, 144, 238, 150, 237, 159, End, 280, 377, 280, 384, 282, 384, 287, 391, 297, 391, 302, 387, 312, 372, 322, 358, 329, 343, 335, 329, 338, 319, 342, 305, 343, 298, 345, 289, 346, 281, 347, 270, 343, 270, 341, 277, 336, 291, 331, 304, 324, 318, 316, 332, 307, 346, 296, 360, 284, 375, 280, 377, End, 286, 443, 288, 449, 301, 450, 305, 446, 305, 433, 299, 426, 294, 426, 292, 427, 287, 432, 286, 443, End, 370, 61, 370, 64, 376, 64, 391, 64, 406, 65, 406, 66, 415, 67, 430, 68, 445, 68, 448, 67, 449, 59, 434, 59, 419, 59, 404, 59, 404, 58, 402, 58, 387, 58, 386, 60, 377, 60, 370, 61, End, End }; short wrook[] = /* V013 */ { 93, 34, 93, 97, 94, 100, 99, 105, 110, 120, 113, 132, 117, 145, 124, 151, 126, 153, 132, 160, 146, 172, 146, 319, 145, 322, 136, 332, 123, 347, 109, 360, 107, 366, 107, 441, 115, 441, 130, 441, 137, 441, 145, 441, 160, 441, 175, 441, 175, 440, 177, 433, 181, 420, 184, 414, 196, 413, 196, 414, 198, 415, 200, 422, 205, 435, 209, 448, 217, 447, 232, 447, 247, 447, 262, 447, 277, 447, 292, 447, 294, 443, 300, 428, 307, 414, 319, 414, 322, 415, 327, 428, 333, 442, 337, 442, 352, 442, 367, 442, 382, 442, 397, 442, 397, 364, 396, 360, 395, 359, 381, 344, 375, 339, 366, 328, 362, 326, 362, 223, 363, 223, 363, 178, 366, 174, 378, 160, 391, 145, 393, 137, 399, 123, 411, 109, 421, 94, 421, 79, 422, 64, 422, 34, 408, 34, 393, 34, 378, 34, 363, 34, 348, 34, 333, 34, 318, 34, 303, 34, 288, 34, 273, 34, 258, 34, 243, 34, 228, 34, 213, 34, 198, 34, 183, 34, 168, 34, 153, 34, 138, 34, 123, 34, 108, 34, 107, 34, 93, 34, End, 124, 65, 124, 84, 127, 91, 137, 104, 140, 118, 144, 130, 155, 140, 165, 147, 166, 150, 181, 150, 196, 150, 211, 150, 226, 150, 241, 150, 256, 150, 271, 150, 286, 150, 301, 150, 316, 150, 331, 150, 346, 150, 351, 143, 366, 129, 368, 122, 370, 117, 373, 106, 375, 103, 387, 88, 388, 83, 388, 68, 385, 65, 379, 65, 364, 65, 349, 65, 334, 65, 319, 65, 304, 65, 289, 65, 274, 65, 259, 65, 244, 65, 229, 65, 214, 65, 199, 65, 184, 65, 169, 65, 154, 65, 139, 65, 124, 65, End, 137, 382, 137, 412, 138, 412, 153, 412, 155, 409, 159, 394, 163, 382, 173, 382, 188, 382, 203, 382, 218, 382, 220, 389, 225, 402, 230, 416, 242, 416, 257, 416, 272, 416, 275, 411, 281, 396, 287, 383, 298, 382, 313, 382, 328, 382, 343, 382, 346, 386, 350, 400, 354, 412, 367, 412, 367, 373, 362, 368, 361, 368, 356, 361, 350, 357, 340, 345, 326, 344, 311, 344, 311, 343, 303, 343, 288, 343, 273, 343, 258, 343, 243, 343, 228, 343, 213, 343, 198, 343, 183, 343, 176, 343, 168, 343, 164, 345, 151, 359, 138, 373, 137, 382, End, 176, 193, 176, 313, 184, 313, 199, 313, 214, 313, 229, 313, 244, 313, 259, 313, 274, 313, 289, 313, 304, 313, 319, 313, 334, 313, 334, 182, 331, 182, 331, 181, 329, 181, 314, 181, 299, 181, 284, 181, 269, 181, 254, 181, 239, 181, 224, 181, 209, 181, 194, 181, 179, 181, 177, 183, 176, 193, End, End }; short wqueen[] = /* V014 */ { 28, 326, 32, 338, 42, 348, 48, 348, 49, 348, 63, 348, 69, 346, 80, 338, 88, 323, 89, 315, 89, 300, 93, 299, 96, 296, 99, 296, 104, 293, 110, 291, 113, 288, 114, 288, 119, 287, 121, 285, 127, 283, 130, 281, 136, 279, 141, 276, 150, 274, 150, 275, 153, 287, 156, 301, 158, 312, 160, 322, 163, 336, 165, 347, 168, 362, 169, 372, 158, 380, 149, 395, 147, 403, 147, 418, 148, 423, 151, 434, 159, 444, 165, 447, 167, 450, 172, 450, 178, 450, 193, 450, 200, 446, 210, 436, 217, 422, 218, 415, 218, 400, 215, 389, 211, 383, 210, 378, 212, 374, 219, 360, 227, 346, 234, 332, 242, 317, 249, 304, 254, 304, 257, 309, 260, 315, 267, 328, 273, 341, 276, 345, 283, 360, 291, 374, 293, 382, 288, 394, 287, 403, 287, 418, 288, 423, 290, 429, 298, 442, 311, 451, 320, 451, 334, 451, 335, 451, 343, 447, 351, 439, 357, 427, 358, 417, 358, 402, 354, 390, 343, 376, 335, 372, 334, 367, 335, 362, 338, 350, 341, 336, 344, 323, 347, 311, 350, 299, 353, 287, 356, 275, 360, 274, 374, 283, 387, 292, 401, 301, 416, 311, 416, 323, 420, 335, 429, 346, 437, 350, 438, 351, 444, 352, 459, 352, 463, 351, 469, 347, 476, 335, 477, 320, 475, 312, 468, 300, 459, 293, 451, 290, 450, 289, 440, 288, 438, 287, 435, 280, 430, 267, 427, 256, 422, 243, 417, 228, 412, 213, 407, 198, 403, 185, 402, 176, 401, 165, 400, 150, 399, 138, 398, 124, 397, 109, 396, 94, 395, 92, 395, 77, 394, 70, 393, 68, 378, 58, 374, 57, 372, 55, 366, 53, 362, 51, 355, 49, 351, 47, 339, 44, 338, 43, 334, 42, 322, 40, 321, 38, 314, 38, 306, 37, 293, 36, 293, 35, 287, 34, 286, 34, 271, 34, 256, 34, 241, 34, 226, 34, 226, 35, 211, 35, 211, 36, 202, 37, 195, 38, 186, 39, 186, 40, 179, 41, 169, 43, 167, 44, 154, 47, 154, 48, 147, 49, 143, 51, 142, 52, 136, 54, 133, 56, 130, 57, 123, 62, 122, 65, 120, 78, 118, 91, 117, 100, 116, 105, 115, 114, 113, 125, 112, 134, 111, 141, 109, 154, 107, 169, 106, 173, 105, 181, 104, 186, 102, 192, 97, 204, 91, 219, 85, 232, 79, 247, 72, 262, 70, 265, 65, 279, 61, 284, 58, 286, 50, 288, 47, 290, 43, 292, 34, 301, 29, 313, 28, 326, End, 49, 314, 49, 325, 64, 325, 68, 320, 68, 312, 64, 307, 58, 307, 56, 308, 49, 314, End, 113, 252, 121, 252, 121, 251, 132, 246, 140, 242, 153, 235, 165, 229, 164, 226, 156, 224, 154, 223, 143, 220, 142, 219, 138, 217, 136, 217, 136, 216, 128, 216, 124, 225, 118, 238, 113, 252, End, 138, 176, 138, 183, 145, 185, 145, 186, 157, 189, 157, 190, 168, 192, 172, 193, 173, 194, 187, 196, 194, 197, 195, 198, 206, 199, 219, 200, 231, 200, 234, 200, 249, 200, 264, 200, 279, 200, 294, 200, 309, 200, 311, 199, 320, 198, 320, 197, 335, 195, 340, 195, 341, 193, 347, 191, 352, 191, 356, 190, 356, 189, 367, 186, 373, 183, 373, 175, 369, 174, 369, 173, 359, 172, 354, 170, 347, 163, 347, 148, 356, 140, 362, 138, 362, 137, 369, 135, 369, 122, 358, 125, 354, 127, 343, 129, 343, 130, 330, 132, 324, 133, 324, 134, 315, 135, 306, 136, 297, 137, 296, 138, 281, 138, 266, 138, 251, 138, 236, 138, 221, 138, 218, 137, 204, 136, 196, 135, 189, 134, 189, 133, 176, 131, 172, 130, 171, 129, 157, 126, 157, 125, 153, 124, 148, 124, 146, 124, 145, 127, 145, 135, 151, 137, 160, 143, 164, 148, 165, 152, 164, 163, 159, 168, 154, 171, 148, 172, 145, 172, 140, 173, 138, 176, End, 148, 83, 148, 85, 151, 88, 162, 91, 162, 92, 176, 95, 178, 96, 182, 97, 196, 99, 196, 100, 204, 101, 219, 102, 234, 102, 249, 102, 264, 102, 279, 102, 294, 102, 303, 101, 312, 100, 312, 99, 319, 98, 333, 96, 333, 95, 338, 94, 349, 92, 349, 91, 359, 88, 358, 85, 356, 85, 350, 82, 344, 81, 340, 79, 327, 76, 325, 75, 313, 73, 304, 72, 303, 70, 293, 70, 278, 69, 278, 68, 277, 68, 262, 68, 247, 68, 232, 68, 217, 68, 217, 69, 205, 70, 195, 71, 194, 72, 187, 73, 174, 75, 173, 76, 159, 79, 158, 80, 148, 83, End, 172, 404, 172, 419, 174, 423, 189, 423, 193, 418, 194, 406, 193, 402, 188, 397, 180, 397, 174, 402, 172, 404, End, 174, 230, 176, 239, 179, 254, 182, 267, 185, 282, 188, 295, 191, 309, 194, 323, 195, 326, 201, 326, 202, 324, 210, 310, 218, 295, 226, 280, 234, 266, 241, 252, 248, 238, 247, 236, 233, 235, 231, 234, 216, 234, 202, 233, 201, 231, 193, 231, 184, 230, 184, 229, 176, 229, 174, 230, End, 231, 164, 231, 178, 236, 185, 242, 188, 248, 189, 263, 189, 264, 187, 268, 187, 277, 179, 277, 167, 276, 163, 267, 156, 260, 154, 260, 153, 250, 153, 248, 154, 241, 156, 231, 164, End, 257, 237, 257, 240, 262, 250, 269, 264, 277, 279, 285, 294, 292, 308, 300, 323, 304, 332, 310, 332, 313, 320, 316, 307, 319, 293, 322, 280, 325, 266, 326, 264, 328, 253, 331, 241, 332, 231, 323, 231, 323, 232, 314, 233, 300, 234, 297, 236, 282, 236, 272, 237, 257, 237, End, 311, 417, 315, 424, 329, 424, 333, 422, 333, 408, 332, 405, 326, 398, 318, 398, 312, 403, 311, 417, End, 350, 226, 350, 227, 351, 229, 355, 231, 363, 238, 371, 242, 385, 252, 394, 252, 391, 245, 386, 231, 381, 217, 373, 217, 373, 218, 366, 220, 365, 221, 354, 224, 353, 225, 350, 226, End, 437, 314, 437, 325, 442, 332, 454, 332, 457, 329, 457, 319, 450, 311, 441, 311, 437, 314, End, End }; short wking[] = /* V015 */ { 32, 291, 32, 321, 34, 331, 38, 345, 46, 359, 57, 373, 61, 375, 64, 378, 66, 381, 76, 387, 81, 389, 84, 391, 94, 394, 94, 395, 98, 396, 108, 397, 123, 397, 138, 397, 152, 395, 153, 394, 165, 391, 166, 390, 175, 387, 176, 385, 179, 385, 185, 381, 193, 379, 193, 465, 199, 465, 214, 465, 224, 465, 229, 465, 234, 465, 244, 465, 259, 465, 274, 465, 289, 465, 304, 465, 319, 465, 319, 403, 320, 403, 320, 383, 328, 385, 330, 387, 336, 389, 339, 391, 346, 393, 350, 395, 363, 398, 364, 400, 378, 400, 393, 400, 408, 400, 415, 399, 416, 398, 428, 395, 429, 394, 440, 389, 451, 381, 465, 367, 474, 353, 479, 340, 483, 325, 483, 295, 482, 289, 479, 276, 474, 262, 467, 247, 457, 232, 445, 217, 431, 203, 424, 198, 422, 195, 413, 190, 410, 187, 408, 179, 405, 164, 403, 154, 401, 143, 399, 132, 397, 122, 395, 111, 393, 100, 391, 87, 388, 75, 386, 71, 371, 61, 366, 59, 364, 57, 358, 55, 355, 53, 345, 50, 344, 49, 332, 46, 332, 45, 328, 44, 315, 42, 315, 41, 309, 40, 300, 39, 289, 38, 289, 37, 282, 36, 267, 36, 252, 36, 237, 36, 234, 37, 219, 37, 219, 38, 208, 39, 194, 41, 193, 42, 188, 43, 177, 45, 176, 46, 164, 49, 164, 50, 154, 53, 154, 54, 150, 55, 139, 61, 124, 72, 121, 82, 119, 91, 116, 105, 113, 119, 110, 131, 108, 142, 106, 149, 103, 162, 100, 176, 97, 188, 89, 194, 75, 206, 62, 221, 52, 235, 44, 250, 38, 265, 34, 279, 32, 291, End, 61, 302, 61, 317, 62, 323, 68, 336, 78, 351, 90, 360, 105, 367, 113, 368, 128, 368, 143, 368, 153, 366, 154, 365, 161, 363, 164, 361, 171, 358, 186, 348, 199, 336, 211, 321, 220, 306, 226, 291, 229, 278, 229, 248, 228, 244, 226, 244, 212, 243, 211, 242, 203, 241, 193, 240, 185, 239, 185, 238, 179, 237, 167, 235, 166, 234, 153, 231, 151, 230, 140, 227, 139, 226, 133, 224, 132, 224, 129, 221, 126, 221, 119, 217, 117, 215, 114, 215, 107, 220, 93, 232, 81, 247, 72, 262, 66, 277, 62, 292, 61, 302, End, 133, 182, 133, 187, 138, 190, 146, 192, 149, 194, 158, 196, 158, 197, 169, 199, 174, 200, 174, 201, 188, 203, 195, 204, 195, 205, 205, 206, 213, 207, 222, 207, 228, 207, 228, 209, 243, 209, 258, 209, 273, 209, 288, 209, 297, 208, 310, 207, 321, 206, 328, 206, 329, 204, 336, 203, 344, 202, 348, 201, 349, 200, 363, 197, 363, 196, 372, 194, 376, 191, 375, 182, 373, 180, 358, 180, 349, 177, 340, 171, 336, 162, 337, 148, 344, 139, 357, 131, 364, 129, 363, 118, 363, 117, 350, 119, 346, 120, 345, 121, 333, 123, 328, 124, 328, 125, 320, 126, 312, 127, 303, 127, 302, 129, 287, 129, 272, 129, 257, 129, 242, 129, 227, 129, 215, 128, 205, 127, 191, 125, 189, 124, 177, 122, 172, 121, 171, 120, 161, 118, 161, 117, 156, 116, 149, 116, 147, 120, 147, 126, 151, 128, 164, 135, 171, 145, 172, 150, 171, 163, 166, 170, 160, 174, 150, 176, 150, 177, 147, 177, 135, 177, 133, 182, End, 161, 83, 163, 85, 166, 86, 177, 88, 177, 89, 181, 90, 196, 92, 196, 93, 203, 94, 211, 95, 223, 96, 225, 97, 240, 97, 255, 97, 270, 97, 285, 97, 300, 97, 300, 96, 311, 95, 319, 94, 327, 93, 328, 91, 332, 91, 344, 89, 344, 88, 349, 87, 353, 86, 353, 83, 347, 82, 344, 80, 340, 79, 329, 77, 329, 76, 324, 75, 309, 73, 308, 71, 297, 71, 283, 70, 283, 69, 281, 69, 266, 69, 251, 69, 236, 69, 221, 69, 221, 70, 210, 71, 199, 72, 199, 73, 193, 74, 184, 75, 179, 76, 177, 77, 163, 80, 161, 83, End, 222, 171, 225, 182, 233, 189, 240, 192, 254, 193, 269, 193, 270, 192, 273, 191, 279, 187, 287, 178, 287, 164, 286, 161, 281, 154, 274, 150, 270, 147, 264, 146, 264, 145, 261, 145, 246, 145, 246, 146, 241, 147, 231, 152, 223, 163, 222, 171, End, 224, 379, 224, 422, 228, 421, 232, 418, 246, 404, 247, 399, 242, 394, 235, 386, 228, 379, 224, 379, End, 234, 436, 238, 436, 253, 436, 268, 436, 283, 436, 274, 426, 268, 419, 260, 411, 256, 411, 250, 418, 235, 432, 234, 436, End, 235, 366, 235, 370, 238, 373, 251, 388, 261, 388, 264, 386, 278, 372, 279, 367, 271, 367, 271, 366, 265, 366, 250, 366, 239, 366, 235, 366, End, 239, 333, 240, 333, 255, 333, 270, 333, 270, 331, 263, 318, 257, 303, 252, 303, 252, 304, 247, 314, 240, 328, 239, 333, End, 268, 399, 268, 403, 270, 406, 283, 420, 290, 420, 290, 382, 285, 382, 280, 387, 275, 393, 268, 399, End, 280, 249, 280, 264, 281, 271, 283, 280, 286, 293, 290, 305, 295, 313, 300, 323, 309, 334, 322, 348, 337, 359, 346, 363, 352, 366, 362, 369, 362, 371, 376, 371, 391, 371, 406, 371, 410, 370, 412, 369, 421, 366, 421, 365, 426, 363, 440, 351, 449, 336, 454, 322, 454, 307, 453, 296, 451, 287, 447, 274, 440, 261, 429, 246, 416, 232, 401, 219, 395, 219, 388, 223, 382, 225, 379, 227, 368, 230, 368, 231, 355, 234, 354, 235, 350, 236, 336, 238, 336, 239, 330, 240, 321, 241, 309, 242, 308, 243, 296, 244, 281, 245, 280, 249, End, End }; short spawn[] = /* V017 */ { 476, 4, 476, 6, 481, 13, 489, 13, 488, 6, 487, 4, 476, 4, End, 264, 1, 264, 3, 274, 14, 289, 14, 287, 12, 277, 1, 264, 1, End, 197, 0, 197, 3, 206, 14, 221, 14, 220, 12, 211, 2, 207, 1, 207, 0, 197, 0, End, 337, 3, 338, 4, 347, 15, 362, 15, 361, 13, 352, 3, 345, 2, 345, 1, 340, 1, 337, 3, End, 129, 0, 130, 3, 141, 15, 155, 16, 155, 14, 142, 0, 129, 0, End, 60, 0, 61, 3, 73, 15, 87, 16, 87, 14, 74, 0, 60, 0, End, 412, 4, 418, 11, 432, 26, 446, 41, 460, 55, 474, 70, 487, 84, 494, 84, 494, 78, 492, 75, 478, 60, 464, 45, 450, 30, 437, 16, 423, 2, 413, 2, 412, 4, End, 402, 67, 404, 70, 418, 84, 432, 99, 446, 113, 460, 128, 474, 142, 487, 156, 494, 156, 494, 150, 490, 144, 476, 130, 462, 116, 448, 101, 435, 87, 421, 73, 408, 58, 404, 58, 403, 60, 402, 67, End, 0, 0, 0, 7, 10, 18, 24, 33, 38, 47, 52, 62, 66, 76, 80, 91, 94, 105, 108, 120, 121, 134, 134, 148, 148, 163, 162, 178, 168, 179, 167, 170, 165, 166, 151, 151, 137, 137, 124, 122, 111, 108, 97, 94, 87, 82, 73, 69, 60, 54, 50, 45, 36, 30, 22, 15, 8, 0, 0, 0, End, 375, 104, 375, 108, 385, 119, 399, 134, 412, 148, 426, 162, 439, 176, 453, 190, 467, 205, 482, 219, 488, 227, 496, 227, 495, 220, 492, 216, 478, 202, 465, 188, 451, 175, 437, 160, 423, 145, 410, 131, 396, 117, 383, 102, 378, 102, 375, 104, End, 2, 68, 2, 79, 4, 82, 18, 97, 33, 111, 47, 126, 61, 140, 74, 154, 88, 168, 101, 182, 115, 196, 128, 211, 141, 225, 155, 239, 168, 254, 183, 254, 169, 240, 155, 225, 141, 210, 127, 195, 114, 181, 100, 166, 86, 151, 80, 146, 68, 132, 57, 122, 47, 110, 34, 98, 20, 83, 6, 68, 2, 68, End, 309, 247, 309, 256, 312, 260, 326, 260, 326, 259, 315, 247, 309, 247, End, 5, 141, 5, 151, 14, 161, 28, 175, 42, 190, 56, 204, 69, 218, 82, 230, 96, 245, 109, 259, 123, 259, 122, 258, 108, 243, 94, 229, 80, 214, 66, 199, 52, 185, 38, 171, 24, 156, 10, 141, 5, 141, End, 333, 129, 333, 131, 341, 140, 355, 155, 368, 169, 382, 183, 394, 197, 408, 211, 421, 225, 435, 239, 448, 253, 462, 267, 475, 281, 483, 288, 493, 300, 501, 300, 500, 291, 497, 289, 483, 274, 469, 260, 454, 245, 440, 230, 426, 216, 412, 201, 398, 187, 384, 172, 371, 157, 357, 142, 343, 127, 338, 127, 338, 128, 333, 129, End, 334, 203, 342, 212, 356, 226, 370, 241, 383, 256, 397, 270, 411, 285, 425, 299, 439, 313, 453, 328, 467, 342, 481, 356, 495, 370, 501, 371, 501, 365, 499, 360, 484, 346, 470, 332, 456, 317, 447, 309, 434, 294, 420, 281, 411, 270, 396, 256, 383, 241, 369, 226, 355, 211, 341, 196, 336, 196, 334, 203, End, 7, 212, 8, 223, 11, 226, 25, 241, 39, 255, 52, 269, 66, 283, 79, 297, 93, 311, 107, 325, 121, 340, 134, 355, 148, 369, 162, 384, 176, 399, 189, 413, 196, 413, 194, 405, 192, 402, 179, 388, 166, 373, 157, 365, 143, 350, 129, 335, 116, 321, 102, 306, 88, 291, 81, 285, 68, 270, 54, 256, 40, 242, 26, 227, 12, 212, 7, 212, End, 386, 324, 386, 329, 399, 342, 412, 356, 426, 370, 440, 384, 454, 399, 468, 412, 482, 427, 496, 441, 503, 442, 503, 435, 492, 423, 477, 409, 463, 394, 449, 380, 435, 366, 421, 352, 407, 337, 393, 322, 388, 322, 386, 324, End, 4, 499, 4, 504, 14, 504, 10, 499, 4, 499, End, 8, 427, 8, 437, 20, 448, 34, 463, 47, 477, 61, 491, 74, 505, 87, 505, 86, 504, 79, 497, 65, 482, 52, 468, 38, 454, 24, 439, 13, 427, 8, 427, End, 11, 284, 12, 294, 25, 307, 39, 321, 45, 329, 52, 334, 61, 345, 75, 358, 89, 373, 103, 388, 117, 403, 130, 417, 144, 432, 158, 446, 172, 461, 186, 476, 200, 491, 214, 506, 227, 507, 226, 506, 220, 499, 207, 485, 193, 471, 179, 456, 165, 441, 151, 426, 138, 412, 125, 398, 111, 383, 98, 369, 84, 355, 70, 340, 57, 326, 44, 314, 30, 299, 16, 284, 11, 284, End, 11, 355, 12, 364, 13, 366, 27, 380, 41, 395, 55, 409, 69, 424, 83, 438, 97, 452, 111, 467, 125, 482, 139, 497, 147, 507, 159, 507, 159, 506, 153, 500, 139, 485, 127, 471, 113, 457, 99, 442, 86, 428, 72, 414, 58, 399, 44, 385, 30, 370, 16, 355, 11, 355, End, 239, 454, 240, 456, 249, 466, 261, 480, 275, 494, 287, 508, 300, 508, 300, 507, 299, 507, 290, 497, 276, 483, 263, 468, 249, 454, 239, 454, End, 357, 360, 358, 362, 364, 369, 378, 383, 391, 398, 405, 412, 419, 427, 433, 441, 447, 455, 461, 469, 474, 483, 489, 497, 501, 510, 511, 510, 511, 507, 505, 501, 491, 487, 477, 472, 462, 458, 454, 448, 444, 440, 433, 427, 418, 413, 404, 398, 391, 384, 379, 372, 367, 358, 360, 358, 357, 360, End, 327, 403, 332, 407, 346, 422, 360, 436, 374, 451, 388, 466, 402, 481, 417, 495, 431, 510, 443, 510, 443, 508, 436, 503, 431, 496, 416, 482, 402, 467, 388, 453, 375, 438, 361, 424, 347, 409, 333, 394, 329, 394, 329, 395, 327, 403, End, 303, 444, 303, 447, 308, 453, 321, 467, 335, 481, 348, 495, 362, 509, 374, 510, 374, 508, 367, 501, 353, 487, 339, 472, 325, 457, 311, 442, 306, 442, 303, 444, End, End }; short sknight[] = /* V018 */ { 476, 2, 476, 3, 482, 10, 490, 10, 489, 1, 485, 1, 485, 0, 479, 0, 476, 2, End, 405, 0, 405, 2, 416, 14, 431, 14, 430, 12, 418, 0, 405, 0, End, 336, 0, 336, 1, 347, 14, 362, 14, 361, 12, 350, 0, 336, 0, End, 266, 0, 269, 5, 279, 14, 294, 14, 292, 12, 281, 0, 266, 0, End, 198, 0, 199, 3, 210, 14, 225, 14, 212, 0, 198, 0, End, 130, 0, 130, 2, 142, 15, 157, 16, 156, 13, 143, 0, 130, 0, End, 62, 0, 62, 3, 71, 13, 81, 22, 90, 33, 104, 46, 117, 61, 123, 61, 123, 51, 116, 43, 102, 28, 89, 14, 74, 0, 62, 0, End, 466, 48, 467, 59, 475, 68, 488, 82, 495, 82, 495, 73, 494, 70, 484, 62, 471, 48, 466, 48, End, 0, 69, 0, 80, 0, 83, 15, 97, 29, 112, 44, 126, 46, 130, 59, 130, 59, 126, 58, 126, 45, 111, 32, 99, 18, 84, 4, 69, 0, 69, End, 0, 0, 0, 8, 8, 18, 22, 32, 36, 47, 51, 61, 65, 76, 79, 90, 93, 105, 107, 119, 120, 133, 134, 133, 131, 129, 118, 115, 105, 101, 91, 87, 77, 72, 64, 58, 50, 44, 37, 30, 23, 16, 10, 2, 8, 2, 6, 0, 0, 0, End, 467, 118, 468, 129, 477, 139, 491, 153, 498, 154, 497, 144, 487, 133, 473, 118, 467, 118, End, 2, 143, 3, 153, 4, 156, 11, 161, 16, 168, 23, 173, 28, 180, 37, 180, 37, 174, 36, 173, 22, 158, 8, 143, 2, 143, End, 464, 185, 464, 196, 478, 210, 492, 224, 499, 225, 499, 217, 497, 214, 483, 200, 469, 185, 464, 185, End, 6, 215, 6, 225, 18, 237, 32, 252, 38, 252, 36, 248, 33, 239, 25, 230, 11, 215, 6, 215, End, 452, 244, 452, 253, 463, 265, 472, 273, 478, 281, 485, 286, 494, 297, 501, 297, 501, 291, 499, 287, 485, 272, 470, 258, 458, 244, 452, 244, End, 436, 299, 436, 307, 439, 311, 453, 325, 467, 339, 481, 353, 495, 368, 502, 368, 501, 360, 499, 357, 485, 343, 471, 329, 457, 314, 443, 299, 436, 299, End, 8, 286, 9, 297, 13, 300, 27, 315, 41, 328, 55, 343, 70, 357, 84, 371, 98, 385, 111, 399, 118, 399, 119, 393, 112, 384, 98, 371, 84, 356, 70, 342, 55, 328, 43, 315, 28, 301, 14, 286, 8, 286, End, 412, 346, 412, 351, 426, 365, 440, 380, 454, 394, 468, 409, 482, 423, 495, 437, 503, 437, 503, 433, 502, 430, 489, 416, 475, 402, 461, 387, 447, 373, 433, 359, 420, 344, 415, 344, 412, 346, End, 12, 355, 12, 365, 15, 369, 29, 383, 43, 397, 55, 408, 69, 423, 83, 437, 96, 452, 105, 460, 119, 475, 132, 490, 146, 505, 160, 506, 154, 499, 140, 485, 127, 470, 113, 455, 99, 441, 86, 427, 72, 413, 58, 398, 44, 384, 30, 370, 16, 355, 12, 355, End, 13, 427, 13, 437, 24, 448, 38, 463, 51, 477, 65, 491, 77, 505, 91, 505, 86, 500, 72, 485, 58, 470, 45, 456, 31, 442, 17, 427, 13, 427, End, 11, 499, 11, 506, 21, 505, 16, 499, 11, 499, End, 299, 442, 300, 444, 303, 448, 317, 463, 330, 477, 344, 491, 358, 506, 372, 507, 370, 505, 364, 498, 350, 483, 336, 469, 323, 454, 309, 439, 305, 439, 304, 440, 299, 442, End, 243, 452, 243, 456, 255, 469, 267, 483, 281, 497, 289, 507, 304, 507, 303, 506, 290, 492, 277, 478, 264, 464, 251, 449, 248, 449, 243, 452, End, 204, 487, 212, 495, 222, 507, 236, 507, 235, 505, 227, 496, 213, 481, 208, 481, 205, 483, 204, 487, End, 388, 389, 401, 403, 415, 417, 429, 432, 443, 446, 456, 460, 470, 474, 483, 488, 496, 500, 502, 508, 511, 508, 511, 504, 505, 498, 491, 484, 477, 469, 463, 454, 450, 440, 436, 426, 423, 412, 409, 398, 396, 383, 391, 383, 389, 384, 388, 389, End, 352, 423, 365, 436, 379, 451, 392, 465, 405, 479, 419, 493, 433, 508, 446, 509, 443, 505, 430, 491, 416, 477, 402, 462, 388, 447, 375, 432, 361, 417, 356, 417, 353, 419, 352, 423, End, End }; short sbishop[] = /* V019 */ { 469, 2, 469, 4, 474, 11, 481, 11, 481, 5, 479, 2, 469, 2, End, 57, 0, 57, 2, 67, 14, 82, 14, 81, 12, 69, 0, 57, 0, End, 402, 2, 403, 3, 412, 15, 424, 15, 424, 13, 423, 11, 416, 2, 402, 2, End, 129, 0, 130, 3, 140, 15, 154, 15, 140, 0, 129, 0, End, 336, 1, 336, 3, 348, 16, 362, 16, 348, 1, 336, 1, End, 268, 1, 273, 7, 282, 19, 297, 19, 295, 16, 281, 1, 268, 1, End, 0, 0, 0, 8, 13, 23, 22, 23, 23, 18, 20, 14, 6, 0, 0, 0, End, 203, 0, 203, 2, 204, 5, 209, 9, 222, 24, 235, 39, 244, 40, 246, 38, 246, 35, 243, 31, 230, 17, 217, 2, 215, 2, 213, 0, 203, 0, End, 481, 79, 484, 83, 491, 83, 491, 76, 486, 69, 482, 69, 482, 70, 481, 79, End, 110, 116, 111, 118, 118, 126, 131, 140, 138, 140, 137, 132, 135, 129, 121, 114, 113, 114, 113, 115, 110, 116, End, 453, 116, 453, 119, 456, 122, 468, 136, 482, 150, 485, 155, 493, 155, 493, 148, 490, 144, 476, 129, 463, 114, 457, 114, 456, 116, 453, 116, End, 7, 69, 7, 80, 20, 94, 35, 108, 48, 123, 62, 137, 76, 152, 91, 166, 104, 181, 117, 195, 124, 195, 127, 191, 121, 184, 107, 170, 93, 155, 80, 141, 66, 127, 52, 112, 39, 98, 25, 84, 11, 69, 7, 69, End, 386, 116, 386, 118, 391, 125, 405, 138, 418, 153, 432, 168, 446, 183, 461, 197, 474, 212, 488, 227, 494, 228, 494, 218, 493, 217, 479, 202, 465, 189, 453, 174, 439, 161, 426, 146, 413, 133, 400, 118, 393, 117, 393, 116, 386, 116, End, 9, 141, 9, 151, 19, 161, 33, 175, 46, 190, 61, 204, 75, 219, 89, 233, 102, 248, 109, 249, 108, 240, 96, 227, 83, 213, 69, 199, 55, 184, 42, 170, 28, 156, 14, 141, 9, 141, End, 364, 153, 364, 163, 371, 171, 384, 186, 399, 200, 411, 214, 425, 228, 439, 243, 453, 257, 465, 271, 479, 285, 490, 297, 498, 297, 497, 290, 496, 288, 492, 285, 487, 278, 472, 264, 459, 249, 451, 242, 442, 231, 428, 218, 416, 203, 402, 190, 389, 175, 380, 167, 369, 153, 364, 153, End, 11, 213, 12, 222, 18, 229, 32, 243, 46, 257, 59, 271, 73, 286, 87, 300, 99, 314, 112, 326, 123, 339, 130, 339, 127, 335, 124, 326, 114, 315, 100, 301, 87, 287, 73, 272, 59, 257, 45, 243, 31, 228, 17, 213, 11, 213, End, 389, 251, 390, 260, 391, 262, 405, 276, 418, 291, 432, 306, 447, 320, 461, 335, 474, 349, 482, 356, 493, 369, 500, 369, 500, 362, 491, 352, 477, 338, 464, 324, 450, 310, 436, 295, 422, 281, 409, 266, 395, 251, 389, 251, End, 387, 319, 387, 328, 397, 339, 411, 353, 424, 368, 438, 382, 452, 396, 465, 410, 478, 424, 485, 429, 494, 440, 501, 440, 500, 433, 496, 428, 482, 414, 468, 399, 454, 385, 440, 370, 426, 356, 413, 341, 404, 333, 392, 319, 387, 319, End, 15, 283, 15, 294, 28, 308, 43, 322, 56, 337, 70, 351, 83, 365, 88, 369, 100, 384, 114, 397, 127, 412, 139, 424, 148, 435, 161, 447, 171, 459, 178, 459, 178, 457, 176, 450, 167, 441, 154, 427, 140, 413, 128, 399, 114, 385, 100, 370, 87, 355, 73, 341, 59, 326, 46, 312, 32, 298, 18, 283, 15, 283, End, 13, 364, 23, 374, 37, 388, 50, 403, 64, 417, 78, 431, 92, 446, 105, 460, 119, 475, 133, 490, 145, 504, 158, 504, 156, 503, 151, 496, 142, 488, 129, 473, 115, 458, 101, 443, 88, 429, 74, 414, 60, 399, 46, 385, 32, 370, 18, 355, 14, 355, 13, 364, End, 12, 426, 12, 435, 24, 448, 38, 462, 50, 476, 64, 490, 77, 504, 89, 504, 89, 503, 83, 497, 69, 483, 56, 468, 43, 455, 29, 440, 16, 426, 12, 426, End, 11, 499, 11, 504, 20, 504, 16, 499, 11, 499, End, 259, 474, 264, 480, 278, 494, 287, 506, 300, 506, 299, 505, 293, 498, 279, 484, 267, 469, 261, 469, 259, 474, End, 207, 487, 207, 488, 209, 491, 221, 505, 232, 505, 232, 504, 232, 504, 227, 497, 217, 489, 211, 488, 211, 487, 207, 487, End, 334, 479, 341, 487, 355, 501, 359, 507, 372, 507, 370, 504, 356, 489, 342, 474, 335, 474, 335, 475, 334, 479, End, 377, 379, 384, 385, 393, 396, 408, 410, 421, 425, 435, 439, 449, 454, 464, 468, 476, 482, 491, 496, 501, 508, 511, 508, 511, 504, 502, 495, 488, 480, 479, 472, 465, 457, 452, 443, 438, 429, 424, 414, 411, 400, 397, 386, 384, 371, 380, 371, 378, 373, 377, 379, End, 349, 419, 350, 421, 364, 435, 377, 450, 391, 464, 405, 479, 419, 494, 432, 508, 445, 508, 439, 502, 425, 487, 412, 473, 398, 458, 384, 444, 371, 429, 357, 414, 350, 414, 350, 415, 349, 419, End, End }; short srook[] = /* V020 */ { 477, 1, 477, 3, 482, 10, 490, 10, 489, 3, 488, 1, 477, 1, End, 197, 0, 197, 2, 210, 17, 224, 17, 223, 15, 210, 0, 197, 0, End, 338, 2, 339, 4, 352, 18, 366, 18, 364, 14, 350, 0, 339, 0, 338, 2, End, 269, 0, 271, 4, 283, 18, 297, 18, 295, 15, 282, 0, 269, 0, End, 131, 0, 134, 5, 147, 20, 162, 20, 158, 15, 145, 0, 131, 0, End, 64, 0, 64, 2, 66, 4, 79, 19, 94, 19, 90, 15, 76, 0, 64, 0, End, 0, 2, 0, 7, 0, 10, 14, 24, 28, 38, 42, 53, 48, 58, 61, 73, 68, 73, 66, 62, 62, 57, 48, 42, 34, 28, 20, 14, 6, 0, 1, 0, 0, 2, End, 414, 1, 414, 2, 421, 10, 435, 25, 448, 39, 462, 54, 476, 68, 489, 82, 498, 82, 497, 73, 484, 59, 470, 45, 456, 31, 442, 16, 429, 1, 414, 1, End, 426, 78, 426, 87, 427, 90, 435, 97, 448, 112, 462, 126, 476, 140, 490, 155, 497, 155, 496, 145, 488, 137, 474, 122, 459, 108, 445, 93, 432, 78, 426, 78, End, 3, 69, 4, 80, 8, 86, 22, 99, 36, 114, 50, 128, 64, 142, 77, 157, 91, 171, 105, 185, 118, 199, 124, 200, 123, 189, 119, 183, 105, 169, 91, 155, 77, 141, 64, 127, 50, 112, 36, 98, 22, 84, 8, 69, 3, 69, End, 406, 137, 409, 141, 423, 156, 437, 170, 450, 184, 464, 198, 478, 212, 492, 226, 499, 227, 499, 220, 498, 217, 485, 204, 471, 189, 456, 175, 442, 161, 429, 146, 415, 131, 410, 131, 407, 134, 406, 137, End, 7, 143, 7, 153, 14, 161, 28, 175, 42, 190, 57, 204, 71, 219, 84, 233, 98, 248, 112, 262, 116, 265, 119, 271, 128, 271, 127, 263, 122, 256, 108, 242, 94, 228, 80, 213, 67, 200, 53, 185, 39, 171, 25, 157, 12, 143, 7, 143, End, 380, 179, 382, 183, 397, 197, 411, 212, 425, 226, 438, 240, 452, 254, 466, 268, 480, 282, 494, 296, 502, 297, 501, 288, 487, 273, 472, 259, 458, 245, 444, 231, 431, 217, 417, 203, 403, 188, 389, 173, 384, 173, 380, 179, End, 9, 213, 9, 223, 11, 227, 26, 241, 40, 256, 55, 270, 69, 285, 82, 299, 96, 314, 110, 328, 119, 329, 120, 323, 113, 316, 99, 301, 84, 287, 71, 272, 57, 257, 42, 243, 28, 228, 14, 213, 9, 213, End, 378, 236, 378, 246, 384, 254, 399, 268, 413, 283, 428, 297, 441, 312, 455, 326, 470, 340, 484, 354, 498, 368, 505, 368, 504, 361, 503, 358, 494, 349, 480, 336, 466, 321, 451, 307, 438, 293, 424, 279, 410, 264, 395, 250, 383, 236, 378, 236, End, 10, 284, 11, 295, 19, 304, 32, 318, 47, 332, 61, 346, 74, 361, 86, 374, 93, 374, 93, 366, 84, 356, 71, 342, 57, 327, 43, 313, 29, 299, 15, 284, 10, 284, End, 381, 308, 381, 317, 382, 320, 389, 326, 403, 341, 417, 354, 431, 369, 444, 382, 458, 397, 472, 410, 486, 424, 500, 438, 508, 439, 507, 431, 501, 424, 494, 418, 483, 406, 469, 393, 455, 379, 441, 365, 428, 351, 414, 337, 400, 323, 386, 308, 381, 308, End, 13, 355, 13, 366, 21, 375, 35, 389, 49, 403, 63, 417, 76, 432, 90, 446, 97, 447, 96, 438, 86, 427, 73, 413, 59, 398, 45, 384, 31, 370, 17, 355, 13, 355, End, 11, 499, 11, 506, 20, 505, 16, 499, 11, 499, End, 420, 417, 421, 426, 423, 430, 438, 444, 451, 458, 465, 472, 479, 486, 494, 500, 500, 507, 511, 507, 511, 503, 510, 501, 496, 487, 482, 474, 468, 460, 454, 446, 439, 432, 426, 417, 420, 417, End, 257, 470, 257, 471, 263, 479, 277, 493, 290, 507, 304, 507, 303, 506, 296, 499, 283, 485, 269, 470, 257, 470, End, 183, 462, 183, 465, 195, 478, 209, 493, 221, 507, 236, 507, 234, 504, 220, 491, 208, 476, 193, 462, 183, 462, End, 114, 462, 116, 466, 130, 481, 144, 495, 153, 507, 168, 507, 166, 505, 152, 490, 140, 476, 126, 462, 114, 462, End, 19, 429, 19, 437, 22, 442, 36, 455, 50, 470, 64, 484, 77, 498, 84, 507, 99, 507, 95, 502, 81, 488, 68, 473, 53, 459, 39, 444, 25, 429, 19, 429, End, 392, 461, 394, 465, 408, 479, 422, 494, 437, 508, 451, 509, 447, 504, 434, 490, 419, 476, 405, 461, 392, 461, End, 320, 451, 320, 460, 333, 472, 347, 487, 361, 501, 365, 508, 380, 508, 378, 505, 369, 495, 355, 481, 341, 466, 327, 451, 320, 451, End, End }; short squeen[] = /* V021 */ { 473, 1, 479, 10, 487, 10, 486, 2, 485, 0, 475, 0, 473, 1, End, 195, 0, 197, 3, 210, 18, 225, 18, 223, 15, 209, 0, 195, 0, End, 265, 0, 271, 7, 283, 21, 298, 21, 293, 15, 280, 0, 265, 0, End, 128, 0, 131, 5, 141, 14, 150, 25, 164, 25, 163, 22, 156, 15, 142, 0, 128, 0, End, 61, 0, 61, 2, 70, 13, 85, 27, 98, 42, 111, 42, 111, 41, 110, 39, 101, 29, 87, 14, 73, 0, 61, 0, End, 409, 0, 409, 2, 422, 17, 432, 26, 445, 41, 458, 55, 472, 69, 486, 83, 492, 84, 492, 76, 491, 73, 477, 58, 463, 44, 450, 30, 436, 15, 422, 0, 409, 0, End, 0, 1, 0, 8, 4, 14, 11, 19, 22, 32, 37, 46, 51, 61, 64, 75, 78, 89, 81, 94, 90, 94, 90, 87, 76, 73, 62, 58, 49, 44, 36, 30, 22, 16, 8, 1, 0, 1, End, 341, 0, 341, 1, 348, 9, 362, 24, 376, 39, 390, 53, 403, 68, 417, 83, 432, 97, 446, 112, 459, 126, 473, 140, 486, 154, 494, 155, 493, 145, 483, 136, 470, 121, 455, 107, 442, 92, 434, 85, 425, 74, 410, 60, 397, 45, 383, 30, 369, 15, 355, 0, 341, 0, End, 3, 70, 3, 79, 4, 82, 16, 94, 30, 108, 44, 122, 57, 137, 72, 151, 78, 159, 86, 159, 85, 151, 77, 142, 63, 128, 50, 113, 36, 99, 22, 85, 8, 70, 3, 70, End, 4, 143, 5, 154, 8, 157, 22, 172, 36, 186, 50, 200, 63, 214, 72, 215, 72, 208, 64, 201, 51, 186, 37, 172, 23, 158, 9, 143, 4, 143, End, 403, 125, 403, 127, 404, 136, 408, 141, 422, 155, 436, 170, 450, 184, 464, 198, 470, 206, 477, 211, 491, 226, 497, 226, 497, 217, 491, 211, 477, 197, 463, 183, 450, 169, 436, 155, 422, 140, 408, 125, 403, 125, End, 8, 215, 9, 225, 11, 228, 21, 237, 30, 248, 41, 257, 46, 264, 54, 264, 54, 257, 41, 244, 27, 230, 13, 215, 8, 215, End, 419, 211, 419, 213, 422, 225, 435, 237, 449, 252, 462, 265, 476, 280, 487, 289, 493, 297, 501, 297, 501, 290, 494, 283, 480, 268, 465, 254, 452, 240, 438, 226, 424, 211, 419, 211, End, 10, 287, 11, 296, 13, 300, 21, 300, 22, 294, 16, 287, 10, 287, End, 105, 318, 107, 321, 120, 336, 134, 350, 147, 364, 157, 364, 157, 361, 156, 359, 142, 345, 128, 330, 114, 315, 109, 315, 107, 316, 105, 318, End, 484, 355, 491, 360, 496, 367, 504, 367, 504, 360, 491, 346, 485, 346, 485, 347, 484, 355, End, 233, 374, 233, 379, 243, 390, 257, 404, 271, 419, 278, 420, 278, 412, 268, 402, 254, 387, 240, 372, 236, 372, 233, 374, End, 86, 365, 86, 367, 99, 381, 108, 389, 116, 400, 131, 414, 135, 420, 144, 420, 144, 414, 137, 407, 123, 393, 110, 378, 96, 363, 90, 363, 90, 364, 86, 365, End, 370, 296, 370, 304, 377, 312, 389, 325, 403, 339, 417, 353, 431, 367, 445, 381, 458, 394, 472, 409, 487, 423, 502, 438, 509, 439, 508, 431, 501, 423, 487, 409, 472, 395, 458, 381, 445, 367, 431, 353, 417, 339, 403, 325, 390, 311, 376, 296, 370, 296, End, 359, 363, 373, 378, 387, 392, 400, 406, 414, 420, 428, 433, 442, 448, 456, 462, 471, 476, 485, 491, 500, 505, 511, 506, 510, 502, 504, 496, 490, 482, 476, 468, 461, 454, 448, 440, 434, 426, 420, 412, 406, 398, 393, 384, 379, 370, 365, 355, 361, 355, 360, 357, 359, 363, End, 188, 467, 188, 469, 197, 479, 211, 493, 221, 505, 234, 505, 227, 497, 213, 482, 199, 467, 188, 467, End, 21, 356, 21, 366, 32, 377, 46, 392, 59, 406, 73, 420, 87, 434, 101, 449, 114, 463, 127, 477, 141, 491, 154, 505, 167, 505, 164, 502, 150, 487, 136, 473, 122, 458, 109, 444, 95, 429, 81, 415, 67, 400, 53, 386, 39, 371, 25, 356, 21, 356, End, 21, 429, 21, 438, 27, 444, 41, 458, 55, 473, 68, 487, 82, 501, 85, 506, 99, 506, 96, 503, 82, 488, 68, 473, 54, 459, 40, 444, 26, 429, 21, 429, End, 21, 501, 21, 506, 30, 506, 26, 501, 21, 501, End, 380, 449, 394, 463, 407, 477, 421, 492, 436, 506, 450, 507, 444, 500, 429, 486, 416, 472, 401, 458, 388, 443, 382, 443, 382, 444, 380, 449, End, 331, 467, 332, 469, 340, 479, 352, 492, 367, 506, 379, 507, 379, 505, 370, 496, 356, 482, 342, 467, 331, 467, End, 240, 446, 244, 451, 258, 465, 271, 479, 284, 493, 297, 507, 310, 507, 310, 506, 303, 499, 297, 494, 288, 483, 276, 471, 262, 456, 248, 441, 243, 441, 240, 446, End, End }; short sking[] = /* V022 */ { 128, 0, 128, 2, 138, 12, 150, 26, 163, 26, 163, 25, 162, 23, 155, 15, 142, 0, 128, 0, End, 62, 0, 63, 2, 76, 16, 90, 31, 97, 38, 106, 49, 115, 49, 117, 45, 112, 38, 103, 30, 90, 15, 76, 0, 62, 0, End, 0, 0, 0, 6, 0, 9, 11, 20, 25, 34, 38, 49, 52, 63, 64, 77, 78, 90, 83, 97, 90, 97, 90, 90, 89, 87, 75, 72, 61, 58, 48, 43, 34, 29, 21, 15, 7, 0, 0, 0, End, 0, 68, 0, 80, 2, 83, 16, 97, 30, 112, 43, 126, 57, 140, 70, 155, 78, 156, 78, 146, 73, 142, 60, 127, 46, 112, 31, 98, 18, 83, 4, 68, 0, 68, End, 1, 141, 1, 150, 5, 155, 19, 170, 33, 184, 42, 195, 50, 195, 54, 192, 47, 184, 33, 170, 20, 156, 6, 141, 1, 141, End, 2, 212, 3, 222, 16, 235, 25, 236, 25, 230, 21, 227, 7, 212, 2, 212, End, 3, 282, 3, 293, 10, 294, 10, 287, 7, 282, 3, 282, End, 124, 417, 126, 420, 139, 435, 149, 444, 158, 456, 166, 456, 165, 449, 162, 445, 149, 430, 135, 415, 127, 415, 124, 417, End, 4, 352, 5, 362, 9, 365, 23, 380, 36, 394, 50, 409, 64, 423, 77, 438, 91, 452, 105, 467, 118, 481, 130, 493, 140, 505, 152, 505, 145, 497, 131, 482, 118, 468, 104, 453, 90, 439, 77, 424, 63, 410, 50, 395, 36, 381, 23, 367, 9, 352, 4, 352, End, 4, 425, 5, 432, 10, 436, 24, 451, 37, 465, 51, 480, 65, 494, 75, 506, 86, 506, 85, 505, 79, 499, 65, 484, 52, 469, 37, 455, 24, 440, 10, 425, 4, 425, End, 4, 495, 4, 506, 17, 505, 9, 495, 4, 495, End, 207, 0, 209, 2, 221, 17, 235, 17, 235, 15, 221, 0, 207, 0, End, 198, 487, 198, 491, 211, 506, 225, 507, 222, 503, 210, 489, 206, 488, 206, 487, 198, 487, End, 274, 0, 281, 8, 294, 22, 308, 22, 302, 15, 289, 0, 274, 0, End, 268, 489, 270, 492, 282, 507, 294, 507, 294, 506, 291, 504, 277, 489, 268, 489, End, 336, 482, 336, 492, 344, 499, 350, 507, 362, 507, 362, 506, 354, 497, 340, 482, 336, 482, End, 333, 414, 333, 417, 337, 421, 351, 436, 364, 450, 378, 465, 392, 479, 406, 494, 420, 508, 434, 508, 426, 500, 413, 486, 399, 472, 386, 457, 372, 443, 359, 429, 345, 414, 333, 414, End, 348, 0, 348, 1, 360, 15, 373, 29, 387, 44, 400, 59, 414, 73, 427, 88, 441, 103, 454, 117, 468, 132, 481, 146, 494, 160, 502, 160, 502, 153, 495, 146, 481, 132, 468, 117, 454, 103, 441, 88, 427, 74, 414, 59, 400, 44, 388, 30, 374, 15, 360, 0, 348, 0, End, 417, 0, 418, 3, 421, 8, 435, 22, 449, 37, 462, 52, 476, 67, 490, 81, 496, 89, 503, 89, 503, 80, 496, 73, 482, 58, 469, 43, 455, 29, 442, 14, 428, 0, 417, 0, End, 417, 137, 420, 149, 427, 158, 441, 172, 454, 187, 468, 201, 481, 215, 495, 230, 502, 230, 502, 222, 490, 210, 477, 195, 463, 181, 450, 167, 436, 152, 422, 137, 417, 137, End, 491, 283, 493, 294, 495, 298, 502, 299, 502, 290, 496, 283, 491, 283, End, 491, 362, 496, 369, 504, 369, 504, 364, 498, 355, 492, 355, 492, 356, 491, 362, End, 460, 399, 465, 405, 479, 419, 483, 423, 496, 437, 504, 438, 504, 431, 497, 423, 482, 409, 469, 394, 464, 394, 462, 395, 460, 399, End, 416, 423, 417, 426, 427, 437, 440, 451, 454, 465, 468, 479, 481, 492, 495, 507, 506, 507, 504, 502, 494, 492, 480, 478, 466, 464, 453, 450, 439, 436, 425, 421, 419, 421, 416, 423, End, 493, 1, 493, 2, 503, 15, 511, 15, 511, 1, 508, 1, 493, 1, End, End }; short* piece[] = { bpawn, bknight, bbishop, brook, bqueen, bking, wpawn, wknight, wbishop, wrook, wqueen, wking, empty, sfull, spawn, sknight, sbishop, srook, squeen, sking, 0 }; char* men3l[] = { [Byfile] "file", [Bywhite] "white", [Byblack] "black", [Byevent] "event", [Byopening] "opening", [Bydate] "date", [Blast] 0, }; Cursor thinking = { { -7, -7 }, { 0 }, { 0x01, 0x00, 0x00, 0xE0, 0x00, 0x10, 0x03, 0xE0, 0x04, 0x00, 0x0F, 0xE0, 0x12, 0x3C, 0x1F, 0xE2, 0x10, 0x1A, 0x10, 0x1A, 0x10, 0x02, 0x10, 0x3C, 0x18, 0x10, 0x6F, 0xEC, 0x40, 0x04, 0x3F, 0xF8 }, };