construct/rlve largest rectangle

construct/rlve largest rectangle: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). You are given 60 distinct lattice points, indexed 0..59: 0: (59, -11) 1: (-51, -43) 2: (33, -40) 3: (21, 60) 4: (5, -54) 5: (-32, 24) 6: (20, 34) 7: (-44, 1) 8: (57, -16) 9: (-35, -16) 10: (-41, 42) 11…