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