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: (-13, 11) 1: (6, 19) 2: (15, 11) 3: (-8, 27) 4: (3, 2) 5: (-39, 21) 6: (-5, 16) 7: (-14, -19) 8: (31, 13) 9: (18, -40) 10: (39, -6) 11: (40…