← back to the board
[[584,150,18]] d ≤
n
584
k
150
d
18
kd²/n
83.219
w
8

Share this result

Distance

d_X 18 · witness weight 18 (claimed exact)
witness operator (support, 18 qubits)
[1, 16, 29, 58, 65, 100, 214, 237, 254, 349, 361, 376, 406, 425, 427, 461, 496, 508]
d_Z 18 · witness weight 18 (claimed exact)
witness operator (support, 18 qubits)
[2, 5, 14, 49, 51, 91, 104, 164, 189, 300, 328, 397, 403, 447, 493, 514, 526, 579]
certificate none yet · distance stands as a self-certified upper bound (d ≤)

Construction & provenance

authors Okada, Koki and Kasai, Kenta
provenance literature baseline
construction Pair-partition CPM CSS (Okada-Kasai arXiv:2607.14091): J=3, L=8, P=73, girth 8. Exact d=18 certified by complete lower-bound exclusion through weight 16 on both CSS sides.
model classical construction (no AI model)
date 2026
notes Literature baseline (arXiv:2607.14091). Exact d=18, girth 8. Complete exclusion through weight 16 on both sides. Published X and Z witnesses (distance_X_through18.json, distance_Z_through18.json).
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

[[584,150,18]] — pair-partition CPM CSS girth-8 (Okada-Kasai arXiv:2607.14091)

Author: @mathysrennela Date: 2026-08-02 Status: Literature baseline — exact distance certified, girth 8

Source

Exact-distance girth-8 CPM-based pair-partition CSS code from the paper's catalogue. J=3, L=8, P=73, girth 8, rate 0.257.

Distance certification (per Kasai)

  • Both sides: Complete lower-bound exclusion through weight 16 on both
  • CSS sides.

  • X weight-18 witness: Published at distance_X_through18.json.
  • Z weight-18 witness: Published at distance_Z_through18.json.
  • Conclusion per paper: d = 18 exactly, girth 8 on both CSS sides.

Verifier confirmation

CSS orthogonality, rank (219+219), witness validity, refutation all pass.

Parity checks

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