Renamed Files

Renamed all files from set00/1.rkt to 1.rkt format.