{"verdict":"verified","verify_log":"{\"metric\": 0.997856, \"ns\": [8, 13, 19, 26, 31, 37, 44, 52, 68, 85, 101, 120], \"per_n\": {\"8\": {\"value\": 0.297701136798, \"record\": 0.297701136798, \"ratio\": 1.0, \"seconds\": 9.64}, \"13\": {\"value\": 0.233258494019, \"record\": 0.233258591424, \"ratio\": 1.0, \"seconds\": 9.65}, \"19\": {\"value\": 0.201730202081, \"record\": 0.201730511417, \"ratio\": 0.999998, \"seconds\": 9.68}, \"26\": {\"value\": 0.17023569647, \"record\": 0.170298665878, \"ratio\": 0.99963, \"seconds\": 9.7}, \"31\": {\"value\": 0.15597462376, \"record\": 0.155977032566, \"ratio\": 0.999985, \"seconds\": 9.74}, \"37\": {\"value\": 0.145153760237, \"record\": 0.145167710374, \"ratio\": 0.999904, \"seconds\": 9.81}, \"44\": {\"value\": 0.131294440625, \"record\": 0.131715241216, \"ratio\": 0.996805, \"seconds\": 9.84}, \"52\": {\"value\": 0.121044358508, \"record\": 0.121794550867, \"ratio\": 0.993841, \"seconds\": 9.81}, \"68\": {\"value\": 0.106819405425, \"record\": 0.107221100639, \"ratio\": 0.996254, \"seconds\": 9.77}, \"85\": {\"value\": 0.09654606996, \"record\": 0.096647289563, \"ratio\": 0.998953, \"seconds\": 9.8}, \"101\": {\"value\": 0.087736200097, \"record\": 0.088443034716, \"ratio\": 0.992008, \"seconds\": 9.76}, \"120\": {\"value\": 0.081193657619, \"record\": 0.081446768941, \"ratio\": 0.996892, \"seconds\": 9.77}}, \"records_beaten\": [], \"total_seconds\": 117.0}\n\n--- sandbox: docker python:3.12-slim, 117.4s ---\n"}