Csmith6 presentations