{ "schema_version": "0.2", "name": "[[676,13,16]] reduction of [[681,13,16]]", "code_type": "CSS", "n": 676, "k": 13, "checks": { "X": [ [ 6, 36, 37, 319, 350, 351 ], [ 7, 321 ], [ 8, 322 ], [ 9, 323 ], [ 10, 324 ], [ 11, 325 ], [ 45, 326, 327, 359 ], [ 0, 1, 15, 329 ], [ 3, 16, 48, 330, 362 ], [ 4, 49, 330, 331, 363 ], [ 5, 50, 331, 332, 364 ], [ 6, 51, 332, 333, 365 ], [ 7, 21, 52, 333, 366 ], [ 8, 21, 53, 334, 367 ], [ 9, 54, 334, 335, 368 ], [ 10, 55, 335, 336, 369 ], [ 11, 56, 336, 337, 370 ], [ 2, 13, 58, 339, 340, 373 ], [ 3, 14, 59, 340, 341, 374 ], [ 4, 15, 60, 341, 342, 375 ], [ 5, 16, 61, 342, 343, 376 ], [ 6, 17, 62, 343, 344, 377 ], [ 7, 18, 63, 344, 345, 378 ], [ 8, 19, 64, 345, 346, 379 ], [ 9, 20, 65, 346, 347, 380 ], [ 10, 21, 66, 347, 348, 381 ], [ 11, 22, 67, 348, 349, 382 ], [ 13, 24, 69, 351, 352, 385 ], [ 14, 25, 70, 352, 353, 386 ], [ 15, 26, 71, 353, 354, 387 ], [ 16, 27, 72, 354, 355, 388 ], [ 17, 28, 73, 355, 356, 389 ], [ 18, 29, 74, 356, 357, 390 ], [ 19, 30, 75, 357, 358, 391 ], [ 20, 31, 76, 358, 359, 392 ], [ 21, 32, 77, 359, 360, 393 ], [ 22, 33, 78, 360, 361, 394 ], [ 24, 35, 80, 362, 363, 396 ], [ 25, 36, 81, 363, 364, 397 ], [ 26, 37, 82, 364, 365, 398 ], [ 27, 38, 83, 365, 366, 399 ], [ 28, 39, 84, 366, 367, 400 ], [ 29, 40, 85, 367, 368, 401 ], [ 30, 41, 86, 368, 369, 402 ], [ 31, 42, 87, 369, 370, 403 ], [ 32, 43, 88, 370, 371, 404 ], [ 33, 44, 89, 371, 372, 405 ], [ 35, 46, 91, 374, 375, 408 ], [ 36, 47, 92, 375, 376, 409 ], [ 37, 48, 93, 376, 377, 410 ], [ 38, 49, 94, 377, 378, 411 ], [ 39, 50, 95, 378, 379, 412 ], [ 40, 51, 96, 379, 380, 413 ], [ 41, 52, 97, 380, 381, 414 ], [ 42, 53, 98, 381, 382, 415 ], [ 43, 54, 99, 382, 383, 416 ], [ 44, 55, 100, 383, 384, 417 ], [ 46, 57, 102, 386, 387, 420 ], [ 47, 58, 103, 387, 388, 421 ], [ 48, 59, 104, 388, 389, 422 ], [ 49, 60, 105, 389, 390, 423 ], [ 50, 61, 106, 390, 391, 424 ], [ 51, 62, 107, 391, 392, 425 ], [ 52, 63, 108, 392, 393, 426 ], [ 53, 64, 109, 393, 394, 427 ], [ 54, 65, 110, 394, 395, 428 ], [ 57, 68, 112, 397, 398, 432 ], [ 58, 69, 113, 398, 399, 433 ], [ 59, 70, 114, 399, 400, 434 ], [ 60, 71, 115, 400, 401, 435 ], [ 61, 72, 116, 401, 402, 436 ], [ 62, 73, 117, 402, 403, 437 ], [ 63, 74, 118, 403, 404, 438 ], [ 64, 75, 119, 404, 405, 439 ], [ 65, 76, 120, 405, 406, 440 ], [ 66, 77, 121, 406, 407, 441 ], [ 68, 79, 123, 409, 410, 444 ], [ 69, 80, 124, 410, 411, 445 ], [ 70, 81, 125, 411, 412, 446 ], [ 71, 82, 126, 412, 413, 447 ], [ 72, 83, 127, 413, 414, 448 ], [ 73, 84, 128, 414, 415, 449 ], [ 74, 85, 129, 415, 416, 450 ], [ 75, 86, 130, 416, 417, 451 ], [ 76, 87, 131, 417, 418, 452 ], [ 77, 88, 132, 418, 419, 453 ], [ 80, 91, 135, 422, 423, 456 ], [ 81, 92, 136, 423, 424, 457 ], [ 82, 93, 137, 424, 425, 458 ], [ 83, 94, 138, 425, 426, 459 ], [ 84, 95, 139, 426, 427, 460 ], [ 85, 96, 140, 427, 428, 461 ], [ 86, 97, 141, 428, 429, 462 ], [ 87, 98, 142, 429, 430, 463 ], [ 88, 99, 143, 430, 431, 464 ], [ 90, 101, 145, 433, 434, 467 ], [ 91, 102, 146, 434, 435, 468 ], [ 92, 103, 147, 435, 436, 469 ], [ 93, 104, 148, 436, 437, 470 ], [ 94, 105, 149, 437, 438, 471 ], [ 95, 106, 150, 438, 439, 472 ], [ 96, 107, 151, 439, 440, 473 ], [ 97, 108, 152, 440, 441, 474 ], [ 98, 109, 153, 441, 442, 475 ], [ 99, 110, 154, 442, 443, 476 ], [ 101, 111, 156, 445, 446, 478 ], [ 102, 112, 157, 446, 447, 479 ], [ 103, 113, 158, 447, 448, 480 ], [ 104, 114, 159, 448, 449, 481 ], [ 105, 115, 160, 449, 450, 482 ], [ 106, 116, 161, 450, 451, 483 ], [ 107, 117, 162, 451, 452, 484 ], [ 108, 118, 163, 452, 453, 485 ], [ 109, 119, 164, 453, 454, 486 ], [ 110, 120, 165, 454, 455, 487 ], [ 111, 122, 167, 456, 457, 490 ], [ 112, 123, 168, 457, 458, 491 ], [ 113, 124, 169, 458, 459, 492 ], [ 114, 125, 170, 459, 460, 493 ], [ 115, 126, 171, 460, 461, 494 ], [ 116, 127, 172, 461, 462, 495 ], [ 117, 128, 173, 462, 463, 496 ], [ 118, 129, 174, 463, 464, 497 ], [ 119, 130, 175, 464, 465, 498 ], [ 120, 131, 176, 465, 466, 499 ], [ 122, 133, 178, 468, 469, 502 ], [ 123, 134, 179, 469, 470, 503 ], [ 124, 135, 180, 470, 471, 504 ], [ 125, 136, 181, 471, 472, 505 ], [ 126, 137, 182, 472, 473, 506 ], [ 127, 138, 183, 473, 474, 507 ], [ 128, 139, 184, 474, 475, 508 ], [ 129, 140, 185, 475, 476, 509 ], [ 130, 141, 186, 476, 477, 510 ], [ 133, 144, 188, 479, 480, 514 ], [ 134, 145, 189, 480, 481, 515 ], [ 135, 146, 190, 481, 482, 516 ], [ 136, 147, 191, 482, 483, 517 ], [ 137, 148, 192, 483, 484, 518 ], [ 138, 149, 193, 484, 485, 519 ], [ 139, 150, 194, 485, 486, 520 ], [ 140, 151, 195, 486, 487, 521 ], [ 141, 152, 196, 487, 488, 522 ], [ 142, 153, 197, 488, 489, 523 ], [ 144, 155, 199, 491, 492, 525 ], [ 145, 156, 200, 492, 493, 526 ], [ 146, 157, 201, 493, 494, 527 ], [ 147, 158, 202, 494, 495, 528 ], [ 148, 159, 203, 495, 496, 529 ], [ 149, 160, 204, 496, 497, 530 ], [ 150, 161, 205, 497, 498, 531 ], [ 151, 162, 206, 498, 499, 532 ], [ 152, 163, 207, 499, 500, 533 ], [ 153, 164, 208, 500, 501, 534 ], [ 155, 166, 210, 503, 504, 537 ], [ 156, 167, 211, 504, 505, 538 ], [ 157, 168, 212, 505, 506, 539 ], [ 158, 169, 213, 506, 507, 540 ], [ 159, 170, 214, 507, 508, 541 ], [ 160, 171, 215, 508, 509, 542 ], [ 161, 172, 216, 509, 510, 543 ], [ 162, 173, 217, 510, 511, 544 ], [ 163, 174, 218, 511, 512, 545 ], [ 164, 175, 219, 512, 513, 546 ], [ 166, 177, 221, 515, 516, 549 ], [ 167, 178, 222, 516, 517, 550 ], [ 168, 179, 223, 517, 518, 551 ], [ 169, 180, 224, 518, 519, 552 ], [ 170, 181, 225, 519, 520, 553 ], [ 171, 182, 226, 520, 521, 554 ], [ 172, 183, 227, 521, 522, 555 ], [ 173, 184, 228, 522, 523, 556 ], [ 174, 185, 229, 523, 524, 557 ], [ 178, 188, 232, 527, 528, 561 ], [ 179, 189, 233, 528, 529, 562 ], [ 180, 190, 234, 529, 530, 563 ], [ 181, 191, 235, 530, 531, 564 ], [ 182, 192, 236, 531, 532, 565 ], [ 183, 193, 237, 532, 533, 566 ], [ 184, 194, 238, 533, 534, 567 ], [ 185, 195, 239, 534, 535, 568 ], [ 186, 196, 240, 535, 536, 569 ], [ 187, 198, 242, 538, 539, 572 ], [ 188, 199, 243, 539, 540, 573 ], [ 189, 200, 244, 540, 541, 574 ], [ 190, 201, 245, 541, 542, 575 ], [ 191, 202, 246, 542, 543, 576 ], [ 192, 203, 247, 543, 544, 577 ], [ 193, 204, 248, 544, 545, 578 ], [ 194, 205, 249, 545, 546, 579 ], [ 195, 206, 250, 546, 547, 580 ], [ 196, 207, 251, 547, 548, 581 ], [ 198, 209, 253, 550, 551, 584 ], [ 199, 210, 254, 551, 552, 585 ], [ 200, 211, 255, 552, 553, 586 ], [ 201, 212, 256, 553, 554, 587 ], [ 202, 213, 257, 554, 555, 588 ], [ 203, 214, 258, 555, 556, 589 ], [ 204, 215, 259, 556, 557, 590 ], [ 205, 216, 260, 557, 558, 591 ], [ 206, 217, 261, 558, 559, 592 ], [ 207, 218, 262, 559, 560, 593 ], [ 209, 220, 264, 561, 562, 596 ], [ 210, 221, 265, 562, 563, 597 ], [ 211, 222, 266, 563, 564, 598 ], [ 212, 223, 267, 564, 565, 599 ], [ 213, 224, 268, 565, 566, 600 ], [ 214, 225, 269, 566, 567, 601 ], [ 215, 226, 270, 567, 568, 602 ], [ 216, 227, 271, 568, 569, 603 ], [ 217, 228, 272, 569, 570, 604 ], [ 218, 229, 273, 570, 571, 605 ], [ 220, 230, 275, 573, 574, 608 ], [ 221, 231, 276, 574, 575, 609 ], [ 222, 232, 277, 575, 576, 610 ], [ 223, 233, 278, 576, 577, 611 ], [ 224, 234, 279, 577, 578, 612 ], [ 225, 235, 280, 578, 579, 613 ], [ 226, 236, 281, 579, 580, 614 ], [ 227, 237, 282, 580, 581, 615 ], [ 228, 238, 283, 581, 582, 616 ], [ 229, 239, 284, 582, 583, 617 ], [ 230, 241, 286, 585, 586, 620 ], [ 231, 242, 287, 586, 587, 621 ], [ 232, 243, 288, 587, 588, 622 ], [ 233, 244, 289, 588, 589, 623 ], [ 234, 245, 290, 589, 590, 624 ], [ 235, 246, 291, 590, 591, 625 ], [ 236, 247, 292, 591, 592, 626 ], [ 237, 248, 293, 592, 593, 627 ], [ 238, 249, 294, 593, 594, 628 ], [ 239, 250, 295, 594, 595, 629 ], [ 241, 252, 297, 597, 598, 632 ], [ 242, 253, 298, 598, 599, 633 ], [ 243, 254, 299, 599, 600, 634 ], [ 244, 255, 300, 600, 601, 635 ], [ 245, 256, 301, 601, 602, 636 ], [ 246, 257, 302, 602, 603, 637 ], [ 247, 258, 303, 603, 604, 638 ], [ 248, 259, 304, 604, 605, 639 ], [ 249, 260, 305, 605, 606, 640 ], [ 250, 261, 306, 606, 607, 641 ], [ 252, 263, 308, 609, 610, 644 ], [ 253, 264, 309, 610, 611, 645 ], [ 254, 265, 310, 611, 612, 646 ], [ 255, 266, 311, 612, 613, 647 ], [ 256, 267, 312, 613, 614, 648 ], [ 257, 268, 313, 614, 615, 649 ], [ 258, 269, 314, 615, 616, 650 ], [ 259, 270, 315, 616, 617, 651 ], [ 260, 271, 316, 617, 618, 652 ], [ 261, 272, 317, 618, 619, 653 ], [ 3, 318 ], [ 4, 319 ], [ 14, 328 ], [ 15, 329 ], [ 29, 342 ], [ 30, 343 ], [ 32, 345 ], [ 33, 346 ], [ 5, 36, 319, 350 ], [ 6, 38, 321, 352 ], [ 7, 39, 322, 353 ], [ 8, 40, 323, 354 ], [ 9, 41, 324, 355 ], [ 10, 42, 325, 356 ], [ 11, 43, 44, 326, 357, 358 ], [ 12, 44, 326, 358 ], [ 17, 330 ], [ 18, 331 ], [ 19, 332 ], [ 20, 333 ], [ 22, 334 ], [ 23, 335 ], [ 0, 25, 338 ], [ 26, 339 ], [ 27, 340 ], [ 28, 341 ], [ 31, 344 ], [ 34, 347 ], [ 296, 307, 657, 658 ], [ 297, 308, 658, 659 ], [ 298, 309, 659, 660 ], [ 299, 310, 660, 661 ], [ 300, 311, 661, 662 ], [ 301, 312, 662, 663 ], [ 302, 313, 663, 664 ], [ 303, 314, 664, 665 ], [ 304, 305, 315, 316, 665, 666 ], [ 274, 285, 633, 634, 667 ], [ 276, 287, 635, 636, 668 ], [ 277, 288, 308, 636, 637, 668 ], [ 278, 289, 637, 638, 669 ], [ 279, 290, 638, 639, 670 ], [ 280, 291, 639, 640, 671 ], [ 281, 292, 640, 641, 672 ], [ 283, 294, 642, 643, 673 ], [ 263, 274, 621, 622, 656 ], [ 264, 275, 622, 623, 657 ], [ 265, 276, 623, 624, 658 ], [ 266, 277, 624, 625, 659 ], [ 267, 278, 625, 626, 660 ], [ 268, 279, 626, 627, 661 ], [ 269, 280, 627, 628, 662 ], [ 270, 281, 628, 629, 663 ], [ 271, 282, 629, 630, 664 ], [ 272, 283, 630, 631, 665 ], [ 275, 286, 307, 634, 635, 668 ], [ 308, 309, 668, 669 ], [ 310, 669, 670 ], [ 311, 670, 671 ], [ 312, 671, 672 ], [ 282, 293, 313, 641, 642, 672 ], [ 282, 293, 314, 641, 642, 673 ], [ 315, 673, 674 ], [ 316, 674, 675 ], [ 285, 296, 645, 646 ], [ 286, 297, 646, 647 ], [ 287, 298, 647, 648 ], [ 288, 299, 648, 649 ], [ 289, 300, 649, 650 ], [ 290, 301, 650, 651 ], [ 291, 302, 651, 652 ], [ 292, 303, 652, 653 ], [ 293, 304, 653, 654 ], [ 294, 305, 654, 655 ], [ 36, 319, 320, 350 ] ], "Z": [ [ 4, 35, 36, 319, 363, 375 ], [ 5, 36, 37, 320, 364, 376 ], [ 6, 37, 38, 365, 377 ], [ 7, 38, 39, 321, 366, 378 ], [ 8, 39, 40, 322, 367, 379 ], [ 9, 40, 41, 323, 368, 380 ], [ 10, 41, 42, 324, 369, 381 ], [ 11, 42, 43, 325, 370, 382 ], [ 12, 43, 44, 371, 383 ], [ 45, 327 ], [ 15, 46, 47, 329, 375, 387 ], [ 16, 47, 48, 376, 388 ], [ 17, 48, 49, 330, 377, 389 ], [ 18, 49, 50, 331, 378, 390 ], [ 19, 50, 51, 332, 379, 391 ], [ 20, 51, 52, 333, 380, 392 ], [ 21, 52, 53, 381, 393 ], [ 22, 53, 54, 334, 382, 394 ], [ 23, 54, 55, 335, 383, 395 ], [ 56, 337 ], [ 26, 57, 58, 339, 387, 398 ], [ 27, 58, 59, 340, 388, 399 ], [ 28, 59, 60, 341, 389, 400 ], [ 29, 60, 61, 342, 390, 401 ], [ 30, 61, 62, 343, 391, 402 ], [ 31, 62, 63, 344, 392, 403 ], [ 32, 63, 64, 345, 393, 404 ], [ 33, 64, 65, 346, 394, 405 ], [ 34, 65, 66, 347, 395, 406 ], [ 67, 349 ], [ 37, 68, 69, 351, 398, 410 ], [ 38, 69, 70, 352, 399, 411 ], [ 39, 70, 71, 353, 400, 412 ], [ 40, 71, 72, 354, 401, 413 ], [ 41, 72, 73, 355, 402, 414 ], [ 42, 73, 74, 356, 403, 415 ], [ 43, 74, 75, 357, 404, 416 ], [ 44, 75, 76, 358, 405, 417 ], [ 45, 76, 77, 359, 406, 418 ], [ 48, 79, 80, 362, 410, 422 ], [ 49, 80, 81, 363, 411, 423 ], [ 50, 81, 82, 364, 412, 424 ], [ 51, 82, 83, 365, 413, 425 ], [ 52, 83, 84, 366, 414, 426 ], [ 53, 84, 85, 367, 415, 427 ], [ 54, 85, 86, 368, 416, 428 ], [ 55, 86, 87, 369, 417, 429 ], [ 56, 87, 88, 370, 418, 430 ], [ 59, 90, 91, 374, 422, 434 ], [ 60, 91, 92, 375, 423, 435 ], [ 61, 92, 93, 376, 424, 436 ], [ 62, 93, 94, 377, 425, 437 ], [ 63, 94, 95, 378, 426, 438 ], [ 64, 95, 96, 379, 427, 439 ], [ 65, 96, 97, 380, 428, 440 ], [ 66, 97, 98, 381, 429, 441 ], [ 67, 98, 99, 382, 430, 442 ], [ 99, 100, 383, 431, 443 ], [ 70, 101, 102, 386, 434, 446 ], [ 71, 102, 103, 387, 435, 447 ], [ 72, 103, 104, 388, 436, 448 ], [ 73, 104, 105, 389, 437, 449 ], [ 74, 105, 106, 390, 438, 450 ], [ 75, 106, 107, 391, 439, 451 ], [ 76, 107, 108, 392, 440, 452 ], [ 77, 108, 109, 393, 441, 453 ], [ 78, 109, 110, 394, 442, 454 ], [ 110, 395, 443, 455 ], [ 81, 111, 112, 397, 446, 457 ], [ 82, 112, 113, 398, 447, 458 ], [ 83, 113, 114, 399, 448, 459 ], [ 84, 114, 115, 400, 449, 460 ], [ 85, 115, 116, 401, 450, 461 ], [ 86, 116, 117, 402, 451, 462 ], [ 87, 117, 118, 403, 452, 463 ], [ 88, 118, 119, 404, 453, 464 ], [ 89, 119, 120, 405, 454, 465 ], [ 120, 121, 406, 455, 466 ], [ 92, 122, 123, 409, 457, 469 ], [ 93, 123, 124, 410, 458, 470 ], [ 94, 124, 125, 411, 459, 471 ], [ 95, 125, 126, 412, 460, 472 ], [ 96, 126, 127, 413, 461, 473 ], [ 97, 127, 128, 414, 462, 474 ], [ 98, 128, 129, 415, 463, 475 ], [ 99, 129, 130, 416, 464, 476 ], [ 100, 130, 131, 417, 465, 477 ], [ 131, 132, 418, 466 ], [ 103, 133, 134, 421, 469, 480 ], [ 104, 134, 135, 422, 470, 481 ], [ 105, 135, 136, 423, 471, 482 ], [ 106, 136, 137, 424, 472, 483 ], [ 107, 137, 138, 425, 473, 484 ], [ 108, 138, 139, 426, 474, 485 ], [ 109, 139, 140, 427, 475, 486 ], [ 110, 140, 141, 428, 476, 487 ], [ 141, 142, 429, 477, 488 ], [ 142, 143, 430, 489 ], [ 113, 144, 145, 433, 480, 492 ], [ 114, 145, 146, 434, 481, 493 ], [ 115, 146, 147, 435, 482, 494 ], [ 116, 147, 148, 436, 483, 495 ], [ 117, 148, 149, 437, 484, 496 ], [ 118, 149, 150, 438, 485, 497 ], [ 119, 150, 151, 439, 486, 498 ], [ 120, 151, 152, 440, 487, 499 ], [ 121, 152, 153, 441, 488, 500 ], [ 153, 154, 442, 489, 501 ], [ 124, 155, 156, 445, 492, 504 ], [ 125, 156, 157, 446, 493, 505 ], [ 126, 157, 158, 447, 494, 506 ], [ 127, 158, 159, 448, 495, 507 ], [ 128, 159, 160, 449, 496, 508 ], [ 129, 160, 161, 450, 497, 509 ], [ 130, 161, 162, 451, 498, 510 ], [ 131, 162, 163, 452, 499, 511 ], [ 132, 163, 164, 453, 500, 512 ], [ 164, 165, 454, 501, 513 ], [ 135, 166, 167, 456, 504, 516 ], [ 136, 167, 168, 457, 505, 517 ], [ 137, 168, 169, 458, 506, 518 ], [ 138, 169, 170, 459, 507, 519 ], [ 139, 170, 171, 460, 508, 520 ], [ 140, 171, 172, 461, 509, 521 ], [ 141, 172, 173, 462, 510, 522 ], [ 142, 173, 174, 463, 511, 523 ], [ 143, 174, 175, 464, 512, 524 ], [ 175, 176, 465, 513 ], [ 146, 177, 178, 468, 516, 527 ], [ 147, 178, 179, 469, 517, 528 ], [ 148, 179, 180, 470, 518, 529 ], [ 149, 180, 181, 471, 519, 530 ], [ 150, 181, 182, 472, 520, 531 ], [ 151, 182, 183, 473, 521, 532 ], [ 152, 183, 184, 474, 522, 533 ], [ 153, 184, 185, 475, 523, 534 ], [ 154, 185, 186, 476, 524, 535 ], [ 186, 477, 536 ], [ 157, 187, 188, 479, 527, 539 ], [ 158, 188, 189, 480, 528, 540 ], [ 159, 189, 190, 481, 529, 541 ], [ 160, 190, 191, 482, 530, 542 ], [ 161, 191, 192, 483, 531, 543 ], [ 162, 192, 193, 484, 532, 544 ], [ 163, 193, 194, 485, 533, 545 ], [ 164, 194, 195, 486, 534, 546 ], [ 165, 195, 196, 487, 535, 547 ], [ 196, 197, 488, 536, 548 ], [ 168, 198, 199, 491, 539, 551 ], [ 169, 199, 200, 492, 540, 552 ], [ 170, 200, 201, 493, 541, 553 ], [ 171, 201, 202, 494, 542, 554 ], [ 172, 202, 203, 495, 543, 555 ], [ 173, 203, 204, 496, 544, 556 ], [ 174, 204, 205, 497, 545, 557 ], [ 175, 205, 206, 498, 546, 558 ], [ 176, 206, 207, 499, 547, 559 ], [ 207, 208, 500, 548, 560 ], [ 179, 209, 210, 503, 551, 562 ], [ 180, 210, 211, 504, 552, 563 ], [ 181, 211, 212, 505, 553, 564 ], [ 182, 212, 213, 506, 554, 565 ], [ 183, 213, 214, 507, 555, 566 ], [ 184, 214, 215, 508, 556, 567 ], [ 185, 215, 216, 509, 557, 568 ], [ 186, 216, 217, 510, 558, 569 ], [ 217, 218, 511, 559, 570 ], [ 218, 219, 512, 560, 571 ], [ 189, 220, 221, 515, 562, 574 ], [ 190, 221, 222, 516, 563, 575 ], [ 191, 222, 223, 517, 564, 576 ], [ 192, 223, 224, 518, 565, 577 ], [ 193, 224, 225, 519, 566, 578 ], [ 194, 225, 226, 520, 567, 579 ], [ 195, 226, 227, 521, 568, 580 ], [ 196, 227, 228, 522, 569, 581 ], [ 197, 228, 229, 523, 570, 582 ], [ 229, 524, 571, 583 ], [ 200, 230, 231, 526, 574, 586 ], [ 201, 231, 232, 527, 575, 587 ], [ 202, 232, 233, 528, 576, 588 ], [ 203, 233, 234, 529, 577, 589 ], [ 204, 234, 235, 530, 578, 590 ], [ 205, 235, 236, 531, 579, 591 ], [ 206, 236, 237, 532, 580, 592 ], [ 207, 237, 238, 533, 581, 593 ], [ 208, 238, 239, 534, 582, 594 ], [ 239, 240, 535, 583, 595 ], [ 211, 241, 242, 538, 586, 598 ], [ 212, 242, 243, 539, 587, 599 ], [ 213, 243, 244, 540, 588, 600 ], [ 214, 244, 245, 541, 589, 601 ], [ 215, 245, 246, 542, 590, 602 ], [ 216, 246, 247, 543, 591, 603 ], [ 217, 247, 248, 544, 592, 604 ], [ 218, 248, 249, 545, 593, 605 ], [ 219, 249, 250, 546, 594, 606 ], [ 250, 251, 547, 595, 607 ], [ 222, 252, 253, 550, 598, 610 ], [ 223, 253, 254, 551, 599, 611 ], [ 224, 254, 255, 552, 600, 612 ], [ 225, 255, 256, 553, 601, 613 ], [ 226, 256, 257, 554, 602, 614 ], [ 227, 257, 258, 555, 603, 615 ], [ 228, 258, 259, 556, 604, 616 ], [ 229, 259, 260, 557, 605, 617 ], [ 260, 261, 558, 606, 618 ], [ 261, 262, 559, 607, 619 ], [ 232, 263, 264, 561, 610, 622 ], [ 233, 264, 265, 562, 611, 623 ], [ 234, 265, 266, 563, 612, 624 ], [ 235, 266, 267, 564, 613, 625 ], [ 236, 267, 268, 565, 614, 626 ], [ 237, 268, 269, 566, 615, 627 ], [ 238, 269, 270, 567, 616, 628 ], [ 239, 270, 271, 568, 617, 629 ], [ 240, 271, 272, 569, 618, 630 ], [ 272, 273, 570, 619, 631 ], [ 243, 274, 275, 573, 622, 634 ], [ 244, 275, 276, 574, 623, 635 ], [ 245, 276, 277, 575, 624, 636 ], [ 246, 277, 278, 576, 625, 637 ], [ 247, 278, 279, 577, 626, 638 ], [ 248, 279, 280, 578, 627, 639 ], [ 249, 280, 281, 579, 628, 640 ], [ 250, 281, 282, 580, 629, 641 ], [ 251, 282, 283, 581, 630, 642 ], [ 283, 284, 582, 631, 643 ], [ 254, 285, 286, 585, 634, 646 ], [ 255, 286, 287, 586, 635, 647 ], [ 256, 287, 288, 587, 636, 648 ], [ 257, 288, 289, 588, 637, 649 ], [ 258, 289, 290, 589, 638, 650 ], [ 259, 290, 291, 590, 639, 651 ], [ 260, 291, 292, 591, 640, 652 ], [ 261, 292, 293, 592, 641, 653 ], [ 262, 293, 294, 593, 642, 654 ], [ 294, 295, 594, 643, 655 ], [ 265, 296, 297, 597, 646, 658 ], [ 266, 297, 298, 598, 647, 659 ], [ 267, 298, 299, 599, 648, 660 ], [ 268, 299, 300, 600, 649, 661 ], [ 269, 300, 301, 601, 650, 662 ], [ 270, 301, 302, 602, 651, 663 ], [ 271, 302, 303, 603, 652, 664 ], [ 272, 303, 304, 604, 653, 665 ], [ 273, 304, 305, 605, 654 ], [ 305, 306, 606, 655, 666 ], [ 276, 307, 308, 609, 658, 668 ], [ 277, 308, 309, 610, 659 ], [ 278, 309, 310, 611, 660, 669 ], [ 279, 310, 311, 612, 661, 670 ], [ 280, 311, 312, 613, 662, 671 ], [ 281, 312, 313, 614, 663, 672 ], [ 282, 313, 314, 615, 664 ], [ 283, 314, 315, 616, 665, 673 ], [ 284, 315, 316, 617, 674 ], [ 316, 317, 618, 666, 675 ], [ 3, 35, 318, 362, 374 ], [ 14, 46, 328, 374, 386 ], [ 25, 57, 338, 386, 397 ], [ 36, 68, 350, 397, 409 ], [ 47, 79, 409, 421 ], [ 58, 90, 373, 421, 433 ], [ 69, 101, 385, 433, 445 ], [ 80, 111, 396, 445, 456 ], [ 91, 122, 408, 456, 468 ], [ 102, 133, 420, 468, 479 ], [ 112, 144, 432, 479, 491 ], [ 123, 155, 444, 491, 503 ], [ 134, 166, 503, 515 ], [ 145, 177, 467, 515, 526 ], [ 156, 187, 478, 526, 538 ], [ 167, 198, 490, 538, 550 ], [ 178, 209, 502, 550, 561 ], [ 188, 220, 514, 561, 573 ], [ 199, 230, 525, 573, 585 ], [ 210, 241, 537, 585, 597 ], [ 221, 252, 549, 597, 609 ], [ 231, 263, 609, 621 ], [ 242, 274, 572, 621, 633 ], [ 253, 285, 584, 633, 645 ], [ 264, 296, 596, 645, 657 ], [ 275, 307, 608, 657 ], [ 2, 373 ], [ 13, 373, 385 ], [ 24, 385, 396 ], [ 35, 396, 408 ], [ 46, 408, 420 ], [ 57, 420, 432 ], [ 68, 432, 444 ], [ 79, 444 ], [ 90, 467 ], [ 101, 467, 478 ], [ 111, 478, 490 ], [ 122, 490, 502 ], [ 133, 502, 514 ], [ 144, 514, 525 ], [ 155, 525, 537 ], [ 166, 537, 549 ], [ 177, 549 ], [ 187, 572 ], [ 198, 572, 584 ], [ 209, 584, 596 ], [ 220, 596, 608 ], [ 230, 608, 620 ], [ 241, 620, 632 ], [ 252, 632, 644 ], [ 263, 644, 656 ], [ 274, 656, 667 ], [ 89, 372 ], [ 100, 384 ], [ 121, 407 ], [ 132, 419 ], [ 143, 431 ], [ 154, 443 ], [ 165, 455 ], [ 176, 466 ], [ 197, 489 ], [ 208, 501 ], [ 219, 513 ], [ 240, 536 ], [ 251, 548 ], [ 262, 560 ], [ 273, 571 ], [ 284, 583 ], [ 295, 595 ], [ 317, 619 ], [ 77, 78, 360, 407, 419 ], [ 88, 89, 371, 419, 431 ], [ 78, 361 ], [ 306, 607 ], [ 44, 326, 327, 372, 384 ], [ 55, 336, 337, 384 ], [ 66, 348, 349, 407 ], [ 0, 1, 338 ] ] }, "distance": { "d": 16, "X": { "value": 16, "confidence": "upper_bound", "witness": [ 343, 355, 356, 402, 415, 427, 439, 451, 475, 498, 534, 546, 594, 655, 666, 675 ], "witness_provenance": { "found_by": [ "@dorakingx" ], "date": "2026-10-05", "found_at_samples": 20000, "survived_samples": 20000000, "tool": "gf2_fast RIS ladder (verify/gf2_fast.cpp), both sides searched jointly", "seeds": [ 777001, 777138, 777275, 777412, 777549 ] } }, "Z": { "value": 16, "confidence": "upper_bound", "witness": [ 176, 395, 428, 430, 461, 462, 463, 464, 465, 494, 527, 528, 562, 596, 597, 632 ], "witness_provenance": { "found_by": [ "@dorakingx" ], "date": "2026-10-05", "found_at_samples": 4000, "survived_samples": 20000000, "tool": "gf2_fast RIS in the packaging search; the ladder searched both sides jointly", "seeds": [ 7, 777001, 777138, 777275, 777412, 777549 ] } } }, "provenance": { "authors": [ "@dorakingx" ], "construction": "Reduction of the board's codes/681-13-16.json ([[681,13,16]]) by 5 qubits at unchanged k, unchanged check-weight class and unchanged locality class, by one move applied to a fixpoint: graft a qubit away using a low-weight element of the stabilizer ROW SPACE. Let S be an element of the row space of H_X with support T and let a be in T. Replace one generator of the subset summing to S by S itself -- the span is unchanged, that generator being S plus the rest of the subset -- and add S into every other X row meeting a, so that a survives only in S. Then apply the CNOT fan-out from a to T\\{a}, which acts on the check matrices as H_X[:, b] ^= H_X[:, a] and H_Z[:, a] ^= H_Z[:, b] for each b in T\\{a}. Only S still meets a, so the first substitution turns S into the weight-1 stabilizer X_a and leaves every other X row alone; the second zeroes column a of H_Z, because commutation forces every Z row to meet T an even number of times. Qubit a is then disentangled and is deleted: n -> n-1, k unchanged, and the Z rows only LOSE an index, so their weights and support diameters cannot rise. The weight of S separates three regimes, and the difference is entirely in the clearing step R ^= S. |S| = 1: nothing is added anywhere, so the weights, the radius AND THE DISTANCE are all preserved exactly, and no distance search is needed -- this is the row-space form of the weight-1 stabilizer cleanup of Liang, Eberhardt and Chen (arXiv:2504.08887 Sec. III D step 4), which the implementation in research/local2d/boundary_engine.py applies only to literal weight-1 generator ROWS. |S| = 2: R loses a and toggles one other index, so its weight changes by 0 or -2 and can never rise. |S| >= 3: R can grow, so every touched row is checked against the code's weight class and its locality radius, measured in the source's own layout. This generalises the capped merge-graft I introduced with [[454,8,17]], which only ever built S from the generators a single qubit happens to lie in. Here the accepted grafts were |S| = 4: 1, |S| = 5: 1, |S| = 6: 2. Low-weight row-space elements are enumerated as sums of at most three checks with a connected overlap pattern. Every graft with |S| >= 2 was accepted only if k was unchanged and a bit-packed RIS search found nothing lighter than 16, screened once and confirmed twice with independent seeds; those in-loop rungs are a filter, not the evidence. QUBIT POSITIONS ARE THE SOURCE'S: every surviving qubit keeps the coordinate it has in codes/681-13-16.json, so the layout is inherited rather than re-derived, and the reduction only deletes. The surviving qubits' indices into the source numbering are [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11]... (full list implied by the coordinates in this file).", "references": [ "arXiv:2504.08887" ], "date": "2026-10-05", "notes": "Derived from codes/681-13-16.json, not an independent construction; that entry is my own earlier reduction, and this one goes further with a larger move set. The gate reports no exact duplicate and no WL-equivalent entry. It dominates [[681,13,16]], [[693,13,16]] on (n, k, d, w), which therefore leave the frontier of every cell they share with it. The measured interaction radius is unchanged at 5.38516, so the reduced code is no less local than the source. Distance is a witness-backed upper bound: the deepest null result is 20000000 fresh-seed RIS trials. Literature novelty is unverified.", "model": "Claude Opus 5 (Claude Code)", "origin": "submission", "novelty": "unknown" }, "family": "bivariate-bicycle", "locality": { "coordinates": [ [ 0.0, 0.0 ], [ 1.0, 0.0 ], [ 2.0, 0.0 ], [ 2.0, 1.0 ], [ 2.0, 2.0 ], [ 2.0, 3.0 ], [ 2.0, 4.0 ], [ 2.0, 5.0 ], [ 2.0, 6.0 ], [ 2.0, 7.0 ], [ 2.0, 8.0 ], [ 2.0, 9.0 ], [ 2.0, 10.0 ], [ 3.0, 0.0 ], [ 3.0, 1.0 ], [ 3.0, 2.0 ], [ 3.0, 3.0 ], [ 3.0, 4.0 ], [ 3.0, 5.0 ], [ 3.0, 6.0 ], [ 3.0, 7.0 ], [ 3.0, 8.0 ], [ 3.0, 9.0 ], [ 3.0, 10.0 ], [ 4.0, 0.0 ], [ 4.0, 1.0 ], [ 4.0, 2.0 ], [ 4.0, 3.0 ], [ 4.0, 4.0 ], [ 4.0, 5.0 ], [ 4.0, 6.0 ], [ 4.0, 7.0 ], [ 4.0, 8.0 ], [ 4.0, 9.0 ], [ 4.0, 10.0 ], [ 5.0, 0.0 ], [ 5.0, 1.0 ], [ 5.0, 2.0 ], [ 5.0, 3.0 ], [ 5.0, 4.0 ], [ 5.0, 5.0 ], [ 5.0, 6.0 ], [ 5.0, 7.0 ], [ 5.0, 8.0 ], [ 5.0, 9.0 ], [ 5.0, 10.0 ], [ 6.0, 0.0 ], [ 6.0, 1.0 ], [ 6.0, 2.0 ], [ 6.0, 3.0 ], [ 6.0, 4.0 ], [ 6.0, 5.0 ], [ 6.0, 6.0 ], [ 6.0, 7.0 ], [ 6.0, 8.0 ], [ 6.0, 9.0 ], [ 6.0, 10.0 ], [ 7.0, 0.0 ], [ 7.0, 1.0 ], [ 7.0, 2.0 ], [ 7.0, 3.0 ], [ 7.0, 4.0 ], [ 7.0, 5.0 ], [ 7.0, 6.0 ], [ 7.0, 7.0 ], [ 7.0, 8.0 ], [ 7.0, 9.0 ], [ 7.0, 10.0 ], [ 8.0, 0.0 ], [ 8.0, 1.0 ], [ 8.0, 2.0 ], [ 8.0, 3.0 ], [ 8.0, 4.0 ], [ 8.0, 5.0 ], [ 8.0, 6.0 ], [ 8.0, 7.0 ], [ 8.0, 8.0 ], [ 8.0, 9.0 ], [ 8.0, 10.0 ], [ 9.0, 0.0 ], [ 9.0, 1.0 ], [ 9.0, 2.0 ], [ 9.0, 3.0 ], [ 9.0, 4.0 ], [ 9.0, 5.0 ], [ 9.0, 6.0 ], [ 9.0, 7.0 ], [ 9.0, 8.0 ], [ 9.0, 9.0 ], [ 9.0, 10.0 ], [ 10.0, 0.0 ], [ 10.0, 1.0 ], [ 10.0, 2.0 ], [ 10.0, 3.0 ], [ 10.0, 4.0 ], [ 10.0, 5.0 ], [ 10.0, 6.0 ], [ 10.0, 7.0 ], [ 10.0, 8.0 ], [ 10.0, 9.0 ], [ 10.0, 10.0 ], [ 11.0, 0.0 ], [ 11.0, 1.0 ], [ 11.0, 2.0 ], [ 11.0, 3.0 ], [ 11.0, 4.0 ], [ 11.0, 5.0 ], [ 11.0, 6.0 ], [ 11.0, 7.0 ], [ 11.0, 8.0 ], [ 11.0, 9.0 ], [ 12.0, 0.0 ], [ 12.0, 1.0 ], [ 12.0, 2.0 ], [ 12.0, 3.0 ], [ 12.0, 4.0 ], [ 12.0, 5.0 ], [ 12.0, 6.0 ], [ 12.0, 7.0 ], [ 12.0, 8.0 ], [ 12.0, 9.0 ], [ 12.0, 10.0 ], [ 13.0, 0.0 ], [ 13.0, 1.0 ], [ 13.0, 2.0 ], [ 13.0, 3.0 ], [ 13.0, 4.0 ], [ 13.0, 5.0 ], [ 13.0, 6.0 ], [ 13.0, 7.0 ], [ 13.0, 8.0 ], [ 13.0, 9.0 ], [ 13.0, 10.0 ], [ 14.0, 0.0 ], [ 14.0, 1.0 ], [ 14.0, 2.0 ], [ 14.0, 3.0 ], [ 14.0, 4.0 ], [ 14.0, 5.0 ], [ 14.0, 6.0 ], [ 14.0, 7.0 ], [ 14.0, 8.0 ], [ 14.0, 9.0 ], [ 14.0, 10.0 ], [ 15.0, 0.0 ], [ 15.0, 1.0 ], [ 15.0, 2.0 ], [ 15.0, 3.0 ], [ 15.0, 4.0 ], [ 15.0, 5.0 ], [ 15.0, 6.0 ], [ 15.0, 7.0 ], [ 15.0, 8.0 ], [ 15.0, 9.0 ], [ 15.0, 10.0 ], [ 16.0, 0.0 ], [ 16.0, 1.0 ], [ 16.0, 2.0 ], [ 16.0, 3.0 ], [ 16.0, 4.0 ], [ 16.0, 5.0 ], [ 16.0, 6.0 ], [ 16.0, 7.0 ], [ 16.0, 8.0 ], [ 16.0, 9.0 ], [ 16.0, 10.0 ], [ 17.0, 0.0 ], [ 17.0, 1.0 ], [ 17.0, 2.0 ], [ 17.0, 3.0 ], [ 17.0, 4.0 ], [ 17.0, 5.0 ], [ 17.0, 6.0 ], [ 17.0, 7.0 ], [ 17.0, 8.0 ], [ 17.0, 9.0 ], [ 17.0, 10.0 ], [ 18.0, 0.0 ], [ 18.0, 1.0 ], [ 18.0, 2.0 ], [ 18.0, 3.0 ], [ 18.0, 4.0 ], [ 18.0, 5.0 ], [ 18.0, 6.0 ], [ 18.0, 7.0 ], [ 18.0, 8.0 ], [ 18.0, 9.0 ], [ 19.0, 0.0 ], [ 19.0, 1.0 ], [ 19.0, 2.0 ], [ 19.0, 3.0 ], [ 19.0, 4.0 ], [ 19.0, 5.0 ], [ 19.0, 6.0 ], [ 19.0, 7.0 ], [ 19.0, 8.0 ], [ 19.0, 9.0 ], [ 19.0, 10.0 ], [ 20.0, 0.0 ], [ 20.0, 1.0 ], [ 20.0, 2.0 ], [ 20.0, 3.0 ], [ 20.0, 4.0 ], [ 20.0, 5.0 ], [ 20.0, 6.0 ], [ 20.0, 7.0 ], [ 20.0, 8.0 ], [ 20.0, 9.0 ], [ 20.0, 10.0 ], [ 21.0, 0.0 ], [ 21.0, 1.0 ], [ 21.0, 2.0 ], [ 21.0, 3.0 ], [ 21.0, 4.0 ], [ 21.0, 5.0 ], [ 21.0, 6.0 ], [ 21.0, 7.0 ], [ 21.0, 8.0 ], [ 21.0, 9.0 ], [ 21.0, 10.0 ], [ 22.0, 0.0 ], [ 22.0, 1.0 ], [ 22.0, 2.0 ], [ 22.0, 3.0 ], [ 22.0, 4.0 ], [ 22.0, 5.0 ], [ 22.0, 6.0 ], [ 22.0, 7.0 ], [ 22.0, 8.0 ], [ 22.0, 9.0 ], [ 23.0, 0.0 ], [ 23.0, 1.0 ], [ 23.0, 2.0 ], [ 23.0, 3.0 ], [ 23.0, 4.0 ], [ 23.0, 5.0 ], [ 23.0, 6.0 ], [ 23.0, 7.0 ], [ 23.0, 8.0 ], [ 23.0, 9.0 ], [ 23.0, 10.0 ], [ 24.0, 0.0 ], [ 24.0, 1.0 ], [ 24.0, 2.0 ], [ 24.0, 3.0 ], [ 24.0, 4.0 ], [ 24.0, 5.0 ], [ 24.0, 6.0 ], [ 24.0, 7.0 ], [ 24.0, 8.0 ], [ 24.0, 9.0 ], [ 24.0, 10.0 ], [ 25.0, 0.0 ], [ 25.0, 1.0 ], [ 25.0, 2.0 ], [ 25.0, 3.0 ], [ 25.0, 4.0 ], [ 25.0, 5.0 ], [ 25.0, 6.0 ], [ 25.0, 7.0 ], [ 25.0, 8.0 ], [ 25.0, 9.0 ], [ 25.0, 10.0 ], [ 26.0, 0.0 ], [ 26.0, 1.0 ], [ 26.0, 2.0 ], [ 26.0, 3.0 ], [ 26.0, 4.0 ], [ 26.0, 5.0 ], [ 26.0, 6.0 ], [ 26.0, 7.0 ], [ 26.0, 8.0 ], [ 26.0, 9.0 ], [ 26.0, 10.0 ], [ 27.0, 0.0 ], [ 27.0, 1.0 ], [ 27.0, 2.0 ], [ 27.0, 3.0 ], [ 27.0, 4.0 ], [ 27.0, 5.0 ], [ 27.0, 6.0 ], [ 27.0, 7.0 ], [ 27.0, 8.0 ], [ 27.0, 9.0 ], [ 27.0, 10.0 ], [ 28.0, 0.0 ], [ 28.0, 1.0 ], [ 28.0, 2.0 ], [ 28.0, 3.0 ], [ 28.0, 4.0 ], [ 28.0, 5.0 ], [ 28.0, 6.0 ], [ 28.0, 7.0 ], [ 28.0, 8.0 ], [ 28.0, 9.0 ], [ 28.0, 10.0 ], [ 29.0, 0.0 ], [ 29.0, 1.0 ], [ 29.0, 2.0 ], [ 29.0, 3.0 ], [ 29.0, 4.0 ], [ 29.0, 5.0 ], [ 29.0, 6.0 ], [ 29.0, 7.0 ], [ 29.0, 8.0 ], [ 29.0, 9.0 ], [ 29.0, 10.0 ], [ 30.0, 0.0 ], [ 30.0, 1.0 ], [ 30.0, 2.0 ], [ 30.0, 3.0 ], [ 30.0, 4.0 ], [ 30.0, 5.0 ], [ 30.0, 6.0 ], [ 30.0, 7.0 ], [ 30.0, 8.0 ], [ 30.0, 9.0 ], [ 30.0, 10.0 ], [ 0.0, 0.0 ], [ 0.0, 1.0 ], [ 0.0, 2.0 ], [ 0.0, 4.0 ], [ 0.0, 5.0 ], [ 0.0, 6.0 ], [ 0.0, 7.0 ], [ 0.0, 8.0 ], [ 0.0, 10.0 ], [ 0.0, 11.0 ], [ 1.0, 0.0 ], [ 1.0, 1.0 ], [ 1.0, 3.0 ], [ 1.0, 4.0 ], [ 1.0, 5.0 ], [ 1.0, 6.0 ], [ 1.0, 8.0 ], [ 1.0, 9.0 ], [ 1.0, 10.0 ], [ 1.0, 11.0 ], [ 2.0, 0.0 ], [ 2.0, 1.0 ], [ 2.0, 2.0 ], [ 2.0, 3.0 ], [ 2.0, 4.0 ], [ 2.0, 5.0 ], [ 2.0, 6.0 ], [ 2.0, 7.0 ], [ 2.0, 8.0 ], [ 2.0, 9.0 ], [ 2.0, 10.0 ], [ 2.0, 11.0 ], [ 3.0, 0.0 ], [ 3.0, 1.0 ], [ 3.0, 2.0 ], [ 3.0, 3.0 ], [ 3.0, 4.0 ], [ 3.0, 5.0 ], [ 3.0, 6.0 ], [ 3.0, 7.0 ], [ 3.0, 8.0 ], [ 3.0, 9.0 ], [ 3.0, 10.0 ], [ 3.0, 11.0 ], [ 4.0, 1.0 ], [ 4.0, 2.0 ], [ 4.0, 3.0 ], [ 4.0, 4.0 ], [ 4.0, 5.0 ], [ 4.0, 6.0 ], [ 4.0, 7.0 ], [ 4.0, 8.0 ], [ 4.0, 9.0 ], [ 4.0, 10.0 ], [ 4.0, 11.0 ], [ 5.0, 0.0 ], [ 5.0, 1.0 ], [ 5.0, 2.0 ], [ 5.0, 3.0 ], [ 5.0, 4.0 ], [ 5.0, 5.0 ], [ 5.0, 6.0 ], [ 5.0, 7.0 ], [ 5.0, 8.0 ], [ 5.0, 9.0 ], [ 5.0, 10.0 ], [ 5.0, 11.0 ], [ 6.0, 0.0 ], [ 6.0, 1.0 ], [ 6.0, 2.0 ], [ 6.0, 3.0 ], [ 6.0, 4.0 ], [ 6.0, 5.0 ], [ 6.0, 6.0 ], [ 6.0, 7.0 ], [ 6.0, 8.0 ], [ 6.0, 9.0 ], [ 6.0, 10.0 ], [ 7.0, 0.0 ], [ 7.0, 1.0 ], [ 7.0, 2.0 ], [ 7.0, 3.0 ], [ 7.0, 4.0 ], [ 7.0, 5.0 ], [ 7.0, 6.0 ], [ 7.0, 7.0 ], [ 7.0, 8.0 ], [ 7.0, 9.0 ], [ 7.0, 10.0 ], [ 7.0, 11.0 ], [ 8.0, 0.0 ], [ 8.0, 1.0 ], [ 8.0, 2.0 ], [ 8.0, 3.0 ], [ 8.0, 4.0 ], [ 8.0, 5.0 ], [ 8.0, 6.0 ], [ 8.0, 7.0 ], [ 8.0, 8.0 ], [ 8.0, 9.0 ], [ 8.0, 10.0 ], [ 8.0, 11.0 ], [ 9.0, 0.0 ], [ 9.0, 1.0 ], [ 9.0, 2.0 ], [ 9.0, 3.0 ], [ 9.0, 4.0 ], [ 9.0, 5.0 ], [ 9.0, 6.0 ], [ 9.0, 7.0 ], [ 9.0, 8.0 ], [ 9.0, 9.0 ], [ 9.0, 10.0 ], [ 9.0, 11.0 ], [ 10.0, 0.0 ], [ 10.0, 1.0 ], [ 10.0, 2.0 ], [ 10.0, 3.0 ], [ 10.0, 4.0 ], [ 10.0, 5.0 ], [ 10.0, 6.0 ], [ 10.0, 7.0 ], [ 10.0, 8.0 ], [ 10.0, 9.0 ], [ 10.0, 10.0 ], [ 10.0, 11.0 ], [ 11.0, 0.0 ], [ 11.0, 1.0 ], [ 11.0, 2.0 ], [ 11.0, 3.0 ], [ 11.0, 4.0 ], [ 11.0, 5.0 ], [ 11.0, 6.0 ], [ 11.0, 7.0 ], [ 11.0, 8.0 ], [ 11.0, 9.0 ], [ 11.0, 10.0 ], [ 11.0, 11.0 ], [ 12.0, 1.0 ], [ 12.0, 2.0 ], [ 12.0, 3.0 ], [ 12.0, 4.0 ], [ 12.0, 5.0 ], [ 12.0, 6.0 ], [ 12.0, 7.0 ], [ 12.0, 8.0 ], [ 12.0, 9.0 ], [ 12.0, 10.0 ], [ 12.0, 11.0 ], [ 13.0, 0.0 ], [ 13.0, 1.0 ], [ 13.0, 2.0 ], [ 13.0, 3.0 ], [ 13.0, 4.0 ], [ 13.0, 5.0 ], [ 13.0, 6.0 ], [ 13.0, 7.0 ], [ 13.0, 8.0 ], [ 13.0, 9.0 ], [ 13.0, 10.0 ], [ 14.0, 0.0 ], [ 14.0, 1.0 ], [ 14.0, 2.0 ], [ 14.0, 3.0 ], [ 14.0, 4.0 ], [ 14.0, 5.0 ], [ 14.0, 6.0 ], [ 14.0, 7.0 ], [ 14.0, 8.0 ], [ 14.0, 9.0 ], [ 14.0, 10.0 ], [ 14.0, 11.0 ], [ 15.0, 0.0 ], [ 15.0, 1.0 ], [ 15.0, 2.0 ], [ 15.0, 3.0 ], [ 15.0, 4.0 ], [ 15.0, 5.0 ], [ 15.0, 6.0 ], [ 15.0, 7.0 ], [ 15.0, 8.0 ], [ 15.0, 9.0 ], [ 15.0, 10.0 ], [ 15.0, 11.0 ], [ 16.0, 0.0 ], [ 16.0, 1.0 ], [ 16.0, 2.0 ], [ 16.0, 3.0 ], [ 16.0, 4.0 ], [ 16.0, 5.0 ], [ 16.0, 6.0 ], [ 16.0, 7.0 ], [ 16.0, 8.0 ], [ 16.0, 9.0 ], [ 16.0, 10.0 ], [ 16.0, 11.0 ], [ 17.0, 0.0 ], [ 17.0, 1.0 ], [ 17.0, 2.0 ], [ 17.0, 3.0 ], [ 17.0, 4.0 ], [ 17.0, 5.0 ], [ 17.0, 6.0 ], [ 17.0, 7.0 ], [ 17.0, 8.0 ], [ 17.0, 9.0 ], [ 17.0, 10.0 ], [ 18.0, 0.0 ], [ 18.0, 1.0 ], [ 18.0, 2.0 ], [ 18.0, 3.0 ], [ 18.0, 4.0 ], [ 18.0, 5.0 ], [ 18.0, 6.0 ], [ 18.0, 7.0 ], [ 18.0, 8.0 ], [ 18.0, 9.0 ], [ 18.0, 10.0 ], [ 18.0, 11.0 ], [ 19.0, 0.0 ], [ 19.0, 1.0 ], [ 19.0, 2.0 ], [ 19.0, 3.0 ], [ 19.0, 4.0 ], [ 19.0, 5.0 ], [ 19.0, 6.0 ], [ 19.0, 7.0 ], [ 19.0, 8.0 ], [ 19.0, 9.0 ], [ 19.0, 10.0 ], [ 19.0, 11.0 ], [ 20.0, 0.0 ], [ 20.0, 1.0 ], [ 20.0, 2.0 ], [ 20.0, 3.0 ], [ 20.0, 4.0 ], [ 20.0, 5.0 ], [ 20.0, 6.0 ], [ 20.0, 7.0 ], [ 20.0, 8.0 ], [ 20.0, 9.0 ], [ 20.0, 10.0 ], [ 20.0, 11.0 ], [ 21.0, 1.0 ], [ 21.0, 2.0 ], [ 21.0, 3.0 ], [ 21.0, 4.0 ], [ 21.0, 5.0 ], [ 21.0, 6.0 ], [ 21.0, 7.0 ], [ 21.0, 8.0 ], [ 21.0, 9.0 ], [ 21.0, 10.0 ], [ 21.0, 11.0 ], [ 22.0, 0.0 ], [ 22.0, 1.0 ], [ 22.0, 2.0 ], [ 22.0, 3.0 ], [ 22.0, 4.0 ], [ 22.0, 5.0 ], [ 22.0, 6.0 ], [ 22.0, 7.0 ], [ 22.0, 8.0 ], [ 22.0, 9.0 ], [ 22.0, 10.0 ], [ 22.0, 11.0 ], [ 23.0, 0.0 ], [ 23.0, 1.0 ], [ 23.0, 2.0 ], [ 23.0, 3.0 ], [ 23.0, 4.0 ], [ 23.0, 5.0 ], [ 23.0, 6.0 ], [ 23.0, 7.0 ], [ 23.0, 8.0 ], [ 23.0, 9.0 ], [ 23.0, 10.0 ], [ 23.0, 11.0 ], [ 24.0, 0.0 ], [ 24.0, 1.0 ], [ 24.0, 2.0 ], [ 24.0, 3.0 ], [ 24.0, 4.0 ], [ 24.0, 5.0 ], [ 24.0, 6.0 ], [ 24.0, 7.0 ], [ 24.0, 8.0 ], [ 24.0, 9.0 ], [ 24.0, 10.0 ], [ 24.0, 11.0 ], [ 25.0, 0.0 ], [ 25.0, 1.0 ], [ 25.0, 2.0 ], [ 25.0, 3.0 ], [ 25.0, 4.0 ], [ 25.0, 5.0 ], [ 25.0, 6.0 ], [ 25.0, 7.0 ], [ 25.0, 8.0 ], [ 25.0, 9.0 ], [ 25.0, 10.0 ], [ 25.0, 11.0 ], [ 26.0, 0.0 ], [ 26.0, 1.0 ], [ 26.0, 2.0 ], [ 26.0, 3.0 ], [ 26.0, 4.0 ], [ 26.0, 5.0 ], [ 26.0, 6.0 ], [ 26.0, 7.0 ], [ 26.0, 8.0 ], [ 26.0, 9.0 ], [ 26.0, 10.0 ], [ 26.0, 11.0 ], [ 27.0, 0.0 ], [ 27.0, 1.0 ], [ 27.0, 2.0 ], [ 27.0, 3.0 ], [ 27.0, 4.0 ], [ 27.0, 5.0 ], [ 27.0, 6.0 ], [ 27.0, 7.0 ], [ 27.0, 8.0 ], [ 27.0, 9.0 ], [ 27.0, 10.0 ], [ 27.0, 11.0 ], [ 28.0, 0.0 ], [ 28.0, 1.0 ], [ 28.0, 2.0 ], [ 28.0, 3.0 ], [ 28.0, 4.0 ], [ 28.0, 5.0 ], [ 28.0, 6.0 ], [ 28.0, 7.0 ], [ 28.0, 8.0 ], [ 28.0, 9.0 ], [ 28.0, 10.0 ], [ 28.0, 11.0 ], [ 29.0, 0.0 ], [ 29.0, 1.0 ], [ 29.0, 2.0 ], [ 29.0, 3.0 ], [ 29.0, 4.0 ], [ 29.0, 5.0 ], [ 29.0, 6.0 ], [ 29.0, 7.0 ], [ 29.0, 8.0 ], [ 29.0, 9.0 ], [ 29.0, 11.0 ], [ 30.0, 0.0 ], [ 30.0, 2.0 ], [ 30.0, 4.0 ], [ 30.0, 5.0 ], [ 30.0, 6.0 ], [ 30.0, 7.0 ], [ 30.0, 9.0 ], [ 30.0, 10.0 ], [ 30.0, 11.0 ] ], "interaction_radius": 5.385164807134504, "layers": 2 } }