A quick message to say that the re, zlib and most encode codecs are now all available.
Mark, you can import all modules which are "builtin" to Python (os and sys, for example) as well as zlib and re.
Thanks for fixing this, Carl.
I am glad you removed the modules and the solutions that use them, even though I was winning with a 102 byte solution!
import calendar as c;c.TextCalendar(6).pryear(input(),0,0,2)
This would have required "golf"-ing some quirky calculations, rather than just wrestling with output formatting and annoying date APIs.
(In Python this could be acheived by disallowing importing of the "time" module and friends. Probably possible in other languages as well.)
Just my 2 cents.