Open-Weight Models Match Frontier Performance in Math Proof Grading at 100x Lower Cost | HACKOBAR_