{ "schema_version": "0.2", "name": "[[526,2,79]]", "code_type": "CSS", "n": 526, "k": 2, "checks": { "X": [ [ 15, 54, 120, 146, 171, 190, 226, 242, 270, 283, 286, 298, 362, 426, 432, 466, 514, 520 ], [ 16, 55, 121, 147, 172, 191, 227, 243, 271, 284, 287, 299, 363, 427, 433, 467, 515, 521 ], [ 17, 56, 122, 148, 173, 192, 228, 244, 272, 285, 288, 300, 364, 428, 434, 468, 516, 522 ], [ 18, 57, 123, 149, 174, 193, 229, 245, 273, 286, 289, 301, 365, 429, 435, 469, 517, 523 ], [ 19, 58, 124, 150, 175, 194, 230, 246, 274, 287, 290, 302, 366, 430, 436, 470, 518, 524 ], [ 20, 59, 125, 151, 176, 195, 231, 247, 275, 288, 291, 303, 367, 431, 437, 471, 519, 525 ], [ 21, 60, 126, 152, 177, 196, 232, 248, 263, 276, 289, 292, 304, 368, 432, 438, 472, 520 ], [ 22, 61, 127, 153, 178, 197, 233, 249, 264, 277, 290, 293, 305, 369, 433, 439, 473, 521 ], [ 23, 62, 128, 154, 179, 198, 234, 250, 265, 278, 291, 294, 306, 370, 434, 440, 474, 522 ], [ 24, 63, 129, 155, 180, 199, 235, 251, 266, 279, 292, 295, 307, 371, 435, 441, 475, 523 ], [ 25, 64, 130, 156, 181, 200, 236, 252, 267, 280, 293, 296, 308, 372, 436, 442, 476, 524 ], [ 26, 65, 131, 157, 182, 201, 237, 253, 268, 281, 294, 297, 309, 373, 437, 443, 477, 525 ], [ 27, 66, 132, 158, 183, 202, 238, 254, 263, 269, 282, 295, 298, 310, 374, 438, 444, 478 ], [ 28, 67, 133, 159, 184, 203, 239, 255, 264, 270, 283, 296, 299, 311, 375, 439, 445, 479 ], [ 29, 68, 134, 160, 185, 204, 240, 256, 265, 271, 284, 297, 300, 312, 376, 440, 446, 480 ], [ 30, 69, 135, 161, 186, 205, 241, 257, 266, 272, 285, 298, 301, 313, 377, 441, 447, 481 ], [ 31, 70, 136, 162, 187, 206, 242, 258, 267, 273, 286, 299, 302, 314, 378, 442, 448, 482 ], [ 32, 71, 137, 163, 188, 207, 243, 259, 268, 274, 287, 300, 303, 315, 379, 443, 449, 483 ], [ 33, 72, 138, 164, 189, 208, 244, 260, 269, 275, 288, 301, 304, 316, 380, 444, 450, 484 ], [ 34, 73, 139, 165, 190, 209, 245, 261, 270, 276, 289, 302, 305, 317, 381, 445, 451, 485 ], [ 35, 74, 140, 166, 191, 210, 246, 262, 271, 277, 290, 303, 306, 318, 382, 446, 452, 486 ], [ 0, 36, 75, 141, 167, 192, 211, 247, 272, 278, 291, 304, 307, 319, 383, 447, 453, 487 ], [ 1, 37, 76, 142, 168, 193, 212, 248, 273, 279, 292, 305, 308, 320, 384, 448, 454, 488 ], [ 2, 38, 77, 143, 169, 194, 213, 249, 274, 280, 293, 306, 309, 321, 385, 449, 455, 489 ], [ 3, 39, 78, 144, 170, 195, 214, 250, 275, 281, 294, 307, 310, 322, 386, 450, 456, 490 ], [ 4, 40, 79, 145, 171, 196, 215, 251, 276, 282, 295, 308, 311, 323, 387, 451, 457, 491 ], [ 5, 41, 80, 146, 172, 197, 216, 252, 277, 283, 296, 309, 312, 324, 388, 452, 458, 492 ], [ 6, 42, 81, 147, 173, 198, 217, 253, 278, 284, 297, 310, 313, 325, 389, 453, 459, 493 ], [ 7, 43, 82, 148, 174, 199, 218, 254, 279, 285, 298, 311, 314, 326, 390, 454, 460, 494 ], [ 8, 44, 83, 149, 175, 200, 219, 255, 280, 286, 299, 312, 315, 327, 391, 455, 461, 495 ], [ 9, 45, 84, 150, 176, 201, 220, 256, 281, 287, 300, 313, 316, 328, 392, 456, 462, 496 ], [ 10, 46, 85, 151, 177, 202, 221, 257, 282, 288, 301, 314, 317, 329, 393, 457, 463, 497 ], [ 11, 47, 86, 152, 178, 203, 222, 258, 283, 289, 302, 315, 318, 330, 394, 458, 464, 498 ], [ 12, 48, 87, 153, 179, 204, 223, 259, 284, 290, 303, 316, 319, 331, 395, 459, 465, 499 ], [ 13, 49, 88, 154, 180, 205, 224, 260, 285, 291, 304, 317, 320, 332, 396, 460, 466, 500 ], [ 14, 50, 89, 155, 181, 206, 225, 261, 286, 292, 305, 318, 321, 333, 397, 461, 467, 501 ], [ 15, 51, 90, 156, 182, 207, 226, 262, 287, 293, 306, 319, 322, 334, 398, 462, 468, 502 ], [ 0, 16, 52, 91, 157, 183, 208, 227, 288, 294, 307, 320, 323, 335, 399, 463, 469, 503 ], [ 1, 17, 53, 92, 158, 184, 209, 228, 289, 295, 308, 321, 324, 336, 400, 464, 470, 504 ], [ 2, 18, 54, 93, 159, 185, 210, 229, 290, 296, 309, 322, 325, 337, 401, 465, 471, 505 ], [ 3, 19, 55, 94, 160, 186, 211, 230, 291, 297, 310, 323, 326, 338, 402, 466, 472, 506 ], [ 4, 20, 56, 95, 161, 187, 212, 231, 292, 298, 311, 324, 327, 339, 403, 467, 473, 507 ], [ 5, 21, 57, 96, 162, 188, 213, 232, 293, 299, 312, 325, 328, 340, 404, 468, 474, 508 ], [ 6, 22, 58, 97, 163, 189, 214, 233, 294, 300, 313, 326, 329, 341, 405, 469, 475, 509 ], [ 7, 23, 59, 98, 164, 190, 215, 234, 295, 301, 314, 327, 330, 342, 406, 470, 476, 510 ], [ 8, 24, 60, 99, 165, 191, 216, 235, 296, 302, 315, 328, 331, 343, 407, 471, 477, 511 ], [ 9, 25, 61, 100, 166, 192, 217, 236, 297, 303, 316, 329, 332, 344, 408, 472, 478, 512 ], [ 10, 26, 62, 101, 167, 193, 218, 237, 298, 304, 317, 330, 333, 345, 409, 473, 479, 513 ], [ 11, 27, 63, 102, 168, 194, 219, 238, 299, 305, 318, 331, 334, 346, 410, 474, 480, 514 ], [ 12, 28, 64, 103, 169, 195, 220, 239, 300, 306, 319, 332, 335, 347, 411, 475, 481, 515 ], [ 13, 29, 65, 104, 170, 196, 221, 240, 301, 307, 320, 333, 336, 348, 412, 476, 482, 516 ], [ 14, 30, 66, 105, 171, 197, 222, 241, 302, 308, 321, 334, 337, 349, 413, 477, 483, 517 ], [ 15, 31, 67, 106, 172, 198, 223, 242, 303, 309, 322, 335, 338, 350, 414, 478, 484, 518 ], [ 16, 32, 68, 107, 173, 199, 224, 243, 304, 310, 323, 336, 339, 351, 415, 479, 485, 519 ], [ 17, 33, 69, 108, 174, 200, 225, 244, 305, 311, 324, 337, 340, 352, 416, 480, 486, 520 ], [ 18, 34, 70, 109, 175, 201, 226, 245, 306, 312, 325, 338, 341, 353, 417, 481, 487, 521 ], [ 19, 35, 71, 110, 176, 202, 227, 246, 307, 313, 326, 339, 342, 354, 418, 482, 488, 522 ], [ 20, 36, 72, 111, 177, 203, 228, 247, 308, 314, 327, 340, 343, 355, 419, 483, 489, 523 ], [ 21, 37, 73, 112, 178, 204, 229, 248, 309, 315, 328, 341, 344, 356, 420, 484, 490, 524 ], [ 22, 38, 74, 113, 179, 205, 230, 249, 310, 316, 329, 342, 345, 357, 421, 485, 491, 525 ], [ 23, 39, 75, 114, 180, 206, 231, 250, 263, 311, 317, 330, 343, 346, 358, 422, 486, 492 ], [ 24, 40, 76, 115, 181, 207, 232, 251, 264, 312, 318, 331, 344, 347, 359, 423, 487, 493 ], [ 25, 41, 77, 116, 182, 208, 233, 252, 265, 313, 319, 332, 345, 348, 360, 424, 488, 494 ], [ 26, 42, 78, 117, 183, 209, 234, 253, 266, 314, 320, 333, 346, 349, 361, 425, 489, 495 ], [ 27, 43, 79, 118, 184, 210, 235, 254, 267, 315, 321, 334, 347, 350, 362, 426, 490, 496 ], [ 28, 44, 80, 119, 185, 211, 236, 255, 268, 316, 322, 335, 348, 351, 363, 427, 491, 497 ], [ 29, 45, 81, 120, 186, 212, 237, 256, 269, 317, 323, 336, 349, 352, 364, 428, 492, 498 ], [ 30, 46, 82, 121, 187, 213, 238, 257, 270, 318, 324, 337, 350, 353, 365, 429, 493, 499 ], [ 31, 47, 83, 122, 188, 214, 239, 258, 271, 319, 325, 338, 351, 354, 366, 430, 494, 500 ], [ 32, 48, 84, 123, 189, 215, 240, 259, 272, 320, 326, 339, 352, 355, 367, 431, 495, 501 ], [ 33, 49, 85, 124, 190, 216, 241, 260, 273, 321, 327, 340, 353, 356, 368, 432, 496, 502 ], [ 34, 50, 86, 125, 191, 217, 242, 261, 274, 322, 328, 341, 354, 357, 369, 433, 497, 503 ], [ 35, 51, 87, 126, 192, 218, 243, 262, 275, 323, 329, 342, 355, 358, 370, 434, 498, 504 ], [ 0, 36, 52, 88, 127, 193, 219, 244, 276, 324, 330, 343, 356, 359, 371, 435, 499, 505 ], [ 1, 37, 53, 89, 128, 194, 220, 245, 277, 325, 331, 344, 357, 360, 372, 436, 500, 506 ], [ 2, 38, 54, 90, 129, 195, 221, 246, 278, 326, 332, 345, 358, 361, 373, 437, 501, 507 ], [ 3, 39, 55, 91, 130, 196, 222, 247, 279, 327, 333, 346, 359, 362, 374, 438, 502, 508 ], [ 4, 40, 56, 92, 131, 197, 223, 248, 280, 328, 334, 347, 360, 363, 375, 439, 503, 509 ], [ 5, 41, 57, 93, 132, 198, 224, 249, 281, 329, 335, 348, 361, 364, 376, 440, 504, 510 ], [ 6, 42, 58, 94, 133, 199, 225, 250, 282, 330, 336, 349, 362, 365, 377, 441, 505, 511 ], [ 7, 43, 59, 95, 134, 200, 226, 251, 283, 331, 337, 350, 363, 366, 378, 442, 506, 512 ], [ 8, 44, 60, 96, 135, 201, 227, 252, 284, 332, 338, 351, 364, 367, 379, 443, 507, 513 ], [ 9, 45, 61, 97, 136, 202, 228, 253, 285, 333, 339, 352, 365, 368, 380, 444, 508, 514 ], [ 10, 46, 62, 98, 137, 203, 229, 254, 286, 334, 340, 353, 366, 369, 381, 445, 509, 515 ], [ 11, 47, 63, 99, 138, 204, 230, 255, 287, 335, 341, 354, 367, 370, 382, 446, 510, 516 ], [ 12, 48, 64, 100, 139, 205, 231, 256, 288, 336, 342, 355, 368, 371, 383, 447, 511, 517 ], [ 13, 49, 65, 101, 140, 206, 232, 257, 289, 337, 343, 356, 369, 372, 384, 448, 512, 518 ], [ 14, 50, 66, 102, 141, 207, 233, 258, 290, 338, 344, 357, 370, 373, 385, 449, 513, 519 ], [ 15, 51, 67, 103, 142, 208, 234, 259, 291, 339, 345, 358, 371, 374, 386, 450, 514, 520 ], [ 16, 52, 68, 104, 143, 209, 235, 260, 292, 340, 346, 359, 372, 375, 387, 451, 515, 521 ], [ 17, 53, 69, 105, 144, 210, 236, 261, 293, 341, 347, 360, 373, 376, 388, 452, 516, 522 ], [ 18, 54, 70, 106, 145, 211, 237, 262, 294, 342, 348, 361, 374, 377, 389, 453, 517, 523 ], [ 0, 19, 55, 71, 107, 146, 212, 238, 295, 343, 349, 362, 375, 378, 390, 454, 518, 524 ], [ 1, 20, 56, 72, 108, 147, 213, 239, 296, 344, 350, 363, 376, 379, 391, 455, 519, 525 ], [ 2, 21, 57, 73, 109, 148, 214, 240, 263, 297, 345, 351, 364, 377, 380, 392, 456, 520 ], [ 3, 22, 58, 74, 110, 149, 215, 241, 264, 298, 346, 352, 365, 378, 381, 393, 457, 521 ], [ 4, 23, 59, 75, 111, 150, 216, 242, 265, 299, 347, 353, 366, 379, 382, 394, 458, 522 ], [ 5, 24, 60, 76, 112, 151, 217, 243, 266, 300, 348, 354, 367, 380, 383, 395, 459, 523 ], [ 6, 25, 61, 77, 113, 152, 218, 244, 267, 301, 349, 355, 368, 381, 384, 396, 460, 524 ], [ 7, 26, 62, 78, 114, 153, 219, 245, 268, 302, 350, 356, 369, 382, 385, 397, 461, 525 ], [ 8, 27, 63, 79, 115, 154, 220, 246, 263, 269, 303, 351, 357, 370, 383, 386, 398, 462 ], [ 9, 28, 64, 80, 116, 155, 221, 247, 264, 270, 304, 352, 358, 371, 384, 387, 399, 463 ], [ 10, 29, 65, 81, 117, 156, 222, 248, 265, 271, 305, 353, 359, 372, 385, 388, 400, 464 ], [ 11, 30, 66, 82, 118, 157, 223, 249, 266, 272, 306, 354, 360, 373, 386, 389, 401, 465 ], [ 12, 31, 67, 83, 119, 158, 224, 250, 267, 273, 307, 355, 361, 374, 387, 390, 402, 466 ], [ 13, 32, 68, 84, 120, 159, 225, 251, 268, 274, 308, 356, 362, 375, 388, 391, 403, 467 ], [ 14, 33, 69, 85, 121, 160, 226, 252, 269, 275, 309, 357, 363, 376, 389, 392, 404, 468 ], [ 15, 34, 70, 86, 122, 161, 227, 253, 270, 276, 310, 358, 364, 377, 390, 393, 405, 469 ], [ 16, 35, 71, 87, 123, 162, 228, 254, 271, 277, 311, 359, 365, 378, 391, 394, 406, 470 ], [ 17, 36, 72, 88, 124, 163, 229, 255, 272, 278, 312, 360, 366, 379, 392, 395, 407, 471 ], [ 18, 37, 73, 89, 125, 164, 230, 256, 273, 279, 313, 361, 367, 380, 393, 396, 408, 472 ], [ 19, 38, 74, 90, 126, 165, 231, 257, 274, 280, 314, 362, 368, 381, 394, 397, 409, 473 ], [ 20, 39, 75, 91, 127, 166, 232, 258, 275, 281, 315, 363, 369, 382, 395, 398, 410, 474 ], [ 21, 40, 76, 92, 128, 167, 233, 259, 276, 282, 316, 364, 370, 383, 396, 399, 411, 475 ], [ 22, 41, 77, 93, 129, 168, 234, 260, 277, 283, 317, 365, 371, 384, 397, 400, 412, 476 ], [ 23, 42, 78, 94, 130, 169, 235, 261, 278, 284, 318, 366, 372, 385, 398, 401, 413, 477 ], [ 24, 43, 79, 95, 131, 170, 236, 262, 279, 285, 319, 367, 373, 386, 399, 402, 414, 478 ], [ 0, 25, 44, 80, 96, 132, 171, 237, 280, 286, 320, 368, 374, 387, 400, 403, 415, 479 ], [ 1, 26, 45, 81, 97, 133, 172, 238, 281, 287, 321, 369, 375, 388, 401, 404, 416, 480 ], [ 2, 27, 46, 82, 98, 134, 173, 239, 282, 288, 322, 370, 376, 389, 402, 405, 417, 481 ], [ 3, 28, 47, 83, 99, 135, 174, 240, 283, 289, 323, 371, 377, 390, 403, 406, 418, 482 ], [ 4, 29, 48, 84, 100, 136, 175, 241, 284, 290, 324, 372, 378, 391, 404, 407, 419, 483 ], [ 5, 30, 49, 85, 101, 137, 176, 242, 285, 291, 325, 373, 379, 392, 405, 408, 420, 484 ], [ 6, 31, 50, 86, 102, 138, 177, 243, 286, 292, 326, 374, 380, 393, 406, 409, 421, 485 ], [ 7, 32, 51, 87, 103, 139, 178, 244, 287, 293, 327, 375, 381, 394, 407, 410, 422, 486 ], [ 8, 33, 52, 88, 104, 140, 179, 245, 288, 294, 328, 376, 382, 395, 408, 411, 423, 487 ], [ 9, 34, 53, 89, 105, 141, 180, 246, 289, 295, 329, 377, 383, 396, 409, 412, 424, 488 ], [ 10, 35, 54, 90, 106, 142, 181, 247, 290, 296, 330, 378, 384, 397, 410, 413, 425, 489 ], [ 11, 36, 55, 91, 107, 143, 182, 248, 291, 297, 331, 379, 385, 398, 411, 414, 426, 490 ], [ 12, 37, 56, 92, 108, 144, 183, 249, 292, 298, 332, 380, 386, 399, 412, 415, 427, 491 ], [ 13, 38, 57, 93, 109, 145, 184, 250, 293, 299, 333, 381, 387, 400, 413, 416, 428, 492 ], [ 14, 39, 58, 94, 110, 146, 185, 251, 294, 300, 334, 382, 388, 401, 414, 417, 429, 493 ], [ 15, 40, 59, 95, 111, 147, 186, 252, 295, 301, 335, 383, 389, 402, 415, 418, 430, 494 ], [ 16, 41, 60, 96, 112, 148, 187, 253, 296, 302, 336, 384, 390, 403, 416, 419, 431, 495 ], [ 17, 42, 61, 97, 113, 149, 188, 254, 297, 303, 337, 385, 391, 404, 417, 420, 432, 496 ], [ 18, 43, 62, 98, 114, 150, 189, 255, 298, 304, 338, 386, 392, 405, 418, 421, 433, 497 ], [ 19, 44, 63, 99, 115, 151, 190, 256, 299, 305, 339, 387, 393, 406, 419, 422, 434, 498 ], [ 20, 45, 64, 100, 116, 152, 191, 257, 300, 306, 340, 388, 394, 407, 420, 423, 435, 499 ], [ 21, 46, 65, 101, 117, 153, 192, 258, 301, 307, 341, 389, 395, 408, 421, 424, 436, 500 ], [ 22, 47, 66, 102, 118, 154, 193, 259, 302, 308, 342, 390, 396, 409, 422, 425, 437, 501 ], [ 23, 48, 67, 103, 119, 155, 194, 260, 303, 309, 343, 391, 397, 410, 423, 426, 438, 502 ], [ 24, 49, 68, 104, 120, 156, 195, 261, 304, 310, 344, 392, 398, 411, 424, 427, 439, 503 ], [ 25, 50, 69, 105, 121, 157, 196, 262, 305, 311, 345, 393, 399, 412, 425, 428, 440, 504 ], [ 0, 26, 51, 70, 106, 122, 158, 197, 306, 312, 346, 394, 400, 413, 426, 429, 441, 505 ], [ 1, 27, 52, 71, 107, 123, 159, 198, 307, 313, 347, 395, 401, 414, 427, 430, 442, 506 ], [ 2, 28, 53, 72, 108, 124, 160, 199, 308, 314, 348, 396, 402, 415, 428, 431, 443, 507 ], [ 3, 29, 54, 73, 109, 125, 161, 200, 309, 315, 349, 397, 403, 416, 429, 432, 444, 508 ], [ 4, 30, 55, 74, 110, 126, 162, 201, 310, 316, 350, 398, 404, 417, 430, 433, 445, 509 ], [ 5, 31, 56, 75, 111, 127, 163, 202, 311, 317, 351, 399, 405, 418, 431, 434, 446, 510 ], [ 6, 32, 57, 76, 112, 128, 164, 203, 312, 318, 352, 400, 406, 419, 432, 435, 447, 511 ], [ 7, 33, 58, 77, 113, 129, 165, 204, 313, 319, 353, 401, 407, 420, 433, 436, 448, 512 ], [ 8, 34, 59, 78, 114, 130, 166, 205, 314, 320, 354, 402, 408, 421, 434, 437, 449, 513 ], [ 9, 35, 60, 79, 115, 131, 167, 206, 315, 321, 355, 403, 409, 422, 435, 438, 450, 514 ], [ 10, 36, 61, 80, 116, 132, 168, 207, 316, 322, 356, 404, 410, 423, 436, 439, 451, 515 ], [ 11, 37, 62, 81, 117, 133, 169, 208, 317, 323, 357, 405, 411, 424, 437, 440, 452, 516 ], [ 12, 38, 63, 82, 118, 134, 170, 209, 318, 324, 358, 406, 412, 425, 438, 441, 453, 517 ], [ 13, 39, 64, 83, 119, 135, 171, 210, 319, 325, 359, 407, 413, 426, 439, 442, 454, 518 ], [ 14, 40, 65, 84, 120, 136, 172, 211, 320, 326, 360, 408, 414, 427, 440, 443, 455, 519 ], [ 15, 41, 66, 85, 121, 137, 173, 212, 321, 327, 361, 409, 415, 428, 441, 444, 456, 520 ], [ 16, 42, 67, 86, 122, 138, 174, 213, 322, 328, 362, 410, 416, 429, 442, 445, 457, 521 ], [ 17, 43, 68, 87, 123, 139, 175, 214, 323, 329, 363, 411, 417, 430, 443, 446, 458, 522 ], [ 18, 44, 69, 88, 124, 140, 176, 215, 324, 330, 364, 412, 418, 431, 444, 447, 459, 523 ], [ 19, 45, 70, 89, 125, 141, 177, 216, 325, 331, 365, 413, 419, 432, 445, 448, 460, 524 ], [ 20, 46, 71, 90, 126, 142, 178, 217, 326, 332, 366, 414, 420, 433, 446, 449, 461, 525 ], [ 21, 47, 72, 91, 127, 143, 179, 218, 263, 327, 333, 367, 415, 421, 434, 447, 450, 462 ], [ 22, 48, 73, 92, 128, 144, 180, 219, 264, 328, 334, 368, 416, 422, 435, 448, 451, 463 ], [ 23, 49, 74, 93, 129, 145, 181, 220, 265, 329, 335, 369, 417, 423, 436, 449, 452, 464 ], [ 24, 50, 75, 94, 130, 146, 182, 221, 266, 330, 336, 370, 418, 424, 437, 450, 453, 465 ], [ 25, 51, 76, 95, 131, 147, 183, 222, 267, 331, 337, 371, 419, 425, 438, 451, 454, 466 ], [ 26, 52, 77, 96, 132, 148, 184, 223, 268, 332, 338, 372, 420, 426, 439, 452, 455, 467 ], [ 27, 53, 78, 97, 133, 149, 185, 224, 269, 333, 339, 373, 421, 427, 440, 453, 456, 468 ], [ 28, 54, 79, 98, 134, 150, 186, 225, 270, 334, 340, 374, 422, 428, 441, 454, 457, 469 ], [ 29, 55, 80, 99, 135, 151, 187, 226, 271, 335, 341, 375, 423, 429, 442, 455, 458, 470 ], [ 30, 56, 81, 100, 136, 152, 188, 227, 272, 336, 342, 376, 424, 430, 443, 456, 459, 471 ], [ 31, 57, 82, 101, 137, 153, 189, 228, 273, 337, 343, 377, 425, 431, 444, 457, 460, 472 ], [ 32, 58, 83, 102, 138, 154, 190, 229, 274, 338, 344, 378, 426, 432, 445, 458, 461, 473 ], [ 33, 59, 84, 103, 139, 155, 191, 230, 275, 339, 345, 379, 427, 433, 446, 459, 462, 474 ], [ 34, 60, 85, 104, 140, 156, 192, 231, 276, 340, 346, 380, 428, 434, 447, 460, 463, 475 ], [ 35, 61, 86, 105, 141, 157, 193, 232, 277, 341, 347, 381, 429, 435, 448, 461, 464, 476 ], [ 36, 62, 87, 106, 142, 158, 194, 233, 278, 342, 348, 382, 430, 436, 449, 462, 465, 477 ], [ 37, 63, 88, 107, 143, 159, 195, 234, 279, 343, 349, 383, 431, 437, 450, 463, 466, 478 ], [ 38, 64, 89, 108, 144, 160, 196, 235, 280, 344, 350, 384, 432, 438, 451, 464, 467, 479 ], [ 39, 65, 90, 109, 145, 161, 197, 236, 281, 345, 351, 385, 433, 439, 452, 465, 468, 480 ], [ 40, 66, 91, 110, 146, 162, 198, 237, 282, 346, 352, 386, 434, 440, 453, 466, 469, 481 ], [ 41, 67, 92, 111, 147, 163, 199, 238, 283, 347, 353, 387, 435, 441, 454, 467, 470, 482 ], [ 42, 68, 93, 112, 148, 164, 200, 239, 284, 348, 354, 388, 436, 442, 455, 468, 471, 483 ], [ 43, 69, 94, 113, 149, 165, 201, 240, 285, 349, 355, 389, 437, 443, 456, 469, 472, 484 ], [ 44, 70, 95, 114, 150, 166, 202, 241, 286, 350, 356, 390, 438, 444, 457, 470, 473, 485 ], [ 45, 71, 96, 115, 151, 167, 203, 242, 287, 351, 357, 391, 439, 445, 458, 471, 474, 486 ], [ 46, 72, 97, 116, 152, 168, 204, 243, 288, 352, 358, 392, 440, 446, 459, 472, 475, 487 ], [ 47, 73, 98, 117, 153, 169, 205, 244, 289, 353, 359, 393, 441, 447, 460, 473, 476, 488 ], [ 48, 74, 99, 118, 154, 170, 206, 245, 290, 354, 360, 394, 442, 448, 461, 474, 477, 489 ], [ 49, 75, 100, 119, 155, 171, 207, 246, 291, 355, 361, 395, 443, 449, 462, 475, 478, 490 ], [ 50, 76, 101, 120, 156, 172, 208, 247, 292, 356, 362, 396, 444, 450, 463, 476, 479, 491 ], [ 51, 77, 102, 121, 157, 173, 209, 248, 293, 357, 363, 397, 445, 451, 464, 477, 480, 492 ], [ 52, 78, 103, 122, 158, 174, 210, 249, 294, 358, 364, 398, 446, 452, 465, 478, 481, 493 ], [ 53, 79, 104, 123, 159, 175, 211, 250, 295, 359, 365, 399, 447, 453, 466, 479, 482, 494 ], [ 54, 80, 105, 124, 160, 176, 212, 251, 296, 360, 366, 400, 448, 454, 467, 480, 483, 495 ], [ 55, 81, 106, 125, 161, 177, 213, 252, 297, 361, 367, 401, 449, 455, 468, 481, 484, 496 ], [ 56, 82, 107, 126, 162, 178, 214, 253, 298, 362, 368, 402, 450, 456, 469, 482, 485, 497 ], [ 57, 83, 108, 127, 163, 179, 215, 254, 299, 363, 369, 403, 451, 457, 470, 483, 486, 498 ], [ 58, 84, 109, 128, 164, 180, 216, 255, 300, 364, 370, 404, 452, 458, 471, 484, 487, 499 ], [ 59, 85, 110, 129, 165, 181, 217, 256, 301, 365, 371, 405, 453, 459, 472, 485, 488, 500 ], [ 60, 86, 111, 130, 166, 182, 218, 257, 302, 366, 372, 406, 454, 460, 473, 486, 489, 501 ], [ 61, 87, 112, 131, 167, 183, 219, 258, 303, 367, 373, 407, 455, 461, 474, 487, 490, 502 ], [ 62, 88, 113, 132, 168, 184, 220, 259, 304, 368, 374, 408, 456, 462, 475, 488, 491, 503 ], [ 63, 89, 114, 133, 169, 185, 221, 260, 305, 369, 375, 409, 457, 463, 476, 489, 492, 504 ], [ 64, 90, 115, 134, 170, 186, 222, 261, 306, 370, 376, 410, 458, 464, 477, 490, 493, 505 ], [ 65, 91, 116, 135, 171, 187, 223, 262, 307, 371, 377, 411, 459, 465, 478, 491, 494, 506 ], [ 0, 66, 92, 117, 136, 172, 188, 224, 308, 372, 378, 412, 460, 466, 479, 492, 495, 507 ], [ 1, 67, 93, 118, 137, 173, 189, 225, 309, 373, 379, 413, 461, 467, 480, 493, 496, 508 ], [ 2, 68, 94, 119, 138, 174, 190, 226, 310, 374, 380, 414, 462, 468, 481, 494, 497, 509 ], [ 3, 69, 95, 120, 139, 175, 191, 227, 311, 375, 381, 415, 463, 469, 482, 495, 498, 510 ], [ 4, 70, 96, 121, 140, 176, 192, 228, 312, 376, 382, 416, 464, 470, 483, 496, 499, 511 ], [ 5, 71, 97, 122, 141, 177, 193, 229, 313, 377, 383, 417, 465, 471, 484, 497, 500, 512 ], [ 6, 72, 98, 123, 142, 178, 194, 230, 314, 378, 384, 418, 466, 472, 485, 498, 501, 513 ], [ 7, 73, 99, 124, 143, 179, 195, 231, 315, 379, 385, 419, 467, 473, 486, 499, 502, 514 ], [ 8, 74, 100, 125, 144, 180, 196, 232, 316, 380, 386, 420, 468, 474, 487, 500, 503, 515 ], [ 9, 75, 101, 126, 145, 181, 197, 233, 317, 381, 387, 421, 469, 475, 488, 501, 504, 516 ], [ 10, 76, 102, 127, 146, 182, 198, 234, 318, 382, 388, 422, 470, 476, 489, 502, 505, 517 ], [ 11, 77, 103, 128, 147, 183, 199, 235, 319, 383, 389, 423, 471, 477, 490, 503, 506, 518 ], [ 12, 78, 104, 129, 148, 184, 200, 236, 320, 384, 390, 424, 472, 478, 491, 504, 507, 519 ], [ 13, 79, 105, 130, 149, 185, 201, 237, 321, 385, 391, 425, 473, 479, 492, 505, 508, 520 ], [ 14, 80, 106, 131, 150, 186, 202, 238, 322, 386, 392, 426, 474, 480, 493, 506, 509, 521 ], [ 15, 81, 107, 132, 151, 187, 203, 239, 323, 387, 393, 427, 475, 481, 494, 507, 510, 522 ], [ 16, 82, 108, 133, 152, 188, 204, 240, 324, 388, 394, 428, 476, 482, 495, 508, 511, 523 ], [ 17, 83, 109, 134, 153, 189, 205, 241, 325, 389, 395, 429, 477, 483, 496, 509, 512, 524 ], [ 18, 84, 110, 135, 154, 190, 206, 242, 326, 390, 396, 430, 478, 484, 497, 510, 513, 525 ], [ 19, 85, 111, 136, 155, 191, 207, 243, 263, 327, 391, 397, 431, 479, 485, 498, 511, 514 ], [ 20, 86, 112, 137, 156, 192, 208, 244, 264, 328, 392, 398, 432, 480, 486, 499, 512, 515 ], [ 21, 87, 113, 138, 157, 193, 209, 245, 265, 329, 393, 399, 433, 481, 487, 500, 513, 516 ], [ 22, 88, 114, 139, 158, 194, 210, 246, 266, 330, 394, 400, 434, 482, 488, 501, 514, 517 ], [ 23, 89, 115, 140, 159, 195, 211, 247, 267, 331, 395, 401, 435, 483, 489, 502, 515, 518 ], [ 24, 90, 116, 141, 160, 196, 212, 248, 268, 332, 396, 402, 436, 484, 490, 503, 516, 519 ], [ 25, 91, 117, 142, 161, 197, 213, 249, 269, 333, 397, 403, 437, 485, 491, 504, 517, 520 ], [ 26, 92, 118, 143, 162, 198, 214, 250, 270, 334, 398, 404, 438, 486, 492, 505, 518, 521 ], [ 27, 93, 119, 144, 163, 199, 215, 251, 271, 335, 399, 405, 439, 487, 493, 506, 519, 522 ], [ 28, 94, 120, 145, 164, 200, 216, 252, 272, 336, 400, 406, 440, 488, 494, 507, 520, 523 ], [ 29, 95, 121, 146, 165, 201, 217, 253, 273, 337, 401, 407, 441, 489, 495, 508, 521, 524 ], [ 30, 96, 122, 147, 166, 202, 218, 254, 274, 338, 402, 408, 442, 490, 496, 509, 522, 525 ], [ 31, 97, 123, 148, 167, 203, 219, 255, 263, 275, 339, 403, 409, 443, 491, 497, 510, 523 ], [ 32, 98, 124, 149, 168, 204, 220, 256, 264, 276, 340, 404, 410, 444, 492, 498, 511, 524 ], [ 33, 99, 125, 150, 169, 205, 221, 257, 265, 277, 341, 405, 411, 445, 493, 499, 512, 525 ], [ 34, 100, 126, 151, 170, 206, 222, 258, 263, 266, 278, 342, 406, 412, 446, 494, 500, 513 ], [ 35, 101, 127, 152, 171, 207, 223, 259, 264, 267, 279, 343, 407, 413, 447, 495, 501, 514 ], [ 36, 102, 128, 153, 172, 208, 224, 260, 265, 268, 280, 344, 408, 414, 448, 496, 502, 515 ], [ 37, 103, 129, 154, 173, 209, 225, 261, 266, 269, 281, 345, 409, 415, 449, 497, 503, 516 ], [ 38, 104, 130, 155, 174, 210, 226, 262, 267, 270, 282, 346, 410, 416, 450, 498, 504, 517 ], [ 0, 39, 105, 131, 156, 175, 211, 227, 268, 271, 283, 347, 411, 417, 451, 499, 505, 518 ], [ 1, 40, 106, 132, 157, 176, 212, 228, 269, 272, 284, 348, 412, 418, 452, 500, 506, 519 ], [ 2, 41, 107, 133, 158, 177, 213, 229, 270, 273, 285, 349, 413, 419, 453, 501, 507, 520 ], [ 3, 42, 108, 134, 159, 178, 214, 230, 271, 274, 286, 350, 414, 420, 454, 502, 508, 521 ], [ 4, 43, 109, 135, 160, 179, 215, 231, 272, 275, 287, 351, 415, 421, 455, 503, 509, 522 ], [ 5, 44, 110, 136, 161, 180, 216, 232, 273, 276, 288, 352, 416, 422, 456, 504, 510, 523 ], [ 6, 45, 111, 137, 162, 181, 217, 233, 274, 277, 289, 353, 417, 423, 457, 505, 511, 524 ], [ 7, 46, 112, 138, 163, 182, 218, 234, 275, 278, 290, 354, 418, 424, 458, 506, 512, 525 ], [ 8, 47, 113, 139, 164, 183, 219, 235, 263, 276, 279, 291, 355, 419, 425, 459, 507, 513 ], [ 9, 48, 114, 140, 165, 184, 220, 236, 264, 277, 280, 292, 356, 420, 426, 460, 508, 514 ], [ 10, 49, 115, 141, 166, 185, 221, 237, 265, 278, 281, 293, 357, 421, 427, 461, 509, 515 ], [ 11, 50, 116, 142, 167, 186, 222, 238, 266, 279, 282, 294, 358, 422, 428, 462, 510, 516 ], [ 12, 51, 117, 143, 168, 187, 223, 239, 267, 280, 283, 295, 359, 423, 429, 463, 511, 517 ], [ 13, 52, 118, 144, 169, 188, 224, 240, 268, 281, 284, 296, 360, 424, 430, 464, 512, 518 ], [ 14, 53, 119, 145, 170, 189, 225, 241, 269, 282, 285, 297, 361, 425, 431, 465, 513, 519 ] ], "Z": [ [ 6, 12, 60, 94, 100, 164, 228, 240, 243, 256, 284, 300, 336, 355, 380, 406, 472, 511 ], [ 7, 13, 61, 95, 101, 165, 229, 241, 244, 257, 285, 301, 337, 356, 381, 407, 473, 512 ], [ 8, 14, 62, 96, 102, 166, 230, 242, 245, 258, 286, 302, 338, 357, 382, 408, 474, 513 ], [ 9, 15, 63, 97, 103, 167, 231, 243, 246, 259, 287, 303, 339, 358, 383, 409, 475, 514 ], [ 10, 16, 64, 98, 104, 168, 232, 244, 247, 260, 288, 304, 340, 359, 384, 410, 476, 515 ], [ 11, 17, 65, 99, 105, 169, 233, 245, 248, 261, 289, 305, 341, 360, 385, 411, 477, 516 ], [ 12, 18, 66, 100, 106, 170, 234, 246, 249, 262, 290, 306, 342, 361, 386, 412, 478, 517 ], [ 0, 13, 19, 67, 101, 107, 171, 235, 247, 250, 291, 307, 343, 362, 387, 413, 479, 518 ], [ 1, 14, 20, 68, 102, 108, 172, 236, 248, 251, 292, 308, 344, 363, 388, 414, 480, 519 ], [ 2, 15, 21, 69, 103, 109, 173, 237, 249, 252, 293, 309, 345, 364, 389, 415, 481, 520 ], [ 3, 16, 22, 70, 104, 110, 174, 238, 250, 253, 294, 310, 346, 365, 390, 416, 482, 521 ], [ 4, 17, 23, 71, 105, 111, 175, 239, 251, 254, 295, 311, 347, 366, 391, 417, 483, 522 ], [ 5, 18, 24, 72, 106, 112, 176, 240, 252, 255, 296, 312, 348, 367, 392, 418, 484, 523 ], [ 6, 19, 25, 73, 107, 113, 177, 241, 253, 256, 297, 313, 349, 368, 393, 419, 485, 524 ], [ 7, 20, 26, 74, 108, 114, 178, 242, 254, 257, 298, 314, 350, 369, 394, 420, 486, 525 ], [ 8, 21, 27, 75, 109, 115, 179, 243, 255, 258, 263, 299, 315, 351, 370, 395, 421, 487 ], [ 9, 22, 28, 76, 110, 116, 180, 244, 256, 259, 264, 300, 316, 352, 371, 396, 422, 488 ], [ 10, 23, 29, 77, 111, 117, 181, 245, 257, 260, 265, 301, 317, 353, 372, 397, 423, 489 ], [ 11, 24, 30, 78, 112, 118, 182, 246, 258, 261, 266, 302, 318, 354, 373, 398, 424, 490 ], [ 12, 25, 31, 79, 113, 119, 183, 247, 259, 262, 267, 303, 319, 355, 374, 399, 425, 491 ], [ 0, 13, 26, 32, 80, 114, 120, 184, 248, 260, 268, 304, 320, 356, 375, 400, 426, 492 ], [ 1, 14, 27, 33, 81, 115, 121, 185, 249, 261, 269, 305, 321, 357, 376, 401, 427, 493 ], [ 2, 15, 28, 34, 82, 116, 122, 186, 250, 262, 270, 306, 322, 358, 377, 402, 428, 494 ], [ 0, 3, 16, 29, 35, 83, 117, 123, 187, 251, 271, 307, 323, 359, 378, 403, 429, 495 ], [ 1, 4, 17, 30, 36, 84, 118, 124, 188, 252, 272, 308, 324, 360, 379, 404, 430, 496 ], [ 2, 5, 18, 31, 37, 85, 119, 125, 189, 253, 273, 309, 325, 361, 380, 405, 431, 497 ], [ 3, 6, 19, 32, 38, 86, 120, 126, 190, 254, 274, 310, 326, 362, 381, 406, 432, 498 ], [ 4, 7, 20, 33, 39, 87, 121, 127, 191, 255, 275, 311, 327, 363, 382, 407, 433, 499 ], [ 5, 8, 21, 34, 40, 88, 122, 128, 192, 256, 276, 312, 328, 364, 383, 408, 434, 500 ], [ 6, 9, 22, 35, 41, 89, 123, 129, 193, 257, 277, 313, 329, 365, 384, 409, 435, 501 ], [ 7, 10, 23, 36, 42, 90, 124, 130, 194, 258, 278, 314, 330, 366, 385, 410, 436, 502 ], [ 8, 11, 24, 37, 43, 91, 125, 131, 195, 259, 279, 315, 331, 367, 386, 411, 437, 503 ], [ 9, 12, 25, 38, 44, 92, 126, 132, 196, 260, 280, 316, 332, 368, 387, 412, 438, 504 ], [ 10, 13, 26, 39, 45, 93, 127, 133, 197, 261, 281, 317, 333, 369, 388, 413, 439, 505 ], [ 11, 14, 27, 40, 46, 94, 128, 134, 198, 262, 282, 318, 334, 370, 389, 414, 440, 506 ], [ 0, 12, 15, 28, 41, 47, 95, 129, 135, 199, 283, 319, 335, 371, 390, 415, 441, 507 ], [ 1, 13, 16, 29, 42, 48, 96, 130, 136, 200, 284, 320, 336, 372, 391, 416, 442, 508 ], [ 2, 14, 17, 30, 43, 49, 97, 131, 137, 201, 285, 321, 337, 373, 392, 417, 443, 509 ], [ 3, 15, 18, 31, 44, 50, 98, 132, 138, 202, 286, 322, 338, 374, 393, 418, 444, 510 ], [ 4, 16, 19, 32, 45, 51, 99, 133, 139, 203, 287, 323, 339, 375, 394, 419, 445, 511 ], [ 5, 17, 20, 33, 46, 52, 100, 134, 140, 204, 288, 324, 340, 376, 395, 420, 446, 512 ], [ 6, 18, 21, 34, 47, 53, 101, 135, 141, 205, 289, 325, 341, 377, 396, 421, 447, 513 ], [ 7, 19, 22, 35, 48, 54, 102, 136, 142, 206, 290, 326, 342, 378, 397, 422, 448, 514 ], [ 8, 20, 23, 36, 49, 55, 103, 137, 143, 207, 291, 327, 343, 379, 398, 423, 449, 515 ], [ 9, 21, 24, 37, 50, 56, 104, 138, 144, 208, 292, 328, 344, 380, 399, 424, 450, 516 ], [ 10, 22, 25, 38, 51, 57, 105, 139, 145, 209, 293, 329, 345, 381, 400, 425, 451, 517 ], [ 11, 23, 26, 39, 52, 58, 106, 140, 146, 210, 294, 330, 346, 382, 401, 426, 452, 518 ], [ 12, 24, 27, 40, 53, 59, 107, 141, 147, 211, 295, 331, 347, 383, 402, 427, 453, 519 ], [ 13, 25, 28, 41, 54, 60, 108, 142, 148, 212, 296, 332, 348, 384, 403, 428, 454, 520 ], [ 14, 26, 29, 42, 55, 61, 109, 143, 149, 213, 297, 333, 349, 385, 404, 429, 455, 521 ], [ 15, 27, 30, 43, 56, 62, 110, 144, 150, 214, 298, 334, 350, 386, 405, 430, 456, 522 ], [ 16, 28, 31, 44, 57, 63, 111, 145, 151, 215, 299, 335, 351, 387, 406, 431, 457, 523 ], [ 17, 29, 32, 45, 58, 64, 112, 146, 152, 216, 300, 336, 352, 388, 407, 432, 458, 524 ], [ 18, 30, 33, 46, 59, 65, 113, 147, 153, 217, 301, 337, 353, 389, 408, 433, 459, 525 ], [ 19, 31, 34, 47, 60, 66, 114, 148, 154, 218, 263, 302, 338, 354, 390, 409, 434, 460 ], [ 20, 32, 35, 48, 61, 67, 115, 149, 155, 219, 264, 303, 339, 355, 391, 410, 435, 461 ], [ 21, 33, 36, 49, 62, 68, 116, 150, 156, 220, 265, 304, 340, 356, 392, 411, 436, 462 ], [ 22, 34, 37, 50, 63, 69, 117, 151, 157, 221, 266, 305, 341, 357, 393, 412, 437, 463 ], [ 23, 35, 38, 51, 64, 70, 118, 152, 158, 222, 267, 306, 342, 358, 394, 413, 438, 464 ], [ 24, 36, 39, 52, 65, 71, 119, 153, 159, 223, 268, 307, 343, 359, 395, 414, 439, 465 ], [ 25, 37, 40, 53, 66, 72, 120, 154, 160, 224, 269, 308, 344, 360, 396, 415, 440, 466 ], [ 26, 38, 41, 54, 67, 73, 121, 155, 161, 225, 270, 309, 345, 361, 397, 416, 441, 467 ], [ 27, 39, 42, 55, 68, 74, 122, 156, 162, 226, 271, 310, 346, 362, 398, 417, 442, 468 ], [ 28, 40, 43, 56, 69, 75, 123, 157, 163, 227, 272, 311, 347, 363, 399, 418, 443, 469 ], [ 29, 41, 44, 57, 70, 76, 124, 158, 164, 228, 273, 312, 348, 364, 400, 419, 444, 470 ], [ 30, 42, 45, 58, 71, 77, 125, 159, 165, 229, 274, 313, 349, 365, 401, 420, 445, 471 ], [ 31, 43, 46, 59, 72, 78, 126, 160, 166, 230, 275, 314, 350, 366, 402, 421, 446, 472 ], [ 32, 44, 47, 60, 73, 79, 127, 161, 167, 231, 276, 315, 351, 367, 403, 422, 447, 473 ], [ 33, 45, 48, 61, 74, 80, 128, 162, 168, 232, 277, 316, 352, 368, 404, 423, 448, 474 ], [ 34, 46, 49, 62, 75, 81, 129, 163, 169, 233, 278, 317, 353, 369, 405, 424, 449, 475 ], [ 35, 47, 50, 63, 76, 82, 130, 164, 170, 234, 279, 318, 354, 370, 406, 425, 450, 476 ], [ 36, 48, 51, 64, 77, 83, 131, 165, 171, 235, 280, 319, 355, 371, 407, 426, 451, 477 ], [ 37, 49, 52, 65, 78, 84, 132, 166, 172, 236, 281, 320, 356, 372, 408, 427, 452, 478 ], [ 38, 50, 53, 66, 79, 85, 133, 167, 173, 237, 282, 321, 357, 373, 409, 428, 453, 479 ], [ 39, 51, 54, 67, 80, 86, 134, 168, 174, 238, 283, 322, 358, 374, 410, 429, 454, 480 ], [ 40, 52, 55, 68, 81, 87, 135, 169, 175, 239, 284, 323, 359, 375, 411, 430, 455, 481 ], [ 41, 53, 56, 69, 82, 88, 136, 170, 176, 240, 285, 324, 360, 376, 412, 431, 456, 482 ], [ 42, 54, 57, 70, 83, 89, 137, 171, 177, 241, 286, 325, 361, 377, 413, 432, 457, 483 ], [ 43, 55, 58, 71, 84, 90, 138, 172, 178, 242, 287, 326, 362, 378, 414, 433, 458, 484 ], [ 44, 56, 59, 72, 85, 91, 139, 173, 179, 243, 288, 327, 363, 379, 415, 434, 459, 485 ], [ 45, 57, 60, 73, 86, 92, 140, 174, 180, 244, 289, 328, 364, 380, 416, 435, 460, 486 ], [ 46, 58, 61, 74, 87, 93, 141, 175, 181, 245, 290, 329, 365, 381, 417, 436, 461, 487 ], [ 47, 59, 62, 75, 88, 94, 142, 176, 182, 246, 291, 330, 366, 382, 418, 437, 462, 488 ], [ 48, 60, 63, 76, 89, 95, 143, 177, 183, 247, 292, 331, 367, 383, 419, 438, 463, 489 ], [ 49, 61, 64, 77, 90, 96, 144, 178, 184, 248, 293, 332, 368, 384, 420, 439, 464, 490 ], [ 50, 62, 65, 78, 91, 97, 145, 179, 185, 249, 294, 333, 369, 385, 421, 440, 465, 491 ], [ 51, 63, 66, 79, 92, 98, 146, 180, 186, 250, 295, 334, 370, 386, 422, 441, 466, 492 ], [ 52, 64, 67, 80, 93, 99, 147, 181, 187, 251, 296, 335, 371, 387, 423, 442, 467, 493 ], [ 53, 65, 68, 81, 94, 100, 148, 182, 188, 252, 297, 336, 372, 388, 424, 443, 468, 494 ], [ 54, 66, 69, 82, 95, 101, 149, 183, 189, 253, 298, 337, 373, 389, 425, 444, 469, 495 ], [ 55, 67, 70, 83, 96, 102, 150, 184, 190, 254, 299, 338, 374, 390, 426, 445, 470, 496 ], [ 56, 68, 71, 84, 97, 103, 151, 185, 191, 255, 300, 339, 375, 391, 427, 446, 471, 497 ], [ 57, 69, 72, 85, 98, 104, 152, 186, 192, 256, 301, 340, 376, 392, 428, 447, 472, 498 ], [ 58, 70, 73, 86, 99, 105, 153, 187, 193, 257, 302, 341, 377, 393, 429, 448, 473, 499 ], [ 59, 71, 74, 87, 100, 106, 154, 188, 194, 258, 303, 342, 378, 394, 430, 449, 474, 500 ], [ 60, 72, 75, 88, 101, 107, 155, 189, 195, 259, 304, 343, 379, 395, 431, 450, 475, 501 ], [ 61, 73, 76, 89, 102, 108, 156, 190, 196, 260, 305, 344, 380, 396, 432, 451, 476, 502 ], [ 62, 74, 77, 90, 103, 109, 157, 191, 197, 261, 306, 345, 381, 397, 433, 452, 477, 503 ], [ 63, 75, 78, 91, 104, 110, 158, 192, 198, 262, 307, 346, 382, 398, 434, 453, 478, 504 ], [ 0, 64, 76, 79, 92, 105, 111, 159, 193, 199, 308, 347, 383, 399, 435, 454, 479, 505 ], [ 1, 65, 77, 80, 93, 106, 112, 160, 194, 200, 309, 348, 384, 400, 436, 455, 480, 506 ], [ 2, 66, 78, 81, 94, 107, 113, 161, 195, 201, 310, 349, 385, 401, 437, 456, 481, 507 ], [ 3, 67, 79, 82, 95, 108, 114, 162, 196, 202, 311, 350, 386, 402, 438, 457, 482, 508 ], [ 4, 68, 80, 83, 96, 109, 115, 163, 197, 203, 312, 351, 387, 403, 439, 458, 483, 509 ], [ 5, 69, 81, 84, 97, 110, 116, 164, 198, 204, 313, 352, 388, 404, 440, 459, 484, 510 ], [ 6, 70, 82, 85, 98, 111, 117, 165, 199, 205, 314, 353, 389, 405, 441, 460, 485, 511 ], [ 7, 71, 83, 86, 99, 112, 118, 166, 200, 206, 315, 354, 390, 406, 442, 461, 486, 512 ], [ 8, 72, 84, 87, 100, 113, 119, 167, 201, 207, 316, 355, 391, 407, 443, 462, 487, 513 ], [ 9, 73, 85, 88, 101, 114, 120, 168, 202, 208, 317, 356, 392, 408, 444, 463, 488, 514 ], [ 10, 74, 86, 89, 102, 115, 121, 169, 203, 209, 318, 357, 393, 409, 445, 464, 489, 515 ], [ 11, 75, 87, 90, 103, 116, 122, 170, 204, 210, 319, 358, 394, 410, 446, 465, 490, 516 ], [ 12, 76, 88, 91, 104, 117, 123, 171, 205, 211, 320, 359, 395, 411, 447, 466, 491, 517 ], [ 13, 77, 89, 92, 105, 118, 124, 172, 206, 212, 321, 360, 396, 412, 448, 467, 492, 518 ], [ 14, 78, 90, 93, 106, 119, 125, 173, 207, 213, 322, 361, 397, 413, 449, 468, 493, 519 ], [ 15, 79, 91, 94, 107, 120, 126, 174, 208, 214, 323, 362, 398, 414, 450, 469, 494, 520 ], [ 16, 80, 92, 95, 108, 121, 127, 175, 209, 215, 324, 363, 399, 415, 451, 470, 495, 521 ], [ 17, 81, 93, 96, 109, 122, 128, 176, 210, 216, 325, 364, 400, 416, 452, 471, 496, 522 ], [ 18, 82, 94, 97, 110, 123, 129, 177, 211, 217, 326, 365, 401, 417, 453, 472, 497, 523 ], [ 19, 83, 95, 98, 111, 124, 130, 178, 212, 218, 327, 366, 402, 418, 454, 473, 498, 524 ], [ 20, 84, 96, 99, 112, 125, 131, 179, 213, 219, 328, 367, 403, 419, 455, 474, 499, 525 ], [ 21, 85, 97, 100, 113, 126, 132, 180, 214, 220, 263, 329, 368, 404, 420, 456, 475, 500 ], [ 22, 86, 98, 101, 114, 127, 133, 181, 215, 221, 264, 330, 369, 405, 421, 457, 476, 501 ], [ 23, 87, 99, 102, 115, 128, 134, 182, 216, 222, 265, 331, 370, 406, 422, 458, 477, 502 ], [ 24, 88, 100, 103, 116, 129, 135, 183, 217, 223, 266, 332, 371, 407, 423, 459, 478, 503 ], [ 25, 89, 101, 104, 117, 130, 136, 184, 218, 224, 267, 333, 372, 408, 424, 460, 479, 504 ], [ 26, 90, 102, 105, 118, 131, 137, 185, 219, 225, 268, 334, 373, 409, 425, 461, 480, 505 ], [ 27, 91, 103, 106, 119, 132, 138, 186, 220, 226, 269, 335, 374, 410, 426, 462, 481, 506 ], [ 28, 92, 104, 107, 120, 133, 139, 187, 221, 227, 270, 336, 375, 411, 427, 463, 482, 507 ], [ 29, 93, 105, 108, 121, 134, 140, 188, 222, 228, 271, 337, 376, 412, 428, 464, 483, 508 ], [ 30, 94, 106, 109, 122, 135, 141, 189, 223, 229, 272, 338, 377, 413, 429, 465, 484, 509 ], [ 31, 95, 107, 110, 123, 136, 142, 190, 224, 230, 273, 339, 378, 414, 430, 466, 485, 510 ], [ 32, 96, 108, 111, 124, 137, 143, 191, 225, 231, 274, 340, 379, 415, 431, 467, 486, 511 ], [ 33, 97, 109, 112, 125, 138, 144, 192, 226, 232, 275, 341, 380, 416, 432, 468, 487, 512 ], [ 34, 98, 110, 113, 126, 139, 145, 193, 227, 233, 276, 342, 381, 417, 433, 469, 488, 513 ], [ 35, 99, 111, 114, 127, 140, 146, 194, 228, 234, 277, 343, 382, 418, 434, 470, 489, 514 ], [ 36, 100, 112, 115, 128, 141, 147, 195, 229, 235, 278, 344, 383, 419, 435, 471, 490, 515 ], [ 37, 101, 113, 116, 129, 142, 148, 196, 230, 236, 279, 345, 384, 420, 436, 472, 491, 516 ], [ 38, 102, 114, 117, 130, 143, 149, 197, 231, 237, 280, 346, 385, 421, 437, 473, 492, 517 ], [ 39, 103, 115, 118, 131, 144, 150, 198, 232, 238, 281, 347, 386, 422, 438, 474, 493, 518 ], [ 40, 104, 116, 119, 132, 145, 151, 199, 233, 239, 282, 348, 387, 423, 439, 475, 494, 519 ], [ 41, 105, 117, 120, 133, 146, 152, 200, 234, 240, 283, 349, 388, 424, 440, 476, 495, 520 ], [ 42, 106, 118, 121, 134, 147, 153, 201, 235, 241, 284, 350, 389, 425, 441, 477, 496, 521 ], [ 43, 107, 119, 122, 135, 148, 154, 202, 236, 242, 285, 351, 390, 426, 442, 478, 497, 522 ], [ 44, 108, 120, 123, 136, 149, 155, 203, 237, 243, 286, 352, 391, 427, 443, 479, 498, 523 ], [ 45, 109, 121, 124, 137, 150, 156, 204, 238, 244, 287, 353, 392, 428, 444, 480, 499, 524 ], [ 46, 110, 122, 125, 138, 151, 157, 205, 239, 245, 288, 354, 393, 429, 445, 481, 500, 525 ], [ 47, 111, 123, 126, 139, 152, 158, 206, 240, 246, 263, 289, 355, 394, 430, 446, 482, 501 ], [ 48, 112, 124, 127, 140, 153, 159, 207, 241, 247, 264, 290, 356, 395, 431, 447, 483, 502 ], [ 49, 113, 125, 128, 141, 154, 160, 208, 242, 248, 265, 291, 357, 396, 432, 448, 484, 503 ], [ 50, 114, 126, 129, 142, 155, 161, 209, 243, 249, 266, 292, 358, 397, 433, 449, 485, 504 ], [ 51, 115, 127, 130, 143, 156, 162, 210, 244, 250, 267, 293, 359, 398, 434, 450, 486, 505 ], [ 52, 116, 128, 131, 144, 157, 163, 211, 245, 251, 268, 294, 360, 399, 435, 451, 487, 506 ], [ 53, 117, 129, 132, 145, 158, 164, 212, 246, 252, 269, 295, 361, 400, 436, 452, 488, 507 ], [ 54, 118, 130, 133, 146, 159, 165, 213, 247, 253, 270, 296, 362, 401, 437, 453, 489, 508 ], [ 55, 119, 131, 134, 147, 160, 166, 214, 248, 254, 271, 297, 363, 402, 438, 454, 490, 509 ], [ 56, 120, 132, 135, 148, 161, 167, 215, 249, 255, 272, 298, 364, 403, 439, 455, 491, 510 ], [ 57, 121, 133, 136, 149, 162, 168, 216, 250, 256, 273, 299, 365, 404, 440, 456, 492, 511 ], [ 58, 122, 134, 137, 150, 163, 169, 217, 251, 257, 274, 300, 366, 405, 441, 457, 493, 512 ], [ 59, 123, 135, 138, 151, 164, 170, 218, 252, 258, 275, 301, 367, 406, 442, 458, 494, 513 ], [ 60, 124, 136, 139, 152, 165, 171, 219, 253, 259, 276, 302, 368, 407, 443, 459, 495, 514 ], [ 61, 125, 137, 140, 153, 166, 172, 220, 254, 260, 277, 303, 369, 408, 444, 460, 496, 515 ], [ 62, 126, 138, 141, 154, 167, 173, 221, 255, 261, 278, 304, 370, 409, 445, 461, 497, 516 ], [ 63, 127, 139, 142, 155, 168, 174, 222, 256, 262, 279, 305, 371, 410, 446, 462, 498, 517 ], [ 0, 64, 128, 140, 143, 156, 169, 175, 223, 257, 280, 306, 372, 411, 447, 463, 499, 518 ], [ 1, 65, 129, 141, 144, 157, 170, 176, 224, 258, 281, 307, 373, 412, 448, 464, 500, 519 ], [ 2, 66, 130, 142, 145, 158, 171, 177, 225, 259, 282, 308, 374, 413, 449, 465, 501, 520 ], [ 3, 67, 131, 143, 146, 159, 172, 178, 226, 260, 283, 309, 375, 414, 450, 466, 502, 521 ], [ 4, 68, 132, 144, 147, 160, 173, 179, 227, 261, 284, 310, 376, 415, 451, 467, 503, 522 ], [ 5, 69, 133, 145, 148, 161, 174, 180, 228, 262, 285, 311, 377, 416, 452, 468, 504, 523 ], [ 0, 6, 70, 134, 146, 149, 162, 175, 181, 229, 286, 312, 378, 417, 453, 469, 505, 524 ], [ 1, 7, 71, 135, 147, 150, 163, 176, 182, 230, 287, 313, 379, 418, 454, 470, 506, 525 ], [ 2, 8, 72, 136, 148, 151, 164, 177, 183, 231, 263, 288, 314, 380, 419, 455, 471, 507 ], [ 3, 9, 73, 137, 149, 152, 165, 178, 184, 232, 264, 289, 315, 381, 420, 456, 472, 508 ], [ 4, 10, 74, 138, 150, 153, 166, 179, 185, 233, 265, 290, 316, 382, 421, 457, 473, 509 ], [ 5, 11, 75, 139, 151, 154, 167, 180, 186, 234, 266, 291, 317, 383, 422, 458, 474, 510 ], [ 6, 12, 76, 140, 152, 155, 168, 181, 187, 235, 267, 292, 318, 384, 423, 459, 475, 511 ], [ 7, 13, 77, 141, 153, 156, 169, 182, 188, 236, 268, 293, 319, 385, 424, 460, 476, 512 ], [ 8, 14, 78, 142, 154, 157, 170, 183, 189, 237, 269, 294, 320, 386, 425, 461, 477, 513 ], [ 9, 15, 79, 143, 155, 158, 171, 184, 190, 238, 270, 295, 321, 387, 426, 462, 478, 514 ], [ 10, 16, 80, 144, 156, 159, 172, 185, 191, 239, 271, 296, 322, 388, 427, 463, 479, 515 ], [ 11, 17, 81, 145, 157, 160, 173, 186, 192, 240, 272, 297, 323, 389, 428, 464, 480, 516 ], [ 12, 18, 82, 146, 158, 161, 174, 187, 193, 241, 273, 298, 324, 390, 429, 465, 481, 517 ], [ 13, 19, 83, 147, 159, 162, 175, 188, 194, 242, 274, 299, 325, 391, 430, 466, 482, 518 ], [ 14, 20, 84, 148, 160, 163, 176, 189, 195, 243, 275, 300, 326, 392, 431, 467, 483, 519 ], [ 15, 21, 85, 149, 161, 164, 177, 190, 196, 244, 276, 301, 327, 393, 432, 468, 484, 520 ], [ 16, 22, 86, 150, 162, 165, 178, 191, 197, 245, 277, 302, 328, 394, 433, 469, 485, 521 ], [ 17, 23, 87, 151, 163, 166, 179, 192, 198, 246, 278, 303, 329, 395, 434, 470, 486, 522 ], [ 18, 24, 88, 152, 164, 167, 180, 193, 199, 247, 279, 304, 330, 396, 435, 471, 487, 523 ], [ 19, 25, 89, 153, 165, 168, 181, 194, 200, 248, 280, 305, 331, 397, 436, 472, 488, 524 ], [ 20, 26, 90, 154, 166, 169, 182, 195, 201, 249, 281, 306, 332, 398, 437, 473, 489, 525 ], [ 21, 27, 91, 155, 167, 170, 183, 196, 202, 250, 263, 282, 307, 333, 399, 438, 474, 490 ], [ 22, 28, 92, 156, 168, 171, 184, 197, 203, 251, 264, 283, 308, 334, 400, 439, 475, 491 ], [ 23, 29, 93, 157, 169, 172, 185, 198, 204, 252, 265, 284, 309, 335, 401, 440, 476, 492 ], [ 24, 30, 94, 158, 170, 173, 186, 199, 205, 253, 266, 285, 310, 336, 402, 441, 477, 493 ], [ 25, 31, 95, 159, 171, 174, 187, 200, 206, 254, 267, 286, 311, 337, 403, 442, 478, 494 ], [ 26, 32, 96, 160, 172, 175, 188, 201, 207, 255, 268, 287, 312, 338, 404, 443, 479, 495 ], [ 27, 33, 97, 161, 173, 176, 189, 202, 208, 256, 269, 288, 313, 339, 405, 444, 480, 496 ], [ 28, 34, 98, 162, 174, 177, 190, 203, 209, 257, 270, 289, 314, 340, 406, 445, 481, 497 ], [ 29, 35, 99, 163, 175, 178, 191, 204, 210, 258, 271, 290, 315, 341, 407, 446, 482, 498 ], [ 30, 36, 100, 164, 176, 179, 192, 205, 211, 259, 272, 291, 316, 342, 408, 447, 483, 499 ], [ 31, 37, 101, 165, 177, 180, 193, 206, 212, 260, 273, 292, 317, 343, 409, 448, 484, 500 ], [ 32, 38, 102, 166, 178, 181, 194, 207, 213, 261, 274, 293, 318, 344, 410, 449, 485, 501 ], [ 33, 39, 103, 167, 179, 182, 195, 208, 214, 262, 275, 294, 319, 345, 411, 450, 486, 502 ], [ 0, 34, 40, 104, 168, 180, 183, 196, 209, 215, 276, 295, 320, 346, 412, 451, 487, 503 ], [ 1, 35, 41, 105, 169, 181, 184, 197, 210, 216, 277, 296, 321, 347, 413, 452, 488, 504 ], [ 2, 36, 42, 106, 170, 182, 185, 198, 211, 217, 278, 297, 322, 348, 414, 453, 489, 505 ], [ 3, 37, 43, 107, 171, 183, 186, 199, 212, 218, 279, 298, 323, 349, 415, 454, 490, 506 ], [ 4, 38, 44, 108, 172, 184, 187, 200, 213, 219, 280, 299, 324, 350, 416, 455, 491, 507 ], [ 5, 39, 45, 109, 173, 185, 188, 201, 214, 220, 281, 300, 325, 351, 417, 456, 492, 508 ], [ 6, 40, 46, 110, 174, 186, 189, 202, 215, 221, 282, 301, 326, 352, 418, 457, 493, 509 ], [ 7, 41, 47, 111, 175, 187, 190, 203, 216, 222, 283, 302, 327, 353, 419, 458, 494, 510 ], [ 8, 42, 48, 112, 176, 188, 191, 204, 217, 223, 284, 303, 328, 354, 420, 459, 495, 511 ], [ 9, 43, 49, 113, 177, 189, 192, 205, 218, 224, 285, 304, 329, 355, 421, 460, 496, 512 ], [ 10, 44, 50, 114, 178, 190, 193, 206, 219, 225, 286, 305, 330, 356, 422, 461, 497, 513 ], [ 11, 45, 51, 115, 179, 191, 194, 207, 220, 226, 287, 306, 331, 357, 423, 462, 498, 514 ], [ 12, 46, 52, 116, 180, 192, 195, 208, 221, 227, 288, 307, 332, 358, 424, 463, 499, 515 ], [ 13, 47, 53, 117, 181, 193, 196, 209, 222, 228, 289, 308, 333, 359, 425, 464, 500, 516 ], [ 14, 48, 54, 118, 182, 194, 197, 210, 223, 229, 290, 309, 334, 360, 426, 465, 501, 517 ], [ 15, 49, 55, 119, 183, 195, 198, 211, 224, 230, 291, 310, 335, 361, 427, 466, 502, 518 ], [ 16, 50, 56, 120, 184, 196, 199, 212, 225, 231, 292, 311, 336, 362, 428, 467, 503, 519 ], [ 17, 51, 57, 121, 185, 197, 200, 213, 226, 232, 293, 312, 337, 363, 429, 468, 504, 520 ], [ 18, 52, 58, 122, 186, 198, 201, 214, 227, 233, 294, 313, 338, 364, 430, 469, 505, 521 ], [ 19, 53, 59, 123, 187, 199, 202, 215, 228, 234, 295, 314, 339, 365, 431, 470, 506, 522 ], [ 20, 54, 60, 124, 188, 200, 203, 216, 229, 235, 296, 315, 340, 366, 432, 471, 507, 523 ], [ 21, 55, 61, 125, 189, 201, 204, 217, 230, 236, 297, 316, 341, 367, 433, 472, 508, 524 ], [ 22, 56, 62, 126, 190, 202, 205, 218, 231, 237, 298, 317, 342, 368, 434, 473, 509, 525 ], [ 23, 57, 63, 127, 191, 203, 206, 219, 232, 238, 263, 299, 318, 343, 369, 435, 474, 510 ], [ 24, 58, 64, 128, 192, 204, 207, 220, 233, 239, 264, 300, 319, 344, 370, 436, 475, 511 ], [ 25, 59, 65, 129, 193, 205, 208, 221, 234, 240, 265, 301, 320, 345, 371, 437, 476, 512 ], [ 26, 60, 66, 130, 194, 206, 209, 222, 235, 241, 266, 302, 321, 346, 372, 438, 477, 513 ], [ 27, 61, 67, 131, 195, 207, 210, 223, 236, 242, 267, 303, 322, 347, 373, 439, 478, 514 ], [ 28, 62, 68, 132, 196, 208, 211, 224, 237, 243, 268, 304, 323, 348, 374, 440, 479, 515 ], [ 29, 63, 69, 133, 197, 209, 212, 225, 238, 244, 269, 305, 324, 349, 375, 441, 480, 516 ], [ 30, 64, 70, 134, 198, 210, 213, 226, 239, 245, 270, 306, 325, 350, 376, 442, 481, 517 ], [ 31, 65, 71, 135, 199, 211, 214, 227, 240, 246, 271, 307, 326, 351, 377, 443, 482, 518 ], [ 32, 66, 72, 136, 200, 212, 215, 228, 241, 247, 272, 308, 327, 352, 378, 444, 483, 519 ], [ 33, 67, 73, 137, 201, 213, 216, 229, 242, 248, 273, 309, 328, 353, 379, 445, 484, 520 ], [ 34, 68, 74, 138, 202, 214, 217, 230, 243, 249, 274, 310, 329, 354, 380, 446, 485, 521 ], [ 35, 69, 75, 139, 203, 215, 218, 231, 244, 250, 275, 311, 330, 355, 381, 447, 486, 522 ], [ 36, 70, 76, 140, 204, 216, 219, 232, 245, 251, 276, 312, 331, 356, 382, 448, 487, 523 ], [ 37, 71, 77, 141, 205, 217, 220, 233, 246, 252, 277, 313, 332, 357, 383, 449, 488, 524 ], [ 38, 72, 78, 142, 206, 218, 221, 234, 247, 253, 278, 314, 333, 358, 384, 450, 489, 525 ], [ 39, 73, 79, 143, 207, 219, 222, 235, 248, 254, 263, 279, 315, 334, 359, 385, 451, 490 ], [ 40, 74, 80, 144, 208, 220, 223, 236, 249, 255, 264, 280, 316, 335, 360, 386, 452, 491 ], [ 41, 75, 81, 145, 209, 221, 224, 237, 250, 256, 265, 281, 317, 336, 361, 387, 453, 492 ], [ 42, 76, 82, 146, 210, 222, 225, 238, 251, 257, 266, 282, 318, 337, 362, 388, 454, 493 ], [ 43, 77, 83, 147, 211, 223, 226, 239, 252, 258, 267, 283, 319, 338, 363, 389, 455, 494 ], [ 44, 78, 84, 148, 212, 224, 227, 240, 253, 259, 268, 284, 320, 339, 364, 390, 456, 495 ], [ 45, 79, 85, 149, 213, 225, 228, 241, 254, 260, 269, 285, 321, 340, 365, 391, 457, 496 ], [ 46, 80, 86, 150, 214, 226, 229, 242, 255, 261, 270, 286, 322, 341, 366, 392, 458, 497 ], [ 47, 81, 87, 151, 215, 227, 230, 243, 256, 262, 271, 287, 323, 342, 367, 393, 459, 498 ], [ 0, 48, 82, 88, 152, 216, 228, 231, 244, 257, 272, 288, 324, 343, 368, 394, 460, 499 ], [ 1, 49, 83, 89, 153, 217, 229, 232, 245, 258, 273, 289, 325, 344, 369, 395, 461, 500 ], [ 2, 50, 84, 90, 154, 218, 230, 233, 246, 259, 274, 290, 326, 345, 370, 396, 462, 501 ], [ 3, 51, 85, 91, 155, 219, 231, 234, 247, 260, 275, 291, 327, 346, 371, 397, 463, 502 ], [ 4, 52, 86, 92, 156, 220, 232, 235, 248, 261, 276, 292, 328, 347, 372, 398, 464, 503 ], [ 5, 53, 87, 93, 157, 221, 233, 236, 249, 262, 277, 293, 329, 348, 373, 399, 465, 504 ], [ 0, 6, 54, 88, 94, 158, 222, 234, 237, 250, 278, 294, 330, 349, 374, 400, 466, 505 ], [ 1, 7, 55, 89, 95, 159, 223, 235, 238, 251, 279, 295, 331, 350, 375, 401, 467, 506 ], [ 2, 8, 56, 90, 96, 160, 224, 236, 239, 252, 280, 296, 332, 351, 376, 402, 468, 507 ], [ 3, 9, 57, 91, 97, 161, 225, 237, 240, 253, 281, 297, 333, 352, 377, 403, 469, 508 ], [ 4, 10, 58, 92, 98, 162, 226, 238, 241, 254, 282, 298, 334, 353, 378, 404, 470, 509 ], [ 5, 11, 59, 93, 99, 163, 227, 239, 242, 255, 283, 299, 335, 354, 379, 405, 471, 510 ] ] }, "distance": { "d": 79, "X": { "value": 79, "confidence": "upper_bound", "witness": [ 11, 14, 15, 22, 26, 36, 41, 44, 45, 46, 53, 65, 69, 72, 73, 83, 85, 89, 96, 103, 104, 111, 119, 123, 137, 141, 142, 145, 158, 166, 170, 178, 189, 204, 215, 223, 233, 241, 242, 245, 246, 250, 265, 268, 273, 279, 287, 289, 298, 316, 325, 329, 331, 349, 356, 366, 391, 397, 399, 400, 411, 413, 414, 415, 418, 427, 430, 435, 444, 448, 466, 474, 497, 505, 507, 515, 521, 522, 524 ], "witness_provenance": { "found_by": [ "@vprusso" ], "date": "2026-09-23", "found_at_samples": 300000000, "tool": "ris_gpu recover, pair depth 8", "seeds": [ 1 ], "survived_samples": 300000000 } }, "Z": { "value": 79, "confidence": "upper_bound", "witness": [ 1, 5, 6, 11, 15, 16, 17, 18, 21, 27, 36, 45, 58, 61, 69, 72, 83, 86, 90, 95, 96, 101, 103, 104, 107, 108, 111, 118, 120, 122, 127, 138, 146, 149, 154, 155, 158, 160, 167, 181, 182, 185, 205, 217, 228, 242, 252, 253, 254, 264, 273, 285, 292, 293, 304, 306, 311, 333, 334, 346, 361, 363, 368, 389, 392, 403, 408, 415, 444, 447, 452, 454, 463, 491, 497, 506, 512, 517, 524 ], "witness_provenance": { "found_by": [ "@vprusso" ], "date": "2026-09-23", "found_at_samples": 8000000, "tool": "gate_changed.py RIS-fast (CI refuter)", "seeds": [ 1872582216 ], "survived_samples": 300000000 } } }, "provenance": { "authors": [ "@vprusso" ], "construction": "Cyclic generalized-bicycle code on the ring x^263 - 1 with a(x) = x^15 + x^54 + x^120 + x^146 + x^171 + x^190 + x^226 + x^242, b(x) = x^7 + x^20 + x^23 + x^35 + x^99 + x^163 + x^169 + x^203 + x^251 + x^257; H_X = [circ(a) | circ(b)], H_Z = [circ(b)^T | circ(a)^T].", "origin": "submission", "novelty": "known_parameters", "model": "Claude Opus 5", "date": "2026-09-23", "notes": "Found by a randomized sweep over sparse polynomial pairs, screened against the live board before any expensive work. Checked for single-block logicals via the ideal generated by (x^m - 1)/gcd(a, x^m - 1) before the distance was believed." }, "family": "generalized-bicycle" }