construct/rlve largest rectangle

construct/rlve largest rectangle: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). You are given 16 distinct lattice points, indexed 0..15: 0: (-5, -16) 1: (-1, -5) 2: (3, 2) 3: (15, -12) 4: (8, -5) 5: (1, -4) 6: (-4, 6) 7: (-12, 11) 8: (-3, -13) 9: (-13, 4) 10: (5, -14) 11: (-5, 16)…