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: (35, 7) 1: (7, 58) 2: (-30, -35) 3: (-43, 9) 4: (31, -21) 5: (40, 39) 6: (10, -57) 7: (30, 45) 8: (52, -53) 9: (-2, 43) 10: (60, -45) 11: (6…