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