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: (-5, -6) 1: (5, 7) 2: (9, -9) 3: (2, 6) 4: (-1, -8) 5: (2, -3) 6: (-6, -5) 7: (-3, 0) 8: (1, -5) 9: (9, -4)
The task
You are given 10 distinct lattice points, indexed 0..9: 0: (-5, -6) 1: (5, 7) 2: (9, -9) 3: (2, 6) 4: (-1, -8) 5: (2, -3) 6: (-6, -5) 7: (-3, 0) 8: (1, -5) 9: (9, -4)