Loading annotation for www.eprover.org