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: (-16, -5) 1: (-10, 4) 2: (15, 10) 3: (-6, 2) 4: (7, 11) 5: (14, -12) 6: (0, 2) 7: (-2, 2) 8: (13, -6) 9: (-4, 16) 10: (-16, 15) 11: (13, 9)…