An elliptic curve of rank ≥ 30

An elliptic curve defined by \(y^2+xy=x^3-201769035260418549083594900060734240952308696994802735114305555x+1151107939141058565733479426024323225135665982951300586808823640527729578307228357301072889377\) has rank at least 30. The article lists 30 explicitly independent rational points, each with coordinates given in integer or rational form, confirming the lower bound on the rank.