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