The code of the old KLEE website. Kept for historical reasons only