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: (-23, -21) 1: (-18, 15) 2: (-21, -2) 3: (-8, -6) 4: (-20, -6) 5: (0, -7) 6: (-1, -12) 7: (25, 4) 8: (-2, -21) 9: (-10, -14) 10: (-19, 8) 11…