Assertion list
elliptic curve (subgroup of curve ) → HasProperty
Results from Ascent++: 1
elliptic curve → HasProperty → modular 0.68