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