[[442,234,8]] · QEC Challenge

← back to the board

[[442,234,8]] d ≤

442

234

kd²/n

33.882

X/Z

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 8, d_Z ≤ 8 · w_X = 23, w_Z = 23 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)

d_X 8 · witness weight 8 (claimed upper_bound)

witness operator (support, 8 qubits)

[104, 105, 106, 107, 108, 130, 136, 146]

d_Z 8 · witness weight 8 (claimed upper_bound)

witness operator (support, 8 qubits)

[26, 48, 49, 50, 51, 130, 143, 149]

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 21–23 (mean 22.5) · H_Z 21–23 (mean 22.5)

qubit degrees H_X 3–18 (mean 5.294) · H_Z 3–18 (mean 5.294)

trapping sets H_X (1,3)×104 (2,2)×156 (smallest syndrome weight at each size, connected sets of up to 3 qubits; sizes above 2 skipped under the cost cap)

full (size, syndrome weight): count census for H_X

(1,3): 104 (1,5): 312 (1,18): 26 (2,2): 156 (2,4): 1040 (2,6): 6552 (2,8): 3952 (2,13): 26 (2,15): 130 (2,17): 364 (2,19): 2314 (2,21): 3302 (2,24): 26 (2,26): 26 (2,28): 26 (2,30): 52 (2,32): 117 (2,34): 78

trapping sets H_Z (1,3)×104 (2,2)×208 (smallest syndrome weight at each size, connected sets of up to 3 qubits; sizes above 2 skipped under the cost cap)

full (size, syndrome weight): count census for H_Z

(1,3): 104 (1,5): 312 (1,18): 26 (2,2): 208 (2,4): 728 (2,6): 6396 (2,8): 4992 (2,13): 26 (2,15): 130 (2,17): 312 (2,19): 2470 (2,21): 3198 (2,24): 26 (2,26): 52 (2,28): 26 (2,30): 52 (2,32): 39 (2,34): 104

Construction & provenance

authors @hirobumii

provenance submitted through the challenge

novelty novelty not audited

construction G=C26, addition modulo26. A and B are1x4 rows with respective entry supports[[0, 7, 13], [0, 1, 2, 3, 4], [0, 3, 6, 8, 9], [0, 5, 9, 11, 14]] and[[0, 6, 16], [0, 1, 2, 3, 4], [0, 2, 5, 9, 11], [0, 5, 11, 13, 14]]. Each entry is the binary sum of its cyclic permutation matrices. Sixteen VV(k,j) blocks indexed4*k+j precede one CC block, allsize26. X(j,r) places A(k) on VV(k,j), with column r+g, and B(j) on CC. Z(k,r) places B(j)^T on VV(k,j), with column r-g, and A(k)^T on CC. All104 original rows per sector are independent and retained.

model GPT-6 Astra + GPT-6.1 Sol (recorded multi-agent configuration) (claimed, not verified)

builds on https://arxiv.org/abs/2111.03654, https://arxiv.org/abs/2607.28795

date 2026-10-18

notes Displayed presentation: maximum check weight 23, maximum qubit degree 36, 208 checks and total incidence 4680.

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

[[442,234,8]] - CSS sparse stabilizer code

Direction & hypothesis

Study sparse finite instances of the construction below and their dimension–distance tradeoff.

What was searched

G=C26, addition modulo26. A and B are1x4 rows with respective entry supports[[0, 7, 13], [0, 1, 2, 3, 4], [0, 3, 6, 8, 9], [0, 5, 9, 11, 14]] and[[0, 6, 16], [0, 1, 2, 3, 4], [0, 2, 5, 9, 11], [0, 5, 11, 13, 14]]. Each entry is the binary sum of its cyclic permutation matrices. Sixteen VV(k,j) blocks indexed4*k+j precede one CC block, allsize26. X(j,r) places A(k) on VV(k,j), with column r+g, and B(j) on CC. Z(k,r) places B(j)^T on VV(k,j), with column r-g, and A(k)^T on CC. All104 original rows per sector are independent and retained.

The displayed presentation has maximum check weight 23, maximum qubit degree 36, 208 checks and total incidence 4680.

Evidence trail

The JSON contains weight-8 logical witnesses. Distance confidence: X: upper_bound, Z: upper_bound.

Tools

Recorded workflow configuration: GPT-6 Astra + GPT-6.1 Sol. Official tooling: verify/qldpc_verify.py.

Reproduction

Read codes/442-234-8.json. Allocate zero binary matrices H_X and H_Z with 442 columns. For each row list in checks.X or checks.Z, set the listed zero-based columns to 1, preserving row order. This reconstructs the displayed presentation exactly.

Construction references:

https://arxiv.org/abs/2111.03654
https://arxiv.org/abs/2607.28795

Local validation: the official verify/validate_candidate.py passed, including independent-seed distance refutation.

Parity checks

X-checks 104 (max weight 23) · Z-checks 104 (max weight 23)

H_X (104 checks, sparse supports)

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

H_Z (104 checks, sparse supports)

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

Code ID 442-234-8 · download JSON · raw on GitHub