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