{ "schema_version": "0.3", "name": "[[399,234,3]]", "code_type": "CSS", "n": 399, "k": 234, "checks": { "X": [ [ 17, 55, 112, 131, 160, 217, 236, 255, 279, 336, 355, 374 ], [ 18, 56, 113, 132, 161, 218, 237, 256, 280, 337, 356, 375 ], [ 0, 19, 57, 114, 162, 219, 238, 257, 281, 338, 357, 376 ], [ 1, 20, 58, 115, 163, 220, 239, 258, 282, 339, 358, 377 ], [ 2, 21, 59, 116, 164, 221, 240, 259, 283, 340, 359, 378 ], [ 3, 22, 60, 117, 165, 222, 241, 260, 284, 341, 360, 379 ], [ 4, 23, 61, 118, 166, 223, 242, 261, 285, 342, 361, 380 ], [ 5, 24, 62, 119, 167, 224, 243, 262, 286, 343, 362, 381 ], [ 6, 25, 63, 120, 168, 225, 244, 263, 287, 344, 363, 382 ], [ 7, 26, 64, 121, 169, 226, 245, 264, 288, 345, 364, 383 ], [ 8, 27, 65, 122, 170, 227, 246, 265, 289, 346, 365, 384 ], [ 9, 28, 66, 123, 133, 171, 228, 247, 290, 347, 366, 385 ], [ 10, 29, 67, 124, 134, 172, 229, 248, 291, 348, 367, 386 ], [ 11, 30, 68, 125, 135, 173, 230, 249, 292, 349, 368, 387 ], [ 12, 31, 69, 126, 136, 174, 231, 250, 293, 350, 369, 388 ], [ 13, 32, 70, 127, 137, 175, 232, 251, 294, 351, 370, 389 ], [ 14, 33, 71, 128, 138, 176, 233, 252, 295, 352, 371, 390 ], [ 15, 34, 72, 129, 139, 177, 234, 253, 296, 353, 372, 391 ], [ 16, 35, 73, 130, 140, 178, 235, 254, 297, 354, 373, 392 ], [ 17, 36, 74, 131, 141, 179, 236, 255, 298, 355, 374, 393 ], [ 18, 37, 75, 132, 142, 180, 237, 256, 299, 356, 375, 394 ], [ 0, 19, 38, 76, 143, 181, 238, 257, 300, 357, 376, 395 ], [ 1, 20, 39, 77, 144, 182, 239, 258, 301, 358, 377, 396 ], [ 2, 21, 40, 78, 145, 183, 240, 259, 302, 359, 378, 397 ], [ 3, 22, 41, 79, 146, 184, 241, 260, 303, 360, 379, 398 ], [ 4, 23, 42, 80, 147, 185, 242, 261, 266, 304, 361, 380 ], [ 5, 24, 43, 81, 148, 186, 243, 262, 267, 305, 362, 381 ], [ 6, 25, 44, 82, 149, 187, 244, 263, 268, 306, 363, 382 ], [ 7, 26, 45, 83, 150, 188, 245, 264, 269, 307, 364, 383 ], [ 8, 27, 46, 84, 151, 189, 246, 265, 270, 308, 365, 384 ], [ 9, 28, 47, 85, 133, 152, 190, 247, 271, 309, 366, 385 ], [ 10, 29, 48, 86, 134, 153, 191, 248, 272, 310, 367, 386 ], [ 11, 30, 49, 87, 135, 154, 192, 249, 273, 311, 368, 387 ], [ 12, 31, 50, 88, 136, 155, 193, 250, 274, 312, 369, 388 ], [ 13, 32, 51, 89, 137, 156, 194, 251, 275, 313, 370, 389 ], [ 14, 33, 52, 90, 138, 157, 195, 252, 276, 314, 371, 390 ], [ 15, 34, 53, 91, 139, 158, 196, 253, 277, 315, 372, 391 ], [ 16, 35, 54, 92, 140, 159, 197, 254, 278, 316, 373, 392 ], [ 17, 36, 55, 93, 141, 160, 198, 255, 279, 317, 374, 393 ], [ 18, 37, 56, 94, 142, 161, 199, 256, 280, 318, 375, 394 ], [ 19, 38, 57, 95, 143, 162, 200, 257, 281, 319, 376, 395 ], [ 20, 39, 58, 96, 144, 163, 201, 258, 282, 320, 377, 396 ], [ 21, 40, 59, 97, 145, 164, 202, 259, 283, 321, 378, 397 ], [ 22, 41, 60, 98, 146, 165, 203, 260, 284, 322, 379, 398 ], [ 23, 42, 61, 99, 147, 166, 204, 261, 266, 285, 323, 380 ], [ 24, 43, 62, 100, 148, 167, 205, 262, 267, 286, 324, 381 ], [ 25, 44, 63, 101, 149, 168, 206, 263, 268, 287, 325, 382 ], [ 26, 45, 64, 102, 150, 169, 207, 264, 269, 288, 326, 383 ], [ 27, 46, 65, 103, 151, 170, 208, 265, 270, 289, 327, 384 ], [ 28, 47, 66, 104, 133, 152, 171, 209, 271, 290, 328, 385 ], [ 29, 48, 67, 105, 134, 153, 172, 210, 272, 291, 329, 386 ], [ 30, 49, 68, 106, 135, 154, 173, 211, 273, 292, 330, 387 ], [ 31, 50, 69, 107, 136, 155, 174, 212, 274, 293, 331, 388 ], [ 32, 51, 70, 108, 137, 156, 175, 213, 275, 294, 332, 389 ], [ 33, 52, 71, 109, 138, 157, 176, 214, 276, 295, 333, 390 ], [ 34, 53, 72, 110, 139, 158, 177, 215, 277, 296, 334, 391 ], [ 35, 54, 73, 111, 140, 159, 178, 216, 278, 297, 335, 392 ], [ 36, 55, 74, 112, 141, 160, 179, 217, 279, 298, 336, 393 ], [ 37, 56, 75, 113, 142, 161, 180, 218, 280, 299, 337, 394 ], [ 38, 57, 76, 114, 143, 162, 181, 219, 281, 300, 338, 395 ], [ 39, 58, 77, 115, 144, 163, 182, 220, 282, 301, 339, 396 ], [ 40, 59, 78, 116, 145, 164, 183, 221, 283, 302, 340, 397 ], [ 41, 60, 79, 117, 146, 165, 184, 222, 284, 303, 341, 398 ], [ 42, 61, 80, 118, 147, 166, 185, 223, 266, 285, 304, 342 ], [ 43, 62, 81, 119, 148, 167, 186, 224, 267, 286, 305, 343 ], [ 44, 63, 82, 120, 149, 168, 187, 225, 268, 287, 306, 344 ], [ 45, 64, 83, 121, 150, 169, 188, 226, 269, 288, 307, 345 ], [ 46, 65, 84, 122, 151, 170, 189, 227, 270, 289, 308, 346 ], [ 47, 66, 85, 123, 152, 171, 190, 228, 271, 290, 309, 347 ], [ 48, 67, 86, 124, 153, 172, 191, 229, 272, 291, 310, 348 ], [ 49, 68, 87, 125, 154, 173, 192, 230, 273, 292, 311, 349 ], [ 50, 69, 88, 126, 155, 174, 193, 231, 274, 293, 312, 350 ], [ 51, 70, 89, 127, 156, 175, 194, 232, 275, 294, 313, 351 ], [ 52, 71, 90, 128, 157, 176, 195, 233, 276, 295, 314, 352 ], [ 53, 72, 91, 129, 158, 177, 196, 234, 277, 296, 315, 353 ], [ 54, 73, 92, 130, 159, 178, 197, 235, 278, 297, 316, 354 ], [ 55, 74, 93, 131, 160, 179, 198, 236, 279, 298, 317, 355 ], [ 56, 75, 94, 132, 161, 180, 199, 237, 280, 299, 318, 356 ], [ 0, 57, 76, 95, 162, 181, 200, 238, 281, 300, 319, 357 ], [ 1, 58, 77, 96, 163, 182, 201, 239, 282, 301, 320, 358 ], [ 2, 59, 78, 97, 164, 183, 202, 240, 283, 302, 321, 359 ], [ 3, 60, 79, 98, 165, 184, 203, 241, 284, 303, 322, 360 ], [ 4, 61, 80, 99, 166, 185, 204, 242, 285, 304, 323, 361 ], [ 5, 62, 81, 100, 167, 186, 205, 243, 286, 305, 324, 362 ], [ 6, 63, 82, 101, 168, 187, 206, 244, 287, 306, 325, 363 ], [ 7, 64, 83, 102, 169, 188, 207, 245, 288, 307, 326, 364 ], [ 8, 65, 84, 103, 170, 189, 208, 246, 289, 308, 327, 365 ], [ 9, 66, 85, 104, 171, 190, 209, 247, 290, 309, 328, 366 ], [ 10, 67, 86, 105, 172, 191, 210, 248, 291, 310, 329, 367 ], [ 11, 68, 87, 106, 173, 192, 211, 249, 292, 311, 330, 368 ], [ 12, 69, 88, 107, 174, 193, 212, 250, 293, 312, 331, 369 ], [ 13, 70, 89, 108, 175, 194, 213, 251, 294, 313, 332, 370 ], [ 14, 71, 90, 109, 176, 195, 214, 252, 295, 314, 333, 371 ], [ 15, 72, 91, 110, 177, 196, 215, 253, 296, 315, 334, 372 ], [ 16, 73, 92, 111, 178, 197, 216, 254, 297, 316, 335, 373 ], [ 17, 74, 93, 112, 179, 198, 217, 255, 298, 317, 336, 374 ], [ 18, 75, 94, 113, 180, 199, 218, 256, 299, 318, 337, 375 ], [ 19, 76, 95, 114, 181, 200, 219, 257, 300, 319, 338, 376 ], [ 20, 77, 96, 115, 182, 201, 220, 258, 301, 320, 339, 377 ], [ 21, 78, 97, 116, 183, 202, 221, 259, 302, 321, 340, 378 ], [ 22, 79, 98, 117, 184, 203, 222, 260, 303, 322, 341, 379 ], [ 23, 80, 99, 118, 185, 204, 223, 261, 304, 323, 342, 380 ], [ 24, 81, 100, 119, 186, 205, 224, 262, 305, 324, 343, 381 ], [ 25, 82, 101, 120, 187, 206, 225, 263, 306, 325, 344, 382 ], [ 26, 83, 102, 121, 188, 207, 226, 264, 307, 326, 345, 383 ], [ 27, 84, 103, 122, 189, 208, 227, 265, 308, 327, 346, 384 ], [ 28, 85, 104, 123, 133, 190, 209, 228, 309, 328, 347, 385 ], [ 29, 86, 105, 124, 134, 191, 210, 229, 310, 329, 348, 386 ], [ 30, 87, 106, 125, 135, 192, 211, 230, 311, 330, 349, 387 ], [ 31, 88, 107, 126, 136, 193, 212, 231, 312, 331, 350, 388 ], [ 32, 89, 108, 127, 137, 194, 213, 232, 313, 332, 351, 389 ], [ 33, 90, 109, 128, 138, 195, 214, 233, 314, 333, 352, 390 ], [ 34, 91, 110, 129, 139, 196, 215, 234, 315, 334, 353, 391 ], [ 35, 92, 111, 130, 140, 197, 216, 235, 316, 335, 354, 392 ], [ 36, 93, 112, 131, 141, 198, 217, 236, 317, 336, 355, 393 ], [ 37, 94, 113, 132, 142, 199, 218, 237, 318, 337, 356, 394 ], [ 0, 38, 95, 114, 143, 200, 219, 238, 319, 338, 357, 395 ], [ 1, 39, 96, 115, 144, 201, 220, 239, 320, 339, 358, 396 ], [ 2, 40, 97, 116, 145, 202, 221, 240, 321, 340, 359, 397 ], [ 3, 41, 98, 117, 146, 203, 222, 241, 322, 341, 360, 398 ], [ 4, 42, 99, 118, 147, 204, 223, 242, 266, 323, 342, 361 ], [ 5, 43, 100, 119, 148, 205, 224, 243, 267, 324, 343, 362 ], [ 6, 44, 101, 120, 149, 206, 225, 244, 268, 325, 344, 363 ], [ 7, 45, 102, 121, 150, 207, 226, 245, 269, 326, 345, 364 ], [ 8, 46, 103, 122, 151, 208, 227, 246, 270, 327, 346, 365 ], [ 9, 47, 104, 123, 152, 209, 228, 247, 271, 328, 347, 366 ], [ 10, 48, 105, 124, 153, 210, 229, 248, 272, 329, 348, 367 ], [ 11, 49, 106, 125, 154, 211, 230, 249, 273, 330, 349, 368 ], [ 12, 50, 107, 126, 155, 212, 231, 250, 274, 331, 350, 369 ], [ 13, 51, 108, 127, 156, 213, 232, 251, 275, 332, 351, 370 ], [ 14, 52, 109, 128, 157, 214, 233, 252, 276, 333, 352, 371 ], [ 15, 53, 110, 129, 158, 215, 234, 253, 277, 334, 353, 372 ], [ 16, 54, 111, 130, 159, 216, 235, 254, 278, 335, 354, 373 ], [ 13, 70, 89, 108, 150, 188, 245, 264, 293, 350, 369, 388 ], [ 14, 71, 90, 109, 151, 189, 246, 265, 294, 351, 370, 389 ], [ 15, 72, 91, 110, 133, 152, 190, 247, 295, 352, 371, 390 ], [ 16, 73, 92, 111, 134, 153, 191, 248, 296, 353, 372, 391 ], [ 17, 74, 93, 112, 135, 154, 192, 249, 297, 354, 373, 392 ], [ 18, 75, 94, 113, 136, 155, 193, 250, 298, 355, 374, 393 ], [ 19, 76, 95, 114, 137, 156, 194, 251, 299, 356, 375, 394 ], [ 20, 77, 96, 115, 138, 157, 195, 252, 300, 357, 376, 395 ], [ 21, 78, 97, 116, 139, 158, 196, 253, 301, 358, 377, 396 ], [ 22, 79, 98, 117, 140, 159, 197, 254, 302, 359, 378, 397 ], [ 23, 80, 99, 118, 141, 160, 198, 255, 303, 360, 379, 398 ], [ 24, 81, 100, 119, 142, 161, 199, 256, 266, 304, 361, 380 ], [ 25, 82, 101, 120, 143, 162, 200, 257, 267, 305, 362, 381 ], [ 26, 83, 102, 121, 144, 163, 201, 258, 268, 306, 363, 382 ], [ 27, 84, 103, 122, 145, 164, 202, 259, 269, 307, 364, 383 ], [ 28, 85, 104, 123, 146, 165, 203, 260, 270, 308, 365, 384 ], [ 29, 86, 105, 124, 147, 166, 204, 261, 271, 309, 366, 385 ], [ 30, 87, 106, 125, 148, 167, 205, 262, 272, 310, 367, 386 ], [ 31, 88, 107, 126, 149, 168, 206, 263, 273, 311, 368, 387 ], [ 32, 89, 108, 127, 150, 169, 207, 264, 274, 312, 369, 388 ], [ 33, 90, 109, 128, 151, 170, 208, 265, 275, 313, 370, 389 ], [ 34, 91, 110, 129, 133, 152, 171, 209, 276, 314, 371, 390 ], [ 35, 92, 111, 130, 134, 153, 172, 210, 277, 315, 372, 391 ], [ 36, 93, 112, 131, 135, 154, 173, 211, 278, 316, 373, 392 ], [ 37, 94, 113, 132, 136, 155, 174, 212, 279, 317, 374, 393 ], [ 0, 38, 95, 114, 137, 156, 175, 213, 280, 318, 375, 394 ], [ 1, 39, 96, 115, 138, 157, 176, 214, 281, 319, 376, 395 ], [ 2, 40, 97, 116, 139, 158, 177, 215, 282, 320, 377, 396 ], [ 3, 41, 98, 117, 140, 159, 178, 216, 283, 321, 378, 397 ], [ 4, 42, 99, 118, 141, 160, 179, 217, 284, 322, 379, 398 ], [ 5, 43, 100, 119, 142, 161, 180, 218, 266, 285, 323, 380 ], [ 6, 44, 101, 120, 143, 162, 181, 219, 267, 286, 324, 381 ], [ 7, 45, 102, 121, 144, 163, 182, 220, 268, 287, 325, 382 ], [ 8, 46, 103, 122, 145, 164, 183, 221, 269, 288, 326, 383 ], [ 9, 47, 104, 123, 146, 165, 184, 222, 270, 289, 327, 384 ], [ 10, 48, 105, 124, 147, 166, 185, 223, 271, 290, 328, 385 ], [ 11, 49, 106, 125, 148, 167, 186, 224, 272, 291, 329, 386 ], [ 12, 50, 107, 126, 149, 168, 187, 225, 273, 292, 330, 387 ], [ 13, 51, 108, 127, 150, 169, 188, 226, 274, 293, 331, 388 ], [ 14, 52, 109, 128, 151, 170, 189, 227, 275, 294, 332, 389 ], [ 15, 53, 110, 129, 152, 171, 190, 228, 276, 295, 333, 390 ], [ 16, 54, 111, 130, 153, 172, 191, 229, 277, 296, 334, 391 ], [ 17, 55, 112, 131, 154, 173, 192, 230, 278, 297, 335, 392 ], [ 18, 56, 113, 132, 155, 174, 193, 231, 279, 298, 336, 393 ], [ 0, 19, 57, 114, 156, 175, 194, 232, 280, 299, 337, 394 ], [ 1, 20, 58, 115, 157, 176, 195, 233, 281, 300, 338, 395 ], [ 2, 21, 59, 116, 158, 177, 196, 234, 282, 301, 339, 396 ], [ 3, 22, 60, 117, 159, 178, 197, 235, 283, 302, 340, 397 ], [ 4, 23, 61, 118, 160, 179, 198, 236, 284, 303, 341, 398 ], [ 5, 24, 62, 119, 161, 180, 199, 237, 266, 285, 304, 342 ], [ 6, 25, 63, 120, 162, 181, 200, 238, 267, 286, 305, 343 ], [ 7, 26, 64, 121, 163, 182, 201, 239, 268, 287, 306, 344 ], [ 8, 27, 65, 122, 164, 183, 202, 240, 269, 288, 307, 345 ], [ 9, 28, 66, 123, 165, 184, 203, 241, 270, 289, 308, 346 ], [ 10, 29, 67, 124, 166, 185, 204, 242, 271, 290, 309, 347 ], [ 11, 30, 68, 125, 167, 186, 205, 243, 272, 291, 310, 348 ], [ 12, 31, 69, 126, 168, 187, 206, 244, 273, 292, 311, 349 ], [ 13, 32, 70, 127, 169, 188, 207, 245, 274, 293, 312, 350 ], [ 14, 33, 71, 128, 170, 189, 208, 246, 275, 294, 313, 351 ], [ 15, 34, 72, 129, 171, 190, 209, 247, 276, 295, 314, 352 ], [ 16, 35, 73, 130, 172, 191, 210, 248, 277, 296, 315, 353 ], [ 17, 36, 74, 131, 173, 192, 211, 249, 278, 297, 316, 354 ], [ 18, 37, 75, 132, 174, 193, 212, 250, 279, 298, 317, 355 ], [ 0, 19, 38, 76, 175, 194, 213, 251, 280, 299, 318, 356 ], [ 1, 20, 39, 77, 176, 195, 214, 252, 281, 300, 319, 357 ], [ 2, 21, 40, 78, 177, 196, 215, 253, 282, 301, 320, 358 ], [ 3, 22, 41, 79, 178, 197, 216, 254, 283, 302, 321, 359 ], [ 4, 23, 42, 80, 179, 198, 217, 255, 284, 303, 322, 360 ], [ 5, 24, 43, 81, 180, 199, 218, 256, 285, 304, 323, 361 ], [ 6, 25, 44, 82, 181, 200, 219, 257, 286, 305, 324, 362 ], [ 7, 26, 45, 83, 182, 201, 220, 258, 287, 306, 325, 363 ], [ 8, 27, 46, 84, 183, 202, 221, 259, 288, 307, 326, 364 ], [ 9, 28, 47, 85, 184, 203, 222, 260, 289, 308, 327, 365 ], [ 10, 29, 48, 86, 185, 204, 223, 261, 290, 309, 328, 366 ], [ 11, 30, 49, 87, 186, 205, 224, 262, 291, 310, 329, 367 ], [ 12, 31, 50, 88, 187, 206, 225, 263, 292, 311, 330, 368 ], [ 13, 32, 51, 89, 188, 207, 226, 264, 293, 312, 331, 369 ], [ 14, 33, 52, 90, 189, 208, 227, 265, 294, 313, 332, 370 ], [ 15, 34, 53, 91, 133, 190, 209, 228, 295, 314, 333, 371 ], [ 16, 35, 54, 92, 134, 191, 210, 229, 296, 315, 334, 372 ], [ 17, 36, 55, 93, 135, 192, 211, 230, 297, 316, 335, 373 ], [ 18, 37, 56, 94, 136, 193, 212, 231, 298, 317, 336, 374 ], [ 19, 38, 57, 95, 137, 194, 213, 232, 299, 318, 337, 375 ], [ 20, 39, 58, 96, 138, 195, 214, 233, 300, 319, 338, 376 ], [ 21, 40, 59, 97, 139, 196, 215, 234, 301, 320, 339, 377 ], [ 22, 41, 60, 98, 140, 197, 216, 235, 302, 321, 340, 378 ], [ 23, 42, 61, 99, 141, 198, 217, 236, 303, 322, 341, 379 ], [ 24, 43, 62, 100, 142, 199, 218, 237, 304, 323, 342, 380 ], [ 25, 44, 63, 101, 143, 200, 219, 238, 305, 324, 343, 381 ], [ 26, 45, 64, 102, 144, 201, 220, 239, 306, 325, 344, 382 ], [ 27, 46, 65, 103, 145, 202, 221, 240, 307, 326, 345, 383 ], [ 28, 47, 66, 104, 146, 203, 222, 241, 308, 327, 346, 384 ], [ 29, 48, 67, 105, 147, 204, 223, 242, 309, 328, 347, 385 ], [ 30, 49, 68, 106, 148, 205, 224, 243, 310, 329, 348, 386 ], [ 31, 50, 69, 107, 149, 206, 225, 244, 311, 330, 349, 387 ], [ 32, 51, 70, 108, 150, 207, 226, 245, 312, 331, 350, 388 ], [ 33, 52, 71, 109, 151, 208, 227, 246, 313, 332, 351, 389 ], [ 34, 53, 72, 110, 152, 209, 228, 247, 314, 333, 352, 390 ], [ 35, 54, 73, 111, 153, 210, 229, 248, 315, 334, 353, 391 ], [ 36, 55, 74, 112, 154, 211, 230, 249, 316, 335, 354, 392 ], [ 37, 56, 75, 113, 155, 212, 231, 250, 317, 336, 355, 393 ], [ 38, 57, 76, 114, 156, 213, 232, 251, 318, 337, 356, 394 ], [ 39, 58, 77, 115, 157, 214, 233, 252, 319, 338, 357, 395 ], [ 40, 59, 78, 116, 158, 215, 234, 253, 320, 339, 358, 396 ], [ 41, 60, 79, 117, 159, 216, 235, 254, 321, 340, 359, 397 ], [ 42, 61, 80, 118, 160, 217, 236, 255, 322, 341, 360, 398 ], [ 43, 62, 81, 119, 161, 218, 237, 256, 266, 323, 342, 361 ], [ 44, 63, 82, 120, 162, 219, 238, 257, 267, 324, 343, 362 ], [ 45, 64, 83, 121, 163, 220, 239, 258, 268, 325, 344, 363 ], [ 46, 65, 84, 122, 164, 221, 240, 259, 269, 326, 345, 364 ], [ 47, 66, 85, 123, 165, 222, 241, 260, 270, 327, 346, 365 ], [ 48, 67, 86, 124, 166, 223, 242, 261, 271, 328, 347, 366 ], [ 49, 68, 87, 125, 167, 224, 243, 262, 272, 329, 348, 367 ], [ 50, 69, 88, 126, 168, 225, 244, 263, 273, 330, 349, 368 ], [ 51, 70, 89, 127, 169, 226, 245, 264, 274, 331, 350, 369 ], [ 52, 71, 90, 128, 170, 227, 246, 265, 275, 332, 351, 370 ], [ 53, 72, 91, 129, 133, 171, 228, 247, 276, 333, 352, 371 ], [ 54, 73, 92, 130, 134, 172, 229, 248, 277, 334, 353, 372 ], [ 55, 74, 93, 131, 135, 173, 230, 249, 278, 335, 354, 373 ], [ 56, 75, 94, 132, 136, 174, 231, 250, 279, 336, 355, 374 ], [ 0, 57, 76, 95, 137, 175, 232, 251, 280, 337, 356, 375 ], [ 1, 58, 77, 96, 138, 176, 233, 252, 281, 338, 357, 376 ], [ 2, 59, 78, 97, 139, 177, 234, 253, 282, 339, 358, 377 ], [ 3, 60, 79, 98, 140, 178, 235, 254, 283, 340, 359, 378 ], [ 4, 61, 80, 99, 141, 179, 236, 255, 284, 341, 360, 379 ], [ 5, 62, 81, 100, 142, 180, 237, 256, 285, 342, 361, 380 ], [ 6, 63, 82, 101, 143, 181, 238, 257, 286, 343, 362, 381 ], [ 7, 64, 83, 102, 144, 182, 239, 258, 287, 344, 363, 382 ], [ 8, 65, 84, 103, 145, 183, 240, 259, 288, 345, 364, 383 ], [ 9, 66, 85, 104, 146, 184, 241, 260, 289, 346, 365, 384 ], [ 10, 67, 86, 105, 147, 185, 242, 261, 290, 347, 366, 385 ], [ 11, 68, 87, 106, 148, 186, 243, 262, 291, 348, 367, 386 ], [ 12, 69, 88, 107, 149, 187, 244, 263, 292, 349, 368, 387 ] ], "Z": [ [ 8, 22, 46, 60, 65, 79, 84, 98, 165, 183, 184, 203, 221, 240, 259, 260, 270, 289, 302, 308, 340, 359, 365, 378 ], [ 9, 23, 47, 61, 66, 80, 85, 99, 166, 184, 185, 204, 222, 241, 260, 261, 271, 290, 303, 309, 341, 360, 366, 379 ], [ 10, 24, 48, 62, 67, 81, 86, 100, 167, 185, 186, 205, 223, 242, 261, 262, 272, 291, 304, 310, 342, 361, 367, 380 ], [ 11, 25, 49, 63, 68, 82, 87, 101, 168, 186, 187, 206, 224, 243, 262, 263, 273, 292, 305, 311, 343, 362, 368, 381 ], [ 12, 26, 50, 64, 69, 83, 88, 102, 169, 187, 188, 207, 225, 244, 263, 264, 274, 293, 306, 312, 344, 363, 369, 382 ], [ 13, 27, 51, 65, 70, 84, 89, 103, 170, 188, 189, 208, 226, 245, 264, 265, 275, 294, 307, 313, 345, 364, 370, 383 ], [ 14, 28, 52, 66, 71, 85, 90, 104, 133, 171, 189, 190, 209, 227, 246, 265, 276, 295, 308, 314, 346, 365, 371, 384 ], [ 15, 29, 53, 67, 72, 86, 91, 105, 133, 134, 172, 190, 191, 210, 228, 247, 277, 296, 309, 315, 347, 366, 372, 385 ], [ 16, 30, 54, 68, 73, 87, 92, 106, 134, 135, 173, 191, 192, 211, 229, 248, 278, 297, 310, 316, 348, 367, 373, 386 ], [ 17, 31, 55, 69, 74, 88, 93, 107, 135, 136, 174, 192, 193, 212, 230, 249, 279, 298, 311, 317, 349, 368, 374, 387 ], [ 18, 32, 56, 70, 75, 89, 94, 108, 136, 137, 175, 193, 194, 213, 231, 250, 280, 299, 312, 318, 350, 369, 375, 388 ], [ 19, 33, 57, 71, 76, 90, 95, 109, 137, 138, 176, 194, 195, 214, 232, 251, 281, 300, 313, 319, 351, 370, 376, 389 ], [ 20, 34, 58, 72, 77, 91, 96, 110, 138, 139, 177, 195, 196, 215, 233, 252, 282, 301, 314, 320, 352, 371, 377, 390 ], [ 21, 35, 59, 73, 78, 92, 97, 111, 139, 140, 178, 196, 197, 216, 234, 253, 283, 302, 315, 321, 353, 372, 378, 391 ], [ 22, 36, 60, 74, 79, 93, 98, 112, 140, 141, 179, 197, 198, 217, 235, 254, 284, 303, 316, 322, 354, 373, 379, 392 ], [ 23, 37, 61, 75, 80, 94, 99, 113, 141, 142, 180, 198, 199, 218, 236, 255, 285, 304, 317, 323, 355, 374, 380, 393 ], [ 24, 38, 62, 76, 81, 95, 100, 114, 142, 143, 181, 199, 200, 219, 237, 256, 286, 305, 318, 324, 356, 375, 381, 394 ], [ 25, 39, 63, 77, 82, 96, 101, 115, 143, 144, 182, 200, 201, 220, 238, 257, 287, 306, 319, 325, 357, 376, 382, 395 ], [ 26, 40, 64, 78, 83, 97, 102, 116, 144, 145, 183, 201, 202, 221, 239, 258, 288, 307, 320, 326, 358, 377, 383, 396 ], [ 27, 41, 65, 79, 84, 98, 103, 117, 145, 146, 184, 202, 203, 222, 240, 259, 289, 308, 321, 327, 359, 378, 384, 397 ], [ 28, 42, 66, 80, 85, 99, 104, 118, 146, 147, 185, 203, 204, 223, 241, 260, 290, 309, 322, 328, 360, 379, 385, 398 ], [ 29, 43, 67, 81, 86, 100, 105, 119, 147, 148, 186, 204, 205, 224, 242, 261, 266, 291, 310, 323, 329, 361, 380, 386 ], [ 30, 44, 68, 82, 87, 101, 106, 120, 148, 149, 187, 205, 206, 225, 243, 262, 267, 292, 311, 324, 330, 362, 381, 387 ], [ 31, 45, 69, 83, 88, 102, 107, 121, 149, 150, 188, 206, 207, 226, 244, 263, 268, 293, 312, 325, 331, 363, 382, 388 ], [ 32, 46, 70, 84, 89, 103, 108, 122, 150, 151, 189, 207, 208, 227, 245, 264, 269, 294, 313, 326, 332, 364, 383, 389 ], [ 33, 47, 71, 85, 90, 104, 109, 123, 151, 152, 190, 208, 209, 228, 246, 265, 270, 295, 314, 327, 333, 365, 384, 390 ], [ 34, 48, 72, 86, 91, 105, 110, 124, 133, 152, 153, 191, 209, 210, 229, 247, 271, 296, 315, 328, 334, 366, 385, 391 ], [ 35, 49, 73, 87, 92, 106, 111, 125, 134, 153, 154, 192, 210, 211, 230, 248, 272, 297, 316, 329, 335, 367, 386, 392 ], [ 36, 50, 74, 88, 93, 107, 112, 126, 135, 154, 155, 193, 211, 212, 231, 249, 273, 298, 317, 330, 336, 368, 387, 393 ], [ 37, 51, 75, 89, 94, 108, 113, 127, 136, 155, 156, 194, 212, 213, 232, 250, 274, 299, 318, 331, 337, 369, 388, 394 ], [ 38, 52, 76, 90, 95, 109, 114, 128, 137, 156, 157, 195, 213, 214, 233, 251, 275, 300, 319, 332, 338, 370, 389, 395 ], [ 39, 53, 77, 91, 96, 110, 115, 129, 138, 157, 158, 196, 214, 215, 234, 252, 276, 301, 320, 333, 339, 371, 390, 396 ], [ 40, 54, 78, 92, 97, 111, 116, 130, 139, 158, 159, 197, 215, 216, 235, 253, 277, 302, 321, 334, 340, 372, 391, 397 ], [ 41, 55, 79, 93, 98, 112, 117, 131, 140, 159, 160, 198, 216, 217, 236, 254, 278, 303, 322, 335, 341, 373, 392, 398 ], [ 42, 56, 80, 94, 99, 113, 118, 132, 141, 160, 161, 199, 217, 218, 237, 255, 266, 279, 304, 323, 336, 342, 374, 393 ], [ 0, 43, 57, 81, 95, 100, 114, 119, 142, 161, 162, 200, 218, 219, 238, 256, 267, 280, 305, 324, 337, 343, 375, 394 ], [ 1, 44, 58, 82, 96, 101, 115, 120, 143, 162, 163, 201, 219, 220, 239, 257, 268, 281, 306, 325, 338, 344, 376, 395 ], [ 2, 45, 59, 83, 97, 102, 116, 121, 144, 163, 164, 202, 220, 221, 240, 258, 269, 282, 307, 326, 339, 345, 377, 396 ], [ 3, 46, 60, 84, 98, 103, 117, 122, 145, 164, 165, 203, 221, 222, 241, 259, 270, 283, 308, 327, 340, 346, 378, 397 ], [ 4, 47, 61, 85, 99, 104, 118, 123, 146, 165, 166, 204, 222, 223, 242, 260, 271, 284, 309, 328, 341, 347, 379, 398 ], [ 5, 48, 62, 86, 100, 105, 119, 124, 147, 166, 167, 205, 223, 224, 243, 261, 266, 272, 285, 310, 329, 342, 348, 380 ], [ 6, 49, 63, 87, 101, 106, 120, 125, 148, 167, 168, 206, 224, 225, 244, 262, 267, 273, 286, 311, 330, 343, 349, 381 ], [ 7, 50, 64, 88, 102, 107, 121, 126, 149, 168, 169, 207, 225, 226, 245, 263, 268, 274, 287, 312, 331, 344, 350, 382 ], [ 8, 51, 65, 89, 103, 108, 122, 127, 150, 169, 170, 208, 226, 227, 246, 264, 269, 275, 288, 313, 332, 345, 351, 383 ], [ 9, 52, 66, 90, 104, 109, 123, 128, 151, 170, 171, 209, 227, 228, 247, 265, 270, 276, 289, 314, 333, 346, 352, 384 ], [ 10, 53, 67, 91, 105, 110, 124, 129, 133, 152, 171, 172, 210, 228, 229, 248, 271, 277, 290, 315, 334, 347, 353, 385 ], [ 11, 54, 68, 92, 106, 111, 125, 130, 134, 153, 172, 173, 211, 229, 230, 249, 272, 278, 291, 316, 335, 348, 354, 386 ], [ 12, 55, 69, 93, 107, 112, 126, 131, 135, 154, 173, 174, 212, 230, 231, 250, 273, 279, 292, 317, 336, 349, 355, 387 ], [ 13, 56, 70, 94, 108, 113, 127, 132, 136, 155, 174, 175, 213, 231, 232, 251, 274, 280, 293, 318, 337, 350, 356, 388 ], [ 0, 14, 57, 71, 95, 109, 114, 128, 137, 156, 175, 176, 214, 232, 233, 252, 275, 281, 294, 319, 338, 351, 357, 389 ], [ 1, 15, 58, 72, 96, 110, 115, 129, 138, 157, 176, 177, 215, 233, 234, 253, 276, 282, 295, 320, 339, 352, 358, 390 ], [ 2, 16, 59, 73, 97, 111, 116, 130, 139, 158, 177, 178, 216, 234, 235, 254, 277, 283, 296, 321, 340, 353, 359, 391 ], [ 3, 17, 60, 74, 98, 112, 117, 131, 140, 159, 178, 179, 217, 235, 236, 255, 278, 284, 297, 322, 341, 354, 360, 392 ], [ 4, 18, 61, 75, 99, 113, 118, 132, 141, 160, 179, 180, 218, 236, 237, 256, 279, 285, 298, 323, 342, 355, 361, 393 ], [ 0, 5, 19, 62, 76, 100, 114, 119, 142, 161, 180, 181, 219, 237, 238, 257, 280, 286, 299, 324, 343, 356, 362, 394 ], [ 1, 6, 20, 63, 77, 101, 115, 120, 143, 162, 181, 182, 220, 238, 239, 258, 281, 287, 300, 325, 344, 357, 363, 395 ], [ 2, 7, 21, 64, 78, 102, 116, 121, 144, 163, 182, 183, 221, 239, 240, 259, 282, 288, 301, 326, 345, 358, 364, 396 ], [ 3, 8, 22, 65, 79, 103, 117, 122, 145, 164, 183, 184, 222, 240, 241, 260, 283, 289, 302, 327, 346, 359, 365, 397 ], [ 4, 9, 23, 66, 80, 104, 118, 123, 146, 165, 184, 185, 223, 241, 242, 261, 284, 290, 303, 328, 347, 360, 366, 398 ], [ 5, 10, 24, 67, 81, 105, 119, 124, 147, 166, 185, 186, 224, 242, 243, 262, 266, 285, 291, 304, 329, 348, 361, 367 ], [ 6, 11, 25, 68, 82, 106, 120, 125, 148, 167, 186, 187, 225, 243, 244, 263, 267, 286, 292, 305, 330, 349, 362, 368 ], [ 7, 12, 26, 69, 83, 107, 121, 126, 149, 168, 187, 188, 226, 244, 245, 264, 268, 287, 293, 306, 331, 350, 363, 369 ], [ 8, 13, 27, 70, 84, 108, 122, 127, 150, 169, 188, 189, 227, 245, 246, 265, 269, 288, 294, 307, 332, 351, 364, 370 ], [ 9, 14, 28, 71, 85, 109, 123, 128, 133, 151, 170, 189, 190, 228, 246, 247, 270, 289, 295, 308, 333, 352, 365, 371 ], [ 10, 15, 29, 72, 86, 110, 124, 129, 134, 152, 171, 190, 191, 229, 247, 248, 271, 290, 296, 309, 334, 353, 366, 372 ], [ 11, 16, 30, 73, 87, 111, 125, 130, 135, 153, 172, 191, 192, 230, 248, 249, 272, 291, 297, 310, 335, 354, 367, 373 ], [ 12, 17, 31, 74, 88, 112, 126, 131, 136, 154, 173, 192, 193, 231, 249, 250, 273, 292, 298, 311, 336, 355, 368, 374 ], [ 13, 18, 32, 75, 89, 113, 127, 132, 137, 155, 174, 193, 194, 232, 250, 251, 274, 293, 299, 312, 337, 356, 369, 375 ], [ 0, 14, 19, 33, 76, 90, 114, 128, 138, 156, 175, 194, 195, 233, 251, 252, 275, 294, 300, 313, 338, 357, 370, 376 ], [ 1, 15, 20, 34, 77, 91, 115, 129, 139, 157, 176, 195, 196, 234, 252, 253, 276, 295, 301, 314, 339, 358, 371, 377 ], [ 2, 16, 21, 35, 78, 92, 116, 130, 140, 158, 177, 196, 197, 235, 253, 254, 277, 296, 302, 315, 340, 359, 372, 378 ], [ 3, 17, 22, 36, 79, 93, 117, 131, 141, 159, 178, 197, 198, 236, 254, 255, 278, 297, 303, 316, 341, 360, 373, 379 ], [ 4, 18, 23, 37, 80, 94, 118, 132, 142, 160, 179, 198, 199, 237, 255, 256, 279, 298, 304, 317, 342, 361, 374, 380 ], [ 0, 5, 19, 24, 38, 81, 95, 119, 143, 161, 180, 199, 200, 238, 256, 257, 280, 299, 305, 318, 343, 362, 375, 381 ], [ 1, 6, 20, 25, 39, 82, 96, 120, 144, 162, 181, 200, 201, 239, 257, 258, 281, 300, 306, 319, 344, 363, 376, 382 ], [ 2, 7, 21, 26, 40, 83, 97, 121, 145, 163, 182, 201, 202, 240, 258, 259, 282, 301, 307, 320, 345, 364, 377, 383 ], [ 3, 8, 22, 27, 41, 84, 98, 122, 146, 164, 183, 202, 203, 241, 259, 260, 283, 302, 308, 321, 346, 365, 378, 384 ], [ 4, 9, 23, 28, 42, 85, 99, 123, 147, 165, 184, 203, 204, 242, 260, 261, 284, 303, 309, 322, 347, 366, 379, 385 ], [ 5, 10, 24, 29, 43, 86, 100, 124, 148, 166, 185, 204, 205, 243, 261, 262, 285, 304, 310, 323, 348, 367, 380, 386 ], [ 6, 11, 25, 30, 44, 87, 101, 125, 149, 167, 186, 205, 206, 244, 262, 263, 286, 305, 311, 324, 349, 368, 381, 387 ], [ 7, 12, 26, 31, 45, 88, 102, 126, 150, 168, 187, 206, 207, 245, 263, 264, 287, 306, 312, 325, 350, 369, 382, 388 ], [ 8, 13, 27, 32, 46, 89, 103, 127, 151, 169, 188, 207, 208, 246, 264, 265, 288, 307, 313, 326, 351, 370, 383, 389 ], [ 9, 14, 28, 33, 47, 90, 104, 128, 133, 152, 170, 189, 208, 209, 247, 265, 289, 308, 314, 327, 352, 371, 384, 390 ], [ 10, 15, 29, 34, 48, 91, 105, 129, 133, 134, 153, 171, 190, 209, 210, 248, 290, 309, 315, 328, 353, 372, 385, 391 ], [ 11, 16, 30, 35, 49, 92, 106, 130, 134, 135, 154, 172, 191, 210, 211, 249, 291, 310, 316, 329, 354, 373, 386, 392 ], [ 12, 17, 31, 36, 50, 93, 107, 131, 135, 136, 155, 173, 192, 211, 212, 250, 292, 311, 317, 330, 355, 374, 387, 393 ], [ 13, 18, 32, 37, 51, 94, 108, 132, 136, 137, 156, 174, 193, 212, 213, 251, 293, 312, 318, 331, 356, 375, 388, 394 ], [ 0, 14, 19, 33, 38, 52, 95, 109, 137, 138, 157, 175, 194, 213, 214, 252, 294, 313, 319, 332, 357, 376, 389, 395 ], [ 1, 15, 20, 34, 39, 53, 96, 110, 138, 139, 158, 176, 195, 214, 215, 253, 295, 314, 320, 333, 358, 377, 390, 396 ], [ 2, 16, 21, 35, 40, 54, 97, 111, 139, 140, 159, 177, 196, 215, 216, 254, 296, 315, 321, 334, 359, 378, 391, 397 ], [ 3, 17, 22, 36, 41, 55, 98, 112, 140, 141, 160, 178, 197, 216, 217, 255, 297, 316, 322, 335, 360, 379, 392, 398 ], [ 4, 18, 23, 37, 42, 56, 99, 113, 141, 142, 161, 179, 198, 217, 218, 256, 266, 298, 317, 323, 336, 361, 380, 393 ], [ 5, 19, 24, 38, 43, 57, 100, 114, 142, 143, 162, 180, 199, 218, 219, 257, 267, 299, 318, 324, 337, 362, 381, 394 ], [ 6, 20, 25, 39, 44, 58, 101, 115, 143, 144, 163, 181, 200, 219, 220, 258, 268, 300, 319, 325, 338, 363, 382, 395 ], [ 7, 21, 26, 40, 45, 59, 102, 116, 144, 145, 164, 182, 201, 220, 221, 259, 269, 301, 320, 326, 339, 364, 383, 396 ], [ 8, 22, 27, 41, 46, 60, 103, 117, 145, 146, 165, 183, 202, 221, 222, 260, 270, 302, 321, 327, 340, 365, 384, 397 ], [ 9, 23, 28, 42, 47, 61, 104, 118, 146, 147, 166, 184, 203, 222, 223, 261, 271, 303, 322, 328, 341, 366, 385, 398 ], [ 10, 24, 29, 43, 48, 62, 105, 119, 147, 148, 167, 185, 204, 223, 224, 262, 266, 272, 304, 323, 329, 342, 367, 386 ], [ 11, 25, 30, 44, 49, 63, 106, 120, 148, 149, 168, 186, 205, 224, 225, 263, 267, 273, 305, 324, 330, 343, 368, 387 ], [ 12, 26, 31, 45, 50, 64, 107, 121, 149, 150, 169, 187, 206, 225, 226, 264, 268, 274, 306, 325, 331, 344, 369, 388 ], [ 13, 27, 32, 46, 51, 65, 108, 122, 150, 151, 170, 188, 207, 226, 227, 265, 269, 275, 307, 326, 332, 345, 370, 389 ], [ 14, 28, 33, 47, 52, 66, 109, 123, 133, 151, 152, 171, 189, 208, 227, 228, 270, 276, 308, 327, 333, 346, 371, 390 ], [ 15, 29, 34, 48, 53, 67, 110, 124, 134, 152, 153, 172, 190, 209, 228, 229, 271, 277, 309, 328, 334, 347, 372, 391 ], [ 16, 30, 35, 49, 54, 68, 111, 125, 135, 153, 154, 173, 191, 210, 229, 230, 272, 278, 310, 329, 335, 348, 373, 392 ], [ 17, 31, 36, 50, 55, 69, 112, 126, 136, 154, 155, 174, 192, 211, 230, 231, 273, 279, 311, 330, 336, 349, 374, 393 ], [ 18, 32, 37, 51, 56, 70, 113, 127, 137, 155, 156, 175, 193, 212, 231, 232, 274, 280, 312, 331, 337, 350, 375, 394 ], [ 19, 33, 38, 52, 57, 71, 114, 128, 138, 156, 157, 176, 194, 213, 232, 233, 275, 281, 313, 332, 338, 351, 376, 395 ], [ 20, 34, 39, 53, 58, 72, 115, 129, 139, 157, 158, 177, 195, 214, 233, 234, 276, 282, 314, 333, 339, 352, 377, 396 ], [ 21, 35, 40, 54, 59, 73, 116, 130, 140, 158, 159, 178, 196, 215, 234, 235, 277, 283, 315, 334, 340, 353, 378, 397 ], [ 22, 36, 41, 55, 60, 74, 117, 131, 141, 159, 160, 179, 197, 216, 235, 236, 278, 284, 316, 335, 341, 354, 379, 398 ], [ 23, 37, 42, 56, 61, 75, 118, 132, 142, 160, 161, 180, 198, 217, 236, 237, 266, 279, 285, 317, 336, 342, 355, 380 ], [ 0, 24, 38, 43, 57, 62, 76, 119, 143, 161, 162, 181, 199, 218, 237, 238, 267, 280, 286, 318, 337, 343, 356, 381 ], [ 1, 25, 39, 44, 58, 63, 77, 120, 144, 162, 163, 182, 200, 219, 238, 239, 268, 281, 287, 319, 338, 344, 357, 382 ], [ 2, 26, 40, 45, 59, 64, 78, 121, 145, 163, 164, 183, 201, 220, 239, 240, 269, 282, 288, 320, 339, 345, 358, 383 ], [ 3, 27, 41, 46, 60, 65, 79, 122, 146, 164, 165, 184, 202, 221, 240, 241, 270, 283, 289, 321, 340, 346, 359, 384 ], [ 4, 28, 42, 47, 61, 66, 80, 123, 147, 165, 166, 185, 203, 222, 241, 242, 271, 284, 290, 322, 341, 347, 360, 385 ], [ 5, 29, 43, 48, 62, 67, 81, 124, 148, 166, 167, 186, 204, 223, 242, 243, 272, 285, 291, 323, 342, 348, 361, 386 ], [ 6, 30, 44, 49, 63, 68, 82, 125, 149, 167, 168, 187, 205, 224, 243, 244, 273, 286, 292, 324, 343, 349, 362, 387 ], [ 7, 31, 45, 50, 64, 69, 83, 126, 150, 168, 169, 188, 206, 225, 244, 245, 274, 287, 293, 325, 344, 350, 363, 388 ], [ 8, 32, 46, 51, 65, 70, 84, 127, 151, 169, 170, 189, 207, 226, 245, 246, 275, 288, 294, 326, 345, 351, 364, 389 ], [ 9, 33, 47, 52, 66, 71, 85, 128, 152, 170, 171, 190, 208, 227, 246, 247, 276, 289, 295, 327, 346, 352, 365, 390 ], [ 10, 34, 48, 53, 67, 72, 86, 129, 153, 171, 172, 191, 209, 228, 247, 248, 277, 290, 296, 328, 347, 353, 366, 391 ], [ 11, 35, 49, 54, 68, 73, 87, 130, 154, 172, 173, 192, 210, 229, 248, 249, 278, 291, 297, 329, 348, 354, 367, 392 ], [ 12, 36, 50, 55, 69, 74, 88, 131, 155, 173, 174, 193, 211, 230, 249, 250, 279, 292, 298, 330, 349, 355, 368, 393 ], [ 13, 37, 51, 56, 70, 75, 89, 132, 156, 174, 175, 194, 212, 231, 250, 251, 280, 293, 299, 331, 350, 356, 369, 394 ], [ 0, 14, 38, 52, 57, 71, 76, 90, 157, 175, 176, 195, 213, 232, 251, 252, 281, 294, 300, 332, 351, 357, 370, 395 ], [ 1, 15, 39, 53, 58, 72, 77, 91, 158, 176, 177, 196, 214, 233, 252, 253, 282, 295, 301, 333, 352, 358, 371, 396 ], [ 2, 16, 40, 54, 59, 73, 78, 92, 159, 177, 178, 197, 215, 234, 253, 254, 283, 296, 302, 334, 353, 359, 372, 397 ], [ 3, 17, 41, 55, 60, 74, 79, 93, 160, 178, 179, 198, 216, 235, 254, 255, 284, 297, 303, 335, 354, 360, 373, 398 ], [ 4, 18, 42, 56, 61, 75, 80, 94, 161, 179, 180, 199, 217, 236, 255, 256, 266, 285, 298, 304, 336, 355, 361, 374 ], [ 5, 19, 43, 57, 62, 76, 81, 95, 162, 180, 181, 200, 218, 237, 256, 257, 267, 286, 299, 305, 337, 356, 362, 375 ], [ 6, 20, 44, 58, 63, 77, 82, 96, 163, 181, 182, 201, 219, 238, 257, 258, 268, 287, 300, 306, 338, 357, 363, 376 ], [ 7, 21, 45, 59, 64, 78, 83, 97, 164, 182, 183, 202, 220, 239, 258, 259, 269, 288, 301, 307, 339, 358, 364, 377 ] ] }, "distance": { "d": 3, "X": { "value": 3, "confidence": "upper_bound", "witness": [ 281, 300, 338 ] }, "Z": { "value": 3, "confidence": "upper_bound", "witness": [ 282, 301, 377 ] } }, "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 = 133, t = 0, a/b/c = 4/4/4 terms, all codewords of the code generated by a sparse divisor g of x^N+1 with deg g = 76 and wt(g) = 4. Not one of the paper's 13 Table I instances, which stop at N = 85; found by enumerating sparse large-degree divisors of x^N+1 and sampling low-weight codewords of .", "origin": "submission", "date": "2026-10-15", "model": "MiMo-V2.6-Flash", "search_budget": { "candidates_screened": 6074, "ris_trials_per_side": 400000, "cpu_hours": 8.0 } }, "family": "other" }