{ "schema_version": "0.3", "name": "[[345,278,2]]", "code_type": "CSS", "n": 345, "k": 278, "checks": { "X": [ [ 1, 24, 47, 70, 93, 119, 142, 165, 188, 211, 250, 273, 296, 319, 342 ], [ 2, 25, 48, 71, 94, 120, 143, 166, 189, 212, 251, 274, 297, 320, 343 ], [ 3, 26, 49, 72, 95, 121, 144, 167, 190, 213, 252, 275, 298, 321, 344 ], [ 4, 27, 50, 73, 96, 122, 145, 168, 191, 214, 230, 253, 276, 299, 322 ], [ 5, 28, 51, 74, 97, 123, 146, 169, 192, 215, 231, 254, 277, 300, 323 ], [ 6, 29, 52, 75, 98, 124, 147, 170, 193, 216, 232, 255, 278, 301, 324 ], [ 7, 30, 53, 76, 99, 125, 148, 171, 194, 217, 233, 256, 279, 302, 325 ], [ 8, 31, 54, 77, 100, 126, 149, 172, 195, 218, 234, 257, 280, 303, 326 ], [ 9, 32, 55, 78, 101, 127, 150, 173, 196, 219, 235, 258, 281, 304, 327 ], [ 10, 33, 56, 79, 102, 128, 151, 174, 197, 220, 236, 259, 282, 305, 328 ], [ 11, 34, 57, 80, 103, 129, 152, 175, 198, 221, 237, 260, 283, 306, 329 ], [ 12, 35, 58, 81, 104, 130, 153, 176, 199, 222, 238, 261, 284, 307, 330 ], [ 13, 36, 59, 82, 105, 131, 154, 177, 200, 223, 239, 262, 285, 308, 331 ], [ 14, 37, 60, 83, 106, 132, 155, 178, 201, 224, 240, 263, 286, 309, 332 ], [ 15, 38, 61, 84, 107, 133, 156, 179, 202, 225, 241, 264, 287, 310, 333 ], [ 16, 39, 62, 85, 108, 134, 157, 180, 203, 226, 242, 265, 288, 311, 334 ], [ 17, 40, 63, 86, 109, 135, 158, 181, 204, 227, 243, 266, 289, 312, 335 ], [ 18, 41, 64, 87, 110, 136, 159, 182, 205, 228, 244, 267, 290, 313, 336 ], [ 19, 42, 65, 88, 111, 137, 160, 183, 206, 229, 245, 268, 291, 314, 337 ], [ 20, 43, 66, 89, 112, 115, 138, 161, 184, 207, 246, 269, 292, 315, 338 ], [ 21, 44, 67, 90, 113, 116, 139, 162, 185, 208, 247, 270, 293, 316, 339 ], [ 22, 45, 68, 91, 114, 117, 140, 163, 186, 209, 248, 271, 294, 317, 340 ], [ 0, 23, 46, 69, 92, 118, 141, 164, 187, 210, 249, 272, 295, 318, 341 ], [ 1, 24, 47, 70, 93, 119, 142, 165, 188, 211, 250, 273, 296, 319, 342 ], [ 2, 25, 48, 71, 94, 120, 143, 166, 189, 212, 251, 274, 297, 320, 343 ], [ 3, 26, 49, 72, 95, 121, 144, 167, 190, 213, 252, 275, 298, 321, 344 ], [ 4, 27, 50, 73, 96, 122, 145, 168, 191, 214, 230, 253, 276, 299, 322 ], [ 5, 28, 51, 74, 97, 123, 146, 169, 192, 215, 231, 254, 277, 300, 323 ], [ 6, 29, 52, 75, 98, 124, 147, 170, 193, 216, 232, 255, 278, 301, 324 ], [ 7, 30, 53, 76, 99, 125, 148, 171, 194, 217, 233, 256, 279, 302, 325 ], [ 8, 31, 54, 77, 100, 126, 149, 172, 195, 218, 234, 257, 280, 303, 326 ], [ 9, 32, 55, 78, 101, 127, 150, 173, 196, 219, 235, 258, 281, 304, 327 ], [ 10, 33, 56, 79, 102, 128, 151, 174, 197, 220, 236, 259, 282, 305, 328 ], [ 11, 34, 57, 80, 103, 129, 152, 175, 198, 221, 237, 260, 283, 306, 329 ], [ 12, 35, 58, 81, 104, 130, 153, 176, 199, 222, 238, 261, 284, 307, 330 ], [ 13, 36, 59, 82, 105, 131, 154, 177, 200, 223, 239, 262, 285, 308, 331 ], [ 14, 37, 60, 83, 106, 132, 155, 178, 201, 224, 240, 263, 286, 309, 332 ], [ 15, 38, 61, 84, 107, 133, 156, 179, 202, 225, 241, 264, 287, 310, 333 ], [ 16, 39, 62, 85, 108, 134, 157, 180, 203, 226, 242, 265, 288, 311, 334 ], [ 17, 40, 63, 86, 109, 135, 158, 181, 204, 227, 243, 266, 289, 312, 335 ], [ 18, 41, 64, 87, 110, 136, 159, 182, 205, 228, 244, 267, 290, 313, 336 ], [ 19, 42, 65, 88, 111, 137, 160, 183, 206, 229, 245, 268, 291, 314, 337 ], [ 20, 43, 66, 89, 112, 115, 138, 161, 184, 207, 246, 269, 292, 315, 338 ], [ 21, 44, 67, 90, 113, 116, 139, 162, 185, 208, 247, 270, 293, 316, 339 ], [ 22, 45, 68, 91, 114, 117, 140, 163, 186, 209, 248, 271, 294, 317, 340 ], [ 0, 23, 46, 69, 92, 118, 141, 164, 187, 210, 249, 272, 295, 318, 341 ], [ 1, 24, 47, 70, 93, 119, 142, 165, 188, 211, 250, 273, 296, 319, 342 ], [ 2, 25, 48, 71, 94, 120, 143, 166, 189, 212, 251, 274, 297, 320, 343 ], [ 3, 26, 49, 72, 95, 121, 144, 167, 190, 213, 252, 275, 298, 321, 344 ], [ 4, 27, 50, 73, 96, 122, 145, 168, 191, 214, 230, 253, 276, 299, 322 ], [ 5, 28, 51, 74, 97, 123, 146, 169, 192, 215, 231, 254, 277, 300, 323 ], [ 6, 29, 52, 75, 98, 124, 147, 170, 193, 216, 232, 255, 278, 301, 324 ], [ 7, 30, 53, 76, 99, 125, 148, 171, 194, 217, 233, 256, 279, 302, 325 ], [ 8, 31, 54, 77, 100, 126, 149, 172, 195, 218, 234, 257, 280, 303, 326 ], [ 9, 32, 55, 78, 101, 127, 150, 173, 196, 219, 235, 258, 281, 304, 327 ], [ 10, 33, 56, 79, 102, 128, 151, 174, 197, 220, 236, 259, 282, 305, 328 ], [ 11, 34, 57, 80, 103, 129, 152, 175, 198, 221, 237, 260, 283, 306, 329 ], [ 12, 35, 58, 81, 104, 130, 153, 176, 199, 222, 238, 261, 284, 307, 330 ], [ 13, 36, 59, 82, 105, 131, 154, 177, 200, 223, 239, 262, 285, 308, 331 ], [ 14, 37, 60, 83, 106, 132, 155, 178, 201, 224, 240, 263, 286, 309, 332 ], [ 15, 38, 61, 84, 107, 133, 156, 179, 202, 225, 241, 264, 287, 310, 333 ], [ 16, 39, 62, 85, 108, 134, 157, 180, 203, 226, 242, 265, 288, 311, 334 ], [ 17, 40, 63, 86, 109, 135, 158, 181, 204, 227, 243, 266, 289, 312, 335 ], [ 18, 41, 64, 87, 110, 136, 159, 182, 205, 228, 244, 267, 290, 313, 336 ], [ 19, 42, 65, 88, 111, 137, 160, 183, 206, 229, 245, 268, 291, 314, 337 ], [ 20, 43, 66, 89, 112, 115, 138, 161, 184, 207, 246, 269, 292, 315, 338 ], [ 21, 44, 67, 90, 113, 116, 139, 162, 185, 208, 247, 270, 293, 316, 339 ], [ 22, 45, 68, 91, 114, 117, 140, 163, 186, 209, 248, 271, 294, 317, 340 ], [ 0, 23, 46, 69, 92, 118, 141, 164, 187, 210, 249, 272, 295, 318, 341 ], [ 1, 24, 47, 70, 93, 119, 142, 165, 188, 211, 250, 273, 296, 319, 342 ], [ 2, 25, 48, 71, 94, 120, 143, 166, 189, 212, 251, 274, 297, 320, 343 ], [ 3, 26, 49, 72, 95, 121, 144, 167, 190, 213, 252, 275, 298, 321, 344 ], [ 4, 27, 50, 73, 96, 122, 145, 168, 191, 214, 230, 253, 276, 299, 322 ], [ 5, 28, 51, 74, 97, 123, 146, 169, 192, 215, 231, 254, 277, 300, 323 ], [ 6, 29, 52, 75, 98, 124, 147, 170, 193, 216, 232, 255, 278, 301, 324 ], [ 7, 30, 53, 76, 99, 125, 148, 171, 194, 217, 233, 256, 279, 302, 325 ], [ 8, 31, 54, 77, 100, 126, 149, 172, 195, 218, 234, 257, 280, 303, 326 ], [ 9, 32, 55, 78, 101, 127, 150, 173, 196, 219, 235, 258, 281, 304, 327 ], [ 10, 33, 56, 79, 102, 128, 151, 174, 197, 220, 236, 259, 282, 305, 328 ], [ 11, 34, 57, 80, 103, 129, 152, 175, 198, 221, 237, 260, 283, 306, 329 ], [ 12, 35, 58, 81, 104, 130, 153, 176, 199, 222, 238, 261, 284, 307, 330 ], [ 13, 36, 59, 82, 105, 131, 154, 177, 200, 223, 239, 262, 285, 308, 331 ], [ 14, 37, 60, 83, 106, 132, 155, 178, 201, 224, 240, 263, 286, 309, 332 ], [ 15, 38, 61, 84, 107, 133, 156, 179, 202, 225, 241, 264, 287, 310, 333 ], [ 16, 39, 62, 85, 108, 134, 157, 180, 203, 226, 242, 265, 288, 311, 334 ], [ 17, 40, 63, 86, 109, 135, 158, 181, 204, 227, 243, 266, 289, 312, 335 ], [ 18, 41, 64, 87, 110, 136, 159, 182, 205, 228, 244, 267, 290, 313, 336 ], [ 19, 42, 65, 88, 111, 137, 160, 183, 206, 229, 245, 268, 291, 314, 337 ], [ 20, 43, 66, 89, 112, 115, 138, 161, 184, 207, 246, 269, 292, 315, 338 ], [ 21, 44, 67, 90, 113, 116, 139, 162, 185, 208, 247, 270, 293, 316, 339 ], [ 22, 45, 68, 91, 114, 117, 140, 163, 186, 209, 248, 271, 294, 317, 340 ], [ 0, 23, 46, 69, 92, 118, 141, 164, 187, 210, 249, 272, 295, 318, 341 ], [ 1, 24, 47, 70, 93, 119, 142, 165, 188, 211, 250, 273, 296, 319, 342 ], [ 2, 25, 48, 71, 94, 120, 143, 166, 189, 212, 251, 274, 297, 320, 343 ], [ 3, 26, 49, 72, 95, 121, 144, 167, 190, 213, 252, 275, 298, 321, 344 ], [ 4, 27, 50, 73, 96, 122, 145, 168, 191, 214, 230, 253, 276, 299, 322 ], [ 5, 28, 51, 74, 97, 123, 146, 169, 192, 215, 231, 254, 277, 300, 323 ], [ 6, 29, 52, 75, 98, 124, 147, 170, 193, 216, 232, 255, 278, 301, 324 ], [ 7, 30, 53, 76, 99, 125, 148, 171, 194, 217, 233, 256, 279, 302, 325 ], [ 8, 31, 54, 77, 100, 126, 149, 172, 195, 218, 234, 257, 280, 303, 326 ], [ 9, 32, 55, 78, 101, 127, 150, 173, 196, 219, 235, 258, 281, 304, 327 ], [ 10, 33, 56, 79, 102, 128, 151, 174, 197, 220, 236, 259, 282, 305, 328 ], [ 11, 34, 57, 80, 103, 129, 152, 175, 198, 221, 237, 260, 283, 306, 329 ], [ 12, 35, 58, 81, 104, 130, 153, 176, 199, 222, 238, 261, 284, 307, 330 ], [ 13, 36, 59, 82, 105, 131, 154, 177, 200, 223, 239, 262, 285, 308, 331 ], [ 14, 37, 60, 83, 106, 132, 155, 178, 201, 224, 240, 263, 286, 309, 332 ], [ 15, 38, 61, 84, 107, 133, 156, 179, 202, 225, 241, 264, 287, 310, 333 ], [ 16, 39, 62, 85, 108, 134, 157, 180, 203, 226, 242, 265, 288, 311, 334 ], [ 17, 40, 63, 86, 109, 135, 158, 181, 204, 227, 243, 266, 289, 312, 335 ], [ 18, 41, 64, 87, 110, 136, 159, 182, 205, 228, 244, 267, 290, 313, 336 ], [ 19, 42, 65, 88, 111, 137, 160, 183, 206, 229, 245, 268, 291, 314, 337 ], [ 20, 43, 66, 89, 112, 115, 138, 161, 184, 207, 246, 269, 292, 315, 338 ], [ 21, 44, 67, 90, 113, 116, 139, 162, 185, 208, 247, 270, 293, 316, 339 ], [ 22, 45, 68, 91, 114, 117, 140, 163, 186, 209, 248, 271, 294, 317, 340 ], [ 0, 23, 46, 69, 92, 118, 141, 164, 187, 210, 249, 272, 295, 318, 341 ], [ 20, 43, 66, 89, 112, 116, 139, 162, 185, 208, 234, 257, 280, 303, 326 ], [ 21, 44, 67, 90, 113, 117, 140, 163, 186, 209, 235, 258, 281, 304, 327 ], [ 22, 45, 68, 91, 114, 118, 141, 164, 187, 210, 236, 259, 282, 305, 328 ], [ 0, 23, 46, 69, 92, 119, 142, 165, 188, 211, 237, 260, 283, 306, 329 ], [ 1, 24, 47, 70, 93, 120, 143, 166, 189, 212, 238, 261, 284, 307, 330 ], [ 2, 25, 48, 71, 94, 121, 144, 167, 190, 213, 239, 262, 285, 308, 331 ], [ 3, 26, 49, 72, 95, 122, 145, 168, 191, 214, 240, 263, 286, 309, 332 ], [ 4, 27, 50, 73, 96, 123, 146, 169, 192, 215, 241, 264, 287, 310, 333 ], [ 5, 28, 51, 74, 97, 124, 147, 170, 193, 216, 242, 265, 288, 311, 334 ], [ 6, 29, 52, 75, 98, 125, 148, 171, 194, 217, 243, 266, 289, 312, 335 ], [ 7, 30, 53, 76, 99, 126, 149, 172, 195, 218, 244, 267, 290, 313, 336 ], [ 8, 31, 54, 77, 100, 127, 150, 173, 196, 219, 245, 268, 291, 314, 337 ], [ 9, 32, 55, 78, 101, 128, 151, 174, 197, 220, 246, 269, 292, 315, 338 ], [ 10, 33, 56, 79, 102, 129, 152, 175, 198, 221, 247, 270, 293, 316, 339 ], [ 11, 34, 57, 80, 103, 130, 153, 176, 199, 222, 248, 271, 294, 317, 340 ], [ 12, 35, 58, 81, 104, 131, 154, 177, 200, 223, 249, 272, 295, 318, 341 ], [ 13, 36, 59, 82, 105, 132, 155, 178, 201, 224, 250, 273, 296, 319, 342 ], [ 14, 37, 60, 83, 106, 133, 156, 179, 202, 225, 251, 274, 297, 320, 343 ], [ 15, 38, 61, 84, 107, 134, 157, 180, 203, 226, 252, 275, 298, 321, 344 ], [ 16, 39, 62, 85, 108, 135, 158, 181, 204, 227, 230, 253, 276, 299, 322 ], [ 17, 40, 63, 86, 109, 136, 159, 182, 205, 228, 231, 254, 277, 300, 323 ], [ 18, 41, 64, 87, 110, 137, 160, 183, 206, 229, 232, 255, 278, 301, 324 ], [ 19, 42, 65, 88, 111, 115, 138, 161, 184, 207, 233, 256, 279, 302, 325 ], [ 20, 43, 66, 89, 112, 116, 139, 162, 185, 208, 234, 257, 280, 303, 326 ], [ 21, 44, 67, 90, 113, 117, 140, 163, 186, 209, 235, 258, 281, 304, 327 ], [ 22, 45, 68, 91, 114, 118, 141, 164, 187, 210, 236, 259, 282, 305, 328 ], [ 0, 23, 46, 69, 92, 119, 142, 165, 188, 211, 237, 260, 283, 306, 329 ], [ 1, 24, 47, 70, 93, 120, 143, 166, 189, 212, 238, 261, 284, 307, 330 ], [ 2, 25, 48, 71, 94, 121, 144, 167, 190, 213, 239, 262, 285, 308, 331 ], [ 3, 26, 49, 72, 95, 122, 145, 168, 191, 214, 240, 263, 286, 309, 332 ], [ 4, 27, 50, 73, 96, 123, 146, 169, 192, 215, 241, 264, 287, 310, 333 ], [ 5, 28, 51, 74, 97, 124, 147, 170, 193, 216, 242, 265, 288, 311, 334 ], [ 6, 29, 52, 75, 98, 125, 148, 171, 194, 217, 243, 266, 289, 312, 335 ], [ 7, 30, 53, 76, 99, 126, 149, 172, 195, 218, 244, 267, 290, 313, 336 ], [ 8, 31, 54, 77, 100, 127, 150, 173, 196, 219, 245, 268, 291, 314, 337 ], [ 9, 32, 55, 78, 101, 128, 151, 174, 197, 220, 246, 269, 292, 315, 338 ], [ 10, 33, 56, 79, 102, 129, 152, 175, 198, 221, 247, 270, 293, 316, 339 ], [ 11, 34, 57, 80, 103, 130, 153, 176, 199, 222, 248, 271, 294, 317, 340 ], [ 12, 35, 58, 81, 104, 131, 154, 177, 200, 223, 249, 272, 295, 318, 341 ], [ 13, 36, 59, 82, 105, 132, 155, 178, 201, 224, 250, 273, 296, 319, 342 ], [ 14, 37, 60, 83, 106, 133, 156, 179, 202, 225, 251, 274, 297, 320, 343 ], [ 15, 38, 61, 84, 107, 134, 157, 180, 203, 226, 252, 275, 298, 321, 344 ], [ 16, 39, 62, 85, 108, 135, 158, 181, 204, 227, 230, 253, 276, 299, 322 ], [ 17, 40, 63, 86, 109, 136, 159, 182, 205, 228, 231, 254, 277, 300, 323 ], [ 18, 41, 64, 87, 110, 137, 160, 183, 206, 229, 232, 255, 278, 301, 324 ], [ 19, 42, 65, 88, 111, 115, 138, 161, 184, 207, 233, 256, 279, 302, 325 ], [ 20, 43, 66, 89, 112, 116, 139, 162, 185, 208, 234, 257, 280, 303, 326 ], [ 21, 44, 67, 90, 113, 117, 140, 163, 186, 209, 235, 258, 281, 304, 327 ], [ 22, 45, 68, 91, 114, 118, 141, 164, 187, 210, 236, 259, 282, 305, 328 ], [ 0, 23, 46, 69, 92, 119, 142, 165, 188, 211, 237, 260, 283, 306, 329 ], [ 1, 24, 47, 70, 93, 120, 143, 166, 189, 212, 238, 261, 284, 307, 330 ], [ 2, 25, 48, 71, 94, 121, 144, 167, 190, 213, 239, 262, 285, 308, 331 ], [ 3, 26, 49, 72, 95, 122, 145, 168, 191, 214, 240, 263, 286, 309, 332 ], [ 4, 27, 50, 73, 96, 123, 146, 169, 192, 215, 241, 264, 287, 310, 333 ], [ 5, 28, 51, 74, 97, 124, 147, 170, 193, 216, 242, 265, 288, 311, 334 ], [ 6, 29, 52, 75, 98, 125, 148, 171, 194, 217, 243, 266, 289, 312, 335 ], [ 7, 30, 53, 76, 99, 126, 149, 172, 195, 218, 244, 267, 290, 313, 336 ], [ 8, 31, 54, 77, 100, 127, 150, 173, 196, 219, 245, 268, 291, 314, 337 ], [ 9, 32, 55, 78, 101, 128, 151, 174, 197, 220, 246, 269, 292, 315, 338 ], [ 10, 33, 56, 79, 102, 129, 152, 175, 198, 221, 247, 270, 293, 316, 339 ], [ 11, 34, 57, 80, 103, 130, 153, 176, 199, 222, 248, 271, 294, 317, 340 ], [ 12, 35, 58, 81, 104, 131, 154, 177, 200, 223, 249, 272, 295, 318, 341 ], [ 13, 36, 59, 82, 105, 132, 155, 178, 201, 224, 250, 273, 296, 319, 342 ], [ 14, 37, 60, 83, 106, 133, 156, 179, 202, 225, 251, 274, 297, 320, 343 ], [ 15, 38, 61, 84, 107, 134, 157, 180, 203, 226, 252, 275, 298, 321, 344 ], [ 16, 39, 62, 85, 108, 135, 158, 181, 204, 227, 230, 253, 276, 299, 322 ], [ 17, 40, 63, 86, 109, 136, 159, 182, 205, 228, 231, 254, 277, 300, 323 ], [ 18, 41, 64, 87, 110, 137, 160, 183, 206, 229, 232, 255, 278, 301, 324 ], [ 19, 42, 65, 88, 111, 115, 138, 161, 184, 207, 233, 256, 279, 302, 325 ], [ 20, 43, 66, 89, 112, 116, 139, 162, 185, 208, 234, 257, 280, 303, 326 ], [ 21, 44, 67, 90, 113, 117, 140, 163, 186, 209, 235, 258, 281, 304, 327 ], [ 22, 45, 68, 91, 114, 118, 141, 164, 187, 210, 236, 259, 282, 305, 328 ], [ 0, 23, 46, 69, 92, 119, 142, 165, 188, 211, 237, 260, 283, 306, 329 ], [ 1, 24, 47, 70, 93, 120, 143, 166, 189, 212, 238, 261, 284, 307, 330 ], [ 2, 25, 48, 71, 94, 121, 144, 167, 190, 213, 239, 262, 285, 308, 331 ], [ 3, 26, 49, 72, 95, 122, 145, 168, 191, 214, 240, 263, 286, 309, 332 ], [ 4, 27, 50, 73, 96, 123, 146, 169, 192, 215, 241, 264, 287, 310, 333 ], [ 5, 28, 51, 74, 97, 124, 147, 170, 193, 216, 242, 265, 288, 311, 334 ], [ 6, 29, 52, 75, 98, 125, 148, 171, 194, 217, 243, 266, 289, 312, 335 ], [ 7, 30, 53, 76, 99, 126, 149, 172, 195, 218, 244, 267, 290, 313, 336 ], [ 8, 31, 54, 77, 100, 127, 150, 173, 196, 219, 245, 268, 291, 314, 337 ], [ 9, 32, 55, 78, 101, 128, 151, 174, 197, 220, 246, 269, 292, 315, 338 ], [ 10, 33, 56, 79, 102, 129, 152, 175, 198, 221, 247, 270, 293, 316, 339 ], [ 11, 34, 57, 80, 103, 130, 153, 176, 199, 222, 248, 271, 294, 317, 340 ], [ 12, 35, 58, 81, 104, 131, 154, 177, 200, 223, 249, 272, 295, 318, 341 ], [ 13, 36, 59, 82, 105, 132, 155, 178, 201, 224, 250, 273, 296, 319, 342 ], [ 14, 37, 60, 83, 106, 133, 156, 179, 202, 225, 251, 274, 297, 320, 343 ], [ 15, 38, 61, 84, 107, 134, 157, 180, 203, 226, 252, 275, 298, 321, 344 ], [ 16, 39, 62, 85, 108, 135, 158, 181, 204, 227, 230, 253, 276, 299, 322 ], [ 17, 40, 63, 86, 109, 136, 159, 182, 205, 228, 231, 254, 277, 300, 323 ], [ 18, 41, 64, 87, 110, 137, 160, 183, 206, 229, 232, 255, 278, 301, 324 ], [ 19, 42, 65, 88, 111, 115, 138, 161, 184, 207, 233, 256, 279, 302, 325 ], [ 20, 43, 66, 89, 112, 116, 139, 162, 185, 208, 234, 257, 280, 303, 326 ], [ 21, 44, 67, 90, 113, 117, 140, 163, 186, 209, 235, 258, 281, 304, 327 ], [ 22, 45, 68, 91, 114, 118, 141, 164, 187, 210, 236, 259, 282, 305, 328 ], [ 0, 23, 46, 69, 92, 119, 142, 165, 188, 211, 237, 260, 283, 306, 329 ], [ 1, 24, 47, 70, 93, 120, 143, 166, 189, 212, 238, 261, 284, 307, 330 ], [ 2, 25, 48, 71, 94, 121, 144, 167, 190, 213, 239, 262, 285, 308, 331 ], [ 3, 26, 49, 72, 95, 122, 145, 168, 191, 214, 240, 263, 286, 309, 332 ], [ 4, 27, 50, 73, 96, 123, 146, 169, 192, 215, 241, 264, 287, 310, 333 ], [ 5, 28, 51, 74, 97, 124, 147, 170, 193, 216, 242, 265, 288, 311, 334 ], [ 6, 29, 52, 75, 98, 125, 148, 171, 194, 217, 243, 266, 289, 312, 335 ], [ 7, 30, 53, 76, 99, 126, 149, 172, 195, 218, 244, 267, 290, 313, 336 ], [ 8, 31, 54, 77, 100, 127, 150, 173, 196, 219, 245, 268, 291, 314, 337 ], [ 9, 32, 55, 78, 101, 128, 151, 174, 197, 220, 246, 269, 292, 315, 338 ], [ 10, 33, 56, 79, 102, 129, 152, 175, 198, 221, 247, 270, 293, 316, 339 ], [ 11, 34, 57, 80, 103, 130, 153, 176, 199, 222, 248, 271, 294, 317, 340 ], [ 12, 35, 58, 81, 104, 131, 154, 177, 200, 223, 249, 272, 295, 318, 341 ], [ 13, 36, 59, 82, 105, 132, 155, 178, 201, 224, 250, 273, 296, 319, 342 ], [ 14, 37, 60, 83, 106, 133, 156, 179, 202, 225, 251, 274, 297, 320, 343 ], [ 15, 38, 61, 84, 107, 134, 157, 180, 203, 226, 252, 275, 298, 321, 344 ], [ 16, 39, 62, 85, 108, 135, 158, 181, 204, 227, 230, 253, 276, 299, 322 ], [ 17, 40, 63, 86, 109, 136, 159, 182, 205, 228, 231, 254, 277, 300, 323 ], [ 18, 41, 64, 87, 110, 137, 160, 183, 206, 229, 232, 255, 278, 301, 324 ], [ 19, 42, 65, 88, 111, 115, 138, 161, 184, 207, 233, 256, 279, 302, 325 ] ], "Z": [ [ 2, 15, 25, 38, 48, 61, 71, 84, 94, 107, 121, 133, 144, 156, 167, 179, 190, 202, 213, 225, 251, 252, 274, 275, 297, 298, 320, 321, 343, 344 ], [ 3, 16, 26, 39, 49, 62, 72, 85, 95, 108, 122, 134, 145, 157, 168, 180, 191, 203, 214, 226, 230, 252, 253, 275, 276, 298, 299, 321, 322, 344 ], [ 4, 17, 27, 40, 50, 63, 73, 86, 96, 109, 123, 135, 146, 158, 169, 181, 192, 204, 215, 227, 230, 231, 253, 254, 276, 277, 299, 300, 322, 323 ], [ 5, 18, 28, 41, 51, 64, 74, 87, 97, 110, 124, 136, 147, 159, 170, 182, 193, 205, 216, 228, 231, 232, 254, 255, 277, 278, 300, 301, 323, 324 ], [ 6, 19, 29, 42, 52, 65, 75, 88, 98, 111, 125, 137, 148, 160, 171, 183, 194, 206, 217, 229, 232, 233, 255, 256, 278, 279, 301, 302, 324, 325 ], [ 7, 20, 30, 43, 53, 66, 76, 89, 99, 112, 115, 126, 138, 149, 161, 172, 184, 195, 207, 218, 233, 234, 256, 257, 279, 280, 302, 303, 325, 326 ], [ 8, 21, 31, 44, 54, 67, 77, 90, 100, 113, 116, 127, 139, 150, 162, 173, 185, 196, 208, 219, 234, 235, 257, 258, 280, 281, 303, 304, 326, 327 ], [ 9, 22, 32, 45, 55, 68, 78, 91, 101, 114, 117, 128, 140, 151, 163, 174, 186, 197, 209, 220, 235, 236, 258, 259, 281, 282, 304, 305, 327, 328 ], [ 0, 10, 23, 33, 46, 56, 69, 79, 92, 102, 118, 129, 141, 152, 164, 175, 187, 198, 210, 221, 236, 237, 259, 260, 282, 283, 305, 306, 328, 329 ], [ 1, 11, 24, 34, 47, 57, 70, 80, 93, 103, 119, 130, 142, 153, 165, 176, 188, 199, 211, 222, 237, 238, 260, 261, 283, 284, 306, 307, 329, 330 ], [ 2, 12, 25, 35, 48, 58, 71, 81, 94, 104, 120, 131, 143, 154, 166, 177, 189, 200, 212, 223, 238, 239, 261, 262, 284, 285, 307, 308, 330, 331 ], [ 3, 13, 26, 36, 49, 59, 72, 82, 95, 105, 121, 132, 144, 155, 167, 178, 190, 201, 213, 224, 239, 240, 262, 263, 285, 286, 308, 309, 331, 332 ], [ 4, 14, 27, 37, 50, 60, 73, 83, 96, 106, 122, 133, 145, 156, 168, 179, 191, 202, 214, 225, 240, 241, 263, 264, 286, 287, 309, 310, 332, 333 ], [ 5, 15, 28, 38, 51, 61, 74, 84, 97, 107, 123, 134, 146, 157, 169, 180, 192, 203, 215, 226, 241, 242, 264, 265, 287, 288, 310, 311, 333, 334 ], [ 6, 16, 29, 39, 52, 62, 75, 85, 98, 108, 124, 135, 147, 158, 170, 181, 193, 204, 216, 227, 242, 243, 265, 266, 288, 289, 311, 312, 334, 335 ], [ 7, 17, 30, 40, 53, 63, 76, 86, 99, 109, 125, 136, 148, 159, 171, 182, 194, 205, 217, 228, 243, 244, 266, 267, 289, 290, 312, 313, 335, 336 ], [ 8, 18, 31, 41, 54, 64, 77, 87, 100, 110, 126, 137, 149, 160, 172, 183, 195, 206, 218, 229, 244, 245, 267, 268, 290, 291, 313, 314, 336, 337 ], [ 9, 19, 32, 42, 55, 65, 78, 88, 101, 111, 115, 127, 138, 150, 161, 173, 184, 196, 207, 219, 245, 246, 268, 269, 291, 292, 314, 315, 337, 338 ], [ 10, 20, 33, 43, 56, 66, 79, 89, 102, 112, 116, 128, 139, 151, 162, 174, 185, 197, 208, 220, 246, 247, 269, 270, 292, 293, 315, 316, 338, 339 ], [ 11, 21, 34, 44, 57, 67, 80, 90, 103, 113, 117, 129, 140, 152, 163, 175, 186, 198, 209, 221, 247, 248, 270, 271, 293, 294, 316, 317, 339, 340 ], [ 12, 22, 35, 45, 58, 68, 81, 91, 104, 114, 118, 130, 141, 153, 164, 176, 187, 199, 210, 222, 248, 249, 271, 272, 294, 295, 317, 318, 340, 341 ], [ 0, 13, 23, 36, 46, 59, 69, 82, 92, 105, 119, 131, 142, 154, 165, 177, 188, 200, 211, 223, 249, 250, 272, 273, 295, 296, 318, 319, 341, 342 ], [ 1, 14, 24, 37, 47, 60, 70, 83, 93, 106, 120, 132, 143, 155, 166, 178, 189, 201, 212, 224, 250, 251, 273, 274, 296, 297, 319, 320, 342, 343 ], [ 2, 15, 25, 38, 48, 61, 71, 84, 94, 107, 121, 133, 144, 156, 167, 179, 190, 202, 213, 225, 251, 252, 274, 275, 297, 298, 320, 321, 343, 344 ], [ 3, 16, 26, 39, 49, 62, 72, 85, 95, 108, 122, 134, 145, 157, 168, 180, 191, 203, 214, 226, 230, 252, 253, 275, 276, 298, 299, 321, 322, 344 ], [ 4, 17, 27, 40, 50, 63, 73, 86, 96, 109, 123, 135, 146, 158, 169, 181, 192, 204, 215, 227, 230, 231, 253, 254, 276, 277, 299, 300, 322, 323 ], [ 5, 18, 28, 41, 51, 64, 74, 87, 97, 110, 124, 136, 147, 159, 170, 182, 193, 205, 216, 228, 231, 232, 254, 255, 277, 278, 300, 301, 323, 324 ], [ 6, 19, 29, 42, 52, 65, 75, 88, 98, 111, 125, 137, 148, 160, 171, 183, 194, 206, 217, 229, 232, 233, 255, 256, 278, 279, 301, 302, 324, 325 ], [ 7, 20, 30, 43, 53, 66, 76, 89, 99, 112, 115, 126, 138, 149, 161, 172, 184, 195, 207, 218, 233, 234, 256, 257, 279, 280, 302, 303, 325, 326 ], [ 8, 21, 31, 44, 54, 67, 77, 90, 100, 113, 116, 127, 139, 150, 162, 173, 185, 196, 208, 219, 234, 235, 257, 258, 280, 281, 303, 304, 326, 327 ], [ 9, 22, 32, 45, 55, 68, 78, 91, 101, 114, 117, 128, 140, 151, 163, 174, 186, 197, 209, 220, 235, 236, 258, 259, 281, 282, 304, 305, 327, 328 ], [ 0, 10, 23, 33, 46, 56, 69, 79, 92, 102, 118, 129, 141, 152, 164, 175, 187, 198, 210, 221, 236, 237, 259, 260, 282, 283, 305, 306, 328, 329 ], [ 1, 11, 24, 34, 47, 57, 70, 80, 93, 103, 119, 130, 142, 153, 165, 176, 188, 199, 211, 222, 237, 238, 260, 261, 283, 284, 306, 307, 329, 330 ], [ 2, 12, 25, 35, 48, 58, 71, 81, 94, 104, 120, 131, 143, 154, 166, 177, 189, 200, 212, 223, 238, 239, 261, 262, 284, 285, 307, 308, 330, 331 ], [ 3, 13, 26, 36, 49, 59, 72, 82, 95, 105, 121, 132, 144, 155, 167, 178, 190, 201, 213, 224, 239, 240, 262, 263, 285, 286, 308, 309, 331, 332 ], [ 4, 14, 27, 37, 50, 60, 73, 83, 96, 106, 122, 133, 145, 156, 168, 179, 191, 202, 214, 225, 240, 241, 263, 264, 286, 287, 309, 310, 332, 333 ], [ 5, 15, 28, 38, 51, 61, 74, 84, 97, 107, 123, 134, 146, 157, 169, 180, 192, 203, 215, 226, 241, 242, 264, 265, 287, 288, 310, 311, 333, 334 ], [ 6, 16, 29, 39, 52, 62, 75, 85, 98, 108, 124, 135, 147, 158, 170, 181, 193, 204, 216, 227, 242, 243, 265, 266, 288, 289, 311, 312, 334, 335 ], [ 7, 17, 30, 40, 53, 63, 76, 86, 99, 109, 125, 136, 148, 159, 171, 182, 194, 205, 217, 228, 243, 244, 266, 267, 289, 290, 312, 313, 335, 336 ], [ 8, 18, 31, 41, 54, 64, 77, 87, 100, 110, 126, 137, 149, 160, 172, 183, 195, 206, 218, 229, 244, 245, 267, 268, 290, 291, 313, 314, 336, 337 ], [ 9, 19, 32, 42, 55, 65, 78, 88, 101, 111, 115, 127, 138, 150, 161, 173, 184, 196, 207, 219, 245, 246, 268, 269, 291, 292, 314, 315, 337, 338 ], [ 10, 20, 33, 43, 56, 66, 79, 89, 102, 112, 116, 128, 139, 151, 162, 174, 185, 197, 208, 220, 246, 247, 269, 270, 292, 293, 315, 316, 338, 339 ], [ 11, 21, 34, 44, 57, 67, 80, 90, 103, 113, 117, 129, 140, 152, 163, 175, 186, 198, 209, 221, 247, 248, 270, 271, 293, 294, 316, 317, 339, 340 ], [ 12, 22, 35, 45, 58, 68, 81, 91, 104, 114, 118, 130, 141, 153, 164, 176, 187, 199, 210, 222, 248, 249, 271, 272, 294, 295, 317, 318, 340, 341 ], [ 0, 13, 23, 36, 46, 59, 69, 82, 92, 105, 119, 131, 142, 154, 165, 177, 188, 200, 211, 223, 249, 250, 272, 273, 295, 296, 318, 319, 341, 342 ], [ 1, 14, 24, 37, 47, 60, 70, 83, 93, 106, 120, 132, 143, 155, 166, 178, 189, 201, 212, 224, 250, 251, 273, 274, 296, 297, 319, 320, 342, 343 ], [ 2, 15, 25, 38, 48, 61, 71, 84, 94, 107, 121, 133, 144, 156, 167, 179, 190, 202, 213, 225, 251, 252, 274, 275, 297, 298, 320, 321, 343, 344 ], [ 3, 16, 26, 39, 49, 62, 72, 85, 95, 108, 122, 134, 145, 157, 168, 180, 191, 203, 214, 226, 230, 252, 253, 275, 276, 298, 299, 321, 322, 344 ], [ 4, 17, 27, 40, 50, 63, 73, 86, 96, 109, 123, 135, 146, 158, 169, 181, 192, 204, 215, 227, 230, 231, 253, 254, 276, 277, 299, 300, 322, 323 ], [ 5, 18, 28, 41, 51, 64, 74, 87, 97, 110, 124, 136, 147, 159, 170, 182, 193, 205, 216, 228, 231, 232, 254, 255, 277, 278, 300, 301, 323, 324 ], [ 6, 19, 29, 42, 52, 65, 75, 88, 98, 111, 125, 137, 148, 160, 171, 183, 194, 206, 217, 229, 232, 233, 255, 256, 278, 279, 301, 302, 324, 325 ], [ 7, 20, 30, 43, 53, 66, 76, 89, 99, 112, 115, 126, 138, 149, 161, 172, 184, 195, 207, 218, 233, 234, 256, 257, 279, 280, 302, 303, 325, 326 ], [ 8, 21, 31, 44, 54, 67, 77, 90, 100, 113, 116, 127, 139, 150, 162, 173, 185, 196, 208, 219, 234, 235, 257, 258, 280, 281, 303, 304, 326, 327 ], [ 9, 22, 32, 45, 55, 68, 78, 91, 101, 114, 117, 128, 140, 151, 163, 174, 186, 197, 209, 220, 235, 236, 258, 259, 281, 282, 304, 305, 327, 328 ], [ 0, 10, 23, 33, 46, 56, 69, 79, 92, 102, 118, 129, 141, 152, 164, 175, 187, 198, 210, 221, 236, 237, 259, 260, 282, 283, 305, 306, 328, 329 ], [ 1, 11, 24, 34, 47, 57, 70, 80, 93, 103, 119, 130, 142, 153, 165, 176, 188, 199, 211, 222, 237, 238, 260, 261, 283, 284, 306, 307, 329, 330 ], [ 2, 12, 25, 35, 48, 58, 71, 81, 94, 104, 120, 131, 143, 154, 166, 177, 189, 200, 212, 223, 238, 239, 261, 262, 284, 285, 307, 308, 330, 331 ], [ 3, 13, 26, 36, 49, 59, 72, 82, 95, 105, 121, 132, 144, 155, 167, 178, 190, 201, 213, 224, 239, 240, 262, 263, 285, 286, 308, 309, 331, 332 ], [ 4, 14, 27, 37, 50, 60, 73, 83, 96, 106, 122, 133, 145, 156, 168, 179, 191, 202, 214, 225, 240, 241, 263, 264, 286, 287, 309, 310, 332, 333 ], [ 5, 15, 28, 38, 51, 61, 74, 84, 97, 107, 123, 134, 146, 157, 169, 180, 192, 203, 215, 226, 241, 242, 264, 265, 287, 288, 310, 311, 333, 334 ], [ 6, 16, 29, 39, 52, 62, 75, 85, 98, 108, 124, 135, 147, 158, 170, 181, 193, 204, 216, 227, 242, 243, 265, 266, 288, 289, 311, 312, 334, 335 ], [ 7, 17, 30, 40, 53, 63, 76, 86, 99, 109, 125, 136, 148, 159, 171, 182, 194, 205, 217, 228, 243, 244, 266, 267, 289, 290, 312, 313, 335, 336 ], [ 8, 18, 31, 41, 54, 64, 77, 87, 100, 110, 126, 137, 149, 160, 172, 183, 195, 206, 218, 229, 244, 245, 267, 268, 290, 291, 313, 314, 336, 337 ], [ 9, 19, 32, 42, 55, 65, 78, 88, 101, 111, 115, 127, 138, 150, 161, 173, 184, 196, 207, 219, 245, 246, 268, 269, 291, 292, 314, 315, 337, 338 ], [ 10, 20, 33, 43, 56, 66, 79, 89, 102, 112, 116, 128, 139, 151, 162, 174, 185, 197, 208, 220, 246, 247, 269, 270, 292, 293, 315, 316, 338, 339 ], [ 11, 21, 34, 44, 57, 67, 80, 90, 103, 113, 117, 129, 140, 152, 163, 175, 186, 198, 209, 221, 247, 248, 270, 271, 293, 294, 316, 317, 339, 340 ], [ 12, 22, 35, 45, 58, 68, 81, 91, 104, 114, 118, 130, 141, 153, 164, 176, 187, 199, 210, 222, 248, 249, 271, 272, 294, 295, 317, 318, 340, 341 ], [ 0, 13, 23, 36, 46, 59, 69, 82, 92, 105, 119, 131, 142, 154, 165, 177, 188, 200, 211, 223, 249, 250, 272, 273, 295, 296, 318, 319, 341, 342 ], [ 1, 14, 24, 37, 47, 60, 70, 83, 93, 106, 120, 132, 143, 155, 166, 178, 189, 201, 212, 224, 250, 251, 273, 274, 296, 297, 319, 320, 342, 343 ], [ 2, 15, 25, 38, 48, 61, 71, 84, 94, 107, 121, 133, 144, 156, 167, 179, 190, 202, 213, 225, 251, 252, 274, 275, 297, 298, 320, 321, 343, 344 ], [ 3, 16, 26, 39, 49, 62, 72, 85, 95, 108, 122, 134, 145, 157, 168, 180, 191, 203, 214, 226, 230, 252, 253, 275, 276, 298, 299, 321, 322, 344 ], [ 4, 17, 27, 40, 50, 63, 73, 86, 96, 109, 123, 135, 146, 158, 169, 181, 192, 204, 215, 227, 230, 231, 253, 254, 276, 277, 299, 300, 322, 323 ], [ 5, 18, 28, 41, 51, 64, 74, 87, 97, 110, 124, 136, 147, 159, 170, 182, 193, 205, 216, 228, 231, 232, 254, 255, 277, 278, 300, 301, 323, 324 ], [ 6, 19, 29, 42, 52, 65, 75, 88, 98, 111, 125, 137, 148, 160, 171, 183, 194, 206, 217, 229, 232, 233, 255, 256, 278, 279, 301, 302, 324, 325 ], [ 7, 20, 30, 43, 53, 66, 76, 89, 99, 112, 115, 126, 138, 149, 161, 172, 184, 195, 207, 218, 233, 234, 256, 257, 279, 280, 302, 303, 325, 326 ], [ 8, 21, 31, 44, 54, 67, 77, 90, 100, 113, 116, 127, 139, 150, 162, 173, 185, 196, 208, 219, 234, 235, 257, 258, 280, 281, 303, 304, 326, 327 ], [ 9, 22, 32, 45, 55, 68, 78, 91, 101, 114, 117, 128, 140, 151, 163, 174, 186, 197, 209, 220, 235, 236, 258, 259, 281, 282, 304, 305, 327, 328 ], [ 0, 10, 23, 33, 46, 56, 69, 79, 92, 102, 118, 129, 141, 152, 164, 175, 187, 198, 210, 221, 236, 237, 259, 260, 282, 283, 305, 306, 328, 329 ], [ 1, 11, 24, 34, 47, 57, 70, 80, 93, 103, 119, 130, 142, 153, 165, 176, 188, 199, 211, 222, 237, 238, 260, 261, 283, 284, 306, 307, 329, 330 ], [ 2, 12, 25, 35, 48, 58, 71, 81, 94, 104, 120, 131, 143, 154, 166, 177, 189, 200, 212, 223, 238, 239, 261, 262, 284, 285, 307, 308, 330, 331 ], [ 3, 13, 26, 36, 49, 59, 72, 82, 95, 105, 121, 132, 144, 155, 167, 178, 190, 201, 213, 224, 239, 240, 262, 263, 285, 286, 308, 309, 331, 332 ], [ 4, 14, 27, 37, 50, 60, 73, 83, 96, 106, 122, 133, 145, 156, 168, 179, 191, 202, 214, 225, 240, 241, 263, 264, 286, 287, 309, 310, 332, 333 ], [ 5, 15, 28, 38, 51, 61, 74, 84, 97, 107, 123, 134, 146, 157, 169, 180, 192, 203, 215, 226, 241, 242, 264, 265, 287, 288, 310, 311, 333, 334 ], [ 6, 16, 29, 39, 52, 62, 75, 85, 98, 108, 124, 135, 147, 158, 170, 181, 193, 204, 216, 227, 242, 243, 265, 266, 288, 289, 311, 312, 334, 335 ], [ 7, 17, 30, 40, 53, 63, 76, 86, 99, 109, 125, 136, 148, 159, 171, 182, 194, 205, 217, 228, 243, 244, 266, 267, 289, 290, 312, 313, 335, 336 ], [ 8, 18, 31, 41, 54, 64, 77, 87, 100, 110, 126, 137, 149, 160, 172, 183, 195, 206, 218, 229, 244, 245, 267, 268, 290, 291, 313, 314, 336, 337 ], [ 9, 19, 32, 42, 55, 65, 78, 88, 101, 111, 115, 127, 138, 150, 161, 173, 184, 196, 207, 219, 245, 246, 268, 269, 291, 292, 314, 315, 337, 338 ], [ 10, 20, 33, 43, 56, 66, 79, 89, 102, 112, 116, 128, 139, 151, 162, 174, 185, 197, 208, 220, 246, 247, 269, 270, 292, 293, 315, 316, 338, 339 ], [ 11, 21, 34, 44, 57, 67, 80, 90, 103, 113, 117, 129, 140, 152, 163, 175, 186, 198, 209, 221, 247, 248, 270, 271, 293, 294, 316, 317, 339, 340 ], [ 12, 22, 35, 45, 58, 68, 81, 91, 104, 114, 118, 130, 141, 153, 164, 176, 187, 199, 210, 222, 248, 249, 271, 272, 294, 295, 317, 318, 340, 341 ], [ 0, 13, 23, 36, 46, 59, 69, 82, 92, 105, 119, 131, 142, 154, 165, 177, 188, 200, 211, 223, 249, 250, 272, 273, 295, 296, 318, 319, 341, 342 ], [ 1, 14, 24, 37, 47, 60, 70, 83, 93, 106, 120, 132, 143, 155, 166, 178, 189, 201, 212, 224, 250, 251, 273, 274, 296, 297, 319, 320, 342, 343 ], [ 2, 15, 25, 38, 48, 61, 71, 84, 94, 107, 121, 133, 144, 156, 167, 179, 190, 202, 213, 225, 251, 252, 274, 275, 297, 298, 320, 321, 343, 344 ], [ 3, 16, 26, 39, 49, 62, 72, 85, 95, 108, 122, 134, 145, 157, 168, 180, 191, 203, 214, 226, 230, 252, 253, 275, 276, 298, 299, 321, 322, 344 ], [ 4, 17, 27, 40, 50, 63, 73, 86, 96, 109, 123, 135, 146, 158, 169, 181, 192, 204, 215, 227, 230, 231, 253, 254, 276, 277, 299, 300, 322, 323 ], [ 5, 18, 28, 41, 51, 64, 74, 87, 97, 110, 124, 136, 147, 159, 170, 182, 193, 205, 216, 228, 231, 232, 254, 255, 277, 278, 300, 301, 323, 324 ], [ 6, 19, 29, 42, 52, 65, 75, 88, 98, 111, 125, 137, 148, 160, 171, 183, 194, 206, 217, 229, 232, 233, 255, 256, 278, 279, 301, 302, 324, 325 ], [ 7, 20, 30, 43, 53, 66, 76, 89, 99, 112, 115, 126, 138, 149, 161, 172, 184, 195, 207, 218, 233, 234, 256, 257, 279, 280, 302, 303, 325, 326 ], [ 8, 21, 31, 44, 54, 67, 77, 90, 100, 113, 116, 127, 139, 150, 162, 173, 185, 196, 208, 219, 234, 235, 257, 258, 280, 281, 303, 304, 326, 327 ], [ 9, 22, 32, 45, 55, 68, 78, 91, 101, 114, 117, 128, 140, 151, 163, 174, 186, 197, 209, 220, 235, 236, 258, 259, 281, 282, 304, 305, 327, 328 ], [ 0, 10, 23, 33, 46, 56, 69, 79, 92, 102, 118, 129, 141, 152, 164, 175, 187, 198, 210, 221, 236, 237, 259, 260, 282, 283, 305, 306, 328, 329 ], [ 1, 11, 24, 34, 47, 57, 70, 80, 93, 103, 119, 130, 142, 153, 165, 176, 188, 199, 211, 222, 237, 238, 260, 261, 283, 284, 306, 307, 329, 330 ], [ 2, 12, 25, 35, 48, 58, 71, 81, 94, 104, 120, 131, 143, 154, 166, 177, 189, 200, 212, 223, 238, 239, 261, 262, 284, 285, 307, 308, 330, 331 ], [ 3, 13, 26, 36, 49, 59, 72, 82, 95, 105, 121, 132, 144, 155, 167, 178, 190, 201, 213, 224, 239, 240, 262, 263, 285, 286, 308, 309, 331, 332 ], [ 4, 14, 27, 37, 50, 60, 73, 83, 96, 106, 122, 133, 145, 156, 168, 179, 191, 202, 214, 225, 240, 241, 263, 264, 286, 287, 309, 310, 332, 333 ], [ 5, 15, 28, 38, 51, 61, 74, 84, 97, 107, 123, 134, 146, 157, 169, 180, 192, 203, 215, 226, 241, 242, 264, 265, 287, 288, 310, 311, 333, 334 ], [ 6, 16, 29, 39, 52, 62, 75, 85, 98, 108, 124, 135, 147, 158, 170, 181, 193, 204, 216, 227, 242, 243, 265, 266, 288, 289, 311, 312, 334, 335 ], [ 7, 17, 30, 40, 53, 63, 76, 86, 99, 109, 125, 136, 148, 159, 171, 182, 194, 205, 217, 228, 243, 244, 266, 267, 289, 290, 312, 313, 335, 336 ], [ 8, 18, 31, 41, 54, 64, 77, 87, 100, 110, 126, 137, 149, 160, 172, 183, 195, 206, 218, 229, 244, 245, 267, 268, 290, 291, 313, 314, 336, 337 ], [ 9, 19, 32, 42, 55, 65, 78, 88, 101, 111, 115, 127, 138, 150, 161, 173, 184, 196, 207, 219, 245, 246, 268, 269, 291, 292, 314, 315, 337, 338 ], [ 10, 20, 33, 43, 56, 66, 79, 89, 102, 112, 116, 128, 139, 151, 162, 174, 185, 197, 208, 220, 246, 247, 269, 270, 292, 293, 315, 316, 338, 339 ], [ 11, 21, 34, 44, 57, 67, 80, 90, 103, 113, 117, 129, 140, 152, 163, 175, 186, 198, 209, 221, 247, 248, 270, 271, 293, 294, 316, 317, 339, 340 ], [ 12, 22, 35, 45, 58, 68, 81, 91, 104, 114, 118, 130, 141, 153, 164, 176, 187, 199, 210, 222, 248, 249, 271, 272, 294, 295, 317, 318, 340, 341 ], [ 0, 13, 23, 36, 46, 59, 69, 82, 92, 105, 119, 131, 142, 154, 165, 177, 188, 200, 211, 223, 249, 250, 272, 273, 295, 296, 318, 319, 341, 342 ], [ 1, 14, 24, 37, 47, 60, 70, 83, 93, 106, 120, 132, 143, 155, 166, 178, 189, 201, 212, 224, 250, 251, 273, 274, 296, 297, 319, 320, 342, 343 ] ] }, "distance": { "d": 2, "X": { "value": 2, "confidence": "upper_bound", "witness": [ 265, 334 ] }, "Z": { "value": 2, "confidence": "upper_bound", "witness": [ 287, 333 ] } }, "provenance": { "authors": [ "@MathysRennela" ], "construction": "Polynomial-minor CSS code from arXiv:2610.19459 (Nourozi, Smarandache, Mitchell), their Eqs. (10)-(11) at parameters of our own: over R_N = F_2[x]/(x^N+1), H_X(x) = [[a^top, b^top, c^top],[d^top, e^top, f^top]] with d = x^t c, e = a, f = b, and H_Z(x) = [b^2+ac, ab+x^t c^2, a^2+x^t bc]; N = 115, t = 0, a = x^22 u, b = x^19 u, c = x^3 u with u = (x^115+1)/(x^23+1). Not one of the paper's 13 Table I instances, which stop at N = 85; found by sweeping designed divisors of x^N+1 and sampling sparse multiples with the paper's section IV-C residue method.", "origin": "submission", "date": "2026-10-15", "model": "MiMo-V2.6-Flash", "search_budget": { "candidates_screened": 1916, "ris_trials_per_side": 400000, "cpu_hours": 5.0 } }, "family": "other" }