construct/rlve largest rectangle

construct/rlve largest rectangle: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). You are given 40 distinct lattice points, indexed 0..39: 0: (1, -16) 1: (16, -11) 2: (25, -24) 3: (26, -40) 4: (34, -15) 5: (12, 11) 6: (-26, 2) 7: (31, -9) 8: (-3, -40) 9: (-28, 35) 10: (27, 33) 11…