scarabeus@gentoo.org Tomas Chvatal games