← back to the board
[[514,162,29]] d ≤
n
514
k
162
d
29
kd²/n
265.062
w
24
X/Z
1

Share this result

Distance

X/Z asymmetry 1 · d_X ≤ 29, d_Z ≤ 29 · w_X = 24, w_Z = 24 (max(d_X,d_Z)/min(d_X,d_Z); each side carries its own earned tier: = certified exact, ≤ witness upper bound)
d_X 29 · witness weight 29 (claimed upper_bound)
witness found by @FarLab · ris_gpu · found at 109 trials · 2026-08-19
witness operator (support, 29 qubits)
[5, 37, 43, 56, 57, 62, 69, 87, 88, 100, 101, 114, 115, 127, 128, 146, 153, 158, 159, 172, 178, 210, 229, 236, 243, 337, 387, 487, 494]
d_Z 29 · witness weight 29 (claimed upper_bound)
witness found by @FarLab · ris_gpu · found at 109 trials · 2026-08-19
witness operator (support, 29 qubits)
[20, 22, 24, 25, 49, 50, 51, 75, 76, 78, 80, 101, 105, 125, 128, 132, 153, 154, 203, 204, 225, 229, 232, 252, 256, 276, 333, 419, 447]
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 24 · H_Z 24
qubit degrees H_X 12 · H_Z 12
trapping sets H_X (1,12)×514 (2,16)×1028 (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,12): 514 (2,16): 1028 (2,18): 2056 (2,20): 11308 (2,22): 38036
trapping sets H_Z (1,12)×514 (2,16)×1028 (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,12): 514 (2,16): 1028 (2,18): 2056 (2,20): 11308 (2,22): 38036

Construction & provenance

