files / problems / unique-sum / compute / q4 / encoding_audit.json

126 B · on GitHub

{"assignments": 116032, "brute_force_minima": {"3": 3, "5": 4, "7": 5, "11": 7}, "formulas": 248, "status": "VALID_ENCODING"}