{"verdict":"verified","verify_log":"{\"metric\": 0.997438, \"ns\": [8, 13, 19, 26, 31, 37, 44, 52, 68, 85, 101, 120, 150, 200], \"per_n\": {\"8\": {\"value\": 0.298219404614, \"record\": 0.298219404666, \"ratio\": 1.0, \"seconds\": 9.64}, \"13\": {\"value\": 0.232797377975, \"record\": 0.23279737803, \"ratio\": 1.0, \"seconds\": 9.65}, \"19\": {\"value\": 0.202112423984, \"record\": 0.20211579842, \"ratio\": 0.999983, \"seconds\": 9.68}, \"26\": {\"value\": 0.16921193357, \"record\": 0.169380978228, \"ratio\": 0.999002, \"seconds\": 9.75}, \"31\": {\"value\": 0.156347106089, \"record\": 0.156347782078, \"ratio\": 0.999996, \"seconds\": 9.73}, \"37\": {\"value\": 0.145512139159, \"record\": 0.145538331458, \"ratio\": 0.99982, \"seconds\": 10.05}, \"44\": {\"value\": 0.131107220507, \"record\": 0.131782751937, \"ratio\": 0.994874, \"seconds\": 9.75}, \"52\": {\"value\": 0.120944442695, \"record\": 0.122093713681, \"ratio\": 0.990587, \"seconds\": 9.78}, \"68\": {\"value\": 0.106970619345, \"record\": 0.107112259286, \"ratio\": 0.998678, \"seconds\": 9.93}, \"85\": {\"value\": 0.096722149589, \"record\": 0.096800013134, \"ratio\": 0.999196, \"seconds\": 9.78}, \"101\": {\"value\": 0.088466812982, \"record\": 0.088715610784, \"ratio\": 0.997196, \"seconds\": 9.73}, \"120\": {\"value\": 0.081635072321, \"record\": 0.081724687498, \"ratio\": 0.998903, \"seconds\": 9.79}, \"150\": {\"value\": 0.073097652936, \"record\": 0.073262079353, \"ratio\": 0.997756, \"seconds\": 9.87}, \"200\": {\"value\": 0.063019053589, \"record\": 0.063775074264, \"ratio\": 0.988146, \"seconds\": 9.93}}, \"records_beaten\": [], \"total_seconds\": 137.1}\n\n--- sandbox: docker python:3.12-slim, 137.5s ---\n"}