{{0, 11, 7, 13, 14, 5, 11, 3, 13, 14, 10, 9, 7, 12, 6, 15}, {0, 19, 7, 21, 14, 29, 11, 27, 28, 15, 27, 9, 22, 5, 23, 7, 25, 26, 30, 29, 23, 20, 18, 19, 13, 30, 10, 25, 15, 28, 14, 31}, {0, 35, 7, 37, 14, 45, 11, 43, 28, 63, 27, 57, 22, 53, 23, 55, 56, 27, 63, 29, 54, 21, 51, 19, 44, 15, 43, 9, 46, 13, 47, 15, 49, 50, 54, 53, 63, 60, 58, 59, 45, 46, 42, 41, 39, 36, 38, 39, 25, 58, 30, 61, 23, 52, 18, 51, 29, 62, 26, 57, 31, 60, 30, 63}, {0, 67, 7, 69, 14, 77, 11, 75, 28, 95, 27, 89, 22, 85, 23, 87, 56, 123, 63, 125, 54, 117, 51, 115, 44, 111, 43, 105, 46, 109, 47, 111, 112, 51, 119, 53, 126, 61, 123, 59, 108, 47, 107, 41, 102, 37, 103, 39, 88, 27, 95, 29, 86, 21, 83, 19, 92, 31, 91, 25, 94, 29, 95, 31, 97, 98, 102, 101, 111, 108, 106, 107, 125, 126, 122, 121, 119, 116, 118, 119, 89, 90, 94, 93, 87, 84, 82, 83, 77, 78, 74, 73, 79, 76, 78, 79, 49, 114, 54, 117, 63, 124, 58, 123, 45, 110, 42, 105, 39, 100, 38, 103, 57, 122, 62, 125, 55, 116, 50, 115, 61, 126, 58, 121, 63, 124, 62, 127}, {0, 131, 7, 133, 14, 141, 11, 139, 28, 159, 27, 153, 22, 149, 23, 151, 56, 187, 63, 189, 54, 181, 51, 179, 44, 175, 43, 169, 46, 173, 47, 175, 112, 243, 119, 245, 126, 253, 123, 251, 108, 239, 107, 233, 102, 229, 103, 231, 88, 219, 95, 221, 86, 213, 83, 211, 92, 223, 91, 217, 94, 221, 95, 223, 224, 99, 231, 101, 238, 109, 235, 107, 252, 127, 251, 121, 246, 117, 247, 119, 216, 91, 223, 93, 214, 85, 211, 83, 204, 79, 203, 73, 206, 77, 207, 79, 176, 51, 183, 53, 190, 61, 187, 59, 172, 47, 171, 41, 166, 37, 167, 39, 184, 59, 191, 61, 182, 53, 179, 51, 188, 63, 187, 57, 190, 61, 191, 63, 193, 194, 198, 197, 207, 204, 202, 203, 221, 222, 218, 217, 215, 212, 214, 215, 249, 250, 254, 253, 247, 244, 242, 243, 237, 238, 234, 233, 239, 236, 238, 239, 177, 178, 182, 181, 191, 188, 186, 187, 173, 174, 170, 169, 167, 164, 166, 167, 153, 154, 158, 157, 151, 148, 146, 147, 157, 158, 154, 153, 159, 156, 158, 159, 97, 226, 102, 229, 111, 236, 106, 235, 125, 254, 122, 249, 119, 244, 118, 247, 89, 218, 94, 221, 87, 212, 82, 211, 77, 206, 74, 201, 79, 204, 78, 207, 113, 242, 118, 245, 127, 252, 122, 251, 109, 238, 106, 233, 103, 228, 102, 231, 121, 250, 126, 253, 119, 244, 114, 243, 125, 254, 122, 249, 127, 252, 126, 255}, {0, 259, 7, 261, 14, 269, 11, 267, 28, 287, 27, 281, 22, 277, 23, 279, 56, 315, 63, 317, 54, 309, 51, 307, 44, 303, 43, 297, 46, 301, 47, 303, 112, 371, 119, 373, 126, 381, 123, 379, 108, 367, 107, 361, 102, 357, 103, 359, 88, 347, 95, 349, 86, 341, 83, 339, 92, 351, 91, 345, 94, 349, 95, 351, 224, 483, 231, 485, 238, 493, 235, 491, 252, 511, 251, 505, 246, 501, 247, 503, 216, 475, 223, 477, 214, 469, 211, 467, 204, 463, 203, 457, 206, 461, 207, 463, 176, 435, 183, 437, 190, 445, 187, 443, 172, 431, 171, 425, 166, 421, 167, 423, 184, 443, 191, 445, 182, 437, 179, 435, 188, 447, 187, 441, 190, 445, 191, 447, 448, 195, 455, 197, 462, 205, 459, 203, 476, 223, 475, 217, 470, 213, 471, 215, 504, 251, 511, 253, 502, 245, 499, 243, 492, 239, 491, 233, 494, 237, 495, 239, 432, 179, 439, 181, 446, 189, 443, 187, 428, 175, 427, 169, 422, 165, 423, 167, 408, 155, 415, 157, 406, 149, 403, 147, 412, 159, 411, 153, 414, 157, 415, 159, 352, 99, 359, 101, 366, 109, 363, 107, 380, 127, 379, 121, 374, 117, 375, 119, 344, 91, 351, 93, 342, 85, 339, 83, 332, 79, 331, 73, 334, 77, 335, 79, 368, 115, 375, 117, 382, 125, 379, 123, 364, 111, 363, 105, 358, 101, 359, 103, 376, 123, 383, 125, 374, 117, 371, 115, 380, 127, 379, 121, 382, 125, 383, 127, 385, 386, 390, 389, 399, 396, 394, 395, 413, 414, 410, 409, 407, 404, 406, 407, 441, 442, 446, 445, 439, 436, 434, 435, 429, 430, 426, 425, 431, 428, 430, 431, 497, 498, 502, 501, 511, 508, 506, 507, 493, 494, 490, 489, 487, 484, 486, 487, 473, 474, 478, 477, 471, 468, 466, 467, 477, 478, 474, 473, 479, 476, 478, 479, 353, 354, 358, 357, 367, 364, 362, 363, 381, 382, 378, 377, 375, 372, 374, 375, 345, 346, 350, 349, 343, 340, 338, 339, 333, 334, 330, 329, 335, 332, 334, 335, 305, 306, 310, 309, 319, 316, 314, 315, 301, 302, 298, 297, 295, 292, 294, 295, 313, 314, 318, 317, 311, 308, 306, 307, 317, 318, 314, 313, 319, 316, 318, 319, 193, 450, 198, 453, 207, 460, 202, 459, 221, 478, 218, 473, 215, 468, 214, 471, 249, 506, 254, 509, 247, 500, 242, 499, 237, 494, 234, 489, 239, 492, 238, 495, 177, 434, 182, 437, 191, 444, 186, 443, 173, 430, 170, 425, 167, 420, 166, 423, 153, 410, 158, 413, 151, 404, 146, 403, 157, 414, 154, 409, 159, 412, 158, 415, 225, 482, 230, 485, 239, 492, 234, 491, 253, 510, 250, 505, 247, 500, 246, 503, 217, 474, 222, 477, 215, 468, 210, 467, 205, 462, 202, 457, 207, 460, 206, 463, 241, 498, 246, 501, 255, 508, 250, 507, 237, 494, 234, 489, 231, 484, 230, 487, 249, 506, 254, 509, 247, 500, 242, 499, 253, 510, 250, 505, 255, 508, 254, 511}}