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