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