{ "schema_version": "0.3", "name": "[[483,282,3]]", "code_type": "CSS", "n": 483, "k": 282, "checks": { "X": [ [ 8, 54, 123, 146, 165, 188, 211, 257, 337, 383, 452, 475 ], [ 9, 55, 124, 147, 166, 189, 212, 258, 338, 384, 453, 476 ], [ 10, 56, 125, 148, 167, 190, 213, 259, 339, 385, 454, 477 ], [ 11, 57, 126, 149, 168, 191, 214, 260, 340, 386, 455, 478 ], [ 12, 58, 127, 150, 169, 192, 215, 261, 341, 387, 456, 479 ], [ 13, 59, 128, 151, 170, 193, 216, 262, 342, 388, 457, 480 ], [ 14, 60, 129, 152, 171, 194, 217, 263, 343, 389, 458, 481 ], [ 15, 61, 130, 153, 172, 195, 218, 264, 344, 390, 459, 482 ], [ 16, 62, 131, 154, 173, 196, 219, 265, 322, 345, 391, 460 ], [ 17, 63, 132, 155, 174, 197, 220, 266, 323, 346, 392, 461 ], [ 18, 64, 133, 156, 175, 198, 221, 267, 324, 347, 393, 462 ], [ 19, 65, 134, 157, 176, 199, 222, 268, 325, 348, 394, 463 ], [ 20, 66, 135, 158, 177, 200, 223, 269, 326, 349, 395, 464 ], [ 21, 67, 136, 159, 178, 201, 224, 270, 327, 350, 396, 465 ], [ 22, 68, 137, 160, 179, 202, 225, 271, 328, 351, 397, 466 ], [ 0, 23, 69, 138, 180, 203, 226, 272, 329, 352, 398, 467 ], [ 1, 24, 70, 139, 181, 204, 227, 273, 330, 353, 399, 468 ], [ 2, 25, 71, 140, 182, 205, 228, 274, 331, 354, 400, 469 ], [ 3, 26, 72, 141, 183, 206, 229, 275, 332, 355, 401, 470 ], [ 4, 27, 73, 142, 184, 207, 230, 276, 333, 356, 402, 471 ], [ 5, 28, 74, 143, 185, 208, 231, 277, 334, 357, 403, 472 ], [ 6, 29, 75, 144, 186, 209, 232, 278, 335, 358, 404, 473 ], [ 7, 30, 76, 145, 187, 210, 233, 279, 336, 359, 405, 474 ], [ 8, 31, 77, 146, 188, 211, 234, 280, 337, 360, 406, 475 ], [ 9, 32, 78, 147, 189, 212, 235, 281, 338, 361, 407, 476 ], [ 10, 33, 79, 148, 190, 213, 236, 282, 339, 362, 408, 477 ], [ 11, 34, 80, 149, 191, 214, 237, 283, 340, 363, 409, 478 ], [ 12, 35, 81, 150, 192, 215, 238, 284, 341, 364, 410, 479 ], [ 13, 36, 82, 151, 193, 216, 239, 285, 342, 365, 411, 480 ], [ 14, 37, 83, 152, 194, 217, 240, 286, 343, 366, 412, 481 ], [ 15, 38, 84, 153, 195, 218, 241, 287, 344, 367, 413, 482 ], [ 16, 39, 85, 154, 196, 219, 242, 288, 322, 345, 368, 414 ], [ 17, 40, 86, 155, 197, 220, 243, 289, 323, 346, 369, 415 ], [ 18, 41, 87, 156, 198, 221, 244, 290, 324, 347, 370, 416 ], [ 19, 42, 88, 157, 199, 222, 245, 291, 325, 348, 371, 417 ], [ 20, 43, 89, 158, 200, 223, 246, 292, 326, 349, 372, 418 ], [ 21, 44, 90, 159, 201, 224, 247, 293, 327, 350, 373, 419 ], [ 22, 45, 91, 160, 202, 225, 248, 294, 328, 351, 374, 420 ], [ 0, 23, 46, 92, 203, 226, 249, 295, 329, 352, 375, 421 ], [ 1, 24, 47, 93, 204, 227, 250, 296, 330, 353, 376, 422 ], [ 2, 25, 48, 94, 205, 228, 251, 297, 331, 354, 377, 423 ], [ 3, 26, 49, 95, 206, 229, 252, 298, 332, 355, 378, 424 ], [ 4, 27, 50, 96, 207, 230, 253, 299, 333, 356, 379, 425 ], [ 5, 28, 51, 97, 208, 231, 254, 300, 334, 357, 380, 426 ], [ 6, 29, 52, 98, 209, 232, 255, 301, 335, 358, 381, 427 ], [ 7, 30, 53, 99, 210, 233, 256, 302, 336, 359, 382, 428 ], [ 8, 31, 54, 100, 211, 234, 257, 303, 337, 360, 383, 429 ], [ 9, 32, 55, 101, 212, 235, 258, 304, 338, 361, 384, 430 ], [ 10, 33, 56, 102, 213, 236, 259, 305, 339, 362, 385, 431 ], [ 11, 34, 57, 103, 214, 237, 260, 306, 340, 363, 386, 432 ], [ 12, 35, 58, 104, 215, 238, 261, 307, 341, 364, 387, 433 ], [ 13, 36, 59, 105, 216, 239, 262, 308, 342, 365, 388, 434 ], [ 14, 37, 60, 106, 217, 240, 263, 309, 343, 366, 389, 435 ], [ 15, 38, 61, 107, 218, 241, 264, 310, 344, 367, 390, 436 ], [ 16, 39, 62, 108, 219, 242, 265, 311, 345, 368, 391, 437 ], [ 17, 40, 63, 109, 220, 243, 266, 312, 346, 369, 392, 438 ], [ 18, 41, 64, 110, 221, 244, 267, 313, 347, 370, 393, 439 ], [ 19, 42, 65, 111, 222, 245, 268, 314, 348, 371, 394, 440 ], [ 20, 43, 66, 112, 223, 246, 269, 315, 349, 372, 395, 441 ], [ 21, 44, 67, 113, 224, 247, 270, 316, 350, 373, 396, 442 ], [ 22, 45, 68, 114, 225, 248, 271, 317, 351, 374, 397, 443 ], [ 23, 46, 69, 115, 226, 249, 272, 318, 352, 375, 398, 444 ], [ 24, 47, 70, 116, 227, 250, 273, 319, 353, 376, 399, 445 ], [ 25, 48, 71, 117, 228, 251, 274, 320, 354, 377, 400, 446 ], [ 26, 49, 72, 118, 229, 252, 275, 321, 355, 378, 401, 447 ], [ 27, 50, 73, 119, 161, 230, 253, 276, 356, 379, 402, 448 ], [ 28, 51, 74, 120, 162, 231, 254, 277, 357, 380, 403, 449 ], [ 29, 52, 75, 121, 163, 232, 255, 278, 358, 381, 404, 450 ], [ 30, 53, 76, 122, 164, 233, 256, 279, 359, 382, 405, 451 ], [ 31, 54, 77, 123, 165, 234, 257, 280, 360, 383, 406, 452 ], [ 32, 55, 78, 124, 166, 235, 258, 281, 361, 384, 407, 453 ], [ 33, 56, 79, 125, 167, 236, 259, 282, 362, 385, 408, 454 ], [ 34, 57, 80, 126, 168, 237, 260, 283, 363, 386, 409, 455 ], [ 35, 58, 81, 127, 169, 238, 261, 284, 364, 387, 410, 456 ], [ 36, 59, 82, 128, 170, 239, 262, 285, 365, 388, 411, 457 ], [ 37, 60, 83, 129, 171, 240, 263, 286, 366, 389, 412, 458 ], [ 38, 61, 84, 130, 172, 241, 264, 287, 367, 390, 413, 459 ], [ 39, 62, 85, 131, 173, 242, 265, 288, 368, 391, 414, 460 ], [ 40, 63, 86, 132, 174, 243, 266, 289, 369, 392, 415, 461 ], [ 41, 64, 87, 133, 175, 244, 267, 290, 370, 393, 416, 462 ], [ 42, 65, 88, 134, 176, 245, 268, 291, 371, 394, 417, 463 ], [ 43, 66, 89, 135, 177, 246, 269, 292, 372, 395, 418, 464 ], [ 44, 67, 90, 136, 178, 247, 270, 293, 373, 396, 419, 465 ], [ 45, 68, 91, 137, 179, 248, 271, 294, 374, 397, 420, 466 ], [ 46, 69, 92, 138, 180, 249, 272, 295, 375, 398, 421, 467 ], [ 47, 70, 93, 139, 181, 250, 273, 296, 376, 399, 422, 468 ], [ 48, 71, 94, 140, 182, 251, 274, 297, 377, 400, 423, 469 ], [ 49, 72, 95, 141, 183, 252, 275, 298, 378, 401, 424, 470 ], [ 50, 73, 96, 142, 184, 253, 276, 299, 379, 402, 425, 471 ], [ 51, 74, 97, 143, 185, 254, 277, 300, 380, 403, 426, 472 ], [ 52, 75, 98, 144, 186, 255, 278, 301, 381, 404, 427, 473 ], [ 53, 76, 99, 145, 187, 256, 279, 302, 382, 405, 428, 474 ], [ 54, 77, 100, 146, 188, 257, 280, 303, 383, 406, 429, 475 ], [ 55, 78, 101, 147, 189, 258, 281, 304, 384, 407, 430, 476 ], [ 56, 79, 102, 148, 190, 259, 282, 305, 385, 408, 431, 477 ], [ 57, 80, 103, 149, 191, 260, 283, 306, 386, 409, 432, 478 ], [ 58, 81, 104, 150, 192, 261, 284, 307, 387, 410, 433, 479 ], [ 59, 82, 105, 151, 193, 262, 285, 308, 388, 411, 434, 480 ], [ 60, 83, 106, 152, 194, 263, 286, 309, 389, 412, 435, 481 ], [ 61, 84, 107, 153, 195, 264, 287, 310, 390, 413, 436, 482 ], [ 62, 85, 108, 154, 196, 265, 288, 311, 322, 391, 414, 437 ], [ 63, 86, 109, 155, 197, 266, 289, 312, 323, 392, 415, 438 ], [ 64, 87, 110, 156, 198, 267, 290, 313, 324, 393, 416, 439 ], [ 65, 88, 111, 157, 199, 268, 291, 314, 325, 394, 417, 440 ], [ 66, 89, 112, 158, 200, 269, 292, 315, 326, 395, 418, 441 ], [ 67, 90, 113, 159, 201, 270, 293, 316, 327, 396, 419, 442 ], [ 68, 91, 114, 160, 202, 271, 294, 317, 328, 397, 420, 443 ], [ 0, 69, 92, 115, 203, 272, 295, 318, 329, 398, 421, 444 ], [ 1, 70, 93, 116, 204, 273, 296, 319, 330, 399, 422, 445 ], [ 2, 71, 94, 117, 205, 274, 297, 320, 331, 400, 423, 446 ], [ 3, 72, 95, 118, 206, 275, 298, 321, 332, 401, 424, 447 ], [ 4, 73, 96, 119, 161, 207, 276, 299, 333, 402, 425, 448 ], [ 5, 74, 97, 120, 162, 208, 277, 300, 334, 403, 426, 449 ], [ 6, 75, 98, 121, 163, 209, 278, 301, 335, 404, 427, 450 ], [ 7, 76, 99, 122, 164, 210, 279, 302, 336, 405, 428, 451 ], [ 8, 77, 100, 123, 165, 211, 280, 303, 337, 406, 429, 452 ], [ 9, 78, 101, 124, 166, 212, 281, 304, 338, 407, 430, 453 ], [ 10, 79, 102, 125, 167, 213, 282, 305, 339, 408, 431, 454 ], [ 11, 80, 103, 126, 168, 214, 283, 306, 340, 409, 432, 455 ], [ 12, 81, 104, 127, 169, 215, 284, 307, 341, 410, 433, 456 ], [ 13, 82, 105, 128, 170, 216, 285, 308, 342, 411, 434, 457 ], [ 14, 83, 106, 129, 171, 217, 286, 309, 343, 412, 435, 458 ], [ 15, 84, 107, 130, 172, 218, 287, 310, 344, 413, 436, 459 ], [ 16, 85, 108, 131, 173, 219, 288, 311, 345, 414, 437, 460 ], [ 17, 86, 109, 132, 174, 220, 289, 312, 346, 415, 438, 461 ], [ 18, 87, 110, 133, 175, 221, 290, 313, 347, 416, 439, 462 ], [ 19, 88, 111, 134, 176, 222, 291, 314, 348, 417, 440, 463 ], [ 20, 89, 112, 135, 177, 223, 292, 315, 349, 418, 441, 464 ], [ 21, 90, 113, 136, 178, 224, 293, 316, 350, 419, 442, 465 ], [ 22, 91, 114, 137, 179, 225, 294, 317, 351, 420, 443, 466 ], [ 23, 92, 115, 138, 180, 226, 295, 318, 352, 421, 444, 467 ], [ 24, 93, 116, 139, 181, 227, 296, 319, 353, 422, 445, 468 ], [ 25, 94, 117, 140, 182, 228, 297, 320, 354, 423, 446, 469 ], [ 26, 95, 118, 141, 183, 229, 298, 321, 355, 424, 447, 470 ], [ 27, 96, 119, 142, 161, 184, 230, 299, 356, 425, 448, 471 ], [ 28, 97, 120, 143, 162, 185, 231, 300, 357, 426, 449, 472 ], [ 29, 98, 121, 144, 163, 186, 232, 301, 358, 427, 450, 473 ], [ 30, 99, 122, 145, 164, 187, 233, 302, 359, 428, 451, 474 ], [ 31, 100, 123, 146, 165, 188, 234, 303, 360, 429, 452, 475 ], [ 32, 101, 124, 147, 166, 189, 235, 304, 361, 430, 453, 476 ], [ 33, 102, 125, 148, 167, 190, 236, 305, 362, 431, 454, 477 ], [ 34, 103, 126, 149, 168, 191, 237, 306, 363, 432, 455, 478 ], [ 35, 104, 127, 150, 169, 192, 238, 307, 364, 433, 456, 479 ], [ 36, 105, 128, 151, 170, 193, 239, 308, 365, 434, 457, 480 ], [ 37, 106, 129, 152, 171, 194, 240, 309, 366, 435, 458, 481 ], [ 38, 107, 130, 153, 172, 195, 241, 310, 367, 436, 459, 482 ], [ 39, 108, 131, 154, 173, 196, 242, 311, 322, 368, 437, 460 ], [ 40, 109, 132, 155, 174, 197, 243, 312, 323, 369, 438, 461 ], [ 41, 110, 133, 156, 175, 198, 244, 313, 324, 370, 439, 462 ], [ 42, 111, 134, 157, 176, 199, 245, 314, 325, 371, 440, 463 ], [ 43, 112, 135, 158, 177, 200, 246, 315, 326, 372, 441, 464 ], [ 44, 113, 136, 159, 178, 201, 247, 316, 327, 373, 442, 465 ], [ 45, 114, 137, 160, 179, 202, 248, 317, 328, 374, 443, 466 ], [ 0, 46, 115, 138, 180, 203, 249, 318, 329, 375, 444, 467 ], [ 1, 47, 116, 139, 181, 204, 250, 319, 330, 376, 445, 468 ], [ 2, 48, 117, 140, 182, 205, 251, 320, 331, 377, 446, 469 ], [ 3, 49, 118, 141, 183, 206, 252, 321, 332, 378, 447, 470 ], [ 4, 50, 119, 142, 161, 184, 207, 253, 333, 379, 448, 471 ], [ 5, 51, 120, 143, 162, 185, 208, 254, 334, 380, 449, 472 ], [ 6, 52, 121, 144, 163, 186, 209, 255, 335, 381, 450, 473 ], [ 7, 53, 122, 145, 164, 187, 210, 256, 336, 382, 451, 474 ], [ 15, 61, 130, 153, 169, 215, 284, 307, 326, 349, 372, 418 ], [ 16, 62, 131, 154, 170, 216, 285, 308, 327, 350, 373, 419 ], [ 17, 63, 132, 155, 171, 217, 286, 309, 328, 351, 374, 420 ], [ 18, 64, 133, 156, 172, 218, 287, 310, 329, 352, 375, 421 ], [ 19, 65, 134, 157, 173, 219, 288, 311, 330, 353, 376, 422 ], [ 20, 66, 135, 158, 174, 220, 289, 312, 331, 354, 377, 423 ], [ 21, 67, 136, 159, 175, 221, 290, 313, 332, 355, 378, 424 ], [ 22, 68, 137, 160, 176, 222, 291, 314, 333, 356, 379, 425 ], [ 0, 23, 69, 138, 177, 223, 292, 315, 334, 357, 380, 426 ], [ 1, 24, 70, 139, 178, 224, 293, 316, 335, 358, 381, 427 ], [ 2, 25, 71, 140, 179, 225, 294, 317, 336, 359, 382, 428 ], [ 3, 26, 72, 141, 180, 226, 295, 318, 337, 360, 383, 429 ], [ 4, 27, 73, 142, 181, 227, 296, 319, 338, 361, 384, 430 ], [ 5, 28, 74, 143, 182, 228, 297, 320, 339, 362, 385, 431 ], [ 6, 29, 75, 144, 183, 229, 298, 321, 340, 363, 386, 432 ], [ 7, 30, 76, 145, 161, 184, 230, 299, 341, 364, 387, 433 ], [ 8, 31, 77, 146, 162, 185, 231, 300, 342, 365, 388, 434 ], [ 9, 32, 78, 147, 163, 186, 232, 301, 343, 366, 389, 435 ], [ 10, 33, 79, 148, 164, 187, 233, 302, 344, 367, 390, 436 ], [ 11, 34, 80, 149, 165, 188, 234, 303, 345, 368, 391, 437 ], [ 12, 35, 81, 150, 166, 189, 235, 304, 346, 369, 392, 438 ], [ 13, 36, 82, 151, 167, 190, 236, 305, 347, 370, 393, 439 ], [ 14, 37, 83, 152, 168, 191, 237, 306, 348, 371, 394, 440 ], [ 15, 38, 84, 153, 169, 192, 238, 307, 349, 372, 395, 441 ], [ 16, 39, 85, 154, 170, 193, 239, 308, 350, 373, 396, 442 ], [ 17, 40, 86, 155, 171, 194, 240, 309, 351, 374, 397, 443 ], [ 18, 41, 87, 156, 172, 195, 241, 310, 352, 375, 398, 444 ], [ 19, 42, 88, 157, 173, 196, 242, 311, 353, 376, 399, 445 ], [ 20, 43, 89, 158, 174, 197, 243, 312, 354, 377, 400, 446 ], [ 21, 44, 90, 159, 175, 198, 244, 313, 355, 378, 401, 447 ], [ 22, 45, 91, 160, 176, 199, 245, 314, 356, 379, 402, 448 ], [ 0, 23, 46, 92, 177, 200, 246, 315, 357, 380, 403, 449 ], [ 1, 24, 47, 93, 178, 201, 247, 316, 358, 381, 404, 450 ], [ 2, 25, 48, 94, 179, 202, 248, 317, 359, 382, 405, 451 ], [ 3, 26, 49, 95, 180, 203, 249, 318, 360, 383, 406, 452 ], [ 4, 27, 50, 96, 181, 204, 250, 319, 361, 384, 407, 453 ], [ 5, 28, 51, 97, 182, 205, 251, 320, 362, 385, 408, 454 ], [ 6, 29, 52, 98, 183, 206, 252, 321, 363, 386, 409, 455 ], [ 7, 30, 53, 99, 161, 184, 207, 253, 364, 387, 410, 456 ], [ 8, 31, 54, 100, 162, 185, 208, 254, 365, 388, 411, 457 ], [ 9, 32, 55, 101, 163, 186, 209, 255, 366, 389, 412, 458 ], [ 10, 33, 56, 102, 164, 187, 210, 256, 367, 390, 413, 459 ], [ 11, 34, 57, 103, 165, 188, 211, 257, 368, 391, 414, 460 ], [ 12, 35, 58, 104, 166, 189, 212, 258, 369, 392, 415, 461 ], [ 13, 36, 59, 105, 167, 190, 213, 259, 370, 393, 416, 462 ], [ 14, 37, 60, 106, 168, 191, 214, 260, 371, 394, 417, 463 ], [ 15, 38, 61, 107, 169, 192, 215, 261, 372, 395, 418, 464 ], [ 16, 39, 62, 108, 170, 193, 216, 262, 373, 396, 419, 465 ], [ 17, 40, 63, 109, 171, 194, 217, 263, 374, 397, 420, 466 ], [ 18, 41, 64, 110, 172, 195, 218, 264, 375, 398, 421, 467 ], [ 19, 42, 65, 111, 173, 196, 219, 265, 376, 399, 422, 468 ], [ 20, 43, 66, 112, 174, 197, 220, 266, 377, 400, 423, 469 ], [ 21, 44, 67, 113, 175, 198, 221, 267, 378, 401, 424, 470 ], [ 22, 45, 68, 114, 176, 199, 222, 268, 379, 402, 425, 471 ], [ 23, 46, 69, 115, 177, 200, 223, 269, 380, 403, 426, 472 ], [ 24, 47, 70, 116, 178, 201, 224, 270, 381, 404, 427, 473 ], [ 25, 48, 71, 117, 179, 202, 225, 271, 382, 405, 428, 474 ], [ 26, 49, 72, 118, 180, 203, 226, 272, 383, 406, 429, 475 ], [ 27, 50, 73, 119, 181, 204, 227, 273, 384, 407, 430, 476 ], [ 28, 51, 74, 120, 182, 205, 228, 274, 385, 408, 431, 477 ], [ 29, 52, 75, 121, 183, 206, 229, 275, 386, 409, 432, 478 ], [ 30, 53, 76, 122, 184, 207, 230, 276, 387, 410, 433, 479 ], [ 31, 54, 77, 123, 185, 208, 231, 277, 388, 411, 434, 480 ], [ 32, 55, 78, 124, 186, 209, 232, 278, 389, 412, 435, 481 ], [ 33, 56, 79, 125, 187, 210, 233, 279, 390, 413, 436, 482 ], [ 34, 57, 80, 126, 188, 211, 234, 280, 322, 391, 414, 437 ], [ 35, 58, 81, 127, 189, 212, 235, 281, 323, 392, 415, 438 ], [ 36, 59, 82, 128, 190, 213, 236, 282, 324, 393, 416, 439 ], [ 37, 60, 83, 129, 191, 214, 237, 283, 325, 394, 417, 440 ], [ 38, 61, 84, 130, 192, 215, 238, 284, 326, 395, 418, 441 ], [ 39, 62, 85, 131, 193, 216, 239, 285, 327, 396, 419, 442 ], [ 40, 63, 86, 132, 194, 217, 240, 286, 328, 397, 420, 443 ], [ 41, 64, 87, 133, 195, 218, 241, 287, 329, 398, 421, 444 ], [ 42, 65, 88, 134, 196, 219, 242, 288, 330, 399, 422, 445 ], [ 43, 66, 89, 135, 197, 220, 243, 289, 331, 400, 423, 446 ], [ 44, 67, 90, 136, 198, 221, 244, 290, 332, 401, 424, 447 ], [ 45, 68, 91, 137, 199, 222, 245, 291, 333, 402, 425, 448 ], [ 46, 69, 92, 138, 200, 223, 246, 292, 334, 403, 426, 449 ], [ 47, 70, 93, 139, 201, 224, 247, 293, 335, 404, 427, 450 ], [ 48, 71, 94, 140, 202, 225, 248, 294, 336, 405, 428, 451 ], [ 49, 72, 95, 141, 203, 226, 249, 295, 337, 406, 429, 452 ], [ 50, 73, 96, 142, 204, 227, 250, 296, 338, 407, 430, 453 ], [ 51, 74, 97, 143, 205, 228, 251, 297, 339, 408, 431, 454 ], [ 52, 75, 98, 144, 206, 229, 252, 298, 340, 409, 432, 455 ], [ 53, 76, 99, 145, 207, 230, 253, 299, 341, 410, 433, 456 ], [ 54, 77, 100, 146, 208, 231, 254, 300, 342, 411, 434, 457 ], [ 55, 78, 101, 147, 209, 232, 255, 301, 343, 412, 435, 458 ], [ 56, 79, 102, 148, 210, 233, 256, 302, 344, 413, 436, 459 ], [ 57, 80, 103, 149, 211, 234, 257, 303, 345, 414, 437, 460 ], [ 58, 81, 104, 150, 212, 235, 258, 304, 346, 415, 438, 461 ], [ 59, 82, 105, 151, 213, 236, 259, 305, 347, 416, 439, 462 ], [ 60, 83, 106, 152, 214, 237, 260, 306, 348, 417, 440, 463 ], [ 61, 84, 107, 153, 215, 238, 261, 307, 349, 418, 441, 464 ], [ 62, 85, 108, 154, 216, 239, 262, 308, 350, 419, 442, 465 ], [ 63, 86, 109, 155, 217, 240, 263, 309, 351, 420, 443, 466 ], [ 64, 87, 110, 156, 218, 241, 264, 310, 352, 421, 444, 467 ], [ 65, 88, 111, 157, 219, 242, 265, 311, 353, 422, 445, 468 ], [ 66, 89, 112, 158, 220, 243, 266, 312, 354, 423, 446, 469 ], [ 67, 90, 113, 159, 221, 244, 267, 313, 355, 424, 447, 470 ], [ 68, 91, 114, 160, 222, 245, 268, 314, 356, 425, 448, 471 ], [ 0, 69, 92, 115, 223, 246, 269, 315, 357, 426, 449, 472 ], [ 1, 70, 93, 116, 224, 247, 270, 316, 358, 427, 450, 473 ], [ 2, 71, 94, 117, 225, 248, 271, 317, 359, 428, 451, 474 ], [ 3, 72, 95, 118, 226, 249, 272, 318, 360, 429, 452, 475 ], [ 4, 73, 96, 119, 227, 250, 273, 319, 361, 430, 453, 476 ], [ 5, 74, 97, 120, 228, 251, 274, 320, 362, 431, 454, 477 ], [ 6, 75, 98, 121, 229, 252, 275, 321, 363, 432, 455, 478 ], [ 7, 76, 99, 122, 161, 230, 253, 276, 364, 433, 456, 479 ], [ 8, 77, 100, 123, 162, 231, 254, 277, 365, 434, 457, 480 ], [ 9, 78, 101, 124, 163, 232, 255, 278, 366, 435, 458, 481 ], [ 10, 79, 102, 125, 164, 233, 256, 279, 367, 436, 459, 482 ], [ 11, 80, 103, 126, 165, 234, 257, 280, 322, 368, 437, 460 ], [ 12, 81, 104, 127, 166, 235, 258, 281, 323, 369, 438, 461 ], [ 13, 82, 105, 128, 167, 236, 259, 282, 324, 370, 439, 462 ], [ 14, 83, 106, 129, 168, 237, 260, 283, 325, 371, 440, 463 ], [ 15, 84, 107, 130, 169, 238, 261, 284, 326, 372, 441, 464 ], [ 16, 85, 108, 131, 170, 239, 262, 285, 327, 373, 442, 465 ], [ 17, 86, 109, 132, 171, 240, 263, 286, 328, 374, 443, 466 ], [ 18, 87, 110, 133, 172, 241, 264, 287, 329, 375, 444, 467 ], [ 19, 88, 111, 134, 173, 242, 265, 288, 330, 376, 445, 468 ], [ 20, 89, 112, 135, 174, 243, 266, 289, 331, 377, 446, 469 ], [ 21, 90, 113, 136, 175, 244, 267, 290, 332, 378, 447, 470 ], [ 22, 91, 114, 137, 176, 245, 268, 291, 333, 379, 448, 471 ], [ 23, 92, 115, 138, 177, 246, 269, 292, 334, 380, 449, 472 ], [ 24, 93, 116, 139, 178, 247, 270, 293, 335, 381, 450, 473 ], [ 25, 94, 117, 140, 179, 248, 271, 294, 336, 382, 451, 474 ], [ 26, 95, 118, 141, 180, 249, 272, 295, 337, 383, 452, 475 ], [ 27, 96, 119, 142, 181, 250, 273, 296, 338, 384, 453, 476 ], [ 28, 97, 120, 143, 182, 251, 274, 297, 339, 385, 454, 477 ], [ 29, 98, 121, 144, 183, 252, 275, 298, 340, 386, 455, 478 ], [ 30, 99, 122, 145, 184, 253, 276, 299, 341, 387, 456, 479 ], [ 31, 100, 123, 146, 185, 254, 277, 300, 342, 388, 457, 480 ], [ 32, 101, 124, 147, 186, 255, 278, 301, 343, 389, 458, 481 ], [ 33, 102, 125, 148, 187, 256, 279, 302, 344, 390, 459, 482 ], [ 34, 103, 126, 149, 188, 257, 280, 303, 322, 345, 391, 460 ], [ 35, 104, 127, 150, 189, 258, 281, 304, 323, 346, 392, 461 ], [ 36, 105, 128, 151, 190, 259, 282, 305, 324, 347, 393, 462 ], [ 37, 106, 129, 152, 191, 260, 283, 306, 325, 348, 394, 463 ], [ 38, 107, 130, 153, 192, 261, 284, 307, 326, 349, 395, 464 ], [ 39, 108, 131, 154, 193, 262, 285, 308, 327, 350, 396, 465 ], [ 40, 109, 132, 155, 194, 263, 286, 309, 328, 351, 397, 466 ], [ 41, 110, 133, 156, 195, 264, 287, 310, 329, 352, 398, 467 ], [ 42, 111, 134, 157, 196, 265, 288, 311, 330, 353, 399, 468 ], [ 43, 112, 135, 158, 197, 266, 289, 312, 331, 354, 400, 469 ], [ 44, 113, 136, 159, 198, 267, 290, 313, 332, 355, 401, 470 ], [ 45, 114, 137, 160, 199, 268, 291, 314, 333, 356, 402, 471 ], [ 0, 46, 115, 138, 200, 269, 292, 315, 334, 357, 403, 472 ], [ 1, 47, 116, 139, 201, 270, 293, 316, 335, 358, 404, 473 ], [ 2, 48, 117, 140, 202, 271, 294, 317, 336, 359, 405, 474 ], [ 3, 49, 118, 141, 203, 272, 295, 318, 337, 360, 406, 475 ], [ 4, 50, 119, 142, 204, 273, 296, 319, 338, 361, 407, 476 ], [ 5, 51, 120, 143, 205, 274, 297, 320, 339, 362, 408, 477 ], [ 6, 52, 121, 144, 206, 275, 298, 321, 340, 363, 409, 478 ], [ 7, 53, 122, 145, 161, 207, 276, 299, 341, 364, 410, 479 ], [ 8, 54, 123, 146, 162, 208, 277, 300, 342, 365, 411, 480 ], [ 9, 55, 124, 147, 163, 209, 278, 301, 343, 366, 412, 481 ], [ 10, 56, 125, 148, 164, 210, 279, 302, 344, 367, 413, 482 ], [ 11, 57, 126, 149, 165, 211, 280, 303, 322, 345, 368, 414 ], [ 12, 58, 127, 150, 166, 212, 281, 304, 323, 346, 369, 415 ], [ 13, 59, 128, 151, 167, 213, 282, 305, 324, 347, 370, 416 ], [ 14, 60, 129, 152, 168, 214, 283, 306, 325, 348, 371, 417 ] ], "Z": [ [ 23, 46, 61, 69, 107, 130, 138, 153, 172, 177, 195, 200, 223, 264, 292, 310, 326, 349, 352, 375, 398, 418, 464, 467 ], [ 24, 47, 62, 70, 108, 131, 139, 154, 173, 178, 196, 201, 224, 265, 293, 311, 327, 350, 353, 376, 399, 419, 465, 468 ], [ 25, 48, 63, 71, 109, 132, 140, 155, 174, 179, 197, 202, 225, 266, 294, 312, 328, 351, 354, 377, 400, 420, 466, 469 ], [ 26, 49, 64, 72, 110, 133, 141, 156, 175, 180, 198, 203, 226, 267, 295, 313, 329, 352, 355, 378, 401, 421, 467, 470 ], [ 27, 50, 65, 73, 111, 134, 142, 157, 176, 181, 199, 204, 227, 268, 296, 314, 330, 353, 356, 379, 402, 422, 468, 471 ], [ 28, 51, 66, 74, 112, 135, 143, 158, 177, 182, 200, 205, 228, 269, 297, 315, 331, 354, 357, 380, 403, 423, 469, 472 ], [ 29, 52, 67, 75, 113, 136, 144, 159, 178, 183, 201, 206, 229, 270, 298, 316, 332, 355, 358, 381, 404, 424, 470, 473 ], [ 30, 53, 68, 76, 114, 137, 145, 160, 179, 184, 202, 207, 230, 271, 299, 317, 333, 356, 359, 382, 405, 425, 471, 474 ], [ 0, 31, 54, 69, 77, 115, 138, 146, 180, 185, 203, 208, 231, 272, 300, 318, 334, 357, 360, 383, 406, 426, 472, 475 ], [ 1, 32, 55, 70, 78, 116, 139, 147, 181, 186, 204, 209, 232, 273, 301, 319, 335, 358, 361, 384, 407, 427, 473, 476 ], [ 2, 33, 56, 71, 79, 117, 140, 148, 182, 187, 205, 210, 233, 274, 302, 320, 336, 359, 362, 385, 408, 428, 474, 477 ], [ 3, 34, 57, 72, 80, 118, 141, 149, 183, 188, 206, 211, 234, 275, 303, 321, 337, 360, 363, 386, 409, 429, 475, 478 ], [ 4, 35, 58, 73, 81, 119, 142, 150, 161, 184, 189, 207, 212, 235, 276, 304, 338, 361, 364, 387, 410, 430, 476, 479 ], [ 5, 36, 59, 74, 82, 120, 143, 151, 162, 185, 190, 208, 213, 236, 277, 305, 339, 362, 365, 388, 411, 431, 477, 480 ], [ 6, 37, 60, 75, 83, 121, 144, 152, 163, 186, 191, 209, 214, 237, 278, 306, 340, 363, 366, 389, 412, 432, 478, 481 ], [ 7, 38, 61, 76, 84, 122, 145, 153, 164, 187, 192, 210, 215, 238, 279, 307, 341, 364, 367, 390, 413, 433, 479, 482 ], [ 8, 39, 62, 77, 85, 123, 146, 154, 165, 188, 193, 211, 216, 239, 280, 308, 322, 342, 365, 368, 391, 414, 434, 480 ], [ 9, 40, 63, 78, 86, 124, 147, 155, 166, 189, 194, 212, 217, 240, 281, 309, 323, 343, 366, 369, 392, 415, 435, 481 ], [ 10, 41, 64, 79, 87, 125, 148, 156, 167, 190, 195, 213, 218, 241, 282, 310, 324, 344, 367, 370, 393, 416, 436, 482 ], [ 11, 42, 65, 80, 88, 126, 149, 157, 168, 191, 196, 214, 219, 242, 283, 311, 322, 325, 345, 368, 371, 394, 417, 437 ], [ 12, 43, 66, 81, 89, 127, 150, 158, 169, 192, 197, 215, 220, 243, 284, 312, 323, 326, 346, 369, 372, 395, 418, 438 ], [ 13, 44, 67, 82, 90, 128, 151, 159, 170, 193, 198, 216, 221, 244, 285, 313, 324, 327, 347, 370, 373, 396, 419, 439 ], [ 14, 45, 68, 83, 91, 129, 152, 160, 171, 194, 199, 217, 222, 245, 286, 314, 325, 328, 348, 371, 374, 397, 420, 440 ], [ 0, 15, 46, 69, 84, 92, 130, 153, 172, 195, 200, 218, 223, 246, 287, 315, 326, 329, 349, 372, 375, 398, 421, 441 ], [ 1, 16, 47, 70, 85, 93, 131, 154, 173, 196, 201, 219, 224, 247, 288, 316, 327, 330, 350, 373, 376, 399, 422, 442 ], [ 2, 17, 48, 71, 86, 94, 132, 155, 174, 197, 202, 220, 225, 248, 289, 317, 328, 331, 351, 374, 377, 400, 423, 443 ], [ 3, 18, 49, 72, 87, 95, 133, 156, 175, 198, 203, 221, 226, 249, 290, 318, 329, 332, 352, 375, 378, 401, 424, 444 ], [ 4, 19, 50, 73, 88, 96, 134, 157, 176, 199, 204, 222, 227, 250, 291, 319, 330, 333, 353, 376, 379, 402, 425, 445 ], [ 5, 20, 51, 74, 89, 97, 135, 158, 177, 200, 205, 223, 228, 251, 292, 320, 331, 334, 354, 377, 380, 403, 426, 446 ], [ 6, 21, 52, 75, 90, 98, 136, 159, 178, 201, 206, 224, 229, 252, 293, 321, 332, 335, 355, 378, 381, 404, 427, 447 ], [ 7, 22, 53, 76, 91, 99, 137, 160, 161, 179, 202, 207, 225, 230, 253, 294, 333, 336, 356, 379, 382, 405, 428, 448 ], [ 0, 8, 23, 54, 77, 92, 100, 138, 162, 180, 203, 208, 226, 231, 254, 295, 334, 337, 357, 380, 383, 406, 429, 449 ], [ 1, 9, 24, 55, 78, 93, 101, 139, 163, 181, 204, 209, 227, 232, 255, 296, 335, 338, 358, 381, 384, 407, 430, 450 ], [ 2, 10, 25, 56, 79, 94, 102, 140, 164, 182, 205, 210, 228, 233, 256, 297, 336, 339, 359, 382, 385, 408, 431, 451 ], [ 3, 11, 26, 57, 80, 95, 103, 141, 165, 183, 206, 211, 229, 234, 257, 298, 337, 340, 360, 383, 386, 409, 432, 452 ], [ 4, 12, 27, 58, 81, 96, 104, 142, 166, 184, 207, 212, 230, 235, 258, 299, 338, 341, 361, 384, 387, 410, 433, 453 ], [ 5, 13, 28, 59, 82, 97, 105, 143, 167, 185, 208, 213, 231, 236, 259, 300, 339, 342, 362, 385, 388, 411, 434, 454 ], [ 6, 14, 29, 60, 83, 98, 106, 144, 168, 186, 209, 214, 232, 237, 260, 301, 340, 343, 363, 386, 389, 412, 435, 455 ], [ 7, 15, 30, 61, 84, 99, 107, 145, 169, 187, 210, 215, 233, 238, 261, 302, 341, 344, 364, 387, 390, 413, 436, 456 ], [ 8, 16, 31, 62, 85, 100, 108, 146, 170, 188, 211, 216, 234, 239, 262, 303, 342, 345, 365, 388, 391, 414, 437, 457 ], [ 9, 17, 32, 63, 86, 101, 109, 147, 171, 189, 212, 217, 235, 240, 263, 304, 343, 346, 366, 389, 392, 415, 438, 458 ], [ 10, 18, 33, 64, 87, 102, 110, 148, 172, 190, 213, 218, 236, 241, 264, 305, 344, 347, 367, 390, 393, 416, 439, 459 ], [ 11, 19, 34, 65, 88, 103, 111, 149, 173, 191, 214, 219, 237, 242, 265, 306, 345, 348, 368, 391, 394, 417, 440, 460 ], [ 12, 20, 35, 66, 89, 104, 112, 150, 174, 192, 215, 220, 238, 243, 266, 307, 346, 349, 369, 392, 395, 418, 441, 461 ], [ 13, 21, 36, 67, 90, 105, 113, 151, 175, 193, 216, 221, 239, 244, 267, 308, 347, 350, 370, 393, 396, 419, 442, 462 ], [ 14, 22, 37, 68, 91, 106, 114, 152, 176, 194, 217, 222, 240, 245, 268, 309, 348, 351, 371, 394, 397, 420, 443, 463 ], [ 15, 23, 38, 69, 92, 107, 115, 153, 177, 195, 218, 223, 241, 246, 269, 310, 349, 352, 372, 395, 398, 421, 444, 464 ], [ 16, 24, 39, 70, 93, 108, 116, 154, 178, 196, 219, 224, 242, 247, 270, 311, 350, 353, 373, 396, 399, 422, 445, 465 ], [ 17, 25, 40, 71, 94, 109, 117, 155, 179, 197, 220, 225, 243, 248, 271, 312, 351, 354, 374, 397, 400, 423, 446, 466 ], [ 18, 26, 41, 72, 95, 110, 118, 156, 180, 198, 221, 226, 244, 249, 272, 313, 352, 355, 375, 398, 401, 424, 447, 467 ], [ 19, 27, 42, 73, 96, 111, 119, 157, 181, 199, 222, 227, 245, 250, 273, 314, 353, 356, 376, 399, 402, 425, 448, 468 ], [ 20, 28, 43, 74, 97, 112, 120, 158, 182, 200, 223, 228, 246, 251, 274, 315, 354, 357, 377, 400, 403, 426, 449, 469 ], [ 21, 29, 44, 75, 98, 113, 121, 159, 183, 201, 224, 229, 247, 252, 275, 316, 355, 358, 378, 401, 404, 427, 450, 470 ], [ 22, 30, 45, 76, 99, 114, 122, 160, 184, 202, 225, 230, 248, 253, 276, 317, 356, 359, 379, 402, 405, 428, 451, 471 ], [ 0, 23, 31, 46, 77, 100, 115, 123, 185, 203, 226, 231, 249, 254, 277, 318, 357, 360, 380, 403, 406, 429, 452, 472 ], [ 1, 24, 32, 47, 78, 101, 116, 124, 186, 204, 227, 232, 250, 255, 278, 319, 358, 361, 381, 404, 407, 430, 453, 473 ], [ 2, 25, 33, 48, 79, 102, 117, 125, 187, 205, 228, 233, 251, 256, 279, 320, 359, 362, 382, 405, 408, 431, 454, 474 ], [ 3, 26, 34, 49, 80, 103, 118, 126, 188, 206, 229, 234, 252, 257, 280, 321, 360, 363, 383, 406, 409, 432, 455, 475 ], [ 4, 27, 35, 50, 81, 104, 119, 127, 161, 189, 207, 230, 235, 253, 258, 281, 361, 364, 384, 407, 410, 433, 456, 476 ], [ 5, 28, 36, 51, 82, 105, 120, 128, 162, 190, 208, 231, 236, 254, 259, 282, 362, 365, 385, 408, 411, 434, 457, 477 ], [ 6, 29, 37, 52, 83, 106, 121, 129, 163, 191, 209, 232, 237, 255, 260, 283, 363, 366, 386, 409, 412, 435, 458, 478 ], [ 7, 30, 38, 53, 84, 107, 122, 130, 164, 192, 210, 233, 238, 256, 261, 284, 364, 367, 387, 410, 413, 436, 459, 479 ], [ 8, 31, 39, 54, 85, 108, 123, 131, 165, 193, 211, 234, 239, 257, 262, 285, 365, 368, 388, 411, 414, 437, 460, 480 ], [ 9, 32, 40, 55, 86, 109, 124, 132, 166, 194, 212, 235, 240, 258, 263, 286, 366, 369, 389, 412, 415, 438, 461, 481 ], [ 10, 33, 41, 56, 87, 110, 125, 133, 167, 195, 213, 236, 241, 259, 264, 287, 367, 370, 390, 413, 416, 439, 462, 482 ], [ 11, 34, 42, 57, 88, 111, 126, 134, 168, 196, 214, 237, 242, 260, 265, 288, 322, 368, 371, 391, 414, 417, 440, 463 ], [ 12, 35, 43, 58, 89, 112, 127, 135, 169, 197, 215, 238, 243, 261, 266, 289, 323, 369, 372, 392, 415, 418, 441, 464 ], [ 13, 36, 44, 59, 90, 113, 128, 136, 170, 198, 216, 239, 244, 262, 267, 290, 324, 370, 373, 393, 416, 419, 442, 465 ], [ 14, 37, 45, 60, 91, 114, 129, 137, 171, 199, 217, 240, 245, 263, 268, 291, 325, 371, 374, 394, 417, 420, 443, 466 ], [ 15, 38, 46, 61, 92, 115, 130, 138, 172, 200, 218, 241, 246, 264, 269, 292, 326, 372, 375, 395, 418, 421, 444, 467 ], [ 16, 39, 47, 62, 93, 116, 131, 139, 173, 201, 219, 242, 247, 265, 270, 293, 327, 373, 376, 396, 419, 422, 445, 468 ], [ 17, 40, 48, 63, 94, 117, 132, 140, 174, 202, 220, 243, 248, 266, 271, 294, 328, 374, 377, 397, 420, 423, 446, 469 ], [ 18, 41, 49, 64, 95, 118, 133, 141, 175, 203, 221, 244, 249, 267, 272, 295, 329, 375, 378, 398, 421, 424, 447, 470 ], [ 19, 42, 50, 65, 96, 119, 134, 142, 176, 204, 222, 245, 250, 268, 273, 296, 330, 376, 379, 399, 422, 425, 448, 471 ], [ 20, 43, 51, 66, 97, 120, 135, 143, 177, 205, 223, 246, 251, 269, 274, 297, 331, 377, 380, 400, 423, 426, 449, 472 ], [ 21, 44, 52, 67, 98, 121, 136, 144, 178, 206, 224, 247, 252, 270, 275, 298, 332, 378, 381, 401, 424, 427, 450, 473 ], [ 22, 45, 53, 68, 99, 122, 137, 145, 179, 207, 225, 248, 253, 271, 276, 299, 333, 379, 382, 402, 425, 428, 451, 474 ], [ 23, 46, 54, 69, 100, 123, 138, 146, 180, 208, 226, 249, 254, 272, 277, 300, 334, 380, 383, 403, 426, 429, 452, 475 ], [ 24, 47, 55, 70, 101, 124, 139, 147, 181, 209, 227, 250, 255, 273, 278, 301, 335, 381, 384, 404, 427, 430, 453, 476 ], [ 25, 48, 56, 71, 102, 125, 140, 148, 182, 210, 228, 251, 256, 274, 279, 302, 336, 382, 385, 405, 428, 431, 454, 477 ], [ 26, 49, 57, 72, 103, 126, 141, 149, 183, 211, 229, 252, 257, 275, 280, 303, 337, 383, 386, 406, 429, 432, 455, 478 ], [ 27, 50, 58, 73, 104, 127, 142, 150, 184, 212, 230, 253, 258, 276, 281, 304, 338, 384, 387, 407, 430, 433, 456, 479 ], [ 28, 51, 59, 74, 105, 128, 143, 151, 185, 213, 231, 254, 259, 277, 282, 305, 339, 385, 388, 408, 431, 434, 457, 480 ], [ 29, 52, 60, 75, 106, 129, 144, 152, 186, 214, 232, 255, 260, 278, 283, 306, 340, 386, 389, 409, 432, 435, 458, 481 ], [ 30, 53, 61, 76, 107, 130, 145, 153, 187, 215, 233, 256, 261, 279, 284, 307, 341, 387, 390, 410, 433, 436, 459, 482 ], [ 31, 54, 62, 77, 108, 131, 146, 154, 188, 216, 234, 257, 262, 280, 285, 308, 322, 342, 388, 391, 411, 434, 437, 460 ], [ 32, 55, 63, 78, 109, 132, 147, 155, 189, 217, 235, 258, 263, 281, 286, 309, 323, 343, 389, 392, 412, 435, 438, 461 ], [ 33, 56, 64, 79, 110, 133, 148, 156, 190, 218, 236, 259, 264, 282, 287, 310, 324, 344, 390, 393, 413, 436, 439, 462 ], [ 34, 57, 65, 80, 111, 134, 149, 157, 191, 219, 237, 260, 265, 283, 288, 311, 325, 345, 391, 394, 414, 437, 440, 463 ], [ 35, 58, 66, 81, 112, 135, 150, 158, 192, 220, 238, 261, 266, 284, 289, 312, 326, 346, 392, 395, 415, 438, 441, 464 ], [ 36, 59, 67, 82, 113, 136, 151, 159, 193, 221, 239, 262, 267, 285, 290, 313, 327, 347, 393, 396, 416, 439, 442, 465 ], [ 37, 60, 68, 83, 114, 137, 152, 160, 194, 222, 240, 263, 268, 286, 291, 314, 328, 348, 394, 397, 417, 440, 443, 466 ], [ 0, 38, 61, 69, 84, 115, 138, 153, 195, 223, 241, 264, 269, 287, 292, 315, 329, 349, 395, 398, 418, 441, 444, 467 ], [ 1, 39, 62, 70, 85, 116, 139, 154, 196, 224, 242, 265, 270, 288, 293, 316, 330, 350, 396, 399, 419, 442, 445, 468 ], [ 2, 40, 63, 71, 86, 117, 140, 155, 197, 225, 243, 266, 271, 289, 294, 317, 331, 351, 397, 400, 420, 443, 446, 469 ], [ 3, 41, 64, 72, 87, 118, 141, 156, 198, 226, 244, 267, 272, 290, 295, 318, 332, 352, 398, 401, 421, 444, 447, 470 ], [ 4, 42, 65, 73, 88, 119, 142, 157, 199, 227, 245, 268, 273, 291, 296, 319, 333, 353, 399, 402, 422, 445, 448, 471 ], [ 5, 43, 66, 74, 89, 120, 143, 158, 200, 228, 246, 269, 274, 292, 297, 320, 334, 354, 400, 403, 423, 446, 449, 472 ], [ 6, 44, 67, 75, 90, 121, 144, 159, 201, 229, 247, 270, 275, 293, 298, 321, 335, 355, 401, 404, 424, 447, 450, 473 ], [ 7, 45, 68, 76, 91, 122, 145, 160, 161, 202, 230, 248, 271, 276, 294, 299, 336, 356, 402, 405, 425, 448, 451, 474 ], [ 0, 8, 46, 69, 77, 92, 123, 146, 162, 203, 231, 249, 272, 277, 295, 300, 337, 357, 403, 406, 426, 449, 452, 475 ], [ 1, 9, 47, 70, 78, 93, 124, 147, 163, 204, 232, 250, 273, 278, 296, 301, 338, 358, 404, 407, 427, 450, 453, 476 ], [ 2, 10, 48, 71, 79, 94, 125, 148, 164, 205, 233, 251, 274, 279, 297, 302, 339, 359, 405, 408, 428, 451, 454, 477 ], [ 3, 11, 49, 72, 80, 95, 126, 149, 165, 206, 234, 252, 275, 280, 298, 303, 340, 360, 406, 409, 429, 452, 455, 478 ], [ 4, 12, 50, 73, 81, 96, 127, 150, 166, 207, 235, 253, 276, 281, 299, 304, 341, 361, 407, 410, 430, 453, 456, 479 ], [ 5, 13, 51, 74, 82, 97, 128, 151, 167, 208, 236, 254, 277, 282, 300, 305, 342, 362, 408, 411, 431, 454, 457, 480 ], [ 6, 14, 52, 75, 83, 98, 129, 152, 168, 209, 237, 255, 278, 283, 301, 306, 343, 363, 409, 412, 432, 455, 458, 481 ], [ 7, 15, 53, 76, 84, 99, 130, 153, 169, 210, 238, 256, 279, 284, 302, 307, 344, 364, 410, 413, 433, 456, 459, 482 ], [ 8, 16, 54, 77, 85, 100, 131, 154, 170, 211, 239, 257, 280, 285, 303, 308, 322, 345, 365, 411, 414, 434, 457, 460 ], [ 9, 17, 55, 78, 86, 101, 132, 155, 171, 212, 240, 258, 281, 286, 304, 309, 323, 346, 366, 412, 415, 435, 458, 461 ], [ 10, 18, 56, 79, 87, 102, 133, 156, 172, 213, 241, 259, 282, 287, 305, 310, 324, 347, 367, 413, 416, 436, 459, 462 ], [ 11, 19, 57, 80, 88, 103, 134, 157, 173, 214, 242, 260, 283, 288, 306, 311, 325, 348, 368, 414, 417, 437, 460, 463 ], [ 12, 20, 58, 81, 89, 104, 135, 158, 174, 215, 243, 261, 284, 289, 307, 312, 326, 349, 369, 415, 418, 438, 461, 464 ], [ 13, 21, 59, 82, 90, 105, 136, 159, 175, 216, 244, 262, 285, 290, 308, 313, 327, 350, 370, 416, 419, 439, 462, 465 ], [ 14, 22, 60, 83, 91, 106, 137, 160, 176, 217, 245, 263, 286, 291, 309, 314, 328, 351, 371, 417, 420, 440, 463, 466 ], [ 0, 15, 23, 61, 84, 92, 107, 138, 177, 218, 246, 264, 287, 292, 310, 315, 329, 352, 372, 418, 421, 441, 464, 467 ], [ 1, 16, 24, 62, 85, 93, 108, 139, 178, 219, 247, 265, 288, 293, 311, 316, 330, 353, 373, 419, 422, 442, 465, 468 ], [ 2, 17, 25, 63, 86, 94, 109, 140, 179, 220, 248, 266, 289, 294, 312, 317, 331, 354, 374, 420, 423, 443, 466, 469 ], [ 3, 18, 26, 64, 87, 95, 110, 141, 180, 221, 249, 267, 290, 295, 313, 318, 332, 355, 375, 421, 424, 444, 467, 470 ], [ 4, 19, 27, 65, 88, 96, 111, 142, 181, 222, 250, 268, 291, 296, 314, 319, 333, 356, 376, 422, 425, 445, 468, 471 ], [ 5, 20, 28, 66, 89, 97, 112, 143, 182, 223, 251, 269, 292, 297, 315, 320, 334, 357, 377, 423, 426, 446, 469, 472 ], [ 6, 21, 29, 67, 90, 98, 113, 144, 183, 224, 252, 270, 293, 298, 316, 321, 335, 358, 378, 424, 427, 447, 470, 473 ], [ 7, 22, 30, 68, 91, 99, 114, 145, 161, 184, 225, 253, 271, 294, 299, 317, 336, 359, 379, 425, 428, 448, 471, 474 ], [ 8, 23, 31, 69, 92, 100, 115, 146, 162, 185, 226, 254, 272, 295, 300, 318, 337, 360, 380, 426, 429, 449, 472, 475 ], [ 9, 24, 32, 70, 93, 101, 116, 147, 163, 186, 227, 255, 273, 296, 301, 319, 338, 361, 381, 427, 430, 450, 473, 476 ], [ 10, 25, 33, 71, 94, 102, 117, 148, 164, 187, 228, 256, 274, 297, 302, 320, 339, 362, 382, 428, 431, 451, 474, 477 ], [ 11, 26, 34, 72, 95, 103, 118, 149, 165, 188, 229, 257, 275, 298, 303, 321, 340, 363, 383, 429, 432, 452, 475, 478 ], [ 12, 27, 35, 73, 96, 104, 119, 150, 161, 166, 189, 230, 258, 276, 299, 304, 341, 364, 384, 430, 433, 453, 476, 479 ], [ 13, 28, 36, 74, 97, 105, 120, 151, 162, 167, 190, 231, 259, 277, 300, 305, 342, 365, 385, 431, 434, 454, 477, 480 ], [ 14, 29, 37, 75, 98, 106, 121, 152, 163, 168, 191, 232, 260, 278, 301, 306, 343, 366, 386, 432, 435, 455, 478, 481 ], [ 15, 30, 38, 76, 99, 107, 122, 153, 164, 169, 192, 233, 261, 279, 302, 307, 344, 367, 387, 433, 436, 456, 479, 482 ], [ 16, 31, 39, 77, 100, 108, 123, 154, 165, 170, 193, 234, 262, 280, 303, 308, 322, 345, 368, 388, 434, 437, 457, 480 ], [ 17, 32, 40, 78, 101, 109, 124, 155, 166, 171, 194, 235, 263, 281, 304, 309, 323, 346, 369, 389, 435, 438, 458, 481 ], [ 18, 33, 41, 79, 102, 110, 125, 156, 167, 172, 195, 236, 264, 282, 305, 310, 324, 347, 370, 390, 436, 439, 459, 482 ], [ 19, 34, 42, 80, 103, 111, 126, 157, 168, 173, 196, 237, 265, 283, 306, 311, 322, 325, 348, 371, 391, 437, 440, 460 ], [ 20, 35, 43, 81, 104, 112, 127, 158, 169, 174, 197, 238, 266, 284, 307, 312, 323, 326, 349, 372, 392, 438, 441, 461 ], [ 21, 36, 44, 82, 105, 113, 128, 159, 170, 175, 198, 239, 267, 285, 308, 313, 324, 327, 350, 373, 393, 439, 442, 462 ], [ 22, 37, 45, 83, 106, 114, 129, 160, 171, 176, 199, 240, 268, 286, 309, 314, 325, 328, 351, 374, 394, 440, 443, 463 ], [ 0, 23, 38, 46, 84, 107, 115, 130, 172, 177, 200, 241, 269, 287, 310, 315, 326, 329, 352, 375, 395, 441, 444, 464 ], [ 1, 24, 39, 47, 85, 108, 116, 131, 173, 178, 201, 242, 270, 288, 311, 316, 327, 330, 353, 376, 396, 442, 445, 465 ], [ 2, 25, 40, 48, 86, 109, 117, 132, 174, 179, 202, 243, 271, 289, 312, 317, 328, 331, 354, 377, 397, 443, 446, 466 ], [ 3, 26, 41, 49, 87, 110, 118, 133, 175, 180, 203, 244, 272, 290, 313, 318, 329, 332, 355, 378, 398, 444, 447, 467 ], [ 4, 27, 42, 50, 88, 111, 119, 134, 176, 181, 204, 245, 273, 291, 314, 319, 330, 333, 356, 379, 399, 445, 448, 468 ], [ 5, 28, 43, 51, 89, 112, 120, 135, 177, 182, 205, 246, 274, 292, 315, 320, 331, 334, 357, 380, 400, 446, 449, 469 ], [ 6, 29, 44, 52, 90, 113, 121, 136, 178, 183, 206, 247, 275, 293, 316, 321, 332, 335, 358, 381, 401, 447, 450, 470 ], [ 7, 30, 45, 53, 91, 114, 122, 137, 161, 179, 184, 207, 248, 276, 294, 317, 333, 336, 359, 382, 402, 448, 451, 471 ], [ 8, 31, 46, 54, 92, 115, 123, 138, 162, 180, 185, 208, 249, 277, 295, 318, 334, 337, 360, 383, 403, 449, 452, 472 ], [ 9, 32, 47, 55, 93, 116, 124, 139, 163, 181, 186, 209, 250, 278, 296, 319, 335, 338, 361, 384, 404, 450, 453, 473 ], [ 10, 33, 48, 56, 94, 117, 125, 140, 164, 182, 187, 210, 251, 279, 297, 320, 336, 339, 362, 385, 405, 451, 454, 474 ], [ 11, 34, 49, 57, 95, 118, 126, 141, 165, 183, 188, 211, 252, 280, 298, 321, 337, 340, 363, 386, 406, 452, 455, 475 ], [ 12, 35, 50, 58, 96, 119, 127, 142, 161, 166, 184, 189, 212, 253, 281, 299, 338, 341, 364, 387, 407, 453, 456, 476 ], [ 13, 36, 51, 59, 97, 120, 128, 143, 162, 167, 185, 190, 213, 254, 282, 300, 339, 342, 365, 388, 408, 454, 457, 477 ], [ 14, 37, 52, 60, 98, 121, 129, 144, 163, 168, 186, 191, 214, 255, 283, 301, 340, 343, 366, 389, 409, 455, 458, 478 ], [ 15, 38, 53, 61, 99, 122, 130, 145, 164, 169, 187, 192, 215, 256, 284, 302, 341, 344, 367, 390, 410, 456, 459, 479 ], [ 16, 39, 54, 62, 100, 123, 131, 146, 165, 170, 188, 193, 216, 257, 285, 303, 342, 345, 368, 391, 411, 457, 460, 480 ], [ 17, 40, 55, 63, 101, 124, 132, 147, 166, 171, 189, 194, 217, 258, 286, 304, 343, 346, 369, 392, 412, 458, 461, 481 ], [ 18, 41, 56, 64, 102, 125, 133, 148, 167, 172, 190, 195, 218, 259, 287, 305, 344, 347, 370, 393, 413, 459, 462, 482 ], [ 19, 42, 57, 65, 103, 126, 134, 149, 168, 173, 191, 196, 219, 260, 288, 306, 322, 345, 348, 371, 394, 414, 460, 463 ], [ 20, 43, 58, 66, 104, 127, 135, 150, 169, 174, 192, 197, 220, 261, 289, 307, 323, 346, 349, 372, 395, 415, 461, 464 ], [ 21, 44, 59, 67, 105, 128, 136, 151, 170, 175, 193, 198, 221, 262, 290, 308, 324, 347, 350, 373, 396, 416, 462, 465 ], [ 22, 45, 60, 68, 106, 129, 137, 152, 171, 176, 194, 199, 222, 263, 291, 309, 325, 348, 351, 374, 397, 417, 463, 466 ] ] }, "distance": { "d": 3, "X": { "value": 3, "confidence": "upper_bound", "witness": [ 184, 276, 299 ] }, "Z": { "value": 3, "confidence": "upper_bound", "witness": [ 176, 268, 314 ] } }, "provenance": { "authors": [ "@MathysRennela" ], "construction": "Polynomial-minor CSS code from arXiv:2610.19459 (Nourozi, Smarandache, Mitchell), their Eqs. (10)-(11) at parameters of our own: over R_N = F_2[x]/(x^N+1), H_X(x) = [[a^top, b^top, c^top], [d^top, e^top, f^top]] with d = x^t c, e = a, f = b, and H_Z(x) = [b^2+ac, ab+x^t c^2, a^2 + x^t bc]; N = 161, t = 0, a/b/c = 4/4/4 terms, all codewords of the code generated by a sparse divisor g of x^N+1 with deg g = 92 and wt(g) = 4. Not one of the paper's 13 Table I instances, which stop at N = 85; found by enumerating sparse large-degree divisors of x^N+1 and sampling low-weight codewords of .", "origin": "submission", "date": "2026-10-16", "model": "MiMo-V2.6-Flash", "search_budget": { "candidates_screened": 6074, "ris_trials_per_side": 400000, "cpu_hours": 8.0 } }, "family": "other" }