The top documents of csmith0011