Hello, Is there any information online about the hardware, operating system and pre-installed software that the test machines will have? Something in the lines of http://icfpcontest.cse.ogi.edu/machine.html Thanks, Sergio