{ "schema_version": "0.2", "name": "[[923,173,3]] reduction of [[925,173,3]]", "code_type": "CSS", "n": 923, "k": 173, "checks": { "X": [ [ 18, 19 ], [ 0, 1, 20, 21 ], [ 2, 3, 22, 23 ], [ 27, 28 ], [ 5, 6, 29, 30 ], [ 7, 8, 31, 32 ], [ 36, 37 ], [ 10, 11, 38, 39 ], [ 12, 13, 40, 41 ], [ 16, 17, 46, 47 ], [ 19, 20, 50, 51 ], [ 21, 22, 52, 53 ], [ 23, 24, 54, 55 ], [ 25, 26, 56, 57 ], [ 28, 29, 60, 61 ], [ 30, 31, 62, 63 ], [ 32, 33, 64, 65 ], [ 34, 35, 66, 67 ], [ 37, 38, 70, 71 ], [ 39, 40, 72, 73 ], [ 41, 42, 74, 75 ], [ 43, 44, 76, 77 ], [ 45, 46, 78, 79 ], [ 47, 48, 80, 81 ], [ 49, 50, 82, 83 ], [ 53, 54, 86, 87 ], [ 55, 56, 88, 89 ], [ 57, 58, 90, 91 ], [ 59, 60, 92, 93 ], [ 63, 64, 96, 97 ], [ 65, 66, 98, 99 ], [ 67, 68, 100, 101 ], [ 69, 70, 102, 103 ], [ 73, 74, 106, 107 ], [ 75, 76, 108, 109 ], [ 77, 110, 111 ], [ 79, 80, 113, 114 ], [ 81, 82, 115, 116 ], [ 83, 84, 117, 118 ], [ 85, 86, 119, 120 ], [ 89, 90, 123, 124 ], [ 91, 92, 125, 126 ], [ 93, 94, 127, 128 ], [ 95, 96, 129, 130 ], [ 99, 100, 133, 134 ], [ 101, 102, 135, 136 ], [ 103, 104, 137, 138 ], [ 105, 106, 139, 140 ], [ 109, 110, 143, 144 ], [ 112, 113, 145, 146 ], [ 116, 117, 149, 150 ], [ 118, 119, 151, 152 ], [ 120, 121, 153, 154 ], [ 122, 123, 155, 156 ], [ 126, 127, 159, 160 ], [ 128, 129, 161, 162 ], [ 130, 131, 163, 164 ], [ 132, 133, 165, 166 ], [ 136, 137, 169, 170 ], [ 138, 139, 171, 172 ], [ 140, 141, 173, 174 ], [ 142, 143, 175, 176 ], [ 146, 147, 179, 180 ], [ 148, 149, 181, 182 ], [ 152, 153, 185, 186 ], [ 154, 155, 187, 188 ], [ 156, 157, 189, 190 ], [ 158, 159, 191, 192 ], [ 162, 163, 195, 196 ], [ 164, 165, 197, 198 ], [ 166, 167, 199, 200 ], [ 168, 169, 201, 202 ], [ 172, 173, 205, 206 ], [ 174, 175, 207, 208 ], [ 176, 177, 209, 210 ], [ 179, 212 ], [ 180, 181, 213, 214 ], [ 182, 183, 215, 216 ], [ 184, 185, 217, 218 ], [ 188, 189, 221, 222 ], [ 190, 191, 223, 224 ], [ 192, 193, 225, 226 ], [ 194, 195, 227, 228 ], [ 198, 199, 231, 232 ], [ 200, 201, 233, 234 ], [ 202, 203, 235, 236 ], [ 204, 205, 237, 238 ], [ 208, 209, 241, 242 ], [ 214, 215, 246, 247 ], [ 216, 217, 248, 249 ], [ 218, 219, 250, 251 ], [ 220, 221, 252, 253 ], [ 224, 225, 256, 257 ], [ 226, 227, 258, 259 ], [ 228, 229, 260, 261 ], [ 230, 231, 262, 263 ], [ 234, 235, 266, 267 ], [ 236, 237, 268, 269 ], [ 238, 239, 270, 271 ], [ 240, 241, 272, 273 ], [ 245, 246, 276, 277 ], [ 249, 250, 280, 281 ], [ 251, 252, 282, 283 ], [ 253, 254, 284, 285 ], [ 255, 256, 286, 287 ], [ 259, 260, 290, 291 ], [ 261, 262, 292, 293 ], [ 263, 264, 294, 295 ], [ 265, 266, 296, 297 ], [ 269, 270, 300, 301 ], [ 271, 272, 302, 303 ], [ 273, 274, 304, 305 ], [ 275, 276, 308, 309 ], [ 277, 278, 310, 311 ], [ 279, 280, 312, 313 ], [ 283, 284, 316, 317 ], [ 285, 286, 318, 319 ], [ 287, 288, 320, 321 ], [ 289, 290, 322, 323 ], [ 293, 294, 326, 327 ], [ 295, 296, 328, 329 ], [ 297, 298, 330, 331 ], [ 299, 300, 332, 333 ], [ 303, 304, 336, 337 ], [ 305, 306, 338, 339 ], [ 309, 310, 343, 344 ], [ 311, 312, 345, 346 ], [ 313, 314, 347, 348 ], [ 315, 316, 349, 350 ], [ 319, 320, 353, 354 ], [ 321, 322, 355, 356 ], [ 323, 324, 357, 358 ], [ 325, 326, 359, 360 ], [ 329, 330, 363, 364 ], [ 331, 332, 365, 366 ], [ 333, 334, 367, 368 ], [ 335, 336, 369, 370 ], [ 339, 340, 373, 374 ], [ 342, 343, 376, 377 ], [ 346, 347, 380, 381 ], [ 348, 349, 382, 383 ], [ 350, 351, 384, 385 ], [ 352, 353, 386, 387 ], [ 356, 357, 390, 391 ], [ 358, 359, 392, 393 ], [ 360, 361, 394, 395 ], [ 362, 363, 396, 397 ], [ 366, 367, 400, 401 ], [ 368, 369, 402, 403 ], [ 370, 371, 404, 405 ], [ 372, 373, 406, 407 ], [ 375, 376, 408, 409 ], [ 377, 378, 410, 411 ], [ 379, 380, 412, 413 ], [ 383, 384, 416, 417 ], [ 385, 386, 418, 419 ], [ 387, 388, 420, 421 ], [ 389, 390, 422, 423 ], [ 393, 394, 426, 427 ], [ 395, 396, 428, 429 ], [ 397, 398, 430, 431 ], [ 399, 400, 432, 433 ], [ 403, 404, 436, 437 ], [ 405, 406, 438, 439 ], [ 407, 440, 441 ], [ 409, 410, 443, 444 ], [ 411, 412, 445, 446 ], [ 413, 414, 447, 448 ], [ 415, 416, 449, 450 ], [ 419, 420, 453, 454 ], [ 421, 422, 455, 456 ], [ 423, 424, 457, 458 ], [ 425, 426, 459, 460 ], [ 429, 430, 463, 464 ], [ 431, 432, 465, 466 ], [ 433, 434, 467, 468 ], [ 435, 436, 469, 470 ], [ 439, 440, 473, 474 ], [ 442, 443, 475, 476 ], [ 446, 447, 479, 480 ], [ 448, 449, 481, 482 ], [ 450, 451, 483, 484 ], [ 452, 453, 485, 486 ], [ 456, 457, 489, 490 ], [ 458, 459, 491, 492 ], [ 460, 461, 493, 494 ], [ 462, 463, 495, 496 ], [ 466, 467, 499, 500 ], [ 468, 469, 501, 502 ], [ 470, 471, 503, 504 ], [ 472, 473, 505, 506 ], [ 476, 477, 509, 510 ], [ 478, 479, 511, 512 ], [ 482, 483, 515, 516 ], [ 484, 485, 517, 518 ], [ 486, 487, 519, 520 ], [ 488, 489, 521, 522 ], [ 492, 493, 525, 526 ], [ 494, 495, 527, 528 ], [ 496, 497, 529, 530 ], [ 498, 499, 531, 532 ], [ 502, 503, 535, 536 ], [ 504, 505, 537, 538 ], [ 506, 507, 539, 540 ], [ 509, 542 ], [ 510, 511, 543, 544 ], [ 512, 513, 545, 546 ], [ 514, 515, 547, 548 ], [ 518, 519, 551, 552 ], [ 520, 521, 553, 554 ], [ 522, 523, 555, 556 ], [ 524, 525, 557, 558 ], [ 528, 529, 561, 562 ], [ 530, 531, 563, 564 ], [ 532, 533, 565, 566 ], [ 534, 535, 567, 568 ], [ 538, 539, 571, 572 ], [ 540, 541, 573, 574 ], [ 544, 545, 576, 577 ], [ 546, 547, 578, 579 ], [ 548, 549, 580, 581 ], [ 550, 551, 582, 583 ], [ 554, 555, 586, 587 ], [ 556, 557, 588, 589 ], [ 558, 559, 590, 591 ], [ 560, 561, 592, 593 ], [ 564, 565, 596, 597 ], [ 566, 567, 598, 599 ], [ 568, 569, 600, 601 ], [ 570, 571, 602, 603 ], [ 575, 576, 606, 607 ], [ 579, 580, 610, 611 ], [ 581, 582, 612, 613 ], [ 583, 584, 614, 615 ], [ 585, 586, 616, 617 ], [ 589, 590, 620, 621 ], [ 591, 592, 622, 623 ], [ 593, 594, 624, 625 ], [ 595, 596, 626, 627 ], [ 599, 600, 630, 631 ], [ 601, 602, 632, 633 ], [ 603, 604, 634, 635 ], [ 636, 637 ], [ 605, 606, 638, 639 ], [ 607, 608, 640, 641 ], [ 609, 610, 642, 643 ], [ 613, 614, 646, 647 ], [ 615, 616, 648, 649 ], [ 617, 618, 650, 651 ], [ 619, 620, 652, 653 ], [ 623, 624, 656, 657 ], [ 625, 626, 658, 659 ], [ 627, 628, 660, 661 ], [ 629, 630, 662, 663 ], [ 633, 634, 666, 667 ], [ 635, 636, 668, 669 ], [ 639, 640, 673, 674 ], [ 641, 642, 675, 676 ], [ 643, 644, 677, 678 ], [ 645, 646, 679, 680 ], [ 649, 650, 683, 684 ], [ 651, 652, 685, 686 ], [ 653, 654, 687, 688 ], [ 655, 656, 689, 690 ], [ 659, 660, 693, 694 ], [ 661, 662, 695, 696 ], [ 663, 664, 697, 698 ], [ 665, 666, 699, 700 ], [ 669, 670, 703, 704 ], [ 672, 673, 706, 707 ], [ 676, 677, 710, 711 ], [ 678, 679, 712, 713 ], [ 680, 681, 714, 715 ], [ 682, 683, 716, 717 ], [ 686, 687, 720, 721 ], [ 688, 689, 722, 723 ], [ 690, 691, 724, 725 ], [ 692, 693, 726, 727 ], [ 696, 697, 730, 731 ], [ 698, 699, 732, 733 ], [ 700, 701, 734, 735 ], [ 702, 703, 736, 737 ], [ 705, 706, 738, 739 ], [ 707, 708, 740, 741 ], [ 709, 710, 742, 743 ], [ 713, 714, 746, 747 ], [ 715, 716, 748, 749 ], [ 717, 718, 750, 751 ], [ 719, 720, 752, 753 ], [ 723, 724, 756, 757 ], [ 725, 726, 758, 759 ], [ 727, 728, 760, 761 ], [ 729, 730, 762, 763 ], [ 733, 734, 766, 767 ], [ 735, 736, 768, 769 ], [ 737, 770, 771 ], [ 739, 740, 773, 774 ], [ 741, 742, 775, 776 ], [ 743, 744, 777, 778 ], [ 745, 746, 779, 780 ], [ 749, 750, 783, 784 ], [ 751, 752, 785, 786 ], [ 753, 754, 787, 788 ], [ 755, 756, 789, 790 ], [ 759, 760, 793, 794 ], [ 761, 762, 795, 796 ], [ 763, 764, 797, 798 ], [ 765, 766, 799, 800 ], [ 769, 770, 803, 804 ], [ 772, 773, 805, 806 ], [ 776, 777, 809, 810 ], [ 778, 779, 811, 812 ], [ 780, 781, 813, 814 ], [ 782, 783, 815, 816 ], [ 786, 787, 819, 820 ], [ 788, 789, 821, 822 ], [ 790, 791, 823, 824 ], [ 792, 793, 825, 826 ], [ 796, 797, 829, 830 ], [ 798, 799, 831, 832 ], [ 800, 801, 833, 834 ], [ 802, 803, 835, 836 ], [ 806, 807, 839, 840 ], [ 808, 809, 841, 842 ], [ 812, 813, 845, 846 ], [ 814, 815, 847, 848 ], [ 816, 817, 849, 850 ], [ 818, 819, 851, 852 ], [ 822, 823, 855, 856 ], [ 824, 825, 857, 858 ], [ 826, 827, 859, 860 ], [ 828, 829, 861, 862 ], [ 832, 833, 865, 866 ], [ 834, 835, 867, 868 ], [ 836, 837, 869, 870 ], [ 839, 872 ], [ 840, 841, 873, 874 ], [ 842, 843, 875, 876 ], [ 844, 845, 877, 878 ], [ 848, 849, 880, 881 ], [ 850, 851, 882, 883 ], [ 852, 853, 884, 885 ], [ 854, 855, 886 ], [ 858, 859, 888, 889 ], [ 860, 861, 890, 891 ], [ 862, 863, 892, 893 ], [ 864, 865, 894, 895 ], [ 868, 869, 897, 898 ], [ 870, 871, 899, 900 ], [ 874, 875, 901 ], [ 876, 877, 902, 903 ], [ 878, 904 ], [ 879, 880, 905, 906 ], [ 883, 884, 909, 910 ], [ 885, 886, 911, 912 ], [ 887, 888, 913, 914 ], [ 891, 892, 916 ], [ 893, 894, 917, 918 ], [ 896, 897, 920, 921 ], [ 906, 907 ], [ 3, 4 ], [ 508, 541 ], [ 13, 14 ], [ 341, 375 ], [ 838, 871 ], [ 8, 9 ], [ 671, 705 ], [ 908, 909 ], [ 178, 211 ], [ 15, 45 ], [ 921, 922 ], [ 914, 915 ], [ 636, 637 ], [ 306, 307 ], [ 178, 210, 243, 244 ], [ 895, 919 ] ], "Z": [ [ 16, 17 ], [ 1, 2, 21, 22 ], [ 3, 4, 23, 24 ], [ 25, 26 ], [ 6, 7, 30, 31 ], [ 8, 9, 32, 33 ], [ 34, 35 ], [ 11, 12, 39, 40 ], [ 13, 14, 41, 42 ], [ 43, 44 ], [ 15, 16, 45, 46 ], [ 18, 19, 49, 50 ], [ 20, 21, 51, 52 ], [ 22, 23, 53, 54 ], [ 24, 25, 55, 56 ], [ 27, 28, 59, 60 ], [ 29, 30, 61, 62 ], [ 31, 32, 63, 64 ], [ 33, 34, 65, 66 ], [ 36, 37, 69, 70 ], [ 38, 39, 71, 72 ], [ 40, 41, 73, 74 ], [ 42, 43, 75, 76 ], [ 46, 47, 79, 80 ], [ 48, 49, 81, 82 ], [ 50, 51, 83, 84 ], [ 52, 53, 85, 86 ], [ 56, 57, 89, 90 ], [ 58, 59, 91, 92 ], [ 60, 61, 93, 94 ], [ 62, 63, 95, 96 ], [ 66, 67, 99, 100 ], [ 68, 69, 101, 102 ], [ 70, 71, 103, 104 ], [ 72, 73, 105, 106 ], [ 76, 77, 109, 110 ], [ 78, 79, 112, 113 ], [ 80, 81, 114, 115 ], [ 82, 83, 116, 117 ], [ 86, 87, 120, 121 ], [ 88, 89, 122, 123 ], [ 90, 91, 124, 125 ], [ 92, 93, 126, 127 ], [ 96, 97, 130, 131 ], [ 98, 99, 132, 133 ], [ 100, 101, 134, 135 ], [ 102, 103, 136, 137 ], [ 106, 107, 140, 141 ], [ 108, 109, 142, 143 ], [ 110, 111, 144 ], [ 113, 114, 146, 147 ], [ 117, 118, 150, 151 ], [ 119, 120, 152, 153 ], [ 121, 122, 154, 155 ], [ 123, 124, 156, 157 ], [ 127, 128, 160, 161 ], [ 129, 130, 162, 163 ], [ 131, 132, 164, 165 ], [ 133, 134, 166, 167 ], [ 137, 138, 170, 171 ], [ 139, 140, 172, 173 ], [ 141, 142, 174, 175 ], [ 143, 144, 176, 177 ], [ 147, 148, 180, 181 ], [ 149, 150, 182, 183 ], [ 151, 152, 184, 185 ], [ 153, 154, 186, 187 ], [ 157, 158, 190, 191 ], [ 159, 160, 192, 193 ], [ 161, 162, 194, 195 ], [ 163, 164, 196, 197 ], [ 167, 168, 200, 201 ], [ 169, 170, 202, 203 ], [ 171, 172, 204, 205 ], [ 173, 174, 206, 207 ], [ 177, 178, 210, 211 ], [ 179, 180, 212, 213 ], [ 181, 182, 214, 215 ], [ 183, 184, 216, 217 ], [ 187, 188, 220, 221 ], [ 189, 190, 222, 223 ], [ 191, 192, 224, 225 ], [ 193, 194, 226, 227 ], [ 197, 198, 230, 231 ], [ 199, 200, 232, 233 ], [ 201, 202, 234, 235 ], [ 203, 204, 236, 237 ], [ 207, 208, 240, 241 ], [ 209, 210, 242, 243 ], [ 213, 214, 245, 246 ], [ 217, 218, 249, 250 ], [ 219, 220, 251, 252 ], [ 221, 222, 253, 254 ], [ 223, 224, 255, 256 ], [ 227, 228, 259, 260 ], [ 229, 230, 261, 262 ], [ 231, 232, 263, 264 ], [ 233, 234, 265, 266 ], [ 237, 238, 269, 270 ], [ 239, 240, 271, 272 ], [ 241, 242, 273, 274 ], [ 243, 244 ], [ 246, 247, 277, 278 ], [ 248, 249, 279, 280 ], [ 250, 251, 281, 282 ], [ 252, 253, 283, 284 ], [ 256, 257, 287, 288 ], [ 258, 259, 289, 290 ], [ 260, 261, 291, 292 ], [ 262, 263, 293, 294 ], [ 266, 267, 297, 298 ], [ 268, 269, 299, 300 ], [ 270, 271, 301, 302 ], [ 272, 273, 303, 304 ], [ 275, 308 ], [ 276, 277, 309, 310 ], [ 278, 279, 311, 312 ], [ 280, 281, 313, 314 ], [ 284, 285, 317, 318 ], [ 286, 287, 319, 320 ], [ 288, 289, 321, 322 ], [ 290, 291, 323, 324 ], [ 294, 295, 327, 328 ], [ 296, 297, 329, 330 ], [ 298, 299, 331, 332 ], [ 300, 301, 333, 334 ], [ 304, 305, 337, 338 ], [ 306, 307, 339, 340 ], [ 308, 309, 342, 343 ], [ 310, 311, 344, 345 ], [ 314, 315, 348, 349 ], [ 316, 317, 350, 351 ], [ 318, 319, 352, 353 ], [ 320, 321, 354, 355 ], [ 324, 325, 358, 359 ], [ 326, 327, 360, 361 ], [ 328, 329, 362, 363 ], [ 330, 331, 364, 365 ], [ 334, 335, 368, 369 ], [ 336, 337, 370, 371 ], [ 338, 339, 372, 373 ], [ 341, 342, 375, 376 ], [ 345, 346, 379, 380 ], [ 347, 348, 381, 382 ], [ 349, 350, 383, 384 ], [ 351, 352, 385, 386 ], [ 355, 356, 389, 390 ], [ 357, 358, 391, 392 ], [ 359, 360, 393, 394 ], [ 361, 362, 395, 396 ], [ 365, 366, 399, 400 ], [ 367, 368, 401, 402 ], [ 369, 370, 403, 404 ], [ 371, 372, 405, 406 ], [ 376, 377, 409, 410 ], [ 378, 379, 411, 412 ], [ 380, 381, 413, 414 ], [ 382, 383, 415, 416 ], [ 386, 387, 419, 420 ], [ 388, 389, 421, 422 ], [ 390, 391, 423, 424 ], [ 392, 393, 425, 426 ], [ 396, 397, 429, 430 ], [ 398, 399, 431, 432 ], [ 400, 401, 433, 434 ], [ 402, 403, 435, 436 ], [ 406, 407, 439, 440 ], [ 408, 409, 442, 443 ], [ 410, 411, 444, 445 ], [ 412, 413, 446, 447 ], [ 416, 417, 450, 451 ], [ 418, 419, 452, 453 ], [ 420, 421, 454, 455 ], [ 422, 423, 456, 457 ], [ 426, 427, 460, 461 ], [ 428, 429, 462, 463 ], [ 430, 431, 464, 465 ], [ 432, 433, 466, 467 ], [ 436, 437, 470, 471 ], [ 438, 439, 472, 473 ], [ 440, 441, 474 ], [ 443, 444, 476, 477 ], [ 447, 448, 480, 481 ], [ 449, 450, 482, 483 ], [ 451, 452, 484, 485 ], [ 453, 454, 486, 487 ], [ 457, 458, 490, 491 ], [ 459, 460, 492, 493 ], [ 461, 462, 494, 495 ], [ 463, 464, 496, 497 ], [ 467, 468, 500, 501 ], [ 469, 470, 502, 503 ], [ 471, 472, 504, 505 ], [ 473, 474, 506, 507 ], [ 477, 478, 510, 511 ], [ 479, 480, 512, 513 ], [ 481, 482, 514, 515 ], [ 483, 484, 516, 517 ], [ 487, 488, 520, 521 ], [ 489, 490, 522, 523 ], [ 491, 492, 524, 525 ], [ 493, 494, 526, 527 ], [ 497, 498, 530, 531 ], [ 499, 500, 532, 533 ], [ 501, 502, 534, 535 ], [ 503, 504, 536, 537 ], [ 507, 508, 540, 541 ], [ 509, 510, 542, 543 ], [ 511, 512, 544, 545 ], [ 513, 514, 546, 547 ], [ 517, 518, 550, 551 ], [ 519, 520, 552, 553 ], [ 521, 522, 554, 555 ], [ 523, 524, 556, 557 ], [ 527, 528, 560, 561 ], [ 529, 530, 562, 563 ], [ 531, 532, 564, 565 ], [ 533, 534, 566, 567 ], [ 537, 538, 570, 571 ], [ 539, 540, 572, 573 ], [ 543, 544, 575, 576 ], [ 547, 548, 579, 580 ], [ 549, 550, 581, 582 ], [ 551, 552, 583, 584 ], [ 553, 554, 585, 586 ], [ 557, 558, 589, 590 ], [ 559, 560, 591, 592 ], [ 561, 562, 593, 594 ], [ 563, 564, 595, 596 ], [ 567, 568, 599, 600 ], [ 569, 570, 601, 602 ], [ 571, 572, 603, 604 ], [ 573, 574 ], [ 576, 577, 607, 608 ], [ 578, 579, 609, 610 ], [ 580, 581, 611, 612 ], [ 582, 583, 613, 614 ], [ 586, 587, 617, 618 ], [ 588, 589, 619, 620 ], [ 590, 591, 621, 622 ], [ 592, 593, 623, 624 ], [ 596, 597, 627, 628 ], [ 598, 599, 629, 630 ], [ 600, 601, 631, 632 ], [ 602, 603, 633, 634 ], [ 605, 638 ], [ 606, 607, 639, 640 ], [ 608, 609, 641, 642 ], [ 610, 611, 643, 644 ], [ 614, 615, 647, 648 ], [ 616, 617, 649, 650 ], [ 618, 619, 651, 652 ], [ 620, 621, 653, 654 ], [ 624, 625, 657, 658 ], [ 626, 627, 659, 660 ], [ 628, 629, 661, 662 ], [ 630, 631, 663, 664 ], [ 634, 635, 667, 668 ], [ 636, 637, 669, 670 ], [ 638, 639, 672, 673 ], [ 640, 641, 674, 675 ], [ 644, 645, 678, 679 ], [ 646, 647, 680, 681 ], [ 648, 649, 682, 683 ], [ 650, 651, 684, 685 ], [ 654, 655, 688, 689 ], [ 656, 657, 690, 691 ], [ 658, 659, 692, 693 ], [ 660, 661, 694, 695 ], [ 664, 665, 698, 699 ], [ 666, 667, 700, 701 ], [ 668, 669, 702, 703 ], [ 671, 672, 705, 706 ], [ 675, 676, 709, 710 ], [ 677, 678, 711, 712 ], [ 679, 680, 713, 714 ], [ 681, 682, 715, 716 ], [ 685, 686, 719, 720 ], [ 687, 688, 721, 722 ], [ 689, 690, 723, 724 ], [ 691, 692, 725, 726 ], [ 695, 696, 729, 730 ], [ 697, 698, 731, 732 ], [ 699, 700, 733, 734 ], [ 701, 702, 735, 736 ], [ 706, 707, 739, 740 ], [ 708, 709, 741, 742 ], [ 710, 711, 743, 744 ], [ 712, 713, 745, 746 ], [ 716, 717, 749, 750 ], [ 718, 719, 751, 752 ], [ 720, 721, 753, 754 ], [ 722, 723, 755, 756 ], [ 726, 727, 759, 760 ], [ 728, 729, 761, 762 ], [ 730, 731, 763, 764 ], [ 732, 733, 765, 766 ], [ 736, 737, 769, 770 ], [ 738, 739, 772, 773 ], [ 740, 741, 774, 775 ], [ 742, 743, 776, 777 ], [ 746, 747, 780, 781 ], [ 748, 749, 782, 783 ], [ 750, 751, 784, 785 ], [ 752, 753, 786, 787 ], [ 756, 757, 790, 791 ], [ 758, 759, 792, 793 ], [ 760, 761, 794, 795 ], [ 762, 763, 796, 797 ], [ 766, 767, 800, 801 ], [ 768, 769, 802, 803 ], [ 770, 771, 804 ], [ 773, 774, 806, 807 ], [ 777, 778, 810, 811 ], [ 779, 780, 812, 813 ], [ 781, 782, 814, 815 ], [ 783, 784, 816, 817 ], [ 787, 788, 820, 821 ], [ 789, 790, 822, 823 ], [ 791, 792, 824, 825 ], [ 793, 794, 826, 827 ], [ 797, 798, 830, 831 ], [ 799, 800, 832, 833 ], [ 801, 802, 834, 835 ], [ 803, 804, 836, 837 ], [ 807, 808, 840, 841 ], [ 809, 810, 842, 843 ], [ 811, 812, 844, 845 ], [ 813, 814, 846, 847 ], [ 817, 818, 850, 851 ], [ 819, 820, 852, 853 ], [ 821, 822, 854, 855 ], [ 823, 824, 856, 857 ], [ 827, 828, 860, 861 ], [ 829, 830, 862, 863 ], [ 831, 832, 864, 865 ], [ 833, 834, 866, 867 ], [ 837, 838, 870, 871 ], [ 839, 840, 872, 873 ], [ 841, 842, 874, 875 ], [ 843, 844, 876, 877 ], [ 847, 848, 879, 880 ], [ 849, 850, 881, 882 ], [ 851, 852, 883, 884 ], [ 853, 854, 885, 886 ], [ 857, 858, 887, 888 ], [ 859, 860, 889, 890 ], [ 861, 862, 891, 892 ], [ 863, 864, 893, 894 ], [ 867, 868, 896, 897 ], [ 869, 870, 898, 899 ], [ 873, 874, 901 ], [ 877, 878, 903, 904 ], [ 879, 905 ], [ 880, 881, 906, 907 ], [ 882, 883, 908, 909 ], [ 887, 913 ], [ 888, 889, 914, 915 ], [ 890, 891, 916 ], [ 894, 895, 918, 919 ], [ 896, 920 ], [ 897, 898, 921, 922 ], [ 899, 900 ], [ 5, 6 ], [ 340, 374 ], [ 917, 918 ], [ 10, 11 ], [ 902, 903 ], [ 670, 704 ], [ 911, 912 ], [ 442, 475 ], [ 112, 145 ], [ 0, 1 ], [ 772, 805 ], [ 573, 574 ], [ 884, 885, 910, 911 ] ] }, "distance": { "d": 3, "X": { "value": 3, "confidence": "upper_bound", "witness": [ 819, 853, 886 ], "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": 3, "confidence": "upper_bound", "witness": [ 239, 270, 301 ], "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/925-173-3.json ([[925,173,3]]) by 2 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 . 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 3, 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/925-173-3.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/925-173-3.json, not an independent construction; the source's authors are @mrvee-qC-bee and the reduction is mine. The gate reports no exact duplicate and no WL-equivalent entry. It dominates [[925,173,3]], [[931,169,3]], [[945,172,3]], [[961,169,3]] on (n, k, d, w), which therefore leave the frontier of every cell they share with it. The measured interaction radius is 2.23607, against 1.41421 for the source: unlike the graft and the cleanup, the merge-graft can widen a check, and it is capped by the locality class rather than by the source's own radius, so the reduced code is less local even though it stays in the same cell. 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": "topological", "locality": { "coordinates": [ [ 0.0, 6.0 ], [ 0.0, 7.0 ], [ 0.0, 8.0 ], [ 0.0, 9.0 ], [ 0.0, 10.0 ], [ 0.0, 16.0 ], [ 0.0, 17.0 ], [ 0.0, 18.0 ], [ 0.0, 19.0 ], [ 0.0, 20.0 ], [ 0.0, 26.0 ], [ 0.0, 27.0 ], [ 0.0, 28.0 ], [ 0.0, 29.0 ], [ 0.0, 30.0 ], [ 1.0, 0.0 ], [ 1.0, 1.0 ], [ 1.0, 2.0 ], [ 1.0, 4.0 ], [ 1.0, 5.0 ], [ 1.0, 6.0 ], [ 1.0, 7.0 ], [ 1.0, 8.0 ], [ 1.0, 9.0 ], [ 1.0, 10.0 ], [ 1.0, 11.0 ], [ 1.0, 12.0 ], [ 1.0, 14.0 ], [ 1.0, 15.0 ], [ 1.0, 16.0 ], [ 1.0, 17.0 ], [ 1.0, 18.0 ], [ 1.0, 19.0 ], [ 1.0, 20.0 ], [ 1.0, 21.0 ], [ 1.0, 22.0 ], [ 1.0, 24.0 ], [ 1.0, 25.0 ], [ 1.0, 26.0 ], [ 1.0, 27.0 ], [ 1.0, 28.0 ], [ 1.0, 29.0 ], [ 1.0, 30.0 ], [ 1.0, 31.0 ], [ 1.0, 32.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 ], [ 2.0, 12.0 ], [ 2.0, 13.0 ], [ 2.0, 14.0 ], [ 2.0, 15.0 ], [ 2.0, 16.0 ], [ 2.0, 17.0 ], [ 2.0, 18.0 ], [ 2.0, 19.0 ], [ 2.0, 20.0 ], [ 2.0, 21.0 ], [ 2.0, 22.0 ], [ 2.0, 23.0 ], [ 2.0, 24.0 ], [ 2.0, 25.0 ], [ 2.0, 26.0 ], [ 2.0, 27.0 ], [ 2.0, 28.0 ], [ 2.0, 29.0 ], [ 2.0, 30.0 ], [ 2.0, 31.0 ], [ 2.0, 32.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 ], [ 3.0, 12.0 ], [ 3.0, 13.0 ], [ 3.0, 14.0 ], [ 3.0, 15.0 ], [ 3.0, 16.0 ], [ 3.0, 17.0 ], [ 3.0, 18.0 ], [ 3.0, 19.0 ], [ 3.0, 20.0 ], [ 3.0, 21.0 ], [ 3.0, 22.0 ], [ 3.0, 23.0 ], [ 3.0, 24.0 ], [ 3.0, 25.0 ], [ 3.0, 26.0 ], [ 3.0, 27.0 ], [ 3.0, 28.0 ], [ 3.0, 29.0 ], [ 3.0, 30.0 ], [ 3.0, 31.0 ], [ 3.0, 32.0 ], [ 3.0, 33.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 ], [ 4.0, 11.0 ], [ 4.0, 12.0 ], [ 4.0, 13.0 ], [ 4.0, 14.0 ], [ 4.0, 15.0 ], [ 4.0, 16.0 ], [ 4.0, 17.0 ], [ 4.0, 18.0 ], [ 4.0, 19.0 ], [ 4.0, 20.0 ], [ 4.0, 21.0 ], [ 4.0, 22.0 ], [ 4.0, 23.0 ], [ 4.0, 24.0 ], [ 4.0, 25.0 ], [ 4.0, 26.0 ], [ 4.0, 27.0 ], [ 4.0, 28.0 ], [ 4.0, 29.0 ], [ 4.0, 30.0 ], [ 4.0, 31.0 ], [ 4.0, 32.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 ], [ 5.0, 12.0 ], [ 5.0, 13.0 ], [ 5.0, 14.0 ], [ 5.0, 15.0 ], [ 5.0, 16.0 ], [ 5.0, 17.0 ], [ 5.0, 18.0 ], [ 5.0, 19.0 ], [ 5.0, 20.0 ], [ 5.0, 21.0 ], [ 5.0, 22.0 ], [ 5.0, 23.0 ], [ 5.0, 24.0 ], [ 5.0, 25.0 ], [ 5.0, 26.0 ], [ 5.0, 27.0 ], [ 5.0, 28.0 ], [ 5.0, 29.0 ], [ 5.0, 30.0 ], [ 5.0, 31.0 ], [ 5.0, 32.0 ], [ 5.0, 33.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 ], [ 6.0, 11.0 ], [ 6.0, 12.0 ], [ 6.0, 13.0 ], [ 6.0, 14.0 ], [ 6.0, 15.0 ], [ 6.0, 16.0 ], [ 6.0, 17.0 ], [ 6.0, 18.0 ], [ 6.0, 19.0 ], [ 6.0, 20.0 ], [ 6.0, 21.0 ], [ 6.0, 22.0 ], [ 6.0, 23.0 ], [ 6.0, 24.0 ], [ 6.0, 25.0 ], [ 6.0, 26.0 ], [ 6.0, 27.0 ], [ 6.0, 28.0 ], [ 6.0, 29.0 ], [ 6.0, 30.0 ], [ 6.0, 31.0 ], [ 6.0, 32.0 ], [ 6.0, 33.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 ], [ 7.0, 12.0 ], [ 7.0, 13.0 ], [ 7.0, 14.0 ], [ 7.0, 15.0 ], [ 7.0, 16.0 ], [ 7.0, 17.0 ], [ 7.0, 18.0 ], [ 7.0, 19.0 ], [ 7.0, 20.0 ], [ 7.0, 21.0 ], [ 7.0, 22.0 ], [ 7.0, 23.0 ], [ 7.0, 24.0 ], [ 7.0, 25.0 ], [ 7.0, 26.0 ], [ 7.0, 27.0 ], [ 7.0, 28.0 ], [ 7.0, 29.0 ], [ 7.0, 30.0 ], [ 7.0, 31.0 ], [ 7.0, 32.0 ], [ 7.0, 33.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 ], [ 8.0, 12.0 ], [ 8.0, 13.0 ], [ 8.0, 14.0 ], [ 8.0, 15.0 ], [ 8.0, 16.0 ], [ 8.0, 17.0 ], [ 8.0, 18.0 ], [ 8.0, 19.0 ], [ 8.0, 20.0 ], [ 8.0, 21.0 ], [ 8.0, 22.0 ], [ 8.0, 23.0 ], [ 8.0, 24.0 ], [ 8.0, 25.0 ], [ 8.0, 26.0 ], [ 8.0, 27.0 ], [ 8.0, 28.0 ], [ 8.0, 29.0 ], [ 8.0, 30.0 ], [ 8.0, 31.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 ], [ 9.0, 12.0 ], [ 9.0, 13.0 ], [ 9.0, 14.0 ], [ 9.0, 15.0 ], [ 9.0, 16.0 ], [ 9.0, 17.0 ], [ 9.0, 18.0 ], [ 9.0, 19.0 ], [ 9.0, 20.0 ], [ 9.0, 21.0 ], [ 9.0, 22.0 ], [ 9.0, 23.0 ], [ 9.0, 24.0 ], [ 9.0, 25.0 ], [ 9.0, 26.0 ], [ 9.0, 27.0 ], [ 9.0, 28.0 ], [ 9.0, 29.0 ], [ 9.0, 30.0 ], [ 9.0, 31.0 ], [ 9.0, 32.0 ], [ 9.0, 33.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 ], [ 10.0, 12.0 ], [ 10.0, 13.0 ], [ 10.0, 14.0 ], [ 10.0, 15.0 ], [ 10.0, 16.0 ], [ 10.0, 17.0 ], [ 10.0, 18.0 ], [ 10.0, 19.0 ], [ 10.0, 20.0 ], [ 10.0, 21.0 ], [ 10.0, 22.0 ], [ 10.0, 23.0 ], [ 10.0, 24.0 ], [ 10.0, 25.0 ], [ 10.0, 26.0 ], [ 10.0, 27.0 ], [ 10.0, 28.0 ], [ 10.0, 29.0 ], [ 10.0, 30.0 ], [ 10.0, 31.0 ], [ 10.0, 32.0 ], [ 10.0, 33.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 ], [ 11.0, 12.0 ], [ 11.0, 13.0 ], [ 11.0, 14.0 ], [ 11.0, 15.0 ], [ 11.0, 16.0 ], [ 11.0, 17.0 ], [ 11.0, 18.0 ], [ 11.0, 19.0 ], [ 11.0, 20.0 ], [ 11.0, 21.0 ], [ 11.0, 22.0 ], [ 11.0, 23.0 ], [ 11.0, 24.0 ], [ 11.0, 25.0 ], [ 11.0, 26.0 ], [ 11.0, 27.0 ], [ 11.0, 28.0 ], [ 11.0, 29.0 ], [ 11.0, 30.0 ], [ 11.0, 31.0 ], [ 11.0, 32.0 ], [ 11.0, 33.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 ], [ 12.0, 11.0 ], [ 12.0, 12.0 ], [ 12.0, 13.0 ], [ 12.0, 14.0 ], [ 12.0, 15.0 ], [ 12.0, 16.0 ], [ 12.0, 17.0 ], [ 12.0, 18.0 ], [ 12.0, 19.0 ], [ 12.0, 20.0 ], [ 12.0, 21.0 ], [ 12.0, 22.0 ], [ 12.0, 23.0 ], [ 12.0, 24.0 ], [ 12.0, 25.0 ], [ 12.0, 26.0 ], [ 12.0, 27.0 ], [ 12.0, 28.0 ], [ 12.0, 29.0 ], [ 12.0, 30.0 ], [ 12.0, 31.0 ], [ 12.0, 32.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 ], [ 13.0, 11.0 ], [ 13.0, 12.0 ], [ 13.0, 13.0 ], [ 13.0, 14.0 ], [ 13.0, 15.0 ], [ 13.0, 16.0 ], [ 13.0, 17.0 ], [ 13.0, 18.0 ], [ 13.0, 19.0 ], [ 13.0, 20.0 ], [ 13.0, 21.0 ], [ 13.0, 22.0 ], [ 13.0, 23.0 ], [ 13.0, 24.0 ], [ 13.0, 25.0 ], [ 13.0, 26.0 ], [ 13.0, 27.0 ], [ 13.0, 28.0 ], [ 13.0, 29.0 ], [ 13.0, 30.0 ], [ 13.0, 31.0 ], [ 13.0, 32.0 ], [ 13.0, 33.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 ], [ 14.0, 12.0 ], [ 14.0, 13.0 ], [ 14.0, 14.0 ], [ 14.0, 15.0 ], [ 14.0, 16.0 ], [ 14.0, 17.0 ], [ 14.0, 18.0 ], [ 14.0, 19.0 ], [ 14.0, 20.0 ], [ 14.0, 21.0 ], [ 14.0, 22.0 ], [ 14.0, 23.0 ], [ 14.0, 24.0 ], [ 14.0, 25.0 ], [ 14.0, 26.0 ], [ 14.0, 27.0 ], [ 14.0, 28.0 ], [ 14.0, 29.0 ], [ 14.0, 30.0 ], [ 14.0, 31.0 ], [ 14.0, 32.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 ], [ 15.0, 12.0 ], [ 15.0, 13.0 ], [ 15.0, 14.0 ], [ 15.0, 15.0 ], [ 15.0, 16.0 ], [ 15.0, 17.0 ], [ 15.0, 18.0 ], [ 15.0, 19.0 ], [ 15.0, 20.0 ], [ 15.0, 21.0 ], [ 15.0, 22.0 ], [ 15.0, 23.0 ], [ 15.0, 24.0 ], [ 15.0, 25.0 ], [ 15.0, 26.0 ], [ 15.0, 27.0 ], [ 15.0, 28.0 ], [ 15.0, 29.0 ], [ 15.0, 30.0 ], [ 15.0, 31.0 ], [ 15.0, 32.0 ], [ 15.0, 33.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 ], [ 16.0, 12.0 ], [ 16.0, 13.0 ], [ 16.0, 14.0 ], [ 16.0, 15.0 ], [ 16.0, 16.0 ], [ 16.0, 17.0 ], [ 16.0, 18.0 ], [ 16.0, 19.0 ], [ 16.0, 20.0 ], [ 16.0, 21.0 ], [ 16.0, 22.0 ], [ 16.0, 23.0 ], [ 16.0, 24.0 ], [ 16.0, 25.0 ], [ 16.0, 26.0 ], [ 16.0, 27.0 ], [ 16.0, 28.0 ], [ 16.0, 29.0 ], [ 16.0, 30.0 ], [ 16.0, 31.0 ], [ 16.0, 32.0 ], [ 16.0, 33.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 ], [ 17.0, 11.0 ], [ 17.0, 12.0 ], [ 17.0, 13.0 ], [ 17.0, 14.0 ], [ 17.0, 15.0 ], [ 17.0, 16.0 ], [ 17.0, 17.0 ], [ 17.0, 18.0 ], [ 17.0, 19.0 ], [ 17.0, 20.0 ], [ 17.0, 21.0 ], [ 17.0, 22.0 ], [ 17.0, 23.0 ], [ 17.0, 24.0 ], [ 17.0, 25.0 ], [ 17.0, 26.0 ], [ 17.0, 27.0 ], [ 17.0, 28.0 ], [ 17.0, 29.0 ], [ 17.0, 30.0 ], [ 17.0, 31.0 ], [ 17.0, 32.0 ], [ 17.0, 33.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 ], [ 18.0, 12.0 ], [ 18.0, 13.0 ], [ 18.0, 14.0 ], [ 18.0, 15.0 ], [ 18.0, 16.0 ], [ 18.0, 17.0 ], [ 18.0, 18.0 ], [ 18.0, 19.0 ], [ 18.0, 20.0 ], [ 18.0, 21.0 ], [ 18.0, 22.0 ], [ 18.0, 23.0 ], [ 18.0, 24.0 ], [ 18.0, 25.0 ], [ 18.0, 26.0 ], [ 18.0, 27.0 ], [ 18.0, 28.0 ], [ 18.0, 29.0 ], [ 18.0, 30.0 ], [ 18.0, 31.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 ], [ 19.0, 12.0 ], [ 19.0, 13.0 ], [ 19.0, 14.0 ], [ 19.0, 15.0 ], [ 19.0, 16.0 ], [ 19.0, 17.0 ], [ 19.0, 18.0 ], [ 19.0, 19.0 ], [ 19.0, 20.0 ], [ 19.0, 21.0 ], [ 19.0, 22.0 ], [ 19.0, 23.0 ], [ 19.0, 24.0 ], [ 19.0, 25.0 ], [ 19.0, 26.0 ], [ 19.0, 27.0 ], [ 19.0, 28.0 ], [ 19.0, 29.0 ], [ 19.0, 30.0 ], [ 19.0, 31.0 ], [ 19.0, 32.0 ], [ 19.0, 33.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 ], [ 20.0, 12.0 ], [ 20.0, 13.0 ], [ 20.0, 14.0 ], [ 20.0, 15.0 ], [ 20.0, 16.0 ], [ 20.0, 17.0 ], [ 20.0, 18.0 ], [ 20.0, 19.0 ], [ 20.0, 20.0 ], [ 20.0, 21.0 ], [ 20.0, 22.0 ], [ 20.0, 23.0 ], [ 20.0, 24.0 ], [ 20.0, 25.0 ], [ 20.0, 26.0 ], [ 20.0, 27.0 ], [ 20.0, 28.0 ], [ 20.0, 29.0 ], [ 20.0, 30.0 ], [ 20.0, 31.0 ], [ 20.0, 32.0 ], [ 20.0, 33.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 ], [ 21.0, 11.0 ], [ 21.0, 12.0 ], [ 21.0, 13.0 ], [ 21.0, 14.0 ], [ 21.0, 15.0 ], [ 21.0, 16.0 ], [ 21.0, 17.0 ], [ 21.0, 18.0 ], [ 21.0, 19.0 ], [ 21.0, 20.0 ], [ 21.0, 21.0 ], [ 21.0, 22.0 ], [ 21.0, 23.0 ], [ 21.0, 24.0 ], [ 21.0, 25.0 ], [ 21.0, 26.0 ], [ 21.0, 27.0 ], [ 21.0, 28.0 ], [ 21.0, 29.0 ], [ 21.0, 30.0 ], [ 21.0, 31.0 ], [ 21.0, 32.0 ], [ 21.0, 33.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 ], [ 22.0, 12.0 ], [ 22.0, 13.0 ], [ 22.0, 14.0 ], [ 22.0, 15.0 ], [ 22.0, 16.0 ], [ 22.0, 17.0 ], [ 22.0, 18.0 ], [ 22.0, 19.0 ], [ 22.0, 20.0 ], [ 22.0, 21.0 ], [ 22.0, 22.0 ], [ 22.0, 23.0 ], [ 22.0, 24.0 ], [ 22.0, 25.0 ], [ 22.0, 26.0 ], [ 22.0, 27.0 ], [ 22.0, 28.0 ], [ 22.0, 29.0 ], [ 22.0, 30.0 ], [ 22.0, 31.0 ], [ 22.0, 32.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 ], [ 23.0, 12.0 ], [ 23.0, 13.0 ], [ 23.0, 14.0 ], [ 23.0, 15.0 ], [ 23.0, 16.0 ], [ 23.0, 17.0 ], [ 23.0, 18.0 ], [ 23.0, 19.0 ], [ 23.0, 20.0 ], [ 23.0, 21.0 ], [ 23.0, 22.0 ], [ 23.0, 23.0 ], [ 23.0, 24.0 ], [ 23.0, 25.0 ], [ 23.0, 26.0 ], [ 23.0, 27.0 ], [ 23.0, 28.0 ], [ 23.0, 29.0 ], [ 23.0, 30.0 ], [ 23.0, 31.0 ], [ 23.0, 32.0 ], [ 23.0, 33.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 ], [ 24.0, 12.0 ], [ 24.0, 13.0 ], [ 24.0, 14.0 ], [ 24.0, 15.0 ], [ 24.0, 16.0 ], [ 24.0, 17.0 ], [ 24.0, 18.0 ], [ 24.0, 19.0 ], [ 24.0, 20.0 ], [ 24.0, 21.0 ], [ 24.0, 22.0 ], [ 24.0, 23.0 ], [ 24.0, 24.0 ], [ 24.0, 25.0 ], [ 24.0, 26.0 ], [ 24.0, 27.0 ], [ 24.0, 28.0 ], [ 24.0, 29.0 ], [ 24.0, 30.0 ], [ 24.0, 31.0 ], [ 24.0, 32.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 ], [ 25.0, 12.0 ], [ 25.0, 13.0 ], [ 25.0, 14.0 ], [ 25.0, 15.0 ], [ 25.0, 16.0 ], [ 25.0, 17.0 ], [ 25.0, 18.0 ], [ 25.0, 19.0 ], [ 25.0, 20.0 ], [ 25.0, 21.0 ], [ 25.0, 22.0 ], [ 25.0, 23.0 ], [ 25.0, 24.0 ], [ 25.0, 25.0 ], [ 25.0, 26.0 ], [ 25.0, 27.0 ], [ 25.0, 28.0 ], [ 25.0, 29.0 ], [ 25.0, 30.0 ], [ 25.0, 31.0 ], [ 25.0, 32.0 ], [ 25.0, 33.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 ], [ 26.0, 12.0 ], [ 26.0, 13.0 ], [ 26.0, 14.0 ], [ 26.0, 15.0 ], [ 26.0, 16.0 ], [ 26.0, 17.0 ], [ 26.0, 18.0 ], [ 26.0, 19.0 ], [ 26.0, 20.0 ], [ 26.0, 21.0 ], [ 26.0, 22.0 ], [ 26.0, 23.0 ], [ 26.0, 24.0 ], [ 26.0, 25.0 ], [ 26.0, 26.0 ], [ 26.0, 27.0 ], [ 26.0, 28.0 ], [ 26.0, 29.0 ], [ 26.0, 30.0 ], [ 26.0, 31.0 ], [ 26.0, 32.0 ], [ 26.0, 33.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, 9.0 ], [ 27.0, 10.0 ], [ 27.0, 11.0 ], [ 27.0, 12.0 ], [ 27.0, 13.0 ], [ 27.0, 14.0 ], [ 27.0, 15.0 ], [ 27.0, 16.0 ], [ 27.0, 19.0 ], [ 27.0, 20.0 ], [ 27.0, 21.0 ], [ 27.0, 22.0 ], [ 27.0, 23.0 ], [ 27.0, 24.0 ], [ 27.0, 25.0 ], [ 27.0, 26.0 ], [ 27.0, 27.0 ], [ 27.0, 29.0 ], [ 27.0, 30.0 ], [ 27.0, 31.0 ], [ 27.0, 32.0 ], [ 27.0, 33.0 ], [ 28.0, 3.0 ], [ 28.0, 5.0 ], [ 28.0, 6.0 ], [ 28.0, 7.0 ], [ 28.0, 9.0 ], [ 28.0, 10.0 ], [ 28.0, 11.0 ], [ 28.0, 12.0 ], [ 28.0, 13.0 ], [ 28.0, 14.0 ], [ 28.0, 15.0 ], [ 28.0, 16.0 ], [ 28.0, 19.0 ], [ 28.0, 20.0 ], [ 28.0, 21.0 ], [ 28.0, 23.0 ], [ 28.0, 25.0 ], [ 28.0, 26.0 ], [ 28.0, 27.0 ], [ 28.0, 29.0 ], [ 28.0, 30.0 ], [ 28.0, 31.0 ] ], "interaction_radius": 2.23606797749979, "layers": 1 } }