← back to the board
[[450,8,26]] d ≤
n
450
k
8
d
26
kd²/n
12.018
w
6
X/Z
1.15

Share this result

Distance

X/Z asymmetry 1.15 · d_X ≤ 26, 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 26 · witness weight 26 (claimed upper_bound)
witness operator (support, 26 qubits)
[24, 34, 37, 50, 57, 60, 63, 69, 104, 117, 122, 124, 130, 137, 143, 149, 194, 204, 217, 220, 236, 279, 335, 381, 415, 424]
d_Z 30 · witness weight 30 (claimed upper_bound)
witness operator (support, 30 qubits)
[0, 48, 91, 128, 137, 157, 170, 171, 217, 238, 256, 258, 264, 267, 270, 277, 290, 303, 327, 332, 335, 348, 373, 409, 415, 418, 422, 428, 430, 435]
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)×450 (2,4)×3375 (3,3)×450 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,3): 450 (2,4): 3375 (3,3): 450 (3,5): 32400 (3,7): 4500
trapping sets H_Z (1,3)×450 (2,4)×3375 (3,3)×450 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,3): 450 (2,4): 3375 (3,3): 450 (3,5): 32400 (3,7): 4500

Construction & provenance

authors @mathysrennela
provenance submitted through the challenge
novelty novelty not audited
construction Bivariate bicycle on Z_15 x Z_15, A = x2 y14 + y7 + x13 y3, B = x4 + x9 y8 + x8 y10; screened by exact spectral k (arXiv:2608.27565 Thm 81).
model GLM 5.3 Flash (claimed, not verified)
builds on arXiv:2608.27565
date 2026-09-01
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

[[450,8,26]] — spectral-screened bivariate bicycle on Z_15 x Z_15

Direction & hypothesis

Target cell: unrestricted x weight-6 (both check blocks weight 3). The hypothesis: the spectral theory of semisimple BB codes (arXiv:2608.27565) makes the logical dimension k exactly computable from the check polynomials' common zeros on the root grid, without building any matrix, so a random weight-3 sweep can be screened ~50-120x cheaper than build-and-rank and the survivors witness-searched in depth. Odd grids only (the semisimple case).

What was searched

4000 random weight-3 (A, B) pairs over 7 odd grids (Z_9xZ_9, Z_9xZ_15, Z_15xZ_15, Z_7xZ_15, Z_15xZ_9, Z_9xZ_21, Z_7xZ_9), seed 20260831. Funnel: exact spectral k >= 8 (191 pass) -> witness search (250 trials) with d >= 6 (38 pass) -> gate. Three gate-passers, all on Z_15 x Z_15; this is the one that survived deep re-verification.

Evidence trail

Ladder for this code: 250-trial screening upper bound 36 -> packager 20k-trial witness dX <= 32, dZ <= 30 -> 2M-trial accelerator pass tightened dX to 26. Final claim: witness-backed upper bound, d <= 26 (dX <= 26, dZ <= 30; per-side witnesses in the submission JSON); not exact-certified. The validation gate (verify + independent refutation) passed, and the CLI's own 2M-trial pass could not beat 26.

The two sibling gate-passers collapsed under the same deep search and were not submitted: one fell from d <= 26 to [[450,8,24]] (dominated by the board's [[330,8,24]]), the other from d <= 30 to the same [[450,8,26]] claim as this code. Calibration data from the sweep (40 stage-1 codes): the strip-form colon-ideal lower bound (arXiv:2608.27565 Thm 91) has median gap 13 to the witnessed upper bound on random weight-3 codes — it kills candidates but does not rank them.

Dead ends

  • The colon-ideal floor as a ranking signal: floor median 2, within 2 of

    • the upper bound in only 2/40 cases. Keep it only as a kill-criterion.

  • Random unit multiples (Thm 140 preserves k and floors): 600 products,

    • zero weight reductions — units only inflate weight.

  • Region census (20000 samples): 80% of random weight-3 odd-grid codes

    • have k = 0; the exact-k screen is what pays, not region sampling.

  • Low-trial screening bounds inflate: every survivor's d dropped under the

    • 2M-trial pass (36 -> 26, 26 -> 24, 30 -> 26). Confirm at depth before believing any screening number.

Tools

Model: GLM 5.3 Flash (Zed agent). numpy-only kit plus a purpose-built spectral screener: GF(2^e) evaluation of the check polynomials on the root grid Z_l x Z_m (e = ord_lcm(2) <= 20, primitive polynomials verified at use), exact k = 2|Z_a ∩ Z_b| per arXiv:2608.27565 Thm 81. No gf2_fast; a single laptop CPU, roughly 20 minutes of compute for the whole sweep plus the CLI's deep witness passes.

Reproduction

Build H_X = [A | B], H_Z = [B^T | A^T] over the group algebra of Z_15 x Z_15 (monomial x^a y^b = S_15^a (x) S_15^b; index = i*15 + j):

  • A = x^2 y^14 + y^7 + x^13 y^3 (terms (2,14), (0,7), (13,3))
  • B = x^4 + x^9 y^8 + x^8 y^10 (terms (4,0), (9,8), (8,10))

n = 2*15*15 = 450, k = 8 (exactly 2|Z_a ∩ Z_b| = 8 common zero grid points), check weight 6. Any GF(2) circulant construction reproduces this; the polynomials above are the complete specification.

Parity checks

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