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: (3, 0) 1: (-5, -2) 2: (-3, 2) 3: (-4, -5) 4: (8, 4) 5: (4, 9) 6: (-8, -3) 7: (10, 10) 8: (6, -9) 9: (-7, -6)