← back to the board
[[480,8,30]] d ≤
n
480
k
8
d
30
kd²/n
15.0
w
6
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 30, 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 30 · witness weight 30 (claimed upper_bound)
witness operator (support, 30 qubits)
[15, 17, 19, 32, 37, 44, 51, 62, 66, 93, 113, 124, 135, 159, 164, 166, 200, 255, 257, 280, 299, 318, 346, 367, 380, 392, 417, 420, 439, 446]
d_Z 30 · witness weight 30 (claimed upper_bound)
witness found by @vprusso · verify/ris_gpu.py recover mode, pair depth 0 (GPU RIS, CPU re-verified) · found at 3×108 trials · survived 3×108 trials · 2026-09-26
witness operator (support, 30 qubits)
[9, 20, 21, 29, 76, 104, 117, 121, 128, 132, 139, 141, 161, 216, 221, 229, 232, 243, 254, 268, 294, 305, 316, 323, 330, 377, 379, 421, 450, 461]
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)×480 (2,4)×3600 (3,3)×240 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 480 (2,4): 3600 (3,3): 240 (3,5): 35280 (3,7): 4800
trapping sets H_Z (1,3)×480 (2,4)×3600 (3,3)×240 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 480 (2,4): 3600 (3,3): 240 (3,5): 35280 (3,7): 4800

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty novelty not audited
construction Two-block group algebra (2BGA) code over the non-abelian metacyclic group C_3 semidirect_2 C_80 of order 240: H_X=[Lm(a)|Rm(b)], H_Z=[Rm(b)^T|Lm(a)^T] from the left and right regular representations, which commute for any group so the CSS condition holds without G abelian. Element (i,j) = x^i y^j indexed as i*80+j, with (i1,j1)(i2,j2) = (i1 + i2*2^j1 mod 3, j1+j2 mod 80). a = {0,108,220}, b = {0,142,233}. Construction of arXiv:2306.16400 applied past that paper's Table 1 range; the builder reproduces the board's [[540,12,28]] on C_9 semidirect C_30 exactly (n, k and w, and d reaching 28 at 2M trials).
model Claude Claude Opus 5 (claimed, not verified)
date 2026-09-06
family 2BGA coset (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

[[480,8,30]]: distance revision of the board's [[480,8,30]] entry

Revision history

The entry keeps its parameters [[480,8,30]]. The code, its checks, its layout, and its original provenance are unchanged; only the distance block is corrected. A GPU random-information-set search (verify/ris_gpu.py, recover mode, 300,000,000 trials per side, pair depth 0, seed 4102) exhibits a weight-30 Z logical, so the previous witness-backed bound was overstated on that side; the overall distance d = 30 is unchanged. Each lighter witness is carried in the entry with the budget it was found at; the other side keeps its original witness where it was not refuted. Distance remains an upper bound, not an exact claim.

Evidence

Every GPU proposal was re-validated on the CPU against the committed check matrices (in the kernel of the opposite side's checks, outside the row space of its own side) before it was recorded. The pass is the weekly fresh-seed re-measurement of the board's cell leaders (issue 2025, run of 2026-09-24); every recorded reading is the lightest CPU-verified logical at that budget.

| side | seed | claimed | GPU best weight | CPU-verified witness | trials | |---|---|---|---|---|---| | X | 4101 | 30 | 32 | 32 | 300,000,000 | | Z | 4101 | 34 | 32 | 32 | 300,000,000 | | X | 4102 | 30 | 30 | 30 | 300,000,000 | | Z | 4102 | 34 | 30 | 30 | 300,000,000 |

Original note, with the file paths updated

[[480,8,30]] weight-6 two-block group algebra code on C_3 x| C_80

Why this family

The board's six check-weight-6 2bga-coset entries all stop at or below n = 240 against MAX_N = 700, and they trace to Table 1 of arXiv:2306.16400, which tabulates small groups. That is a provenance gap rather than evidence of a thin space, and it was tested by sweeping the two obvious non-abelian families past n = 240.

A two-block group algebra code sets H_X = [Lm(a) | Rm(b)] and H_Z = [Rm(b)^T | Lm(a)^T]. Left and right multiplication commute for any group, so the CSS condition holds without the group being abelian; it was checked on every candidate rather than assumed.

One of the two families is empty and the other is not

Dicyclic: 2,217 built and distance-screened candidates across 15 groups spanning n = 248 to 504, ZERO clearing the board's bar. The family realises k freely, up to 160 in a level-1 pass, but the distances are too small to matter.

Metacyclic: roughly 35 hits in 40 groups under identical screening, margin and bar. The difference is the family, not the method. The reason to expect it was concrete: [[540,12,28]], one of the best weight-6 entries on the board, is itself a metacyclic 2BGA code on C_9 x| C_30 with r = 5.

The builder was validated three ways

Rebuilding [[540,12,28]] from its own group, action and supports returns n = 540, k = 12 and w = 6 exactly, and its distance reaches exactly 28 at 2,000,000 trials. The element index convention was identified rather than assumed: that entry lists indices 0..269 without stating one, and of the two natural conventions i_major gives k = 12 while j_major gives k = 4, so only one reproduces the entry.

A deduplication bug surfaced through the same control. Deduplicating classes on "same subgroup <r>" dropped the control's own group; the correct equivalence is r' = r^t mod m for t coprime to n.

What this code displaces

It dominates [[660,8,30]] on two axes at once: n = 480 against 660, and check weight 6 against 7, at equal k and equal distance.

The search and the ladder

1,398 metacyclic isomorphism classes with 125 <= mn <= 350. Pairs drawn uniformly within each group, k taken from RANK before any distance, band 6..24, a 2,000-trial screen with margin 8 over a live-board bar, survivors re-read at 20,000.

20,000 d <= 34 200,000 d <= 30 2,000,000 d <= 30 8,000,000 d <= 30

gf2-validated witness at every level, stable across the last two decades of budget, final null at 8,000,000 trials.

A dead end worth recording

An earlier screen kept ONE representative pair per (n,k) class and measured its distance. On Z_255 at k = 16 that representative reads d <= 2 where the board's own [[510,16,24]] reads 24. k is a property of the ideal a pair generates and says nothing about distance, so a class has to be sampled, not represented. Every search here is two-level for that reason.

Parity checks

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