{ "schema_version": "0.1", "name": "[[452,228,2]] periodic bivariate-bicycle on Z_2 x Z_113", "code_type": "CSS", "n": 452, "k": 228, "checks": { "X": [ [ 0, 23, 113, 136, 226, 242, 339, 355 ], [ 1, 24, 114, 137, 227, 243, 340, 356 ], [ 2, 25, 115, 138, 228, 244, 341, 357 ], [ 3, 26, 116, 139, 229, 245, 342, 358 ], [ 4, 27, 117, 140, 230, 246, 343, 359 ], [ 5, 28, 118, 141, 231, 247, 344, 360 ], [ 6, 29, 119, 142, 232, 248, 345, 361 ], [ 7, 30, 120, 143, 233, 249, 346, 362 ], [ 8, 31, 121, 144, 234, 250, 347, 363 ], [ 9, 32, 122, 145, 235, 251, 348, 364 ], [ 10, 33, 123, 146, 236, 252, 349, 365 ], [ 11, 34, 124, 147, 237, 253, 350, 366 ], [ 12, 35, 125, 148, 238, 254, 351, 367 ], [ 13, 36, 126, 149, 239, 255, 352, 368 ], [ 14, 37, 127, 150, 240, 256, 353, 369 ], [ 15, 38, 128, 151, 241, 257, 354, 370 ], [ 16, 39, 129, 152, 242, 258, 355, 371 ], [ 17, 40, 130, 153, 243, 259, 356, 372 ], [ 18, 41, 131, 154, 244, 260, 357, 373 ], [ 19, 42, 132, 155, 245, 261, 358, 374 ], [ 20, 43, 133, 156, 246, 262, 359, 375 ], [ 21, 44, 134, 157, 247, 263, 360, 376 ], [ 22, 45, 135, 158, 248, 264, 361, 377 ], [ 23, 46, 136, 159, 249, 265, 362, 378 ], [ 24, 47, 137, 160, 250, 266, 363, 379 ], [ 25, 48, 138, 161, 251, 267, 364, 380 ], [ 26, 49, 139, 162, 252, 268, 365, 381 ], [ 27, 50, 140, 163, 253, 269, 366, 382 ], [ 28, 51, 141, 164, 254, 270, 367, 383 ], [ 29, 52, 142, 165, 255, 271, 368, 384 ], [ 30, 53, 143, 166, 256, 272, 369, 385 ], [ 31, 54, 144, 167, 257, 273, 370, 386 ], [ 32, 55, 145, 168, 258, 274, 371, 387 ], [ 33, 56, 146, 169, 259, 275, 372, 388 ], [ 34, 57, 147, 170, 260, 276, 373, 389 ], [ 35, 58, 148, 171, 261, 277, 374, 390 ], [ 36, 59, 149, 172, 262, 278, 375, 391 ], [ 37, 60, 150, 173, 263, 279, 376, 392 ], [ 38, 61, 151, 174, 264, 280, 377, 393 ], [ 39, 62, 152, 175, 265, 281, 378, 394 ], [ 40, 63, 153, 176, 266, 282, 379, 395 ], [ 41, 64, 154, 177, 267, 283, 380, 396 ], [ 42, 65, 155, 178, 268, 284, 381, 397 ], [ 43, 66, 156, 179, 269, 285, 382, 398 ], [ 44, 67, 157, 180, 270, 286, 383, 399 ], [ 45, 68, 158, 181, 271, 287, 384, 400 ], [ 46, 69, 159, 182, 272, 288, 385, 401 ], [ 47, 70, 160, 183, 273, 289, 386, 402 ], [ 48, 71, 161, 184, 274, 290, 387, 403 ], [ 49, 72, 162, 185, 275, 291, 388, 404 ], [ 50, 73, 163, 186, 276, 292, 389, 405 ], [ 51, 74, 164, 187, 277, 293, 390, 406 ], [ 52, 75, 165, 188, 278, 294, 391, 407 ], [ 53, 76, 166, 189, 279, 295, 392, 408 ], [ 54, 77, 167, 190, 280, 296, 393, 409 ], [ 55, 78, 168, 191, 281, 297, 394, 410 ], [ 56, 79, 169, 192, 282, 298, 395, 411 ], [ 57, 80, 170, 193, 283, 299, 396, 412 ], [ 58, 81, 171, 194, 284, 300, 397, 413 ], [ 59, 82, 172, 195, 285, 301, 398, 414 ], [ 60, 83, 173, 196, 286, 302, 399, 415 ], [ 61, 84, 174, 197, 287, 303, 400, 416 ], [ 62, 85, 175, 198, 288, 304, 401, 417 ], [ 63, 86, 176, 199, 289, 305, 402, 418 ], [ 64, 87, 177, 200, 290, 306, 403, 419 ], [ 65, 88, 178, 201, 291, 307, 404, 420 ], [ 66, 89, 179, 202, 292, 308, 405, 421 ], [ 67, 90, 180, 203, 293, 309, 406, 422 ], [ 68, 91, 181, 204, 294, 310, 407, 423 ], [ 69, 92, 182, 205, 295, 311, 408, 424 ], [ 70, 93, 183, 206, 296, 312, 409, 425 ], [ 71, 94, 184, 207, 297, 313, 410, 426 ], [ 72, 95, 185, 208, 298, 314, 411, 427 ], [ 73, 96, 186, 209, 299, 315, 412, 428 ], [ 74, 97, 187, 210, 300, 316, 413, 429 ], [ 75, 98, 188, 211, 301, 317, 414, 430 ], [ 76, 99, 189, 212, 302, 318, 415, 431 ], [ 77, 100, 190, 213, 303, 319, 416, 432 ], [ 78, 101, 191, 214, 304, 320, 417, 433 ], [ 79, 102, 192, 215, 305, 321, 418, 434 ], [ 80, 103, 193, 216, 306, 322, 419, 435 ], [ 81, 104, 194, 217, 307, 323, 420, 436 ], [ 82, 105, 195, 218, 308, 324, 421, 437 ], [ 83, 106, 196, 219, 309, 325, 422, 438 ], [ 84, 107, 197, 220, 310, 326, 423, 439 ], [ 85, 108, 198, 221, 311, 327, 424, 440 ], [ 86, 109, 199, 222, 312, 328, 425, 441 ], [ 87, 110, 200, 223, 313, 329, 426, 442 ], [ 88, 111, 201, 224, 314, 330, 427, 443 ], [ 89, 112, 202, 225, 315, 331, 428, 444 ], [ 0, 90, 113, 203, 316, 332, 429, 445 ], [ 1, 91, 114, 204, 317, 333, 430, 446 ], [ 2, 92, 115, 205, 318, 334, 431, 447 ], [ 3, 93, 116, 206, 319, 335, 432, 448 ], [ 4, 94, 117, 207, 320, 336, 433, 449 ], [ 5, 95, 118, 208, 321, 337, 434, 450 ], [ 6, 96, 119, 209, 322, 338, 435, 451 ], [ 7, 97, 120, 210, 226, 323, 339, 436 ], [ 8, 98, 121, 211, 227, 324, 340, 437 ], [ 9, 99, 122, 212, 228, 325, 341, 438 ], [ 10, 100, 123, 213, 229, 326, 342, 439 ], [ 11, 101, 124, 214, 230, 327, 343, 440 ], [ 12, 102, 125, 215, 231, 328, 344, 441 ], [ 13, 103, 126, 216, 232, 329, 345, 442 ], [ 14, 104, 127, 217, 233, 330, 346, 443 ], [ 15, 105, 128, 218, 234, 331, 347, 444 ], [ 16, 106, 129, 219, 235, 332, 348, 445 ], [ 17, 107, 130, 220, 236, 333, 349, 446 ], [ 18, 108, 131, 221, 237, 334, 350, 447 ], [ 19, 109, 132, 222, 238, 335, 351, 448 ], [ 20, 110, 133, 223, 239, 336, 352, 449 ], [ 21, 111, 134, 224, 240, 337, 353, 450 ], [ 22, 112, 135, 225, 241, 338, 354, 451 ], [ 0, 23, 113, 136, 226, 242, 339, 355 ], [ 1, 24, 114, 137, 227, 243, 340, 356 ], [ 2, 25, 115, 138, 228, 244, 341, 357 ], [ 3, 26, 116, 139, 229, 245, 342, 358 ], [ 4, 27, 117, 140, 230, 246, 343, 359 ], [ 5, 28, 118, 141, 231, 247, 344, 360 ], [ 6, 29, 119, 142, 232, 248, 345, 361 ], [ 7, 30, 120, 143, 233, 249, 346, 362 ], [ 8, 31, 121, 144, 234, 250, 347, 363 ], [ 9, 32, 122, 145, 235, 251, 348, 364 ], [ 10, 33, 123, 146, 236, 252, 349, 365 ], [ 11, 34, 124, 147, 237, 253, 350, 366 ], [ 12, 35, 125, 148, 238, 254, 351, 367 ], [ 13, 36, 126, 149, 239, 255, 352, 368 ], [ 14, 37, 127, 150, 240, 256, 353, 369 ], [ 15, 38, 128, 151, 241, 257, 354, 370 ], [ 16, 39, 129, 152, 242, 258, 355, 371 ], [ 17, 40, 130, 153, 243, 259, 356, 372 ], [ 18, 41, 131, 154, 244, 260, 357, 373 ], [ 19, 42, 132, 155, 245, 261, 358, 374 ], [ 20, 43, 133, 156, 246, 262, 359, 375 ], [ 21, 44, 134, 157, 247, 263, 360, 376 ], [ 22, 45, 135, 158, 248, 264, 361, 377 ], [ 23, 46, 136, 159, 249, 265, 362, 378 ], [ 24, 47, 137, 160, 250, 266, 363, 379 ], [ 25, 48, 138, 161, 251, 267, 364, 380 ], [ 26, 49, 139, 162, 252, 268, 365, 381 ], [ 27, 50, 140, 163, 253, 269, 366, 382 ], [ 28, 51, 141, 164, 254, 270, 367, 383 ], [ 29, 52, 142, 165, 255, 271, 368, 384 ], [ 30, 53, 143, 166, 256, 272, 369, 385 ], [ 31, 54, 144, 167, 257, 273, 370, 386 ], [ 32, 55, 145, 168, 258, 274, 371, 387 ], [ 33, 56, 146, 169, 259, 275, 372, 388 ], [ 34, 57, 147, 170, 260, 276, 373, 389 ], [ 35, 58, 148, 171, 261, 277, 374, 390 ], [ 36, 59, 149, 172, 262, 278, 375, 391 ], [ 37, 60, 150, 173, 263, 279, 376, 392 ], [ 38, 61, 151, 174, 264, 280, 377, 393 ], [ 39, 62, 152, 175, 265, 281, 378, 394 ], [ 40, 63, 153, 176, 266, 282, 379, 395 ], [ 41, 64, 154, 177, 267, 283, 380, 396 ], [ 42, 65, 155, 178, 268, 284, 381, 397 ], [ 43, 66, 156, 179, 269, 285, 382, 398 ], [ 44, 67, 157, 180, 270, 286, 383, 399 ], [ 45, 68, 158, 181, 271, 287, 384, 400 ], [ 46, 69, 159, 182, 272, 288, 385, 401 ], [ 47, 70, 160, 183, 273, 289, 386, 402 ], [ 48, 71, 161, 184, 274, 290, 387, 403 ], [ 49, 72, 162, 185, 275, 291, 388, 404 ], [ 50, 73, 163, 186, 276, 292, 389, 405 ], [ 51, 74, 164, 187, 277, 293, 390, 406 ], [ 52, 75, 165, 188, 278, 294, 391, 407 ], [ 53, 76, 166, 189, 279, 295, 392, 408 ], [ 54, 77, 167, 190, 280, 296, 393, 409 ], [ 55, 78, 168, 191, 281, 297, 394, 410 ], [ 56, 79, 169, 192, 282, 298, 395, 411 ], [ 57, 80, 170, 193, 283, 299, 396, 412 ], [ 58, 81, 171, 194, 284, 300, 397, 413 ], [ 59, 82, 172, 195, 285, 301, 398, 414 ], [ 60, 83, 173, 196, 286, 302, 399, 415 ], [ 61, 84, 174, 197, 287, 303, 400, 416 ], [ 62, 85, 175, 198, 288, 304, 401, 417 ], [ 63, 86, 176, 199, 289, 305, 402, 418 ], [ 64, 87, 177, 200, 290, 306, 403, 419 ], [ 65, 88, 178, 201, 291, 307, 404, 420 ], [ 66, 89, 179, 202, 292, 308, 405, 421 ], [ 67, 90, 180, 203, 293, 309, 406, 422 ], [ 68, 91, 181, 204, 294, 310, 407, 423 ], [ 69, 92, 182, 205, 295, 311, 408, 424 ], [ 70, 93, 183, 206, 296, 312, 409, 425 ], [ 71, 94, 184, 207, 297, 313, 410, 426 ], [ 72, 95, 185, 208, 298, 314, 411, 427 ], [ 73, 96, 186, 209, 299, 315, 412, 428 ], [ 74, 97, 187, 210, 300, 316, 413, 429 ], [ 75, 98, 188, 211, 301, 317, 414, 430 ], [ 76, 99, 189, 212, 302, 318, 415, 431 ], [ 77, 100, 190, 213, 303, 319, 416, 432 ], [ 78, 101, 191, 214, 304, 320, 417, 433 ], [ 79, 102, 192, 215, 305, 321, 418, 434 ], [ 80, 103, 193, 216, 306, 322, 419, 435 ], [ 81, 104, 194, 217, 307, 323, 420, 436 ], [ 82, 105, 195, 218, 308, 324, 421, 437 ], [ 83, 106, 196, 219, 309, 325, 422, 438 ], [ 84, 107, 197, 220, 310, 326, 423, 439 ], [ 85, 108, 198, 221, 311, 327, 424, 440 ], [ 86, 109, 199, 222, 312, 328, 425, 441 ], [ 87, 110, 200, 223, 313, 329, 426, 442 ], [ 88, 111, 201, 224, 314, 330, 427, 443 ], [ 89, 112, 202, 225, 315, 331, 428, 444 ], [ 0, 90, 113, 203, 316, 332, 429, 445 ], [ 1, 91, 114, 204, 317, 333, 430, 446 ], [ 2, 92, 115, 205, 318, 334, 431, 447 ], [ 3, 93, 116, 206, 319, 335, 432, 448 ], [ 4, 94, 117, 207, 320, 336, 433, 449 ], [ 5, 95, 118, 208, 321, 337, 434, 450 ], [ 6, 96, 119, 209, 322, 338, 435, 451 ], [ 7, 97, 120, 210, 226, 323, 339, 436 ], [ 8, 98, 121, 211, 227, 324, 340, 437 ], [ 9, 99, 122, 212, 228, 325, 341, 438 ], [ 10, 100, 123, 213, 229, 326, 342, 439 ], [ 11, 101, 124, 214, 230, 327, 343, 440 ], [ 12, 102, 125, 215, 231, 328, 344, 441 ], [ 13, 103, 126, 216, 232, 329, 345, 442 ], [ 14, 104, 127, 217, 233, 330, 346, 443 ], [ 15, 105, 128, 218, 234, 331, 347, 444 ], [ 16, 106, 129, 219, 235, 332, 348, 445 ], [ 17, 107, 130, 220, 236, 333, 349, 446 ], [ 18, 108, 131, 221, 237, 334, 350, 447 ], [ 19, 109, 132, 222, 238, 335, 351, 448 ], [ 20, 110, 133, 223, 239, 336, 352, 449 ], [ 21, 111, 134, 224, 240, 337, 353, 450 ], [ 22, 112, 135, 225, 241, 338, 354, 451 ] ], "Z": [ [ 0, 97, 113, 210, 226, 316, 339, 429 ], [ 1, 98, 114, 211, 227, 317, 340, 430 ], [ 2, 99, 115, 212, 228, 318, 341, 431 ], [ 3, 100, 116, 213, 229, 319, 342, 432 ], [ 4, 101, 117, 214, 230, 320, 343, 433 ], [ 5, 102, 118, 215, 231, 321, 344, 434 ], [ 6, 103, 119, 216, 232, 322, 345, 435 ], [ 7, 104, 120, 217, 233, 323, 346, 436 ], [ 8, 105, 121, 218, 234, 324, 347, 437 ], [ 9, 106, 122, 219, 235, 325, 348, 438 ], [ 10, 107, 123, 220, 236, 326, 349, 439 ], [ 11, 108, 124, 221, 237, 327, 350, 440 ], [ 12, 109, 125, 222, 238, 328, 351, 441 ], [ 13, 110, 126, 223, 239, 329, 352, 442 ], [ 14, 111, 127, 224, 240, 330, 353, 443 ], [ 15, 112, 128, 225, 241, 331, 354, 444 ], [ 0, 16, 113, 129, 242, 332, 355, 445 ], [ 1, 17, 114, 130, 243, 333, 356, 446 ], [ 2, 18, 115, 131, 244, 334, 357, 447 ], [ 3, 19, 116, 132, 245, 335, 358, 448 ], [ 4, 20, 117, 133, 246, 336, 359, 449 ], [ 5, 21, 118, 134, 247, 337, 360, 450 ], [ 6, 22, 119, 135, 248, 338, 361, 451 ], [ 7, 23, 120, 136, 226, 249, 339, 362 ], [ 8, 24, 121, 137, 227, 250, 340, 363 ], [ 9, 25, 122, 138, 228, 251, 341, 364 ], [ 10, 26, 123, 139, 229, 252, 342, 365 ], [ 11, 27, 124, 140, 230, 253, 343, 366 ], [ 12, 28, 125, 141, 231, 254, 344, 367 ], [ 13, 29, 126, 142, 232, 255, 345, 368 ], [ 14, 30, 127, 143, 233, 256, 346, 369 ], [ 15, 31, 128, 144, 234, 257, 347, 370 ], [ 16, 32, 129, 145, 235, 258, 348, 371 ], [ 17, 33, 130, 146, 236, 259, 349, 372 ], [ 18, 34, 131, 147, 237, 260, 350, 373 ], [ 19, 35, 132, 148, 238, 261, 351, 374 ], [ 20, 36, 133, 149, 239, 262, 352, 375 ], [ 21, 37, 134, 150, 240, 263, 353, 376 ], [ 22, 38, 135, 151, 241, 264, 354, 377 ], [ 23, 39, 136, 152, 242, 265, 355, 378 ], [ 24, 40, 137, 153, 243, 266, 356, 379 ], [ 25, 41, 138, 154, 244, 267, 357, 380 ], [ 26, 42, 139, 155, 245, 268, 358, 381 ], [ 27, 43, 140, 156, 246, 269, 359, 382 ], [ 28, 44, 141, 157, 247, 270, 360, 383 ], [ 29, 45, 142, 158, 248, 271, 361, 384 ], [ 30, 46, 143, 159, 249, 272, 362, 385 ], [ 31, 47, 144, 160, 250, 273, 363, 386 ], [ 32, 48, 145, 161, 251, 274, 364, 387 ], [ 33, 49, 146, 162, 252, 275, 365, 388 ], [ 34, 50, 147, 163, 253, 276, 366, 389 ], [ 35, 51, 148, 164, 254, 277, 367, 390 ], [ 36, 52, 149, 165, 255, 278, 368, 391 ], [ 37, 53, 150, 166, 256, 279, 369, 392 ], [ 38, 54, 151, 167, 257, 280, 370, 393 ], [ 39, 55, 152, 168, 258, 281, 371, 394 ], [ 40, 56, 153, 169, 259, 282, 372, 395 ], [ 41, 57, 154, 170, 260, 283, 373, 396 ], [ 42, 58, 155, 171, 261, 284, 374, 397 ], [ 43, 59, 156, 172, 262, 285, 375, 398 ], [ 44, 60, 157, 173, 263, 286, 376, 399 ], [ 45, 61, 158, 174, 264, 287, 377, 400 ], [ 46, 62, 159, 175, 265, 288, 378, 401 ], [ 47, 63, 160, 176, 266, 289, 379, 402 ], [ 48, 64, 161, 177, 267, 290, 380, 403 ], [ 49, 65, 162, 178, 268, 291, 381, 404 ], [ 50, 66, 163, 179, 269, 292, 382, 405 ], [ 51, 67, 164, 180, 270, 293, 383, 406 ], [ 52, 68, 165, 181, 271, 294, 384, 407 ], [ 53, 69, 166, 182, 272, 295, 385, 408 ], [ 54, 70, 167, 183, 273, 296, 386, 409 ], [ 55, 71, 168, 184, 274, 297, 387, 410 ], [ 56, 72, 169, 185, 275, 298, 388, 411 ], [ 57, 73, 170, 186, 276, 299, 389, 412 ], [ 58, 74, 171, 187, 277, 300, 390, 413 ], [ 59, 75, 172, 188, 278, 301, 391, 414 ], [ 60, 76, 173, 189, 279, 302, 392, 415 ], [ 61, 77, 174, 190, 280, 303, 393, 416 ], [ 62, 78, 175, 191, 281, 304, 394, 417 ], [ 63, 79, 176, 192, 282, 305, 395, 418 ], [ 64, 80, 177, 193, 283, 306, 396, 419 ], [ 65, 81, 178, 194, 284, 307, 397, 420 ], [ 66, 82, 179, 195, 285, 308, 398, 421 ], [ 67, 83, 180, 196, 286, 309, 399, 422 ], [ 68, 84, 181, 197, 287, 310, 400, 423 ], [ 69, 85, 182, 198, 288, 311, 401, 424 ], [ 70, 86, 183, 199, 289, 312, 402, 425 ], [ 71, 87, 184, 200, 290, 313, 403, 426 ], [ 72, 88, 185, 201, 291, 314, 404, 427 ], [ 73, 89, 186, 202, 292, 315, 405, 428 ], [ 74, 90, 187, 203, 293, 316, 406, 429 ], [ 75, 91, 188, 204, 294, 317, 407, 430 ], [ 76, 92, 189, 205, 295, 318, 408, 431 ], [ 77, 93, 190, 206, 296, 319, 409, 432 ], [ 78, 94, 191, 207, 297, 320, 410, 433 ], [ 79, 95, 192, 208, 298, 321, 411, 434 ], [ 80, 96, 193, 209, 299, 322, 412, 435 ], [ 81, 97, 194, 210, 300, 323, 413, 436 ], [ 82, 98, 195, 211, 301, 324, 414, 437 ], [ 83, 99, 196, 212, 302, 325, 415, 438 ], [ 84, 100, 197, 213, 303, 326, 416, 439 ], [ 85, 101, 198, 214, 304, 327, 417, 440 ], [ 86, 102, 199, 215, 305, 328, 418, 441 ], [ 87, 103, 200, 216, 306, 329, 419, 442 ], [ 88, 104, 201, 217, 307, 330, 420, 443 ], [ 89, 105, 202, 218, 308, 331, 421, 444 ], [ 90, 106, 203, 219, 309, 332, 422, 445 ], [ 91, 107, 204, 220, 310, 333, 423, 446 ], [ 92, 108, 205, 221, 311, 334, 424, 447 ], [ 93, 109, 206, 222, 312, 335, 425, 448 ], [ 94, 110, 207, 223, 313, 336, 426, 449 ], [ 95, 111, 208, 224, 314, 337, 427, 450 ], [ 96, 112, 209, 225, 315, 338, 428, 451 ], [ 0, 97, 113, 210, 226, 316, 339, 429 ], [ 1, 98, 114, 211, 227, 317, 340, 430 ], [ 2, 99, 115, 212, 228, 318, 341, 431 ], [ 3, 100, 116, 213, 229, 319, 342, 432 ], [ 4, 101, 117, 214, 230, 320, 343, 433 ], [ 5, 102, 118, 215, 231, 321, 344, 434 ], [ 6, 103, 119, 216, 232, 322, 345, 435 ], [ 7, 104, 120, 217, 233, 323, 346, 436 ], [ 8, 105, 121, 218, 234, 324, 347, 437 ], [ 9, 106, 122, 219, 235, 325, 348, 438 ], [ 10, 107, 123, 220, 236, 326, 349, 439 ], [ 11, 108, 124, 221, 237, 327, 350, 440 ], [ 12, 109, 125, 222, 238, 328, 351, 441 ], [ 13, 110, 126, 223, 239, 329, 352, 442 ], [ 14, 111, 127, 224, 240, 330, 353, 443 ], [ 15, 112, 128, 225, 241, 331, 354, 444 ], [ 0, 16, 113, 129, 242, 332, 355, 445 ], [ 1, 17, 114, 130, 243, 333, 356, 446 ], [ 2, 18, 115, 131, 244, 334, 357, 447 ], [ 3, 19, 116, 132, 245, 335, 358, 448 ], [ 4, 20, 117, 133, 246, 336, 359, 449 ], [ 5, 21, 118, 134, 247, 337, 360, 450 ], [ 6, 22, 119, 135, 248, 338, 361, 451 ], [ 7, 23, 120, 136, 226, 249, 339, 362 ], [ 8, 24, 121, 137, 227, 250, 340, 363 ], [ 9, 25, 122, 138, 228, 251, 341, 364 ], [ 10, 26, 123, 139, 229, 252, 342, 365 ], [ 11, 27, 124, 140, 230, 253, 343, 366 ], [ 12, 28, 125, 141, 231, 254, 344, 367 ], [ 13, 29, 126, 142, 232, 255, 345, 368 ], [ 14, 30, 127, 143, 233, 256, 346, 369 ], [ 15, 31, 128, 144, 234, 257, 347, 370 ], [ 16, 32, 129, 145, 235, 258, 348, 371 ], [ 17, 33, 130, 146, 236, 259, 349, 372 ], [ 18, 34, 131, 147, 237, 260, 350, 373 ], [ 19, 35, 132, 148, 238, 261, 351, 374 ], [ 20, 36, 133, 149, 239, 262, 352, 375 ], [ 21, 37, 134, 150, 240, 263, 353, 376 ], [ 22, 38, 135, 151, 241, 264, 354, 377 ], [ 23, 39, 136, 152, 242, 265, 355, 378 ], [ 24, 40, 137, 153, 243, 266, 356, 379 ], [ 25, 41, 138, 154, 244, 267, 357, 380 ], [ 26, 42, 139, 155, 245, 268, 358, 381 ], [ 27, 43, 140, 156, 246, 269, 359, 382 ], [ 28, 44, 141, 157, 247, 270, 360, 383 ], [ 29, 45, 142, 158, 248, 271, 361, 384 ], [ 30, 46, 143, 159, 249, 272, 362, 385 ], [ 31, 47, 144, 160, 250, 273, 363, 386 ], [ 32, 48, 145, 161, 251, 274, 364, 387 ], [ 33, 49, 146, 162, 252, 275, 365, 388 ], [ 34, 50, 147, 163, 253, 276, 366, 389 ], [ 35, 51, 148, 164, 254, 277, 367, 390 ], [ 36, 52, 149, 165, 255, 278, 368, 391 ], [ 37, 53, 150, 166, 256, 279, 369, 392 ], [ 38, 54, 151, 167, 257, 280, 370, 393 ], [ 39, 55, 152, 168, 258, 281, 371, 394 ], [ 40, 56, 153, 169, 259, 282, 372, 395 ], [ 41, 57, 154, 170, 260, 283, 373, 396 ], [ 42, 58, 155, 171, 261, 284, 374, 397 ], [ 43, 59, 156, 172, 262, 285, 375, 398 ], [ 44, 60, 157, 173, 263, 286, 376, 399 ], [ 45, 61, 158, 174, 264, 287, 377, 400 ], [ 46, 62, 159, 175, 265, 288, 378, 401 ], [ 47, 63, 160, 176, 266, 289, 379, 402 ], [ 48, 64, 161, 177, 267, 290, 380, 403 ], [ 49, 65, 162, 178, 268, 291, 381, 404 ], [ 50, 66, 163, 179, 269, 292, 382, 405 ], [ 51, 67, 164, 180, 270, 293, 383, 406 ], [ 52, 68, 165, 181, 271, 294, 384, 407 ], [ 53, 69, 166, 182, 272, 295, 385, 408 ], [ 54, 70, 167, 183, 273, 296, 386, 409 ], [ 55, 71, 168, 184, 274, 297, 387, 410 ], [ 56, 72, 169, 185, 275, 298, 388, 411 ], [ 57, 73, 170, 186, 276, 299, 389, 412 ], [ 58, 74, 171, 187, 277, 300, 390, 413 ], [ 59, 75, 172, 188, 278, 301, 391, 414 ], [ 60, 76, 173, 189, 279, 302, 392, 415 ], [ 61, 77, 174, 190, 280, 303, 393, 416 ], [ 62, 78, 175, 191, 281, 304, 394, 417 ], [ 63, 79, 176, 192, 282, 305, 395, 418 ], [ 64, 80, 177, 193, 283, 306, 396, 419 ], [ 65, 81, 178, 194, 284, 307, 397, 420 ], [ 66, 82, 179, 195, 285, 308, 398, 421 ], [ 67, 83, 180, 196, 286, 309, 399, 422 ], [ 68, 84, 181, 197, 287, 310, 400, 423 ], [ 69, 85, 182, 198, 288, 311, 401, 424 ], [ 70, 86, 183, 199, 289, 312, 402, 425 ], [ 71, 87, 184, 200, 290, 313, 403, 426 ], [ 72, 88, 185, 201, 291, 314, 404, 427 ], [ 73, 89, 186, 202, 292, 315, 405, 428 ], [ 74, 90, 187, 203, 293, 316, 406, 429 ], [ 75, 91, 188, 204, 294, 317, 407, 430 ], [ 76, 92, 189, 205, 295, 318, 408, 431 ], [ 77, 93, 190, 206, 296, 319, 409, 432 ], [ 78, 94, 191, 207, 297, 320, 410, 433 ], [ 79, 95, 192, 208, 298, 321, 411, 434 ], [ 80, 96, 193, 209, 299, 322, 412, 435 ], [ 81, 97, 194, 210, 300, 323, 413, 436 ], [ 82, 98, 195, 211, 301, 324, 414, 437 ], [ 83, 99, 196, 212, 302, 325, 415, 438 ], [ 84, 100, 197, 213, 303, 326, 416, 439 ], [ 85, 101, 198, 214, 304, 327, 417, 440 ], [ 86, 102, 199, 215, 305, 328, 418, 441 ], [ 87, 103, 200, 216, 306, 329, 419, 442 ], [ 88, 104, 201, 217, 307, 330, 420, 443 ], [ 89, 105, 202, 218, 308, 331, 421, 444 ], [ 90, 106, 203, 219, 309, 332, 422, 445 ], [ 91, 107, 204, 220, 310, 333, 423, 446 ], [ 92, 108, 205, 221, 311, 334, 424, 447 ], [ 93, 109, 206, 222, 312, 335, 425, 448 ], [ 94, 110, 207, 223, 313, 336, 426, 449 ], [ 95, 111, 208, 224, 314, 337, 427, 450 ], [ 96, 112, 209, 225, 315, 338, 428, 451 ] ] }, "distance": { "d": 2, "X": { "value": 2, "confidence": "exact", "witness": [ 11, 124 ] }, "Z": { "value": 2, "confidence": "exact", "witness": [ 49, 162 ] } }, "family": "bivariate-bicycle", "provenance": { "authors": [ "@cbjuan" ], "construction": "Periodic bivariate-bicycle code on the group algebra Z_2 x Z_113 (n = 2*l*m = 452). Convention: x = S_2 tensor I_113, y = I_2 tensor S_113 (cyclic shifts), qubit index = i*m + j; A = 1 + x^0y^23 + x^1y^0 + x^1y^23, B = 1 + x^0y^16 + x^1y^0 + x^1y^16; H_X = [A|B], H_Z = [B^T|A^T]. Found by an automated evolutionary/mutation search over (l, m, A, B) exponent sets targeting the unrestricted x weight-6 (or weight-8) board cells, screened by a randomized lightest-logical surrogate and promoted through increasing trial budgets.", "origin": "submission", "date": "2026-09-16", "notes": "Internal autoresearch candidate id 4417 (canonical key e3a2cafb052bd6f9e050f8d9), search lane 'w8-gap', proposal kernel 'cross-factor'. Initial NumPy lightest-logical surrogate: trials=2000, seed=1815568102. Distance also taken through an internal exact-certification pipeline (MILP, one solve per logical-basis row per side, the same method as this repository's own verify/certify.py). Result: side_status X=exact, Z=exact (solver wall time 154.4s, CPU time 151.4s, summed over all per-row MILP solves on both sides). Per CONTRIBUTING.md's confidence-tier policy, this 'exact' claim is self-declared and will display as an upper bound on the board until a maintainer independently re-runs verify/certify.py and confirms it." } }