← back to the board
[[640,16,52]] d ≤
n
640
k
16
d
52
kd²/n
67.6
w
10
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 52, d_Z ≤ 52 · 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 52 · witness weight 52 (claimed upper_bound)
witness found by @vprusso · ris_gpu · found at 3×108 trials · survived 3×108 trials · 2026-09-21
witness operator (support, 52 qubits)
[0, 2, 3, 18, 19, 32, 49, 51, 55, 67, 70, 71, 83, 85, 86, 98, 103, 112, 113, 114, 117, 119, 134, 144, 147, 150, 160, 162, 163, 178, 179, 192, 209, 211, 215, 227, 230, 231, 243, 245, 246, 258, 263, 272, 273, 274, 277, 279, 294, 304, 307, 310]
d_Z 52 · witness weight 52 (claimed upper_bound)
witness found by @vprusso · ris_gpu · found at 3×108 trials · survived 3×108 trials · 2026-09-21
witness operator (support, 52 qubits)
[12, 15, 26, 31, 44, 52, 55, 56, 60, 69, 87, 88, 90, 91, 100, 108, 123, 125, 154, 168, 172, 175, 186, 189, 191, 204, 212, 215, 220, 229, 247, 248, 249, 250, 251, 260, 268, 283, 314, 328, 333, 334, 362, 412, 444, 476, 494, 522, 528, 604, 635, 636]
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)×640 (2,6)×192 (3,5)×16 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_X
(1,5): 640 (2,6): 192 (2,8): 14016 (3,5): 16 (3,7): 248 (3,9): 17792 (3,11): 469816 (3,13): 35392
trapping sets H_Z (1,5)×640 (2,6)×192 (3,7)×232 (smallest syndrome weight at each size, connected sets of up to 3 qubits)
full (size, syndrome weight): count census for H_Z
(1,5): 640 (2,6): 192 (2,8): 14016 (3,7): 232 (3,9): 17952 (3,11): 469624 (3,13): 35424

Construction & provenance

authors @mathysrennela
provenance submitted through the challenge
novelty novelty not audited
construction 2BGA lifted product on metacyclic group Z_40 x|_13 Z_8 (order 320). Supports a=[49,196,214,249,293], b=[6,38,129,226,305]. Check weight w=10. Found via systematic sweep of metacyclic parameters with deep RIS distance verification. Framework: arXiv:2609.01305.
model mimo-v2.5 (claimed, not verified)
date 2026-09-15
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

[[640,16,52]]: distance revision of the board's [[640,16,88]] entry

Revision history

[[640,16,52]] supersedes the board's [[640,16,88]] entry. The code, its checks, its layout, and its original provenance are unchanged; only the distance claim is corrected. A GPU random-information-set search (verify/ris_gpu.py, recover mode, 300,000,000 trials per side, seed 2027) exhibits a weight-52 X-logical and a weight-52 Z-logical, so the previous witness-backed bound d <= 88 was overstated and the honest parameter set is [[640,16,52]]. The headline falls from kd^2/n = 193.6 to 67.6. Each lighter witness is carried in the entry with the budget it was found at and survived; the other side keeps its original witness where it was not refuted. Distance remains an upper bound, not an exact claim.

Evidence

