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: (-11, 14) 1: (25, 34) 2: (-20, 12) 3: (24, 30) 4: (-14, -1) 5: (-22, 16) 6: (-12, 18) 7: (-21, 13) 8: (-24, 29) 9: (38, 1) 10: (-4, 1) 11: (6…