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