construct/rlve largest rectangle
construct/rlve largest rectangle: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). You are given 25 distinct lattice points, indexed 0..24: 0: (-25, 20) 1: (1, -6) 2: (4, -5) 3: (-7, 6) 4: (22, -7) 5: (25, -5) 6: (-7, -13) 7: (-1, -5) 8: (14, 13) 9: (-19, 4) 10: (-8, -9) 11: (-11, 12)…
The task
You are given 25 distinct lattice points, indexed 0..24: 0: (-25, 20) 1: (1, -6) 2: (4, -5) 3: (-7, 6) 4: (22, -7) 5: (25, -5) 6: (-7, -13) 7: (-1, -5) 8: (14, 13) 9: (-19, 4) 10: (-8, -9) 11: (-11, 12) 12: (20, 22) 13: (-9, 11) 14: (16, 5) 15: (-20, -22) 16: (9, 4) 17: (5, 0) 18: (-23, 18) 19: (5, 4) 20: (24, 3) 21:…