construct/rlve largest rectangle

construct/rlve largest rectangle: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). You are given 10 distinct lattice points, indexed 0..9: 0: (-7, 5) 1: (9, -5) 2: (5, -1) 3: (-10, -1) 4: (9, -1) 5: (3, -9) 6: (-7, -5) 7: (7, 7) 8: (5, -5) 9: (4, -8)