{"verdict":"verified","verify_log":"{\"metric\": 0.991552, \"ns\": [8, 13, 19, 26, 31, 37, 44, 52, 68, 85, 101, 120, 150, 200], \"per_n\": {\"8\": {\"value\": 0.205603835873, \"record\": 0.20560464675956822, \"ratio\": 0.999996, \"seconds\": 9.87}, \"13\": {\"value\": 0.165692585324, \"record\": 0.1667362057978159, \"ratio\": 0.993741, \"seconds\": 10.8}, \"19\": {\"value\": 0.139972758311, \"record\": 0.1410080837604651, \"ratio\": 0.992658, \"seconds\": 9.9}, \"26\": {\"value\": 0.121601294912, \"record\": 0.12191798604860268, \"ratio\": 0.997402, \"seconds\": 9.92}, \"31\": {\"value\": 0.11149577352, \"record\": 0.11185508149320791, \"ratio\": 0.996788, \"seconds\": 9.84}, \"37\": {\"value\": 0.102711602504, \"record\": 0.10322397106354221, \"ratio\": 0.995036, \"seconds\": 9.84}, \"44\": {\"value\": 0.094225894986, \"record\": 0.0944972927846933, \"ratio\": 0.997128, \"seconds\": 10.18}, \"52\": {\"value\": 0.087395031191, \"record\": 0.08781743381750744, \"ratio\": 0.99519, \"seconds\": 9.96}, \"68\": {\"value\": 0.07680212404, \"record\": 0.07709847437395277, \"ratio\": 0.996156, \"seconds\": 10.49}, \"85\": {\"value\": 0.068354160905, \"record\": 0.06923687971070816, \"ratio\": 0.987251, \"seconds\": 10.54}, \"101\": {\"value\": 0.063205873603, \"record\": 0.06385871393211438, \"ratio\": 0.989777, \"seconds\": 9.99}, \"120\": {\"value\": 0.057721028242, \"record\": 0.05858955297694991, \"ratio\": 0.985176, \"seconds\": 10.49}, \"150\": {\"value\": 0.051810090157, \"record\": 0.05273686120521286, \"ratio\": 0.982427, \"seconds\": 10.29}, \"200\": {\"value\": 0.044685729546, \"record\": 0.045925579937177115, \"ratio\": 0.973003, \"seconds\": 10.59}}, \"records_beaten\": [], \"total_seconds\": 142.7}\n\n--- sandbox: docker python:3.12-slim, 143.1s ---\n"}