{ "schema_version": "0.1", "name": "[[446,68,8]] [[4,2,2]]-amplified [[96,34,4]]", "code_type": "CSS", "n": 446, "k": 68, "checks": { "X": [ [ 80, 96, 160, 196, 236, 252, 415 ], [ 81, 97, 161, 197, 237, 253, 415 ], [ 82, 98, 162, 198, 238, 254, 415 ], [ 83, 99, 163, 199, 239, 255, 415 ], [ 0, 48, 84, 328, 336, 372, 416 ], [ 1, 49, 85, 329, 337, 373, 416 ], [ 2, 50, 86, 330, 338, 374, 416 ], [ 3, 51, 87, 331, 339, 375, 416 ], [ 76, 112, 216, 228, 280, 348, 417 ], [ 77, 113, 217, 229, 281, 349, 417 ], [ 78, 114, 218, 230, 282, 350, 417 ], [ 79, 115, 219, 231, 283, 351, 417 ], [ 36, 144, 272, 304, 344, 364, 418 ], [ 37, 145, 273, 305, 345, 365, 418 ], [ 38, 146, 274, 306, 346, 366, 418 ], [ 39, 147, 275, 307, 347, 367, 418 ], [ 8, 88, 256, 264, 312, 376, 419 ], [ 9, 89, 257, 265, 313, 377, 419 ], [ 10, 90, 258, 266, 314, 378, 419 ], [ 11, 91, 259, 267, 315, 379, 419 ], [ 12, 36, 104, 164, 216, 340, 420 ], [ 13, 37, 105, 165, 217, 341, 420 ], [ 14, 38, 106, 166, 218, 342, 420 ], [ 15, 39, 107, 167, 219, 343, 420 ], [ 12, 176, 188, 236, 320, 352, 421 ], [ 13, 177, 189, 237, 321, 353, 421 ], [ 14, 178, 190, 238, 322, 354, 421 ], [ 15, 179, 191, 239, 323, 355, 421 ], [ 8, 68, 116, 204, 300, 340, 422 ], [ 9, 69, 117, 205, 301, 341, 422 ], [ 10, 70, 118, 206, 302, 342, 422 ], [ 11, 71, 119, 207, 303, 343, 422 ], [ 104, 140, 156, 192, 248, 308, 423 ], [ 105, 141, 157, 193, 249, 309, 423 ], [ 106, 142, 158, 194, 250, 310, 423 ], [ 107, 143, 159, 195, 251, 311, 423 ], [ 20, 52, 60, 168, 280, 368, 424 ], [ 21, 53, 61, 169, 281, 369, 424 ], [ 22, 54, 62, 170, 282, 370, 424 ], [ 23, 55, 63, 171, 283, 371, 424 ], [ 4, 56, 128, 164, 212, 264, 425 ], [ 5, 57, 129, 165, 213, 265, 425 ], [ 6, 58, 130, 166, 214, 266, 425 ], [ 7, 59, 131, 167, 215, 267, 425 ], [ 16, 80, 84, 132, 212, 348, 426 ], [ 17, 81, 85, 133, 213, 349, 426 ], [ 18, 82, 86, 134, 214, 350, 426 ], [ 19, 83, 87, 135, 215, 351, 426 ], [ 76, 120, 220, 224, 324, 352, 427 ], [ 77, 121, 221, 225, 325, 353, 427 ], [ 78, 122, 222, 226, 326, 354, 427 ], [ 79, 123, 223, 227, 327, 355, 427 ], [ 136, 152, 156, 220, 260, 296, 428 ], [ 137, 153, 157, 221, 261, 297, 428 ], [ 138, 154, 158, 222, 262, 298, 428 ], [ 139, 155, 159, 223, 263, 299, 428 ], [ 32, 72, 112, 136, 200, 376, 429 ], [ 33, 73, 113, 137, 201, 377, 429 ], [ 34, 74, 114, 138, 202, 378, 429 ], [ 35, 75, 115, 139, 203, 379, 429 ], [ 20, 24, 124, 176, 204, 328, 430 ], [ 21, 25, 125, 177, 205, 329, 430 ], [ 22, 26, 126, 178, 206, 330, 430 ], [ 23, 27, 127, 179, 207, 331, 430 ], [ 0, 44, 108, 248, 288, 300, 431 ], [ 1, 45, 109, 249, 289, 301, 431 ], [ 2, 46, 110, 250, 290, 302, 431 ], [ 3, 47, 111, 251, 291, 303, 431 ], [ 124, 132, 152, 268, 284, 356, 432 ], [ 125, 133, 153, 269, 285, 357, 432 ], [ 126, 134, 154, 270, 286, 358, 432 ], [ 127, 135, 155, 271, 287, 359, 432 ], [ 40, 92, 100, 240, 244, 380, 433 ], [ 41, 93, 101, 241, 245, 381, 433 ], [ 42, 94, 102, 242, 246, 382, 433 ], [ 43, 95, 103, 243, 247, 383, 433 ], [ 148, 168, 180, 196, 304, 308, 434 ], [ 149, 169, 181, 197, 305, 309, 434 ], [ 150, 170, 182, 198, 306, 310, 434 ], [ 151, 171, 183, 199, 307, 311, 434 ], [ 108, 160, 172, 200, 276, 368, 435 ], [ 109, 161, 173, 201, 277, 369, 435 ], [ 110, 162, 174, 202, 278, 370, 435 ], [ 111, 163, 175, 203, 279, 371, 435 ], [ 60, 68, 100, 184, 224, 332, 436 ], [ 61, 69, 101, 185, 225, 333, 436 ], [ 62, 70, 102, 186, 226, 334, 436 ], [ 63, 71, 103, 187, 227, 335, 436 ], [ 48, 64, 144, 228, 316, 380, 437 ], [ 49, 65, 145, 229, 317, 381, 437 ], [ 50, 66, 146, 230, 318, 382, 437 ], [ 51, 67, 147, 231, 319, 383, 437 ], [ 16, 72, 116, 148, 232, 240, 438 ], [ 17, 73, 117, 149, 233, 241, 438 ], [ 18, 74, 118, 150, 234, 242, 438 ], [ 19, 75, 119, 151, 235, 243, 438 ], [ 232, 272, 288, 292, 324, 356, 439 ], [ 233, 273, 289, 293, 325, 357, 439 ], [ 234, 274, 290, 294, 326, 358, 439 ], [ 235, 275, 291, 295, 327, 359, 439 ], [ 28, 40, 44, 56, 96, 120, 440 ], [ 29, 41, 45, 57, 97, 121, 440 ], [ 30, 42, 46, 58, 98, 122, 440 ], [ 31, 43, 47, 59, 99, 123, 440 ], [ 32, 192, 208, 244, 320, 336, 441 ], [ 33, 193, 209, 245, 321, 337, 441 ], [ 34, 194, 210, 246, 322, 338, 441 ], [ 35, 195, 211, 247, 323, 339, 441 ], [ 64, 88, 188, 276, 292, 360, 442 ], [ 65, 89, 189, 277, 293, 361, 442 ], [ 66, 90, 190, 278, 294, 362, 442 ], [ 67, 91, 191, 279, 295, 363, 442 ], [ 208, 252, 256, 284, 332, 344, 443 ], [ 209, 253, 257, 285, 333, 345, 443 ], [ 210, 254, 258, 286, 334, 346, 443 ], [ 211, 255, 259, 287, 335, 347, 443 ], [ 28, 52, 140, 268, 312, 316, 444 ], [ 29, 53, 141, 269, 313, 317, 444 ], [ 30, 54, 142, 270, 314, 318, 444 ], [ 31, 55, 143, 271, 315, 319, 444 ], [ 4, 172, 184, 260, 364, 372, 445 ], [ 5, 173, 185, 261, 365, 373, 445 ], [ 6, 174, 186, 262, 366, 374, 445 ], [ 7, 175, 187, 263, 367, 375, 445 ], [ 0, 1, 2, 3, 391, 396 ], [ 4, 5, 6, 7, 400, 413 ], [ 8, 9, 10, 11, 399, 410 ], [ 12, 13, 14, 15, 405 ], [ 16, 17, 18, 19, 385, 391 ], [ 20, 21, 22, 23, 390, 409 ], [ 24, 25, 26, 27, 385, 398 ], [ 28, 29, 30, 31, 387, 414 ], [ 32, 33, 34, 35, 403, 406 ], [ 36, 37, 38, 39, 394, 405 ], [ 40, 41, 42, 43, 384, 391 ], [ 44, 45, 46, 47, 391, 400 ], [ 48, 49, 50, 51, 396, 409 ], [ 52, 53, 54, 55, 410, 414 ], [ 56, 57, 58, 59, 400, 412 ], [ 60, 61, 62, 63, 407, 414 ], [ 64, 65, 66, 67, 403, 409 ], [ 68, 69, 70, 71, 394, 400 ], [ 72, 73, 74, 75, 392, 404 ], [ 76, 77, 78, 79, 387, 395 ], [ 80, 81, 82, 83, 390, 406 ], [ 84, 85, 86, 87, 391, 406 ], [ 88, 89, 90, 91, 399, 405 ], [ 92, 93, 94, 95, 393, 398 ], [ 96, 97, 98, 99, 384, 414 ], [ 100, 101, 102, 103, 398, 407 ], [ 104, 105, 106, 107, 397, 412 ], [ 108, 109, 110, 111, 392, 410 ], [ 112, 113, 114, 115, 397, 403 ], [ 116, 117, 118, 119, 385, 402 ], [ 120, 121, 122, 123, 387, 412 ], [ 124, 125, 126, 127, 388, 399 ], [ 128, 129, 130, 131, 385 ], [ 132, 133, 134, 135, 386, 387 ], [ 136, 137, 138, 139, 386, 404 ], [ 140, 141, 142, 143, 397, 401 ], [ 144, 145, 146, 147, 401, 407 ], [ 148, 149, 150, 151, 392, 402 ], [ 152, 153, 154, 155, 386, 411 ], [ 156, 157, 158, 159, 389, 412 ], [ 160, 161, 162, 163, 406, 413 ], [ 164, 165, 166, 167, 412 ], [ 168, 169, 170, 171, 402, 407 ], [ 172, 173, 174, 175, 408, 413 ], [ 176, 177, 178, 179, 388, 390 ], [ 180, 181, 182, 183, 408 ], [ 184, 185, 186, 187, 398, 400 ], [ 188, 189, 190, 191, 403, 405 ], [ 192, 193, 194, 195, 384, 401 ], [ 196, 197, 198, 199, 384 ], [ 200, 201, 202, 203, 392, 406 ], [ 204, 205, 206, 207, 385, 399 ], [ 208, 209, 210, 211, 401, 411 ], [ 212, 213, 214, 215, 385, 386 ], [ 216, 217, 218, 219, 397, 402 ], [ 220, 221, 222, 223, 393, 412 ], [ 224, 225, 226, 227, 388, 394 ], [ 228, 229, 230, 231, 395, 403 ], [ 232, 233, 234, 235, 395, 404 ], [ 236, 237, 238, 239, 390 ], [ 240, 241, 242, 243, 391, 395 ], [ 244, 245, 246, 247, 384, 393 ], [ 248, 249, 250, 251, 389, 392 ], [ 252, 253, 254, 255, 413, 414 ], [ 256, 257, 258, 259, 405, 413 ], [ 260, 261, 262, 263, 389, 411 ], [ 264, 265, 266, 267, 386, 413 ], [ 268, 269, 270, 271, 387, 396 ], [ 272, 273, 274, 275, 389, 394 ], [ 276, 277, 278, 279, 408, 409 ], [ 280, 281, 282, 283, 390, 402 ], [ 284, 285, 286, 287, 388, 411 ], [ 288, 289, 290, 291, 389, 396 ], [ 292, 293, 294, 295, 399, 404 ], [ 296, 297, 298, 299, 393, 404 ], [ 300, 301, 302, 303, 400, 410 ], [ 304, 305, 306, 307, 407, 408 ], [ 308, 309, 310, 311, 384, 392 ], [ 312, 313, 314, 315, 397, 410 ], [ 316, 317, 318, 319, 396, 401 ], [ 320, 321, 322, 323, 393, 403 ], [ 324, 325, 326, 327, 394, 395 ], [ 328, 329, 330, 331, 398, 409 ], [ 332, 333, 334, 335, 388, 414 ], [ 336, 337, 338, 339, 406, 411 ], [ 340, 341, 342, 343, 394, 402 ], [ 344, 345, 346, 347, 401, 405 ], [ 348, 349, 350, 351, 387, 390 ], [ 352, 353, 354, 355, 388, 393 ], [ 356, 357, 358, 359, 396, 399 ], [ 360, 361, 362, 363, 404, 408 ], [ 364, 365, 366, 367, 389, 408 ], [ 368, 369, 370, 371, 409, 410 ], [ 372, 373, 374, 375, 398, 411 ], [ 376, 377, 378, 379, 386, 397 ], [ 380, 381, 382, 383, 395, 407 ] ], "Z": [ [ 40, 96, 192, 196, 244, 308, 384 ], [ 41, 97, 193, 197, 245, 309, 384 ], [ 42, 98, 194, 198, 246, 310, 384 ], [ 43, 99, 195, 199, 247, 311, 384 ], [ 16, 24, 116, 128, 204, 212, 385 ], [ 17, 25, 117, 129, 205, 213, 385 ], [ 18, 26, 118, 130, 206, 214, 385 ], [ 19, 27, 119, 131, 207, 215, 385 ], [ 132, 136, 152, 212, 264, 376, 386 ], [ 133, 137, 153, 213, 265, 377, 386 ], [ 134, 138, 154, 214, 266, 378, 386 ], [ 135, 139, 155, 215, 267, 379, 386 ], [ 28, 76, 120, 132, 268, 348, 387 ], [ 29, 77, 121, 133, 269, 349, 387 ], [ 30, 78, 122, 134, 270, 350, 387 ], [ 31, 79, 123, 135, 271, 351, 387 ], [ 124, 176, 224, 284, 332, 352, 388 ], [ 125, 177, 225, 285, 333, 353, 388 ], [ 126, 178, 226, 286, 334, 354, 388 ], [ 127, 179, 227, 287, 335, 355, 388 ], [ 156, 248, 260, 272, 288, 364, 389 ], [ 157, 249, 261, 273, 289, 365, 389 ], [ 158, 250, 262, 274, 290, 366, 389 ], [ 159, 251, 263, 275, 291, 367, 389 ], [ 20, 80, 176, 236, 280, 348, 390 ], [ 21, 81, 177, 237, 281, 349, 390 ], [ 22, 82, 178, 238, 282, 350, 390 ], [ 23, 83, 179, 239, 283, 351, 390 ], [ 0, 16, 40, 44, 84, 240, 391 ], [ 1, 17, 41, 45, 85, 241, 391 ], [ 2, 18, 42, 46, 86, 242, 391 ], [ 3, 19, 43, 47, 87, 243, 391 ], [ 72, 108, 148, 200, 248, 308, 392 ], [ 73, 109, 149, 201, 249, 309, 392 ], [ 74, 110, 150, 202, 250, 310, 392 ], [ 75, 111, 151, 203, 251, 311, 392 ], [ 92, 220, 244, 296, 320, 352, 393 ], [ 93, 221, 245, 297, 321, 353, 393 ], [ 94, 222, 246, 298, 322, 354, 393 ], [ 95, 223, 247, 299, 323, 355, 393 ], [ 36, 68, 224, 272, 324, 340, 394 ], [ 37, 69, 225, 273, 325, 341, 394 ], [ 38, 70, 226, 274, 326, 342, 394 ], [ 39, 71, 227, 275, 327, 343, 394 ], [ 76, 228, 232, 240, 324, 380, 395 ], [ 77, 229, 233, 241, 325, 381, 395 ], [ 78, 230, 234, 242, 326, 382, 395 ], [ 79, 231, 235, 243, 327, 383, 395 ], [ 0, 48, 268, 288, 316, 356, 396 ], [ 1, 49, 269, 289, 317, 357, 396 ], [ 2, 50, 270, 290, 318, 358, 396 ], [ 3, 51, 271, 291, 319, 359, 396 ], [ 104, 112, 140, 216, 312, 376, 397 ], [ 105, 113, 141, 217, 313, 377, 397 ], [ 106, 114, 142, 218, 314, 378, 397 ], [ 107, 115, 143, 219, 315, 379, 397 ], [ 24, 92, 100, 184, 328, 372, 398 ], [ 25, 93, 101, 185, 329, 373, 398 ], [ 26, 94, 102, 186, 330, 374, 398 ], [ 27, 95, 103, 187, 331, 375, 398 ], [ 8, 88, 124, 204, 292, 356, 399 ], [ 9, 89, 125, 205, 293, 357, 399 ], [ 10, 90, 126, 206, 294, 358, 399 ], [ 11, 91, 127, 207, 295, 359, 399 ], [ 4, 44, 56, 68, 184, 300, 400 ], [ 5, 45, 57, 69, 185, 301, 400 ], [ 6, 46, 58, 70, 186, 302, 400 ], [ 7, 47, 59, 71, 187, 303, 400 ], [ 140, 144, 192, 208, 316, 344, 401 ], [ 141, 145, 193, 209, 317, 345, 401 ], [ 142, 146, 194, 210, 318, 346, 401 ], [ 143, 147, 195, 211, 319, 347, 401 ], [ 116, 148, 168, 216, 280, 340, 402 ], [ 117, 149, 169, 217, 281, 341, 402 ], [ 118, 150, 170, 218, 282, 342, 402 ], [ 119, 151, 171, 219, 283, 343, 402 ], [ 32, 64, 112, 188, 228, 320, 403 ], [ 33, 65, 113, 189, 229, 321, 403 ], [ 34, 66, 114, 190, 230, 322, 403 ], [ 35, 67, 115, 191, 231, 323, 403 ], [ 72, 136, 232, 292, 296, 360, 404 ], [ 73, 137, 233, 293, 297, 361, 404 ], [ 74, 138, 234, 294, 298, 362, 404 ], [ 75, 139, 235, 295, 299, 363, 404 ], [ 12, 36, 88, 188, 256, 344, 405 ], [ 13, 37, 89, 189, 257, 345, 405 ], [ 14, 38, 90, 190, 258, 346, 405 ], [ 15, 39, 91, 191, 259, 347, 405 ], [ 32, 80, 84, 160, 200, 336, 406 ], [ 33, 81, 85, 161, 201, 337, 406 ], [ 34, 82, 86, 162, 202, 338, 406 ], [ 35, 83, 87, 163, 203, 339, 406 ], [ 60, 100, 144, 168, 304, 380, 407 ], [ 61, 101, 145, 169, 305, 381, 407 ], [ 62, 102, 146, 170, 306, 382, 407 ], [ 63, 103, 147, 171, 307, 383, 407 ], [ 172, 180, 276, 304, 360, 364, 408 ], [ 173, 181, 277, 305, 361, 365, 408 ], [ 174, 182, 278, 306, 362, 366, 408 ], [ 175, 183, 279, 307, 363, 367, 408 ], [ 20, 48, 64, 276, 328, 368, 409 ], [ 21, 49, 65, 277, 329, 369, 409 ], [ 22, 50, 66, 278, 330, 370, 409 ], [ 23, 51, 67, 279, 331, 371, 409 ], [ 8, 52, 108, 300, 312, 368, 410 ], [ 9, 53, 109, 301, 313, 369, 410 ], [ 10, 54, 110, 302, 314, 370, 410 ], [ 11, 55, 111, 303, 315, 371, 410 ], [ 152, 208, 260, 284, 336, 372, 411 ], [ 153, 209, 261, 285, 337, 373, 411 ], [ 154, 210, 262, 286, 338, 374, 411 ], [ 155, 211, 263, 287, 339, 375, 411 ], [ 56, 104, 120, 156, 164, 220, 412 ], [ 57, 105, 121, 157, 165, 221, 412 ], [ 58, 106, 122, 158, 166, 222, 412 ], [ 59, 107, 123, 159, 167, 223, 412 ], [ 4, 160, 172, 252, 256, 264, 413 ], [ 5, 161, 173, 253, 257, 265, 413 ], [ 6, 162, 174, 254, 258, 266, 413 ], [ 7, 163, 175, 255, 259, 267, 413 ], [ 28, 52, 60, 96, 252, 332, 414 ], [ 29, 53, 61, 97, 253, 333, 414 ], [ 30, 54, 62, 98, 254, 334, 414 ], [ 31, 55, 63, 99, 255, 335, 414 ], [ 0, 1, 2, 3, 416, 431 ], [ 4, 5, 6, 7, 425, 445 ], [ 8, 9, 10, 11, 419, 422 ], [ 12, 13, 14, 15, 420, 421 ], [ 16, 17, 18, 19, 426, 438 ], [ 20, 21, 22, 23, 424, 430 ], [ 24, 25, 26, 27, 430 ], [ 28, 29, 30, 31, 440, 444 ], [ 32, 33, 34, 35, 429, 441 ], [ 36, 37, 38, 39, 418, 420 ], [ 40, 41, 42, 43, 433, 440 ], [ 44, 45, 46, 47, 431, 440 ], [ 48, 49, 50, 51, 416, 437 ], [ 52, 53, 54, 55, 424, 444 ], [ 56, 57, 58, 59, 425, 440 ], [ 60, 61, 62, 63, 424, 436 ], [ 64, 65, 66, 67, 437, 442 ], [ 68, 69, 70, 71, 422, 436 ], [ 72, 73, 74, 75, 429, 438 ], [ 76, 77, 78, 79, 417, 427 ], [ 80, 81, 82, 83, 415, 426 ], [ 84, 85, 86, 87, 416, 426 ], [ 88, 89, 90, 91, 419, 442 ], [ 92, 93, 94, 95, 433 ], [ 96, 97, 98, 99, 415, 440 ], [ 100, 101, 102, 103, 433, 436 ], [ 104, 105, 106, 107, 420, 423 ], [ 108, 109, 110, 111, 431, 435 ], [ 112, 113, 114, 115, 417, 429 ], [ 116, 117, 118, 119, 422, 438 ], [ 120, 121, 122, 123, 427, 440 ], [ 124, 125, 126, 127, 430, 432 ], [ 128, 129, 130, 131, 425 ], [ 132, 133, 134, 135, 426, 432 ], [ 136, 137, 138, 139, 428, 429 ], [ 140, 141, 142, 143, 423, 444 ], [ 144, 145, 146, 147, 418, 437 ], [ 148, 149, 150, 151, 434, 438 ], [ 152, 153, 154, 155, 428, 432 ], [ 156, 157, 158, 159, 423, 428 ], [ 160, 161, 162, 163, 415, 435 ], [ 164, 165, 166, 167, 420, 425 ], [ 168, 169, 170, 171, 424, 434 ], [ 172, 173, 174, 175, 435, 445 ], [ 176, 177, 178, 179, 421, 430 ], [ 180, 181, 182, 183, 434 ], [ 184, 185, 186, 187, 436, 445 ], [ 188, 189, 190, 191, 421, 442 ], [ 192, 193, 194, 195, 423, 441 ], [ 196, 197, 198, 199, 415, 434 ], [ 200, 201, 202, 203, 429, 435 ], [ 204, 205, 206, 207, 422, 430 ], [ 208, 209, 210, 211, 441, 443 ], [ 212, 213, 214, 215, 425, 426 ], [ 216, 217, 218, 219, 417, 420 ], [ 220, 221, 222, 223, 427, 428 ], [ 224, 225, 226, 227, 427, 436 ], [ 228, 229, 230, 231, 417, 437 ], [ 232, 233, 234, 235, 438, 439 ], [ 236, 237, 238, 239, 415, 421 ], [ 240, 241, 242, 243, 433, 438 ], [ 244, 245, 246, 247, 433, 441 ], [ 248, 249, 250, 251, 423, 431 ], [ 252, 253, 254, 255, 415, 443 ], [ 256, 257, 258, 259, 419, 443 ], [ 260, 261, 262, 263, 428, 445 ], [ 264, 265, 266, 267, 419, 425 ], [ 268, 269, 270, 271, 432, 444 ], [ 272, 273, 274, 275, 418, 439 ], [ 276, 277, 278, 279, 435, 442 ], [ 280, 281, 282, 283, 417, 424 ], [ 284, 285, 286, 287, 432, 443 ], [ 288, 289, 290, 291, 431, 439 ], [ 292, 293, 294, 295, 439, 442 ], [ 296, 297, 298, 299, 428 ], [ 300, 301, 302, 303, 422, 431 ], [ 304, 305, 306, 307, 418, 434 ], [ 308, 309, 310, 311, 423, 434 ], [ 312, 313, 314, 315, 419, 444 ], [ 316, 317, 318, 319, 437, 444 ], [ 320, 321, 322, 323, 421, 441 ], [ 324, 325, 326, 327, 427, 439 ], [ 328, 329, 330, 331, 416, 430 ], [ 332, 333, 334, 335, 436, 443 ], [ 336, 337, 338, 339, 416, 441 ], [ 340, 341, 342, 343, 420, 422 ], [ 344, 345, 346, 347, 418, 443 ], [ 348, 349, 350, 351, 417, 426 ], [ 352, 353, 354, 355, 421, 427 ], [ 356, 357, 358, 359, 432, 439 ], [ 360, 361, 362, 363, 442 ], [ 364, 365, 366, 367, 418, 445 ], [ 368, 369, 370, 371, 424, 435 ], [ 372, 373, 374, 375, 416, 445 ], [ 376, 377, 378, 379, 419, 429 ], [ 380, 381, 382, 383, 433, 437 ] ] }, "distance": { "d": 8, "X": { "value": 8, "confidence": "upper_bound", "witness": [ 32, 33, 160, 161, 188, 189, 256, 257 ] }, "Z": { "value": 8, "confidence": "upper_bound", "witness": [ 48, 49, 244, 245, 336, 337, 380, 381 ] } }, "provenance": { "authors": [ "@MathysRennela" ], "construction": "Distance-amplified code: one [[4,2,2]] tensor-product amplification step (central three-term truncation of the chain-complex tensor product, arXiv:2609.37231 Eq. 1/Eq. 12-15) applied to the board's [[96,34,4]] entry, using a sparse independent-row presentation of its checks: n' = 4n + m_X + m_Z = 446, k' = 2k = 68, check weight w' = w+1 = 7. X/Z witnesses are the base witnesses tensored with the weight-2 [[4,2,2]] logical on the central register (weights 8/8); a 100000-trial fast-backend search (seed 5000) found nothing lighter (min weight 8). Base provenance: Reconstructed from qecdb.org record (see provenance.references); H-field X/Z row split, k recomputed, witnesses from the kit's random search.", "references": [ "arXiv:2609.37231" ], "date": "2026-09-30", "notes": "Constructed and packaged with the Space Bunny Alpha 1.0 model.", "model": "Space Bunny Alpha 1.0" }, "family": "distance-amplified" }