The programs are on mentor, in the account for the user cs352, in the directory TESTCASES/Piglet (extension .pg)