Every GPU proposal was re-validated on the CPU against the sparse check matrices (in the kernel of the opposite side's checks, outside the row space of its own side) before it was recorded.

| side | claimed | lightest logical found | trials | seed | CPU-verified | |---|---|---|---|---|---| | X | 104 | 52 | 300,000,000 | 2027 | yes | | Z | 88 | 52 | 300,000,000 | 2027 | yes |

The pass that produced this ran the same search over every verified-new entry on the board; this entry is one of the few whose declared distance did not hold.

Parity checks

X-checks 320 (max weight 10) · Z-checks 320 (max weight 10)
H_X (320 checks, sparse supports)
[50, 111, 132, 151, 227, 322, 354, 391, 550, 599] [51, 104, 133, 144, 228, 323, 336, 359, 419, 512] [52, 105, 134, 145, 229, 324, 416, 529, 577, 612] [53, 106, 135, 146, 230, 325, 450, 466, 549, 609] [54, 107, 128, 147, 231, 326, 358, 387, 546, 595] [55, 108, 129, 148, 224, 327, 340, 355, 423, 516] [48, 109, 130, 149, 225, 320, 420, 533, 581, 608] [49, 110, 131, 150, 226, 321, 454, 470, 545, 613] [87, 122, 127, 140, 203, 330, 362, 399, 558, 607] [80, 120, 123, 141, 204, 331, 344, 367, 427, 520] [81, 121, 124, 142, 205, 332, 424, 537, 585, 620] [82, 122, 125, 143, 206, 333, 458, 474, 557, 617] [83, 123, 126, 136, 207, 334, 366, 395, 554, 603] [84, 124, 127, 137, 200, 335, 348, 363, 431, 524] [85, 120, 125, 138, 201, 328, 428, 541, 589, 616] [86, 121, 126, 139, 202, 329, 462, 478, 553, 621] [63, 103, 148, 179, 194, 338, 370, 407, 566, 615] [56, 96, 149, 180, 195, 339, 352, 375, 435, 528] [57, 97, 150, 181, 196, 340, 432, 545, 593, 628] [58, 98, 151, 182, 197, 341, 466, 482, 565, 625] [59, 99, 144, 183, 198, 342, 374, 403, 562, 611] [60, 100, 145, 176, 199, 343, 356, 371, 439, 532] [61, 101, 146, 177, 192, 336, 436, 549, 597, 624] [62, 102, 147, 178, 193, 337, 470, 486, 561, 629] [39, 79, 155, 156, 266, 346, 378, 415, 574, 623] [32, 72, 156, 157, 267, 347, 360, 383, 443, 536] [33, 73, 157, 158, 268, 348, 440, 553, 601, 636] [34, 74, 158, 159, 269, 349, 474, 490, 573, 633] [35, 75, 152, 159, 270, 350, 382, 411, 570, 619] [36, 76, 152, 153, 271, 351, 364, 379, 447, 540] [37, 77, 153, 154, 264, 344, 444, 557, 605, 632] [38, 78, 154, 155, 265, 345, 478, 494, 569, 637] [15, 18, 55, 131, 164, 354, 386, 423, 582, 631] [8, 19, 48, 132, 165, 355, 368, 391, 451, 544] [9, 20, 49, 133, 166, 324, 356, 448, 561, 609] [10, 21, 50, 134, 167, 321, 357, 482, 498, 581] [11, 22, 51, 135, 160, 358, 390, 419, 578, 627] [12, 23, 52, 128, 161, 359, 372, 387, 455, 548] [13, 16, 53, 129, 162, 320, 352, 452, 565, 613] [14, 17, 54, 130, 163, 325, 353, 486, 502, 577] [31, 90, 107, 172, 311, 362, 394, 431, 590, 639] [24, 91, 108, 173, 304, 363, 376, 399, 459, 552] [25, 92, 109, 174, 305, 332, 364, 456, 569, 617] [26, 93, 110, 175, 306, 329, 365, 490, 506, 589] [27, 94, 111, 168, 307, 366, 398, 427, 586, 635] [28, 95, 104, 169, 308, 367, 380, 395, 463, 556] [29, 88, 105, 170, 309, 328, 360, 460, 573, 621] [30, 89, 106, 171, 310, 333, 361, 494, 510, 585] [7, 83, 162, 180, 287, 327, 370, 402, 439, 598] [0, 84, 163, 181, 280, 371, 384, 407, 467, 560] [1, 85, 164, 182, 281, 340, 372, 464, 577, 625] [2, 86, 165, 183, 282, 337, 373, 498, 514, 597] [3, 87, 166, 176, 283, 323, 374, 406, 435, 594] [4, 80, 167, 177, 284, 375, 388, 403, 471, 564] [5, 81, 160, 178, 285, 336, 368, 468, 581, 629] [6, 82, 161, 179, 286, 341, 369, 502, 518, 593] [59, 188, 234, 263, 303, 335, 378, 410, 447, 606] [60, 189, 235, 256, 296, 379, 392, 415, 475, 568] [61, 190, 236, 257, 297, 348, 380, 472, 585, 633] [62, 191, 237, 258, 298, 345, 381, 506, 522, 605] [63, 184, 238, 259, 299, 331, 382, 414, 443, 602] [56, 185, 239, 260, 300, 383, 396, 411, 479, 572] [57, 186, 232, 261, 301, 344, 376, 476, 589, 637] [58, 187, 233, 262, 302, 349, 377, 510, 526, 601] [35, 196, 239, 279, 306, 343, 386, 418, 455, 614] [36, 197, 232, 272, 307, 387, 400, 423, 483, 576] [37, 198, 233, 273, 308, 321, 356, 388, 480, 593] [38, 199, 234, 274, 309, 353, 389, 514, 530, 613] [39, 192, 235, 275, 310, 339, 390, 422, 451, 610] [32, 193, 236, 276, 311, 391, 404, 419, 487, 580] [33, 194, 237, 277, 304, 325, 352, 384, 484, 597] [34, 195, 238, 278, 305, 357, 385, 518, 534, 609] [11, 58, 204, 215, 255, 351, 394, 426, 463, 622] [12, 59, 205, 208, 248, 395, 408, 431, 491, 584] [13, 60, 206, 209, 249, 329, 364, 396, 488, 601] [14, 61, 207, 210, 250, 361, 397, 522, 538, 621] [15, 62, 200, 211, 251, 347, 398, 430, 459, 618] [8, 63, 201, 212, 252, 399, 412, 427, 495, 588] [9, 56, 202, 213, 253, 333, 360, 392, 492, 605] [10, 57, 203, 214, 254, 365, 393, 526, 542, 617] [130, 191, 212, 231, 307, 359, 402, 434, 471, 630] [131, 184, 213, 224, 308, 403, 416, 439, 499, 592] [132, 185, 214, 225, 309, 337, 372, 404, 496, 609] [133, 186, 215, 226, 310, 369, 405, 530, 546, 629] [134, 187, 208, 227, 311, 355, 406, 438, 467, 626] [135, 188, 209, 228, 304, 407, 420, 435, 503, 596] [128, 189, 210, 229, 305, 341, 368, 400, 500, 613] [129, 190, 211, 230, 306, 373, 401, 534, 550, 625] [167, 202, 207, 220, 283, 367, 410, 442, 479, 638] [160, 200, 203, 221, 284, 411, 424, 447, 507, 600] [161, 201, 204, 222, 285, 345, 380, 412, 504, 617] [162, 202, 205, 223, 286, 377, 413, 538, 554, 637] [163, 203, 206, 216, 287, 363, 414, 446, 475, 634] [164, 204, 207, 217, 280, 415, 428, 443, 511, 604] [165, 200, 205, 218, 281, 349, 376, 408, 508, 621] [166, 201, 206, 219, 282, 381, 409, 542, 558, 633] [143, 183, 228, 259, 274, 326, 375, 418, 450, 487] [136, 176, 229, 260, 275, 419, 432, 455, 515, 608] [137, 177, 230, 261, 276, 353, 388, 420, 512, 625] [138, 178, 231, 262, 277, 325, 385, 421, 546, 562] [139, 179, 224, 263, 278, 322, 371, 422, 454, 483] [140, 180, 225, 256, 279, 423, 436, 451, 519, 612] [141, 181, 226, 257, 272, 357, 384, 416, 516, 629] [142, 182, 227, 258, 273, 321, 389, 417, 550, 566] [26, 119, 159, 235, 236, 334, 383, 426, 458, 495] [27, 112, 152, 236, 237, 427, 440, 463, 523, 616] [28, 113, 153, 237, 238, 361, 396, 428, 520, 633] [29, 114, 154, 238, 239, 333, 393, 429, 554, 570] [30, 115, 155, 232, 239, 330, 379, 430, 462, 491] [31, 116, 156, 232, 233, 431, 444, 459, 527, 620] [24, 117, 157, 233, 234, 365, 392, 424, 524, 637] [25, 118, 158, 234, 235, 329, 397, 425, 558, 574] [95, 98, 135, 211, 244, 342, 391, 434, 466, 503] [88, 99, 128, 212, 245, 435, 448, 471, 531, 624] [89, 100, 129, 213, 246, 321, 369, 404, 436, 528] [90, 101, 130, 214, 247, 341, 401, 437, 562, 578] [91, 102, 131, 215, 240, 338, 387, 438, 470, 499] [92, 103, 132, 208, 241, 439, 452, 467, 535, 628] [93, 96, 133, 209, 242, 325, 373, 400, 432, 532] [94, 97, 134, 210, 243, 337, 405, 433, 566, 582] [71, 111, 170, 187, 252, 350, 399, 442, 474, 511] [64, 104, 171, 188, 253, 443, 456, 479, 539, 632] [65, 105, 172, 189, 254, 329, 377, 412, 444, 536] [66, 106, 173, 190, 255, 349, 409, 445, 570, 586] [67, 107, 174, 191, 248, 346, 395, 446, 478, 507] [68, 108, 175, 184, 249, 447, 460, 475, 543, 636] [69, 109, 168, 185, 250, 333, 381, 408, 440, 540] [70, 110, 169, 186, 251, 345, 413, 441, 574, 590] [47, 87, 163, 242, 260, 358, 407, 450, 482, 519] [40, 80, 164, 243, 261, 320, 451, 464, 487, 547] [41, 81, 165, 244, 262, 337, 385, 420, 452, 544] [42, 82, 166, 245, 263, 357, 417, 453, 578, 594] [43, 83, 167, 246, 256, 354, 403, 454, 486, 515] [44, 84, 160, 247, 257, 324, 455, 468, 483, 551] [45, 85, 161, 240, 258, 341, 389, 416, 448, 548] [46, 86, 162, 241, 259, 353, 421, 449, 582, 598] [23, 63, 139, 268, 314, 366, 415, 458, 490, 527] [16, 56, 140, 269, 315, 328, 459, 472, 495, 555] [17, 57, 141, 270, 316, 345, 393, 428, 460, 552] [18, 58, 142, 271, 317, 365, 425, 461, 586, 602] [19, 59, 143, 264, 318, 362, 411, 462, 494, 523] [20, 60, 136, 265, 319, 332, 463, 476, 491, 559] [21, 61, 137, 266, 312, 349, 397, 424, 456, 556] [22, 62, 138, 267, 313, 361, 429, 457, 590, 606] [39, 66, 115, 276, 319, 374, 423, 466, 498, 535] [32, 67, 116, 277, 312, 336, 467, 480, 503, 563] [33, 68, 117, 278, 313, 353, 401, 436, 468, 560] [34, 69, 118, 279, 314, 373, 433, 469, 594, 610] [35, 70, 119, 272, 315, 370, 419, 470, 502, 531] [36, 71, 112, 273, 316, 340, 471, 484, 499, 567] [37, 64, 113, 274, 317, 357, 405, 432, 464, 564] [38, 65, 114, 275, 318, 369, 437, 465, 598, 614] [15, 91, 138, 284, 295, 382, 431, 474, 506, 543] [8, 92, 139, 285, 288, 344, 475, 488, 511, 571] [9, 93, 140, 286, 289, 361, 409, 444, 476, 568] [10, 94, 141, 287, 290, 381, 441, 477, 602, 618] [11, 95, 142, 280, 291, 378, 427, 478, 510, 539] [12, 88, 143, 281, 292, 348, 479, 492, 507, 575] [13, 89, 136, 282, 293, 365, 413, 440, 472, 572] [14, 90, 137, 283, 294, 377, 445, 473, 606, 622] [67, 210, 271, 292, 311, 390, 439, 482, 514, 551] [68, 211, 264, 293, 304, 352, 483, 496, 519, 579] [69, 212, 265, 294, 305, 369, 417, 452, 484, 576] [70, 213, 266, 295, 306, 389, 449, 485, 610, 626] [71, 214, 267, 288, 307, 386, 435, 486, 518, 547] [64, 215, 268, 289, 308, 356, 487, 500, 515, 583] [65, 208, 269, 290, 309, 373, 421, 448, 480, 580] [66, 209, 270, 291, 310, 385, 453, 481, 614, 630] [43, 247, 282, 287, 300, 398, 447, 490, 522, 559] [44, 240, 280, 283, 301, 360, 491, 504, 527, 587] [45, 241, 281, 284, 302, 377, 425, 460, 492, 584] [46, 242, 282, 285, 303, 397, 457, 493, 618, 634] [47, 243, 283, 286, 296, 394, 443, 494, 526, 555] [40, 244, 284, 287, 297, 364, 495, 508, 523, 591] [41, 245, 280, 285, 298, 381, 429, 456, 488, 588] [42, 246, 281, 286, 299, 393, 461, 489, 622, 638] [19, 34, 223, 263, 308, 406, 455, 498, 530, 567] [20, 35, 216, 256, 309, 368, 499, 512, 535, 595] [21, 36, 217, 257, 310, 385, 433, 468, 500, 592] [22, 37, 218, 258, 311, 322, 405, 465, 501, 626] [23, 38, 219, 259, 304, 402, 451, 502, 534, 563] [16, 39, 220, 260, 305, 372, 503, 516, 531, 599] [17, 32, 221, 261, 306, 389, 437, 464, 496, 596] [18, 33, 222, 262, 307, 326, 401, 469, 497, 630] [106, 199, 239, 315, 316, 414, 463, 506, 538, 575] [107, 192, 232, 316, 317, 376, 507, 520, 543, 603] [108, 193, 233, 317, 318, 393, 441, 476, 508, 600] [109, 194, 234, 318, 319, 330, 413, 473, 509, 634] [110, 195, 235, 312, 319, 410, 459, 510, 542, 571] [111, 196, 236, 312, 313, 380, 511, 524, 539, 607] [104, 197, 237, 313, 314, 397, 445, 472, 504, 604] [105, 198, 238, 314, 315, 334, 409, 477, 505, 638] [4, 175, 178, 215, 291, 422, 471, 514, 546, 583] [5, 168, 179, 208, 292, 384, 515, 528, 551, 611] [6, 169, 180, 209, 293, 401, 449, 484, 516, 608] [7, 170, 181, 210, 294, 322, 338, 421, 481, 517] [0, 171, 182, 211, 295, 418, 467, 518, 550, 579] [1, 172, 183, 212, 288, 388, 519, 532, 547, 615] [2, 173, 176, 213, 289, 405, 453, 480, 512, 612] [3, 174, 177, 214, 290, 326, 342, 417, 485, 513] [12, 151, 191, 250, 267, 430, 479, 522, 554, 591] [13, 144, 184, 251, 268, 392, 523, 536, 559, 619] [14, 145, 185, 252, 269, 409, 457, 492, 524, 616] [15, 146, 186, 253, 270, 330, 346, 429, 489, 525] [8, 147, 187, 254, 271, 426, 475, 526, 558, 587] [9, 148, 188, 255, 264, 396, 527, 540, 555, 623] [10, 149, 189, 248, 265, 413, 461, 488, 520, 620] [11, 150, 190, 249, 266, 334, 350, 425, 493, 521] [2, 20, 127, 167, 243, 438, 487, 530, 562, 599] [3, 21, 120, 160, 244, 400, 531, 544, 567, 627] [4, 22, 121, 161, 245, 417, 465, 500, 532, 624] [5, 23, 122, 162, 246, 338, 354, 437, 497, 533] [6, 16, 123, 163, 247, 434, 483, 534, 566, 595] [7, 17, 124, 164, 240, 404, 535, 548, 563, 631] [0, 18, 125, 165, 241, 421, 469, 496, 528, 628] [1, 19, 126, 166, 242, 342, 358, 433, 501, 529] [28, 74, 103, 143, 219, 446, 495, 538, 570, 607] [29, 75, 96, 136, 220, 408, 539, 552, 575, 635] [30, 76, 97, 137, 221, 425, 473, 508, 540, 632] [31, 77, 98, 138, 222, 346, 362, 445, 505, 541] [24, 78, 99, 139, 223, 442, 491, 542, 574, 603] [25, 79, 100, 140, 216, 412, 543, 556, 571, 639] [26, 72, 101, 141, 217, 429, 477, 504, 536, 636] [27, 73, 102, 142, 218, 350, 366, 441, 509, 537] [36, 79, 119, 146, 195, 454, 503, 546, 578, 615] [37, 72, 112, 147, 196, 323, 416, 547, 560, 583] [38, 73, 113, 148, 197, 320, 433, 481, 516, 548] [39, 74, 114, 149, 198, 354, 370, 453, 513, 549] [32, 75, 115, 150, 199, 450, 499, 550, 582, 611] [33, 76, 116, 151, 192, 327, 420, 551, 564, 579] [34, 77, 117, 144, 193, 324, 437, 485, 512, 544] [35, 78, 118, 145, 194, 358, 374, 449, 517, 545] [44, 55, 95, 171, 218, 462, 511, 554, 586, 623] [45, 48, 88, 172, 219, 331, 424, 555, 568, 591] [46, 49, 89, 173, 220, 328, 441, 489, 524, 556] [47, 50, 90, 174, 221, 362, 378, 461, 521, 557] [40, 51, 91, 175, 222, 458, 507, 558, 590, 619] [41, 52, 92, 168, 223, 335, 428, 559, 572, 587] [42, 53, 93, 169, 216, 332, 445, 493, 520, 552] [43, 54, 94, 170, 217, 366, 382, 457, 525, 553] [31, 52, 71, 147, 290, 470, 519, 562, 594, 631] [24, 53, 64, 148, 291, 339, 432, 563, 576, 599] [25, 54, 65, 149, 292, 336, 449, 497, 532, 564] [26, 55, 66, 150, 293, 370, 386, 469, 529, 565] [27, 48, 67, 151, 294, 466, 515, 566, 598, 627] [28, 49, 68, 144, 295, 343, 436, 567, 580, 595] [29, 50, 69, 145, 288, 340, 453, 501, 528, 560] [30, 51, 70, 146, 289, 374, 390, 465, 533, 561] [7, 42, 47, 60, 123, 478, 527, 570, 602, 639] [0, 40, 43, 61, 124, 347, 440, 571, 584, 607] [1, 41, 44, 62, 125, 344, 457, 505, 540, 572] [2, 42, 45, 63, 126, 378, 394, 477, 537, 573] [3, 43, 46, 56, 127, 474, 523, 574, 606, 635] [4, 44, 47, 57, 120, 351, 444, 575, 588, 603] [5, 40, 45, 58, 121, 348, 461, 509, 536, 568] [6, 41, 46, 59, 122, 382, 398, 473, 541, 569] [23, 68, 99, 114, 303, 327, 486, 535, 578, 610] [16, 69, 100, 115, 296, 355, 448, 579, 592, 615] [17, 70, 101, 116, 297, 352, 465, 513, 548, 580] [18, 71, 102, 117, 298, 386, 402, 485, 545, 581] [19, 64, 103, 118, 299, 323, 482, 531, 582, 614] [20, 65, 96, 119, 300, 359, 452, 583, 596, 611] [21, 66, 97, 112, 301, 356, 469, 517, 544, 576] [22, 67, 98, 113, 302, 390, 406, 481, 549, 577] [75, 76, 186, 279, 319, 335, 494, 543, 586, 618] [76, 77, 187, 272, 312, 363, 456, 587, 600, 623] [77, 78, 188, 273, 313, 360, 473, 521, 556, 588] [78, 79, 189, 274, 314, 394, 410, 493, 553, 589] [72, 79, 190, 275, 315, 331, 490, 539, 590, 622] [72, 73, 191, 276, 316, 367, 460, 591, 604, 619] [73, 74, 184, 277, 317, 364, 477, 525, 552, 584] [74, 75, 185, 278, 318, 398, 414, 489, 557, 585] [51, 84, 255, 258, 295, 343, 502, 551, 594, 626] [52, 85, 248, 259, 288, 371, 464, 595, 608, 631] [53, 86, 249, 260, 289, 368, 481, 529, 564, 596] [54, 87, 250, 261, 290, 402, 418, 501, 561, 597] [55, 80, 251, 262, 291, 339, 498, 547, 598, 630] [48, 81, 252, 263, 292, 375, 468, 599, 612, 627] [49, 82, 253, 256, 293, 372, 485, 533, 560, 592] [50, 83, 254, 257, 294, 406, 422, 497, 565, 593] [10, 27, 92, 231, 271, 351, 510, 559, 602, 634] [11, 28, 93, 224, 264, 379, 472, 603, 616, 639] [12, 29, 94, 225, 265, 376, 489, 537, 572, 604] [13, 30, 95, 226, 266, 410, 426, 509, 569, 605] [14, 31, 88, 227, 267, 347, 506, 555, 606, 638] [15, 24, 89, 228, 268, 383, 476, 607, 620, 635] [8, 25, 90, 229, 269, 380, 493, 541, 568, 600] [9, 26, 91, 230, 270, 414, 430, 505, 573, 601] [3, 82, 100, 207, 247, 322, 359, 518, 567, 610] [4, 83, 101, 200, 240, 327, 387, 480, 611, 624] [5, 84, 102, 201, 241, 384, 497, 545, 580, 612] [6, 85, 103, 202, 242, 418, 434, 517, 577, 613] [7, 86, 96, 203, 243, 326, 355, 514, 563, 614] [0, 87, 97, 204, 244, 323, 391, 484, 615, 628] [1, 80, 98, 205, 245, 388, 501, 549, 576, 608] [2, 81, 99, 206, 246, 422, 438, 513, 581, 609] [108, 154, 183, 223, 299, 330, 367, 526, 575, 618] [109, 155, 176, 216, 300, 335, 395, 488, 619, 632] [110, 156, 177, 217, 301, 392, 505, 553, 588, 620] [111, 157, 178, 218, 302, 426, 442, 525, 585, 621] [104, 158, 179, 219, 303, 334, 363, 522, 571, 622] [105, 159, 180, 220, 296, 331, 399, 492, 623, 636] [106, 152, 181, 221, 297, 396, 509, 557, 584, 616] [107, 153, 182, 222, 298, 430, 446, 521, 589, 617] [116, 159, 199, 226, 275, 338, 375, 534, 583, 626] [117, 152, 192, 227, 276, 320, 343, 403, 496, 627] [118, 153, 193, 228, 277, 400, 513, 561, 596, 628] [119, 154, 194, 229, 278, 434, 450, 533, 593, 629] [112, 155, 195, 230, 279, 342, 371, 530, 579, 630] [113, 156, 196, 231, 272, 324, 339, 407, 500, 631] [114, 157, 197, 224, 273, 404, 517, 565, 592, 624] [115, 158, 198, 225, 274, 438, 454, 529, 597, 625] [124, 135, 175, 251, 298, 346, 383, 542, 591, 634] [125, 128, 168, 252, 299, 328, 351, 411, 504, 635] [126, 129, 169, 253, 300, 408, 521, 569, 604, 636] [127, 130, 170, 254, 301, 442, 458, 541, 601, 637] [120, 131, 171, 255, 302, 350, 379, 538, 587, 638] [121, 132, 172, 248, 303, 332, 347, 415, 508, 639] [122, 133, 173, 249, 296, 412, 525, 573, 600, 632] [123, 134, 174, 250, 297, 446, 462, 537, 605, 633]
H_Z (320 checks, sparse supports)
[6, 38, 129, 226, 305, 369, 516, 534, 569, 613] [7, 35, 66, 103, 114, 370, 517, 535, 570, 614] [0, 100, 179, 195, 288, 371, 518, 528, 571, 615] [1, 52, 225, 260, 293, 372, 519, 529, 572, 608] [2, 34, 133, 230, 309, 373, 512, 530, 573, 609] [3, 39, 70, 99, 118, 374, 513, 531, 574, 610] [4, 96, 183, 199, 292, 375, 514, 532, 575, 611] [5, 48, 229, 256, 289, 368, 515, 533, 568, 612] [14, 46, 137, 234, 313, 353, 397, 473, 524, 606] [15, 43, 74, 111, 122, 354, 398, 474, 525, 607] [8, 108, 187, 203, 296, 355, 399, 475, 526, 600] [9, 60, 233, 268, 301, 356, 392, 476, 527, 601] [10, 42, 141, 238, 317, 357, 393, 477, 520, 602] [11, 47, 78, 107, 126, 358, 394, 478, 521, 603] [12, 104, 191, 207, 300, 359, 395, 479, 522, 604] [13, 56, 237, 264, 297, 352, 396, 472, 523, 605] [1, 22, 54, 145, 242, 358, 457, 501, 532, 577] [23, 51, 82, 119, 130, 359, 458, 502, 533, 578] [16, 116, 195, 211, 304, 352, 459, 503, 534, 579] [17, 68, 241, 276, 309, 353, 460, 496, 535, 580] [5, 18, 50, 149, 246, 354, 461, 497, 528, 581] [19, 55, 86, 115, 134, 355, 462, 498, 529, 582] [20, 112, 199, 215, 308, 356, 463, 499, 530, 583] [21, 64, 245, 272, 305, 357, 456, 500, 531, 576] [9, 30, 62, 153, 250, 361, 430, 540, 561, 605] [31, 59, 90, 127, 138, 362, 431, 541, 562, 606] [24, 124, 203, 219, 312, 363, 424, 542, 563, 607] [25, 76, 249, 284, 317, 364, 425, 543, 564, 600] [13, 26, 58, 157, 254, 365, 426, 536, 565, 601] [27, 63, 94, 123, 142, 366, 427, 537, 566, 602] [28, 120, 207, 223, 316, 367, 428, 538, 567, 603] [29, 72, 253, 280, 313, 360, 429, 539, 560, 604] [17, 38, 70, 161, 258, 345, 389, 465, 502, 548] [39, 67, 98, 135, 146, 346, 390, 466, 503, 549] [0, 32, 132, 211, 227, 347, 391, 467, 496, 550] [5, 33, 84, 257, 292, 348, 384, 468, 497, 551] [21, 34, 66, 165, 262, 349, 385, 469, 498, 544] [35, 71, 102, 131, 150, 350, 386, 470, 499, 545] [4, 36, 128, 215, 231, 351, 387, 471, 500, 546] [1, 37, 80, 261, 288, 344, 388, 464, 501, 547] [25, 46, 78, 169, 266, 449, 493, 556, 569, 574] [47, 75, 106, 143, 154, 450, 494, 557, 570, 575] [8, 40, 140, 219, 235, 451, 495, 558, 568, 571] [13, 41, 92, 265, 300, 452, 488, 559, 569, 572] [29, 42, 74, 173, 270, 453, 489, 552, 570, 573] [43, 79, 110, 139, 158, 454, 490, 553, 571, 574] [12, 44, 136, 223, 239, 455, 491, 554, 572, 575] [9, 45, 88, 269, 296, 448, 492, 555, 568, 573] [33, 54, 86, 177, 274, 326, 353, 553, 564, 597] [55, 83, 114, 151, 162, 327, 354, 554, 565, 598] [16, 48, 148, 227, 243, 320, 355, 555, 566, 599] [21, 49, 100, 273, 308, 321, 356, 556, 567, 592] [37, 50, 82, 181, 278, 322, 357, 557, 560, 593] [51, 87, 118, 147, 166, 323, 358, 558, 561, 594] [20, 52, 144, 231, 247, 324, 359, 559, 562, 595] [17, 53, 96, 277, 304, 325, 352, 552, 563, 596] [41, 62, 94, 185, 282, 337, 381, 398, 457, 572] [63, 91, 122, 159, 170, 338, 382, 399, 458, 573] [24, 56, 156, 235, 251, 339, 383, 392, 459, 574] [29, 57, 108, 281, 316, 340, 376, 393, 460, 575] [45, 58, 90, 189, 286, 341, 377, 394, 461, 568] [59, 95, 126, 155, 174, 342, 378, 395, 462, 569] [28, 60, 152, 239, 255, 343, 379, 396, 463, 570] [25, 61, 104, 285, 312, 336, 380, 397, 456, 571] [49, 70, 102, 193, 290, 441, 470, 485, 561, 580] [71, 99, 130, 167, 178, 442, 471, 486, 562, 581] [32, 64, 164, 243, 259, 443, 464, 487, 563, 582] [4, 37, 65, 116, 289, 444, 465, 480, 564, 583] [53, 66, 98, 197, 294, 445, 466, 481, 565, 576] [67, 103, 134, 163, 182, 446, 467, 482, 566, 577] [36, 68, 160, 247, 263, 447, 468, 483, 567, 578] [0, 33, 69, 112, 293, 440, 469, 484, 560, 579] [57, 78, 110, 201, 298, 345, 542, 545, 588, 589] [79, 107, 138, 175, 186, 346, 543, 546, 589, 590] [40, 72, 172, 251, 267, 347, 536, 547, 590, 591] [12, 45, 73, 124, 297, 348, 537, 548, 584, 591] [61, 74, 106, 205, 302, 349, 538, 549, 584, 585] [75, 111, 142, 171, 190, 350, 539, 550, 585, 586] [44, 76, 168, 255, 271, 351, 540, 551, 586, 587] [8, 41, 77, 120, 301, 344, 541, 544, 587, 588] [65, 86, 118, 209, 306, 329, 373, 449, 596, 614] [87, 115, 146, 183, 194, 330, 374, 450, 597, 615] [48, 80, 180, 259, 275, 331, 375, 451, 598, 608] [20, 53, 81, 132, 305, 332, 368, 452, 599, 609] [69, 82, 114, 213, 310, 333, 369, 453, 592, 610] [83, 119, 150, 179, 198, 334, 370, 454, 593, 611] [52, 84, 176, 263, 279, 335, 371, 455, 594, 612] [16, 49, 85, 128, 309, 328, 372, 448, 595, 613] [73, 94, 126, 217, 314, 366, 433, 477, 553, 604] [95, 123, 154, 191, 202, 367, 434, 478, 554, 605] [56, 88, 188, 267, 283, 360, 435, 479, 555, 606] [28, 61, 89, 140, 313, 361, 436, 472, 556, 607] [77, 90, 122, 221, 318, 362, 437, 473, 557, 600] [91, 127, 158, 187, 206, 363, 438, 474, 558, 601] [60, 92, 184, 271, 287, 364, 439, 475, 559, 602] [24, 57, 93, 136, 317, 365, 432, 476, 552, 603] [2, 81, 102, 134, 225, 337, 438, 537, 581, 612] [103, 131, 162, 199, 210, 338, 439, 538, 582, 613] [64, 96, 196, 275, 291, 339, 432, 539, 583, 614] [1, 36, 69, 97, 148, 340, 433, 540, 576, 615] [6, 85, 98, 130, 229, 341, 434, 541, 577, 608] [99, 135, 166, 195, 214, 342, 435, 542, 578, 609] [68, 100, 192, 279, 295, 343, 436, 543, 579, 610] [5, 32, 65, 101, 144, 336, 437, 536, 580, 611] [10, 89, 110, 142, 233, 321, 365, 441, 510, 620] [111, 139, 170, 207, 218, 322, 366, 442, 511, 621] [72, 104, 204, 283, 299, 323, 367, 443, 504, 622] [9, 44, 77, 105, 156, 324, 360, 444, 505, 623] [14, 93, 106, 138, 237, 325, 361, 445, 506, 616] [107, 143, 174, 203, 222, 326, 362, 446, 507, 617] [76, 108, 200, 287, 303, 327, 363, 447, 508, 618] [13, 40, 73, 109, 152, 320, 364, 440, 509, 619] [18, 97, 118, 150, 241, 425, 469, 545, 582, 628] [119, 147, 178, 215, 226, 426, 470, 546, 583, 629] [80, 112, 212, 291, 307, 427, 471, 547, 576, 630] [17, 52, 85, 113, 164, 428, 464, 548, 577, 631] [22, 101, 114, 146, 245, 429, 465, 549, 578, 624] [115, 151, 182, 211, 230, 430, 466, 550, 579, 625] [84, 116, 208, 295, 311, 431, 467, 551, 580, 626] [21, 48, 81, 117, 160, 424, 468, 544, 581, 627] [26, 105, 126, 158, 249, 329, 334, 529, 573, 636] [127, 155, 186, 223, 234, 330, 335, 530, 574, 637] [88, 120, 220, 299, 315, 328, 331, 531, 575, 638] [25, 60, 93, 121, 172, 329, 332, 532, 568, 639] [30, 109, 122, 154, 253, 330, 333, 533, 569, 632] [123, 159, 190, 219, 238, 331, 334, 534, 570, 633] [92, 124, 216, 303, 319, 332, 335, 535, 571, 634] [29, 56, 89, 125, 168, 328, 333, 528, 572, 635] [34, 113, 134, 166, 257, 324, 357, 406, 433, 633] [135, 163, 194, 231, 242, 325, 358, 407, 434, 634] [3, 96, 128, 228, 307, 326, 359, 400, 435, 635] [33, 68, 101, 129, 180, 327, 352, 401, 436, 636] [38, 117, 130, 162, 261, 320, 353, 402, 437, 637] [131, 167, 198, 227, 246, 321, 354, 403, 438, 638] [7, 100, 132, 224, 311, 322, 355, 404, 439, 639] [37, 64, 97, 133, 176, 323, 356, 405, 432, 632] [42, 121, 142, 174, 265, 332, 417, 461, 478, 537] [143, 171, 202, 239, 250, 333, 418, 462, 479, 538] [11, 104, 136, 236, 315, 334, 419, 463, 472, 539] [41, 76, 109, 137, 188, 335, 420, 456, 473, 540] [46, 125, 138, 170, 269, 328, 421, 457, 474, 541] [139, 175, 206, 235, 254, 329, 422, 458, 475, 542] [15, 108, 140, 232, 319, 330, 423, 459, 476, 543] [45, 72, 105, 141, 184, 331, 416, 460, 477, 536] [50, 129, 150, 182, 273, 321, 340, 521, 550, 565] [151, 179, 210, 247, 258, 322, 341, 522, 551, 566] [3, 19, 112, 144, 244, 323, 342, 523, 544, 567] [49, 84, 117, 145, 196, 324, 343, 524, 545, 560] [54, 133, 146, 178, 277, 325, 336, 525, 546, 561] [147, 183, 214, 243, 262, 326, 337, 526, 547, 562] [7, 23, 116, 148, 240, 327, 338, 527, 548, 563] [53, 80, 113, 149, 192, 320, 339, 520, 549, 564] [58, 137, 158, 190, 281, 348, 349, 425, 622, 625] [159, 187, 218, 255, 266, 349, 350, 426, 623, 626] [11, 27, 120, 152, 252, 350, 351, 427, 616, 627] [57, 92, 125, 153, 204, 344, 351, 428, 617, 628] [62, 141, 154, 186, 285, 344, 345, 429, 618, 629] [155, 191, 222, 251, 270, 345, 346, 430, 619, 630] [15, 31, 124, 156, 248, 346, 347, 431, 620, 631] [61, 88, 121, 157, 200, 347, 348, 424, 621, 624] [66, 145, 166, 198, 289, 356, 374, 409, 453, 529] [167, 195, 226, 263, 274, 357, 375, 410, 454, 530] [19, 35, 128, 160, 260, 358, 368, 411, 455, 531] [65, 100, 133, 161, 212, 359, 369, 412, 448, 532] [70, 149, 162, 194, 293, 352, 370, 413, 449, 533] [163, 199, 230, 259, 278, 353, 371, 414, 450, 534] [23, 39, 132, 164, 256, 354, 372, 415, 451, 535] [69, 96, 129, 165, 208, 355, 373, 408, 452, 528] [74, 153, 174, 206, 297, 364, 446, 513, 557, 633] [175, 203, 234, 271, 282, 365, 447, 514, 558, 634] [27, 43, 136, 168, 268, 366, 440, 515, 559, 635] [73, 108, 141, 169, 220, 367, 441, 516, 552, 636] [78, 157, 170, 202, 301, 360, 442, 517, 553, 637] [171, 207, 238, 267, 286, 361, 443, 518, 554, 638] [31, 47, 140, 172, 264, 362, 444, 519, 555, 639] [77, 104, 137, 173, 216, 363, 445, 512, 556, 632] [82, 161, 182, 214, 305, 341, 372, 417, 518, 617] [183, 211, 242, 279, 290, 342, 373, 418, 519, 618] [35, 51, 144, 176, 276, 343, 374, 419, 512, 619] [81, 116, 149, 177, 228, 336, 375, 420, 513, 620] [86, 165, 178, 210, 309, 337, 368, 421, 514, 621] [179, 215, 246, 275, 294, 338, 369, 422, 515, 622] [39, 55, 148, 180, 272, 339, 370, 423, 516, 623] [85, 112, 145, 181, 224, 340, 371, 416, 517, 616] [90, 169, 190, 222, 313, 380, 401, 445, 521, 590] [191, 219, 250, 287, 298, 381, 402, 446, 522, 591] [43, 59, 152, 184, 284, 382, 403, 447, 523, 584] [89, 124, 157, 185, 236, 383, 404, 440, 524, 585] [94, 173, 186, 218, 317, 376, 405, 441, 525, 586] [187, 223, 254, 283, 302, 377, 406, 442, 526, 587] [47, 63, 156, 188, 280, 378, 407, 443, 527, 588] [93, 120, 153, 189, 232, 379, 400, 444, 520, 589] [1, 98, 177, 198, 230, 342, 388, 505, 549, 625] [199, 227, 258, 295, 306, 343, 389, 506, 550, 626] [51, 67, 160, 192, 292, 336, 390, 507, 551, 627] [97, 132, 165, 193, 244, 337, 391, 508, 544, 628] [5, 102, 181, 194, 226, 338, 384, 509, 545, 629] [195, 231, 262, 291, 310, 339, 385, 510, 546, 630] [55, 71, 164, 196, 288, 340, 386, 511, 547, 631] [101, 128, 161, 197, 240, 341, 387, 504, 548, 624] [9, 106, 185, 206, 238, 333, 396, 409, 414, 609] [207, 235, 266, 303, 314, 334, 397, 410, 415, 610] [59, 75, 168, 200, 300, 335, 398, 408, 411, 611] [105, 140, 173, 201, 252, 328, 399, 409, 412, 612] [13, 110, 189, 202, 234, 329, 392, 410, 413, 613] [203, 239, 270, 299, 318, 330, 393, 411, 414, 614] [63, 79, 172, 204, 296, 331, 394, 412, 415, 615] [109, 136, 169, 205, 248, 332, 395, 408, 413, 608] [17, 114, 193, 214, 246, 393, 404, 437, 486, 513] [2, 215, 243, 274, 311, 394, 405, 438, 487, 514] [67, 83, 176, 208, 308, 395, 406, 439, 480, 515] [113, 148, 181, 209, 260, 396, 407, 432, 481, 516] [21, 118, 197, 210, 242, 397, 400, 433, 482, 517] [6, 211, 247, 278, 307, 398, 401, 434, 483, 518] [71, 87, 180, 212, 304, 399, 402, 435, 484, 519] [117, 144, 177, 213, 256, 392, 403, 436, 485, 512] [25, 122, 201, 222, 254, 412, 497, 541, 558, 617] [10, 223, 251, 282, 319, 413, 498, 542, 559, 618] [75, 91, 184, 216, 316, 414, 499, 543, 552, 619] [121, 156, 189, 217, 268, 415, 500, 536, 553, 620] [29, 126, 205, 218, 250, 408, 501, 537, 554, 621] [14, 219, 255, 286, 315, 409, 502, 538, 555, 622] [79, 95, 188, 220, 312, 410, 503, 539, 556, 623] [125, 152, 185, 221, 264, 411, 496, 540, 557, 616] [33, 130, 209, 230, 262, 325, 401, 420, 601, 630] [7, 18, 231, 259, 290, 326, 402, 421, 602, 631] [4, 83, 99, 192, 224, 327, 403, 422, 603, 624] [129, 164, 197, 225, 276, 320, 404, 423, 604, 625] [37, 134, 213, 226, 258, 321, 405, 416, 605, 626] [3, 22, 227, 263, 294, 322, 406, 417, 606, 627] [0, 87, 103, 196, 228, 323, 407, 418, 607, 628] [133, 160, 193, 229, 272, 324, 400, 419, 600, 629] [41, 138, 217, 238, 270, 382, 385, 428, 429, 505] [15, 26, 239, 267, 298, 383, 386, 429, 430, 506] [12, 91, 107, 200, 232, 376, 387, 430, 431, 507] [137, 172, 205, 233, 284, 377, 388, 424, 431, 508] [45, 142, 221, 234, 266, 378, 389, 424, 425, 509] [11, 30, 235, 271, 302, 379, 390, 425, 426, 510] [8, 95, 111, 204, 236, 380, 391, 426, 427, 511] [141, 168, 201, 237, 280, 381, 384, 427, 428, 504] [49, 146, 225, 246, 278, 436, 454, 489, 533, 609] [23, 34, 247, 275, 306, 437, 455, 490, 534, 610] [20, 99, 115, 208, 240, 438, 448, 491, 535, 611] [145, 180, 213, 241, 292, 439, 449, 492, 528, 612] [53, 150, 229, 242, 274, 432, 450, 493, 529, 613] [19, 38, 243, 279, 310, 433, 451, 494, 530, 614] [16, 103, 119, 212, 244, 434, 452, 495, 531, 615] [149, 176, 209, 245, 288, 435, 453, 488, 532, 608] [57, 154, 233, 254, 286, 393, 444, 526, 593, 637] [31, 42, 255, 283, 314, 394, 445, 527, 594, 638] [28, 107, 123, 216, 248, 395, 446, 520, 595, 639] [153, 188, 221, 249, 300, 396, 447, 521, 596, 632] [61, 158, 237, 250, 282, 397, 440, 522, 597, 633] [27, 46, 251, 287, 318, 398, 441, 523, 598, 634] [24, 111, 127, 220, 252, 399, 442, 524, 599, 635] [157, 184, 217, 253, 296, 392, 443, 525, 592, 636] [65, 162, 241, 262, 294, 377, 421, 452, 497, 598] [2, 39, 50, 263, 291, 378, 422, 453, 498, 599] [36, 115, 131, 224, 256, 379, 423, 454, 499, 592] [161, 196, 229, 257, 308, 380, 416, 455, 500, 593] [69, 166, 245, 258, 290, 381, 417, 448, 501, 594] [6, 35, 54, 259, 295, 382, 418, 449, 502, 595] [32, 119, 135, 228, 260, 383, 419, 450, 503, 596] [165, 192, 225, 261, 304, 376, 420, 451, 496, 597] [73, 170, 249, 270, 302, 350, 460, 481, 525, 601] [10, 47, 58, 271, 299, 351, 461, 482, 526, 602] [44, 123, 139, 232, 264, 344, 462, 483, 527, 603] [169, 204, 237, 265, 316, 345, 463, 484, 520, 604] [77, 174, 253, 266, 298, 346, 456, 485, 521, 605] [14, 43, 62, 267, 303, 347, 457, 486, 522, 606] [40, 127, 143, 236, 268, 348, 458, 487, 523, 607] [173, 200, 233, 269, 312, 349, 459, 480, 524, 600] [81, 178, 257, 278, 310, 385, 422, 468, 585, 629] [18, 55, 66, 279, 307, 386, 423, 469, 586, 630] [52, 131, 147, 240, 272, 387, 416, 470, 587, 631] [4, 177, 212, 245, 273, 388, 417, 471, 588, 624] [85, 182, 261, 274, 306, 389, 418, 464, 589, 625] [22, 51, 70, 275, 311, 390, 419, 465, 590, 626] [48, 135, 151, 244, 276, 391, 420, 466, 591, 627] [0, 181, 208, 241, 277, 384, 421, 467, 584, 628] [89, 186, 265, 286, 318, 369, 413, 476, 489, 494] [26, 63, 74, 287, 315, 370, 414, 477, 490, 495] [60, 139, 155, 248, 280, 371, 415, 478, 488, 491] [12, 185, 220, 253, 281, 372, 408, 479, 489, 492] [93, 190, 269, 282, 314, 373, 409, 472, 490, 493] [30, 59, 78, 283, 319, 374, 410, 473, 491, 494] [56, 143, 159, 252, 284, 375, 411, 474, 492, 495] [8, 189, 216, 249, 285, 368, 412, 475, 488, 493] [6, 97, 194, 273, 294, 473, 484, 517, 566, 593] [3, 34, 71, 82, 295, 474, 485, 518, 567, 594] [68, 147, 163, 256, 288, 475, 486, 519, 560, 595] [20, 193, 228, 261, 289, 476, 487, 512, 561, 596] [2, 101, 198, 277, 290, 477, 480, 513, 562, 597] [7, 38, 67, 86, 291, 478, 481, 514, 563, 598] [64, 151, 167, 260, 292, 479, 482, 515, 564, 599] [16, 197, 224, 257, 293, 472, 483, 516, 565, 592] [14, 105, 202, 281, 302, 377, 492, 577, 621, 638] [11, 42, 79, 90, 303, 378, 493, 578, 622, 639] [76, 155, 171, 264, 296, 379, 494, 579, 623, 632] [28, 201, 236, 269, 297, 380, 495, 580, 616, 633] [10, 109, 206, 285, 298, 381, 488, 581, 617, 634] [15, 46, 75, 94, 299, 382, 489, 582, 618, 635] [72, 159, 175, 268, 300, 383, 490, 583, 619, 636] [24, 205, 232, 265, 301, 376, 491, 576, 620, 637] [22, 113, 210, 289, 310, 361, 390, 405, 481, 500] [19, 50, 87, 98, 311, 362, 391, 406, 482, 501] [84, 163, 179, 272, 304, 363, 384, 407, 483, 502] [36, 209, 244, 277, 305, 364, 385, 400, 484, 503] [18, 117, 214, 293, 306, 365, 386, 401, 485, 496] [23, 54, 83, 102, 307, 366, 387, 402, 486, 497] [80, 167, 183, 276, 308, 367, 388, 403, 487, 498] [32, 213, 240, 273, 309, 360, 389, 404, 480, 499] [30, 121, 218, 297, 318, 462, 465, 508, 509, 585] [27, 58, 95, 106, 319, 463, 466, 509, 510, 586] [92, 171, 187, 280, 312, 456, 467, 510, 511, 587] [44, 217, 252, 285, 313, 457, 468, 504, 511, 588] [26, 125, 222, 301, 314, 458, 469, 504, 505, 589] [31, 62, 91, 110, 315, 459, 470, 505, 506, 590] [88, 175, 191, 284, 316, 460, 471, 506, 507, 591] [40, 221, 248, 281, 317, 461, 464, 507, 508, 584]
Code ID 640-16-52 · download JSON · raw on GitHub