2 problems

Elkies' conjecture. For all integers $N\gg0$, the points in

Effective finiteness conjecture. The set of ideals ${\mathfrak N}$ for which $Q_0({\mathfrak N})_{\mathfrak a}$ is good is an effectively computable finite set.