Mestre's Finite Field Method for Searching Elliptic Curves with High Ranks | Synapse