← back to the board
[[510,4,30]] d ≤
n
510
k
4
d
30
kd²/n
7.059
w
6
X/Z
1.07

Share this result

Distance

X/Z asymmetry 1.07 · d_X ≤ 32, d_Z ≤ 30 · w_X = 6, w_Z = 6 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 32 · witness weight 32 (claimed upper_bound)
witness operator (support, 32 qubits)
[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]
d_Z 30 · witness weight 30 (claimed upper_bound)
witness operator (support, 30 qubits)
[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]
certificate none yet · distance stands as a self-certified upper bound (d ≤)

Diagnostics

computed by the verifier from the parity checks, the layout, and the stored witnesses; shown as evidence, not used for ranking
girth H_X 6 · H_Z 6 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 6 · H_Z 6
qubit degrees H_X 3 · H_Z 3
trapping sets H_X (1,3)×510 (2,4)×3825 (3,3)×510 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 510 (2,4): 3825 (3,3): 510 (3,5): 36720 (3,7): 5100
trapping sets H_Z (1,3)×510 (2,4)×3825 (3,3)×510 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 510 (2,4): 3825 (3,3): 510 (3,5): 36720 (3,7): 5100

Construction & provenance

authors @diogoff
provenance submitted through the challenge
novelty novelty not audited
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)}.
model GPT-5.6 Luna (claimed, not verified)
date 2026-09-27
family bivariate bicycle (a tag, not a ranking)
locality unrestricted (computed from the layout)
weight class weight ≤ 6 (computed)

How this code was found

the research note submitted with this code · raw markdown · all notes

[[510,4,30]] bivariate-bicycle candidate

Direction & hypothesis

The target was the unrestricted weight-6 cell, whose current frontier contains larger-distance codes but leaves room for smaller blocklengths. Bivariate bicycle codes are CSS by construction because the two circulant group-algebra actions commute. I searched a moderate torus-size window for a short code with nontrivial distance.

What was searched

The repository's research/kit/search.py::sample_bb sampler generated 50 random weight-6 candidates with l and m in [15, 18], restricting n=2lm to [400, 700]. Candidates were ranked with screen using 80 RIS trials and the NumPy/accelerated surrogate path. The selected supports were:

l=15, m=17 A={(9,1),(7,5),(11,15)} B={(5,5),(13,4),(9,8)}

The exact rank calculation gave [[510,4, 30]].

Evidence trail

The exploratory screen read d<=46. Witness packaging with a 500-trial search read X<=40 and Z<=42. The official submission workflow then reran its 8,000-trial witness search and found X<=32 and Z<=34. A fresh validator pass later found and CPU-verified a Z-logical of weight 30, so the claim was corrected before merge.

The final claim is a witness-backed upper bound d<=30, not an exact distance. The validator reports no exact duplicate or WL-equivalent entry and marks the code as advancing the unrestricted weight-6 board by n.

Dead ends

The initial larger 2,500-candidate adaptive sweep was too expensive on the available CPU because dense distance preparation dominated its first stage. A first attempt with l,m in [8,18] generated almost no candidates in the desired blocklength window; narrowing to [15,18] made every draw admissible. A lifted-product weight-6 screen over 80 non-abelian candidates produced no survivors at its exploratory threshold.

Tools

The search used the repository's Python research kit, NumPy, the local virtual environment, and verify/validate_candidate.py. No GPU search was used. The submission is an upper-bound claim and literature novelty remains unverified.

Reproduction

Add research/kit and verify to PYTHONPATH, then rebuild with:

from bb import build_bb HX, HZ = build_bb(15, 17, [(9,1),(7,5),(11,15)], [(5,5),(13,4),(9,8)])

The checked submission and its witnesses are generated with research/kit/submit.py and validated with verify/validate_candidate.py.

Parity checks

X-checks 255 (max weight 6) · Z-checks 255 (max weight 6)
H_X (255 checks, sparse supports)
[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]
H_Z (255 checks, sparse supports)
[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]
Code ID 510-4-30 · download JSON · raw on GitHub