grader.py now works in batches