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: (-1, -1) 1: (-22, -9) 2: (-10, 24) 3: (22, 12) 4: (2, 12) 5: (21, -16) 6: (7, 4) 7: (-7, 25) 8: (12, -7) 9: (-19, 21) 10: (15, 8) 11: (-12…