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