{"verdict":"verified","verify_log":"{\"metric\": 0.978775, \"ns\": [8, 13, 19, 26, 31, 37, 44, 52, 68, 85, 101, 120, 150, 200], \"per_n\": {\"8\": {\"value\": 0.378024844801, \"record\": 0.378024844801, \"ratio\": 1.0, \"seconds\": 9.97}, \"13\": {\"value\": 0.333333333333, \"record\": 0.333333333333, \"ratio\": 1.0, \"seconds\": 9.95}, \"19\": {\"value\": 0.295329132687, \"record\": 0.295332333897, \"ratio\": 0.999989, \"seconds\": 10.15}, \"26\": {\"value\": 0.261295657335, \"record\": 0.266851272489, \"ratio\": 0.979181, \"seconds\": 10.22}, \"31\": {\"value\": 0.24981334936, \"record\": 0.253116209529, \"ratio\": 0.986951, \"seconds\": 10.81}, \"37\": {\"value\": 0.240193391806, \"record\": 0.240686558293, \"ratio\": 0.997951, \"seconds\": 10.8}, \"44\": {\"value\": 0.22479875393, \"record\": 0.228163038226, \"ratio\": 0.985255, \"seconds\": 10.81}, \"52\": {\"value\": 0.211811409616, \"record\": 0.216930407731, \"ratio\": 0.976403, \"seconds\": 10.81}, \"68\": {\"value\": 0.19399031437, \"record\": 0.200002230133, \"ratio\": 0.969941, \"seconds\": 10.81}, \"85\": {\"value\": 0.176972455307, \"record\": 0.186411242185, \"ratio\": 0.949366, \"seconds\": 10.81}, \"101\": {\"value\": 0.170576099163, \"record\": 0.176688867565, \"ratio\": 0.965404, \"seconds\": 10.82}, \"120\": {\"value\": 0.15894454156, \"record\": 0.16768316228, \"ratio\": 0.947886, \"seconds\": 10.8}, \"150\": {\"value\": 0.151939140645, \"record\": 0.156791541716, \"ratio\": 0.969052, \"seconds\": 10.82}, \"200\": {\"value\": 0.139094794233, \"record\": 0.142593294458, \"ratio\": 0.975465, \"seconds\": 10.8}}, \"records_beaten\": [], \"total_seconds\": 148.4}\n\n--- sandbox: docker python:3.12-slim, 148.8s ---\n"}