← back to the board
[[492,170,20]] d ≤
n
492
k
170
d
20
kd²/n
138.211
w
12

Share this result

Distance

d_X 20 · witness weight 20 (claimed exact)
witness operator (support, 20 qubits)
[1, 16, 54, 126, 131, 134, 244, 265, 282, 288, 300, 301, 322, 337, 354, 367, 395, 441, 467, 485]
d_Z 20 · witness weight 20 (claimed exact)
witness operator (support, 20 qubits)
[5, 12, 34, 49, 52, 70, 77, 106, 107, 119, 138, 146, 175, 269, 276, 341, 370, 403, 432, 453]
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=4, L=12, P=41, girth 6. Exact d=20 certified by 1362 hybrid second/third-branch certificates and verified X/Z involution.
model classical construction (no AI model)
reference arXiv:2607.14091
date 2026
notes Literature baseline (arXiv:2607.14091). Exact d=20: 1330 second-branch + 32 third-branch certificates exclude through weight 18; verified X/Z involution. Published X (X_w20_witness_search.json) and Z (Z_w20_mapped_witness.json) witnesses.
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

[[492,170,20]] — pair-partition CPM CSS (Okada-Kasai arXiv:2607.14091)

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

Source

Exact-distance CPM-based pair-partition CSS code from the paper's catalogue. J=4, L=12, P=41, girth 6, rate 0.346.

Distance certification (per Kasai)

  • X side: 1362 hybrid certificates (1330 second-branch + 32 third-branch)

    • completely exclude through weight 18.

  • X weight-20 witness: Published at X_w20_witness_search.json.
  • Z side: Verified X/Z involution maps X exclusion to Z side. Published

    • at Z_w20_mapped_witness.json.

  • Conclusion per paper: d = 20 exactly on both CSS sides.

Verifier confirmation

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

Parity checks

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