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