{ "schema_version": "0.1", "name": "[[512,132,14]]", "code_type": "CSS", "n": 512, "k": 132, "checks": { "X": [ [ 6, 106, 169, 248, 319, 347, 437, 505 ], [ 7, 107, 138, 249, 288, 380, 406, 474 ], [ 8, 108, 171, 250, 257, 349, 439, 507 ], [ 9, 109, 140, 251, 290, 382, 408, 476 ], [ 10, 110, 173, 252, 259, 351, 441, 509 ], [ 11, 111, 142, 253, 292, 320, 410, 478 ], [ 12, 112, 175, 254, 261, 353, 443, 511 ], [ 13, 113, 144, 255, 294, 322, 412, 480 ], [ 14, 114, 177, 192, 263, 355, 445, 449 ], [ 15, 115, 146, 193, 296, 324, 414, 482 ], [ 16, 116, 179, 194, 265, 357, 447, 451 ], [ 17, 117, 148, 195, 298, 326, 416, 484 ], [ 18, 118, 181, 196, 267, 359, 385, 453 ], [ 19, 119, 150, 197, 300, 328, 418, 486 ], [ 20, 120, 183, 198, 269, 361, 387, 455 ], [ 21, 121, 152, 199, 302, 330, 420, 488 ], [ 22, 122, 185, 200, 271, 363, 389, 457 ], [ 23, 123, 154, 201, 304, 332, 422, 490 ], [ 24, 124, 187, 202, 273, 365, 391, 459 ], [ 25, 125, 156, 203, 306, 334, 424, 492 ], [ 26, 126, 189, 204, 275, 367, 393, 461 ], [ 27, 127, 158, 205, 308, 336, 426, 494 ], [ 28, 64, 191, 206, 277, 369, 395, 463 ], [ 29, 65, 160, 207, 310, 338, 428, 496 ], [ 30, 66, 129, 208, 279, 371, 397, 465 ], [ 31, 67, 162, 209, 312, 340, 430, 498 ], [ 32, 68, 131, 210, 281, 373, 399, 467 ], [ 33, 69, 164, 211, 314, 342, 432, 500 ], [ 34, 70, 133, 212, 283, 375, 401, 469 ], [ 35, 71, 166, 213, 316, 344, 434, 502 ], [ 36, 72, 135, 214, 285, 377, 403, 471 ], [ 37, 73, 168, 215, 318, 346, 436, 504 ], [ 38, 74, 137, 216, 287, 379, 405, 473 ], [ 39, 75, 170, 217, 256, 348, 438, 506 ], [ 40, 76, 139, 218, 289, 381, 407, 475 ], [ 41, 77, 172, 219, 258, 350, 440, 508 ], [ 42, 78, 141, 220, 291, 383, 409, 477 ], [ 43, 79, 174, 221, 260, 352, 442, 510 ], [ 44, 80, 143, 222, 293, 321, 411, 479 ], [ 45, 81, 176, 223, 262, 354, 444, 448 ], [ 46, 82, 145, 224, 295, 323, 413, 481 ], [ 47, 83, 178, 225, 264, 356, 446, 450 ], [ 48, 84, 147, 226, 297, 325, 415, 483 ], [ 49, 85, 180, 227, 266, 358, 384, 452 ], [ 50, 86, 149, 228, 299, 327, 417, 485 ], [ 51, 87, 182, 229, 268, 360, 386, 454 ], [ 52, 88, 151, 230, 301, 329, 419, 487 ], [ 53, 89, 184, 231, 270, 362, 388, 456 ], [ 54, 90, 153, 232, 303, 331, 421, 489 ], [ 55, 91, 186, 233, 272, 364, 390, 458 ], [ 56, 92, 155, 234, 305, 333, 423, 491 ], [ 57, 93, 188, 235, 274, 366, 392, 460 ], [ 58, 94, 157, 236, 307, 335, 425, 493 ], [ 59, 95, 190, 237, 276, 368, 394, 462 ], [ 60, 96, 159, 238, 309, 337, 427, 495 ], [ 61, 97, 128, 239, 278, 370, 396, 464 ], [ 62, 98, 161, 240, 311, 339, 429, 497 ], [ 63, 99, 130, 241, 280, 372, 398, 466 ], [ 0, 100, 163, 242, 313, 341, 431, 499 ], [ 1, 101, 132, 243, 282, 374, 400, 468 ], [ 2, 102, 165, 244, 315, 343, 433, 501 ], [ 3, 103, 134, 245, 284, 376, 402, 470 ], [ 4, 104, 167, 246, 317, 345, 435, 503 ], [ 5, 105, 136, 247, 286, 378, 404, 472 ], [ 45, 108, 140, 210, 297, 377, 414, 500 ], [ 14, 109, 141, 211, 266, 346, 415, 501 ], [ 47, 110, 142, 212, 299, 379, 416, 502 ], [ 16, 111, 143, 213, 268, 348, 417, 503 ], [ 49, 112, 144, 214, 301, 381, 418, 504 ], [ 18, 113, 145, 215, 270, 350, 419, 505 ], [ 51, 114, 146, 216, 303, 383, 420, 506 ], [ 20, 115, 147, 217, 272, 352, 421, 507 ], [ 53, 116, 148, 218, 305, 321, 422, 508 ], [ 22, 117, 149, 219, 274, 354, 423, 509 ], [ 55, 118, 150, 220, 307, 323, 424, 510 ], [ 24, 119, 151, 221, 276, 356, 425, 511 ], [ 57, 120, 152, 222, 309, 325, 426, 448 ], [ 26, 121, 153, 223, 278, 358, 427, 449 ], [ 59, 122, 154, 224, 311, 327, 428, 450 ], [ 28, 123, 155, 225, 280, 360, 429, 451 ], [ 61, 124, 156, 226, 313, 329, 430, 452 ], [ 30, 125, 157, 227, 282, 362, 431, 453 ], [ 63, 126, 158, 228, 315, 331, 432, 454 ], [ 32, 127, 159, 229, 284, 364, 433, 455 ], [ 1, 64, 160, 230, 317, 333, 434, 456 ], [ 34, 65, 161, 231, 286, 366, 435, 457 ], [ 3, 66, 162, 232, 319, 335, 436, 458 ], [ 36, 67, 163, 233, 288, 368, 437, 459 ], [ 5, 68, 164, 234, 257, 337, 438, 460 ], [ 38, 69, 165, 235, 290, 370, 439, 461 ], [ 7, 70, 166, 236, 259, 339, 440, 462 ], [ 40, 71, 167, 237, 292, 372, 441, 463 ], [ 9, 72, 168, 238, 261, 341, 442, 464 ], [ 42, 73, 169, 239, 294, 374, 443, 465 ], [ 11, 74, 170, 240, 263, 343, 444, 466 ], [ 44, 75, 171, 241, 296, 376, 445, 467 ], [ 13, 76, 172, 242, 265, 345, 446, 468 ], [ 46, 77, 173, 243, 298, 378, 447, 469 ], [ 15, 78, 174, 244, 267, 347, 384, 470 ], [ 48, 79, 175, 245, 300, 380, 385, 471 ], [ 17, 80, 176, 246, 269, 349, 386, 472 ], [ 50, 81, 177, 247, 302, 382, 387, 473 ], [ 19, 82, 178, 248, 271, 351, 388, 474 ], [ 52, 83, 179, 249, 304, 320, 389, 475 ], [ 21, 84, 180, 250, 273, 353, 390, 476 ], [ 54, 85, 181, 251, 306, 322, 391, 477 ], [ 23, 86, 182, 252, 275, 355, 392, 478 ], [ 56, 87, 183, 253, 308, 324, 393, 479 ], [ 25, 88, 184, 254, 277, 357, 394, 480 ], [ 58, 89, 185, 255, 310, 326, 395, 481 ], [ 27, 90, 186, 192, 279, 359, 396, 482 ], [ 60, 91, 187, 193, 312, 328, 397, 483 ], [ 29, 92, 188, 194, 281, 361, 398, 484 ], [ 62, 93, 189, 195, 314, 330, 399, 485 ], [ 31, 94, 190, 196, 283, 363, 400, 486 ], [ 0, 95, 191, 197, 316, 332, 401, 487 ], [ 33, 96, 128, 198, 285, 365, 402, 488 ], [ 2, 97, 129, 199, 318, 334, 403, 489 ], [ 35, 98, 130, 200, 287, 367, 404, 490 ], [ 4, 99, 131, 201, 256, 336, 405, 491 ], [ 37, 100, 132, 202, 289, 369, 406, 492 ], [ 6, 101, 133, 203, 258, 338, 407, 493 ], [ 39, 102, 134, 204, 291, 371, 408, 494 ], [ 8, 103, 135, 205, 260, 340, 409, 495 ], [ 41, 104, 136, 206, 293, 373, 410, 496 ], [ 10, 105, 137, 207, 262, 342, 411, 497 ], [ 43, 106, 138, 208, 295, 375, 412, 498 ], [ 12, 107, 139, 209, 264, 344, 413, 499 ], [ 56, 86, 170, 248, 301, 342, 424, 468 ], [ 57, 87, 171, 249, 270, 343, 425, 469 ], [ 58, 88, 172, 250, 303, 344, 426, 470 ], [ 59, 89, 173, 251, 272, 345, 427, 471 ], [ 60, 90, 174, 252, 305, 346, 428, 472 ], [ 61, 91, 175, 253, 274, 347, 429, 473 ], [ 62, 92, 176, 254, 307, 348, 430, 474 ], [ 63, 93, 177, 255, 276, 349, 431, 475 ], [ 0, 94, 178, 192, 309, 350, 432, 476 ], [ 1, 95, 179, 193, 278, 351, 433, 477 ], [ 2, 96, 180, 194, 311, 352, 434, 478 ], [ 3, 97, 181, 195, 280, 353, 435, 479 ], [ 4, 98, 182, 196, 313, 354, 436, 480 ], [ 5, 99, 183, 197, 282, 355, 437, 481 ], [ 6, 100, 184, 198, 315, 356, 438, 482 ], [ 7, 101, 185, 199, 284, 357, 439, 483 ], [ 8, 102, 186, 200, 317, 358, 440, 484 ], [ 9, 103, 187, 201, 286, 359, 441, 485 ], [ 10, 104, 188, 202, 319, 360, 442, 486 ], [ 11, 105, 189, 203, 288, 361, 443, 487 ], [ 12, 106, 190, 204, 257, 362, 444, 488 ], [ 13, 107, 191, 205, 290, 363, 445, 489 ], [ 14, 108, 128, 206, 259, 364, 446, 490 ], [ 15, 109, 129, 207, 292, 365, 447, 491 ], [ 16, 110, 130, 208, 261, 366, 384, 492 ], [ 17, 111, 131, 209, 294, 367, 385, 493 ], [ 18, 112, 132, 210, 263, 368, 386, 494 ], [ 19, 113, 133, 211, 296, 369, 387, 495 ], [ 20, 114, 134, 212, 265, 370, 388, 496 ], [ 21, 115, 135, 213, 298, 371, 389, 497 ], [ 22, 116, 136, 214, 267, 372, 390, 498 ], [ 23, 117, 137, 215, 300, 373, 391, 499 ], [ 24, 118, 138, 216, 269, 374, 392, 500 ], [ 25, 119, 139, 217, 302, 375, 393, 501 ], [ 26, 120, 140, 218, 271, 376, 394, 502 ], [ 27, 121, 141, 219, 304, 377, 395, 503 ], [ 28, 122, 142, 220, 273, 378, 396, 504 ], [ 29, 123, 143, 221, 306, 379, 397, 505 ], [ 30, 124, 144, 222, 275, 380, 398, 506 ], [ 31, 125, 145, 223, 308, 381, 399, 507 ], [ 32, 126, 146, 224, 277, 382, 400, 508 ], [ 33, 127, 147, 225, 310, 383, 401, 509 ], [ 34, 64, 148, 226, 279, 320, 402, 510 ], [ 35, 65, 149, 227, 312, 321, 403, 511 ], [ 36, 66, 150, 228, 281, 322, 404, 448 ], [ 37, 67, 151, 229, 314, 323, 405, 449 ], [ 38, 68, 152, 230, 283, 324, 406, 450 ], [ 39, 69, 153, 231, 316, 325, 407, 451 ], [ 40, 70, 154, 232, 285, 326, 408, 452 ], [ 41, 71, 155, 233, 318, 327, 409, 453 ], [ 42, 72, 156, 234, 287, 328, 410, 454 ], [ 43, 73, 157, 235, 256, 329, 411, 455 ], [ 44, 74, 158, 236, 289, 330, 412, 456 ], [ 45, 75, 159, 237, 258, 331, 413, 457 ], [ 46, 76, 160, 238, 291, 332, 414, 458 ], [ 47, 77, 161, 239, 260, 333, 415, 459 ], [ 48, 78, 162, 240, 293, 334, 416, 460 ], [ 49, 79, 163, 241, 262, 335, 417, 461 ], [ 50, 80, 164, 242, 295, 336, 418, 462 ], [ 51, 81, 165, 243, 264, 337, 419, 463 ], [ 52, 82, 166, 244, 297, 338, 420, 464 ], [ 53, 83, 167, 245, 266, 339, 421, 465 ], [ 54, 84, 168, 246, 299, 340, 422, 466 ], [ 55, 85, 169, 247, 268, 341, 423, 467 ] ], "Z": [ [ 31, 125, 162, 196, 318, 334, 436, 453 ], [ 0, 94, 163, 197, 319, 335, 437, 486 ], [ 33, 127, 164, 198, 256, 336, 438, 455 ], [ 2, 96, 165, 199, 257, 337, 439, 488 ], [ 35, 65, 166, 200, 258, 338, 440, 457 ], [ 4, 98, 167, 201, 259, 339, 441, 490 ], [ 37, 67, 168, 202, 260, 340, 442, 459 ], [ 6, 100, 169, 203, 261, 341, 443, 492 ], [ 39, 69, 170, 204, 262, 342, 444, 461 ], [ 8, 102, 171, 205, 263, 343, 445, 494 ], [ 41, 71, 172, 206, 264, 344, 446, 463 ], [ 10, 104, 173, 207, 265, 345, 447, 496 ], [ 43, 73, 174, 208, 266, 346, 384, 465 ], [ 12, 106, 175, 209, 267, 347, 385, 498 ], [ 45, 75, 176, 210, 268, 348, 386, 467 ], [ 14, 108, 177, 211, 269, 349, 387, 500 ], [ 47, 77, 178, 212, 270, 350, 388, 469 ], [ 16, 110, 179, 213, 271, 351, 389, 502 ], [ 49, 79, 180, 214, 272, 352, 390, 471 ], [ 18, 112, 181, 215, 273, 353, 391, 504 ], [ 51, 81, 182, 216, 274, 354, 392, 473 ], [ 20, 114, 183, 217, 275, 355, 393, 506 ], [ 53, 83, 184, 218, 276, 356, 394, 475 ], [ 22, 116, 185, 219, 277, 357, 395, 508 ], [ 55, 85, 186, 220, 278, 358, 396, 477 ], [ 24, 118, 187, 221, 279, 359, 397, 510 ], [ 57, 87, 188, 222, 280, 360, 398, 479 ], [ 26, 120, 189, 223, 281, 361, 399, 448 ], [ 59, 89, 190, 224, 282, 362, 400, 481 ], [ 28, 122, 191, 225, 283, 363, 401, 450 ], [ 61, 91, 128, 226, 284, 364, 402, 483 ], [ 30, 124, 129, 227, 285, 365, 403, 452 ], [ 63, 93, 130, 228, 286, 366, 404, 485 ], [ 32, 126, 131, 229, 287, 367, 405, 454 ], [ 1, 95, 132, 230, 288, 368, 406, 487 ], [ 34, 64, 133, 231, 289, 369, 407, 456 ], [ 3, 97, 134, 232, 290, 370, 408, 489 ], [ 36, 66, 135, 233, 291, 371, 409, 458 ], [ 5, 99, 136, 234, 292, 372, 410, 491 ], [ 38, 68, 137, 235, 293, 373, 411, 460 ], [ 7, 101, 138, 236, 294, 374, 412, 493 ], [ 40, 70, 139, 237, 295, 375, 413, 462 ], [ 9, 103, 140, 238, 296, 376, 414, 495 ], [ 42, 72, 141, 239, 297, 377, 415, 464 ], [ 11, 105, 142, 240, 298, 378, 416, 497 ], [ 44, 74, 143, 241, 299, 379, 417, 466 ], [ 13, 107, 144, 242, 300, 380, 418, 499 ], [ 46, 76, 145, 243, 301, 381, 419, 468 ], [ 15, 109, 146, 244, 302, 382, 420, 501 ], [ 48, 78, 147, 245, 303, 383, 421, 470 ], [ 17, 111, 148, 246, 304, 320, 422, 503 ], [ 50, 80, 149, 247, 305, 321, 423, 472 ], [ 19, 113, 150, 248, 306, 322, 424, 505 ], [ 52, 82, 151, 249, 307, 323, 425, 474 ], [ 21, 115, 152, 250, 308, 324, 426, 507 ], [ 54, 84, 153, 251, 309, 325, 427, 476 ], [ 23, 117, 154, 252, 310, 326, 428, 509 ], [ 56, 86, 155, 253, 311, 327, 429, 478 ], [ 25, 119, 156, 254, 312, 328, 430, 511 ], [ 58, 88, 157, 255, 313, 329, 431, 480 ], [ 27, 121, 158, 192, 314, 330, 432, 449 ], [ 60, 90, 159, 193, 315, 331, 433, 482 ], [ 29, 123, 160, 194, 316, 332, 434, 451 ], [ 62, 92, 161, 195, 317, 333, 435, 484 ], [ 2, 102, 129, 194, 298, 371, 447, 484 ], [ 35, 71, 130, 227, 267, 372, 384, 453 ], [ 4, 104, 131, 196, 300, 373, 385, 486 ], [ 37, 73, 132, 229, 269, 374, 386, 455 ], [ 6, 106, 133, 198, 302, 375, 387, 488 ], [ 39, 75, 134, 231, 271, 376, 388, 457 ], [ 8, 108, 135, 200, 304, 377, 389, 490 ], [ 41, 77, 136, 233, 273, 378, 390, 459 ], [ 10, 110, 137, 202, 306, 379, 391, 492 ], [ 43, 79, 138, 235, 275, 380, 392, 461 ], [ 12, 112, 139, 204, 308, 381, 393, 494 ], [ 45, 81, 140, 237, 277, 382, 394, 463 ], [ 14, 114, 141, 206, 310, 383, 395, 496 ], [ 47, 83, 142, 239, 279, 320, 396, 465 ], [ 16, 116, 143, 208, 312, 321, 397, 498 ], [ 49, 85, 144, 241, 281, 322, 398, 467 ], [ 18, 118, 145, 210, 314, 323, 399, 500 ], [ 51, 87, 146, 243, 283, 324, 400, 469 ], [ 20, 120, 147, 212, 316, 325, 401, 502 ], [ 53, 89, 148, 245, 285, 326, 402, 471 ], [ 22, 122, 149, 214, 318, 327, 403, 504 ], [ 55, 91, 150, 247, 287, 328, 404, 473 ], [ 24, 124, 151, 216, 256, 329, 405, 506 ], [ 57, 93, 152, 249, 289, 330, 406, 475 ], [ 26, 126, 153, 218, 258, 331, 407, 508 ], [ 59, 95, 154, 251, 291, 332, 408, 477 ], [ 28, 64, 155, 220, 260, 333, 409, 510 ], [ 61, 97, 156, 253, 293, 334, 410, 479 ], [ 30, 66, 157, 222, 262, 335, 411, 448 ], [ 63, 99, 158, 255, 295, 336, 412, 481 ], [ 32, 68, 159, 224, 264, 337, 413, 450 ], [ 1, 101, 160, 193, 297, 338, 414, 483 ], [ 34, 70, 161, 226, 266, 339, 415, 452 ], [ 3, 103, 162, 195, 299, 340, 416, 485 ], [ 36, 72, 163, 228, 268, 341, 417, 454 ], [ 5, 105, 164, 197, 301, 342, 418, 487 ], [ 38, 74, 165, 230, 270, 343, 419, 456 ], [ 7, 107, 166, 199, 303, 344, 420, 489 ], [ 40, 76, 167, 232, 272, 345, 421, 458 ], [ 9, 109, 168, 201, 305, 346, 422, 491 ], [ 42, 78, 169, 234, 274, 347, 423, 460 ], [ 11, 111, 170, 203, 307, 348, 424, 493 ], [ 44, 80, 171, 236, 276, 349, 425, 462 ], [ 13, 113, 172, 205, 309, 350, 426, 495 ], [ 46, 82, 173, 238, 278, 351, 427, 464 ], [ 15, 115, 174, 207, 311, 352, 428, 497 ], [ 48, 84, 175, 240, 280, 353, 429, 466 ], [ 17, 117, 176, 209, 313, 354, 430, 499 ], [ 50, 86, 177, 242, 282, 355, 431, 468 ], [ 19, 119, 178, 211, 315, 356, 432, 501 ], [ 52, 88, 179, 244, 284, 357, 433, 470 ], [ 21, 121, 180, 213, 317, 358, 434, 503 ], [ 54, 90, 181, 246, 286, 359, 435, 472 ], [ 23, 123, 182, 215, 319, 360, 436, 505 ], [ 56, 92, 183, 248, 288, 361, 437, 474 ], [ 25, 125, 184, 217, 257, 362, 438, 507 ], [ 58, 94, 185, 250, 290, 363, 439, 476 ], [ 27, 127, 186, 219, 259, 364, 440, 509 ], [ 60, 96, 187, 252, 292, 365, 441, 478 ], [ 29, 65, 188, 221, 261, 366, 442, 511 ], [ 62, 98, 189, 254, 294, 367, 443, 480 ], [ 31, 67, 190, 223, 263, 368, 444, 449 ], [ 0, 100, 191, 192, 296, 369, 445, 482 ], [ 33, 69, 128, 225, 265, 370, 446, 451 ], [ 1, 64, 179, 243, 292, 320, 447, 463 ], [ 2, 97, 180, 244, 261, 353, 384, 464 ], [ 3, 66, 181, 245, 294, 322, 385, 465 ], [ 4, 99, 182, 246, 263, 355, 386, 466 ], [ 5, 68, 183, 247, 296, 324, 387, 467 ], [ 6, 101, 184, 248, 265, 357, 388, 468 ], [ 7, 70, 185, 249, 298, 326, 389, 469 ], [ 8, 103, 186, 250, 267, 359, 390, 470 ], [ 9, 72, 187, 251, 300, 328, 391, 471 ], [ 10, 105, 188, 252, 269, 361, 392, 472 ], [ 11, 74, 189, 253, 302, 330, 393, 473 ], [ 12, 107, 190, 254, 271, 363, 394, 474 ], [ 13, 76, 191, 255, 304, 332, 395, 475 ], [ 14, 109, 128, 192, 273, 365, 396, 476 ], [ 15, 78, 129, 193, 306, 334, 397, 477 ], [ 16, 111, 130, 194, 275, 367, 398, 478 ], [ 17, 80, 131, 195, 308, 336, 399, 479 ], [ 18, 113, 132, 196, 277, 369, 400, 480 ], [ 19, 82, 133, 197, 310, 338, 401, 481 ], [ 20, 115, 134, 198, 279, 371, 402, 482 ], [ 21, 84, 135, 199, 312, 340, 403, 483 ], [ 22, 117, 136, 200, 281, 373, 404, 484 ], [ 23, 86, 137, 201, 314, 342, 405, 485 ], [ 24, 119, 138, 202, 283, 375, 406, 486 ], [ 25, 88, 139, 203, 316, 344, 407, 487 ], [ 26, 121, 140, 204, 285, 377, 408, 488 ], [ 27, 90, 141, 205, 318, 346, 409, 489 ], [ 28, 123, 142, 206, 287, 379, 410, 490 ], [ 29, 92, 143, 207, 256, 348, 411, 491 ], [ 30, 125, 144, 208, 289, 381, 412, 492 ], [ 31, 94, 145, 209, 258, 350, 413, 493 ], [ 32, 127, 146, 210, 291, 383, 414, 494 ], [ 33, 96, 147, 211, 260, 352, 415, 495 ], [ 34, 65, 148, 212, 293, 321, 416, 496 ], [ 35, 98, 149, 213, 262, 354, 417, 497 ], [ 36, 67, 150, 214, 295, 323, 418, 498 ], [ 37, 100, 151, 215, 264, 356, 419, 499 ], [ 38, 69, 152, 216, 297, 325, 420, 500 ], [ 39, 102, 153, 217, 266, 358, 421, 501 ], [ 40, 71, 154, 218, 299, 327, 422, 502 ], [ 41, 104, 155, 219, 268, 360, 423, 503 ], [ 42, 73, 156, 220, 301, 329, 424, 504 ], [ 43, 106, 157, 221, 270, 362, 425, 505 ], [ 44, 75, 158, 222, 303, 331, 426, 506 ], [ 45, 108, 159, 223, 272, 364, 427, 507 ], [ 46, 77, 160, 224, 305, 333, 428, 508 ], [ 47, 110, 161, 225, 274, 366, 429, 509 ], [ 48, 79, 162, 226, 307, 335, 430, 510 ], [ 49, 112, 163, 227, 276, 368, 431, 511 ], [ 50, 81, 164, 228, 309, 337, 432, 448 ], [ 51, 114, 165, 229, 278, 370, 433, 449 ], [ 52, 83, 166, 230, 311, 339, 434, 450 ], [ 53, 116, 167, 231, 280, 372, 435, 451 ], [ 54, 85, 168, 232, 313, 341, 436, 452 ], [ 55, 118, 169, 233, 282, 374, 437, 453 ], [ 56, 87, 170, 234, 315, 343, 438, 454 ], [ 57, 120, 171, 235, 284, 376, 439, 455 ], [ 58, 89, 172, 236, 317, 345, 440, 456 ], [ 59, 122, 173, 237, 286, 378, 441, 457 ], [ 60, 91, 174, 238, 319, 347, 442, 458 ], [ 61, 124, 175, 239, 288, 380, 443, 459 ], [ 62, 93, 176, 240, 257, 349, 444, 460 ], [ 63, 126, 177, 241, 290, 382, 445, 461 ], [ 0, 95, 178, 242, 259, 351, 446, 462 ] ] }, "distance": { "d": 14, "X": { "value": 14, "confidence": "upper_bound", "witness": [ 19, 53, 61, 97, 106, 133, 134, 175, 215, 231, 353, 356, 402, 505 ] }, "Z": { "value": 14, "confidence": "upper_bound", "witness": [ 20, 45, 82, 89, 127, 147, 159, 183, 223, 297, 308, 388, 427, 481 ] } }, "provenance": { "authors": [ "@MathysRennela", "Okada, Koki", "Kasai, Kenta", "Maskara, Nishad" ], "construction": "Pair-partition CPM/GPM CSS code (Okada-Kasai arXiv:2607.14091 catalogue), (J,L,P)=(3,8,64), check weight 8; H_X and H_Z taken verbatim from the published instance at https://kasai.ict.eng.isct.ac.jp/pair_partition_cpm_css_codes_data/distance_records/apm_pp_additions_20260815/aod_absolute_512_132_14/APM-PP_512_132_14_AOD_optimized.npz (sha256 9965a946c91bf3170d1317e10cd1cb21395b92a5ac44c9907ada49a5f4fb82f1), structure and distance re-verified here", "origin": "baseline", "date": "2026-09-29", "model": "Mimo-V2.6-Flash", "notes": "Literature reproduction of a published instance from the Okada-Kasai pair-partition catalogue (https://kasai.ict.eng.isct.ac.jp/pair_partition_cpm_css_codes_20260714.html), not a new construction search. Equivalence checked at submission time: the dedup gate finds no exact or graph-equivalent existing entry, and verify/validate_candidate.py reports nothing dominating this code in its cell. The gate finds no existing entry this code dominates either, so it fills a gap in the cell rather than displacing anything.", "novelty": "known_parameters", "references": [ "arXiv:2607.14091" ] }, "family": "pair-partition-cpm" }