← back to the board
[[372,44,18]] d ≤
n
372
k
44
d
18
kd²/n
38.323
w
10
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 18, d_Z ≤ 18 · w_X = 10, w_Z = 10 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 18 · witness weight 18 (claimed upper_bound)
witness operator (support, 18 qubits)
[12, 14, 16, 78, 80, 82, 96, 98, 100, 235, 237, 239, 301, 303, 305, 337, 339, 341]
d_Z 18 · witness weight 18 (claimed upper_bound)
witness operator (support, 18 qubits)
[43, 45, 47, 61, 63, 65, 109, 111, 113, 175, 177, 179, 282, 284, 286, 312, 314, 316]
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 4 · H_Z 4 (shortest cycle of each side’s Tanner graph; longer is friendlier to belief propagation)
check weights H_X 10 · H_Z 10
qubit degrees H_X 5 · H_Z 5
trapping sets H_X (1,5)×372 (2,6)×186 (3,9)×20212 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,5): 372 (2,6): 186 (2,8): 7998 (3,9): 20212 (3,11): 247380 (3,13): 19344
trapping sets H_Z (1,5)×372 (2,6)×186 (3,9)×20212 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,5): 372 (2,6): 186 (2,8): 7998 (3,9): 20212 (3,11): 247380 (3,13): 19344

Construction & provenance

authors @mathysrennela
provenance submitted through the challenge
novelty novelty not audited
construction Free-action lifted product over Z_31 x Z_6 with the published supports from arXiv:2608.08996v1.
model human (claimed, not verified)
date 2026-08-28
notes Reconstructed from the paper Supplementary Information; 20,000 pure-Python RIS trials per side at seed 20260828 found no lighter logical.
family lifted product (a tag, not a ranking)
locality unrestricted (computed from the layout)
weight class weight > 8 (computed)

How this code was found

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

[[372,44,18]] — abelian lifted-product reconstruction

Direction & hypothesis

Targeted the unrestricted weight-9+ frontier using a directly reproducible row from arXiv:2608.08996v1.

What was searched

No parameter sweep: rebuild the paper's free-action row over Z_31 x Z_6.

Evidence trail

The matrices recompute to n=372, k=44, max check weight 10, and CSS commutation. The paper reports d=18. Pure-Python RIS found no lighter logical than 18 in 20,000 trials per side (seed 20260828). The claim remains a witness-backed upper bound, not an exact proof.

Dead ends

None for this reconstruction.

Tools

Python 3, the repository group-algebra constructor, submit builder, and trusted verifier.

Reproduction

Over Z_31 x Z_6, use A={(5,1),(5,3),(7,2),(18,2),(30,2)} and B={(10,1),(10,3),(21,5),(24,5),(26,5)}, from the Supplementary Information of arXiv:2608.08996v1.

Parity checks

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