authors @vprusso
provenance submitted through the challenge
novelty novelty not audited
construction Generalized bicycle (two-block cyclic) code on Z_257 with m=257 PRIME. H_X = [circ(a) | circ(b)], H_Z = [circ(b)^T | circ(a)^T] on n = 2m = 514 qubits. a and b are low-weight codewords of a cyclic divisor ideal <g>, g | x257 - 1, assembled from a union of 2-cyclotomic cosets of Z_257 of total degree 80; k = 2 deg gcd(a, b, x257 - 1) = 162. a=[17, 44, 46, 94, 142, 190, 192, 219, 242, 245, 248, 251], b=[5, 18, 26, 83, 97, 134, 148, 205, 213, 226, 238, 250]. Max check weight 24.
model Claude Claude Opus 5 (claimed, not verified)
builds on arXiv:2308.07915
date 2026-08-11
notes Found by a search over PRIME block sizes m with 2m <= 700, the regime the [[482,146,42]] entry on Z_241 occupies; earlier cyclic searches here used composite m only. Distance ladder: 4k screen d<=48, 200k d<=50, 2M d<=46, 20M d<=41, each rung the minimum over its budget. Witnesses come from multi-seed randomized information-set searches at 20M reads and are re-verified to commute with the opposite check matrix and to lie outside the stabilizer rowspace. d is the minimum over sides (X 41, Z 44). Distance revised 2026-08-19 by GPU deep refutation with the board's standalone ris_gpu tool (verify/ris_gpu.cu, sqetch kernels by Muzhou Ma, MIT) on an NVIDIA L40S: a 1,000,000,000-trial random-ISD recovery ladder per side (seed 88000007) committed a weight-29 X logical and a weight-29 Z logical, both re-verified on the CPU with the repo's GF(2) arithmetic and recorded here as the new per-side witnesses. This tightens d<=41 to d<=29 and the score from 162*41^2/514 = 529.83 to 162*29^2/514 = 265.06. The distance remains a witness-backed upper bound, not an exact-distance claim. @vprusso constructed the code. Refutation credit and the search budget are recorded in witness_provenance on each corrected side (schema 0.2, issue #611); authorship is unchanged.
family generalized bicycle (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 257 (max weight 24) · Z-checks 257 (max weight 24)
H_X (257 checks, sparse supports)
[17, 44, 46, 94, 142, 190, 192, 219, 242, 245, 248, 251, 262, 275, 283, 340, 354, 391, 405, 462, 470, 483, 495, 507] [18, 45, 47, 95, 143, 191, 193, 220, 243, 246, 249, 252, 263, 276, 284, 341, 355, 392, 406, 463, 471, 484, 496, 508] [19, 46, 48, 96, 144, 192, 194, 221, 244, 247, 250, 253, 264, 277, 285, 342, 356, 393, 407, 464, 472, 485, 497, 509] [20, 47, 49, 97, 145, 193, 195, 222, 245, 248, 251, 254, 265, 278, 286, 343, 357, 394, 408, 465, 473, 486, 498, 510] [21, 48, 50, 98, 146, 194, 196, 223, 246, 249, 252, 255, 266, 279, 287, 344, 358, 395, 409, 466, 474, 487, 499, 511] [22, 49, 51, 99, 147, 195, 197, 224, 247, 250, 253, 256, 267, 280, 288, 345, 359, 396, 410, 467, 475, 488, 500, 512] [0, 23, 50, 52, 100, 148, 196, 198, 225, 248, 251, 254, 268, 281, 289, 346, 360, 397, 411, 468, 476, 489, 501, 513] [1, 24, 51, 53, 101, 149, 197, 199, 226, 249, 252, 255, 257, 269, 282, 290, 347, 361, 398, 412, 469, 477, 490, 502] [2, 25, 52, 54, 102, 150, 198, 200, 227, 250, 253, 256, 258, 270, 283, 291, 348, 362, 399, 413, 470, 478, 491, 503] [0, 3, 26, 53, 55, 103, 151, 199, 201, 228, 251, 254, 259, 271, 284, 292, 349, 363, 400, 414, 471, 479, 492, 504] [1, 4, 27, 54, 56, 104, 152, 200, 202, 229, 252, 255, 260, 272, 285, 293, 350, 364, 401, 415, 472, 480, 493, 505] [2, 5, 28, 55, 57, 105, 153, 201, 203, 230, 253, 256, 261, 273, 286, 294, 351, 365, 402, 416, 473, 481, 494, 506] [0, 3, 6, 29, 56, 58, 106, 154, 202, 204, 231, 254, 262, 274, 287, 295, 352, 366, 403, 417, 474, 482, 495, 507] [1, 4, 7, 30, 57, 59, 107, 155, 203, 205, 232, 255, 263, 275, 288, 296, 353, 367, 404, 418, 475, 483, 496, 508] [2, 5, 8, 31, 58, 60, 108, 156, 204, 206, 233, 256, 264, 276, 289, 297, 354, 368, 405, 419, 476, 484, 497, 509] [0, 3, 6, 9, 32, 59, 61, 109, 157, 205, 207, 234, 265, 277, 290, 298, 355, 369, 406, 420, 477, 485, 498, 510] [1, 4, 7, 10, 33, 60, 62, 110, 158, 206, 208, 235, 266, 278, 291, 299, 356, 370, 407, 421, 478, 486, 499, 511] [2, 5, 8, 11, 34, 61, 63, 111, 159, 207, 209, 236, 267, 279, 292, 300, 357, 371, 408, 422, 479, 487, 500, 512] [3, 6, 9, 12, 35, 62, 64, 112, 160, 208, 210, 237, 268, 280, 293, 301, 358, 372, 409, 423, 480, 488, 501, 513] [4, 7, 10, 13, 36, 63, 65, 113, 161, 209, 211, 238, 257, 269, 281, 294, 302, 359, 373, 410, 424, 481, 489, 502] [5, 8, 11, 14, 37, 64, 66, 114, 162, 210, 212, 239, 258, 270, 282, 295, 303, 360, 374, 411, 425, 482, 490, 503] [6, 9, 12, 15, 38, 65, 67, 115, 163, 211, 213, 240, 259, 271, 283, 296, 304, 361, 375, 412, 426, 483, 491, 504] [7, 10, 13, 16, 39, 66, 68, 116, 164, 212, 214, 241, 260, 272, 284, 297, 305, 362, 376, 413, 427, 484, 492, 505] [8, 11, 14, 17, 40, 67, 69, 117, 165, 213, 215, 242, 261, 273, 285, 298, 306, 363, 377, 414, 428, 485, 493, 506] [9, 12, 15, 18, 41, 68, 70, 118, 166, 214, 216, 243, 262, 274, 286, 299, 307, 364, 378, 415, 429, 486, 494, 507] [10, 13, 16, 19, 42, 69, 71, 119, 167, 215, 217, 244, 263, 275, 287, 300, 308, 365, 379, 416, 430, 487, 495, 508] [11, 14, 17, 20, 43, 70, 72, 120, 168, 216, 218, 245, 264, 276, 288, 301, 309, 366, 380, 417, 431, 488, 496, 509] [12, 15, 18, 21, 44, 71, 73, 121, 169, 217, 219, 246, 265, 277, 289, 302, 310, 367, 381, 418, 432, 489, 497, 510] [13, 16, 19, 22, 45, 72, 74, 122, 170, 218, 220, 247, 266, 278, 290, 303, 311, 368, 382, 419, 433, 490, 498, 511] [14, 17, 20, 23, 46, 73, 75, 123, 171, 219, 221, 248, 267, 279, 291, 304, 312, 369, 383, 420, 434, 491, 499, 512] [15, 18, 21, 24, 47, 74, 76, 124, 172, 220, 222, 249, 268, 280, 292, 305, 313, 370, 384, 421, 435, 492, 500, 513] [16, 19, 22, 25, 48, 75, 77, 125, 173, 221, 223, 250, 257, 269, 281, 293, 306, 314, 371, 385, 422, 436, 493, 501] [17, 20, 23, 26, 49, 76, 78, 126, 174, 222, 224, 251, 258, 270, 282, 294, 307, 315, 372, 386, 423, 437, 494, 502] [18, 21, 24, 27, 50, 77, 79, 127, 175, 223, 225, 252, 259, 271, 283, 295, 308, 316, 373, 387, 424, 438, 495, 503] [19, 22, 25, 28, 51, 78, 80, 128, 176, 224, 226, 253, 260, 272, 284, 296, 309, 317, 374, 388, 425, 439, 496, 504] [20, 23, 26, 29, 52, 79, 81, 129, 177, 225, 227, 254, 261, 273, 285, 297, 310, 318, 375, 389, 426, 440, 497, 505] [21, 24, 27, 30, 53, 80, 82, 130, 178, 226, 228, 255, 262, 274, 286, 298, 311, 319, 376, 390, 427, 441, 498, 506] [22, 25, 28, 31, 54, 81, 83, 131, 179, 227, 229, 256, 263, 275, 287, 299, 312, 320, 377, 391, 428, 442, 499, 507] [0, 23, 26, 29, 32, 55, 82, 84, 132, 180, 228, 230, 264, 276, 288, 300, 313, 321, 378, 392, 429, 443, 500, 508] [1, 24, 27, 30, 33, 56, 83, 85, 133, 181, 229, 231, 265, 277, 289, 301, 314, 322, 379, 393, 430, 444, 501, 509] [2, 25, 28, 31, 34, 57, 84, 86, 134, 182, 230, 232, 266, 278, 290, 302, 315, 323, 380, 394, 431, 445, 502, 510] [3, 26, 29, 32, 35, 58, 85, 87, 135, 183, 231, 233, 267, 279, 291, 303, 316, 324, 381, 395, 432, 446, 503, 511] [4, 27, 30, 33, 36, 59, 86, 88, 136, 184, 232, 234, 268, 280, 292, 304, 317, 325, 382, 396, 433, 447, 504, 512] [5, 28, 31, 34, 37, 60, 87, 89, 137, 185, 233, 235, 269, 281, 293, 305, 318, 326, 383, 397, 434, 448, 505, 513] [6, 29, 32, 35, 38, 61, 88, 90, 138, 186, 234, 236, 257, 270, 282, 294, 306, 319, 327, 384, 398, 435, 449, 506] [7, 30, 33, 36, 39, 62, 89, 91, 139, 187, 235, 237, 258, 271, 283, 295, 307, 320, 328, 385, 399, 436, 450, 507] [8, 31, 34, 37, 40, 63, 90, 92, 140, 188, 236, 238, 259, 272, 284, 296, 308, 321, 329, 386, 400, 437, 451, 508] [9, 32, 35, 38, 41, 64, 91, 93, 141, 189, 237, 239, 260, 273, 285, 297, 309, 322, 330, 387, 401, 438, 452, 509] [10, 33, 36, 39, 42, 65, 92, 94, 142, 190, 238, 240, 261, 274, 286, 298, 310, 323, 331, 388, 402, 439, 453, 510] [11, 34, 37, 40, 43, 66, 93, 95, 143, 191, 239, 241, 262, 275, 287, 299, 311, 324, 332, 389, 403, 440, 454, 511] [12, 35, 38, 41, 44, 67, 94, 96, 144, 192, 240, 242, 263, 276, 288, 300, 312, 325, 333, 390, 404, 441, 455, 512] [13, 36, 39, 42, 45, 68, 95, 97, 145, 193, 241, 243, 264, 277, 289, 301, 313, 326, 334, 391, 405, 442, 456, 513] [14, 37, 40, 43, 46, 69, 96, 98, 146, 194, 242, 244, 257, 265, 278, 290, 302, 314, 327, 335, 392, 406, 443, 457] [15, 38, 41, 44, 47, 70, 97, 99, 147, 195, 243, 245, 258, 266, 279, 291, 303, 315, 328, 336, 393, 407, 444, 458] [16, 39, 42, 45, 48, 71, 98, 100, 148, 196, 244, 246, 259, 267, 280, 292, 304, 316, 329, 337, 394, 408, 445, 459] [17, 40, 43, 46, 49, 72, 99, 101, 149, 197, 245, 247, 260, 268, 281, 293, 305, 317, 330, 338, 395, 409, 446, 460] [18, 41, 44, 47, 50, 73, 100, 102, 150, 198, 246, 248, 261, 269, 282, 294, 306, 318, 331, 339, 396, 410, 447, 461] [19, 42, 45, 48, 51, 74, 101, 103, 151, 199, 247, 249, 262, 270, 283, 295, 307, 319, 332, 340, 397, 411, 448, 462] [20, 43, 46, 49, 52, 75, 102, 104, 152, 200, 248, 250, 263, 271, 284, 296, 308, 320, 333, 341, 398, 412, 449, 463] [21, 44, 47, 50, 53, 76, 103, 105, 153, 201, 249, 251, 264, 272, 285, 297, 309, 321, 334, 342, 399, 413, 450, 464] [22, 45, 48, 51, 54, 77, 104, 106, 154, 202, 250, 252, 265, 273, 286, 298, 310, 322, 335, 343, 400, 414, 451, 465] [23, 46, 49, 52, 55, 78, 105, 107, 155, 203, 251, 253, 266, 274, 287, 299, 311, 323, 336, 344, 401, 415, 452, 466] [24, 47, 50, 53, 56, 79, 106, 108, 156, 204, 252, 254, 267, 275, 288, 300, 312, 324, 337, 345, 402, 416, 453, 467] [25, 48, 51, 54, 57, 80, 107, 109, 157, 205, 253, 255, 268, 276, 289, 301, 313, 325, 338, 346, 403, 417, 454, 468] [26, 49, 52, 55, 58, 81, 108, 110, 158, 206, 254, 256, 269, 277, 290, 302, 314, 326, 339, 347, 404, 418, 455, 469] [0, 27, 50, 53, 56, 59, 82, 109, 111, 159, 207, 255, 270, 278, 291, 303, 315, 327, 340, 348, 405, 419, 456, 470] [1, 28, 51, 54, 57, 60, 83, 110, 112, 160, 208, 256, 271, 279, 292, 304, 316, 328, 341, 349, 406, 420, 457, 471] [0, 2, 29, 52, 55, 58, 61, 84, 111, 113, 161, 209, 272, 280, 293, 305, 317, 329, 342, 350, 407, 421, 458, 472] [1, 3, 30, 53, 56, 59, 62, 85, 112, 114, 162, 210, 273, 281, 294, 306, 318, 330, 343, 351, 408, 422, 459, 473] [2, 4, 31, 54, 57, 60, 63, 86, 113, 115, 163, 211, 274, 282, 295, 307, 319, 331, 344, 352, 409, 423, 460, 474] [3, 5, 32, 55, 58, 61, 64, 87, 114, 116, 164, 212, 275, 283, 296, 308, 320, 332, 345, 353, 410, 424, 461, 475] [4, 6, 33, 56, 59, 62, 65, 88, 115, 117, 165, 213, 276, 284, 297, 309, 321, 333, 346, 354, 411, 425, 462, 476] [5, 7, 34, 57, 60, 63, 66, 89, 116, 118, 166, 214, 277, 285, 298, 310, 322, 334, 347, 355, 412, 426, 463, 477] [6, 8, 35, 58, 61, 64, 67, 90, 117, 119, 167, 215, 278, 286, 299, 311, 323, 335, 348, 356, 413, 427, 464, 478] [7, 9, 36, 59, 62, 65, 68, 91, 118, 120, 168, 216, 279, 287, 300, 312, 324, 336, 349, 357, 414, 428, 465, 479] [8, 10, 37, 60, 63, 66, 69, 92, 119, 121, 169, 217, 280, 288, 301, 313, 325, 337, 350, 358, 415, 429, 466, 480] [9, 11, 38, 61, 64, 67, 70, 93, 120, 122, 170, 218, 281, 289, 302, 314, 326, 338, 351, 359, 416, 430, 467, 481] [10, 12, 39, 62, 65, 68, 71, 94, 121, 123, 171, 219, 282, 290, 303, 315, 327, 339, 352, 360, 417, 431, 468, 482] [11, 13, 40, 63, 66, 69, 72, 95, 122, 124, 172, 220, 283, 291, 304, 316, 328, 340, 353, 361, 418, 432, 469, 483] [12, 14, 41, 64, 67, 70, 73, 96, 123, 125, 173, 221, 284, 292, 305, 317, 329, 341, 354, 362, 419, 433, 470, 484] [13, 15, 42, 65, 68, 71, 74, 97, 124, 126, 174, 222, 285, 293, 306, 318, 330, 342, 355, 363, 420, 434, 471, 485] [14, 16, 43, 66, 69, 72, 75, 98, 125, 127, 175, 223, 286, 294, 307, 319, 331, 343, 356, 364, 421, 435, 472, 486] [15, 17, 44, 67, 70, 73, 76, 99, 126, 128, 176, 224, 287, 295, 308, 320, 332, 344, 357, 365, 422, 436, 473, 487] [16, 18, 45, 68, 71, 74, 77, 100, 127, 129, 177, 225, 288, 296, 309, 321, 333, 345, 358, 366, 423, 437, 474, 488] [17, 19, 46, 69, 72, 75, 78, 101, 128, 130, 178, 226, 289, 297, 310, 322, 334, 346, 359, 367, 424, 438, 475, 489] [18, 20, 47, 70, 73, 76, 79, 102, 129, 131, 179, 227, 290, 298, 311, 323, 335, 347, 360, 368, 425, 439, 476, 490] [19, 21, 48, 71, 74, 77, 80, 103, 130, 132, 180, 228, 291, 299, 312, 324, 336, 348, 361, 369, 426, 440, 477, 491] [20, 22, 49, 72, 75, 78, 81, 104, 131, 133, 181, 229, 292, 300, 313, 325, 337, 349, 362, 370, 427, 441, 478, 492] [21, 23, 50, 73, 76, 79, 82, 105, 132, 134, 182, 230, 293, 301, 314, 326, 338, 350, 363, 371, 428, 442, 479, 493] [22, 24, 51, 74, 77, 80, 83, 106, 133, 135, 183, 231, 294, 302, 315, 327, 339, 351, 364, 372, 429, 443, 480, 494] [23, 25, 52, 75, 78, 81, 84, 107, 134, 136, 184, 232, 295, 303, 316, 328, 340, 352, 365, 373, 430, 444, 481, 495] [24, 26, 53, 76, 79, 82, 85, 108, 135, 137, 185, 233, 296, 304, 317, 329, 341, 353, 366, 374, 431, 445, 482, 496] [25, 27, 54, 77, 80, 83, 86, 109, 136, 138, 186, 234, 297, 305, 318, 330, 342, 354, 367, 375, 432, 446, 483, 497] [26, 28, 55, 78, 81, 84, 87, 110, 137, 139, 187, 235, 298, 306, 319, 331, 343, 355, 368, 376, 433, 447, 484, 498] [27, 29, 56, 79, 82, 85, 88, 111, 138, 140, 188, 236, 299, 307, 320, 332, 344, 356, 369, 377, 434, 448, 485, 499] [28, 30, 57, 80, 83, 86, 89, 112, 139, 141, 189, 237, 300, 308, 321, 333, 345, 357, 370, 378, 435, 449, 486, 500] [29, 31, 58, 81, 84, 87, 90, 113, 140, 142, 190, 238, 301, 309, 322, 334, 346, 358, 371, 379, 436, 450, 487, 501] [30, 32, 59, 82, 85, 88, 91, 114, 141, 143, 191, 239, 302, 310, 323, 335, 347, 359, 372, 380, 437, 451, 488, 502] [31, 33, 60, 83, 86, 89, 92, 115, 142, 144, 192, 240, 303, 311, 324, 336, 348, 360, 373, 381, 438, 452, 489, 503] [32, 34, 61, 84, 87, 90, 93, 116, 143, 145, 193, 241, 304, 312, 325, 337, 349, 361, 374, 382, 439, 453, 490, 504] [33, 35, 62, 85, 88, 91, 94, 117, 144, 146, 194, 242, 305, 313, 326, 338, 350, 362, 375, 383, 440, 454, 491, 505] [34, 36, 63, 86, 89, 92, 95, 118, 145, 147, 195, 243, 306, 314, 327, 339, 351, 363, 376, 384, 441, 455, 492, 506] [35, 37, 64, 87, 90, 93, 96, 119, 146, 148, 196, 244, 307, 315, 328, 340, 352, 364, 377, 385, 442, 456, 493, 507] [36, 38, 65, 88, 91, 94, 97, 120, 147, 149, 197, 245, 308, 316, 329, 341, 353, 365, 378, 386, 443, 457, 494, 508] [37, 39, 66, 89, 92, 95, 98, 121, 148, 150, 198, 246, 309, 317, 330, 342, 354, 366, 379, 387, 444, 458, 495, 509] [38, 40, 67, 90, 93, 96, 99, 122, 149, 151, 199, 247, 310, 318, 331, 343, 355, 367, 380, 388, 445, 459, 496, 510] [39, 41, 68, 91, 94, 97, 100, 123, 150, 152, 200, 248, 311, 319, 332, 344, 356, 368, 381, 389, 446, 460, 497, 511] [40, 42, 69, 92, 95, 98, 101, 124, 151, 153, 201, 249, 312, 320, 333, 345, 357, 369, 382, 390, 447, 461, 498, 512] [41, 43, 70, 93, 96, 99, 102, 125, 152, 154, 202, 250, 313, 321, 334, 346, 358, 370, 383, 391, 448, 462, 499, 513] [42, 44, 71, 94, 97, 100, 103, 126, 153, 155, 203, 251, 257, 314, 322, 335, 347, 359, 371, 384, 392, 449, 463, 500] [43, 45, 72, 95, 98, 101, 104, 127, 154, 156, 204, 252, 258, 315, 323, 336, 348, 360, 372, 385, 393, 450, 464, 501] [44, 46, 73, 96, 99, 102, 105, 128, 155, 157, 205, 253, 259, 316, 324, 337, 349, 361, 373, 386, 394, 451, 465, 502] [45, 47, 74, 97, 100, 103, 106, 129, 156, 158, 206, 254, 260, 317, 325, 338, 350, 362, 374, 387, 395, 452, 466, 503] [46, 48, 75, 98, 101, 104, 107, 130, 157, 159, 207, 255, 261, 318, 326, 339, 351, 363, 375, 388, 396, 453, 467, 504] [47, 49, 76, 99, 102, 105, 108, 131, 158, 160, 208, 256, 262, 319, 327, 340, 352, 364, 376, 389, 397, 454, 468, 505] [0, 48, 50, 77, 100, 103, 106, 109, 132, 159, 161, 209, 263, 320, 328, 341, 353, 365, 377, 390, 398, 455, 469, 506] [1, 49, 51, 78, 101, 104, 107, 110, 133, 160, 162, 210, 264, 321, 329, 342, 354, 366, 378, 391, 399, 456, 470, 507] [2, 50, 52, 79, 102, 105, 108, 111, 134, 161, 163, 211, 265, 322, 330, 343, 355, 367, 379, 392, 400, 457, 471, 508] [3, 51, 53, 80, 103, 106, 109, 112, 135, 162, 164, 212, 266, 323, 331, 344, 356, 368, 380, 393, 401, 458, 472, 509] [4, 52, 54, 81, 104, 107, 110, 113, 136, 163, 165, 213, 267, 324, 332, 345, 357, 369, 381, 394, 402, 459, 473, 510] [5, 53, 55, 82, 105, 108, 111, 114, 137, 164, 166, 214, 268, 325, 333, 346, 358, 370, 382, 395, 403, 460, 474, 511] [6, 54, 56, 83, 106, 109, 112, 115, 138, 165, 167, 215, 269, 326, 334, 347, 359, 371, 383, 396, 404, 461, 475, 512] [7, 55, 57, 84, 107, 110, 113, 116, 139, 166, 168, 216, 270, 327, 335, 348, 360, 372, 384, 397, 405, 462, 476, 513] [8, 56, 58, 85, 108, 111, 114, 117, 140, 167, 169, 217, 257, 271, 328, 336, 349, 361, 373, 385, 398, 406, 463, 477] [9, 57, 59, 86, 109, 112, 115, 118, 141, 168, 170, 218, 258, 272, 329, 337, 350, 362, 374, 386, 399, 407, 464, 478] [10, 58, 60, 87, 110, 113, 116, 119, 142, 169, 171, 219, 259, 273, 330, 338, 351, 363, 375, 387, 400, 408, 465, 479] [11, 59, 61, 88, 111, 114, 117, 120, 143, 170, 172, 220, 260, 274, 331, 339, 352, 364, 376, 388, 401, 409, 466, 480] [12, 60, 62, 89, 112, 115, 118, 121, 144, 171, 173, 221, 261, 275, 332, 340, 353, 365, 377, 389, 402, 410, 467, 481] [13, 61, 63, 90, 113, 116, 119, 122, 145, 172, 174, 222, 262, 276, 333, 341, 354, 366, 378, 390, 403, 411, 468, 482] [14, 62, 64, 91, 114, 117, 120, 123, 146, 173, 175, 223, 263, 277, 334, 342, 355, 367, 379, 391, 404, 412, 469, 483] [15, 63, 65, 92, 115, 118, 121, 124, 147, 174, 176, 224, 264, 278, 335, 343, 356, 368, 380, 392, 405, 413, 470, 484] [16, 64, 66, 93, 116, 119, 122, 125, 148, 175, 177, 225, 265, 279, 336, 344, 357, 369, 381, 393, 406, 414, 471, 485] [17, 65, 67, 94, 117, 120, 123, 126, 149, 176, 178, 226, 266, 280, 337, 345, 358, 370, 382, 394, 407, 415, 472, 486] [18, 66, 68, 95, 118, 121, 124, 127, 150, 177, 179, 227, 267, 281, 338, 346, 359, 371, 383, 395, 408, 416, 473, 487] [19, 67, 69, 96, 119, 122, 125, 128, 151, 178, 180, 228, 268, 282, 339, 347, 360, 372, 384, 396, 409, 417, 474, 488] [20, 68, 70, 97, 120, 123, 126, 129, 152, 179, 181, 229, 269, 283, 340, 348, 361, 373, 385, 397, 410, 418, 475, 489] [21, 69, 71, 98, 121, 124, 127, 130, 153, 180, 182, 230, 270, 284, 341, 349, 362, 374, 386, 398, 411, 419, 476, 490] [22, 70, 72, 99, 122, 125, 128, 131, 154, 181, 183, 231, 271, 285, 342, 350, 363, 375, 387, 399, 412, 420, 477, 491] [23, 71, 73, 100, 123, 126, 129, 132, 155, 182, 184, 232, 272, 286, 343, 351, 364, 376, 388, 400, 413, 421, 478, 492] [24, 72, 74, 101, 124, 127, 130, 133, 156, 183, 185, 233, 273, 287, 344, 352, 365, 377, 389, 401, 414, 422, 479, 493] [25, 73, 75, 102, 125, 128, 131, 134, 157, 184, 186, 234, 274, 288, 345, 353, 366, 378, 390, 402, 415, 423, 480, 494] [26, 74, 76, 103, 126, 129, 132, 135, 158, 185, 187, 235, 275, 289, 346, 354, 367, 379, 391, 403, 416, 424, 481, 495] [27, 75, 77, 104, 127, 130, 133, 136, 159, 186, 188, 236, 276, 290, 347, 355, 368, 380, 392, 404, 417, 425, 482, 496] [28, 76, 78, 105, 128, 131, 134, 137, 160, 187, 189, 237, 277, 291, 348, 356, 369, 381, 393, 405, 418, 426, 483, 497] [29, 77, 79, 106, 129, 132, 135, 138, 161, 188, 190, 238, 278, 292, 349, 357, 370, 382, 394, 406, 419, 427, 484, 498] [30, 78, 80, 107, 130, 133, 136, 139, 162, 189, 191, 239, 279, 293, 350, 358, 371, 383, 395, 407, 420, 428, 485, 499] [31, 79, 81, 108, 131, 134, 137, 140, 163, 190, 192, 240, 280, 294, 351, 359, 372, 384, 396, 408, 421, 429, 486, 500] [32, 80, 82, 109, 132, 135, 138, 141, 164, 191, 193, 241, 281, 295, 352, 360, 373, 385, 397, 409, 422, 430, 487, 501] [33, 81, 83, 110, 133, 136, 139, 142, 165, 192, 194, 242, 282, 296, 353, 361, 374, 386, 398, 410, 423, 431, 488, 502] [34, 82, 84, 111, 134, 137, 140, 143, 166, 193, 195, 243, 283, 297, 354, 362, 375, 387, 399, 411, 424, 432, 489, 503] [35, 83, 85, 112, 135, 138, 141, 144, 167, 194, 196, 244, 284, 298, 355, 363, 376, 388, 400, 412, 425, 433, 490, 504] [36, 84, 86, 113, 136, 139, 142, 145, 168, 195, 197, 245, 285, 299, 356, 364, 377, 389, 401, 413, 426, 434, 491, 505] [37, 85, 87, 114, 137, 140, 143, 146, 169, 196, 198, 246, 286, 300, 357, 365, 378, 390, 402, 414, 427, 435, 492, 506] [38, 86, 88, 115, 138, 141, 144, 147, 170, 197, 199, 247, 287, 301, 358, 366, 379, 391, 403, 415, 428, 436, 493, 507] [39, 87, 89, 116, 139, 142, 145, 148, 171, 198, 200, 248, 288, 302, 359, 367, 380, 392, 404, 416, 429, 437, 494, 508] [40, 88, 90, 117, 140, 143, 146, 149, 172, 199, 201, 249, 289, 303, 360, 368, 381, 393, 405, 417, 430, 438, 495, 509] [41, 89, 91, 118, 141, 144, 147, 150, 173, 200, 202, 250, 290, 304, 361, 369, 382, 394, 406, 418, 431, 439, 496, 510] [42, 90, 92, 119, 142, 145, 148, 151, 174, 201, 203, 251, 291, 305, 362, 370, 383, 395, 407, 419, 432, 440, 497, 511] [43, 91, 93, 120, 143, 146, 149, 152, 175, 202, 204, 252, 292, 306, 363, 371, 384, 396, 408, 420, 433, 441, 498, 512] [44, 92, 94, 121, 144, 147, 150, 153, 176, 203, 205, 253, 293, 307, 364, 372, 385, 397, 409, 421, 434, 442, 499, 513] [45, 93, 95, 122, 145, 148, 151, 154, 177, 204, 206, 254, 257, 294, 308, 365, 373, 386, 398, 410, 422, 435, 443, 500] [46, 94, 96, 123, 146, 149, 152, 155, 178, 205, 207, 255, 258, 295, 309, 366, 374, 387, 399, 411, 423, 436, 444, 501] [47, 95, 97, 124, 147, 150, 153, 156, 179, 206, 208, 256, 259, 296, 310, 367, 375, 388, 400, 412, 424, 437, 445, 502] [0, 48, 96, 98, 125, 148, 151, 154, 157, 180, 207, 209, 260, 297, 311, 368, 376, 389, 401, 413, 425, 438, 446, 503] [1, 49, 97, 99, 126, 149, 152, 155, 158, 181, 208, 210, 261, 298, 312, 369, 377, 390, 402, 414, 426, 439, 447, 504] [2, 50, 98, 100, 127, 150, 153, 156, 159, 182, 209, 211, 262, 299, 313, 370, 378, 391, 403, 415, 427, 440, 448, 505] [3, 51, 99, 101, 128, 151, 154, 157, 160, 183, 210, 212, 263, 300, 314, 371, 379, 392, 404, 416, 428, 441, 449, 506] [4, 52, 100, 102, 129, 152, 155, 158, 161, 184, 211, 213, 264, 301, 315, 372, 380, 393, 405, 417, 429, 442, 450, 507] [5, 53, 101, 103, 130, 153, 156, 159, 162, 185, 212, 214, 265, 302, 316, 373, 381, 394, 406, 418, 430, 443, 451, 508] [6, 54, 102, 104, 131, 154, 157, 160, 163, 186, 213, 215, 266, 303, 317, 374, 382, 395, 407, 419, 431, 444, 452, 509] [7, 55, 103, 105, 132, 155, 158, 161, 164, 187, 214, 216, 267, 304, 318, 375, 383, 396, 408, 420, 432, 445, 453, 510] [8, 56, 104, 106, 133, 156, 159, 162, 165, 188, 215, 217, 268, 305, 319, 376, 384, 397, 409, 421, 433, 446, 454, 511] [9, 57, 105, 107, 134, 157, 160, 163, 166, 189, 216, 218, 269, 306, 320, 377, 385, 398, 410, 422, 434, 447, 455, 512] [10, 58, 106, 108, 135, 158, 161, 164, 167, 190, 217, 219, 270, 307, 321, 378, 386, 399, 411, 423, 435, 448, 456, 513] [11, 59, 107, 109, 136, 159, 162, 165, 168, 191, 218, 220, 257, 271, 308, 322, 379, 387, 400, 412, 424, 436, 449, 457] [12, 60, 108, 110, 137, 160, 163, 166, 169, 192, 219, 221, 258, 272, 309, 323, 380, 388, 401, 413, 425, 437, 450, 458] [13, 61, 109, 111, 138, 161, 164, 167, 170, 193, 220, 222, 259, 273, 310, 324, 381, 389, 402, 414, 426, 438, 451, 459] [14, 62, 110, 112, 139, 162, 165, 168, 171, 194, 221, 223, 260, 274, 311, 325, 382, 390, 403, 415, 427, 439, 452, 460] [15, 63, 111, 113, 140, 163, 166, 169, 172, 195, 222, 224, 261, 275, 312, 326, 383, 391, 404, 416, 428, 440, 453, 461] [16, 64, 112, 114, 141, 164, 167, 170, 173, 196, 223, 225, 262, 276, 313, 327, 384, 392, 405, 417, 429, 441, 454, 462] [17, 65, 113, 115, 142, 165, 168, 171, 174, 197, 224, 226, 263, 277, 314, 328, 385, 393, 406, 418, 430, 442, 455, 463] [18, 66, 114, 116, 143, 166, 169, 172, 175, 198, 225, 227, 264, 278, 315, 329, 386, 394, 407, 419, 431, 443, 456, 464] [19, 67, 115, 117, 144, 167, 170, 173, 176, 199, 226, 228, 265, 279, 316, 330, 387, 395, 408, 420, 432, 444, 457, 465] [20, 68, 116, 118, 145, 168, 171, 174, 177, 200, 227, 229, 266, 280, 317, 331, 388, 396, 409, 421, 433, 445, 458, 466] [21, 69, 117, 119, 146, 169, 172, 175, 178, 201, 228, 230, 267, 281, 318, 332, 389, 397, 410, 422, 434, 446, 459, 467] [22, 70, 118, 120, 147, 170, 173, 176, 179, 202, 229, 231, 268, 282, 319, 333, 390, 398, 411, 423, 435, 447, 460, 468] [23, 71, 119, 121, 148, 171, 174, 177, 180, 203, 230, 232, 269, 283, 320, 334, 391, 399, 412, 424, 436, 448, 461, 469] [24, 72, 120, 122, 149, 172, 175, 178, 181, 204, 231, 233, 270, 284, 321, 335, 392, 400, 413, 425, 437, 449, 462, 470] [25, 73, 121, 123, 150, 173, 176, 179, 182, 205, 232, 234, 271, 285, 322, 336, 393, 401, 414, 426, 438, 450, 463, 471] [26, 74, 122, 124, 151, 174, 177, 180, 183, 206, 233, 235, 272, 286, 323, 337, 394, 402, 415, 427, 439, 451, 464, 472] [27, 75, 123, 125, 152, 175, 178, 181, 184, 207, 234, 236, 273, 287, 324, 338, 395, 403, 416, 428, 440, 452, 465, 473] [28, 76, 124, 126, 153, 176, 179, 182, 185, 208, 235, 237, 274, 288, 325, 339, 396, 404, 417, 429, 441, 453, 466, 474] [29, 77, 125, 127, 154, 177, 180, 183, 186, 209, 236, 238, 275, 289, 326, 340, 397, 405, 418, 430, 442, 454, 467, 475] [30, 78, 126, 128, 155, 178, 181, 184, 187, 210, 237, 239, 276, 290, 327, 341, 398, 406, 419, 431, 443, 455, 468, 476] [31, 79, 127, 129, 156, 179, 182, 185, 188, 211, 238, 240, 277, 291, 328, 342, 399, 407, 420, 432, 444, 456, 469, 477] [32, 80, 128, 130, 157, 180, 183, 186, 189, 212, 239, 241, 278, 292, 329, 343, 400, 408, 421, 433, 445, 457, 470, 478] [33, 81, 129, 131, 158, 181, 184, 187, 190, 213, 240, 242, 279, 293, 330, 344, 401, 409, 422, 434, 446, 458, 471, 479] [34, 82, 130, 132, 159, 182, 185, 188, 191, 214, 241, 243, 280, 294, 331, 345, 402, 410, 423, 435, 447, 459, 472, 480] [35, 83, 131, 133, 160, 183, 186, 189, 192, 215, 242, 244, 281, 295, 332, 346, 403, 411, 424, 436, 448, 460, 473, 481] [36, 84, 132, 134, 161, 184, 187, 190, 193, 216, 243, 245, 282, 296, 333, 347, 404, 412, 425, 437, 449, 461, 474, 482] [37, 85, 133, 135, 162, 185, 188, 191, 194, 217, 244, 246, 283, 297, 334, 348, 405, 413, 426, 438, 450, 462, 475, 483] [38, 86, 134, 136, 163, 186, 189, 192, 195, 218, 245, 247, 284, 298, 335, 349, 406, 414, 427, 439, 451, 463, 476, 484] [39, 87, 135, 137, 164, 187, 190, 193, 196, 219, 246, 248, 285, 299, 336, 350, 407, 415, 428, 440, 452, 464, 477, 485] [40, 88, 136, 138, 165, 188, 191, 194, 197, 220, 247, 249, 286, 300, 337, 351, 408, 416, 429, 441, 453, 465, 478, 486] [41, 89, 137, 139, 166, 189, 192, 195, 198, 221, 248, 250, 287, 301, 338, 352, 409, 417, 430, 442, 454, 466, 479, 487] [42, 90, 138, 140, 167, 190, 193, 196, 199, 222, 249, 251, 288, 302, 339, 353, 410, 418, 431, 443, 455, 467, 480, 488] [43, 91, 139, 141, 168, 191, 194, 197, 200, 223, 250, 252, 289, 303, 340, 354, 411, 419, 432, 444, 456, 468, 481, 489] [44, 92, 140, 142, 169, 192, 195, 198, 201, 224, 251, 253, 290, 304, 341, 355, 412, 420, 433, 445, 457, 469, 482, 490] [45, 93, 141, 143, 170, 193, 196, 199, 202, 225, 252, 254, 291, 305, 342, 356, 413, 421, 434, 446, 458, 470, 483, 491] [46, 94, 142, 144, 171, 194, 197, 200, 203, 226, 253, 255, 292, 306, 343, 357, 414, 422, 435, 447, 459, 471, 484, 492] [47, 95, 143, 145, 172, 195, 198, 201, 204, 227, 254, 256, 293, 307, 344, 358, 415, 423, 436, 448, 460, 472, 485, 493] [0, 48, 96, 144, 146, 173, 196, 199, 202, 205, 228, 255, 294, 308, 345, 359, 416, 424, 437, 449, 461, 473, 486, 494] [1, 49, 97, 145, 147, 174, 197, 200, 203, 206, 229, 256, 295, 309, 346, 360, 417, 425, 438, 450, 462, 474, 487, 495] [0, 2, 50, 98, 146, 148, 175, 198, 201, 204, 207, 230, 296, 310, 347, 361, 418, 426, 439, 451, 463, 475, 488, 496] [1, 3, 51, 99, 147, 149, 176, 199, 202, 205, 208, 231, 297, 311, 348, 362, 419, 427, 440, 452, 464, 476, 489, 497] [2, 4, 52, 100, 148, 150, 177, 200, 203, 206, 209, 232, 298, 312, 349, 363, 420, 428, 441, 453, 465, 477, 490, 498] [3, 5, 53, 101, 149, 151, 178, 201, 204, 207, 210, 233, 299, 313, 350, 364, 421, 429, 442, 454, 466, 478, 491, 499] [4, 6, 54, 102, 150, 152, 179, 202, 205, 208, 211, 234, 300, 314, 351, 365, 422, 430, 443, 455, 467, 479, 492, 500] [5, 7, 55, 103, 151, 153, 180, 203, 206, 209, 212, 235, 301, 315, 352, 366, 423, 431, 444, 456, 468, 480, 493, 501] [6, 8, 56, 104, 152, 154, 181, 204, 207, 210, 213, 236, 302, 316, 353, 367, 424, 432, 445, 457, 469, 481, 494, 502] [7, 9, 57, 105, 153, 155, 182, 205, 208, 211, 214, 237, 303, 317, 354, 368, 425, 433, 446, 458, 470, 482, 495, 503] [8, 10, 58, 106, 154, 156, 183, 206, 209, 212, 215, 238, 304, 318, 355, 369, 426, 434, 447, 459, 471, 483, 496, 504] [9, 11, 59, 107, 155, 157, 184, 207, 210, 213, 216, 239, 305, 319, 356, 370, 427, 435, 448, 460, 472, 484, 497, 505] [10, 12, 60, 108, 156, 158, 185, 208, 211, 214, 217, 240, 306, 320, 357, 371, 428, 436, 449, 461, 473, 485, 498, 506] [11, 13, 61, 109, 157, 159, 186, 209, 212, 215, 218, 241, 307, 321, 358, 372, 429, 437, 450, 462, 474, 486, 499, 507] [12, 14, 62, 110, 158, 160, 187, 210, 213, 216, 219, 242, 308, 322, 359, 373, 430, 438, 451, 463, 475, 487, 500, 508] [13, 15, 63, 111, 159, 161, 188, 211, 214, 217, 220, 243, 309, 323, 360, 374, 431, 439, 452, 464, 476, 488, 501, 509] [14, 16, 64, 112, 160, 162, 189, 212, 215, 218, 221, 244, 310, 324, 361, 375, 432, 440, 453, 465, 477, 489, 502, 510] [15, 17, 65, 113, 161, 163, 190, 213, 216, 219, 222, 245, 311, 325, 362, 376, 433, 441, 454, 466, 478, 490, 503, 511] [16, 18, 66, 114, 162, 164, 191, 214, 217, 220, 223, 246, 312, 326, 363, 377, 434, 442, 455, 467, 479, 491, 504, 512] [17, 19, 67, 115, 163, 165, 192, 215, 218, 221, 224, 247, 313, 327, 364, 378, 435, 443, 456, 468, 480, 492, 505, 513] [18, 20, 68, 116, 164, 166, 193, 216, 219, 222, 225, 248, 257, 314, 328, 365, 379, 436, 444, 457, 469, 481, 493, 506] [19, 21, 69, 117, 165, 167, 194, 217, 220, 223, 226, 249, 258, 315, 329, 366, 380, 437, 445, 458, 470, 482, 494, 507] [20, 22, 70, 118, 166, 168, 195, 218, 221, 224, 227, 250, 259, 316, 330, 367, 381, 438, 446, 459, 471, 483, 495, 508] [21, 23, 71, 119, 167, 169, 196, 219, 222, 225, 228, 251, 260, 317, 331, 368, 382, 439, 447, 460, 472, 484, 496, 509] [22, 24, 72, 120, 168, 170, 197, 220, 223, 226, 229, 252, 261, 318, 332, 369, 383, 440, 448, 461, 473, 485, 497, 510] [23, 25, 73, 121, 169, 171, 198, 221, 224, 227, 230, 253, 262, 319, 333, 370, 384, 441, 449, 462, 474, 486, 498, 511] [24, 26, 74, 122, 170, 172, 199, 222, 225, 228, 231, 254, 263, 320, 334, 371, 385, 442, 450, 463, 475, 487, 499, 512] [25, 27, 75, 123, 171, 173, 200, 223, 226, 229, 232, 255, 264, 321, 335, 372, 386, 443, 451, 464, 476, 488, 500, 513] [26, 28, 76, 124, 172, 174, 201, 224, 227, 230, 233, 256, 257, 265, 322, 336, 373, 387, 444, 452, 465, 477, 489, 501] [0, 27, 29, 77, 125, 173, 175, 202, 225, 228, 231, 234, 258, 266, 323, 337, 374, 388, 445, 453, 466, 478, 490, 502] [1, 28, 30, 78, 126, 174, 176, 203, 226, 229, 232, 235, 259, 267, 324, 338, 375, 389, 446, 454, 467, 479, 491, 503] [2, 29, 31, 79, 127, 175, 177, 204, 227, 230, 233, 236, 260, 268, 325, 339, 376, 390, 447, 455, 468, 480, 492, 504] [3, 30, 32, 80, 128, 176, 178, 205, 228, 231, 234, 237, 261, 269, 326, 340, 377, 391, 448, 456, 469, 481, 493, 505] [4, 31, 33, 81, 129, 177, 179, 206, 229, 232, 235, 238, 262, 270, 327, 341, 378, 392, 449, 457, 470, 482, 494, 506] [5, 32, 34, 82, 130, 178, 180, 207, 230, 233, 236, 239, 263, 271, 328, 342, 379, 393, 450, 458, 471, 483, 495, 507] [6, 33, 35, 83, 131, 179, 181, 208, 231, 234, 237, 240, 264, 272, 329, 343, 380, 394, 451, 459, 472, 484, 496, 508] [7, 34, 36, 84, 132, 180, 182, 209, 232, 235, 238, 241, 265, 273, 330, 344, 381, 395, 452, 460, 473, 485, 497, 509] [8, 35, 37, 85, 133, 181, 183, 210, 233, 236, 239, 242, 266, 274, 331, 345, 382, 396, 453, 461, 474, 486, 498, 510] [9, 36, 38, 86, 134, 182, 184, 211, 234, 237, 240, 243, 267, 275, 332, 346, 383, 397, 454, 462, 475, 487, 499, 511] [10, 37, 39, 87, 135, 183, 185, 212, 235, 238, 241, 244, 268, 276, 333, 347, 384, 398, 455, 463, 476, 488, 500, 512] [11, 38, 40, 88, 136, 184, 186, 213, 236, 239, 242, 245, 269, 277, 334, 348, 385, 399, 456, 464, 477, 489, 501, 513] [12, 39, 41, 89, 137, 185, 187, 214, 237, 240, 243, 246, 257, 270, 278, 335, 349, 386, 400, 457, 465, 478, 490, 502] [13, 40, 42, 90, 138, 186, 188, 215, 238, 241, 244, 247, 258, 271, 279, 336, 350, 387, 401, 458, 466, 479, 491, 503] [14, 41, 43, 91, 139, 187, 189, 216, 239, 242, 245, 248, 259, 272, 280, 337, 351, 388, 402, 459, 467, 480, 492, 504] [15, 42, 44, 92, 140, 188, 190, 217, 240, 243, 246, 249, 260, 273, 281, 338, 352, 389, 403, 460, 468, 481, 493, 505] [16, 43, 45, 93, 141, 189, 191, 218, 241, 244, 247, 250, 261, 274, 282, 339, 353, 390, 404, 461, 469, 482, 494, 506]
H_Z (257 checks, sparse supports)
[7, 19, 31, 44, 52, 109, 123, 160, 174, 231, 239, 252, 263, 266, 269, 272, 295, 322, 324, 372, 420, 468, 470, 497] [8, 20, 32, 45, 53, 110, 124, 161, 175, 232, 240, 253, 264, 267, 270, 273, 296, 323, 325, 373, 421, 469, 471, 498] [9, 21, 33, 46, 54, 111, 125, 162, 176, 233, 241, 254, 265, 268, 271, 274, 297, 324, 326, 374, 422, 470, 472, 499] [10, 22, 34, 47, 55, 112, 126, 163, 177, 234, 242, 255, 266, 269, 272, 275, 298, 325, 327, 375, 423, 471, 473, 500] [11, 23, 35, 48, 56, 113, 127, 164, 178, 235, 243, 256, 267, 270, 273, 276, 299, 326, 328, 376, 424, 472, 474, 501] [0, 12, 24, 36, 49, 57, 114, 128, 165, 179, 236, 244, 268, 271, 274, 277, 300, 327, 329, 377, 425, 473, 475, 502] [1, 13, 25, 37, 50, 58, 115, 129, 166, 180, 237, 245, 269, 272, 275, 278, 301, 328, 330, 378, 426, 474, 476, 503] [2, 14, 26, 38, 51, 59, 116, 130, 167, 181, 238, 246, 270, 273, 276, 279, 302, 329, 331, 379, 427, 475, 477, 504] [3, 15, 27, 39, 52, 60, 117, 131, 168, 182, 239, 247, 271, 274, 277, 280, 303, 330, 332, 380, 428, 476, 478, 505] [4, 16, 28, 40, 53, 61, 118, 132, 169, 183, 240, 248, 272, 275, 278, 281, 304, 331, 333, 381, 429, 477, 479, 506] [5, 17, 29, 41, 54, 62, 119, 133, 170, 184, 241, 249, 273, 276, 279, 282, 305, 332, 334, 382, 430, 478, 480, 507] [6, 18, 30, 42, 55, 63, 120, 134, 171, 185, 242, 250, 274, 277, 280, 283, 306, 333, 335, 383, 431, 479, 481, 508] [7, 19, 31, 43, 56, 64, 121, 135, 172, 186, 243, 251, 275, 278, 281, 284, 307, 334, 336, 384, 432, 480, 482, 509] [8, 20, 32, 44, 57, 65, 122, 136, 173, 187, 244, 252, 276, 279, 282, 285, 308, 335, 337, 385, 433, 481, 483, 510] [9, 21, 33, 45, 58, 66, 123, 137, 174, 188, 245, 253, 277, 280, 283, 286, 309, 336, 338, 386, 434, 482, 484, 511] [10, 22, 34, 46, 59, 67, 124, 138, 175, 189, 246, 254, 278, 281, 284, 287, 310, 337, 339, 387, 435, 483, 485, 512] [11, 23, 35, 47, 60, 68, 125, 139, 176, 190, 247, 255, 279, 282, 285, 288, 311, 338, 340, 388, 436, 484, 486, 513] [12, 24, 36, 48, 61, 69, 126, 140, 177, 191, 248, 256, 257, 280, 283, 286, 289, 312, 339, 341, 389, 437, 485, 487] [0, 13, 25, 37, 49, 62, 70, 127, 141, 178, 192, 249, 258, 281, 284, 287, 290, 313, 340, 342, 390, 438, 486, 488] [1, 14, 26, 38, 50, 63, 71, 128, 142, 179, 193, 250, 259, 282, 285, 288, 291, 314, 341, 343, 391, 439, 487, 489] [2, 15, 27, 39, 51, 64, 72, 129, 143, 180, 194, 251, 260, 283, 286, 289, 292, 315, 342, 344, 392, 440, 488, 490] [3, 16, 28, 40, 52, 65, 73, 130, 144, 181, 195, 252, 261, 284, 287, 290, 293, 316, 343, 345, 393, 441, 489, 491] [4, 17, 29, 41, 53, 66, 74, 131, 145, 182, 196, 253, 262, 285, 288, 291, 294, 317, 344, 346, 394, 442, 490, 492] [5, 18, 30, 42, 54, 67, 75, 132, 146, 183, 197, 254, 263, 286, 289, 292, 295, 318, 345, 347, 395, 443, 491, 493] [6, 19, 31, 43, 55, 68, 76, 133, 147, 184, 198, 255, 264, 287, 290, 293, 296, 319, 346, 348, 396, 444, 492, 494] [7, 20, 32, 44, 56, 69, 77, 134, 148, 185, 199, 256, 265, 288, 291, 294, 297, 320, 347, 349, 397, 445, 493, 495] [0, 8, 21, 33, 45, 57, 70, 78, 135, 149, 186, 200, 266, 289, 292, 295, 298, 321, 348, 350, 398, 446, 494, 496] [1, 9, 22, 34, 46, 58, 71, 79, 136, 150, 187, 201, 267, 290, 293, 296, 299, 322, 349, 351, 399, 447, 495, 497] [2, 10, 23, 35, 47, 59, 72, 80, 137, 151, 188, 202, 268, 291, 294, 297, 300, 323, 350, 352, 400, 448, 496, 498] [3, 11, 24, 36, 48, 60, 73, 81, 138, 152, 189, 203, 269, 292, 295, 298, 301, 324, 351, 353, 401, 449, 497, 499] [4, 12, 25, 37, 49, 61, 74, 82, 139, 153, 190, 204, 270, 293, 296, 299, 302, 325, 352, 354, 402, 450, 498, 500] [5, 13, 26, 38, 50, 62, 75, 83, 140, 154, 191, 205, 271, 294, 297, 300, 303, 326, 353, 355, 403, 451, 499, 501] [6, 14, 27, 39, 51, 63, 76, 84, 141, 155, 192, 206, 272, 295, 298, 301, 304, 327, 354, 356, 404, 452, 500, 502] [7, 15, 28, 40, 52, 64, 77, 85, 142, 156, 193, 207, 273, 296, 299, 302, 305, 328, 355, 357, 405, 453, 501, 503] [8, 16, 29, 41, 53, 65, 78, 86, 143, 157, 194, 208, 274, 297, 300, 303, 306, 329, 356, 358, 406, 454, 502, 504] [9, 17, 30, 42, 54, 66, 79, 87, 144, 158, 195, 209, 275, 298, 301, 304, 307, 330, 357, 359, 407, 455, 503, 505] [10, 18, 31, 43, 55, 67, 80, 88, 145, 159, 196, 210, 276, 299, 302, 305, 308, 331, 358, 360, 408, 456, 504, 506] [11, 19, 32, 44, 56, 68, 81, 89, 146, 160, 197, 211, 277, 300, 303, 306, 309, 332, 359, 361, 409, 457, 505, 507] [12, 20, 33, 45, 57, 69, 82, 90, 147, 161, 198, 212, 278, 301, 304, 307, 310, 333, 360, 362, 410, 458, 506, 508] [13, 21, 34, 46, 58, 70, 83, 91, 148, 162, 199, 213, 279, 302, 305, 308, 311, 334, 361, 363, 411, 459, 507, 509] [14, 22, 35, 47, 59, 71, 84, 92, 149, 163, 200, 214, 280, 303, 306, 309, 312, 335, 362, 364, 412, 460, 508, 510] [15, 23, 36, 48, 60, 72, 85, 93, 150, 164, 201, 215, 281, 304, 307, 310, 313, 336, 363, 365, 413, 461, 509, 511] [16, 24, 37, 49, 61, 73, 86, 94, 151, 165, 202, 216, 282, 305, 308, 311, 314, 337, 364, 366, 414, 462, 510, 512] [17, 25, 38, 50, 62, 74, 87, 95, 152, 166, 203, 217, 283, 306, 309, 312, 315, 338, 365, 367, 415, 463, 511, 513] [18, 26, 39, 51, 63, 75, 88, 96, 153, 167, 204, 218, 257, 284, 307, 310, 313, 316, 339, 366, 368, 416, 464, 512] [19, 27, 40, 52, 64, 76, 89, 97, 154, 168, 205, 219, 258, 285, 308, 311, 314, 317, 340, 367, 369, 417, 465, 513] [20, 28, 41, 53, 65, 77, 90, 98, 155, 169, 206, 220, 257, 259, 286, 309, 312, 315, 318, 341, 368, 370, 418, 466] [21, 29, 42, 54, 66, 78, 91, 99, 156, 170, 207, 221, 258, 260, 287, 310, 313, 316, 319, 342, 369, 371, 419, 467] [22, 30, 43, 55, 67, 79, 92, 100, 157, 171, 208, 222, 259, 261, 288, 311, 314, 317, 320, 343, 370, 372, 420, 468] [23, 31, 44, 56, 68, 80, 93, 101, 158, 172, 209, 223, 260, 262, 289, 312, 315, 318, 321, 344, 371, 373, 421, 469] [24, 32, 45, 57, 69, 81, 94, 102, 159, 173, 210, 224, 261, 263, 290, 313, 316, 319, 322, 345, 372, 374, 422, 470] [25, 33, 46, 58, 70, 82, 95, 103, 160, 174, 211, 225, 262, 264, 291, 314, 317, 320, 323, 346, 373, 375, 423, 471] [26, 34, 47, 59, 71, 83, 96, 104, 161, 175, 212, 226, 263, 265, 292, 315, 318, 321, 324, 347, 374, 376, 424, 472] [27, 35, 48, 60, 72, 84, 97, 105, 162, 176, 213, 227, 264, 266, 293, 316, 319, 322, 325, 348, 375, 377, 425, 473] [28, 36, 49, 61, 73, 85, 98, 106, 163, 177, 214, 228, 265, 267, 294, 317, 320, 323, 326, 349, 376, 378, 426, 474] [29, 37, 50, 62, 74, 86, 99, 107, 164, 178, 215, 229, 266, 268, 295, 318, 321, 324, 327, 350, 377, 379, 427, 475] [30, 38, 51, 63, 75, 87, 100, 108, 165, 179, 216, 230, 267, 269, 296, 319, 322, 325, 328, 351, 378, 380, 428, 476] [31, 39, 52, 64, 76, 88, 101, 109, 166, 180, 217, 231, 268, 270, 297, 320, 323, 326, 329, 352, 379, 381, 429, 477] [32, 40, 53, 65, 77, 89, 102, 110, 167, 181, 218, 232, 269, 271, 298, 321, 324, 327, 330, 353, 380, 382, 430, 478] [33, 41, 54, 66, 78, 90, 103, 111, 168, 182, 219, 233, 270, 272, 299, 322, 325, 328, 331, 354, 381, 383, 431, 479] [34, 42, 55, 67, 79, 91, 104, 112, 169, 183, 220, 234, 271, 273, 300, 323, 326, 329, 332, 355, 382, 384, 432, 480] [35, 43, 56, 68, 80, 92, 105, 113, 170, 184, 221, 235, 272, 274, 301, 324, 327, 330, 333, 356, 383, 385, 433, 481] [36, 44, 57, 69, 81, 93, 106, 114, 171, 185, 222, 236, 273, 275, 302, 325, 328, 331, 334, 357, 384, 386, 434, 482] [37, 45, 58, 70, 82, 94, 107, 115, 172, 186, 223, 237, 274, 276, 303, 326, 329, 332, 335, 358, 385, 387, 435, 483] [38, 46, 59, 71, 83, 95, 108, 116, 173, 187, 224, 238, 275, 277, 304, 327, 330, 333, 336, 359, 386, 388, 436, 484] [39, 47, 60, 72, 84, 96, 109, 117, 174, 188, 225, 239, 276, 278, 305, 328, 331, 334, 337, 360, 387, 389, 437, 485] [40, 48, 61, 73, 85, 97, 110, 118, 175, 189, 226, 240, 277, 279, 306, 329, 332, 335, 338, 361, 388, 390, 438, 486] [41, 49, 62, 74, 86, 98, 111, 119, 176, 190, 227, 241, 278, 280, 307, 330, 333, 336, 339, 362, 389, 391, 439, 487] [42, 50, 63, 75, 87, 99, 112, 120, 177, 191, 228, 242, 279, 281, 308, 331, 334, 337, 340, 363, 390, 392, 440, 488] [43, 51, 64, 76, 88, 100, 113, 121, 178, 192, 229, 243, 280, 282, 309, 332, 335, 338, 341, 364, 391, 393, 441, 489] [44, 52, 65, 77, 89, 101, 114, 122, 179, 193, 230, 244, 281, 283, 310, 333, 336, 339, 342, 365, 392, 394, 442, 490] [45, 53, 66, 78, 90, 102, 115, 123, 180, 194, 231, 245, 282, 284, 311, 334, 337, 340, 343, 366, 393, 395, 443, 491] [46, 54, 67, 79, 91, 103, 116, 124, 181, 195, 232, 246, 283, 285, 312, 335, 338, 341, 344, 367, 394, 396, 444, 492] [47, 55, 68, 80, 92, 104, 117, 125, 182, 196, 233, 247, 284, 286, 313, 336, 339, 342, 345, 368, 395, 397, 445, 493] [48, 56, 69, 81, 93, 105, 118, 126, 183, 197, 234, 248, 285, 287, 314, 337, 340, 343, 346, 369, 396, 398, 446, 494] [49, 57, 70, 82, 94, 106, 119, 127, 184, 198, 235, 249, 286, 288, 315, 338, 341, 344, 347, 370, 397, 399, 447, 495] [50, 58, 71, 83, 95, 107, 120, 128, 185, 199, 236, 250, 287, 289, 316, 339, 342, 345, 348, 371, 398, 400, 448, 496] [51, 59, 72, 84, 96, 108, 121, 129, 186, 200, 237, 251, 288, 290, 317, 340, 343, 346, 349, 372, 399, 401, 449, 497] [52, 60, 73, 85, 97, 109, 122, 130, 187, 201, 238, 252, 289, 291, 318, 341, 344, 347, 350, 373, 400, 402, 450, 498] [53, 61, 74, 86, 98, 110, 123, 131, 188, 202, 239, 253, 290, 292, 319, 342, 345, 348, 351, 374, 401, 403, 451, 499] [54, 62, 75, 87, 99, 111, 124, 132, 189, 203, 240, 254, 291, 293, 320, 343, 346, 349, 352, 375, 402, 404, 452, 500] [55, 63, 76, 88, 100, 112, 125, 133, 190, 204, 241, 255, 292, 294, 321, 344, 347, 350, 353, 376, 403, 405, 453, 501] [56, 64, 77, 89, 101, 113, 126, 134, 191, 205, 242, 256, 293, 295, 322, 345, 348, 351, 354, 377, 404, 406, 454, 502] [0, 57, 65, 78, 90, 102, 114, 127, 135, 192, 206, 243, 294, 296, 323, 346, 349, 352, 355, 378, 405, 407, 455, 503] [1, 58, 66, 79, 91, 103, 115, 128, 136, 193, 207, 244, 295, 297, 324, 347, 350, 353, 356, 379, 406, 408, 456, 504] [2, 59, 67, 80, 92, 104, 116, 129, 137, 194, 208, 245, 296, 298, 325, 348, 351, 354, 357, 380, 407, 409, 457, 505] [3, 60, 68, 81, 93, 105, 117, 130, 138, 195, 209, 246, 297, 299, 326, 349, 352, 355, 358, 381, 408, 410, 458, 506] [4, 61, 69, 82, 94, 106, 118, 131, 139, 196, 210, 247, 298, 300, 327, 350, 353, 356, 359, 382, 409, 411, 459, 507] [5, 62, 70, 83, 95, 107, 119, 132, 140, 197, 211, 248, 299, 301, 328, 351, 354, 357, 360, 383, 410, 412, 460, 508] [6, 63, 71, 84, 96, 108, 120, 133, 141, 198, 212, 249, 300, 302, 329, 352, 355, 358, 361, 384, 411, 413, 461, 509] [7, 64, 72, 85, 97, 109, 121, 134, 142, 199, 213, 250, 301, 303, 330, 353, 356, 359, 362, 385, 412, 414, 462, 510] [8, 65, 73, 86, 98, 110, 122, 135, 143, 200, 214, 251, 302, 304, 331, 354, 357, 360, 363, 386, 413, 415, 463, 511] [9, 66, 74, 87, 99, 111, 123, 136, 144, 201, 215, 252, 303, 305, 332, 355, 358, 361, 364, 387, 414, 416, 464, 512] [10, 67, 75, 88, 100, 112, 124, 137, 145, 202, 216, 253, 304, 306, 333, 356, 359, 362, 365, 388, 415, 417, 465, 513] [11, 68, 76, 89, 101, 113, 125, 138, 146, 203, 217, 254, 257, 305, 307, 334, 357, 360, 363, 366, 389, 416, 418, 466] [12, 69, 77, 90, 102, 114, 126, 139, 147, 204, 218, 255, 258, 306, 308, 335, 358, 361, 364, 367, 390, 417, 419, 467] [13, 70, 78, 91, 103, 115, 127, 140, 148, 205, 219, 256, 259, 307, 309, 336, 359, 362, 365, 368, 391, 418, 420, 468] [0, 14, 71, 79, 92, 104, 116, 128, 141, 149, 206, 220, 260, 308, 310, 337, 360, 363, 366, 369, 392, 419, 421, 469] [1, 15, 72, 80, 93, 105, 117, 129, 142, 150, 207, 221, 261, 309, 311, 338, 361, 364, 367, 370, 393, 420, 422, 470] [2, 16, 73, 81, 94, 106, 118, 130, 143, 151, 208, 222, 262, 310, 312, 339, 362, 365, 368, 371, 394, 421, 423, 471] [3, 17, 74, 82, 95, 107, 119, 131, 144, 152, 209, 223, 263, 311, 313, 340, 363, 366, 369, 372, 395, 422, 424, 472] [4, 18, 75, 83, 96, 108, 120, 132, 145, 153, 210, 224, 264, 312, 314, 341, 364, 367, 370, 373, 396, 423, 425, 473] [5, 19, 76, 84, 97, 109, 121, 133, 146, 154, 211, 225, 265, 313, 315, 342, 365, 368, 371, 374, 397, 424, 426, 474] [6, 20, 77, 85, 98, 110, 122, 134, 147, 155, 212, 226, 266, 314, 316, 343, 366, 369, 372, 375, 398, 425, 427, 475] [7, 21, 78, 86, 99, 111, 123, 135, 148, 156, 213, 227, 267, 315, 317, 344, 367, 370, 373, 376, 399, 426, 428, 476] [8, 22, 79, 87, 100, 112, 124, 136, 149, 157, 214, 228, 268, 316, 318, 345, 368, 371, 374, 377, 400, 427, 429, 477] [9, 23, 80, 88, 101, 113, 125, 137, 150, 158, 215, 229, 269, 317, 319, 346, 369, 372, 375, 378, 401, 428, 430, 478] [10, 24, 81, 89, 102, 114, 126, 138, 151, 159, 216, 230, 270, 318, 320, 347, 370, 373, 376, 379, 402, 429, 431, 479] [11, 25, 82, 90, 103, 115, 127, 139, 152, 160, 217, 231, 271, 319, 321, 348, 371, 374, 377, 380, 403, 430, 432, 480] [12, 26, 83, 91, 104, 116, 128, 140, 153, 161, 218, 232, 272, 320, 322, 349, 372, 375, 378, 381, 404, 431, 433, 481] [13, 27, 84, 92, 105, 117, 129, 141, 154, 162, 219, 233, 273, 321, 323, 350, 373, 376, 379, 382, 405, 432, 434, 482] [14, 28, 85, 93, 106, 118, 130, 142, 155, 163, 220, 234, 274, 322, 324, 351, 374, 377, 380, 383, 406, 433, 435, 483] [15, 29, 86, 94, 107, 119, 131, 143, 156, 164, 221, 235, 275, 323, 325, 352, 375, 378, 381, 384, 407, 434, 436, 484] [16, 30, 87, 95, 108, 120, 132, 144, 157, 165, 222, 236, 276, 324, 326, 353, 376, 379, 382, 385, 408, 435, 437, 485] [17, 31, 88, 96, 109, 121, 133, 145, 158, 166, 223, 237, 277, 325, 327, 354, 377, 380, 383, 386, 409, 436, 438, 486] [18, 32, 89, 97, 110, 122, 134, 146, 159, 167, 224, 238, 278, 326, 328, 355, 378, 381, 384, 387, 410, 437, 439, 487] [19, 33, 90, 98, 111, 123, 135, 147, 160, 168, 225, 239, 279, 327, 329, 356, 379, 382, 385, 388, 411, 438, 440, 488] [20, 34, 91, 99, 112, 124, 136, 148, 161, 169, 226, 240, 280, 328, 330, 357, 380, 383, 386, 389, 412, 439, 441, 489] [21, 35, 92, 100, 113, 125, 137, 149, 162, 170, 227, 241, 281, 329, 331, 358, 381, 384, 387, 390, 413, 440, 442, 490] [22, 36, 93, 101, 114, 126, 138, 150, 163, 171, 228, 242, 282, 330, 332, 359, 382, 385, 388, 391, 414, 441, 443, 491] [23, 37, 94, 102, 115, 127, 139, 151, 164, 172, 229, 243, 283, 331, 333, 360, 383, 386, 389, 392, 415, 442, 444, 492] [24, 38, 95, 103, 116, 128, 140, 152, 165, 173, 230, 244, 284, 332, 334, 361, 384, 387, 390, 393, 416, 443, 445, 493] [25, 39, 96, 104, 117, 129, 141, 153, 166, 174, 231, 245, 285, 333, 335, 362, 385, 388, 391, 394, 417, 444, 446, 494] [26, 40, 97, 105, 118, 130, 142, 154, 167, 175, 232, 246, 286, 334, 336, 363, 386, 389, 392, 395, 418, 445, 447, 495] [27, 41, 98, 106, 119, 131, 143, 155, 168, 176, 233, 247, 287, 335, 337, 364, 387, 390, 393, 396, 419, 446, 448, 496] [28, 42, 99, 107, 120, 132, 144, 156, 169, 177, 234, 248, 288, 336, 338, 365, 388, 391, 394, 397, 420, 447, 449, 497] [29, 43, 100, 108, 121, 133, 145, 157, 170, 178, 235, 249, 289, 337, 339, 366, 389, 392, 395, 398, 421, 448, 450, 498] [30, 44, 101, 109, 122, 134, 146, 158, 171, 179, 236, 250, 290, 338, 340, 367, 390, 393, 396, 399, 422, 449, 451, 499] [31, 45, 102, 110, 123, 135, 147, 159, 172, 180, 237, 251, 291, 339, 341, 368, 391, 394, 397, 400, 423, 450, 452, 500] [32, 46, 103, 111, 124, 136, 148, 160, 173, 181, 238, 252, 292, 340, 342, 369, 392, 395, 398, 401, 424, 451, 453, 501] [33, 47, 104, 112, 125, 137, 149, 161, 174, 182, 239, 253, 293, 341, 343, 370, 393, 396, 399, 402, 425, 452, 454, 502] [34, 48, 105, 113, 126, 138, 150, 162, 175, 183, 240, 254, 294, 342, 344, 371, 394, 397, 400, 403, 426, 453, 455, 503] [35, 49, 106, 114, 127, 139, 151, 163, 176, 184, 241, 255, 295, 343, 345, 372, 395, 398, 401, 404, 427, 454, 456, 504] [36, 50, 107, 115, 128, 140, 152, 164, 177, 185, 242, 256, 296, 344, 346, 373, 396, 399, 402, 405, 428, 455, 457, 505] [0, 37, 51, 108, 116, 129, 141, 153, 165, 178, 186, 243, 297, 345, 347, 374, 397, 400, 403, 406, 429, 456, 458, 506] [1, 38, 52, 109, 117, 130, 142, 154, 166, 179, 187, 244, 298, 346, 348, 375, 398, 401, 404, 407, 430, 457, 459, 507] [2, 39, 53, 110, 118, 131, 143, 155, 167, 180, 188, 245, 299, 347, 349, 376, 399, 402, 405, 408, 431, 458, 460, 508] [3, 40, 54, 111, 119, 132, 144, 156, 168, 181, 189, 246, 300, 348, 350, 377, 400, 403, 406, 409, 432, 459, 461, 509] [4, 41, 55, 112, 120, 133, 145, 157, 169, 182, 190, 247, 301, 349, 351, 378, 401, 404, 407, 410, 433, 460, 462, 510] [5, 42, 56, 113, 121, 134, 146, 158, 170, 183, 191, 248, 302, 350, 352, 379, 402, 405, 408, 411, 434, 461, 463, 511] [6, 43, 57, 114, 122, 135, 147, 159, 171, 184, 192, 249, 303, 351, 353, 380, 403, 406, 409, 412, 435, 462, 464, 512] [7, 44, 58, 115, 123, 136, 148, 160, 172, 185, 193, 250, 304, 352, 354, 381, 404, 407, 410, 413, 436, 463, 465, 513] [8, 45, 59, 116, 124, 137, 149, 161, 173, 186, 194, 251, 257, 305, 353, 355, 382, 405, 408, 411, 414, 437, 464, 466] [9, 46, 60, 117, 125, 138, 150, 162, 174, 187, 195, 252, 258, 306, 354, 356, 383, 406, 409, 412, 415, 438, 465, 467] [10, 47, 61, 118, 126, 139, 151, 163, 175, 188, 196, 253, 259, 307, 355, 357, 384, 407, 410, 413, 416, 439, 466, 468] [11, 48, 62, 119, 127, 140, 152, 164, 176, 189, 197, 254, 260, 308, 356, 358, 385, 408, 411, 414, 417, 440, 467, 469] [12, 49, 63, 120, 128, 141, 153, 165, 177, 190, 198, 255, 261, 309, 357, 359, 386, 409, 412, 415, 418, 441, 468, 470] [13, 50, 64, 121, 129, 142, 154, 166, 178, 191, 199, 256, 262, 310, 358, 360, 387, 410, 413, 416, 419, 442, 469, 471] [0, 14, 51, 65, 122, 130, 143, 155, 167, 179, 192, 200, 263, 311, 359, 361, 388, 411, 414, 417, 420, 443, 470, 472] [1, 15, 52, 66, 123, 131, 144, 156, 168, 180, 193, 201, 264, 312, 360, 362, 389, 412, 415, 418, 421, 444, 471, 473] [2, 16, 53, 67, 124, 132, 145, 157, 169, 181, 194, 202, 265, 313, 361, 363, 390, 413, 416, 419, 422, 445, 472, 474] [3, 17, 54, 68, 125, 133, 146, 158, 170, 182, 195, 203, 266, 314, 362, 364, 391, 414, 417, 420, 423, 446, 473, 475] [4, 18, 55, 69, 126, 134, 147, 159, 171, 183, 196, 204, 267, 315, 363, 365, 392, 415, 418, 421, 424, 447, 474, 476] [5, 19, 56, 70, 127, 135, 148, 160, 172, 184, 197, 205, 268, 316, 364, 366, 393, 416, 419, 422, 425, 448, 475, 477] [6, 20, 57, 71, 128, 136, 149, 161, 173, 185, 198, 206, 269, 317, 365, 367, 394, 417, 420, 423, 426, 449, 476, 478] [7, 21, 58, 72, 129, 137, 150, 162, 174, 186, 199, 207, 270, 318, 366, 368, 395, 418, 421, 424, 427, 450, 477, 479] [8, 22, 59, 73, 130, 138, 151, 163, 175, 187, 200, 208, 271, 319, 367, 369, 396, 419, 422, 425, 428, 451, 478, 480] [9, 23, 60, 74, 131, 139, 152, 164, 176, 188, 201, 209, 272, 320, 368, 370, 397, 420, 423, 426, 429, 452, 479, 481] [10, 24, 61, 75, 132, 140, 153, 165, 177, 189, 202, 210, 273, 321, 369, 371, 398, 421, 424, 427, 430, 453, 480, 482] [11, 25, 62, 76, 133, 141, 154, 166, 178, 190, 203, 211, 274, 322, 370, 372, 399, 422, 425, 428, 431, 454, 481, 483] [12, 26, 63, 77, 134, 142, 155, 167, 179, 191, 204, 212, 275, 323, 371, 373, 400, 423, 426, 429, 432, 455, 482, 484] [13, 27, 64, 78, 135, 143, 156, 168, 180, 192, 205, 213, 276, 324, 372, 374, 401, 424, 427, 430, 433, 456, 483, 485] [14, 28, 65, 79, 136, 144, 157, 169, 181, 193, 206, 214, 277, 325, 373, 375, 402, 425, 428, 431, 434, 457, 484, 486] [15, 29, 66, 80, 137, 145, 158, 170, 182, 194, 207, 215, 278, 326, 374, 376, 403, 426, 429, 432, 435, 458, 485, 487] [16, 30, 67, 81, 138, 146, 159, 171, 183, 195, 208, 216, 279, 327, 375, 377, 404, 427, 430, 433, 436, 459, 486, 488] [17, 31, 68, 82, 139, 147, 160, 172, 184, 196, 209, 217, 280, 328, 376, 378, 405, 428, 431, 434, 437, 460, 487, 489] [18, 32, 69, 83, 140, 148, 161, 173, 185, 197, 210, 218, 281, 329, 377, 379, 406, 429, 432, 435, 438, 461, 488, 490] [19, 33, 70, 84, 141, 149, 162, 174, 186, 198, 211, 219, 282, 330, 378, 380, 407, 430, 433, 436, 439, 462, 489, 491] [20, 34, 71, 85, 142, 150, 163, 175, 187, 199, 212, 220, 283, 331, 379, 381, 408, 431, 434, 437, 440, 463, 490, 492] [21, 35, 72, 86, 143, 151, 164, 176, 188, 200, 213, 221, 284, 332, 380, 382, 409, 432, 435, 438, 441, 464, 491, 493] [22, 36, 73, 87, 144, 152, 165, 177, 189, 201, 214, 222, 285, 333, 381, 383, 410, 433, 436, 439, 442, 465, 492, 494] [23, 37, 74, 88, 145, 153, 166, 178, 190, 202, 215, 223, 286, 334, 382, 384, 411, 434, 437, 440, 443, 466, 493, 495] [24, 38, 75, 89, 146, 154, 167, 179, 191, 203, 216, 224, 287, 335, 383, 385, 412, 435, 438, 441, 444, 467, 494, 496] [25, 39, 76, 90, 147, 155, 168, 180, 192, 204, 217, 225, 288, 336, 384, 386, 413, 436, 439, 442, 445, 468, 495, 497] [26, 40, 77, 91, 148, 156, 169, 181, 193, 205, 218, 226, 289, 337, 385, 387, 414, 437, 440, 443, 446, 469, 496, 498] [27, 41, 78, 92, 149, 157, 170, 182, 194, 206, 219, 227, 290, 338, 386, 388, 415, 438, 441, 444, 447, 470, 497, 499] [28, 42, 79, 93, 150, 158, 171, 183, 195, 207, 220, 228, 291, 339, 387, 389, 416, 439, 442, 445, 448, 471, 498, 500] [29, 43, 80, 94, 151, 159, 172, 184, 196, 208, 221, 229, 292, 340, 388, 390, 417, 440, 443, 446, 449, 472, 499, 501] [30, 44, 81, 95, 152, 160, 173, 185, 197, 209, 222, 230, 293, 341, 389, 391, 418, 441, 444, 447, 450, 473, 500, 502] [31, 45, 82, 96, 153, 161, 174, 186, 198, 210, 223, 231, 294, 342, 390, 392, 419, 442, 445, 448, 451, 474, 501, 503] [32, 46, 83, 97, 154, 162, 175, 187, 199, 211, 224, 232, 295, 343, 391, 393, 420, 443, 446, 449, 452, 475, 502, 504] [33, 47, 84, 98, 155, 163, 176, 188, 200, 212, 225, 233, 296, 344, 392, 394, 421, 444, 447, 450, 453, 476, 503, 505] [34, 48, 85, 99, 156, 164, 177, 189, 201, 213, 226, 234, 297, 345, 393, 395, 422, 445, 448, 451, 454, 477, 504, 506] [35, 49, 86, 100, 157, 165, 178, 190, 202, 214, 227, 235, 298, 346, 394, 396, 423, 446, 449, 452, 455, 478, 505, 507] [36, 50, 87, 101, 158, 166, 179, 191, 203, 215, 228, 236, 299, 347, 395, 397, 424, 447, 450, 453, 456, 479, 506, 508] [37, 51, 88, 102, 159, 167, 180, 192, 204, 216, 229, 237, 300, 348, 396, 398, 425, 448, 451, 454, 457, 480, 507, 509] [38, 52, 89, 103, 160, 168, 181, 193, 205, 217, 230, 238, 301, 349, 397, 399, 426, 449, 452, 455, 458, 481, 508, 510] [39, 53, 90, 104, 161, 169, 182, 194, 206, 218, 231, 239, 302, 350, 398, 400, 427, 450, 453, 456, 459, 482, 509, 511] [40, 54, 91, 105, 162, 170, 183, 195, 207, 219, 232, 240, 303, 351, 399, 401, 428, 451, 454, 457, 460, 483, 510, 512] [41, 55, 92, 106, 163, 171, 184, 196, 208, 220, 233, 241, 304, 352, 400, 402, 429, 452, 455, 458, 461, 484, 511, 513] [42, 56, 93, 107, 164, 172, 185, 197, 209, 221, 234, 242, 257, 305, 353, 401, 403, 430, 453, 456, 459, 462, 485, 512] [43, 57, 94, 108, 165, 173, 186, 198, 210, 222, 235, 243, 258, 306, 354, 402, 404, 431, 454, 457, 460, 463, 486, 513] [44, 58, 95, 109, 166, 174, 187, 199, 211, 223, 236, 244, 257, 259, 307, 355, 403, 405, 432, 455, 458, 461, 464, 487] [45, 59, 96, 110, 167, 175, 188, 200, 212, 224, 237, 245, 258, 260, 308, 356, 404, 406, 433, 456, 459, 462, 465, 488] [46, 60, 97, 111, 168, 176, 189, 201, 213, 225, 238, 246, 259, 261, 309, 357, 405, 407, 434, 457, 460, 463, 466, 489] [47, 61, 98, 112, 169, 177, 190, 202, 214, 226, 239, 247, 260, 262, 310, 358, 406, 408, 435, 458, 461, 464, 467, 490] [48, 62, 99, 113, 170, 178, 191, 203, 215, 227, 240, 248, 261, 263, 311, 359, 407, 409, 436, 459, 462, 465, 468, 491] [49, 63, 100, 114, 171, 179, 192, 204, 216, 228, 241, 249, 262, 264, 312, 360, 408, 410, 437, 460, 463, 466, 469, 492] [50, 64, 101, 115, 172, 180, 193, 205, 217, 229, 242, 250, 263, 265, 313, 361, 409, 411, 438, 461, 464, 467, 470, 493] [51, 65, 102, 116, 173, 181, 194, 206, 218, 230, 243, 251, 264, 266, 314, 362, 410, 412, 439, 462, 465, 468, 471, 494] [52, 66, 103, 117, 174, 182, 195, 207, 219, 231, 244, 252, 265, 267, 315, 363, 411, 413, 440, 463, 466, 469, 472, 495] [53, 67, 104, 118, 175, 183, 196, 208, 220, 232, 245, 253, 266, 268, 316, 364, 412, 414, 441, 464, 467, 470, 473, 496] [54, 68, 105, 119, 176, 184, 197, 209, 221, 233, 246, 254, 267, 269, 317, 365, 413, 415, 442, 465, 468, 471, 474, 497] [55, 69, 106, 120, 177, 185, 198, 210, 222, 234, 247, 255, 268, 270, 318, 366, 414, 416, 443, 466, 469, 472, 475, 498] [56, 70, 107, 121, 178, 186, 199, 211, 223, 235, 248, 256, 269, 271, 319, 367, 415, 417, 444, 467, 470, 473, 476, 499] [0, 57, 71, 108, 122, 179, 187, 200, 212, 224, 236, 249, 270, 272, 320, 368, 416, 418, 445, 468, 471, 474, 477, 500] [1, 58, 72, 109, 123, 180, 188, 201, 213, 225, 237, 250, 271, 273, 321, 369, 417, 419, 446, 469, 472, 475, 478, 501] [2, 59, 73, 110, 124, 181, 189, 202, 214, 226, 238, 251, 272, 274, 322, 370, 418, 420, 447, 470, 473, 476, 479, 502] [3, 60, 74, 111, 125, 182, 190, 203, 215, 227, 239, 252, 273, 275, 323, 371, 419, 421, 448, 471, 474, 477, 480, 503] [4, 61, 75, 112, 126, 183, 191, 204, 216, 228, 240, 253, 274, 276, 324, 372, 420, 422, 449, 472, 475, 478, 481, 504] [5, 62, 76, 113, 127, 184, 192, 205, 217, 229, 241, 254, 275, 277, 325, 373, 421, 423, 450, 473, 476, 479, 482, 505] [6, 63, 77, 114, 128, 185, 193, 206, 218, 230, 242, 255, 276, 278, 326, 374, 422, 424, 451, 474, 477, 480, 483, 506] [7, 64, 78, 115, 129, 186, 194, 207, 219, 231, 243, 256, 277, 279, 327, 375, 423, 425, 452, 475, 478, 481, 484, 507] [0, 8, 65, 79, 116, 130, 187, 195, 208, 220, 232, 244, 278, 280, 328, 376, 424, 426, 453, 476, 479, 482, 485, 508] [1, 9, 66, 80, 117, 131, 188, 196, 209, 221, 233, 245, 279, 281, 329, 377, 425, 427, 454, 477, 480, 483, 486, 509] [2, 10, 67, 81, 118, 132, 189, 197, 210, 222, 234, 246, 280, 282, 330, 378, 426, 428, 455, 478, 481, 484, 487, 510] [3, 11, 68, 82, 119, 133, 190, 198, 211, 223, 235, 247, 281, 283, 331, 379, 427, 429, 456, 479, 482, 485, 488, 511] [4, 12, 69, 83, 120, 134, 191, 199, 212, 224, 236, 248, 282, 284, 332, 380, 428, 430, 457, 480, 483, 486, 489, 512] [5, 13, 70, 84, 121, 135, 192, 200, 213, 225, 237, 249, 283, 285, 333, 381, 429, 431, 458, 481, 484, 487, 490, 513] [6, 14, 71, 85, 122, 136, 193, 201, 214, 226, 238, 250, 257, 284, 286, 334, 382, 430, 432, 459, 482, 485, 488, 491] [7, 15, 72, 86, 123, 137, 194, 202, 215, 227, 239, 251, 258, 285, 287, 335, 383, 431, 433, 460, 483, 486, 489, 492] [8, 16, 73, 87, 124, 138, 195, 203, 216, 228, 240, 252, 259, 286, 288, 336, 384, 432, 434, 461, 484, 487, 490, 493] [9, 17, 74, 88, 125, 139, 196, 204, 217, 229, 241, 253, 260, 287, 289, 337, 385, 433, 435, 462, 485, 488, 491, 494] [10, 18, 75, 89, 126, 140, 197, 205, 218, 230, 242, 254, 261, 288, 290, 338, 386, 434, 436, 463, 486, 489, 492, 495] [11, 19, 76, 90, 127, 141, 198, 206, 219, 231, 243, 255, 262, 289, 291, 339, 387, 435, 437, 464, 487, 490, 493, 496] [12, 20, 77, 91, 128, 142, 199, 207, 220, 232, 244, 256, 263, 290, 292, 340, 388, 436, 438, 465, 488, 491, 494, 497] [0, 13, 21, 78, 92, 129, 143, 200, 208, 221, 233, 245, 264, 291, 293, 341, 389, 437, 439, 466, 489, 492, 495, 498] [1, 14, 22, 79, 93, 130, 144, 201, 209, 222, 234, 246, 265, 292, 294, 342, 390, 438, 440, 467, 490, 493, 496, 499] [2, 15, 23, 80, 94, 131, 145, 202, 210, 223, 235, 247, 266, 293, 295, 343, 391, 439, 441, 468, 491, 494, 497, 500] [3, 16, 24, 81, 95, 132, 146, 203, 211, 224, 236, 248, 267, 294, 296, 344, 392, 440, 442, 469, 492, 495, 498, 501] [4, 17, 25, 82, 96, 133, 147, 204, 212, 225, 237, 249, 268, 295, 297, 345, 393, 441, 443, 470, 493, 496, 499, 502] [5, 18, 26, 83, 97, 134, 148, 205, 213, 226, 238, 250, 269, 296, 298, 346, 394, 442, 444, 471, 494, 497, 500, 503] [6, 19, 27, 84, 98, 135, 149, 206, 214, 227, 239, 251, 270, 297, 299, 347, 395, 443, 445, 472, 495, 498, 501, 504] [7, 20, 28, 85, 99, 136, 150, 207, 215, 228, 240, 252, 271, 298, 300, 348, 396, 444, 446, 473, 496, 499, 502, 505] [8, 21, 29, 86, 100, 137, 151, 208, 216, 229, 241, 253, 272, 299, 301, 349, 397, 445, 447, 474, 497, 500, 503, 506] [9, 22, 30, 87, 101, 138, 152, 209, 217, 230, 242, 254, 273, 300, 302, 350, 398, 446, 448, 475, 498, 501, 504, 507] [10, 23, 31, 88, 102, 139, 153, 210, 218, 231, 243, 255, 274, 301, 303, 351, 399, 447, 449, 476, 499, 502, 505, 508] [11, 24, 32, 89, 103, 140, 154, 211, 219, 232, 244, 256, 275, 302, 304, 352, 400, 448, 450, 477, 500, 503, 506, 509] [0, 12, 25, 33, 90, 104, 141, 155, 212, 220, 233, 245, 276, 303, 305, 353, 401, 449, 451, 478, 501, 504, 507, 510] [1, 13, 26, 34, 91, 105, 142, 156, 213, 221, 234, 246, 277, 304, 306, 354, 402, 450, 452, 479, 502, 505, 508, 511] [2, 14, 27, 35, 92, 106, 143, 157, 214, 222, 235, 247, 278, 305, 307, 355, 403, 451, 453, 480, 503, 506, 509, 512] [3, 15, 28, 36, 93, 107, 144, 158, 215, 223, 236, 248, 279, 306, 308, 356, 404, 452, 454, 481, 504, 507, 510, 513] [4, 16, 29, 37, 94, 108, 145, 159, 216, 224, 237, 249, 257, 280, 307, 309, 357, 405, 453, 455, 482, 505, 508, 511] [5, 17, 30, 38, 95, 109, 146, 160, 217, 225, 238, 250, 258, 281, 308, 310, 358, 406, 454, 456, 483, 506, 509, 512] [6, 18, 31, 39, 96, 110, 147, 161, 218, 226, 239, 251, 259, 282, 309, 311, 359, 407, 455, 457, 484, 507, 510, 513] [7, 19, 32, 40, 97, 111, 148, 162, 219, 227, 240, 252, 257, 260, 283, 310, 312, 360, 408, 456, 458, 485, 508, 511] [8, 20, 33, 41, 98, 112, 149, 163, 220, 228, 241, 253, 258, 261, 284, 311, 313, 361, 409, 457, 459, 486, 509, 512] [9, 21, 34, 42, 99, 113, 150, 164, 221, 229, 242, 254, 259, 262, 285, 312, 314, 362, 410, 458, 460, 487, 510, 513] [10, 22, 35, 43, 100, 114, 151, 165, 222, 230, 243, 255, 257, 260, 263, 286, 313, 315, 363, 411, 459, 461, 488, 511] [11, 23, 36, 44, 101, 115, 152, 166, 223, 231, 244, 256, 258, 261, 264, 287, 314, 316, 364, 412, 460, 462, 489, 512] [0, 12, 24, 37, 45, 102, 116, 153, 167, 224, 232, 245, 259, 262, 265, 288, 315, 317, 365, 413, 461, 463, 490, 513] [1, 13, 25, 38, 46, 103, 117, 154, 168, 225, 233, 246, 257, 260, 263, 266, 289, 316, 318, 366, 414, 462, 464, 491] [2, 14, 26, 39, 47, 104, 118, 155, 169, 226, 234, 247, 258, 261, 264, 267, 290, 317, 319, 367, 415, 463, 465, 492] [3, 15, 27, 40, 48, 105, 119, 156, 170, 227, 235, 248, 259, 262, 265, 268, 291, 318, 320, 368, 416, 464, 466, 493] [4, 16, 28, 41, 49, 106, 120, 157, 171, 228, 236, 249, 260, 263, 266, 269, 292, 319, 321, 369, 417, 465, 467, 494] [5, 17, 29, 42, 50, 107, 121, 158, 172, 229, 237, 250, 261, 264, 267, 270, 293, 320, 322, 370, 418, 466, 468, 495] [6, 18, 30, 43, 51, 108, 122, 159, 173, 230, 238, 251, 262, 265, 268, 271, 294, 321, 323, 371, 419, 467, 469, 496]
Code ID 514-162-29 · download JSON · raw on GitHub