The format for the *.txt files containing contradictions using Inequality (2.4.1) of the paper with F=F_l is

U:l:c

U=[a,b,w_1,...,w_r] denotes the element a 1+ b \varepsilon_{C/R} + I_{w_1}+...+I_{w_r} of K_\infty (see \S 2.1),
l is the parameter of the Odlyzko function F_l (see \S 2.4.3),
c is 1-B_\infty^{F_l}(U,U)/\hat{F_l}(i/4pi) (always <0, in order to reach the contradiction).

range : all the w_i are <=35 and U is multiplicity with det(U)=1, as well as epsilon(U)=1 if the w_i are even,
l is in the interval ].1,10] with 10*l an integer,
U being given, we only give the l such that c is minimal and <0 (if such an l exists).

Whenever U:*:* appears in these files, Corollary 2.3 asserts that there is no level 1 cuspidal automorphic representation pi of GL_n over Q, with n=dim U and L(pi_\infty)=U. Certain subsets of these lists are used to compute the masses for SO_m with m<=15, and Sp_{2n} with 2n<=12 : see \S 3.3 of the paper, in particular Table 4 loc. cit.