Autograder code not written by me but made available through this github account.