{"verdict":"verified","verify_log":"{\"metric\": 0.966282, \"ns\": [8, 13, 19, 26, 31, 37, 44, 52, 68, 85, 101, 120, 150, 200], \"per_n\": {\"8\": {\"r\": 0.166666666667, \"record\": 0.170540688701, \"ratio\": 0.977284, \"seconds\": 0.0}, \"13\": {\"r\": 0.125, \"record\": 0.133993513499, \"ratio\": 0.932881, \"seconds\": 0.0}, \"19\": {\"r\": 0.1, \"record\": 0.112265437571, \"ratio\": 0.890746, \"seconds\": 0.0}, \"26\": {\"r\": 0.093806394899, \"record\": 0.09636233901, \"ratio\": 0.973476, \"seconds\": 0.0}, \"31\": {\"r\": 0.083333333333, \"record\": 0.089338333351, \"ratio\": 0.932784, \"seconds\": 0.0}, \"37\": {\"r\": 0.080695238898, \"record\": 0.082089766429, \"ratio\": 0.983012, \"seconds\": 0.0}, \"44\": {\"r\": 0.071428571429, \"record\": 0.075781986018, \"ratio\": 0.942553, \"seconds\": 0.0}, \"52\": {\"r\": 0.070799689881, \"record\": 0.070957693073, \"ratio\": 0.997773, \"seconds\": 0.0}, \"68\": {\"r\": 0.0625, \"record\": 0.062520077998, \"ratio\": 0.999679, \"seconds\": 0.0}, \"85\": {\"r\": 0.055555555556, \"record\": 0.055680181768, \"ratio\": 0.997762, \"seconds\": 0.0}, \"101\": {\"r\": 0.05, \"record\": 0.051078356337, \"ratio\": 0.978888, \"seconds\": 0.0}, \"120\": {\"r\": 0.045454545455, \"record\": 0.047529921591, \"ratio\": 0.956335, \"seconds\": 0.0}, \"150\": {\"r\": 0.041666666667, \"record\": 0.042145465901, \"ratio\": 0.988639, \"seconds\": 0.01}, \"200\": {\"r\": 0.035738840706, \"record\": 0.036612798904, \"ratio\": 0.97613, \"seconds\": 0.01}}, \"records_beaten\": [], \"total_seconds\": 0.0}\n"}