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: (-31, 0) 1: (26, -31) 2: (-10, -15) 3: (-46, -27) 4: (-30, 42) 5: (-14, -56) 6: (29, -17) 7: (-39, 27) 8: (-13, -28) 9: (40, 30) 10: (30, 19)…