{"verdict":"verified","verify_log":"m=29: length 623 (record 623), ratio 1.0000, 3.8s\nm=29 marks: [0, 3, 28, 33, 41, 95, 156, 158, 193, 207, 233, 252, 267, 338, 339, 355, 394, 403, 421, 473, 479, 502, 523, 570, 580, 592, 612, 616, 623]\nm=30: length 680 (record 680), ratio 1.0000, 4.7s\nm=30 marks: [0, 9, 35, 57, 128, 149, 151, 180, 205, 218, 281, 292, 336, 364, 370, 378, 394, 469, 473, 474, 514, 533, 580, 595, 598, 631, 641, 648, 668, 680]\nm=31: length 747 (record 747), ratio 1.0000, 4.3s\nm=31 marks: [0, 9, 12, 54, 79, 143, 145, 161, 192, 205, 226, 311, 349, 363, 382, 386, 439, 459, 466, 474, 502, 560, 561, 571, 601, 669, 675, 701, 725, 730, 747]\nm=32: length 784 (record 784), ratio 1.0000, 3.9s\nm=32 marks: [0, 12, 22, 39, 88, 113, 156, 202, 256, 272, 308, 328, 381, 395, 443, 466, 475, 526, 570, 573, 603, 607, 608, 648, 666, 672, 727, 756, 758, 769, 777, 784]\nm=33: length 859 (record 859), ratio 1.0000, 4.3s\nm=33 marks: [0, 22, 38, 47, 91, 108, 123, 136, 141, 229, 256, 263, 293, 319, 329, 358, 360, 400, 406, 505, 516, 524, 559, 573, 633, 684, 685, 705, 708, 763, 767, 847, 859]\nm=34: length 938 (record 938), ratio 1.0000, 5.6s\nm=34 marks: [0, 7, 57, 59, 60, 69, 89, 167, 192, 235, 253, 259, 353, 398, 432, 468, 479, 507, 534, 551, 572, 648, 656, 689, 702, 776, 790, 813, 839, 861, 903, 919, 934, 938]\nm=35: length 987 (record 987), ratio 1.0000, 5.1s\nm=35 marks: [0, 2, 24, 36, 110, 119, 127, 160, 253, 283, 310, 314, 335, 349, 394, 395, 465, 484, 533, 562, 605, 631, 637, 710, 725, 738, 802, 825, 869, 924, 931, 934, 971, 982, 987]\nm=36: length 1005 (record 1005), ratio 1.0000, 4.6s\nm=36 marks: [0, 18, 20, 42, 54, 128, 137, 145, 178, 271, 301, 328, 332, 353, 367, 412, 413, 483, 502, 551, 580, 623, 649, 655, 728, 743, 756, 820, 843, 887, 942, 949, 952, 989, 1000, 1005]\nm=37: length 1099 (record 1099), ratio 1.0000, 4.1s\nm=37 marks: [0, 8, 9, 13, 70, 97, 118, 137, 222, 237, 260, 267, 301, 353, 382, 399, 533, 564, 570, 580, 592, 624, 635, 660, 718, 736, 738, 771, 810, 813, 879, 930, 986, 1012, 1036, 1085, 1099]\nm=38: length 1146 (record 1146), ratio 1.0000, 3.5s\nm=38 marks: [0, 5, 56, 96, 208, 212, 227, 243, 285, 307, 333, 356, 370, 444, 457, 490, 498, 574, 595, 612, 639, 667, 678, 714, 748, 793, 887, 893, 911, 954, 979, 1057, 1077, 1086, 1087, 1089, 1139, 1146]\nm=39: length 1252 (record 1252), ratio 1.0000, 4.1s\nm=39 marks: [0, 7, 16, 104, 124, 149, 173, 183, 211, 278, 292, 311, 334, 433, 450, 490, 553, 630, 659, 665, 667, 713, 731, 743, 811, 858, 861, 902, 913, 995, 1066, 1105, 1126, 1127, 1131, 1158, 1201, 1216, 1252]\nm=40: length 1282 (record 1282), ratio 1.0000, 5.5s\nm=40 marks: [0, 12, 41, 60, 65, 67, 170, 200, 201, 221, 313, 351, 374, 414, 417, 428, 450, 497, 592, 636, 682, 692, 709, 717, 754, 803, 861, 874, 948, 952, 980, 1037, 1076, 1135, 1151, 1185, 1203, 1267, 1273, 1282]\n{\"metric\": 1.0, \"instances\": [\"29\", \"30\", \"31\", \"32\", \"33\", \"34\", \"35\", \"36\", \"37\", \"38\", \"39\", \"40\"], \"per_instance\": {\"29\": {\"length\": 623, \"record\": 623, \"ratio\": 1.0, \"seconds\": 3.76}, \"30\": {\"length\": 680, \"record\": 680, \"ratio\": 1.0, \"seconds\": 4.7}, \"31\": {\"length\": 747, \"record\": 747, \"ratio\": 1.0, \"seconds\": 4.33}, \"32\": {\"length\": 784, \"record\": 784, \"ratio\": 1.0, \"seconds\": 3.94}, \"33\": {\"length\": 859, \"record\": 859, \"ratio\": 1.0, \"seconds\": 4.32}, \"34\": {\"length\": 938, \"record\": 938, \"ratio\": 1.0, \"seconds\": 5.61}, \"35\": {\"length\": 987, \"record\": 987, \"ratio\": 1.0, \"seconds\": 5.13}, \"36\": {\"length\": 1005, \"record\": 1005, \"ratio\": 1.0, \"seconds\": 4.56}, \"37\": {\"length\": 1099, \"record\": 1099, \"ratio\": 1.0, \"seconds\": 4.06}, \"38\": {\"length\": 1146, \"record\": 1146, \"ratio\": 1.0, \"seconds\": 3.53}, \"39\": {\"length\": 1252, \"record\": 1252, \"ratio\": 1.0, \"seconds\": 4.07}, \"40\": {\"length\": 1282, \"record\": 1282, \"ratio\": 1.0, \"seconds\": 5.52}}, \"records_beaten\": [], \"seconds\": 53.5}\n\n--- sandbox: docker python:3.12-slim, 54.0s ---\n"}