Modularity experiments on $S_4$-symmetric double octics

Abstract

We will invest quite some computer power to find double octic threefolds that are connected to weight four modular forms.

23 pages; this version: 95 examples added, including one with level 7. Updates to comments on hardware and running time