> E:=EllipticCurve(CremonaDatabase(),"4862D");
> E;
Elliptic Curve defined by y^2 + x*y + y = x^3 - x^2 - 10730944*x - 
13560247581 over Rational Field
> factor(Discriminant(E));
[ <2, 17>, <11, 5>, <13, 7>, <17, 2> ]
> modular_degree:=247520;  // database lookup
> factor($1);
[ <2, 1>, <11, 1>, <13, 1> ]  // possible level-lowering congruences. 
> // Thus the mod 2, mod 11, and mod 13 representations have a reasonable
> // a chance to be unramified at a prime in {2,11,13,17}.
> // Here's an example:
> WeierstrassModel(E);
Elliptic Curve defined by y^2 = x^3 - 13907303019*x - 632792076853914 
> K:=NumberField(x^3 - 13907303019*x - 632792076853914 );
> factor(Discriminant(K));
[ <2, 3>, <11, 1>, <13, 1> ]
> // So, the mod 2 representations in unramified at 17 -- this means we
> // should be able to knock 17 out of the level.
>