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)…