1 problem

Kraus's conjecture. There are no elliptic curves over $K$ with full $2$-torsion and conductor $d513$.