Rank ≥ 9

Brumer - Kramer (1977)

y2 + xy + y = x3 - x2 - 1608154463x + 25555312501831

	Independent points of infinite order: 

P1 = [23045, 844952]
P2 = [34381, 3285026]
P3 = [25583, 1062950]
P4 = [20803, 1040006]
P5 = [21715, 923702]
P6 = [17731, 1608326]
P7 = [15371, 2106046]
P8 = [19507, 1258166]
P9 = [18715, 1409582]