{"verdict":"verified","verify_log":"{\"metric\": 0.996507, \"ns\": [8, 13, 19, 26, 31, 37, 44, 52, 68, 85, 101, 120, 150, 200], \"per_n\": {\"8\": {\"value\": 0.170540688701, \"record\": 0.170540688701, \"ratio\": 1.0, \"seconds\": 9.62}, \"13\": {\"value\": 0.13399243561, \"record\": 0.133993513499, \"ratio\": 0.999992, \"seconds\": 9.62}, \"19\": {\"value\": 0.112264305564, \"record\": 0.112265437571, \"ratio\": 0.99999, \"seconds\": 9.64}, \"26\": {\"value\": 0.096361775146, \"record\": 0.09636233901, \"ratio\": 0.999994, \"seconds\": 9.65}, \"31\": {\"value\": 0.088856059656, \"record\": 0.089338333351, \"ratio\": 0.994602, \"seconds\": 9.65}, \"37\": {\"value\": 0.081749287344, \"record\": 0.082089766429, \"ratio\": 0.995852, \"seconds\": 9.66}, \"44\": {\"value\": 0.07538632802, \"record\": 0.075781986018, \"ratio\": 0.994779, \"seconds\": 9.69}, \"52\": {\"value\": 0.070957693073, \"record\": 0.070957693073, \"ratio\": 1.0, \"seconds\": 9.65}, \"68\": {\"value\": 0.0625, \"record\": 0.062520077998, \"ratio\": 0.999679, \"seconds\": 9.66}, \"85\": {\"value\": 0.055636462298, \"record\": 0.055680181768, \"ratio\": 0.999215, \"seconds\": 9.81}, \"101\": {\"value\": 0.050211234587, \"record\": 0.051078356337, \"ratio\": 0.983024, \"seconds\": 9.73}, \"120\": {\"value\": 0.047528298036, \"record\": 0.047529921591, \"ratio\": 0.999966, \"seconds\": 9.76}, \"150\": {\"value\": 0.041666677311, \"record\": 0.042145465901, \"ratio\": 0.98864, \"seconds\": 9.78}, \"200\": {\"value\": 0.036443216262, \"record\": 0.036612798904, \"ratio\": 0.995368, \"seconds\": 9.73}}, \"records_beaten\": [], \"total_seconds\": 135.6}\n\n--- sandbox: docker python:3.12-slim, 136.1s ---\n"}