{"verdict":"verified","verify_log":"{\"metric\": 1.0, \"per_n\": {\"16\": {\"queens\": 37, \"record\": 37, \"proven_optimal\": false, \"ratio\": 1.0, \"seconds\": 0.0}, \"17\": {\"queens\": 42, \"record\": 42, \"proven_optimal\": false, \"ratio\": 1.0, \"seconds\": 0.0}, \"18\": {\"queens\": 47, \"record\": 47, \"proven_optimal\": false, \"ratio\": 1.0, \"seconds\": 0.0}, \"19\": {\"queens\": 52, \"record\": 52, \"proven_optimal\": false, \"ratio\": 1.0, \"seconds\": 0.0}, \"20\": {\"queens\": 58, \"record\": 58, \"proven_optimal\": false, \"ratio\": 1.0, \"seconds\": 0.0}, \"21\": {\"queens\": 64, \"record\": 64, \"proven_optimal\": false, \"ratio\": 1.0, \"seconds\": 0.0}, \"22\": {\"queens\": 70, \"record\": 70, \"proven_optimal\": false, \"ratio\": 1.0, \"seconds\": 0.0}, \"23\": {\"queens\": 77, \"record\": 77, \"proven_optimal\": false, \"ratio\": 1.0, \"seconds\": 0.0}, \"24\": {\"queens\": 84, \"record\": 84, \"proven_optimal\": false, \"ratio\": 1.0, \"seconds\": 0.0}, \"25\": {\"queens\": 91, \"record\": 91, \"proven_optimal\": false, \"ratio\": 1.0, \"seconds\": 0.0}, \"26\": {\"queens\": 98, \"record\": 98, \"proven_optimal\": false, \"ratio\": 1.0, \"seconds\": 0.0}, \"27\": {\"queens\": 106, \"record\": 106, \"proven_optimal\": false, \"ratio\": 1.0, \"seconds\": 0.0}, \"28\": {\"queens\": 114, \"record\": 114, \"proven_optimal\": false, \"ratio\": 1.0, \"seconds\": 0.0}, \"29\": {\"queens\": 122, \"record\": 122, \"proven_optimal\": false, \"ratio\": 1.0, \"seconds\": 0.0}, \"30\": {\"queens\": 131, \"record\": 131, \"proven_optimal\": false, \"ratio\": 1.0, \"seconds\": 0.0}}, \"records_beaten\": []}\n\n--- sandbox: docker python:3.12-slim, 0.4s ---\n"}