What's the correct ID to use check50 for mario on pset1 guys? I get "invalid ID" on every check50 ID I use. I thought "check50 2016.mario mario.c" was the one to check, but seems not.
PS: I'm using EDx account on CS50 IDE.
It is explained in the Check50 section of the spec.