← back to the board
[[444,154,18]] d ≤
n
444
k
154
d
18
kd²/n
112.378
w
12
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 18, d_Z ≤ 18 · w_X = 12, w_Z = 12 (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 exact)
witness operator (support, 18 qubits)
[1, 6, 9, 14, 54, 55, 57, 89, 110, 122, 142, 219, 252, 254, 293, 347, 368, 443]
d_Z 18 · witness weight 18 (claimed exact)
witness operator (support, 18 qubits)
[9, 23, 30, 51, 65, 113, 141, 153, 181, 200, 206, 249, 254, 270, 276, 316, 322, 372]
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 12 · H_Z 12
qubit degrees H_X 4 · H_Z 4
trapping sets H_X (1,4)×444 (2,6)×9768 (3,6)×5846 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,4): 444 (2,6): 9768 (3,6): 5846 (3,8): 304806 (3,10): 32560
trapping sets H_Z (1,4)×444 (2,6)×9768 (3,6)×5846 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,4): 444 (2,6): 9768 (3,6): 5846 (3,8): 304806 (3,10): 32560

Construction & provenance

authors Okada, Koki and Kasai, Kenta
provenance literature baseline
construction Cyclic all-one pair-partition CPM CSS construction (arXiv:2607.14091), instance qc_444_154_18 (internal id qc_444_l12_p37_d18_candidate_0001): lift size p=37, (J,L)=(4,12), n=12*37=444, 4*37=148 checks per side, column weight 4, row weight 12. CPM exponent arrays (rows = CPM block-rows, columns = the 12 block-columns): E_X = [[17, 7, 2, 32, 21, 8, 1, 12, 1, 36, 24, 21], [7, 9, 3, 6, 31, 30, 33, 8, 31, 18, 3, 1], [23, 5, 29, 16, 3, 24, 32, 20, 26, 22, 33, 12], [34, 2, 35, 7, 3, 10, 35, 28, 28, 17, 22, 6]], E_Z = [[32, 7, 23, 6, 16, 25, 33, 33, 16, 16, 35, 21], [31, 24, 17, 2, 32, 27, 20, 23, 8, 14, 4, 35], [10, 4, 31, 5, 32, 28, 31, 9, 30, 9, 35, 4], [12, 29, 2, 15, 19, 33, 21, 7, 36, 21, 12, 21]]. Lift convention per the authors' expand_and_verify_cpm_matrices.py (github.com/kasaikenta/pair-partition-cpm-css-codes @ 9c2a6f2): check a of block-row b on side S has support {12*((a - E_S[b][t]) mod 37) + t : t=0..11}. Source https://kasai.ict.eng.isct.ac.jp/pair_partition_cpm_css_codes_data/certificate_bundles_20260805/qc_444_154_18/certificate_bundle.tar.gz, artifacts/fixed_input/qc_444_154_ge18.cpm (sha256 26046970eb0f70e53a0d9da51d92768a4d34869606ead3a321399b37f2d126b7), expanded with the authors' own script.
model classical construction (no AI model)
reference arXiv:2607.14091
date 2026
notes Literature baseline, seeded 2026-08-14. Listed as [[444,154,18]] in the primary table of the Okada-Kasai pair-partition CPM catalogue (arXiv:2607.14091; catalogue page updated 2026-08-13). The authors publish a machine-verified exact-distance certificate bundle (https://kasai.ict.eng.isct.ac.jp/pair_partition_cpm_css_codes_data/certificate_bundles_20260805/qc_444_154_18/certificate_bundle.tar.gz, status exact_distance_machine_verified in master_manifest.json): complete lower-bound coverage through weight 16 on both sides plus explicit weight-18 logicals, which are the witnesses here, re-verified in this repo (kernel membership, row-space non-membership). Marked exact on the strength of that public certificate; per board policy the entry still displays as an upper bound until this repo's own certification. Reproduction was validated end to end: the bundle's fixed-input .cpm expanded with the authors' own script gives a CSS-orthogonal (4,12)-regular pair with GF(2) ranks giving k=154.
family pair-partition CPM (a tag, not a ranking)
locality unrestricted (computed from the layout)
weight class weight > 8 (computed)

How this code was found

no research note was staged with this submission — notes are requested for new submissions (notes/README.md)

Parity checks

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