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