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