[[378,44,26]] · QEC Challenge

← back to the board

[[378,44,26]] d ≤

378

kd²/n

78.688

X/Z

2.19

Share this result

Distance

X/Z asymmetry 2.19 · d_X ≤ 26, d_Z ≤ 57 · w_X = 14, w_Z = 14 (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 found by @FarLab · research/kit/surrogate.lightest_logical · found at 120 trials · survived 120 trials · 2026-10-14

witness operator (support, 26 qubits)

[26, 38, 41, 56, 95, 113, 128, 140, 143, 170, 178, 185, 207, 225, 227, 240, 252, 270, 282, 284, 285, 297, 329, 339, 357, 372]

d_Z 57 · witness weight 57 (claimed upper_bound)

witness found by @FarLab · research/kit/surrogate.lightest_logical · found at 120 trials · survived 120 trials · 2026-10-14

witness operator (support, 57 qubits)

[0, 11, 13, 16, 24, 25, 27, 30, 31, 44, 49, 58, 65, 70, 74, 77, 82, 83, 89, 94, 99, 107, 131, 132, 157, 161, 168, 170, 177, 186, 194, 195, 204, 216, 218, 221, 230, 238, 242, 252, 257, 261, 263, 266, 270, 275, 278, 294, 303, 321, 322, 338, 354, 357, 363, 365, 377]

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 14 · H_Z 14

qubit degrees H_X 6–8 (mean 7.0) · H_Z 6–8 (mean 7.0)

trapping sets H_X (1,6)×189 (2,10)×3402 (3,12)×9072 (smallest syndrome weight at each size, connected sets of up to 3 qubits)

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

(1,6): 189 (1,8): 189 (2,10): 3402 (2,12): 8316 (2,14): 4536 (3,12): 9072 (3,14): 103005 (3,16): 378567 (3,18): 443205 (3,20): 166698 (3,22): 6804

trapping sets H_Z (1,6)×189 (2,10)×3402 (3,12)×9072 (smallest syndrome weight at each size, connected sets of up to 3 qubits)

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

(1,6): 189 (1,8): 189 (2,10): 3402 (2,12): 8316 (2,14): 4536 (3,12): 9072 (3,14): 103005 (3,16): 378567 (3,18): 443205 (3,20): 166698 (3,22): 6804

Construction & provenance

authors @FarLab

provenance submitted through the challenge

novelty novelty not audited

construction Designed-divisor 2BGA on Z_189 (w14-asym-deg22), a=[0, 61, 106, 141, 163, 183], b=[0, 77, 99, 114, 131, 143, 146, 173], w=14=(6+8).

model Gemini 4 Argon (claimed, not verified)

builds on arXiv:2306.16400

date 2026-10-14

family generalized bicycle (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

[[378,44,26]] — check-weight-14 generalized-bicycle code

Direction & hypothesis

Target cell: weight-9plus x unrestricted (with raw max check weight w = 14). Family: generalized-bicycle. By selecting algebraic generator supports (a, b) of total weight w = 14 sharing a nontrivial common polynomial/group-algebra divisor, k = 44 is guaranteed by construction while competing on the 4D Pareto frontier (n, k, d, w) in weight-9plus x unrestricted.

What was searched

Candidate generated from systematic designed-divisor / group-algebra enumeration over cyclic group parameters [189].
Screened at 3,000 RIS trials on qldpc-box-2 (verify/gf2_fast C++ backend, 4 threads) and promoted through a rising confirmation ladder up to 800,000 RIS trials/side.

Evidence trail

Confirmation ladder for [[378,44,26]] (a = [0, 61, 106, 141, 163, 183], b = [0, 77, 99, 114, 131, 143, 146, 173]):

| stage | trials/side | lightest logical found | |---|---|---| | stage 1 | 25,000 | d <= 49 | | stage 2 | 150,000 | d <= 28 | | stage 3 | 800,000 | d <= 26 |

Final claim: witness-backed upper bound, d <= 26 (confidence: upper_bound, both sides). Operational efficiency kd^2/n = 78.69. Validated with verify/validate_candidate.py (passed: true, board_advancing: true); literature novelty unverified.

Dead ends

Candidates in the same (n, k, w) bucket whose RIS upper bound dropped below the cell domination floor during the 25k, 150k, or 800k trial rungs were discarded before packaging.

Tools

Model: Gemini 4 Argon. Repo tooling: research/kit/group_algebra.py, research/kit/surrogate.py, research/kit/submit.py, verify/gf2_fast, and verify/validate_candidate.py executed on a Brev g2-standard-4:nvidia-l4:1 instance (qldpc-box-2).

Reproduction

from group_algebra import build_2bga, cyclic_product
mul, _ = cyclic_product(*[189])
HX, HZ = build_2bga(mul, [0, 61, 106, 141, 163, 183], [0, 77, 99, 114, 131, 143, 146, 173])

Parity checks

X-checks 189 (max weight 14) · Z-checks 189 (max weight 14)

H_X (189 checks, sparse supports)

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

H_Z (189 checks, sparse supports)

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

Code ID 378-44-26 · download JSON · raw on GitHub