Here are the problems.
And test files for each problem (except xmas) are in
testcong1
testcong2
testcong3
testdidit1
testdidit2
testdidit3
testdidit4
testdidit5
testdidit6
testdidit7
testdidit8
testdidit9
testgroup1
testgroup2
testgroup3
testgroup4
testgroup5
testpebble1
testpebble1
testturingdecode
testturingfib1
testturingfib1