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